Related papers: A Constructive Fragment of Physical Propositions
We address the decision problem for a fragment of real analysis involving differentiable functions with continuous first derivatives. The proposed theory, besides the operators of Tarski's theory of reals, includes predicates for…
We introduce an operational rewriting-based semantics for strictly positive nested higher-order (co)inductive types. The semantics takes into account the "limits" of infinite reduction sequences. This may be seen as a refinement and…
We prove the EXPTIME-hardness of the validity problem for the basic temporal logic on Minkowski spacetime with more than one space dimension. We prove this result for both the lightspeed-or-slower and the slower-than-light accessibility…
The Kochen-Specker no-go theorem established that hidden-variable theories in quantum mechanics necessarily admit contextuality. This theorem is formally stated in terms of the partial Boolean algebra structure of projectors on a Hilbert…
In this paper we prove the nonlinear stability of Minkowski space-time with a translation Killing field. In the presence of such a symmetry, the 3 + 1 vacuum Einstein equations reduce to the 2 + 1 Einstein equations with a scalar field. We…
M. Lapidus and C. Pomerance (1990-1993) and K.J. Falconer (1995) proved that a self-similar fractal in $\mathbb{R}$ is Minkowski-measurable iff it is of non-lattice type. D. Gatzouras (1999) proved that a self-similar fractal in…
The physical origin of spacetime discreteness remains a central open problem in quantum gravity, with most existing approaches relying on specific microscopic structures or model-dependent assumptions. In this letter, spacetime discreteness…
In this paper we establish a Besicovitch-Federer type projection theorem for general measures. Specifically, let $\mu$ be a finite Borel measure on $\mathbb{R}^n$ and let $0 < m < n$ be an integer. We show that, under the sole assumption…
We study a class of convex bodies called operatopes that are obtained by taking Minkowski sums of affine images of an operator norm ball. This notion generalizes that of zonotopes which are Minkowksi sums of line segments. Taking the limit…
For a class of one-dimensional determinantal point processes including those induced by orthogonal projections with integrable kernels satisfying a growth condition, it is proved that their conditional measures, with respect to the…
We investigate suitable, physically motivated conditions on spacetimes containing certain submanifolds - the so-called {weakly trapped submanifolds} - that ensure, in a set of neighboring metrics with respect to a convenient topology, that…
Interpretability is central to trustworthy machine learning, yet existing metrics rarely quantify how effectively data support an interpretive representation. We propose Interpretive Efficiency, a normalized, task-aware functional that…
For quantum field theories with topological sectors, Monte Carlo simulations on fine lattices tend to be obstructed by an extremely long auto-correlation time with respect to the topological charge. Then reliable numerical measurements are…
This thesis presents a formalization of martingales in arbitrary Banach spaces using Isabelle/HOL. We begin by examining formalizations in prominent proof repositories and extend the definition of the conditional expectation operator from…
We study the problem of non-asymptotic deviations between a reference measure and its empirical version, in the 1-Wasserstein metric, under the standing assumption that the measure satisfies a transport-entropy inequality. We extend some…
Motivated by results on generic-case complexity in group theory, we apply the ideas of effective Baire category and effective measure theory to study complexity classes of functions which are "fractionally computable" by a partial…
We show that the Dean--Kawasaki equation does not admit nontrivial solutions in the space of tempered measures. More specifically, we consider martingale solutions taking values, and with initial conditions, in the subspace of measures…
The universal phase $\rev{\ii}^{D+2}$ of the Euclidean de Sitter path integral obstructs a straightforward state-counting interpretation of the Gibbons--Hawking entropy. Building on Maldacena's proposal that specific black-hole observers…
Minkowski's question mark function is the distribution function of a singular continuous measure: we study this measure from the point of view of logarithmic potential theory and orthogonal polynomials. We conjecture that it is regular, in…
We give a systematic and thorough study of geometric notions and results connected to Minkowski's measure of symmetry and the extension of the well-known Minkowski functional to arbitrary, not necessarily symmetric convex bodies K on any…