Related papers: First-Order Axiom Systems $\mathscr{E}_{d}$ and $\…
Quantum theory makes the most accurate empirical predictions and yet it lacks simple, comprehensible physical principles from which the theory can be uniquely derived. A broad class of probabilistic theories exist which all share some…
The tubular geometry (T-geometry) is a generalization of the proper Euclidean geometry, founded on the property of sigma-immanence. The proper Euclidean geometry can be described completely in terms of the world function $\sigma =\rho…
In a companion paper (hereafter referred to as Paper I), we have presented an attempt to derive the finite-dimensional abstract quantum formalism within the framework of information geometry. In this paper, we formulate a correspondence…
We prove versions of Ekeland, Takahashi and Caristi principles in preordered quasi-metric spaces, the equivalence between these principles, as well as their equivalence to some completeness results for the underlying quasi-metric space.…
By Fagin's Theorem, NP contains precisely those problems that can be described by formulas starting with an existential second-order quantifier, followed by only first-order quantifiers (ESO formulas). Subsequent research refined this…
We prove an explicit formula for the law in zero of the solution of a class of elliptic SPDE in $\mathbb{R}^2$. This formula is the simplest instance of dimensional reduction, discovered in the physics literature by Parisi and Sourlas…
In general, the system of $2$nd-order partial differential equations made of the Euler-Lagrange equations of classical field theories are not compatible for singular Lagrangians. This is the so-called second-order problem. The first aim of…
In this paper, we propose that 'embodied mathematics' should be studied not only by reduction to the present individual bodily experience but in an historical context as well, as far as the origins of mathematics are concerned. Some early…
With the help of Wick rotation over $p$-adic numbers $\mathbb{Q}_p$, the $p$-adic version of Euclidean $\textrm{dS}_2$ space(noted as $p\textrm{dS}_2$) is obtained based on $p\textrm{AdS}_2$($p$-adic version of Euclidean $\textrm{AdS}_2$…
Dirac notation is widely used in quantum physics and quantum programming languages to define, compute and reason about quantum states. This paper considers Dirac notation from the perspective of automated reasoning. We prove two main…
A generalisation of Riemannian geometry is considered, based exclusively on the minimal assumptions that the line element $ds$ is a regular function of position and direction and that the distance of every point from itself is equal to…
Following the line of the history, if by one side the electromagnetic theory was consolidated on the 19th century, the emergence of the special and the general relativity theories on the 20th century opened possibilities of further…
In the context of kernel methods, the similarity between data points is encoded by the kernel function which is often defined thanks to the Euclidean distance, a common example being the squared exponential kernel. Recently, other distances…
Many data analysis problems can be cast as distance geometry problems in \emph{space forms} -- Euclidean, spherical, or hyperbolic spaces. Often, absolute distance measurements are often unreliable or simply unavailable and only proxies to…
The Earth Mover's Distance (EMD) is a state-of-the art metric for comparing discrete probability distributions, but its high distinguishability comes at a high cost in computational complexity. Even though linear-complexity approximation…
A central topic in mathematical logic is the classification of theorems from mathematics in hierarchies according to their logical strength. Ideally, the place of a theorem in a hierarchy does not depend on the representation (aka coding)…
The exceptional Lie group E8 plays a prominent role in both mathematics and theoretical physics. It is the largest symmetry group associated with the most general possible normed division algebra, namely, that of the non-associative real…
It is proved that the set of geodesic circles in two dimensions may be given a variational description and the explicit form of it is presented. In the limit case of the Euclidean geometry a certain claim of uniqueness of such description…
We provide specific PDEs for preserved quantities $Q$ in Geometry, as well as a bridge between this and specific PDEs for observables $O$ in Physics. We furthermore prove versions of four other theorems either side of this bridge: the below…
A simple mapping procedure is presented by which classical orbits and path integrals for the motion of a point particle in flat space can be transformed directly into those in curved space with torsion. Our procedure evolved from…