https://arxiv.org/api//8vpK9efLdMRMhsqZdlnaMRi+vI 2026-06-13T22:31:22Z 13040 150 15 http://arxiv.org/abs/2605.21894v1 2026-05-21T02:05:29Z

We demonstrate the existence of quasiconformal mappings on closed manifolds that cannot be decomposed as a composition of mappings with arbitrarily small conformal distortion.

2026-05-21T02:05:29Z 21 pages. Comments welcome! Benjamin B. McMillan http://arxiv.org/abs/2605.21668v1 2026-05-20T19:22:21Z

We study several distinct but related Fourier analytic variants of the well-known Kakeya and Furstenberg set problems in the plane. For example, given $0<s,t<1$, we call a set $K \subseteq \mathbb{R}^2$ an $(s,t)$-Kakeya set if there exists a set of directions $E \subseteq S^1$ with Hausdorff dimension at least $t$ such that, for each $e \in E$, the set $K$ contains a subset of a unit line segment in direction $e$ whose Fourier dimension, viewed as a subset of $\mathbb{R}$, is at least $s$. For $Δ(s,t)$ defined to be the infimum of the Fourier dimension among all $(s,t)$-Kakeya sets in $\mathbb{R}^2$, we prove that \[ \frac{2st}{s+2t} \leq Δ(s,t) \leq \min\{s,2t\}. \] These bounds, though distinct, are asymptotically equivalent as either $s$ or $t$ tends to zero. We also obtain upper and lower bounds in the Furstenberg set version of the problem and in the case where the Hausdorff dimension of the collection of lines is replaced by the Fourier dimension.

2026-05-20T19:22:21Z 17 pages Jonathan M. Fraser Lijian Yang http://arxiv.org/abs/2605.09334v2 2026-05-20T19:15:25Z

We prove the non-symmetric Mahler conjecture in dimension three. More precisely, we prove the sharp lower bound \[ \mathcal P(K) \geq \frac{64}{9} \] for every convex body $K \subset \mathbb R^3$, where $\mathcal P(K)$ denotes the non-symmetric volume product with respect to the Santaló point.

2026-05-10T05:15:40Z Shibing Chen Yuanyuan Li Dongmeng Xi Zhefeng Xu http://arxiv.org/abs/2605.21607v1 2026-05-20T18:15:16Z

In 1982, S.-T. Yau conjectured that there exist four distinct embedded minimal two-spheres in any manifold diffeomorphic to $S^3$. Wang-Zhou confirmed this conjecture for Riemannian three-spheres when the metric is bumpy or has positive Ricci curvature. We prove the following quantitative version of their theorem. Suppose that $(S^3,g)$ has positive Ricci curvature and scalar curvature $R_g\ge Λ_0>0$. Then there exist four distinct embedded minimal two-spheres $Σ_1,\ldots,Σ_4\subset (S^3,g)$ such that $\operatorname{area}_{g}(Σ_i)\le 12π(i+1)/Λ_0$ for every $i=1,\ldots,4$. We apply this result to a problem posed by S.-T. Yau in 1987 on whether the planar two-spheres are the only minimal spheres in ellipsoids centered at the origin in $\mathbb R^4$. Haslhofer-Ketover proved that ellipsoids with one sufficiently large semi-axis contain at least one non-planar embedded minimal two-sphere. We prove that such ellipsoids contain at least three non-planar embedded minimal two-spheres.

2026-05-20T18:15:16Z Comments are welcome! Talant Talipov http://arxiv.org/abs/2605.21480v1 2026-05-20T17:58:24Z

A metric probability space $M$ admits thresholds if the random geometric graph on $M$ has a threshold for every monotone graph property. We connect the existence of thresholds to the uniform expansion of $M$ and prove that all standard tori, spheres, and cubes admit thresholds.

2026-05-20T17:58:24Z 18 pages, 3 figures Bhargav Narayanan http://arxiv.org/abs/2605.21366v1 2026-05-20T16:29:06Z

In the directed landscape, the Martin boundary coincides with the horofunction boundary. We show that functions in this boundary are precisely the eternal solutions possessing a spatial growth rate, and that the minimal Martin boundary is given by the Busemann functions. Moreover, every eternal solution can be expressed as a max-plus convex combination of countably many Busemann functions. Horofunctions are exactly those eternal solutions that admit a representation in terms of at most two Busemann functions with a common growth rate. As a consequence of instability, not all horofunctions are Busemann functions, and the Martin boundary is strictly larger than its minimal part.

2026-05-20T16:29:06Z 25 pages Firas Rassoul-Agha Mikhail Sweeney http://arxiv.org/abs/2508.11600v2 2026-05-20T11:26:01Z

An explicit solution to the Christoffel-Minkowski problem for convex bodies of revolution is presented. The conditions on the prescribed measure involve only first moments over spherical caps, and the support function of the resulting convex body is given by an explicit representation formula in terms of the measure. More generally, existence problems for mixed area measures are addressed. The approach relies on constructing explicit convex solutions to mixed Monge-Ampère equations on $\mathbb{R}^n$ under the assumption of radial symmetry, with the conditions on the measure being expressed through its values on open balls. As a special case, the Dirichlet problem for $k$-Hessian equations on $\mathbb{R}^n$ is treated.

2025-08-15T17:10:15Z Corrected the second part of Corollary 2.7 and adapted the proof of Lemma 4.2 accordingly. Updated references Fabian Mussnig Jacopo Ulivelli http://arxiv.org/abs/2605.20895v1 2026-05-20T08:35:43Z

We consider the asymptotics of sums of the form $$ \frac1{F_n^σ} \sum_{m = 1}^{F_n-1} \frac{f(m/F_n)}{\left|{\sin(πm/F_n)}\right|^σ} \frac{f(F_{n-1}m/F_n)}{\left|{\sin(πF_{n-1}m/F_n)}\right|^σ} $$ where $(F_n)_{n \in \mathbb N} = (1, 1, 2, 3, 5, 8, 13, \dots)$ are the Fibonacci numbers. Such sums appear, for example, in the context of discrepancy theory and numerical integration methods reformulated as energy minimization problems. We show that for parameters $σ> 1$ and a large class of functions $f$ the above sum behaves asymptotically like $$ C n + D + O\left((1-\varepsilon)^{n}\right) $$ for some constants $C$ and $D$. These constants can be given via infinite series connected to the Dedekind zeta function over the algebraic number field $\mathbb Q(\sqrt5)$. In special cases we even observe simple closed-form expressions for such sums as above, explicitly proving that $$ \sum_{m=1}^{F_n-1} \frac1{\sin(πm/F_n)^2} \frac1{\sin(πF_{n-1} m/F_n)^2} = \frac{4n}{75} F_{2n} - \frac{17}{225}F_n^2 - (-1)^n \frac2{15} - \frac19. $$

2026-05-20T08:35:43Z Melia Haase Nicolas Nagel http://arxiv.org/abs/2605.20840v1 2026-05-20T07:29:36Z

In a classical paper [20] in 2000, Lutwak-Yang-Zhang established the $L^p$ analog of the Petty projection inequality and the $L^p$ analog of the Busemann-Petty centroid inequality. In Section 7 of [20], Lutwak-Yang-Zhang proposed the important $L^p$ projection centroid conjecture. We give a positive solution to the $L^p$ projection centroid conjecture in this work.

2026-05-20T07:29:36Z Jin Dai Tuo Wang http://arxiv.org/abs/2605.20579v1 2026-05-20T00:37:35Z

We show that there are sets of $n$ points in the plane with $n$ arbitrarily large that contain more than $n^{1.014}$ pairs of points separated by a distance exactly $1$. This improves on very recent work of a team at OpenAI, who proved the same result with an inexplicit exponent greater than $1$, drastically improving on the best previous lower bound and disproving a conjecture of Erdős. The method is number-theoretic, relying on constructing algebraic number fields of large degree and small discriminant with many primes of small norm via a Golod-Shafarevich criterion argument.

2026-05-20T00:37:35Z Will Sawin http://arxiv.org/abs/2602.19913v2 2026-05-19T20:10:57Z

We show that the normalized Kähler-Ricci flow on a compact Kähler manifold with semiample canonical bundle converges in the Gromov-Hausdorff topology to the metric completion of the twisted Kähler-Einstein metric on the canonical model, as conjectured by Song-Tian's analytic mimimal model program.

2026-02-23T14:53:07Z 35 pages; fixed a gap and typos Man-Chun Lee Valentino Tosatti Junsheng Zhang http://arxiv.org/abs/2605.20419v1 2026-05-19T19:15:32Z

In this article, we define a locally finite graph $X$ as $η$-polynomially hyperbolic if there exists a Lipschitz map $\varphi : X \to Z$ to some hyperbolic space $Z$ satisfying the following condition: there exists $C \geq 0$ such that $$|B(p,R_1) \cap \varphi^{-1} (B(q,R_2))| \leq (C R_1)^{η(C R_2)} \text{ for all } p,q \in X, R_1,R_2 \geq 0.$$ The picture to keep in mind is that coarse fibres of $\varphi$ have polynomial growth with a degree coarsely controlled by $η$ as the thickness of the fibres grows. The map $η$ quantifies how brutal we have to be in order to turn $X$ into a hyperbolic space. Our main result is that, among cocompact special groups, being $\mathrm{lin}$-polynomially hyperbolic amounts not to contain $\mathbb{F}_2 \times \mathbb{F}_2$ as a subgroup. Consequently, containing $\mathbb{F}_2 \times \mathbb{F}_2$ as a subgroup turns out to be quasi-isometric invariant for cocompact special groups.

2026-05-19T19:15:32Z 33 pages, 11 figures. Comments are welcome! Anthony Genevois http://arxiv.org/abs/2605.20412v1 2026-05-19T19:07:51Z

We use the Brascamp--Lieb inequality from functional analysis to prove novel inequalities for the upper box, packing, and Assouad dimensions of fractal sets in terms of the dimensions of certain projections. Analogous inequalities do not hold for Hausdorff or lower box dimensions. We apply these fractal Brascamp--Lieb inequalities to establish new exceptional set estimates for orthogonal projections and to provide sharp dimension estimates for certain constrained sumsets. We also establish analogous nonlinear inequalities via the nonlinear Brascamp--Lieb inequality.

2026-05-19T19:07:51Z 18 pages Jonathan M. Fraser http://arxiv.org/abs/2605.20178v1 2026-05-19T17:59:08Z

We establish sharp inequalities for two-dimensional systolic invariants of metrics with positive scalar curvature: the $2$-systole and the spherical $2$-systole of compact Kähler manifolds, and the stable $2$-systole of Riemannian metrics on a general class of $\mathrm{spin}^c$ manifolds and their products. These bounds attain equality precisely for complex projective space $\mathbb{CP}^n$ equipped with the Fubini--Study metric, and admit further refinements for Fano manifolds which distinguish the complex quadric, cubic, and quartic with their canonical Kähler--Einstein structures. We also obtain an algebraic characterization of manifolds admitting Kähler metrics with non-negative total scalar curvature, which implies Gromov's rational-essentialness conjecture for Kähler metrics. Finally, we prove uniform bounds for the stable $2$-systole of $\mathrm{spin}^c$ manifolds under a general essentialness condition, as well as for the Gromov width, volume, and higher stable systoles of Kähler manifolds.

2026-05-19T17:59:08Z Raphael Tsiamis http://arxiv.org/abs/2605.20093v1 2026-05-19T16:48:15Z

A polygon is equable if its area is equal to its perimeter. A pair of polygons is an amicable pair if the area of the first is equal to the perimeter of the second, and vice versa. A polygon is a lattice polygon if its vertices lie on the integer lattice. We show that amicable lattice rhombuses are actually equable.

2026-05-19T16:48:15Z Bohdan Biekietov Iwan Praton Weiran Zeng