Fit systolic groups, exactly

2026-02-18T14:02:49Z

A systolic complex/bridged graph is fit when its (metric) intervals are "not too large". We prove that uniformly locally finite fit systolic complexes have Yu's Property A. In particular, groups acting properly on such complexes have Property A, (equivalently) they are exact, and (equivalently) they are boundary amenable. As applications we show that groups from a class containing all large-type Artin groups, as well as all finitely presented graphical $C(3)$--$T(6)$ small cancellation groups, and finitely presented classical $C(6)$ small cancellation groups are exact. We also provide further examples. Our proof relies on a combinatorial criterion for Property~A due to Špakula and Wright.

Packings in classical Banach spaces

2026-02-18T10:56:25Z

We obtain several new results on the simultaneous packing and covering constant $γ(\mathcal{X})$ of a Banach space $\mathcal{X}$, and its lattice counterpart $γ^*(\mathcal{X})$. These constants measure how efficient a (lattice) packing by unit balls in $\mathcal{X}$ can be, the optimal case being that $γ(\mathcal{X})= 1$ and the worst that $γ(\mathcal{X})= 2$. Our first main result is that $γ(\mathcal{X})> 1$ whenever $B_\mathcal{X}$ admits a LUR point, which leads us to a negative answer to a question of Swanepoel. We also develop general methods to compute these constants for a large class of spaces. As a sample of our findings: (i) $γ^*(\mathcal{X})= 1$ when $\mathcal{X}$ is a separable octahedral Banach space, or $\mathcal{X}= \mathcal{C}(\mathcal{K})$, where $\mathcal{K}$ is zero-dimensional; (ii) $γ(\ell_p(κ)\oplus_r \mathcal{X})= γ^*(\ell_p(κ)\oplus_r \mathcal{X})= \frac{2}{2^{1/p}}$, whenever $\rm{dens}(\mathcal{X})< κ$ and $1\leq r\leq p< \infty$; (iii) $γ(L_p(μ))= γ^*(L_p(μ))= \frac{2}{2^{1/p}}$ for $1\leq p\leq 2$ and every measure $μ$; (iv) there exist reflexive (resp. octahedral) Banach spaces $\mathcal{X}$ with $γ(\mathcal{X})= 2$. We leave a large area open for further research and we indicate several possible directions.

Cantor sets in higher dimension I: Criterion for stable intersections

2026-02-17T20:21:34Z

We study the geometry of dynamically defined Cantor sets in arbitrary dimensions, introducing a criterion for $\mathcal{C}^{1+α}$ stable intersections of such Cantor sets, under a mild bunching condition. This condition is naturally satisfied for perturbations of conformal Cantor sets and, in particular, always holds in dimension one. Our work extends the celebrated recurrent compact set criterion of Moreira and Yoccoz for stable intersection of Cantor sets in the real line to higher-dimensional spaces. Based on this criterion, we develop a method for constructing explicit examples of stably intersecting Cantor sets in any dimension. This construction operates in the most fragile and critical regimes, where the Hausdorff dimension of one of the Cantor sets is arbitrarily small and both Cantor sets are nearly homothetical. All results and examples are provided in both real and complex settings.

Solving Dirichlet problem on unbounded uniform domains by using sphericalization techniques

2026-02-17T16:33:18Z

Within the setting of metric spaces equipped with a doubling measure and supporting a $p$-Poincaré inequality, establishing existence of solutions to Dirichlet problem in a bounded domain in such a metric space is accomplished via direct methods of calculus of variation and the use of a Maz'ya type inequality, which is a consequence of the Poincaré inequality. However, when the domain and its boundary are unbounded, such a method is unavailable. In this paper, using the technique of sphericalization developed in the prior paper~[32], we establish the existence of solutions to the Dirichlet boundary value problem for $p$-harmonic functions in unbounded uniform domains with unbounded boundary when $1

Urysohn Width and Surgeries

2026-02-17T13:26:01Z

We analyze the behavior of Urysohn width of manifolds under a connected sum operation, specifically, bounding widths of summands in terms of widths of the sum and vice versa. Our methods also apply to the universal covers of these spaces, and to more general type of surgeries. Lastly, we provide examples that show the optimality of constants in our estimates.

Novel distance-based masking and adaptive alpha-shape methods for CNN-ready reconstruction of arbitrary 2D CFD flow domains

2026-02-17T12:34:45Z

Interpolating scattered CFD datasets onto a uniform Cartesian grid can distort the true geometry, producing a convex-hull type envelope and activating nonphysical regions. This work presents a reconstruction framework that recovers physically consistent masks before exporting CNN-ready fields. It introduces two novel strategies, distance-based masking and an adaptive alpha-shape formulation that normalizes alpha using local data resolution, and evaluates them against classical alpha-shape boundary recovery. A quantitative, topology-aware metric suite is introduced to assess retention, suppression of unsupported regions, overlap consistency, and connectivity. The novel distance-based method is robust across the geometries considered under the same threshold rule, with tau set to the minimum CFD grid spacing, and achieves 500-800 times speedups over classical alpha-shapes. The adaptive alpha-shape remains stable when its control parameter is set to 1 and is 1.7-2.6 times faster than the classical variant, which requires geometry-specific alpha tuning. A lightweight boundary inflation post-process using a minimal dilation further improves retention by up to 2.96% with negligible unsupported activation (less than 0.08%). Overall, the distance-based method is recommended as the default due to its accuracy, stability, minimal tuning, and low cost, while the adaptive alpha-shape is a strong alternative when grid-spacing information for threshold selection is unavailable. A companion web application operationalizes the workflow end to end, enabling 2D ASCII dataset upload, parameter tuning, mask and boundary generation, and export of CNN-ready outputs.

Mazur-Ulam Theorem With Gromov-Hausdorff Distance

2026-02-17T11:58:15Z

It is shown that two Banach spaces are linearly isometric if and only if the Gromov--Hausdorff distance between them is finite, in particular, zero. The proof is compilative and relies on results obtained by many researchers on the approximability of almost-surjective almost-isometries by linear surjective isometries. In the finite-dimensional case, previously obtained by I.~Mikhailov, a simpler proof under weaker assumptions is given. In the finite-dimensional case, a criterion for isometry in terms of finite (compact) subsets is also given.

From Blaschke--Santaló-type inequalities to uniform contractions

2026-02-17T04:39:17Z

In this short note, we establish Blaschke--Santaló-type inequalities for $r$-ball bodies. Building on these inequalities, we somewhat further extend earlier results on analogues of the Kneser--Poulsen conjecture concerning intersections of balls under uniform contractions in Euclidean $d$-space. As an immediate corollary, we obtain a proof of Alexander's conjecture for uniform contractions.

On basic $r$-ball polyhedra

2026-02-17T04:25:30Z

This note introduces the class of basic $r$-ball polyhedra in the $d$-dimensional Euclidean space $\mathbb{E}^{d}$ for $d>1$ and $r>0$. We investigate their face structure and, for given integers $0\leq i\leq d-1$, $n\geq d+1\geq 3$ determine the maximal number of $i$-dimensional faces among all basic $r$-ball polyhedra in $\mathbb{E}^{d}$ with $n$ facets. In addition, we establish that for $d>2$, every basic $r$-ball polyhedron is globally rigid with respect to its inner dihedral angles.

Regularity of Einstein 5-manifolds via 4-dimensional gap theorems

2026-02-16T17:48:53Z

We refine the regularity of noncollapsed limits of 5-dimensional manifolds with bounded Ricci curvature. In particular, for noncollapsed limits of Einstein 5-manifolds, we prove that (1) tangent cones are unique of the form $\mathbb{R}\times\mathbb{R}^4/Γ$ on the top stratum, hence outside a countable set of points; this follows from a new isolation result for cones of the form $\mathbb{R}\times\mathbb{R}^4/Γ$ among all tangent cones, (2) the singular set is entirely contained in a countable union of Lipschitz curves and points, (3) away from a nowhere dense subset, these Lipschitz curves consist of smooth geodesics, (4) the interior of any geodesic is removable: limits of Einstein manifolds are real-analytic orbifolds with singularities along geodesic and bounded curvature away from their extreme points, and (5) if an asymptotically Ricci-flat 5-manifold with Euclidean volume growth has one tangent cone at infinity that splits off a line, then it is the unique tangent cone at infinity. These results prompt the question of the orbifold regularity of noncollapsed limits of Einstein manifolds off a codimension 5 set in arbitrary dimension. The proofs rely on a new result of independent interest: all spherical and hyperbolic 4-orbifolds are isolated among Einstein 4-orbifolds in the Gromov-Hausdorff sense. This yields various gap theorems for Einstein 4-orbifolds, which do not extend to higher dimensions. The proofs of these gap theorems require a careful analysis of singular metrics and families of metrics that degenerate.

Large Deviations Principle for Isoperimetry and Its Equivalence to Nonlinear Log-Sobolev Inequalities

2026-02-16T16:11:52Z

The isoperimetric problem is a classic topic in geometric measure theory, yet critical questions regarding the characterization of optimal solutions -- even asymptotically optimal ones -- remain largely unresolved. In this paper, we investigate the large deviations asymptotics for the isoperimetric problem on the product Riemannian manifold $M^{n}$ endowed with the product probability measure $ν^{\otimes n}$, where $(M,ν)$ is a weighted Riemannian manifold with nonnegative Bakry--Émery--Ricci curvature. We establish an exact characterization of the large deviations asymptotics of the isoperimetric profile, which reveals a precise equivalence between this asymptotic isoperimetric inequality and the nonlinear log-Sobolev inequality. It is observed that conditional typical sets, a fundamental concept from information theory, form an asymptotically optimal solution to the isoperimetric problem. This class of subsets further yields an upper bound on the isoperimetric profile in the central limit regime. Although our results are stated for product spaces, they imply certain isoperimetric inequalities for non-product spaces, e.g., they can be used to recover the weaker equivalence established by Ledoux and Bobkov for arbitrary non-product spaces or used to establish quantitative relations among the optimal constants in isoperimetric, concentration and transport inequalities for product or non-product spaces. Our results provide a rigorous justification from the perspective of nonlinear log-Sobolev inequalities for why isoperimetric minimizers behave fundamentally differently across spaces with distinct geometric structures. Our proof idea is a new framework which integrates tools from information theory, optimal transport, and geometric measure theory.

Lower Estimates for $L_1$-Distortion of Transportation Cost Spaces

2026-02-16T15:49:06Z

Quantifying the degree of dissimilarity between two probability distributions on a finite metric space is a fundamental task in Computer Science and Computer Vision. A natural dissimilarity measure based on optimal transport is the Earth Mover's Distance (EMD). A key technique for analyzing this metric, pioneered by Charikar (2002) and Indyk and Thaper (2003), involves constructing low-distortion embeddings of EMD(X) into the Lebesgue space $L_1$. It became a key problem to investigate whether the upper bound of $O(\log n)$ can be improved for important classes of metric spaces known to admit low-distortion embeddings into $L_1$. In the context of Computer Vision, grid graphs, especially planar grids, are among the most fundamental. Indyk posed the related problem of estimating the $L_1$-distortion of the space of uniform distributions on $n$-point subsets of $R^2$. The Progress Report, last updated in August 2011, highlighted two key results: first, the work of Khot and Naor (2006) on Hamming cubes, which showed that the $L_1$-distortion for Hamming cubes meets the described above upper estimate, and second, the result of Naor and Schechtman (2007) for planar grids, which established that the $L_1$-distortion of for a planar $n$ by $n$ grid is $Ω(\sqrt{\log n})$. Our first result is the improvement of the lower bound on the $L_1$-distortion for grids to $Ω(\log n)$, matching the universal upper bound up to multiplicative constants. The key ingredient allowing us to obtain these sharp estimates is a new Sobolev-type inequality for scalar-valued functions on the grid graphs. Our method is also applicable to many recursive families of graphs, such as diamond and Laakso graphs. We obtain the sharp distortion estimates of $\log n$ in these cases as well.

On the Log-Sobolev Constant of Log-Concave Vectors

2026-02-16T15:48:38Z

It is well known that if a random vector satisfies a log-Sobolev inequality, all of its marginals have subgaussian tails. In the spirit of the KLS conjecture, we investigate whether this implication can be reversed under a log-concavity assumption. In the general setting, we improve on a result of Bobkov, establishing the best dimension dependent bound on the log-Sobolev constant of subgaussian log-concave measures, and we investigate some special cases.

John-type decompositions for affinely-optimal positions of convex bodies

2026-02-16T15:45:39Z

Many classical problems in convex geometry can be cast as optimization problems under certain containment conditions. The arguably best-understood example is volume-maximization of convex bodies contained in other convex bodies, where the John decomposition describes$\unicode{x2014}$and in the Euclidean case fully characterizes$\unicode{x2014}$the optimal positions. For many other such problems, however, no general optimality conditions are known. To address this, we generalize an approach of O. B. Ader to obtain a John-type decomposition as a necessary condition for affinely-optimal containment chains, i.e., chains $r L_1 + c \subseteq K \subseteq R L_2 + d$ for convex bodies $K, L_1, L_2 \subseteq \mathbb{R}^n$, translation vectors $c,d \in \mathbb{R}^n$, and reals $r,R > 0$ such that the ratio $\frac{R}{r}$ cannot be decreased by linearly transforming $K$. We again obtain sufficiency for optimality when ellipsoids are involved, and show how optimality conditions for various problems follow from our result. Our main applications concern the Banach-Mazur distance, where we provide necessary optimality conditions in the general case and a full characterization in the Euclidean case. Finally, we derive several consequences of these optimality conditions related to the Banach-Mazur distance to the Euclidean ball.

Gel'fand's inverse problem under Ricci curvature bounds

2026-02-16T07:21:58Z

The classical Gel'fand's inverse problem asks whether a Riemannian manifold is uniquely determined by the knowledge of the heat kernel on any open subset of the manifold. We study this inverse problem in the non-smooth setting in the framework of ${\rm RCD}(K,N)$ spaces, namely, metric-measure spaces with synthetic Riemannian Ricci curvature bounded below by $K$ and dimension bounded above by $N$. We establish the unique solvability of Gel'fand's inverse problem for the class of compact ${\rm RCD}(K,N)$ spaces whose regular set admits $C^1$-Riemannian structure. As an application, we obtain the stability of Gel'fand's inverse problem in the class of closed Riemannian manifolds with bounded Ricci curvature, diameter and volume bounded from below. We note that the results are new even for Einstein orbifolds and (weighted) Riemannian manifolds with non-smooth boundary.