Strong almost finiteness

2025-09-19T11:33:43Z

A countable, bounded degree graph is almost finite if it has a tiling with isomorphic copies of finitely many Følner sets, and we call it strongly almost finite, if the tiling can be randomized so that the probability that a vertex is on the boundary of a tile is uniformly small. We give various equivalents for strong almost finiteness. In particular, we prove that Property A together with the Følner property is equivalent to strong almost finiteness. Using these characterizations, we show that graphs of subexponential growth and Schreier graphs of amenable groups are always strongly almost finite, generalizing the celebrated result of Downarowicz, Huczek and Zhang about amenable Cayley graphs, based on graph theoretic rather than group theoretic principles. We give various equivalents to Property A for graphs, and show that if a sequence of graphs of Property A (in a uniform sense) converges to a graph $G$ in the neighborhood distance (a purely combinatorial analogue of the classical Benjamini-Schramm distance), then their Laplacian spectra converge to the Laplacian spectrum of $G$ in the Hausdorff distance. We apply the previous theory to construct a new and rich class of classifiable $C^{\star}$-algebras. Namely, we show that for any minimal strong almost finite graph $G$ there are naturally associated simple, nuclear, stably finite $C^{\star}$-algebras that are classifiable by their Elliott invariants.

The Riemannian geometry of Sinkhorn divergences

2025-09-19T11:04:03Z

We propose a new metric between probability measures on a compact metric space that mirrors the Riemannian manifold-like structure of quadratic optimal transport but includes entropic regularization. Its metric tensor is given by the Hessian of the Sinkhorn divergence, a debiased variant of entropic optimal transport. We precisely identify the tangent space it induces, which turns out to be related to a Reproducing Kernel Hilbert Space (RKHS). As usual in Riemannian geometry, the distance is built by looking for shortest paths. We prove that our distance is geodesic, metrizes the weak-star topology, and is equivalent to a RKHS norm. Still it retains the geometric flavor of optimal transport: as a paradigmatic example, translations are geodesics for the quadratic cost on $\mathbb{R}^d$. We also show two negative results on the Sinkhorn divergence that may be of independent interest: that it is not jointly convex, and that its square root is not a distance because it fails to satisfy the triangle inequality.

Characterization of higher rank via affine maps

2025-09-19T07:29:04Z

We show that Hadamard spaces with geometric group actions admit affine maps that are not dilations, if and only if they are Riemannian symmetric spaces of higher rank, Euclidean buildings of higher rank, or split as non-trivial metric products.

Fuzzy simplicial sets and their application to geometric data analysis

2025-09-18T20:40:02Z

In this article, we expand upon the concepts introduced by David Spivak about the relationship between the category $\mathbf{UM}$ of uber metric spaces and the category $\mathbf{sFuz}$ of fuzzy simplicial sets. We show that fuzzy simplicial sets can be regarded as natural combinatorial generalizations of metric relations. Furthermore, we take inspiration from UMAP to apply the theory to manifold learning, dimension reduction and data visualization, while refining some of their constructions. We generalize the adjunction between $\mathbf{UM}$ and $\mathbf{sFuz}$, derive an explicit description of colimits in $\mathbf{UM}$, and show that $\mathbf{UM}$ can be embedded into $\mathbf{sFuz}$. Furthermore, we prove analogous results for the category of extended-pseudo metric spaces $\mathbf{EPMet}$. We also provide rigorous definitions of functors that make it possible to recursively merge sets of fuzzy simplicial sets and provide a description of the adjunctions between the category of truncated fuzzy simplicial sets and $\mathbf{sFuz}$, which we relate to persistent homology. Combining those constructions, we can show a surprising connection between the well-known dimension reduction methods UMAP and Isomap and derive an alternative algorithm, which we call IsUMap, that combines some of the strengths of both methods. Additionally, we developed a new embedding method that allows to preserve clusters detected in the original metric space that we construct from the data. The visualization of the optimization process gives the user information, both about the inner-cluster distributions in the original metric space and their inter-cluster relations. We compare our new method with UMAP, Isomap and t-SNE on a series of low- and high-dimensional datasets and provide explanations for observed differences and improvements.

A discrete approach to Zhang's projection inequality

2025-09-18T14:17:02Z

In this paper we will provide a new proof of the fact that for any convex body $K\subseteq\R^n$ $$ \frac{{{2n}\choose{n}}}{n^n}n\int_0^\infty r^{n-1}\vol_n(K\cap(re_n+K))dr\leq\frac{(\vol_n(K))^{n+1}}{(\vol_{n-1}(P_{e_n^\perp}(K)))^n}, $$ where $(e_i)_{i=1}^n$ denotes the canonical orthonormal basis in $\R^n$, $P_{e_n^\perp}(K)$ denotes the orthogonal projection of $K$ onto the linear hyperplane orthogonal to $e_n$, and $\vol_k$ denotes the $k$-dimensional Lebesgue measure. This inequality was proved by Gardner and Zhang and it implies Zhang's inequality. We will use our new approach to this inequality in order to prove discrete analogues of this inequality and of an equivalent version of it, where we will consider the lattice point enumerator measure instead of the Lebesgue measure, and show that from such discrete analogues we can recover the aforementioned inequality and, therefore, Zhang's inequality.

Super Guarding and Dark Rays in Art Galleries

2025-09-17T16:25:22Z

We explore an Art Gallery variant where each point of a polygon must be seen by k guards, and guards cannot see through other guards. Surprisingly, even covering convex polygons under this variant is not straightforward. For example, covering every point in a triangle k=4 times (a 4-cover) requires 5 guards, and achieving a 10-cover requires 12 guards. Our main result is tight bounds on k-covering a convex polygon of n vertices, for all k and n. The proofs of both upper and lower bounds are nontrivial. We also obtain bounds for simple polygons, leaving tight bounds an open problem.

The Riemannian hemisphere is almost calibrated in the injective hull of its boundary

2025-09-17T15:36:55Z

An exact differential two-form is constructed in the injective hull of the Riemannian circle, whose comass norm, defined via the inscribed Riemannian area on normed planes, is stationary at every point of the open hemisphere spanned by the circle. As a consequence, in any metric space, the induced Finsler mass of a two-dimensional Ambrosio-Kirchheim rectifiable current with boundary a Riemannian circle of length $2π$ admits a lower bound of $2π$ plus a second-order term in the Hausdorff distance to an isometric copy of the hemisphere. This estimate applies to all oriented Lipschitz surfaces spanning the circle, regardless of their topology, and thus offers positive evidence for Gromov's filling area conjecture.

Approximate isoperimetry for convex polytopes

2025-09-17T10:50:54Z

For all $n,φ\in \mathbb{N}$ with $φ\geqslant n+1$, the smallest possible isoperimetric quotient of an $n$-dimensional convex polytope that has $φ$ facets is shown to be bounded from above and from below by positive universal constant multiples of $\max\big\{n/\sqrt{1+\log (φ/n)},\sqrt{n}\big\}$. For all $n\in \mathbb{N}$ and $2n\leqslant β\in 2\mathbb{N}$, it is shown that every $n$-dimensional origin-symmetric convex polytope that has $β$ vertices admits an affine image whose isoperimetric quotient is at most a universal constant multiple of $\min\big\{\sqrt{\log(β/n)},n\big\}$, which is sharp. The weak isomorphic reverse isoperimetry conjecture is proved for $n$-dimensional convex polytopes that have $O(n)$ facets by demonstrating that any such polytope $K$ has an image $K'$ under a volume preserving matrix and a convex body $L\subseteq K'$ such that the isoperimetric quotient of $L$ is at most a universal constant multiple of $\sqrt{n}$, and also $\sqrt[n]{\mathrm{vol}_n(L)/\mathrm{vol}_n(K)}$ is at least a positive universal constant.

Arithmetic of triangles

2025-09-16T19:41:14Z

In this paper, we consider a set of similar triangles with parallel sides, along with a set of points in the plane. It turns out that the set $\mathbb{R}_2= \{\pm =\pm (x^2,x,1); x\in\mathbb{R} \}$ describes this set of triangles quite well. The set $\mathbb{R}_2$ is a subset of the ring $\mathbb{R}^3=\mathbb{R}\times\mathbb{R}\times\mathbb{R}= \{ (x,y,z) ; x,y,z\in\mathbb{R} \}$ with addition and multiplication defined coordinate-wise. The set $\mathbb{R}_2$ is equipped with two operations. Multiplication is inherited from the ring $\mathbb{R}^3$, while addition is a ternary operation that represents homothety and translation of elements in $\mathbb{R}_2$. However, the defined addition has its limitations. It turns out that, within this framework, the reduction of terms with different signs is not always possible. This leads to the distinction between an equation that is true in the arithmetic sense and one that is true in the geometric sense. A novel form of addition in $\mathbb{R}_2$ leads to intriguing properties of multiplication in $\mathbb{R}_2$, which are examined in a dedicated chapter. In the next section we use the construction of adding to describe the dissection of the triangle into 15 triangles of different sides. In the final two sections, we consider a set of two kinds of vectors, along with a set of points on the line. The set $\mathbb{R}_1= \{\pm =\pm (x,1); x\in\mathbb{R} \}$ describes this set vectors quite well and it is a one-dimensional reduction of the set $\mathbb{R}_2$.

Hölder curves with exotic tangent spaces

2025-09-16T19:25:42Z

An important implication of Rademacher's Differentiation Theorem is that every Lipschitz curve $Γ$ infinitesimally looks like a line at almost all of its points in the sense that at $\mathcal{H}^1$-almost every point of $Γ$, the only tangent to $Γ$ is a straight line through the origin. In this article, we show that, in contrast, the infinitesimal structure of Hölder curves can be much more extreme. First we show that for every $s>1$ there exists a $(1/s)$-Hölder curve $Γ_s$ in a Euclidean space with $\mathcal{H}^s(Γ_s)>0$ such that $\mathcal{H}^s$-almost every point of $Γ_s$ admits infinitely many topologically distinct tangents. Second, we study the tangents of self-similar connected sets (which are canonical examples of Hölder curves) and prove that the curves $Γ_s$ have the additional property that $\mathcal{H}^s$-almost every point of $Γ_s$ admits infinitely many homeomorphically distinct tangents to $Γ_s$ which are not admitted as (not even bi-Lipschitz to) tangents to any self-similar set at typical points.

Euler's explorations of extremal ellipses

2025-09-16T15:24:09Z

In the 1770s, Euler wrote a series of papers (E563, E691 and E692) about finding the ellipse with minimal area or perimeter in the family of all ellipses passing through a fixed set of points. This is a translation of all three papers from the original Latin, together with a commentary which discusses Euler's results and an appendix which addresses a question from E691 which Euler left for others to consider.

Optimization hierarchies for distance-avoiding sets in compact spaces

2025-09-16T12:56:48Z

Witsenhausen's problem asks for the maximum fraction $α_n$ of the $n$-dimensional unit sphere that can be covered by a measurable set containing no pairs of orthogonal points. The best upper bounds for $α_n$ are given by extensions of the Lovász theta number. In this paper, optimization hierarchies based on the Lovász theta number, like the Lasserre hierarchy, are extended to Witsenhausen's problem and similar problems. These hierarchies are shown to converge and are used to compute the best upper bounds for $α_n$ in low dimensions.

Dehn functions: computations, lower bounds, and the quasiisometric rigidity of $\rm{Sol}_5$

2025-09-16T08:49:23Z

We establish distortion estimates in completely solvable Lie groups, using a sublinear bilipschitz retraction constructed by Cornulier, and interpolating between two theorems of Osin. This provides new lower bounds on Dehn functions. Our second main result is the quasiisometric rigidity of $\rm{Sol}_5$ and its lattices. Together with a theorem of Peng, a key tool for the rigidity is the complete list of Dehn functions and dimensions of asymptotic cones of all simply connected solvable Lie groups of exponential growth up to dimension $5$, which we compute using Cornulier and Tessera's results.

Three characterizations of reducedness of spherical convex polygons

2025-09-15T20:28:22Z

Denote by $S^2$ the two-dimensional sphere. A spherical convex body on $S^2$ which does not properly contain a spherical convex body of the same spherical thickness is called a reduced body. We give three characterizations of reducedness of spherical convex odd-gons on $S^2$. Analogous characterizations hold true also in the Euclidean and hyperbolic planes.

Criterion for the absolute continuity of curves in metric spaces

2025-09-15T14:43:23Z

It is proved that a parameterized curve in a metric space $X$ is absolutely continuous if and only if its composition with any Lipschitz function on $X$ is absolutely continuous.