Intersections of random chords of a circle

2025-04-17T11:49:28Z

Where are the intersection points of diagonals of a regular $n$-gon located? What is the distribution of the intersection point of two random chords of a circle? We investigate these and related new questions in geometric probability, extend a largely forgotten result of Karamata, and elucidate its connection to the Bertrand paradox.

Computing the Tropical Abel--Jacobi Transform and Tropical Distances for Metric Graphs

2025-04-17T09:36:38Z

Metric graphs are important models for capturing the structure of complex data across various domains. While much effort has been devoted to extracting geometric and topological features from graph data, computational aspects of metric graphs as abstract tropical curves remains unexplored. In this paper, we present the first computational and machine learning-driven study of metric graphs from the perspective of tropical algebraic geometry. Specifically, we study the tropical Abel--Jacobi transform, a vectorization of points on a metric graph via the tropical Abel--Jacobi map into its associated flat torus, the tropical Jacobian. We develop algorithms to compute this transform and investigate how the resulting embeddings depend on different combinatorial models of the same metric graph. Once embedded, we compute pairwise distances between points in the tropical Jacobian under two natural metrics: the tropical polarization distance and the Foster--Zhang distance. Computing these distances are generally NP-hard as they turn out to be linked to classical lattice problems in computational complexity, however, we identify a class of metric graphs where fast and explicit computations are feasible. For the general case, we propose practical algorithms for both exact and approximate distance matrix computations using lattice basis reduction and mixed-integer programming solvers. Our work lays the groundwork for future applications of tropical geometry and the tropical Abel--Jacobi transform in machine learning and data analysis.

Small separators, upper bounds for $l^\infty$-widths, and systolic geometry

2025-04-16T22:36:23Z

We investigate the dependence on the dimension in the inequalities that relate the Euclidean volume of a closed submanifold $M^n\subset \mathbb{R}^N$ with its $l^\infty$-width $W^{l^\infty}_{n-1}(M^n)$ defined as the infimum over all continuous maps $\phi:M^n\longrightarrow K^{n-1}\subset\mathbb{R}^N$ of $sup_{x\in M^n}\Vert \phi(x)-x\Vert_{l^\infty}$. We prove that $W^{l^\infty}_{n-1}(M^n)\leq const\ \sqrt{n}\ vol(M^n)^{\frac{1}{n}}$, and if the codimension $N-n$ is equal to $1$, then $W^{l^\infty}_{n-1}(M^n)\leq \sqrt{3}\ vol(M^n)^{\frac{1}{n}}$. As a corollary, we prove that if $M^n\subset \mathbb{R}^N$ is {\it essential}, then there exists a non-contractible closed curve on $M^n$ contained in a cube in $\mathbb{R}^N$ with side length $const\ \sqrt{n}\ vol^{\frac{1}{n}}(M^n)$ with sides parallel to the coordinate axes. If the codimension is $1$, then the side length of the cube is $4\ vol^{\frac{1}{n}}(M^n)$. To prove these results we introduce a new approach to systolic geometry that can be described as a non-linear version of the classical Federer-Fleming argument, where we push out from a specially constructed non-linear $(N-n)$-dimensional complex in $\mathbb{R}^N$ that does not intersect $M^n$. To construct these complexes we first prove a version of kinematic formula where one averages over isometries of $l^N_\infty$ (Theorem 3.5), and introduce high-codimension analogs of optimal foams recently discovered in [KORW] and [AK].

Boxing inequalities in Banach spaces and Riemannian manifolds

2025-04-16T22:18:28Z

We prove the following result: For each closed $n$-dimensional manifold $M$ in a (finite or infinite-dimensional) Banach space $B$, and each positive real $m\leq n$ there exists a pseudomanifold $W^{n+1}\subset B$ such that $\partial W^{n+1}=M^n$ and ${\rm HC}_m(W^{n+1})\leq c(m){\rm HC}_m(M^n)$. Here ${\rm HC}_m(X)$ denotes the $m$-dimensional Hausdorff content, i.e the infimum of $\Sigma_i r_i^m$, where the infimum is taken over all coverings of $X$ by a finite collection of open metric balls, and $r_i$ denote the radii of these balls. In the classical case, when $B=\mathbb{R}^{n+1}$, this result implies that if $\Omega\subset R^{n+1}$ is a bounded domain, then for all $m\in (0,n]$ ${\rm HC}_m(\Omega)\leq c(m){\rm HC}_m(\partial \Omega)$. This inequality seems to be new despite being well-known and widely used in the case, when $m=n$ (Gustin's boxing inequality, [G]). The result is a corollary of the following more general theorem that strengthens a theorem in [LLNR]: For each compact subset $X$ in a Banach space $B$ and positive real number $m$ such that ${\rm HC}_m(X)\not= 0$ there exists a finite $(\lceil m\rceil-1)$-dimensional simplicial complex $K\subset B$, a continuous map $\phi:X\longrightarrow K$, and a homotopy $H:X\times [0,1]\longrightarrow B$ between the inclusion of $X$ and $\phi$ (regarded as a map into $B$) such that: (1) For each $x\in X$ $\Vert x-\phi(x)\Vert_B\leq c_1(m){\rm HC}_m^{\frac{1}{m}}(X)$; (2) ${\rm HC}_m(H(X\times [0,1]))\leq c_2(m){\rm HC}_m(X)$. A similar theorem can also be proven in the case when $B$ is a metric space with a linear contractibility function and applies to all compact sets $X$ with a controllably small ${\rm HC}_m$ in Riemannian manifolds $M^n$ with the sectional curvature bounded below, the volume bounded below by a positive number, and the diameter bounded above.

Allard's interior $\varepsilon$-Regularity Theorem in Alexandrov spaces

2025-04-16T15:14:56Z

In this paper, we prove Allard's Interior $\varepsilon$-Regularity Theorem for $m$-dimensional varifolds with generalized mean curvature in $L^p_{loc}$, for $p \in \mathbb{R}$ such that $p>m$, in Alexandrov spaces of dimension $n$ with double-sided bounded intrinsic sectional curvature. We first give an intrinsic proof of this theorem in the case of varifolds in Riemannian manifolds of dimension $n$ whose metric tensor is at least of class $\mathcal{C}^2$, without using Nash's Isometric Embedding Theorem. This approach provides explicitly computable constants that depend only on $n$, $m$, the injectivity radius and bounds on the sectional curvature, which is essential for proving our main theorem, as we establish it through a density argument in the topological space of Riemannian manifolds with positive lower bounds on the injectivity radius and double-sided bounds on sectional curvature, equipped with the $\mathcal{C}^{1,\alpha}$ topology, for every $\alpha \in ]0,1[$ (in fact, it is enough with the $W^{2,q}$ topology for some suitable $q$ large enough).

The $L_p$ Minkowski problems on affine dual quermassintegrals

2025-04-16T14:27:47Z

In this paper, we provided $L_p$ curvature measures of affine dual quermassintegrals for $p\in\mathbb{R}$, and solved the existence part of the $L_p$ Minkowski problems for the non-symmetric measures when $p>1$ and symmetric measures when $p\geq0$. When $p=0$, this is the affine dual Minkowski problems, which is introduced and solved by Cai-Leng-Wu-Xi in [7].

Metallic mean Wang tiles I: self-similarity, aperiodicity and minimality

2025-04-16T13:52:11Z

For every positive integer $n$, we introduce a set $\mathcal{T}_n$ made of $(n+3)^2$ Wang tiles (unit squares with labeled edges). We represent a tiling by translates of these tiles as a configuration $\mathbb{Z}^2\to\mathcal{T}_n$. A configuration is valid if the common edge of adjacent tiles has the same label. For every $n\geq1$, we show that the Wang shift $\Omega_n$, defined as the set of valid configurations over the tiles $\mathcal{T}_n$, is self-similar, aperiodic and minimal for the shift action. We say that $\{\Omega_n\}_{n\geq1}$ is a family of metallic mean Wang shifts, since the inflation factor of the self-similarity of $\Omega_n$ is the positive root of the polynomial $x^2-nx-1$. This root is sometimes called the $n$-th metallic mean, and in particular, the golden mean when $n=1$, and the silver mean when $n=2$. When $n=1$, the set of Wang tiles $\mathcal{T}_1$ is equivalent to the Ammann aperiodic set of 16 Wang tiles.

Generic Global Rigidity in $\ell_p$-Space and the Identifiability of the $p$-Cayley-Menger Varieties

2025-04-16T06:02:06Z

The celebrated result of Gortler-Healy-Thurston (independently, Jackson-Jord\'an for $d=2$) shows that the global rigidity of graphs realised in the $d$-dimensional Euclidean space is a generic property. Extending this result to the global rigidity problem in $\ell_p$-spaces remains an open problem. In this paper we affirmatively solve this problem when $d=2$ and $p$ is an even positive integer. A key tool in our proof is a sufficient condition for the $d$-tangential weak non-defectivity of projective varieties due to Bocci, Chiantini, Ottaviani, and Vannieuwenhoven. By specialising the condition to the $p$-Cayley-Menger variety, which is the $\ell_p$-analogue of the Cayley-Menger variety for Euclidean distance, we provide an $\ell_p$-extension of the generic global rigidity theory of Connelly. As a by-product of our proof, we also offer a purely graph-theoretical characterisation of the $2$-identifiability of an orthogonal projection of the $p$-Cayley-Menger variety along a coordinate axis of the ambient affine space.

Limits of Discrete Energy of Families of Increasing Sets

2025-04-15T15:45:14Z

The Hausdorff dimension of a set can be detected using the Riesz energy. Here, we consider situations where a sequence of points, $\{x_n\}$, ``fills in'' a set $E \subset \mathbb{R}^d$ in an appropriate sense and investigate the degree to which the discrete analog to the Riesz energy of these sets can be used to bound the Hausdorff dimension of $E$. We also discuss applications to data science and Erd\H{o}s/Falconer type problems.

Obtuse almost-equiangular sets

2025-04-15T11:32:46Z

For $t \in [-1, 1)$, a set of points on the $(n-1)$-dimensional unit sphere is called $t$-almost equiangular if among any three distinct points there is a pair with inner product $t$. We propose a semidefinite programming upper bound for the maximum cardinality $\alpha(n, t)$ of such a set based on an extension of the Lov\'asz theta number to hypergraphs. This bound is at least as good as previously known bounds and for many values of $n$ and $t$ it is better. We also refine existing spectral methods to show that $\alpha(n, t) \leq 2(n+1)$ for all $n$ and $t \leq 0$, with equality only at $t = -1/n$. This allows us to show the uniqueness of the optimal construction at $t = -1/n$ for $n \leq 5$ and to enumerate all possible constructions for $n \leq 3$ and $t \leq 0$.

The Analytic Stockwell Transform and its Zeros

2025-04-15T10:37:59Z

A recent original line of research in time--frequency analysis has shifted the interest in energy maxima toward zeros. Initially motivated by the intriguing uniform spread of the zeros of the spectrogram of white noise, it has led to fruitful theoretical developments combining probability theory, complex analysis and signal processing. In this vein, the present work proposes a characterization of the zeros of the Stockwell Transform of white noise, which consists in an hybrid time--frequency multiresolution representation. First of all, an analytic version of the Stockwell Transform is designed. Then, analyticity is leveraged to establish a connection with the hyperbolic Gaussian Analytic Function, whose zero set is invariant under the isometries of the Poincar\'e disk. Finally, the theoretical spatial statistics of the zeros of the hyperbolic Gaussian Analytic Function and the empirical statistics of the zeros the Analytic Stockwell Transform of white noise are compared through intensive Monte Carlo simulations, supporting the established connection. A publicly available documented Python toolbox accompanies this work.

Anti-Vietoris--Rips metric thickenings and Borsuk graphs

2025-04-15T03:52:47Z

For $X$ a metric space and $r\ge 0$, the anti-Vietoris-Rips metric thickening $\mathrm{AVR^m}(X;r)$ is the space of all finitely supported probability measures on $X$ whose support has spread at least $r$, equipped with an optimal transport topology. We study the anti-Vietoris-Rips metric thickenings of spheres. We have a homeomorphism $\mathrm{AVR^m}(S^n;r) \cong S^n$ for $r > \pi$, a homotopy equivalence $\mathrm{AVR^m}(S^n;r) \simeq \mathbb{RP}^{n}$ for $\frac{2\pi}{3} < r \le \pi$, and contractibility $\mathrm{AVR^m}(S^n;r) \simeq *$ for $r=0$. For an $n$-dimensional compact Riemannian manifold $M$, we show that the covering dimension of $\mathrm{AVR^m}(M;r)$ is at most $(n+1)p-1$, where $p$ is the packing number of $M$ at scale $r$. Hence the $k$-dimensional \v{C}ech cohomology of $\mathrm{AVR^m}(M;r)$ vanishes in all dimensions $k\geq (n+1)p$. We prove more about the topology of $\mathrm{AVR^m}(S^n;\frac{2\pi}{3})$, which has vanishing cohomology in dimensions $2n+2$ and higher. We explore connections to chromatic numbers of Borsuk graphs, and in particular we prove that for $k>n$, no graph homomorphism $\mathrm{Bor}(S^k;r) \to \mathrm{Bor}(S^n;\alpha)$ exists when $\alpha > \frac{2\pi}{3}$.

Integral Varadhan formula for non-linear heat flow

2025-04-14T23:52:23Z

We prove the integral Varadhan short-time formula for non-linear heat flow on measured Finsler manifolds. To the best of the authors' knowledge, this is the first result establishing a Varadhan-type formula for non-linear semigroups. We do not assume the reversibility of the metric, and the distance function can be asymmetric. In this generality, we reveal that the probabilistic interpretation is well-suited for our formula; the probability that a particle starting from a set $A$ can be found in another set $B$ describes the distance from $A$ to $B$. One side of the estimates (the upper bound of the probability) is also established in the nonsmooth setting of infinitesimally strictly convex metric measure spaces satisfying the local Sobolev-to-Lipschitz property.

Extended Set Difference : Inverse Operation of Minkowski Summation

2025-04-14T21:39:09Z

This paper introduces the extended set difference, a generalization of the Hukuhara and generalized Hukuhara differences, defined for compact convex sets in $\mathbb{R}^d$. The proposed difference guarantees existence for any pair of such sets, offering a broader framework for set arithmetic. The difference may not be necessarily unique, but we offer a bound on the variety of solutions. The definition of the extended set difference is formulated through an optimization problem, which provides a constructive approach to its computation. The paper explores the properties of this new difference, including its stability under orthogonal transformations and its robustness to perturbations of the input sets. We propose a method to compute this difference through a formulated linear optimization problem.

Lipschitz geometry and combinatorics of circular snakes

2025-04-14T20:35:12Z

This paper explores the Lipschitz geometric and combinatorial properties of germs of real semialgebraic surfaces (or, more generally, definable in a polynomially bounded o-minimal structure) with circular link (homeomorphic to the circle $\mathbb{S}^1$). We define and investigate the outer Lipschitz geometry of the so-called circular snakes, showing what results in the paper "Lipschitz geometry and combinatorics of abnormal surface germs" (by Andrei Gabrielov and Emanoel Souza) valid to snakes still holds for the circular case. We prove the existence of a canonical decomposition for the Valette link of a circular snake into finitely many segments and nodal zones and establish some necessary and sufficient criteria to determine when it is possible to obtain a snake from a circular snake by "removing" either one of its segments or a H\"older triangle whose Valette link is contained in one of its nodal zones. We construct a combinatorial object associated with a circular snake and prove a realization theorem for this combinatorial object. We also present a weakly outer Lipschitz classification for circular snakes. Finally, we show some results about the combinatorics of binary circular snakes, which is wildly distinct from the corresponding case shown in the work of Gabrielov and Souza.