Related papers: A Constructive Fragment of Physical Propositions
In this paper we demonstrate for the first time that it is possible to solve numerically the Cauchy problem for the linearisation of the general conformal field equations near spacelike infinity, which is only well-defined in Friedrich's…
We explore and relate two notions of monotonicity, stochastic and realizable, for a system of probability measures on a common finite partially ordered set (poset) S when the measures are indexed by another poset A. We give counterexamples…
We study the constraints of spacetime supersymmetry for perturbative three- and two-dimensional Minkowski vacua of the critical heterotic string. Assuming a standard RNS construction of the spacetime supersymmetry generators and a compact…
We introduce a realisability semantics for infinitary intuitionistic set theory that is based on Ordinal Turing Machines (OTMs). We show that our notion of OTM-realisability is sound with respect to certain systems of infinitary…
We give a closed expression for the Minkowski (1+1)-dimensional metric in the radar coordinates of an arbitrary non-inertial observer O in terms of O's proper acceleration. Knowledge of the metric allows the non-inertial observer to perform…
An extended object is considered on the Minkowski background in the form of a space-time bag, which is bounded by a certain surface confining an internal substance. An internal metric is built starting from the symmetry principles rather…
We show that, given a Banach space and a generator of an exponentially stable $C_{0}$-semigroup, a weakly admissible operator $g(A)$ can be defined for any $g$ bounded, analytic function on the left half-plane. This yields an (unbounded)…
We develop the abstract framework for a proof-theoretic analysis of theories with scope beyond ordinal numbers, resulting in an analog of Ordinal Analysis aimed at the study of theorems of complexity $\Pi^1_2$. This is done by replacing the…
Recent work by Faizal et al. (2025) claims that G\"odelian undecidability of non-algorithmic truths in our universe imply the impossibility of a formal, algorithmic simulation of the universe. This paper clarifies the distinction between…
Given one metric measure space $X$ satisfying a linear Brunn-Minkowski inequality, and a second one $Y$ satisfying a Brunn-Minkowski inequality with exponent $p\ge -1$, we prove that the product $X\times Y$ with the standard product…
We show that up to a null set, every infinite measure-preserving action of a locally compact Polish group can be turned into a continuous measure-preserving action on a locally compact Polish space where the underlying measure is Radon. We…
This article describes the theoretical foundation of and explicit algorithms for a novel approach to morphology and anisotropy analysis of complex spatial structure using tensor-valued Minkowski functionals, the so-called Minkowski tensors.…
An admissible observation operator is zero-class admissible if the norm of the output map tends to zero as the time tends to zero. Sufficient and necessary conditions for zero-class admissibility of observation operators are developed and a…
We discuss the formal structure of a functional measure for Gauge Theories preserving the Slavnov-Taylor identity in the presence of Gribov horizons. Our construction defines a gauge-fixed measure in the framework of the lattice…
In their Erratum [Phys. Rev. Lett. {\bf 92}, 119902 (2004), quant-ph/0208076], written in reaction to [quant-ph/0310164], Bender, Brody and Jones propose a revised definition for a physical observable in PT-symmetric quantum mechanics. We…
Given a probability measure space $(X,\Sigma,\mu)$, it is well known that the Riesz space $L^0(\mu)$ of equivalence classes of measurable functions $f: X \to \mathbf{R}$ is universally complete and the constant function $\mathbf{1}$ is a…
In 1931, G\"odel presented in K\"onigsberg his famous Incompleteness Theorem, stating that some true mathematical statements are unprovable. Yet, this result gives us no idea about those independent (that is, true and unprovable)…
The need to determine scattering amplitudes of few-hadron systems for arbitrary kinematics expands a broad set of subfields of modern-day nuclear and hadronic physics. In this work, we expand upon previous explorations on the use of…
The implications of the relativistic space-time structure for a physical description by quantum mechanical wave-functions are investigated. On the basis of a detailed analysis of Bell's concept of local causality, which is violated in…
We develop a deterministic large-time mechanism yielding Ces{\`a}ro asymptotic observability inequalities from moving localized observations for conservative evolutions. On each observation interval, exact convexification on a compact…