Coarse geometry of stable mixed commutator length I: duality and functional analysis on chains

2026-05-19T13:37:54Z

Let $G$ be a group and $N$ its normal subgroup. On the mixed commutator subgroup $[G,N]$, the mixed stable commutator length $\mathrm{scl}_{G,N}$ and the restriction of the ordinary stable commutator length $\mathrm{scl}_{G}$ are defined. We characterize when they are bi-Lipschitz equivalent by the vanishing of a certain $\mathbb{R}$-linear space $\mathrm{W}(G,N)$ related to invariant quasimorphisms. For the proof, we obtain a refined version of the generalized mixed Bavard duality theorem, and perform functional analysis on the completion of a certain space of $1$-chains.

Contractibility of the space of $\varepsilon$-nets in $\mathbb{R}$

2026-05-19T11:12:28Z

In this note, we show that the space of all $\varepsilon$-nets in the real line $\mathbb{R}$ with a natural metric, equipped with either Hausdorff or Gromov--Hausdorff distance, is contractible.

Lorentzian coarea inequality

2026-05-19T09:12:35Z

In this article, we introduce the notion of locally uniformly d-controlling map between Lorentzian pre-length spaces which is preserving the diameters of causal diamonds, and through that we establish the coarea inequality for Lorentzian Hausdorff measure which is introduced by McCann and Sämann. Besides that we get a covering lemma for subsets in a Lorentzian pre-length space with a new local assumption named the local causal enlargement property, which enables us to enlarge causal diamonds.

Chebyshev centers and radius of the set of permutons

2026-05-19T08:32:22Z

We study the metric geometry of the set of permutons under the rectangular distance $d_{\square}$. We determine the Chebyshev radius to be 1/4 and characterize all Chebyshev centers: a permuton is a center if and only if it is 1/2- periodic in each coordinate. We also describe permutons that attain the extremal distance 1/4 from a given center.

Additive Kinematic Formulas for Functional Minkowski Vectors

2026-05-19T08:31:58Z

We establish an additive kinematic formula for the functional Minkowski vectors using mixed Monge-Ampère measures. These vectors, recently introduced and characterized by the author and F. Mussnig, form a natural family of vector-valued valuations on the space of convex functions. This result represents the first integral geometric application of this characterization.

A Scaling-Parameter Framework for Perimeter and Area in Self-Similar Planar Fractals

2026-05-18T21:28:53Z

The Koch snowflake is a classical example of a planar curve with infinite perimeter enclosing a finite, positive area. Although such examples are well known individually, classical treatments typically analyze each construction in isolation and classify them by similarity dimension. This paper develops a unified parameter-space representation for a class of self-similar planar constructions, organized by two integers -- the number of self-similar pieces $N$ and the inverse linear scale factor $r$ -- together with two derived growth ratios $α= N/r$ and $β= N/r^2$, governing perimeter and area scaling respectively. The $(N,r)$ parameter space is partitioned into three regimes -- $N \le r$, $r < N < r^2$, and $N \ge r^2$ -- corresponding to qualitatively distinct asymptotic behaviors of perimeter and area jointly. Within the intermediate regime $r < N < r^2$, a construction-class refinement distinguishes additive constructions (region bounded by the iterated curve), which yield positive finite asymptotic area under a stated non-overlap assumption, from subtractive constructions (iterated set itself), which yield zero asymptotic area. This records a structural non-equivalence inside the same dimension class that is not visible from $D = \log N / \log r$ alone. Four worked examples illustrate the framework -- the Sierpinski triangle, Sierpinski carpet, Koch snowflake, and a Koch-style construction on a square invented by the author -- and four further constructions are analyzed predictively to demonstrate that diagnostic outputs follow from $(N, r, \text{construction class})$ without re-derivation. The contribution lies in formulation and synthesis: the paper consolidates several classical results into a single diagnostic representation in which, given $(N, r)$ and construction class, the asymptotic behavior of perimeter and area can be inferred directly.

Reducing the upper bound for the Borsuk number in $\mathbb{R}^4$ to 8

2026-05-18T19:50:27Z

The Borsuk number $b(n)$ of $n$-dimensional Euclidean space $\mathbb{R}^n$ is the smallest integer such that any set $F \subset \mathbb{R}^n$ of unit diameter can be partitioned into $b(n)$ subsets of strictly smaller diameter. For $n=4$, the best known upper bound $b(4) \leq 9$ follows from a construction by M. Lassak (1982). In the present paper, we construct partitions of several variants of the truncated Lassak cover into 8 parts of diameter less than 1, thereby showing that $b(4) \leq 8$.

Observing rurality of a geographical area from road graph geometry -- a qualitative study

2026-05-18T19:13:58Z

In this paper we analyze the Finnish road network as a graph in order to measure whether the "rurality" or "urbanity" of an area correlates with local geometrical properties of the graph. Our primary motivation is the observation that the road systems in rural areas look similar to hyperbolic graphs, while in large cities they resemble more the Cayley graph of $\mathbb{Z}^2$. We do not aim for a comprehensive analysis, but rather wish to demonstrate that this observation can be measured and analyzed through looking at various "hyperbolicity measures" of randomly sampled geodesic triangles in the road graph.

Stable systolic inequalities via mod n covering

2026-05-18T16:25:57Z

We introduce a mod $n$ covering based approach to stable systolic inequalities. The idea is to prescribe a cohomology class mod $n$ which forces the desired cup product or index to be nonzero, and then find a short integral lift of that class. The method is especially effective in rank two as we can compute the covering constant. As a curvature free application, we improve the stable two systolic bound for $S^2\times S^2$ to $2$. The same bound holds for every oriented four manifold with $b_2=2$. Under a positive scalar curvature lower bound, the mod $n$ covering method combined with a sharp cowaist inequality for line bundles gives stable two systolic bounds. This gives the sharp stable two systolic inequality for odd complex projective spaces and an $O(m\log m)$ bound for $(S^2)^m$ when scalar curvature is at least $2m$. For $S^2\times S^2$ one gets that every metric with scalar curvature at least $4$ has stable two systole at most $8π$.

On colorful generalizations of the Goodman--Pollack transversal problem

2026-05-18T09:57:50Z

We establish a colorful and, more generally, matroidal solution to the problem of Goodman and Pollack on the existence of an $\mathbb{F}$-affine $k$-dimensional transversal to a family of convex sets in $\mathbb{F}^d$, where $0 \le k \le d - 1$ is an integer and $\mathbb{F} \in \{\mathbb{R}, \mathbb{C}\}$ is a field. Our results unify several classical and recent theorems. In the case $k=0$, we recover the colorful Helly theorem of Lovász, together with a matroidal extension due to Kalai and Meshulam. In the opposite extremal case $k=d-1$, we obtain Holmsen's colorful and matroidal generalization of the Goodman-Pollack-Wenger theorem. Additionally, we extend the recent noncolorful solution of the Goodman-Pollack problem by McGinnis and the author. As the main application, we obtain a matroidal and colorful Dol'nikov-type transversal theorem. Our methods are topological. We introduce matroidal joins, defined as homotopy colimits of diagrams over face posets of matroidal complexes, and derive estimates on their connectivity. The proof additionally relies on adaptations of nonexistence results for equivariant maps from Stiefel manifolds to spheres.

Spectral Bounds for Antipodal Graphs

2026-05-18T06:23:40Z

Suppose $\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^2$ is a set of $n$ points in the plane with diameter $\leq 1$, meaning $|x_i - x_j| \leq 1$ for all $1 \leq i,j \leq n$. We show that the ratio of the number of ``neighbors'' (ordered pairs of points with distance $\leq \varepsilon$) to the number of ``antipodes'' (ordered pairs of points with distance $\geq 1 - \varepsilon$) is $\gtrsim\varepsilon^{1/2 + o(1)}$, attaining the conjectured correct asymptotic within a polylog factor and improving the $\gtrsim\varepsilon^{3/4+o(1)}$ bound of Steinerberger (2025). In dimensions $d\ge3$ we prove a similar result with exponent $\min\left\{d-3/2,\ 3(d - 1)/4\right\}$.

Geometric properties of the golden ration Thompson's group

2026-05-18T03:41:03Z

We show that all three golden ratio Thompson's groups $F_τ$, $T_τ$ and $V_τ$ embed in the asynchronous rational group. We prove properties of the Cayley graph of the monoid $M = \langle L, R : LR^2 = RL^2 \rangle$, whose topological full group is $V_τ$. In particular, we compute a distance function for the Cayley graph of the monoid $M$. Additionally, we prove that this Cayley graph is hyperbolic in the sense of Gromov. Our analysis reveals that the horofunction boundary of this graph is homeomorphic to a space resembling a Cantor-like set, with additional isolated points situated between each pair of breakpoints.

Blaschke operations on log-concave functions and affine isoperimetric inequalities

2026-05-17T23:01:40Z

We introduce Blaschke addition and homothety operations on log-concave functions and study their affine-geometric consequences. Our starting point is the first variation formula of Falah and Rotem (Calc. Var. and PDE, 2026), which associates to each log-concave function a pair of surface area measures. Using the additivity of these measures, we define a canonical Blaschke sum and Blaschke homothety on the class of log-concave functions, uniquely determined up to translation. We establish the basic algebraic properties of these operations, define the associated Blaschke symmetral, and show that this symmetrization preserves both total mass and the first quermassintegral. We also prove that successive Blaschke symmetrizations converge, after translations, to a radially symmetric log-concave function, which we call the mean Blaschke symmetral. We then relate the canonical theory to projection-type constructions. In particular, we show that the functional projection body arising from the first variation coincides with the projection body of the asymmetric LYZ body, and we derive corresponding intertwining properties. As applications, we prove concavity of the entropy with respect to the canonical Blaschke sum and obtain associated Kneser--Süss-type inequalities. We also study a functional version of affine surface area, and prove affine isoperimetric inequalities for log-concave functions. In particular, we obtain a Blaschke-concavity property for the affine surface area and show that it is maximized, under fixed first quermassintegral, by radially symmetric functions.

On singular integrals with non-negative kernels in the Heisenberg group

2026-05-17T22:41:12Z

In this paper we revisit nonnegative kernels in the first Heisenberg group $\He$, and in particular we further study the family $$K_α(x,y,z)= \frac{|z|^{α/2}}{\|(x,y,z)\|_{H}^{α+1}}, \quad α>0,$$ which was introduced in \cite{CL}. We first show that if $E \subset \He$ is a $1$-Ahlfors regular set and the SIO associated with the kernel $K_4$ is $L^2(E)$-bounded, then $E$ is contained in a $1$-Ahlfors regular curve. Combined with the converse implication which was obtained by Fässler and Orponen in \cite{FO1dim}, our result provides a characterization of uniform $1$-rectifiability in the Heisenberg group via the $L^2$-boundedness of a singular integral. We also give a negative answer to a question of Fässler and Orponen from \cite{FO1dim} by showing that for any $α\in (0,2)$ there exists a $1$-Ahlfors regular curve $E_a$ such that the operators associated with the kernels $K_α$ are not bounded in $L^2(E_α)$. We finally show that there exists a $1$-Ahlfors regular and purely $1$-unrectifiable set $E$ such that the singular integral associated with $|x| \|(x,y,z)\|^{-2}$ is $L^2(E)$ -bounded.

Closed polylines with fixed self-intersection index

2026-05-17T21:35:13Z

We investigate the existence of closed polylines (also known as closed polygonal chains or self-crossing polygons) that intersect each of their edges the same number of times. The most general question in this corner of combinatorial geometry asks for all pairs $(n, k)$ such that there exists a closed polyline with $n$ edges, each intersecting the same polyline exactly $k$ times. For $k = 1$ and $k = 2$, this is a very simple question answered several decades ago. In this article, we present a complete solution for $k = 3, 4, 6$, as well as the proof of some non-existence theorems. In conclusion, we show that, for an arbitrary positive integer $k$, a polyline of the required type exists for any sufficiently large integer $n$ such that $nk$ is even.