https://arxiv.org/api/RaCyYeON0TxXlLTwEUxnBX8n1yY 2026-06-13T17:53:45Z 13040 90 15 http://arxiv.org/abs/2507.08608v2 2026-05-29T19:08:02Z

We investigate equidecomposability in the ring of polygons with sides restricted to given directions and using only translations. Extending classical results of Dehn and Hadwiger, we prove that equidecomposability in these rings is equivalent to the equality of some translation invariant simple valuations. We also consider the algebraic structure of direction sets. We show that under mild conditions, equidecomposability with respect to a set $S$ of slopes of the given directions is equivalent to equidecomposability with respect to the field generated by $S$. We also provide a complete description of all invariants of these polygon rings.

2025-07-11T14:03:18Z 28 pages, 3 figures Gergely Kiss Miklós Laczkovich http://arxiv.org/abs/2605.31477v1 2026-05-29T16:06:12Z

We confirm a compactness conjecture of M. Li. If a complete Riemannian manifold has nonnegative Ricci curvature and uniformly convex boundary in the sense that the second fundamental form satisfies $h\ge1$. Then we prove it is compact, and consequently has finite fundamental group. The proof uses monotone quantities constructed via positive proper harmonic functions with Neumann condition.

2026-05-29T16:06:12Z 29 pages Zetian Yan Xingyu Zhu http://arxiv.org/abs/2604.23468v3 2026-05-29T15:32:06Z

In 2016, Viazovska famously solved the sphere packing problem in dimension $8$, using modular forms to construct a 'magic' function satisfying optimality conditions determined by Cohn and Elkies in 2003. In March 2024, Hariharan and Viazovska launched a project to formalize this solution and related mathematical facts in the Lean Theorem Prover. A significant milestone was achieved in February 2026: the result was formally verified, with the final stages of the verification done by Math, Inc.'s autoformalization model 'Gauss'. We discuss the techniques used to achieve this milestone, reflect on the unique collaboration between humans and Gauss, and discuss project objectives that remain.

2026-04-25T23:27:10Z 8 pages, title updated Sidharth Hariharan Christopher Birkbeck Seewoo Lee Ho Kiu Gareth Ma Bhavik Mehta Auguste Poiroux Maryna Viazovska http://arxiv.org/abs/2509.05711v2 2026-05-29T15:22:11Z

In 1971, Cunningham proved that every star-shaped Kakeya set $E\subset\mathbb{R}^2$ satisfies $|E| \geq π/108$. In this paper, we show that Cunningham's bound is not optimal and can be improved to $|E| \geq π/98$.

2025-09-06T13:19:02Z 16 pages, 7 figures, the final version of the article is published in Ann. Fenn. Math Annales Fennici Mathematici, Volume 51, 2026 Shaoqi Li 10.54330/afm.185132 http://arxiv.org/abs/2605.31397v1 2026-05-29T15:03:10Z

We study constant horizontal mean curvature surfaces in the sub-Lorentzian Heisenberg group. We derive the first-variation formula for horizontal area under volume-preserving radial variations and show that smooth isoperimetric candidates have constant horizontal mean curvature away from the characteristic set. We then give a complete classification of smooth boost-symmetric constant mean curvature surfaces: their characteristic sets, causal behaviour, and ambient sub-Lorentzian isometry classes. From this classification, we single out a family of smooth, acausal, boost-symmetric surfaces with nonzero constant mean curvature. Written as a two-sheeted graph over the exterior of a future hyperbola, this family is a natural sub-Lorentzian analogue of the Pansu bubbles and leads us to conjecture that it gives the isoperimetric maximisers in the sub-Lorentzian Heisenberg group.

2026-05-29T15:03:10Z 48 pages, 4 figures Samuël Borza Andrea Pinamonti Omar Zoghlami http://arxiv.org/abs/2509.01194v2 2026-05-29T14:44:59Z

We investigate geometric properties of a metric measure space where every function in the Newton--Sobolev space $N^{1,\infty}(Z)$ has a Lipschitz representative. We prove that when the metric space is locally complete and the reference measure is infinitesimally doubling, the above property is equivalent to the space being very $\infty$-thick quasiconvex up to a scale. That is, up to some scale, every pair of points can be joined by a family of quasiconvex curves that is not negligible for the $\infty$-modulus. As a first application, we prove a local-to-global improvement for the weak $(1,\infty)$-Poincaré inequality for locally complete quasiconvex metric spaces that have a doubling reference measure. As a second application, we apply our results to the existence and uniqueness of $\infty$-harmonic extensions with Lipschitz boundary data for precompact domains in a large class of metric measure spaces. As a final application, we illustrate that in the context of Sobolev extension sets, very $\infty$-thick quasiconvexity up to a scale plays an analogous role as local uniform quasiconvexity does in the Euclidean space. Our assumptions are adapted to the analysis of Sobolev extension sets and thus avoid stronger assumptions such as the doubling property of the measure. Examples satisfying our assumptions naturally occur as simplicial complexes, GCBA spaces, and metric quotients of Euclidean spaces.

2025-09-01T07:24:40Z 28 pages, 2 figures; edited introduction and added Theorem 1.4 Miguel García-Bravo Toni Ikonen Zheng Zhu http://arxiv.org/abs/2601.16535v3 2026-05-29T09:31:13Z

The main goal of this paper is to address the following problem: given a positive integer $n$, find the largest value $S(n)$ such that a square of edge length $S(n)$ in the Euclidean plane can be covered by $n$ unit squares. We investigate also the variant in which the goal is to cover only the boundary of a square. We show that these two problems are equivalent for $n \leq 4$, but not for $n=5$. For both problems, we also present the solutions for $n=5$.

2026-01-23T08:11:17Z 13 pages, 6 figures, made a slight modification in the proof of Theorem 1.3 György Dósa Zsolt Lángi Zsolt Tuza http://arxiv.org/abs/2605.30927v1 2026-05-29T07:15:28Z

We introduce the space of continuous and translation invariant area measures, which are measure-valued functionals on the space of convex bodies satisfying a certain locality condition. Our main result shows that the space of $\mathrm{GL}(n,\mathbb{R})$-smooth area measures coincides with the space of area measures obtained by integration with respect to the normal cycle. We show how this result yields Hadwiger-type classification results for continuous area measures that are equivariant with respect to compact groups acting transitively on the unit sphere. In addition, we establish a general density criterion for invariant submodules and show that mixed area measures generate dense submodules with respect to suitable topologies on the space of continuous area measures. As a byproduct, we discuss how McMullen's Conjecture can be obtained directly from the representation of $\mathrm{GL}(n,\mathbb{R})$-smooth translation invariant valuations on convex bodies in terms of integration with respect to the normal cycle.

2026-05-29T07:15:28Z Jonas Knoerr http://arxiv.org/abs/2410.17214v3 2026-05-28T21:12:31Z

While there exists a well-developed asymptotic theory of Fréchet means of random variables taking values in a general "finite-dimensional" metric space, there are only a few known results in which the random variables can take values in an "infinite-dimensional" metric space. Presently, we develop a general asymptotic theory of Fréchet means in some infinite-dimensional metric spaces, which allows us to recover, strengthen, and generalize most existing results; in particular, we develop novel asymptotic theory for Fréchet means in some infinite-dimensional metric spaces from statistical shape analysis. The core of the proof is a novel notion of weak convergence in general metric spaces for which the results can be proven via calculus of variations.

2024-10-22T17:39:33Z 38 pages, 2 tables; comments welcome Adam Quinn Jaffe http://arxiv.org/abs/2605.29905v1 2026-05-28T13:24:06Z

We generalize the classical Ceva's and Menelaus's theorems to curvilinear triangles bounded by circular arcs. We introduce trilinear coordinates associated with such triangles and develop several geometric constructions. In particular, for any proper Möbius triangle we define the incenter, excenters, and orthocenter.

2026-05-28T13:24:06Z 35 pages, 18 figures Ivan Livinsky http://arxiv.org/abs/2605.15891v2 2026-05-28T13:22:39Z

In this paper, we study the dual Minkowski problem under group symmetry. For $0<q\le n$, we give a complete existence characterization in the framework of $G$-invariant convex bodies when the group $G\subset O(n)$ has no nonzero fixed points, recovering the origin-symmetric setting when $G=\{\pm I\}$. The necessary and sufficient conditions concern the concentration of the measure on $G$-invariant subspaces, both in the range $0<q<n$ and at the critical endpoint $q=n$, where the problem becomes the logarithmic Minkowski problem.

2026-05-15T12:21:59Z Junjie Shan http://arxiv.org/abs/2605.29837v1 2026-05-28T12:18:51Z

We show that groups with a mild form of non-positive curvature (a navigable path system) satisfy the weak rank rigidity conjecture: they either have linear divergence or a Morse element. This class includes discrete groups of projective automorphisms of open convex cones, Helly groups (answering a question of Genevois), Coxeter groups, weak Garside groups (in particular Deligne's groups and fundamental groups of Salvetti complexes of oriented matroids), hierarchically hyperbolic groups, and other examples. Along the way, we show that those groups satisfy the Morse local-to-global property, providing a unified proof for the whole class. In the metric setting, the same condition of non-positive curvature allows to provide a local definition (that is, in a sense, optimal) of rank one/Morse geodesics, mirroring the one using parallel Jacobi fields from Riemannian geometry; to deduce linearity of divergence from linearity on a sequence; to obtain new cases in which Morse geodesics are strongly contracting. The main new tool introduced is the generalised contraction space, a hyperbolic space that encodes the negative curvature of a given space.

2026-05-28T12:18:51Z 71 pages, 21 figures Cornelia Drutu Davide Spriano Stefanie Zbinden http://arxiv.org/abs/2605.29804v1 2026-05-28T11:49:16Z

In this paper we prove the WALA conjecture.

2026-05-28T11:49:16Z Preliminary version. This draft proves the WALA conjecture and a qualitative analogue. The methods also yield the more general GWALA conjecture, which will be the main formulation in a future version. Further sections, including applications developed jointly with Michele Villa and Mihalis Mourgoglou, will be added in a subsequent version Andrea Merlo http://arxiv.org/abs/2511.18389v2 2026-05-28T09:44:02Z

Sakovich--Sormani introduced several notions of distance between certain classes of Lorentzian manifolds. These distances use the Hausdorff and Gromov-Hausdorff distances and therefore extend naturally to a broader class of spaces. Here we show that, for timed-metric-spaces, intrinsic timed-Hausdorff convergence implies (timeless) Gromov-Hausdorff convergence as well as big bang convergence, among other related implications for future-developed convergence.

2025-11-23T10:28:06Z 14 pages Raquel Perales 10.1007/s40590-026-00902-4 http://arxiv.org/abs/2605.28963v1 2026-05-27T18:07:35Z

We propose the systematic study of presentations that can be generalised over a continuous open group monomorphism. Presentations with this property can turn well-known presentations such as those for as orientable surface groups, Artin groups, and some Thompson groups, into topological groups with a prescribed open subgroup. Later we focus on right-angled Artin groups (RAAGs) and introduce a notion of topological RAAGs. Our approach differs from lattice envelopes and produces examples of locally compact (LC) groups that contain RAAGs as discrete subgroups, but generally not as lattices. We investigate some geometric aspects of topological RAAGs, with a special emphasis on compactness properties of LC ones. This includes a study of universal Salvetti-type complexes which may be of independent interest. These complexes share some properties with buildings. Although in some cases they are CAT(0) cube complexes and provide models for classifying spaces, in other cases they are not even uniquely geodesic. For a large class of examples we establish high connectivity properties for these complexes. This yields novel examples of LC groups with prescribed compactness properties or rational cohomological dimension. We note that the Bestvina-Brady machinery does not automatically generalise to this setting; nevertheless, we extend the Bieri-Stallings construction to obtain totally disconnected locally compact (TDLC) groups of type $FP_n$ but not $FP_{n+1}$. Along the way we record counterparts of cohomological results, such as a Mayer-Vietoris sequence and Künneth formula in discrete (co)homology for TDLC groups, which have not appeared elsewhere in the literature. Despite our non-discrete LC focus we obtain, as by-product, new examples of discrete groups with controlled finiteness properties including, for every $n \geq 1$, a Thompson-like Bieri-Stallings group of type $F_n$ but not $F_{n+1}$.

2026-05-27T18:07:35Z 94 pages, 4 figures Ilaria Castellano Bianca Marchionna Brita Nucinkis Yuri Santos Rego