Related papers: First-Order Axiom Systems $\mathscr{E}_{d}$ and $\…
Physical geometry studies mutual disposition of geometrical objects and points in space, or space-time, which is described by the distance function d, or by the world function \sigma =d^{2}/2. One suggests a new general method of the…
Einstein Equivalence Principle (EEP) requires all matter components to universally couple to gravity via a single common geometry: that of spacetime. This relates quantum theory with geometry as soon as interactions with gravity are…
This is the second part of a series devoted to the singular initial value problem for second-order hyperbolic Fuchsian systems. In the first part, we defined and investigated this general class of systems, and we established a…
For two non-communicating parties, quantum theory can give rise to probability distributions of outcomes that no local classical model can reproduce without communication. However, in the case of two-dimensional systems ($d=2$), it is known…
This paper is the third in a series whose goal is to develop a fundamentally new way of viewing theories of physics. Our basic contention is that constructing a theory of physics is equivalent to finding a representation in a topos of a…
This paper considers an extremal version of the Erd\H{o}s distinct distances problem. For a point set $P \subset \mathbb R^d$, let $\Delta(P)$ denote the set of all Euclidean distances determined by $P$. Our main result is the following: if…
A variational principle is applied to 4D Euclidean space provided with a tensor refractive index, defining what can be seen as 4-dimensional optics (4DO). The geometry of such space is analysed, making no physical assumptions of any kind.…
The spin geometry theorem of Penrose is extended from $SU(2)$ to $E(3)$ (Euclidean) invariant elementary quantum mechanical systems. Using the natural decomposition of the total angular momentum into its spin and orbital parts, the…
Einstein's general relativity can emerge from pregeometry, with the metric composed of more fundamental fields. We formulate euclidean pregeometry as a $SO(4)$ - Yang-Mills theory. In addition to the gauge fields we include a vector field…
Given $E \subseteq \mathbb{F}_q^d \times \mathbb{F}_q^d$, with the finite field $\mathbb{F}_q$ of order $q$ and the integer $d \ge 2$, we define the two-parameter distance set as $\Delta_{d, d}(E)=\left\{\left(\|x_1-y_1\|,…
In 1926-1927, Tarski designed a set of axioms for Euclidean geometry which reached its final form in a manuscript by Schwabh\"auser, Szmielew and Tarski in 1983. The differences amount to simplifications obtained by Tarski and Gupta. Gupta…
The point-to-set principle of J. Lutz and N. Lutz (2018) has recently enabled the theory of computing to be used to answer open questions about fractal geometry in Euclidean spaces $\mathbb{R}^n$. These are classical questions, meaning that…
We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…
The Erd\H{o}s-Anning theorem states that every point set in the Euclidean plane with integer distances must be either collinear or finite. More strongly, for any (non-degenerate) triangle of diameter~$\delta$, at most $O(\delta^2)$ points…
We consider the problem of digitalizing Euclidean segments. Specifically, we look for a constructive method to connect any two points in $\mathbb{Z}^d$. The construction must be {\em consistent} (that is, satisfy the natural extension of…
Persistence diagrams (PD)s play a central role in topological data analysis, and are used in an ever increasing variety of applications. The comparison of PD data requires computing comparison metrics among large sets of PDs, with metrics…
In the d-Euclidean Distance Matrix Completion (d-EDMC) problem, one aims to determine whether a given partial matrix of pairwise distances can be extended to a full Euclidean distance matrix in d dimensions. This problem is a cornerstone of…
This is an attempt to present axioms for Euclidean geometry, aiming at the following goals: to work with geometric notions (thus not merely identify points with pairs of numbers, giving a special status to a particular coordinate system);…
We derive curvature counterterms in two-dimensional gravity coupled to conformal matter up to infinite order. By construction the higher-order action is equivalent to a finite first-order theory with auxiliary scalar. Due to this…
Distance geometry explores the properties of distance spaces that can be exactly represented as the pairwise Euclidean distances between points in $\mathbb{R}^d$ ($d \geq 1$), or equivalently, distance spaces that can be isometrically…