The $L_{p}$ Dual Minkowski Problem for Group-Invariant Convex Bodies

2025-11-16T15:10:28Z

In this paper, we study the $L_p$ dual Minkowski problem for all $q, p \in \mathbb{R}$ from an algebraic perspective. We establish the existence of solutions for group-invariant convex bodies (not necessarily origin-symmetric), thereby covering three fundamental problems as special cases: the $L_p$ Minkowski problem ($q = n$), the $L_p$ Aleksandrov problem ($q = 0$), and the dual Minkowski problem ($p = 0$).

Borsuk's conjecture for two-distance sets and its equivalent formulation for graphs

2025-11-15T19:08:22Z

Every graph G can be embedded in a Euclidean space as a two-distance set. This allows us to reformulate the analogue of Borsuk's conjecture for two-distance sets in terms of graphs. This conjecture remains open for dimensions from 4 to 63. This short note also discusses an approach for finding counterexamples using graphs, as well as its generalization for s-distance sets.

$\varepsilon$-neighbourhoods in the Plane with a Nowhere-smooth Boundary

2025-11-15T11:02:54Z

We give an example of a planar set $E\subset \mathbb{R}^2$ for which the boundary $\partial E_\varepsilon$ of its $\varepsilon$-neighbourhood $E_\varepsilon = \{x \in \mathbb{R}^2 \, : \, \textrm{dist}(x, E) \leq \varepsilon \}$ is nowhere $C^1$-smooth, in the sense that the set of singularities on the boundary is countably dense (where we note that the latter set cannot be uncountable). Furthermore, we give an example of a planar set $E$ for which $\partial E_\varepsilon$ has the same properties as above, but in addition contains an uncountable subset, with non-integer Hausdorff dimension, where curvature is not defined. Both constructions make use of a characterisation of those star-shaped sets that are an $\varepsilon$-neighbourhood of one of their subsets.

Weyl law for 1-cycles

2025-11-15T03:06:19Z

We prove the Weyl law for the volume spectrum for $1$-cycles in $n$-dimensional manifolds which was conjectured by Gromov. We follow the strategy of Guth and Liokumovich of obtaining the Weyl law from parametric versions of the coarea inequality and the isoperimetric inequality. A version of the later for families of $0$-cycles is shown in this article. We also obtain approximation results by $δ$-localized families, which are used to prove the parametric inequalities.

Parametric Coarea Inequality for 1-cycles

2025-11-15T03:01:02Z

We prove the Parametric Coarea Inequality for $1$-cycles conjectured by Guth and Liokumovich.

A solution to Bezdek's conjecture

2025-11-14T22:11:07Z

For a given $λ>0$, a convex body in $\mathbb R^n$ is $λ$-convex if it is the intersection of (finitely or infinitely many) balls of radius $1/λ$. In this note, we show that among all $λ$-convex bodies in $\mathbb R^n$, $n \geqslant 2$, with a given inradius, the $λ$-convex lens (i.e., the intersection of two balls of radius $1/λ$) has the largest mean width. This gives an affirmative answer to the conjecture of K. Bezdek. Under an additional symmetry assumption on $λ$-convex bodies, we resolve the analogous inradius conjecture of Bezdek for arbitrary intrinsic volumes. We also establish an answer to the corresponding conjecture of K. Bezdek about the circumradius. In particular, we prove that the $λ$-convex spindle (i.e., the intersection of all balls of radius $1/λ$ containing a given pair of points) is the unique minimizer of the mean width among all $λ$-convex bodies with a fixed circumradius.

Spectral Growth in $W(E_{10})$: Double Coset Filtration and Hilbert Geometry

2025-11-14T17:55:17Z

We study the spectral radii of elements in the hyperbolic Coxeter group $W(E_{10})$ by introducing a filtration indexed by reflections conjugate to a distinguished simple reflection $s_0$. This filtration organizes $W(E_{10})$ into double cosets relative to the parabolic subgroup $W(A_9)$, and we classify the minimal representatives of these cosets via a rooted directed acyclic graph (DAG) labeled by triples. Each node in the DAG corresponds to a structured reflection composition, enabling a recursive understanding of spectral growth. Using the Hilbert metric on the Tits cone, we relate spectral radii to geometric displacement and demonstrate an effective method to compute the spectral radii inductively. This provides a geometric and combinatorial framework for understanding the Weyl spectrum of $W(E_{10})$. While our focus is on $E_{10}$, the techniques developed extended naturally to the family $W(E_n)$ for $n\ge 10$, with implications for dynamics on rational surfaces and entropy spectra of surface automorphisms.

Tropical Gradient Descent

2025-11-14T16:55:00Z

We propose a gradient descent method for solving optimization problems arising in settings of tropical geometry - a variant of algebraic geometry that has attracted growing interest in applications such as computational biology, economics, and computer science. Our approach takes advantage of the polyhedral and combinatorial structures arising in tropical geometry to propose a versatile method for approximating local minima in tropical statistical optimization problems - a rapidly growing body of work in recent years. Theoretical results establish global solvability for 1-sample problems and a convergence rate matching classical gradient descent. Numerical experiments demonstrate the method's superior performance compared to classical gradient descent for tropical optimization problems which exhibit tropical convexity but not classical convexity. We also demonstrate the seamless integration of tropical descent into advanced optimization methods, such as Adam, offering improved overall accuracy.

Vertex-transitive graphs with uniformly bisecting quasi-geodesics

2025-11-13T19:27:05Z

Suppose that $X$ is an infinite, connected, locally finite, quasi-transitive graph with the property that every bi-infinite quasi-geodesic uniformly coarsely separates $X$ into exactly two deep pieces. We show that such an $X$ is quasi-isometric to either the Euclidean plane or the hyperbolic plane. In particular, if $X$ is a Cayley graph of a finitely generated group $G$ with the above property, then $G$ is a virtual surface group. This can be interpreted as an extension of the well-known fact that a hyperbolic group with circular boundary is virtually Fuchsian. Our theorem positively resolves Problem 14.98 of the Kourovka Notebook, posed by V. A. Churkin in 1999. The proof uses an isoperimetric inequality of Varopoulos to show that if such a graph has the above property, then either it is hyperbolic or has quadratic growth.

A volume correspondence between anti-de Sitter space and its boundary

2025-11-13T18:10:15Z

Let $\mathbb{H}^{n+1}_1$ be the $(n+1)$-dimensional anti-de Sitter space (AdS), in this paper we propose to extend $\mathbb{H}^{n+1}_1$ conformally to another copy of $\mathbb{H}^{n+1}_1$ by gluing them along the boundary at infinity, and denote the resulting space by \emph{double anti-de Sitter space} $\mathbb{DH}^{n+1}_1$. We propose to introduce a volume $V_{n+1}(P)$ (possibly complex valued) on polytopes $P$ in $\mathbb{DH}^{n+1}_1$ whose facets all have non-degenerate metrics (called \emph{good} polytopes), and show that it is well defined and invariant under isometry, including the case that $P$ contains a non-trivial portion of $\partial\mathbb{H}^{n+1}_1$. For $n$ even, $V_{n+1}(P)$ is shown to be completely determined by the intersection of $P$ and $\partial\mathbb{H}^{n+1}_1$, which leads to the following important applications: it induces a new intrinsic (conformal) \emph{volume} on good polytopes in $\partial\mathbb{H}^{n+1}_1$ that is invariant under conformal transformations of $\partial\mathbb{H}^{n+1}_1$, and establishes an AdS-CFT type correspondence between the volumes on $\mathbb{DH}^{n+1}_1$ and $\partial\mathbb{H}^{n+1}_1$.

Pseudotangents to Lipschitz curves

2025-11-13T17:40:54Z

In this paper, we extend the result of arXiv:2409.13662 by showing that the set on which every pseudotangent is obtained on a Lipschitz curve can be any compact, uniformly disconnected set in Euclidean space which admits any Lipschitz capture. We do not obtain a characterization of such sets however, indeed we leave open the very strong question of whether or not a Lipschitz curve can obtain every pseudotangent at every point.

Connecting conformal dimension and Poincaré profiles

2025-11-13T16:37:04Z

We strengthen the connection between the Ahlfors-regular (AR) conformal dimension Confdim$(Z)$ of a compact AR metric space $Z$ and a certain critical exponent of the Poincaré profiles $p_Λ$ of its hyperbolic cone $X$ in the sense of Bonk--Schramm. We prove that the two values are equal in two situations: firstly, when $Z$ is a product $C\times [0,1]$ where $C$ is a compact AR metric space; and secondly when $X$ is quasi-isometric to a Heintze manifold $\mathbb R^n\rtimes_A\mathbb R$ where $A\in\textrm{GL}(n,\mathbb R)$ is diagonalisable. A key tool is a lower bound for $p_Λ$ for combinatorial round trees which also applies to various random group models and families of Coxeter groups. We also show that for a torsion free hyperbolic group $G$, $p_Λ(G)>1$ if and only if Benjamini--Schramm--Timár's separation profile grows faster than $r^α$ for some $α>0$, if and only if Confdim$(\partial_\infty G)>1$. On the other hand, we find new, non-virtually-Fuchsian examples of groups with the same separation profile as $\mathbb{H}^2$. All these results imply various obstructions to coarse and regular embeddings of such groups.

The Discrete Schwarz-Pick Lemma For Circle Packings Revisited

2025-11-13T02:10:28Z

The Discrete Schwarz-Pick Lemma is a discrete analogue of the classical result from complex analysis, arising from the connection between circle packings and conformal maps established by Thurston. Previous works by Beardon-Stephanson and Van Eeuwen proved this lemma for circle packings where circles are tangent or intersect at non-obtuse angles, corresponding to inversive distances $I \in [0,1]$. This paper extends the investigation to circle packings with obtuse intersections ($I \in (-1,0)$) and disjoint packings ($I>1$). We prove that the Discrete Schwarz-Pick Lemma holds for the full range of intersecting circle packings with inversive distances in $(-1,1]$, provided an additional condition on the weights of each triangle is satisfied. The proof relies on a variational principle for circle packings with inversive distances. Conversely, we show that the lemma fails for disjoint circle packings where $I\geq1$. This is demonstrated by constructing a specific counterexample on a triangulated disk with four vertices.

On certain properties of the Petty space

2025-11-12T19:22:37Z

We study some touching properties of the three-dimensional Petty space $X=(\ell_2^2 \oplus \mathbb{R})_1$. In particular we give an estimation of its Hadwiger number and also show that its equilateral subsets $A$ of maximum cardinality (i.e. $|A|=e(X)$) do not have a center.

Vietoris--Rips complexes of ellipses at larger scales

2025-11-12T16:41:29Z

For $X$ a metric space and $r>0$, the Vietoris--Rips simplicial complex $\mathrm{VR}(X;r)$ has $X$ as its vertex set, and a finite subset $σ\subseteq X$ as a simplex whenever the diameter of $σ$ is less than $r$. In ``On Vietoris--Rips complexes of ellipses'', the authors studied the homotopy types of Vietoris--Rips complexes of ellipses $E_a=\{(x,y)\in \mathbb{R}^2~|~(x/a)^2+y^2=1\}$ of small eccentricity, meaning $1