Reshetnyak Majorisation and discrete upper curvature bounds for Lorentzian length spaces

2026-05-04T15:32:05Z

We present an analogue to the Majorisation Theorem of Reshetnyak in the setting of Lorentzian length spaces with upper curvature bounds: given two future-directed timelike rectifiable curves $α$ and $β$ with the same endpoints in a Lorentzian length space $X$, there exists a convex region in $\mathbb{L}^2(K)$ bounded by two future-directed causal curves $\bar α$ and $\bar β$ with the same endpoints and a 1-anti-Lipschitz map from that region into $X$ such that $\bar α$ and $\bar β$ are respectively mapped $τ$-length-preservingly onto $α$ and $β$. A special case of this theorem leads to an interesting characterisation of upper curvature bounds via four-point configurations which is truly suitable for a discrete setting.

Self perimeter of convex sets

2026-05-04T14:44:34Z

This paper introduces a natural definition for the volume of the unit ball in $n$-dimensional normed spaces $\mathbb{R}^n$. This definition preserves the Euclidean relation $P(B)/V(B)=n$ between the perimiter and the volume of the unit ball $B$ in $R^n$. We show that this volume definition is invariant under origin-preserving affine transformations and polar duality. For $n=2$, we derive an explicit integral formula for the self-perimeter of the unit ball, extend it to non-centrally symmetric sets;. The construction is extended to $\mathbb{R}^n$ via a recursive integration over the boundary, utilizing $(n-1)$-dimensional volumes of planar intersections. Finally, we pose and discuss an Alexandrov-type problem for the associated surface measure, providing perturbative solutions in the 2D case. In particular we prove that, generically, any perturbation of the surface measure of the Euclidean 2-D disk yields a 4-fold symmetric convex set in the leading order.

Aperiodic points for outer billiards

2026-05-04T08:02:51Z

Euclidean outer billiard on a regular polygon (that is not a triangle, square or a hexagon) has aperiodic points, i.e., points where all iterates of the outer billiard map are defined and yield pairwise distinct images. This result answers a question of R. Schwartz posed at ICM 2022.

Quasiconformal characterization of Schottky sets

2026-05-04T06:40:47Z

The complement of the union of a collection of disjoint open disks in the $2$-sphere is called a Schottky set. We prove that a subset $S$ of the $2$-sphere is quasiconformally equivalent to a Schottky set if and only if every pair of complementary components of $S$ can be mapped to a pair of open disks with a uniformly quasiconformal homeomorphism of the sphere. Our theorem applies to Sierpiński carpets and gaskets, yielding for the first time a general quasiconformal uniformization result for gaskets. Moreover, it contains Bonk's uniformization result for carpets as a special case and does not rely on the condition of uniform relative separation that is used in relevant works.

Gradient estimate and Universal bounds for semilinear elliptic equations on RCD$^*$(K,N) metric measure spaces

2026-05-04T04:12:51Z

We derive logarithmic gradient estimate and universal boundedness estimate for semilinear elliptic equations on \RCD\, metric measure spaces, which contains the class of Riemannian manifolds with Ricci curvature bounded below. These estimates are applicable for equations satisfying subcritical index condition,which recover many classical results even on Euclidean spaces. In certain case, these estimates are optimal even on \RCD\,\,spaces with $K<0$. Two direct corollaries of these estimates are Harnack inequality and Liouville theorem. In addition to these estimates, we also establish fundamental relations among the universal boundedness estimate, the logarithmic gradient estimate, and Harnack inequality. Under certain and wild assumptions for the nonlinear term, we prove that these estimates are $κ$-equivalent on \RCDO\,spaces for any $κ>1$.

The twisted coarse Baum--Connes conjecture and relative hyperbolic groups

2026-05-03T21:33:02Z

In this paper, we introduce a notion of stable coarse algebras for metric spaces with bounded geometry, and formulate the twisted coarse Baum--Connes conjecture with respect to stable coarse algebras. We prove permanence properties of this conjecture under coarse equivalences, unions and subspaces. As an application, we study higher index theory for a group $G$ that is hyperbolic relative to a finite family of subgroups $\{H_1, H_2, \dots, H_N\}$. We prove that $G$ satisfies the twisted coarse Baum--Connes conjecture with respect to any stable coarse algebra if and only if each subgroup $H_i$ does.

Expected perimeter of the convex hull of planar Brownian motion stopped upon exiting the unit disk

2026-05-03T20:49:58Z

We study the convex hull of planar Brownian motion run until the exit time from the unit disk. Our primary objective is to compute the expected perimeter of this convex hull, thereby complementing recent results on the convex hull of reflecting Brownian motion in confined geometries. We reduce the problem to computing the expected value of the Brownian motion's maximum horizontal displacement at the exit time, and then recast this maximum in terms of harmonic measure in a domain we call the truncated disk. In particular, we obtain an exact expression for the expected perimeter. We also obtain nontrivial bounds and a Monte Carlo estimate for the expected area of this convex hull and comment on why computing the exact expected area is a much harder problem. We conclude with further results on the expected areas of two related hulls of the path run until exiting the disk, namely, the star hull and topological hull.

A revision of Litvak's conjecture on Gaussian minima and a volumetric zone conjecture

2026-05-03T19:17:26Z

Litvak (2018) conjectured that, for any $p > 0$, the quantity $\mathbb{E}[\min_{i = 1}^n |g_i|^p]$ where $g \sim \mathcal{N}(0, Σ)$ is a centered Gaussian random vector is minimized among $n \times n$ correlation matrices $Σ$ by the Gram matrix of the regular simplex in $\mathbb{R}^{n - 1}$. We disprove this conjecture: the matrix with entries $Σ^{\mathrm{cos}}_{ij}=\cos(π(i - j) / n)$ already achieves a smaller moment for $p = 2$ and $n = 4$. We propose that $Σ^{\mathrm{cos}}$ is in fact the correct minimizer of these moments for all $p > 0$ and $n \geq 1$. Towards proving this, we conjecture a volumetric extension of Fejes Tóth's zone conjecture (1973), whose covering version was proved by Jiang and Polyanskii (2017). Conditional on this conjecture, we show the stronger result that $\min_{i = 1}^n |g_i|$ for $g \sim \mathcal{N}(0, Σ^{\mathrm{cos}})$ is stochastically dominated by $\min_{i = 1}^n |h_i|$ for $h \sim \mathcal{N}(0, Σ)$ for any $n \times n$ correlation matrix $Σ$. Our counterexample $Σ^{\mathrm{cos}}$ was found by the AlphaEvolve AI-assisted optimization system, and we also include a brief discussion of its application to such problems.

How Thick Is the Sierpiński Triangle?

2026-05-02T14:50:08Z

Although the Sierpiński triangle has planar area $0$, it is uniformly non-flat: at every point and every scale, its nearby points span a two-dimensional region of comparable size. We prove a sharp version of this statement, showing that the Feng--Wu thickness of $E$ is exactly $\sqrt{3}/6$, the inradius of a unit equilateral triangle. More precisely, if $E$ is the standard Sierpiński triangle of side length $1$ and $B(x,r)$ denotes the closed disk of radius $r$ centered at $x$, then for every $x\in E$ and every $0

The proximal point method and its two variants for monotone vector fields in Hadamard spaces

2026-05-02T09:57:20Z

We prove existence and convergence of sequences generated by the proximal point method and its two variants for monotone vector fields in Hadamard spaces. Before obtaining our results, we investigate some fundamental properties of tangent spaces, resolvents, and monotone vector fields in such spaces.

Sion's minimax theorem and the proximal point algorithm in Hadamard spaces

2026-05-01T15:22:40Z

We obtain Sion's minimax theorem in Hadamard spaces and discuss its applications. Among other things, we study several fundamental properties of resolvents of saddle functions in Hadamard spaces. An application to the proximal point algorithm for minimax problems in Hadamard spaces are also included.

On convex bodies with constant non-central sections

2026-05-01T00:03:31Z

We prove that if $C$ is a symmetric convex body of revolution in $\mathbb R^4$ containing the unit Euclidean ball $\mathbb B_4$, such that the sections of $C$ by hyperplanes tangent to $\mathbb B_4$ have constant area $A>0$, then $C$ is a Euclidean ball, provided $\frac 1π \arctan((\frac{3A}{4π})^{1/3})$ satisfies certain arithmetic properties that can be read from its expansion as a continued fraction. We show that the set of values $A$ satisfying these properties has positive Hausdorff dimension.

Lipschitz rigidity for scalar curvature on singular manifolds in odd dimensions

2026-04-30T19:17:37Z

The main result of this article is a Llarull-type rigidity statement for scalar curvature on Riemannian spin manifolds with cone-like singularities in odd dimensions. The even dimensional analog was proven in an earlier work together with Simone Cecchini, Bernhard Hanke and Thomas Schick using index theory and the analysis of abstract cone operators, which applies to Dirac operators associated with generalized cone metrics. We will extend the analysis of abstract cone operators, apply it to twisted Dirac operators on singular manifolds and combine it with a spectral flow argument to prove the main result.

Geometric densities and compression radii of knot types

2026-04-30T14:19:43Z

We study scale-invariant geometric quantities associated with embedded closed curves in Euclidean three-space, with an emphasis on their behavior under optimization within a fixed knot type. Given a Euclidean-invariant and scale-covariant size functional $D$, we define the $D$-density of a curve $γ$ by $\len(γ)/D(γ)$, the $D$-compression radius by $D(γ)/\Thi(γ)$, and the corresponding packing ratio as its reciprocal. For a single representative, ropelength factors as the product of the $D$-density and the $D$-compression radius. The main point is not this formal cancellation, but the separation it suggests after optimization: the density, compression, packing, and ropelength problems generally have different minimizing sequences. We develop this factorization framework for general scale-covariant size functionals. We prove the basic optimized inequality, give a criterion for equality after optimization, and compute the unknot case for the diameter and the minimal enclosing radius. We also prove polygonal approximation results for compression radii when $D=\diam$ and when $D=R_{\min}$, using standard convergence properties of polygonal thickness, and formulate the corresponding hypotheses for other $L^p$-type size functionals. Finally, we discuss relations with distortion, trunk, and supertrunk. The framework is intended as a structural companion to density-type invariants, rather than as an immediate source of stronger ropelength lower bounds. In particular, the optimized factorization by itself does not yield new ropelength bounds; such bounds require independent estimates for the density and compression factors.

Conic locus of inversive Poncelet circumcenter and two points of invariant circle power

2026-04-30T13:31:32Z

We prove that over a generic Poncelet triangle family, the locus of the circumcenter of an inversive triangle is a conic. Additionally, we prove an earlier conjecture: over generic Poncelet triangles, two unique points exist which maintain constant power with respect to the circumcircle and Euler's circle of the family, respectively.