https://arxiv.org/api//8vpK9efLdMRMhsqZdlnaMRi+vI 2026-03-26T12:58:04Z 12777 150 15 http://arxiv.org/abs/2603.00323v1 2026-02-27T21:29:11Z

We study how analytic functions, and more generally quasiregular mappings, distort Nagata dimension. Quasiconformal mappings of domains preserve the Nagata dimension of compact subsets, in view of a result of Lang and Schlichenmaier. We establish the same conclusion for analytic functions defined on general planar domains. On the other hand, polynomials (and more generally, rational maps) preserve the Nagata dimension of arbitrary subsets of their domain. In the absence of the compactness assumption, we provide examples to show that an entire function can increase or decrease the Nagata dimension of subsets of the domain. Some of these results generalize to meromorphic functions, and separately to planar quasiregular maps in view of Stoilow factorization. We also show that conformal mappings can change the porosity behavior of noncompact subsets of their domain; this yields examples of planar conformal maps which take sets of Nagata dimension strictly less than two onto set of Nagata dimension two. We conclude with open questions and potential future work related to the distortion of Nagata dimension by higher-dimensional quasiregular maps.

2026-02-27T21:29:11Z 28 pages Manisha Garg Jeremy T. Tyson http://arxiv.org/abs/2502.09995v3 2026-02-26T22:59:40Z

Let $T$ be a finitely branching rooted tree such that any node has at least two successors. The path space $[T]$ is an ultrametric space: for distinct paths $f,g$ let $d(f,g)= 1/|T_n|$, where $T_n$ denotes the $n$-th level of the tree, and $n$ is largest such that $f(n)= g(n)$. Let $S$ be a subtree of $T$ without leaves that is level-wise uniformly branching, in the sense that the number of successors of a node only depends on its level. We~show that the Hausdorff and lower box dimensions coincide for~$[S]$, and the packing and upper box dimensions also coincide. We give geometric proofs, as well as proofs based on the point-to-set principles. We use the first result to reprove a theorem of Barnea and Shalev on the Hausdorff dimension of closed subgroups of a profinite group $G$, referring only on the geometric structure of the closed subgroup in the canonical path space given by an inverse system for $G$. We obtain an analogous theorem for the packing dimension.

2025-02-14T08:25:11Z Some small issues fixed from first version Elvira Mayordomo Andre Nies http://arxiv.org/abs/2402.10314v3 2026-02-26T21:44:00Z

In "Weighted Brunn-Minkowski Theory I", the prequel to this work, we discussed how recent developments on concavity of measures have laid the foundations of a nascent weighted Brunn-Minkowski theory. In particular, we defined the mixed measures of three convex bodies and obtained its integral representation. In this work, we obtain inequalities for mixed measures, such as a generalization of Fenchel's inequality; this provides a new, simpler proof of the classical volume case. Moreover, we show that mixed measures are connected to the study of log-submodularity and supermodularity of the measure of Minkowski sums of convex bodies. This elaborates on the recent investigations of these properties for the Lebesgue measure. We conclude by establishing that the only Radon measures that are supermodular over the class of compact, convex sets are multiples of the Lebesgue measure. Motivated by this result, we then discuss weaker forms of supermodularity by restricting the class of convex sets.

2024-02-15T20:32:45Z 35-37 pages; added note in proof (see end of introduction) Journal d'Analyse Mathématique, 2026 Matthieu Fradelizi Dylan Langharst Mokshay Madiman Artem Zvavitch 10.1007/s11854-026-0440-5 http://arxiv.org/abs/2602.23480v1 2026-02-26T20:16:21Z

Suppose that $L, M$ are two full-rank lattices in Euclidean space with $\text{vol}(L)=\text{vol}(M)$. We give a new proof on the existence of a bounded and Lebesgue measurable set that tiles $\mathbb{R}^d$ with both $L,M$ using the measurable Hall's Theorem which was proved by T.Ciésla and M. Sabok. This proof is direct and does not go through the intermediate results on cut-and-project sets involved in the proof given by S.Grepstad and M.Kolountzakis. We also show the existence of a bounded, set-theoretic (i.e., not necessarily measurable) common fundamental domain of $L,M$ assuming only that $\text{vol}(L)=\text{vol}(M)$. Combining these results we show the existence of a bounded and Lebesgue measurable common fundamental domain for any two full-rank lattices of equal volumes. Finally we show that a set-theoretic bounded, common fundamental domain cannot exist when $\text{vol}(L)\neq \text{vol}(M)$.

2026-02-26T20:16:21Z Emmanouil Spyridakis http://arxiv.org/abs/2510.13069v3 2026-02-26T18:31:38Z

The intrinsic timed-Hausdorff distance between timed-metric spaces, first introduced by Sakovich--Sormani, yields a weak notion of convergence for space-times. In this paper we prove a compactness theorem for the intrinsic timed-Hausdorff convergence of timed-metric spaces using timed-Fréchet maps. Our proof introduces the notion of "addresses" and provides a new way of stating Gromov's original compactness theorem for Gromov--Hausdorff convergence of metric spaces. We also obtain a new Arzelà--Ascoli theorem for real valued uniformly bounded Lipschitz functions on Gromov--Hausdorff converging compact metric spaces. Moreover, we establish the triangle inequality for the intrinsic timed-Hausdorff distance.

2025-10-15T01:27:43Z 39 pages, 2 figures. Added an Appendix proving the triangle inequality for the timed-Hausdorff distance Mauricio Che Raquel Perales Christina Sormani http://arxiv.org/abs/2602.23322v1 2026-02-26T18:30:29Z

We introduce the metric fundamental class for metric spaces that are homeomorphic to compact, non-orientable, smooth manifolds with (possibly empty) boundary. This is an integer rectifiable current that provides an analytic representation of the topological fundamental class of the space. Under certain weak geometric conditions, we show the existence of such a current, extending earlier results for orientable, closed manifolds obtained in collaboration with Basso and Wenger. As an application, we present new rectifiability results.

2026-02-26T18:30:29Z Denis Marti http://arxiv.org/abs/2602.10812v2 2026-02-26T16:06:36Z

By differentiating a concavity principle arising from the Prékopa-Leindler inequality, we obtain a statement simultaneously strengthening the weighted boundary Poincaré inequality and the Brascamp-Lieb variance inequality. The resulting inequality possesses a multiplicative structure, which we exploit to develop an alternative to the (by now classical) $L_2$ method in the study of geometric and analytic inequalities. We apply this approach to derive a stability estimate for the weighted Poincaré inequality and to investigate the dimensional Brunn-Minkowski conjecture. In particular, in the latter setting, we obtain new reformulations together with several partial results.

2026-02-11T12:52:58Z v2: Correction of typos and minor stylistic improvements. The proof of Theorem 1.4 in Section 5 has been reworked, leading to a slight improvement of the result. Comments are welcome! Sotiris Armeniakos Jacopo Ulivelli http://arxiv.org/abs/2602.23080v1 2026-02-26T15:06:38Z

Motivated by coarse geometry and the classical role of Roe algebras as large-scale invariants of proper metric spaces, we show that proper quantum metric spaces as introduced by Latrémolière are noncommutative coarse spaces. This further allows us to develop a bridge between Latrémolière's framework and the W*-metric approach to quantum metric spaces. Furthermore, we construct Roe algebras for locally compact quantum metric spaces and verify that they recover the classical Roe algebras in the commutative case. We furthermore apply this framework to some examples of locally compact quantum metric spaces and show that it leads to the natural conclusion. Finally we use this framework to introduce notions of higher index theory for locally compact quantum metric spaces.

2026-02-26T15:06:38Z 47 pages Ayoub Hafid http://arxiv.org/abs/2602.20325v2 2026-02-26T12:09:24Z

We prove that if $K$ is a symmetric and isotropic convex body in $\mathbb{R}^n$, then $$\int_K\langle x,u\rangle^2\,dx\int_{K^\circ}\langle x,u\rangle^2\,dx\leq \left(\int_{B_2^n}\langle x,u\rangle^2\,dx\right)^2,\qquad\forall u\in\mathbb{R}^n,$$with equality for some $u\neq o$, if and only if $K$ is a Euclidean ball. This confirms a conjecture by Keith Ball (1986), stating that for any symmetric convex body $K$ in $\mathbb{R}^n$, it holds $$\int_K\int_{K^\circ}\langle x,y\rangle^2\,dx\,dy\leq \int_{B_2^n}\int_{B_2^n}\langle x,y\rangle^2\,dx\,dy,$$with equality if and only if $K$ is an ellipsoid. Fortunately, our method for proving Ball's conjectured inequality admits a quantitative stability refinement, which in turn yields an asymptotically optimal stability version of the Blaschke-Santaló inequality for origin symmetric convex bodies in terms of the symmetric difference metric. This resolves another well known open problem.

2026-02-23T20:20:57Z preliminary version Károly J. Böröczky Konstantinos Patsalos Christos Saroglou http://arxiv.org/abs/2602.14750v2 2026-02-26T10:36:58Z

We verify the inequality $$ \frac{|K|}{|E|}+\frac{|K^*|}{|E^*|}\leq 2 $$ for any $o$-symmetric convex body $K\subset\mathbb{R}^2$ where $E$ is either the John ellipse of maximal area contained in $K$ or the minimal area Löwner ellipse containing $K$. The analogous estimate may not hold if $K$ is a planar but the assumption of $o$-symmetry is dropped, or if $K$ is $o$-symmetric convex body in $\mathbb{R}^n$ for $n\geq 3$. Our new inequality strengthens the Blaschke-Santaló inequality for $o$-symmetric convex bodies $K\subset\mathbb{R}^2$ with an error term of optimal order.

2026-02-16T13:49:41Z 14 pages Károly J. Böröczky Endre Makai http://arxiv.org/abs/2601.19039v2 2026-02-25T23:16:45Z

We show that a circle and square of the same area in $\mathbb{R}^2$ are equidecomposable by translations using $\mathbfΔ^0_2$ pieces. That is, pieces which are simultaneously $F_σ$ and $G_δ$ sets. This improves a result of Máthé-Noel-Pikhurko and is the best possible complexity in terms of the Borel hierarchy. More generally we show that bounded sets $A,B \subseteq \mathbb{R}^n$ with small enough boundaries and the same nonzero Lebesgue measure are equidecomposable with pieces that are countable unions of finite Boolean combinations of translates of $A,B$, and open sets. The improvement comes from constructions of low complexity toasts and related objects which should be independently useful within Borel combinatorics.

2026-01-26T23:41:32Z Spencer Unger Narmada Varadarajan Felix Weilacher http://arxiv.org/abs/2602.22342v1 2026-02-25T19:08:07Z

We show that for some constant $κ>0$, any centered $κ$-subgaussian random variable is equal to the sum of three standard Gaussian random variables, confirming a conjecture of M. Talagrand. We also prove that given $Λ\geq 1$, any centered random vector $X$ in $\mathbb{R}^n$ such that $\|X\|\leq Λ$ almost surely and $\|\mathrm{Cov}(X)\|\leq {Λ^2 }{e^{-Λ^2}}$ is equal to the sum of a universal number of standard Gaussian random vectors. In particular, a centered random vector is subgaussian if and only if it is a finite sum of Gaussian random vectors. We apply these results to settle the permutation invariant case of M. Talagrand's convexity problem, and to give optimal estimates on the largest ellipsoid contained in a sum of large sets in Gaussian spaces.

2026-02-25T19:08:07Z Antoine Song http://arxiv.org/abs/2602.22164v1 2026-02-25T18:13:47Z

We study curves obtained by tracing triangle centers within special families of triangles, focusing on centers and families that yield (semi-)invariant triangle curves, meaning that varying the initial triangle changes the loci only by an affine transformation. We identify four two-parameter families of triangle centers that are semi-invariant and determine which are invariant, in the sense that the resulting curves for different initial triangles are related by a similarity transformation. We further observe that these centers, when combined with the aliquot triangle family, yield sheared Maclaurin trisectrices, whereas the nedian triangle family yields Limaçon trisectrices.

2026-02-25T18:13:47Z Klara Mundilova Oliver Gross http://arxiv.org/abs/2512.08670v2 2026-02-25T16:20:40Z

We study the mixed Christoffel problem for $C^{2,+}$ convex bodies providing sufficient conditions for its solution. Key to our approach is a constant rank theorem, following the approach developed in \cite{Guan-Ma-2003} to address the Christoffel problem, in order to ensure that the solution to a related second order linear PDE on the sphere is indeed geometric, that is, it is the support functions of a $C^{2,+}$ convex body.

2025-12-09T14:53:04Z Theorem 1.3 of the first version of the paper has been corrected and modified (see Corollaries 1.5 and 1.6 of the new version) A. Colesanti M. Focardi P. Guan P. Salani http://arxiv.org/abs/2311.16776v3 2026-02-25T16:05:21Z

We study ordered configuration spaces of $n$ hard discs inside a unit disc, and how the topology changes with the radius $r$ of the hard discs. We describe the full homotopy type of this space for all radii when $n = 4$ and exhibit nontrivial classes in $π_{n-3}$ for all $n$. We also explore the persistence of these nontrivial classes when the ambient disc is deformed into an ellipse.

2023-11-28T13:38:20Z 42 pages, 11 figures. v3: clearer introduction and motivation; new results added and some more speculative sections removed. v2: improved narrative flow, signposting and motivation; improved clarity of some proofs; weakened hypotheses in Thm. 4.1; fixed some typos and improved consistency of notation Patrick Ramsey