2025-12-05 | | Total: 6
This book introduces the new research area of Geometric Data Science, where data can represent any real objects through geometric measurements. The first part of the book focuses on finite point sets. The most important result is a complete and continuous classification of all finite clouds of unordered points under rigid motion in any Euclidean space. The key challenge was to avoid the exponential complexity arising from permutations of the given unordered points. For a fixed dimension of the ambient Euclidean space, the times of all algorithms for the resulting invariants and distance metrics depend polynomially on the number of points. The second part of the book advances a similar classification in the much more difficult case of periodic point sets, which model all periodic crystals at the atomic scale. The most significant result is the hierarchy of invariants from the ultra-fast to complete ones. The key challenge was to resolve the discontinuity of crystal representations that break down under almost any noise. Experimental validation on all major materials databases confirmed the Crystal Isometry Principle: any real periodic crystal has a unique location in a common moduli space of all periodic structures under rigid motion. The resulting moduli space contains all known and not yet discovered periodic crystals and hence continuously extends Mendeleev's table to the full crystal universe.
In this paper, we first prove that the origin-symmetric star body with ellipsoidal sections is an ellipsoid. Then we give a complete proof of Banach's isometric subspace problem in finite dimensions through the John ellipsoid.
An Erdös matrix $E$ is a bistochastic matrix whose sum of squares of entries (Frobenius norm squared) equals its maxtrace (maximum of all the $σ$-traces for permutations $σ$'s). We characterize all Erdös $E$ by the patterns of their zero entries; showing that each such skeleton has at most one $E$. We present an algorithm to find all $n\times n$ Erdös matrices, which finds them up to $n\leqslant 5$ quickly and also size $n=6$. We further show some presently known RCDS matrices to be Erdös.
The volume of the unit balls of self-adjoint finite-dimensional Schatten $p$-classes of $n\times n$-matrices, $1\le p\le \infty$, is only known exactly for $p=2$ and $p=\infty$. We give an asymptotic expansion of the logarithmic volume to order $o(n)$ for general $p\ge\frac{3}{2}$. The proof rests on asymptotics for the partition function of $β$-ensembles due to Leblé and Serfaty [Invent. Math. 210(3):645--757, 2017]. Independently, the case $p\ge 2$ was obtained by Dworaczek Guera, Memin and Pain [arXiv:2511.05386]. In the complex case the asymptotic expansion is continued to order $O(1)$ for all $p\ge 1$.
We establish the existence of a regular functional $M$-position, in the sense of Pisier, for geometric log-concave functions. This provides a functional analogue of Pisier's regular $M$-positions for convex bodies and yields uniform control of covering numbers at all scales. Specifically, we show that every isotropic geometric log-concave function $f:\mathbb{R}^n \to [0,\infty)$ satisfies, for all $t\geq 1$, $$\max \left\{N(f, t \cdot g),\,N(f^*, t \cdot g),\,N(g, t \cdot f),\,N(g, t \cdot f^*)\right\} \leq \exp\left( \frac{γ_n^2\, n}{t} \right),$$ where $f^*$ denotes the Legendre dual of $f$, $(t \cdot f)(x)=f(x/t)$ is the $t$-homothety of $f$, $g(x)=\exp \left(-\frac{1}{2}|x|^{2}\right)$ and $γ_n \leq c(\ln n)^2$. Our result shows that the isotropic position of a log-concave function already provides an almost $1$-regular functional $M$-position.
We completely describe the region of possible values of the diameter-width ratio for planar pseudo-complete sets in dependence of the Minkowski asymmetry. In order to do this, we focus on the containment inequalities of $K \cap (-K)$ and $\frac{K-K}{2}$ for a Minkowski centered convex compact set $K$, i.e. we define $τ(K)$ to be the smallest possible factor to cover $K \cap (-K)$ by a rescalation of $\frac{K-K}{2}$ and give the region of the possible values of $τ(K)$ in the planar case in dependence of the Minkowski asymmetry of $K$.