Planar Bilipschitz Extension from Separated Nets

2026-03-19T14:55:29Z

We prove that every $L$-bilipschitz mapping $\mathbb{Z}^2\to\mathbb{R}^2$ can be extended to a $C(L)$-bilipschitz mapping $\mathbb{R}^2\to\mathbb{R}^2$ and provide a polynomial upper bound for $C(L)$. Moreover, we extend the result to every separated net in $\mathbb{R}^2$ instead of $\mathbb{Z}^2$, with the upper bound gaining a polynomial dependence on the separation and net constants associated to the given separated net. This answers an Oberwolfach question of Navas from 2015 and is also a positive solution of the two-dimensional form of a decades old open (in all dimensions at least two) problem due to Alestalo, Trotsenko and Väisälä.

Extending Bilipschitz Mappings between Separated Nets

2026-03-19T14:41:35Z

We provide a new characterisation of the decades old open problem of extending bilipschitz mappings given on a Euclidean separated net. In particular, this allows for the complete positive solution of the open problem in dimension two. Along the way, we develop a set of tools for bilipschitz extensions of mappings between subsets of Euclidean spaces.

Tropical Fréchet Means: a polyhedral approach to exact optimization

2026-03-19T10:49:43Z

The Fréchet mean is a fundamental notion of central tendency defined as a minimizer of a sum of squared distances in a general metric space. In this paper, we study Fréchet means in tropical geometry -- a piecewise linear, combinatorial, and polyhedral variant of algebraic geometry -- by formulating and solving the associated tropical quadratic optimization problem. We give a geometric characterization of the collection of all tropical Fréchet means as a bounded set that is simultaneously tropically and classically convex, hence a polytrope. We establish the existence of positivity certificates for maxima of finitely many quadratic polynomials in $\mathbb{R}[x_1,\ldots,x_n]$ whose homogeneous quadratic components are sums of squares, which provides a symbolic framework for exact optimization. Using this structure, we develop algorithms for computing tropical Fréchet means and the associated Fréchet mean polytrope. We further describe a combinatorial type decomposition of the objective function induced by braid arrangements, yielding a piecewise quadratic representation and a fully symbolic method for exact computation.

Proof of the Generalization of the Sawayama-Thébault Theorem

2026-03-19T09:16:41Z

We prove two conjectures posed in 2016 concerning a generalization of the Sawayama-Thébault Theorem and the Sawayama Lemma. We show that this generalized statement can be viewed in Laguerre geometry, which provides a natural framework for resolving the problem.

Continuity of Magnitude at Skew Finite Subsets of $\ell_1^N$

2026-03-19T00:54:32Z

Magnitude is an isometric invariant of metric spaces introduced by Leinster. Although magnitude is nowhere continuous on the Gromov-Hausdorff space of finite metric spaces, continuity results are possible if we restrict the ambient space. In this paper, we focus on $\ell_1^N$ and prove that magnitude is continuous at every skew finite subset of $\ell_1^N$, that is, at every finite set whose coordinate projections are injective. For such sets, we analyze cubical thickenings and derive an explicit formula for their weight measures. This yields a formula for the magnitude of these thickenings, which we use to prove that their magnitude converges to that of the underlying finite set. Since skew finite subsets of $\ell_1^N$ form an open and dense subset of the space of all finite subsets, magnitude is continuous on an open dense subset of the space of finite subsets of $\ell_1^N$.

Exact Banach-Mazur distances of certain $\ell_p$-sums and cones

2026-03-18T20:41:37Z

We determine certain Banach-Mazur distances involving $\ell_p$-direct sums of finite-dimensional real normed spaces and related cone constructions of convex bodies. Using a recent characterization of the optimal Banach-Mazur position with respect to the Euclidean ball, we derive a closed formula for the distance from $X_1 \oplus_p \cdots \oplus_p X_k$ to Euclidean space in terms of the distances of the spaces $X_i$ to Euclidean space. For $p = 1$ we show that if $d_{BM}(X,\ell_1^n) \leq 3$, then $d_{BM}(X \oplus_1 \ell_1^m, \ell_1^{n+m}) = d_{BM}(X,\ell_1^n)$. Interpreting $\ell_1$-sums geometrically as double cones motivates a study of single cones over arbitrary convex bases, for which we establish an analogous result with the simplex replacing $\ell_1$. We further show that in dimension $3$ the distance between single cones with symmetric bases equals the distance between the bases, and that the same equality holds for double cones over planar symmetric bases in arbitrary dimension, under an additional assumption on the distance of the bases to $\ell_1^2$. As consequences, we obtain an explicit isometric embedding of the $2$-dimensional symmetric Banach-Mazur compactum into the $3$-dimensional (non-symmetric) compactum and lift a recent construction of arbitrarily large equilateral sets in the $2$-dimensional symmetric compactum to all higher dimensions.

Coarse separation and splittings in hyperbolic groups

2026-03-18T15:42:20Z

We study coarse separation in one-ended hyperbolic groups from a quantitative point of view, focusing on the volume growth of separating subsets. We prove that a one-ended hyperbolic group that is not virtually a surface group is coarsely separable by a subset of subexponential growth if and only if it splits over a virtually cyclic subgroup. To do so, we show that sufficiently large thickened spheres are hard to cut, in the sense that their cut-sets have exponential size, a result of independent interest. As an application, we obtain a polynomial lower bound on the separation profile of one-ended hyperbolic groups that do not split over a two-ended subgroup. We also apply our criterion to graph products of finite groups, giving a combinatorial characterisation of when such graph products are coarsely separable by a subset of subexponential growth.

Quantitative harmonic approximations and Dorronsoro's Theorem in metric measure spaces

2026-03-18T10:57:12Z

Suppose $X$ is an $\rm{RCD}(K,N)$ space with $K \in \mathbb{R}$ and $N \in (1,\infty)$. We obtain a characterisation of the Newtonian-Sobolev space $N^{1,2}(X)$ in terms of a quantity which measures to what extent a function is locally (across all scales and locations) well-approximated by harmonic functions. A similar characterisation is obtained which further takes into account the local oscillations of the approximating harmonic functions. The first characterisation is new even when $X = \mathbb{R}^n$; the second characterisation is a version of Dorronsoro's Theorem in RCD spaces and gives a new proof of (a special case) of this theorem in Euclidean space.

Fractional $p$-Laplacians via Neumann problems in unbounded metric measure spaces

2026-03-18T01:16:06Z

We prove well-posedness, Harnack inequality and sharp regularity of solutions to a fractional $p$-Laplace non-homogeneous equation $(-Δ_p)^su =f$, with $0

Area of intrinsic graphs in homogeneous groups

2026-03-17T19:25:36Z

We establish an area formula for the spherical measure of intrinsic graphs of any codimension in homogeneous groups. Our approach relies on the assumption that the map defining the intrinsic graph is continuously intrinsically differentiable. The main novelty is a notion of Jacobian defined using an auxiliary scalar product.

Irreducible representations of tree automorphism groups into Pontryagin spaces

2026-03-17T16:36:24Z

Let G = Aut(T) be the automorphism group of a regular tree T. We study continuous irreducible representations of G that preserve a continuous strongly nondegenerate sesquilinear form of finite index on a Hilbert space. These are already classified for index 0 (unitary case) and for index 1. We show that there are no more representations for index > 1, which completes the classification.

A Complete Graphic Statics for Rigid-Jointed 3D Frames. Part 3: Loops for Kinematics

2026-03-17T13:15:07Z

In Part 3 of this sequence of papers, the kinematic behaviour of 3D frame structures is described using the loop formalism that was developed in Part 2 to describe equilibrium. There, the notions of polygons, polyhedra and polytopes that form the geometric toolbox underlying graphic statics were replaced by the more general concept of CW-complexes from algebraic homology. The six components of the stress resultant acting on any cut face of a bar in a rigidly-jointed framework were represented by the oriented bivector areas of the six projections of a loop in a 4D-space, with three components representing the force and three components representing the moment. In this paper, projected areas of loops in 4D will represent kinematic variables, with three projected areas representing the displacement of a point on the frame, and three other projected areas representing the rotation of the structure at that point. The 4D setting for the theory consists of the usual three dimensions of physical space together with a fourth dimension for the stress function. Virtual Work then manifests as a top form (an oriented 4-volume) in this 4D setting, being the integral over the structure of the wedge product of bivectors representing the local equilibrium and kinematic variables.

Random Polyhedral Cones I: Distributional Results via Gale Duality

2026-03-17T12:03:33Z

Let $U_1,\ldots,U_n$ be independent random vectors uniformly distributed on the unit sphere $\mathbb S^{d-1}\subseteq\mathbb R^d$, where $n\ge d$, and consider the random polyhedral cone \[ \mathcal W_{n,d}:=\mathop{\mathrm{pos}} (U_1,\ldots,U_n) = \{λ_1 U_1+ \ldots + λ_n U_n: λ_1\geq 0, \ldots, λ_n \geq 0\}. \] We establish several distributional results for $\mathcal W_{n,d}$ and the associated spherical polytope $\mathcal W_{n,d}\cap\mathbb S^{d-1}$. Our main contributions include: (i) Let $α_d$ denote the solid angle of $\mathcal W_{d,d}$ and write $m(d,k):=\mathbb E[α_d^k]$ for its $k$-th moment. We prove the symmetry $m(d,k)=m(k,d)$. As an application, we compute $\mathop{\mathrm{Var}}[α_d]=2^{-d}(d+1)^{-1}-4^{-d}$ and derive a closed formula for the third moment. (ii) For $n=d+1,d+2,d+3$ we determine the probability that $\mathcal W_{n,d}\cap\mathbb S^{d-1}$ is a spherical simplex, a spherical analogue of the classical Sylvester problem. In the case $n=d+2$ we also determine the distribution of the number of vertices of $\mathcal W_{d+2,d}\cap\mathbb S^{d-1}$. (iii) Let $f_\ell(\mathcal W_{n,d})$ denote the number of $\ell$-dimensional faces of $\mathcal W_{n,d}$. We prove a distributional limit theorem for $f_\ell(\mathcal W_{n,d})$ in the regime $n=d+k$ and $\ell=d-q$, where $k,q\in\mathbb N$ are fixed and $d\to\infty$. The limit law is a weighted sum of independent chi squared variables, with weights given by explicit eigenvalues of a convolution operator on the sphere. A unifying ingredient is an explicit coupling producing i.i.d. uniform vectors $U_1,\ldots,U_n\in\mathbb S^{d-1}$ together with i.i.d. uniform vectors $V_1,\ldots,V_n\in\mathbb S^{n-d-1}$ whose associated oriented matroids are Gale dual.

Polytopes with large transversal ratio

2026-03-17T09:35:04Z

The transversal ratio of a polytope $P$ is the minimum proportion of vertices of $P$ required to intersect each facet of $P$. The weak chromatic number of $P$ is the minimum number of colors required to color the vertices of $P$ so that no facet is monochromatic. We will construct an infinite family of $d$-polytopes for each $d\geq 5$ whose transversal ratio approaches 1 as the number of vertices grows. In particular, this implies that the weak chromatic number for $d$-polytopes is unbounded for each $d\geq 5$. The previous best known lower bounds on the supremum of the transversal ratio for $d$-polytopes for $d\geq 5$ were 2/5 for odd $d$ by Novik and Zheng, and 1/2 for even $d$ by Holmsen, Pach, and Tverberg. In the case of simplicial $(d-1)$-spheres, the best known lower bounds were 1/2 for $d=5$ and $6/11$ for $d=6$ by Novik and Zheng.

Two new universal inequalities for Neumann eigenvalues of the Laplacian on a planar convex domain

2026-03-17T05:23:20Z

We establish two new universal inequalities for Neumann eigenvalues of the Laplacian on a planar convex domain.