Related papers: First-Order Axiom Systems $\mathscr{E}_{d}$ and $\…
There is a special set of massless four-dimensional gauge theories which admit local and gauge-anomaly-free uplifts to twistor space; we call such theories twistorial. In twistorial theories, generalized towers of soft modes (including…
We show that the (typical) quantitative considerations about proper (as too big) and small classes are just tangential facts regarding the consistency of Zermelo-Fraenkel Set Theory with Choice. Effectively, we will construct a first-order…
A little-known and highly economical characterization of the real interval [0, 1], essentially due to Freyd, states that the interval is homeomorphic to two copies of itself glued end to end, and, in a precise sense, is universal as such.…
In these lectures I propose to push Einstein's principle of coordinate independence to the extreme in order to restrict the possible form of fundamental equations of motion in physics. I start from nearly tautological system theoretic…
Euclidean distance geometry is the study of Euclidean geometry based on the concept of distance. This is useful in several applications where the input data consists of an incomplete set of distances, and the output is a set of points in…
It is well known that many theorems in recursion theory can be "relativized". This means that they remain true if partial recursive functions are replaced by functions that are partial recursive relative to some fixed oracle set. Uspensky…
We propose a method for demonstrating equivalences beyond the saddlepoint approximation between quantities in quantum gravity that are defined by the Euclidean path integral, without assumptions about holographic duality. The method…
A classical Theorem of Alexandrov states that the map associating its boundary to a convex polyhdedron of the 3-dimensional Euclidean space is a bijection from the set of convex polyhdedron up to congruence to the set of isometry classes of…
The distance geometry problem asks to find a realization of a given simple edge-weighted graph in a Euclidean space of given dimension K, where the edges are realized as straight segments of lengths equal (or as close as possible) to the…
Kendall's Shape Theory covers shapes formed by $N$ points in $\mathbb{R}^d$ upon quotienting out the similarity transformations. This theory is based on the geometry and topology of the corresponding configuration space: shape space.…
A toy model (suggested by Klauder) is analyzed from the perspective of First Class and Second Class Dirac constrained systems. The comparison is made by turning a First Class into a Second Class system with the introduction of suitable…
An analog of the Falconer distance problem in vector spaces over finite fields asks for the threshold $\alpha>0$ such that $|\Delta(E)| \gtrsim q$ whenever $|E| \gtrsim q^{\alpha}$, where $E \subset {\Bbb F}_q^d$, the $d$-dimensional vector…
This is an expository paper on the theory of gradient flows, and in particular of those PDEs which can be interpreted as gradient flows for the Wasserstein metric on the space of probability measures (a distance induced by optimal…
In this work we study first-order linear parabolic evolution PDEs over $\mathbb{R}^{d}\times\mathbb{R}$ and $\mathbb{R}^{d}\times\mathbb{R}^{+}$ comprising a spatial operator defined through a symbol function and a source term such that its…
Let $M$ be a compact $d$-dimensional Riemannian manifold without a boundary. Given $E \subset M$, let $\Delta_{\rho}(E)=\{\rho(x,y): x,y \in E \}$, where $\rho$ is the Riemannian metric on $M$. Let $\Delta_{\rho}^x$ denote the pinned…
Tarski initiated a logic-based approach to formal geometry that studies first-order structures with a ternary betweenness relation \beta, and a quaternary equidistance relation \equiv. Tarski established, inter alia, that the first-order…
We develop the first steps towards an analysis of geometry on the quantum spacetime proposed in [1]. The homogeneous elements of the universal differential algebra are naturally identified with operators living in tensor powers of Quantum…
Mathematical objects are generally abstract and not very approachable. Illustrations and interactive visualizations help both students and professionals to comprehend mathematical material and to work with it. This approach lends itself…
Proximal distance algorithms combine the classical penalty method of constrained minimization with distance majorization. If $f(\boldsymbol{x})$ is the loss function, and $C$ is the constraint set in a constrained minimization problem, then…
In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact, Tarski showed that any Euclidean space R^n with n >= 1…