Related papers: Finite precision measurement nullifies Euclid's po…
Consider a complete Riemannian manifold $(M, g)$ and optimal transport problems on it with cost functions of the form $c(x,y) = h(d_{{g}}(x,y))$. We study the absolute continuity of the corresponding generalized Wasserstein barycenters of…
Using a local analog of the Wiener-Levi theorem, we investigate the class of measures on Euclidean space with discrete support and spectrum. Also, we find a new sufficient conditions for a discrete set in Euclidean space to be a coherent…
It has been argued that any test of quantum contextuality is nullified by the fact that perfect orthogonality and perfect compatibility cannot be achieved in finite precision experiments. We introduce experimentally testable two-qutrit…
Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…
In this project we show the existence of arbitrary length arithmetic progressions in model sets and Meyer sets in the Euclidean $d$-space. We prove a van der Waerden type theorem for Meyer sets. We show that pure point subsets of Meyer sets…
Many geometric optimization problems can be reduced to finding points in space (centers) minimizing an objective function which continuously depends on the distances from the centers to given input points. Examples are $k$-Means, Geometric…
We study the pointwise dimension for a new class of projection measures on arbitrary fractal limit sets without separation conditions. We prove that the pointwise dimension exists a.e. for this class of measures associated to equilibrium…
Modern observations based on general relativity indicate that the spatial geometry of the expanding, large-scale Universe is very nearly Euclidean. This basic empirical fact is at the core of the so-called "flatness problem", which is…
We show that compact Riemannian manifolds, regarded as metric spaces with their global geodesic distance, cannot contain a number of rigid structures such as (a) arbitrarily large regular simplices or (b) arbitrarily long sequences of…
We establish common fixed point theorems for two pairs of weakly compatible self-mappings using an auxiliary function of two variables. Unlike classical results, our theorems do not assume continuity of the mappings and require completeness…
The main result of this note is the strengthening of a quite arbitrary a priori Fourier restriction estimate to a multi-parameter maximal estimate of the same type. This allows us to discuss a certain multi-parameter Lebesgue point property…
Quantum metrology pursues high-precision measurements of physical quantities by using quantum resources. However, the decoherence generally hinders its performance. Previous work found that the metrological error tends to diverge in the…
The space-time geometry is considered to be a physical geometry, i.e. a geometry described completely by the world function. All geometrical concepts and geometric objects are taken from the proper Euclidean geometry. They are expressed via…
In this paper we investigate possible extensions of the idea of geodesic completeness in complex manifolds, following two directions: metrics are somewhere allowed not to be of maximum rank, or to have 'poles' somewhere else. Geodesics are…
We prove that uniformly disconnected subsets of metric measure spaces with controlled geometry (complete, Ahlfors regular, supporting a Poincare inequality, and a mild topological condition) are contained in a quasisymmetric arc. This…
Measurements on classical systems are usually idealized and assumed to have infinite precision. In practice, however, any measurement has a finite resolution. We investigate the theory of non-ideal measurements in classical mechanics using…
There exist limits of self-inspection due to self-referential paradoxes, incompleteness and fixed point theorems. As quantum mechanics dictates the exchange of discrete quanta, measurements and self-inspection of quantized systems are…
We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for…
The physical origin of spacetime discreteness remains a central open problem in quantum gravity, with most existing approaches relying on specific microscopic structures or model-dependent assumptions. In this letter, spacetime discreteness…
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…