https://arxiv.org/api/xdqxdycxDtkEhx94KfCGxitGYKY 2026-06-14T09:09:35Z 13040 300 15 http://arxiv.org/abs/2604.19600v1 2026-04-21T15:52:00Z

It is a long-standing open question to determine whether the Sierpiński carpet attains its conformal dimension or not. While this problem remains unresolved, we prove that Cartesian products $\mathbb{S}^k$, where $\mathbb{S}$ is the Sierpiński carpet and $k \geq 2$, do not attain their conformal dimension. Our approach is based on the Sobolev spaces and energy measures on $\mathbb{S}$ -- constructed by Shimizu, Kigami, and Murugan and Shimizu -- together with a certain singularity result of energy measures from the theory of analysis on fractals. This work formulates a general non-attainment result of conformal dimension for product metric spaces $X^k$ for $k \geq 2$ in terms of self-similarity and energy measures of the factor $X$. It applies, in particular, to the cases where $X$ is the Sierpiński carpet, the Sierpiński gasket, the Menger sponge, and the Laakso diamond.

2026-04-21T15:52:00Z 33 pages. Comments are welcome Riku Anttila Sylvester Eriksson-Bique http://arxiv.org/abs/2604.19583v1 2026-04-21T15:36:34Z

In this paper, we study the right invariant metric $d_{H^{\infty}}$ on the analytic automorphism group $\rm{Aut}(\mathbb{D})$ of the unit open disk $\mathbb{D}$ induced by maximal modulus, that is, $d_{H^{\infty}}(\varphi, ψ)=\sup_{z\in\mathbb{D}}|\varphi(z)-ψ(z)|$ for any $\varphi, ψ\in \rm{Aut}(\mathbb{D})$. We give the explicit formula of the right invariant metric $d_{H^{\infty}}$ and characterize the almost regular Finsler geometric structure of $(\rm{Aut}(\mathbb{D}), d_{H^{\infty}})$.

2026-04-21T15:36:34Z 11 pages, 2 figures Yue Xin Yan Li Bingzhe Hou http://arxiv.org/abs/2604.19479v1 2026-04-21T14:02:05Z

We consider the distance minimization problem to a real algebraic variety $X \subseteq \RR^n$ when the metric is induced by a polyhedral norm. Each point in the variety has a Voronoi cell whose geometry depends on the normal space at the point and the inner normal fan of the polyhedral ball. For codimension-one varieties, we decompose $X$ into sets of points whose Voronoi cones have the same dimension, which is the expected dimension of their Voronoi cell. We prove that this decomposition is a stratification of $X$ and that each strata is a semialgebraic set. We conclude by giving an algebraic description of the medial axis, which is the locus of points whose minimal distance to $X$ is achieved at more than one point on $X$.

2026-04-21T14:02:05Z Eliana Duarte Nidhi Kaihnsa Julia Lindberg Angélica Torres Madeleine Weinstein http://arxiv.org/abs/2112.06962v4 2026-04-21T06:17:55Z

In this paper, we consider a vector-valued one-phase Bernoulli-type free boundary problem on a metric measure space $(X,d,μ)$ with Riemannian curvature-dimension condition $RCD(K,N)$. We first prove the existence and the local Lipschitz regularity of the solutions, provided that the space $X$ is non collapsed, i.e. $μ$ is the $N$-dimensional Hausdorff measure of $X$. And then we show that the free boundary of the solutions is an $(N-1)$-dimensional topological manifold away from a relatively closed subset of Hausdorff dimension $\leqslant N-3$.

2021-12-13T19:01:39Z 58 pages. Comments are welcome Chung-Kwong Chan Hui-Chun Zhang Xi-Ping Zhu http://arxiv.org/abs/2604.18545v1 2026-04-20T17:37:51Z

By means of constructing a new edge-bending algorithm, we prove that every locally polyhedral tiling of $\mathbb{R}^3$ can be completely softened. A weaker form of this statement, for polyhedral space tilings, was conjectured by Domokos, Goriely, G. Horváth and Regős in 2024. We also provide a short proof for a result of Domokos, G. Horváth, and Regős, stating that in a balanced polygonic tiling of the plane, the average number of spikes is at least 2 per cell.

2026-04-20T17:37:51Z Gergely Ambrus Dorottya Dancsó http://arxiv.org/abs/2411.19047v3 2026-04-20T14:27:04Z

We construct a conservative and strongly local regular symmetric Dirichlet form on the pointed Gromov--Hausdorff limit space and demonstrate the stability of heat kernel estimates under this convergence. Furthermore, we establish the Mosco convergence of the associated energy forms along a subsequence.

2024-11-28T10:44:11Z 54 pages, 2 figures J. Funct. Anal., Volume 291, Issue 3, 2026, Paper No. 111488 Aobo Chen 10.1016/j.jfa.2026.111488 http://arxiv.org/abs/2602.16667v2 2026-04-20T10:11:18Z

It is well known that a pair of compact sets in $\mathbb{R}^d$ ($d \in \mathbb{N}$) can be separated by small deformations if the sum of their upper box dimensions is less than $d$. In this paper, we demonstrate that this dimension constraint is optimal for regular Cantor sets. Specifically, for any prescribed upper box dimensions whose sum is greater than $d$, we construct classes of pairs of regular Cantor sets that exhibit $C^{1+α}$-stable intersections. Our method is geometrically flexible, enabling the construction of examples with arbitrarily small thickness in both projectively hyperbolic and nearly conformal regimes. These results also extend to the complex setting for holomorphic Cantor sets in $\mathbb{C}^d$. The proof relies on the "covering criterion" for stable intersection introduced in the first part of this series [NZ25], which generalizes the "recurrent compact set criterion" of Moreira-Yoccoz to higher dimensions.

2026-02-18T18:06:13Z 23 pages, 8 figures. The results have been strengthened by replacing the Hausdorff dimension with the upper box dimension, though the proofs remain unchanged Meysam Nassiri Mojtaba Zareh Bidaki http://arxiv.org/abs/2604.17170v1 2026-04-18T23:50:54Z

A CaTherine wheel is a space-filling curve $f : S^1\to S^2$ such that for every closed interval $J\subset S^1$, $f(J)$ is homeomorphic to a closed disk and $f(\partial J)$ is contained in $\partial f(J)$. A CaTherine wheel gives rise to a pair of disjoint, dense topological trees in $S^2$ which roughly speaking lie to the left and right of $f$. We give necessary and sufficient conditions for a topological tree in $S^2$ to arise as one of these trees for some CaTherine wheel $f$. We apply this result to show that there is a unique CaTherine wheel corresponding to the geodesic tree rooted at $\infty$ for the $γ$-Liouville quantum gravity (LQG) metric, for $γ\in (0,2)$. In other words, we construct the space-filling curve which is the contour exploration of the LQG geodesic tree.

2026-04-18T23:50:54Z 26 pages, 7 figures Danny Calegari Ewain Gwynne http://arxiv.org/abs/2512.21976v3 2026-04-18T17:37:16Z

We solve two long standing open problems, one from probability theory formulated by Malyshev in 1970 and another one from a crossroad of geometry and dynamics, of Darboux from 1879. The Malyshev problem is of finding effective, explicit necessary and sufficient conditions in the closed form to characterize all random walks in the quarter plane with the finite group of random walk of order $2n$, for all $n\ge 2$, where the underlining biquadratic is an elliptic curve. Until now, the results were known only for $n=2, 3, 4$, obtained using ad-hoc methods developed separately for each of the three cases. We provide a method that solves the problem for all $n$ and in a unified way. Explicit examples of random walks with the groups of orders higher than 10 are presented here for the first time, including orders 12, 14, 16. The same method applies to any higher order. We consider cases with singular biquadratics in a systematic manner. We establish a new two-way relationship between diagonal random walks and $4$-bar links. We describe all $n$-periodic Darboux transformations for $4$-bar links for all $n\ge 2$, thus completely solving the Darboux problem: after $n$ iterations, a polygonal configuration maps to a congruent one of the same orientation, that he solved for $n=2$, which was recently extended to $n=3$. We also study $k$-semi-periodicity as a natural type of periodicity of the Darboux transformations, where after $k$ iterations of the Darboux transformation, a polygonal configuration maps to a congruent one, but of opposite orientation. By introducing a new object, the secondary $(2,2)$ correspondence, and the related secondary cubic of the centrally-symmetric biquadratics, we provide necessary and sufficient conditions for $k$-semi-periodicity for $4$-bar links for all $k\ge 2$ in an explicit closed form, while the case $k=2$ was solved recently.

2025-12-26T10:46:28Z 56 pages, 28 figures Vladimir Dragović Milena Radnović http://arxiv.org/abs/2604.16618v1 2026-04-17T18:15:12Z

We construct a Lipschitz curve in the free Carnot group of step 3 with 2 generators that meets every $C^{1}$ horizontal curve in a set of measure zero. This shows that the $C^{1}_{H}$-Lusin property fails in a strong sense in this group, and we deduce that such a curve must be purely $C^1_H$ 1-unrectifiable. Hence 1-rectifiability in Carnot groups is wildly different to its counterpart in Euclidean spaces, wherein the Whitney Extension Theorem guarantees that Lipschitz rectifiability and $C^1$ rectifiability are equivalent.

2026-04-17T18:15:12Z 26 pages Gareth Speight Scott Zimmerman http://arxiv.org/abs/2508.04653v2 2026-04-17T16:30:22Z

Alberti, Csörnyei and Preiss introduced a notion of a "pointwise (weak) tangent field" for a subset of Euclidean space -- a field that contains almost every tangent line of every curve passing through the set -- and showed that all area-zero sets in the plane admit one-dimensional tangent fields. We extend their results in two distinct directions. First, a special case of our pointwise result shows that each doubling subset of Hilbert space admits a pointwise tangent field in this sense, with dimension bounded by the Nagata (or Assouad) dimension of the set. Second, inspired by the Analyst's Traveling Salesman Theorem of Jones, we introduce new, "coarse" notions of tangent field for subsets of Hilbert space, which take into account both large and small scale structure. We show that doubling subsets of Hilbert space admit such coarse tangent fields, again with dimension bounded by the Nagata (or Assouad) dimension of the set. For porous sets in the plane, this result can be viewed as a quantitative version of the Alberti--Csörnyei--Preiss result, though our results hold in all (even infinite) dimensions.

2025-08-06T17:18:35Z paper slightly re-ordered, some typos corrected Guy C. David Sylvester Eriksson-Bique Raanan Schul http://arxiv.org/abs/2504.15212v2 2026-04-17T11:01:41Z

A graph $G=(V,E)$ is geometrically embeddable into a normed space $X$ when there is a mapping $ζ: V\to X$ such that $\|ζ(v)-ζ(w)\|_X\leqslant 1$ if and only if $\{v,w\}\in E$, for all distinct $v,w\in V$. Our result is the following universal threshold for the embeddability of trees. Let $Δ\geqslant 3$, and let $N$ be sufficiently large in terms of $Δ$. Every $N$--vertex tree of maximal degree at most $Δ$ is embeddable into any normed space of dimension at least $64\,\frac{\log N}{\log\log N}$, and complete trees are non-embeddable into any normed space of dimension less than $\frac{1}{2}\,\frac{\log N}{\log\log N}$. In striking contrast, spectral expanders and random graphs are known to be non-embeddable in sublogarithmic dimension. Our result is based on a randomized embedding whose analysis utilizes the recent breakthroughs on Bourgain's slicing problem.

2025-04-21T16:33:18Z Dylan J. Altschuler Pandelis Dodos Konstantin Tikhomirov Konstantinos Tyros http://arxiv.org/abs/2508.12348v3 2026-04-17T09:51:09Z

We extend the structure theory of Burago--Gromov--Perelman for Alexandrov spaces with curvature bounded below, to the setting of Busemann spaces with non-negative curvature. We prove that any finite-dimensional Busemann space with non-negative curvature satisfying Ohta's $S$-concavity and local semi-convexity, admits a non-trivial integer-dimensional Hausdorff measure, and satisfies the measure contraction property. We also show that such spaces are rectifiable and that almost every point admits a unique tangent cone isometric to a finite-dimensional Banach space. In addition, under mild control of the uniform smoothness constant, we obtain refined estimates for the Hausdorff dimension of the singular strata. Our results not only enrich the theory of synthetic sectional curvature lower bound for metric spaces, but also provide some useful tools and examples to study Finslerian metric measure spaces.

2025-08-17T12:37:49Z Bang-Xian Han Liming Yin http://arxiv.org/abs/2604.15887v1 2026-04-17T09:34:16Z

We show that whenever a separable subset $S$ of a complete metric space $X$ admits a $d$-dimensional weak tangent field, the set $S$ is close to being $d$-dimensional in the following sense. Whenever $μ$ is a Borel finite measure on $X$ supported on $S$, then a typical $1$-Lispchitz map (in the sense of Baire category) into a Euclidean space maps $μ$-almost all of $S$ into a set of Hausdorff dimension at most $d$. When taking $d=0$, this implies that any $1$-purely unrectifiable set is typically carried into a Hausdorff $0$-dimensional set up to a $μ$-null set. We show that the result is sharp in Euclidean spaces and, more generally, in strictly convex Banach spaces of finite dimension.

2026-04-17T09:34:16Z 41 pages, 2 figures Jakub Takáč http://arxiv.org/abs/2602.05740v2 2026-04-17T07:33:40Z

We study the structure of Busemann spaces with measures satisfying the measure contraction property (MCP). The main results are rigidity theorems and structure theorems under the assumption of geodesic completeness or non-collapse. The appendix contains some observations on the tangent cones of geodesically complete Busemann spaces.

2026-02-05T15:05:30Z added a statement on the measure to Theorem 1.1, deleted Corollary 4.4, merged Remark 4.5 into Remark 1.2, added Remark 4.4, replaced Remark 3.6 with the proof of Proposition 3.5, added the proof of Corollary 5.10, added references, and made other minor changes Tadashi Fujioka Kenshiro Tashiro