Related papers: A Constructive Fragment of Physical Propositions
Minkowski sums are of theoretical interest and have applications in fields related to industrial backgrounds. In this paper we focus on the specific case of summing polytopes as we want to solve the tolerance analysis problem described in…
In this paper, we obtain sufficient conditions in terms of projective criteria under which the partial sums of a stationary process with values in ${\mathcal{H}}$ (a real and separable Hilbert space) admits an approximation, in…
We propose automated techniques for the verification and control of probabilistic real-time systems that are only partially observable. To formally model such systems, we define an extension of probabilistic timed automata in which local…
Special Relativity is a cornerstone of modern physical theory. While a standard coordinate model is well-known and widely taught today, several alternative systems of axioms exist. This paper reports on the formalisation of one such system…
We employ the operational quasiprobability (OQ) as a work distribution, which reproduces the Jarzynski equality and yields the average work consistent with the classical definition. The OQ distribution can be experimentally implemented…
A conformally invariant model of two interacting massless particles in Minkowski space was proposed by Casalbuoni and Gomis [1]. We generalize this model to the case of de Sitter space from the perspective of geodesic distance, in such a…
The case of asymptotic Minkowskian space-times is considered. A special class of asymptotic rectilinear coordinates at the spatial infinity, related to a specific system of free falling observers, is chosen. This choice is applied in…
We provide a short introduction to ``Lorentzian metric spaces" i.e., spacetimes defined solely in terms of the two-point Lorentzian distance. As noted in previous work, this structure is essentially unique if minimal conditions are imposed,…
We establish a mapping between fractional and noncommutative spacetimes in configuration space. Depending on the scale at which the relation is considered, there arise two possibilities. For a fractional spacetime with log-oscillatory…
This paper makes 3 contributions. First, it generalizes the Lindeberg\textendash Feller and Lyapunov Central Limit Theorems to Hilbert Spaces by way of $L^2$. Second, it generalizes these results to spaces in which sample failure and…
In 1936, Stanislaw Ja\'skowski gave a construction of an interesting sequence of what he called "matrices", which we would today call "finite Heyting Algebras". He then gave a very brief sketch of a proof that if a propositional formula…
Accepting a proposition means that our confidence in this proposition is strictly greater than the confidence in its negation. This paper investigates the subclass of uncertainty measures, expressing confidence, that capture the idea of…
The phase space of a relativistic system can be identified with the future tube of complexified Minkowski space. As well as a complex structure and a symplectic structure, the future tube, seen as an eight-dimensional real manifold, is…
Can the joint measures of quenched disordered lattice spin models (with finite range) on the product of spin-space and disorder-space be represented as (suitably generalized) Gibbs measures of an ``annealed system''? - We prove that there…
This article studies optional and predictable projections of integrands and convex-valued stochastic processes. The existence and uniqueness are shown under general conditions that are analogous to those for conditional expectations of…
Classical mechanics, relativity, electrodynamics and quantum mechanics are often depicted as separate realms of physics, each with its own formalism and notion. This remains unsatisfactory with respect to the unity of nature and to the…
In the article we generalize the Marcinkiewicz sampling theorem in the context of Orlicz spaces. We establish conditions under which sampling theorem holds in terms of restricted submultiplicativity and supermultiplicativity of an…
The classical Minkowski problem in Minkowski space asks, for a positive function $\phi$ on $\mathbb{H}^d$, for a convex set $K$ in Minkowski space with $C^2$ space-like boundary $S$, such that $\phi(\eta)^{-1}$ is the Gauss--Kronecker…
We provide a sharp monotonicity theorem about the distribution of subharmonic functions on manifolds, which can be regarded as a new, measure theoretic form of the uncertainty principle. As an illustration of the scope of this result, we…
How do we measure genuine understanding in artificial cognitive systems? Current approaches face a measurement gap: probabilistic systems refine confidence gradually, practice-based systems compile knowledge through repeated execution, and…