Hausdorff-type metric geometry of the space of Cauchy hypersurfaces

2026-04-13T17:48:45Z

We equip the space of Cauchy hypersurfaces in a globally hyperbolic spacetime with a natural Hausdorff-type metric and study its properties, in particular completeness and local compactness, for Lorentzian manifolds and in more general synthetic Lorentzian settings. For this purpose, we also generalize results on completeness properties of spacetimes due to Beem and Takahashi.

The equivalence between timelike Ricci curvature and the timelike Brunn Minkowski inequality on synthetic Lorentzian spaces

2026-04-13T17:39:18Z

We introduce the strong $q$-timelike Brunn-Minkowski condition $\mathsf{sTBM}_q(K,N)$ on synthetic Lorentzian spaces, for $0

Regular polygons

2026-04-13T13:16:18Z

The construction of regular polygons with a compass and straightedge is a well-known task and this problem has interested mathematicians for a long time. In particular, for a long time they could not answer the question of whether is it possible to construct a regular 17-gon with a compass and straightedge. C. F. Gauss solved this problem in 1796. He proved later that it is possible to construct with a compass and straightedge the regular polygons with $n=2^m n_1\cdots n_l$ sides, where $n_1,\cdots, n_l$ are different prime numbers of the form $\; n_k=2^{2^{ν_k}}+1$. P. Wantzel proved in 1837 that only these regular polygons can be constructed. Essential is here the construction of the regular polygons with $n_k=2^{2^{ν_k}}+1$ sides. The currently known prime numbers of the form $n=2^{2^ν}+1$ are $3, 5, 17, 257$ and $65537$. In the paper we present a new approach for solving this task. Among other things we analyze in detail the case of $n=65537$. J. G. Hermes announced in 1894 that he had a full description of the construction of the 65537-gon. This was the result of 10 years of work, but his text was too extensive and was never published. We show exactly and without gaps how the regular 65537-gon can be constructed.

On the general no-three-in-line problem

2026-04-13T01:16:47Z

In this paper, we show that the number of points that can be placed in the grid $n\times n\times \cdots \times n~(d~times)=n^d$ for all $d\in \mathbb{N}$ with $d\geq 2$ so that no three points are collinear satisfies the lower bound \begin{align} \gg n^{d-1}\sqrt[2d]{d}.\nonumber \end{align} This extends the result of the no-three-in-line problem to all dimension $d\geq 3$.

Approximating Continuous Motions of Geometric Constraint Systems

2026-04-12T13:50:12Z

The realization space of geometric constraint systems is given by the vanishing locus of polynomials corresponding to natural geometric constraints. Such geometric constraint systems arise in many real-world scenarios such as structural engineering and soft matter physics. When a geometric constraint system is flexible, it admits continuous deformations. The ability to explicitly compute such continuous motions is essential for analyzing the constraint system's quasistatic or elastic properties. However, this task is computationally challenging, even for comparatively simple geometric constraint systems, making numerical strategies attractive. In this article, we present a general numerical framework for approximating continuous motions of geometric constraint systems given by quadratic polynomials. Our approach combines Riemannian optimization with numerical algebraic geometry to construct continuous motions via the metric projection onto the constraint set. By using homotopy continuation, we ensure that the computed motions correspond to genuine solutions of the constraint system and avoid numerical artifacts such as path-jumping. To handle singularities and over-determined systems, we introduce theoretical enhancements including randomization, adaptive step size control and a second-order analysis. These methods are implemented in the Julia package DeformationPaths.jl, which supports a broad class of geometric constraint systems and demonstrates its robust and effective performance across a wide range of test cases.

Homotopy connectivity of Čech complexes of spheres

2026-04-12T03:35:31Z

Let $S^n$ be the $n$-sphere with the geodesic metric and of diameter $π$. The intrinsic Čech complex of $S^n$ at scale $r$ is the nerve of all open balls of radius $r$ in $S^n$. In this paper, we show how to control the homotopy connectivity of Čech complexes of spheres at each scale between $0$ and $π$ in terms of coverings of spheres. Our upper bound on the connectivity, which is sharp in the case $n=1$, comes from the chromatic numbers of Borsuk graphs of spheres. Our lower bound is obtained using the conicity (in the sense of Barmak) of Čech complexes of the sufficiently dense, finite subsets of $S^n$. Our bounds imply the new result that for $n\ge 1$, the homotopy type of the Čech complex of $S^n$ at scale $r$ changes infinitely many times as $r$ varies over $(0,π)$; we conjecture only countably many times. Additionally, we lower bound the homological dimension of Čech complexes of finite subsets of $S^n$ in terms of their packings.

Rigidity in the Planar Ulam Floating Body Problem with perimetral density $σ=\tfrac16$

2026-04-11T19:26:52Z

We study the two-dimensional Ulam's floating body problem for convex domains with perimetral density $σ=\tfrac16$. Using the framework of Zindler carousels, we reduce the problem to a two-dimensional dynamical system associated with an inscribed equilateral hexagon. Our main result shows that the disk is the only convex domain floating in equilibrium in every position for this perimetral density. This provides a new rigidity result for rational perimetral densities in the convex setting.

A new characterization of Sobolev spaces on Lipschitz differentiability spaces

2026-04-11T16:07:06Z

Numerous characterizations of Sobolev norms via the asymptotic behavior of non-local functionals have been established over the past decades; however, their validity beyond the PI framework remains poorly understood. We establish such a characterization on Lipschitz differentiability spaces without assuming either the doubling condition or a Poincaré inequality, by proving sharp two-sided Brezis--Van Schaftingen--Yung type asymptotic formulas. We also construct sharp counterexamples revealing the necessity of our assumptions, and provide several examples which are of independent interest.

The Maximum of the Volume of a Cevian Simplex and its Parts

2026-04-11T14:59:49Z

The cevian triangle corresponding to an interior point $M$ of a triangle is the triangle determined by the feet of the three cevians concurrent at $M$. It is known that the area of the cevian triangle for an interior point $M$ of a triangle is at most $\frac{1}{4}$ of the area of the triangle, with maximum attained when $M$ is the triangle's centroid. This can be generalized from triangles to $n$-dimensional simplices, with $\frac{1}{4}$ replaced by $\frac{1}{n^n}$, using barycentric coordinates. We also use this method to solve two optimization problems about the parts of this simplex.

Convergence order of the quantization error for self-affine measures on Lalley-Gatzouras carpets

2026-04-11T14:16:28Z

Let $E$ be a Lalley-Gatzouras carpet determined by a set of contractive affine mappings $\{f_{ij}\}_{(i,j)\in G}$. We study the asymptotics of quantization error for the self-affine measures $μ$ on $E$. We prove that the upper and lower quantization coefficient for $μ$ are both bounded away from zero and infinity in the exact quantization dimension. This significantly generalizes the previous work concerning the quantization for self-affine measures on Bedford-McMullen carpets. The new ingredients lie in the method to bound the quantization error for $μ$ from below and that to construct auxiliary measures by applying Prohorov's theorem.

Limits of manifolds with boundary I

2026-04-11T07:51:23Z

In this paper, we develop the infinitesimal geometry of the limit spaces of compact Riemannian manifolds with boundary, where we assume lower bounds on the sectional curvatures of manifolds and boundaries and the second fundamental forms of boundaries and an upper diameter bound. We mainly focus on the case when inradii of manifolds are uniformly bounded away from zero. In this case, many limit spaces have wild geometry, which arise as the boundary singular points of the limit spaces. We determine the infinitesimal structure at those boundary singular points. We also determine the Hausdorff dimensions of the boundary singular sets.

On weak formulations of (super) Ricci flows

2026-04-11T03:31:29Z

We present two characterizations of smooth compact Ricci flow solutions solely in terms of metrics and measures (one of them only works under positive scalar curvature along the flow); thus, provide weak formulations that are generalized to the singular setting in a straightforward manner. These formulations are achieved by weakly formulating super Ricci flows and imposing a saturation condition (solely in terms of metric and measure) to ensure the super Ricci flow inequality is an equality.

Classification of generalized Seifert fiber spaces

2026-04-09T21:02:47Z

We provide a symbolic classification of generalized Seifert fiber spaces, which were introduced by Mitsuishi and Yamaguchi in the classification of collapsing Alexandrov $3$-spaces. Additionally, we show that the canonical double branched cover of a non-manifold generalized Seifert fiber space is a Seifert manifold and compute its symbolic invariants in terms of those of the original space.

Effective Brascamp-Lieb inequalities

2026-04-09T14:30:22Z

We establish an effective upper bound for the Brascamp-Lieb constant associated to a weighted family of linear maps.

Central Limit Theorem for Random Partial Sphere Coverings in High Dimensions

2026-04-09T01:55:49Z

We study a random partial covering model on the $(d-1)$-dimensional unit sphere, where $N$ spherical caps are placed independently and uniformly at random, each covering a surface fraction of $1/N$. This model provides a continuous geometric analogue of the classical balls-into-bins problem. We establish a Central Limit Theorem for the volume of the resulting random partial covering, showing that its fluctuations are asymptotically Gaussian. Moreover, we obtain a quantitative bound on the rate of convergence in the Kolmogorov distance. Our results hold both in fixed dimension and in a high-dimensional regime where the dimension grows at most logarithmically with $N$.