English
Related papers

Related papers: A Constructive Fragment of Physical Propositions

200 papers

Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…

Computational Complexity · Computer Science 2026-05-28 Tristan Simas

The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space $\mathcal{H}$. In terms of the Hilbert lattice $\mathcal{L}$ of closed linear subspaces of $\mathcal{H}$ the notions of state and…

Logic in Computer Science · Computer Science 2023-06-22 Eike Neumann , Martin Pape , Thomas Streicher

This contribution reports on the continued formalisation of an axiomatic system for Minkowski spacetime (as used in the study of Special Relativity) which is closer in spirit to Hilbert's axiomatic approach to Euclidean geometry than to the…

Logic in Computer Science · Computer Science 2022-01-04 Richard Schmoetten , Jake Palmer , Jacques Fleuriot

Feynman's i-epsilon prescription for quantum field theoretic propagators has a quite natural reinterpretation in terms of a slight complex deformation of the Minkowski spacetime metric. Though originally a strictly flat-space result, once…

General Relativity and Quantum Cosmology · Physics 2022-09-07 Matt Visser

In the present paper I show how it is possible to derive the Hilbert space formulation of Quantum Mechanics from a comprehensive definition of "physical experiment" and assuming "experimental accessibility and simplicity" as specified by…

Quantum Physics · Physics 2007-05-23 Giacomo Mauro D'Ariano

While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of…

Logic in Computer Science · Computer Science 2017-04-11 Arno Pauly

Using the standard Cayley transform and elementary tools it is reiterated that the conformal compactification of the Minkowski space involves not only the "cone at infinity" but also the 2-sphere that is at the base of this cone. We…

General Physics · Physics 2014-07-22 Arkadiusz Jadczyk

In this manuscript, we appeal to Potential Theory to provide a sufficient condition for existence of distributional solutions to fractional elliptic problems with non-linear first-order terms and measure data $\omega$: $$ \left\{…

Analysis of PDEs · Mathematics 2020-04-14 María Laura de Borbón , Pablo Ochoa

Minkowski space, conformal group, compactification, conformal infinity, conformal inversion, light cone at infinity, SU(2,2), SO(4,2), Hodge star operator, Clifford algebra, spinors, twistors, antilinear operators, exterior algebra,…

Mathematical Physics · Physics 2011-05-24 Arkadiusz Jadczyk

This article expands our work in [Ca16]. By its reliance on Turing computability, the classical theory of effectivity, along with effective reducibility and Weihrauch reducibility, is only applicable to objects that are either countable or…

Logic · Mathematics 2026-05-19 Merlin Carl

In this paper we will establish necessary and sufficient conditions for a Laplace-Carleson embedding to be bounded for certain spaces of functions on the positive half-line. We will use these results to characterise weighted (infinite-time)…

Optimization and Control · Mathematics 2017-05-30 Andrzej Kucik

We apply a new and mathematically rigorous method for the quantization of constrained systems to two-dimensional gauge theories. In this method, which quantizes Marsden-Weinstein symplectic reduction, the inner product on the physical state…

High Energy Physics - Theory · Physics 2009-10-30 N. P. Landsman , K. K. Wren

Aggregations of flexible loads can provide several power system services through demand response programs, for example load shifting and curtailment. The capabilities of demand response should therefore be represented in system operators'…

Optimization and Control · Mathematics 2015-08-27 Suhail Barot , Josh A. Taylor

We study structural limitations of purely algebraic reasoning in the analysis of arithmetic dynamical systems. Rather than addressing the truth of specific conjectures, we introduce a fragment - relative notion of algebraic refutability for…

General Mathematics · Mathematics 2026-02-09 Madhav Dhiman , Rohan Pandey

In conformal field theory in Minkowski momentum space, the 3-point correlation functions of local operators are completely fixed by symmetry. Using Ward identities together with the existence of a Lorentzian operator product expansion…

High Energy Physics - Theory · Physics 2020-09-24 Marc Gillioz

Constrained symplectic quantization is a functional formulation of quantum field theory in which quantum fluctuations are sampled through a deterministic Hamiltonian flow in an auxiliary intrinsic time $\tau$. In this paper we extend the…

High Energy Physics - Theory · Physics 2026-05-27 Francesco Scardino , Martina Giachello , Giacomo Gradenigo

We show that regularizing $(2+1)$-dimensional Minkowski spacetime with a finite-resolution Gaussian probe, analogous to Weyl-Heisenberg (Gabor) signal analysis and related quantization, induces a curved geometry with a topological defect.…

General Relativity and Quantum Cosmology · Physics 2026-04-15 Ewa Czuchry , Jean-Pierre Gazeau

We establish pointwise and distributional fractal tube formulas for a large class of compact subsets of Euclidean spaces of arbitrary dimensions. These formulas are expressed as sums of residues of suitable meromorphic functions over the…

Mathematical Physics · Physics 2018-09-13 Michel L. Lapidus , Goran Radunović , Darko Žubrinić

The wavefunction in quantum field theory is an invaluable tool for tackling a variety of problems, including probing the interior of Minkowski spacetime and modelling boundary observables in de Sitter spacetime. Here we study the analytic…

High Energy Physics - Theory · Physics 2022-12-19 Santiago Agui Salcedo , Mang Hei Gordon Lee , Scott Melville , Enrico Pajer

The starting point of this work is the principle that all movement of particles and photons must follow geodesics of a 4-dimensional space where time intervals are always a measure on geodesic arc lengths. The last 3 coordinates (alpha =…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Jose B. Almeida