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.

A solution to Banach conjecture

2026-02-01T06:23:19Z

In this paper, we begin by constructing two families of origin-symmetric star bodies derived from the John ellipsoid of the sections. We then apply the level-set method to obtain a complete proof of Banach's isometric subspace problem in finite-dimensional spaces via the John ellipsoid.

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).

Wall singularity of spaces with an upper curvature bound

2026-01-30T07:45:03Z

We study typical wall singularity of codimension one for locally compact geodesically complete metric spaces with an upper curvature bound. We provide a geometric structure theorem of codimension one singularity, and a geometric characterization of codimension two regularity. These give us necessary and sufficient conditions for singular sets to be of codimension at least two.

Tangents to Lipschitz and Sobolev images

2026-01-30T02:37:00Z

We develop geometric versions of Rademacher and Calderon type differentiability theorems in two categories. A special case of our results is that for any Lipschitz or continuous $W^{1,p}$ Sobolev map $f$ from $[0,1]^n$ into a Euclidean space with $p>n$, the image $f([0,1]^n)$ has a unique tangent set (Attouch-Wets convergence) at almost every point with respect to the $n$-dimensional Hausdorff measure. In the analogous case when $f$ is a continuous $N^{1,p}$ map from $[0,1]^n$ into a metric space, we show that the image $f([0,1]^n)$ has a unique metric tangent (Gromov-Hausdorff convergence) almost everywhere. These results complement, but are distinct from Federer's theorem on existence and uniqueness of approximate tangents of $n$-rectifiable sets in $\mathbb{R}^d$. We show that approximate tangents to Sobolev images can be upgraded to Attouch-Wets or Gromov-Hausdorff tangents by first proving that the $n$-packing content of Sobolev images is finite, then proving that the inability to upgrade on a set of positive measure implies infinite packing content.

Illumination number of 3-dimensional cap bodies

2026-01-29T22:54:41Z

The illumination conjecture asserts that any convex body in $n$-dimensional Euclidean space can be illuminated by at most $2^n$ external light sources or parallel beams of light. Despite recent progress on the illumination conjecture, it remains open in general, as well as for specific classes of bodies. Bezdek, Ivanov, and Strachan showed that the conjecture holds for symmetric cap bodies in sufficiently high dimensions. Further, Ivanov and Strachan calculated the illumination number for the class of 3-dimensional centrally symmetric cap bodies to be 6. In this paper, we show that even the broader class of all 3-dimensional cap bodies has the same illumination number 6, in particular, the illumination conjecture holds for this class. The illuminating directions can be taken to be vertices of a regular tetrahedron, together with two special directions depending on the body. The proof is based on probabilistic arguments and integer linear programming.

Quantifying discontinuity

2026-01-29T18:24:04Z

Given a compact space $X$ that does not admit an embedding (an injective continuous function) into $\mathbb{R}^d$, we study the ''degree'' of discontinuity that any injective function $X \to \mathbb{R}^d$ must have. To this end, we define a scale invariant modulus of discontinuity and obtain general lower bounds, thus obtaining quantified nonembeddability results of Haefliger--Weber type. Moreover, we establish analogous lower bounds for simplicial complexes that do not admit an almost $r$-embedding in $\mathbb{R}^d$, thus obtaining a quantified version of the topological Tverberg theorem.

Isogonal conjugation in isosceles tetrahedron

2026-01-29T17:45:56Z

In this article we investigate the properties of isogonal conjugation in isosceles tetrahedron. Particularly we reveal three hyperbolic paraboloids each of which is formed by pairs of isogonal conjugate points symmetric in the respective bimedian, as well as we prove that the circumsphere of an isosceles tetrahedron is invariant under isogonal conjugation in that tetrahedron.

Distributional sectional curvature bounds for Riemannian metrics of low regularity

2026-01-29T14:30:34Z

Sectional curvature bounds are of central importance in the study of Riemannian manifolds, both in smooth differential geometry and in the generalized synthetic setting of Alexandrov spaces. Riemannian metrics along with metric spaces of bounded sectional curvature enjoy a variety of, oftentimes rigid, geometric properties. The purpose of this article is to introduce and discuss a new notion of sectional curvature bounds for manifolds equipped with continuous Riemannian metrics of Geroch--Traschen regularity, i.e., $H^1_{\mathrm{loc}} \cap C^0$, based on a distributional version of the classical formula. Our main result states that for $g \in C^1$, this new notion recovers the corresponding bound based on triangle comparison in the sense of Alexandrov. A weaker version of this statement is also proven for locally Lipschitz continuous metrics.

CLT for $β$-ensembles with Freud weights, application to the KLS conjecture in Schatten balls

2026-01-29T14:01:05Z

In this paper, we are interested in the $β$-ensembles (or 1D log-gas) with Freud weights, namely with a potential of the form $|x|^{p}$ with $p \geq 2$. Since this potential is not of class $\mathcal{C}^{3}$ when $p \in (2,3]$, most of the literature does not apply. In this singular setting, we prove a central limit theorem for linear statistics with general test-functions. Our strategy relies on establishing an optimal local law in the spirit of [Bourgade, Mody, Pain 22'. Our results allow us to give a consistency check of the KLS conjecture for the uniform distributions on $p$-Schatten balls and the functions $f(X)=\mathrm{Tr}\left(X^r\right)^q$. While the case $p>3$, $q=1$, $r=2$ was proven in [Dadoun, Fradelizi, Guédon, Zitt 23'], we address in the present paper the case $p\geq2$, $q\geq1$ and $r\geq2$ an even integer. The proofs are based on a link between the moments of norms of uniform laws on $p$-Schatten balls and the $β$-ensembles with Freud weights.