Related papers: A Constructive Fragment of Physical Propositions
We introduce a framework of structural approximation to represent Lorentz-invariant Minkowski space-time as the limit of finite cyclic lattices, each equipped with the action of a finite quasi-Lorentz group. This construction provides a…
Minkowski space serves as a framework for the theoretical constructions that deal with manifestations of relativistic effects in physical phenomena. But neither Minkowski himself nor the subsequent developers of the relativity theory have…
The Minkowski question mark function is a rich object which can be explored from the perspective of dynamical systems, complex dynamics, metric number theory, multifractal analysis, transfer operators, integral transforms, and as a function…
In this article, we establish necessary and sufficient viability conditions for continuity inclusions over the 1-Wasserstein space. Depending on the regularity properties of the dynamics, we derive two results which are based on fairly…
All constructive methods employed in modern mathematics produce only countable sets, even when designed to transcend countability. We show that any constructive argument for uncountability -- excluding diagonalization techniques --…
The Minkowski content of a compact set is a fine measure of its geometric scaling. For Lebesgue null sets it measures the decay of the Lebesgue measure of epsilon neighbourhoods of the set. It is well known that self-similar sets,…
We propose a novel method for the description of spatial patterns formed by a coverage of point sets representing galaxy samples. This method is based on a complete family of morphological measures known as Minkowski functionals, which…
A long-standing conjecture of Lapidus claims that under certain conditions, self-similar fractal sets fail to be Minkowski measurable if and only if they are of lattice type. The theorem was established for fractal subsets of $\mathbb{R}$…
The $r$-parallel set to a set $A$ in Euclidean space consists of all points with distance at most $r$ from $A$. Recently, the asymptotic behaviour of volume and the surface area of parallel sets as $r$ tends to 0 has been studied and some…
We show that any nontrivial self-similar subset of the real line that is invariant under a lattice iterated function system (IFS) satisfying the open set condition (OSC) is not Minkowski measurable. So far, this was only known for special…
We define temporal axioms that are sound and complete for the temporal validities over $(\reals^2, <)$.
The asymptotic symmetry analysis of Maxwell theory at spatial infinity of Minkowski space with $d\geq 3$ is performed. We revisit the action principle in de Sitter slicing and make it well-defined by an asymptotic gauge fixing. In…
Motivated by the result of Dantas et. al. (2023) that there exist metric spaces for which the set of strongly norm-attaining Lipschitz functions does not contain an isometric copy of $c_0$, we introduce and study a weaker notion of…
The definition of a reference frame in General Relativity is achieved through the construction of a congruence of time-like world-lines. In this framework, splitting techniques enable us to express physical phenomena in analogy with Special…
We consider a quantization of the Bianchi IX cosmological model based on taking the constraint to be a self-adjoint operator in an auxiliary Hilbert space. Using a WKB-style self-consistent approximation, the constraint chosen is shown to…
A large class of quantum field theories on 1+1 dimensional Minkowski space, namely, certain integrable models, has recently been constructed rigorously by Lechner. However, the construction is very abstract and the concrete form of local…
In this paper we consider a fragment of the first-order theory of the real numbers that includes systems of equations of continuous functions in bounded domains, and for which all functions are computable in the sense that it is possible to…
We construct perturbations of Minkowski spacetime in general relativity, when given initial data that decays inverse polynomially to initial data of a Kerr spacetime towards spacelike infinity. We show that the perturbations admit a regular…
Reachability analysis is a powerful tool for computing the set of states or outputs reachable for a system. While previous work has focused on systems described by state-space models, we present the first methods to compute reachable sets…
We present the proof that the temporal logic of two-dimensional Minkowski spacetime is decidable, PSPACE-complete. The proof is based on a type of two-dimensional mosaic. Then we present the modification of the proof so as to work for…