Desargues's and Pappus's hexagon theorems on translation-type surfaces in Thurston geometries

2026-02-02T19:01:59Z

In \cite{Sz25} we generalized the famous Menelaus' and Ceva's theorems for translation triangles in each non-constant curvature Thurston geometry. In this paper based on the described method and results, we prove that the classical Desargues's and Pappus's hexagon theorems are true not only in classical geometries with constant curvature, but also in Thurston geometries with non-constant curvature on the translation surfaces. In our work we use the unified projective models of Thurston geometries.

Semicontinuity of capacity under pointed intrinsic flat convergence

2026-02-02T15:25:18Z

The concept of the capacity of a compact set in $\mathbb R^n$ generalizes readily to noncompact Riemannian manifolds and, with more substantial work, to metric spaces (where multiple natural definitions of capacity are possible). Motivated by analytic and geometric considerations, and in particular Jauregui's definition of capacity-volume mass and Jauregui and Lee's results on the lower semicontinuity of the ADM mass and Huisken's isoperimetric mass, we investigate how the capacity functional behaves when the background spaces vary. Specifically, we allow the background spaces to consist of a sequence of local integral current spaces converging in the pointed Sormani--Wenger intrinsic flat sense. For the case of volume-preserving ($\mathcal{VF}$) convergence, we prove two theorems that demonstrate an upper semicontinuity phenomenon for the capacity: one version is for balls of a fixed radius centered about converging points; the other is for Lipschitz sublevel sets. Our approach is motivated by Portegies' investigation of the semicontinuity of eigenvalues under $\mathcal{VF}$ convergence. We include examples to show the semicontinuity may be strict, and that the volume-preserving hypothesis is necessary. Finally, there is a discussion on how capacity and our results may be used towards understanding the general relativistic total mass in non-smooth settings.

Gromov hyperbolic domains in Minkowski space

2026-02-02T15:00:16Z

We investigate domains in Minkowski space that are Gromov hyperbolic with respect to a Kobayashi-like metric introduced by Markowitz in the 1980s. For convex, future complete domains, Gromov hyperbolicity is shown to be equivalent to the stable acausality of the boundary. An analogous characterization is obtained for bounded, convex, causally convex domains in terms of the stable acausality of their Geroch--Kronheimer--Penrose causal boundaries. Our approach is based on explicit comparisons between the Markowitz metric, the Sormani--Vega null distance and the quasi-hyperbolic metric. We also make use of dynamical arguments similar to those of Benoist and Zimmer in projective and complex geometry. Finally, we compare the Markowitz metric to the Hilbert metric.

Continuity of the solution map for hyperbolic polynomials

2026-02-02T14:24:57Z

Hyperbolic polynomials are monic real-rooted polynomials. By Bronshtein's theorem, the increasingly ordered roots of a hyperbolic polynomial of degree $d$ with $C^{d-1,1}$ coefficients are locally Lipschitz and the solution map "coefficients-to-roots" is bounded. We prove continuity of this solution map from hyperbolic polynomials of degree $d$ with $C^d$ coefficients to their increasingly ordered roots with respect to the $C^d$ structure on the source space and the Sobolev $W^{1,q}$ structure, for all $1 \le q<\infty$, on the target space. Continuity fails for $q=\infty$. As a consequence, we obtain continuity of the local surface area of the roots as well as local lower semicontinuity of the area of the zero sets of hyperbolic polynomials. We also discuss applications for the eigenvalues of Hermitian matrices and singular values.

The rigidity problem for uniform Roe algebras

2026-02-02T11:57:27Z

We solve the rigidity problem for uniform Roe algebras, by showing that two uniformly locally finite metric spaces with isomorphic uniform Roe algebras are bijectively coarsely equivalent.

Curvature Preserving Fractal Interpolation Functions: A Hybrid Geometric Approach

2026-02-02T06:31:48Z

Fractal interpolation functions (FIFs) generated using iterated function systems (IFS) provide a powerful framework for modeling self-similar and irregular data, yet traditional constructions often neglect geometric fidelity such as curvature. In this paper, we introduce a curvature-preserving variant of FIFs built upon a classical cubic spline interpolant. We define a curvature-aware iterated function system (IFS) with parameters optimized via a penalty-based approach to minimize deviation from the curvature of the classical spline. Theoretical conditions for interpolation and curvature approximation are derived. We compare the curvature of the proposed FIF with that of the classical cubic spline and discrete data curvature across multiple examples. Our method achieves both data interpolation and shape fidelity, preserving curvature more accurately than standard splines. The approach has potential applications in geometric modeling, computer graphics, and scientific data interpolation.

Grassmannian spines, projection closure operators, and diametric sweeps

2026-02-02T01:03:35Z

For positive integers $r

Urysohn width and macroscopic scalar curvature

2026-02-01T21:00:21Z

We show that the macroscopic version of Gromov's Urysohn width conjecture for scalar curvature is false in dimensions four and above. This is based on (1) a novel estimate on the codimension two Urysohn width of circle bundles over manifolds with large hypersphericity radius, and (2) a notion of ruling for Riemannian manifolds that yields circle bundles with total spaces admitting metrics of positive macroscopic scalar curvature. Along the way, we also show that Urysohn width is not continuous under Cheeger-Gromov collapsing limits. This article is a continuation of our study of metric invariants and scalar curvature for circle bundles over large Riemannian manifolds initiated in [KS25].

A refinement of the Sylvester problem: Probabilities of combinatorial types

2026-02-01T12:55:19Z

Let $X_1,\ldots, X_{d+2}$ be random points in $\mathbb R^d$. The classical Sylvester problem asks to determine the probability that the convex hull of these points, denoted by $P:= [X_1,\ldots, X_{d+2}]$, is a simplex. In the present paper, we study a refined version of this problem which asks to determine the probability that $P$ has a given combinatorial type. It is known that there are $\lfloor d/2\rfloor+1$ possible combinatorial types of simplicial $d$-dimensional polytopes with at most $d+2$ vertices. These types are denoted by $T_0^d, T_1^d, \ldots, T_{\lfloor d/2 \rfloor}^d$, where $T_0^d$ is a simplex with $d+1$ vertices, while the remaining types have exactly $d+2$ vertices. Our aim is thus to compute the probability $$ p_{d,m} := \mathbb P[P \text{ is of type } T_{m}^d], \qquad m\in \{0,1,\ldots, \lfloor d/2 \rfloor\}. $$ The classical Sylvester problem corresponds to the case $m=0$. We shall compute $p_{d,m}$ for all $m$ in the following cases: (a) $X_1,\ldots, X_{d+2}$ are i.i.d. normal; (b) $X_1,\ldots, X_{d+2}$ follow a $d$-dimensional beta or beta prime distribution, which includes the uniform distribution on the ball or on the sphere as special cases; (c) $X_1,\ldots, X_{d+2}$ form a random walk with exchangeable increments. As a by-product of case (a) we recover a recent solution to Youden's demon problem which asks to determine the probability that, in a one-dimensional i.i.d. normal sample $ξ_1,\ldots, ξ_n$, the empirical mean $\frac 1n (ξ_1 + \ldots + ξ_n)$ lies between the $k$-th and the $(k+1)$-st order statistics. We also consider the conic (or spherical) version of the refined Sylvester problem and solve it in several special cases.

Algorithms for orthogonal partitioning into four parts

2026-01-31T18:17:04Z

The famous pancake theorem states that for every finite set $X$ in the plane, there exist two orthogonal lines that divide $X$ into four equal parts. We propose an algorithm whose running time is linear in the number of points in $X$ and prove that this complexity is optimal. We also consider generalizations of the pancake theorem and show that orthogonal hyperplanes can be found in polynomial time.

Pullback theorem and rigidity for Sobolev mappings on Carnot groups

2026-01-31T13:43:35Z

We study the pullback theorem of Sobolev mappings on Carnot groups via mollification of mappings. With the pullback theorem we extend the classical result proved by Xiangdong Xie : Rigidity of Sobolev mappings $W^{1,p}(G_1;G_2)$ for $p>ν$, to the case $p<ν$, where $ν$ is the homogeneous dimension of $G_1$. Therefore, some conclusions about continuity of Sobolev mappings on Carnot groups for $p<ν$ are found. And also, the determine of horizontal gradient $D_Hf$ is invariant under the motion related to higher layer left-invariant vector fields. At last, we find a equivalent definition of quasiconformal mappings with lower integrability $dim(g^{[1]})

Cutting corners

2026-01-31T12:59:54Z

We say that a subset $M$ of $\mathbb R^n$ is exponentially Ramsey if there are $ε>0$ and $n_0$ such that $χ(\mathbb R^n,M)\ge(1+ε)^n$ for any $n>n_0$, where $χ(\mathbb R^n,M)$ stands for the minimum number of colors in a coloring of $\mathbb R^n$ such that no copy of $M$ is monochromatic. One important result in Euclidean Ramsey theory is due to Frankl and Rödl, and states the following (under some mild extra conditions): if both $N_1$ and $N_2$ are exponentially Ramsey then so is $N_1\times N_2$. Applied several times to two-point sets, this result implies that any subset of a `hyperrectangle' is exponentially Ramsey. However, generally, such `embeddings' result in very inefficient bounds on the aforementioned $ε$. In this paper, we present another way of combining exponentially Ramsey sets, which gives much better estimates in some important cases. In particular, we show that the chromatic number of $\mathbb R^n$ with a forbidden equilateral triangle satisfies $χ(\mathbb R^n,\triangle)\ge\big(1.0742...+o(1)\big)^n$, greatly improving upon the previous constant $1.0144$. We also obtain similar strong results for regular simplices of larger dimensions, as well as for related geometric Ramsey-type questions in Manhattan norm. We then show that the same technique implies several interesting corollaries in other combinatorial problems. In particular, we give an explicit upper bound on the size of a family $\mathcal F\subset2^{[n]}$ that contains no weak $k$-sunflowers, i.e. no collection of $k$ sets with pairwise intersections of the same size. This bound improves upon previously known results for all $k\ge4$. Finally, we also present a simple deduction of the (other) celebrated Frankl--Rödl theorem from an earlier result of Frankl and Wilson. It gives probably the shortest known proof of Frankl and Rödl result with the most efficient bounds.

Topological Residual Asymmetry for Bivariate Causal Direction

2026-01-31T00:38:53Z

Inferring causal direction from purely observational bivariate data is fragile: many methods commit to a direction even in ambiguous or near non-identifiable regimes. We propose Topological Residual Asymmetry (TRA), a geometry-based criterion for additive-noise models. TRA compares the shapes of two cross-fitted regressor-residual clouds after rank-based copula standardization: in the correct direction, residuals are approximately independent, producing a two-dimensional bulk, while in the reverse direction -- especially under low noise -- the cloud concentrates near a one-dimensional tube. We quantify this bulk-tube contrast using a 0D persistent-homology functional, computed efficiently from Euclidean MST edge-length profiles. We prove consistency in a triangular-array small-noise regime, extend the method to fixed noise via a binned variant (TRA-s), and introduce TRA-C, a confounding-aware abstention rule calibrated by a Gaussian-copula plug-in bootstrap. Extensive experiments across many challenging synthetic and real-data scenarios demonstrate the method's superiority.

A minimal regularity for the area formula in the Engel group

2026-01-30T21:49:45Z

We prove that the upper blow-up theorem in the Engel group holds for $C^1$ submanifolds. Combining this result with the known negligibility of the singular set, we obtain an integral representation of the spherical measure for all surfaces of class $C^{1,α}$ in the Engel group. A new and central aspect of our method is the suitable use of Stokes' theorem to prove the upper blow-up, which relies on the special algebraic structure of left-invariant forms in the Engel group. Some general tools are also introduced to establish area formulas in arbitrary stratified group.

Characterizations of generalized convex bodies of revolution

2026-01-30T19:34:22Z

In this work we prove that either a sequence of axes of symmetry or a sequence of hyperplanes of symmetry of a convex body $K$ in the Euclidean space $E^d, d>2$, are enough to guarantee that $K$ is a generalized body of revolution (and in some cases a sphere).