https://arxiv.org/api/WuOM1wTXX1bf7rKKRbNRGd49FNU 2026-06-22T13:44:59Z 13068 1020 15 http://arxiv.org/abs/2504.04337v3 2025-11-12T15:18:29Z

Inspired by Milman's recent observation, we prove that the Gaussian correlation inequality holds for convex sets having the same barycenter, and especially for centered ones. This gives an affirmative answer to the problem proposed by Szarek and Werner. We also characterize the equality case. The study of the equality case in the non-symmetric Gaussian correlation inequality relates to the following question: Let $X$ be a standard Gaussian random vector in $\mathbb{R}^n$. For which convex sets $K_1,K_2 \subset \mathbb{R}^n$, are the two events $\{X\in K_1\}$ and $\{X\in K_2\}$ independent? By imposing an additional normalization that $K_1$ and $K_2$ have the same barycenter, we give the necessary and sufficient conditions for this independence. The conditions also identify when $\|X\|_{K_1}$ and $\|X\|_{K_2}$ are independent as random variables.

2025-04-06T03:09:53Z 36 pages. V2:Changed the title, fixed the condition (3.4), and added Section 5 in which the case of equality is discussed. V3:New abstract and introduction Shohei Nakamura Hiroshi Tsuji http://arxiv.org/abs/2511.09317v1 2025-11-12T13:27:01Z

We investigate shrinking maps from a cusped hyperbolic surface into the moduli space of closed Riemann surfaces. For such a map and its lift to the Teichmüller space, we consider whether they are quasi-isometric embeddings with respect to natural metrics like the Teichmüller distance and the intrinsic distance. Under a mild condition, we prove that these properties are characterised solely by the map's monodromy. These characterisations apply, in particular, to holomorphic maps.

2025-11-12T13:27:01Z 17p., 1 figure Yibo Zhang http://arxiv.org/abs/1703.03297v12 2025-11-12T12:33:48Z

Let n points be placed on a closed convex domain on the plane, no three points on a straight line. A conjecture by H. A. Heilbronn (before 1950) stated that on the convex domain of unit area the smallest triangle defined by these points has an area not larger than O(n^-2). Here is shown a construction of a set of n points on a unit circle where any of the triangles have an area not less than O(n^-3/2 * (log n)^-7/2).

2017-03-08T11:57:42Z 7 pages, 2 figures Gabor Ellmann http://arxiv.org/abs/2511.09076v1 2025-11-12T07:49:59Z

As a generalization of equiangular lines, equiangular subspaces were first systematically studied by Balla, Dräxler, Keevash and Sudakov in 2017. In this paper, we extend their work to $s$-distance subspaces, i.e., to sets of $k$-dimensional subspaces in $\mathbb{R}^n$ whose pairwise distances take $s$ distinct values. We establish upper bounds on the maximum cardinality of such sets. In particular, our bounds generalize and improve results of Balla and Sudakov.

2025-11-12T07:49:59Z LiXia Wang Ke Ye http://arxiv.org/abs/2510.10367v2 2025-11-12T06:02:00Z

We introduce a coarse analog of the classical Lusternik-Schnirelmann category which we denote by $\text{c-cat}$, defined for metric spaces in the coarse homotopy category. This provides a new tool for studying large-scale topological properties of groups and spaces. We establish that $\text{c-cat}$ is a coarse homotopy invariant and prove a lower-bound $\text{p-cat}(Γ)\leq \text{c-cat}(Γ)$ for geometrically finite groups $Γ$, where $\text{p-cat}$ denotes the proper LS-category introduced in 1992 by Ayala and co-authors. We also prove an upper bound $\text{c-cat}(Γ) \leq \text{asdim}(Γ)$ for bicombable 1-ended groups which are semistable at $\infty$.

2025-10-11T23:19:41Z 20 Pages, 3 figures. Re-uploaded to include figures and author contact information Aditya De Saha http://arxiv.org/abs/2407.00770v3 2025-11-11T20:54:24Z

Through the use of sub-Riemannian metrics we provide quantitative estimates for the maximal tight neighbourhood of a Reeb orbit on a three-dimensional contact manifold. Under appropriate geometric conditions we show how to construct closed curves which are boundaries of overtwisted disks. We introduce the concept of \emph{contact} Jacobi curve, and prove lower bounds of the so-called tightness radius (from a Reeb orbit) in terms of Schwarzian derivative bounds. We compare these results with the corresponding ones from [Etnyre, Komendarczyk, Massot - Invent. Math. 2012 and Trans. Amer. Math. Soc. 2016], and we show that our estimates are sharp for classical model structures. We also prove similar, but non-sharp, estimates in terms of sub-Riemannian canonical curvature bounds. We apply our results to K-contact sub-Riemannian manifolds. In this setting, we prove a contact analogue of the celebrated Cartan--Hadamard theorem.

2024-06-30T17:19:15Z accepted version. To appear on Nonlinearity Nonlinearity, Volume 38, Number 11, 2025 Andrei A. Agrachev Stefano Baranzini Eugenio Bellini Luca Rizzi 10.1088/1361-6544/ae19be http://arxiv.org/abs/2504.11302v4 2025-11-11T20:43:37Z

The Hausdorff dimension of a set can be detected using the Riesz energy. Here, we consider situations where a sequence of points, $\{x_n\}$, ``fills in'' a set $E \subset \mathbb{R}^d$ in an appropriate sense and investigate the degree to which the discrete analog to the Riesz energy of these sets can be used to bound the Hausdorff dimension of $E$. We also discuss applications to data science and Erdős/Falconer type problems.

2025-04-15T15:45:14Z Hari Sarang Nathan http://arxiv.org/abs/2511.08494v1 2025-11-11T17:32:50Z

Tarski's first-order axiom system $\mathscr{E}_{2}$ for Euclidean geometry is notable for its completeness and decidability. However, the Pythagorean theorem -- either in its modern algebraic form $a^{2}+b^{2}=c^{2}$ or in Euclid's Elements -- cannot be directly expressed in $\mathscr{E}_{2}$, since neither distance nor area is a primitive notion in the language of $\mathscr{E}_{2}$. In this paper, we introduce an alternative axiom system $\mathscr{E}_{d}$ in a two-sorted language, which takes a two-place distance function $d$ as the only geometric primitive. We also present a conservative extension $\mathscr{E}_{da}$ of it, which also incorporates a three-place angle function $a$. The system $\mathscr{E}_{d}$ has two distinctive features: it is simple (with a single geometric primitive) and it is quantitative. Numerical distance can be directly expressed in this language. The Axiom of Similarity plays a central role in $\mathscr{E}_{d}$, effectively killing two birds with one stone: it provides a rigorous foundation for the theory of proportion and similarity, and it implies Euclid's Parallel Postulate (EPP). The Axiom of Similarity can be viewed as a quantitative formulation of EPP. The Pythagorean theorem and other quantitative results from similarity theory can be directly expressed in the languages of $\mathscr{E}_{d}$ and $\mathscr{E}_{da}$, motivating the name Quantitative Euclidean Geometry. The traditional analytic geometry can be united under synthetic geometry in $\mathscr{E}_{d}$. Namely, analytic geometry is not treated as a model of $\mathscr{E}_{d}$, but rather, its statements can be expressed as first-order formal sentences in the language of $\mathscr{E}_{d}$. The system $\mathscr{E}_{d}$ is shown to be consistent, complete, and decidable. Finally, we extend the theories to hyperbolic geometry and Euclidean geometry in higher dimensions.

2025-11-11T17:32:50Z 34 pages, 32 figures Mathematics 2025, 13(21), 3462 Hongyu Guo 10.3390/math13213462 http://arxiv.org/abs/2511.08471v1 2025-11-11T17:15:49Z

Mandelbrot and Frame studied the geometry of self-contracting symmetric binary trees in which they stated that the height of such trees occurred at the branch tip of the path consisting of branches that alternate left and right. Taylor proved that this happens for both self-avoiding as well as self-contacting symmetric binary trees (if we ignore the height of the trunk and just consider the branch tips). In his commentary on the work by Mandelbrot and Frame, West gave an example of a self-overlapping tree in which this alternating left-right path does not give the highest point of the tree, and said that more analysis was needed. In this paper we show how such examples can be constructed for all but a countable number of angles. We also investigate the conditions for when the sides and bottom of a self-overlapping symmetric binary tree differ from what happens with self-avoiding and self-contacting trees.

2025-11-11T17:15:49Z 13 pages, 16 figures Larry Riddle http://arxiv.org/abs/2307.04387v2 2025-11-11T04:47:13Z

In this paper, we study `a fibration of metric spaces' that was originally introduced by Leinster in the study of the magnitude and called metric fibrations. He showed that the magnitude of a metric fibration splits into the product of those of the fiber and the base, which is analogous to the Euler characteristic and topological fiber bundles. His idea and our approach is based on Lawvere's suggestion of viewing a metric space as an enriched category. Actually, the metric fibration turns out to be the restriction of the enriched Grothendieck fibrations to metric spaces. We give a complete classification of metric fibrations by several means, which is parallel to that of topological fiber bundles. That is, the classification of metric fibrations is reduced to that of `principal fibrations', which is done by the `1-Cech cohomology' in an appropriate sense. Here we introduce the notion of torsors in the category of metric spaces, and the discussions are analogous to the sheaf theory. Further, we can define the `fundamental group $π^m_1(X)$' of a metric space $X$, which is a group object in metric spaces, such that the conjugation classes of homomorphisms $Hom(π^m_1(X), G)$ corresponds to the isomorphism classes of `principal $G$-fibrations' over $X$. Namely, it is classified like topological covering spaces.

2023-07-10T07:48:33Z 26 pages, 1 figure Algebr. Geom. Topol. 25 (2025) 4257-4285 Yasuhiko Asao 10.2140/agt.2025.25.4257 http://arxiv.org/abs/2511.07810v1 2025-11-11T04:07:13Z

We construct a geodesic net in the plane with four boundary (unbalanced) vertices that has 25 balanced vertices and that is irreducible, i.e. it does not contain nontrivial subnets. This net is novel and remarkable for several reasons: (1) It increases the previously known maximum for balanced vertices of nets of this kind from 16 to 25. (2) It is, to our knowledge, the first such net that includes balanced vertices whose incident edges are not exhibiting symmetries of any kind. (3) The approach taken in the construction is quite promising as it might have the potential for generalization. This would allow to construct a series of irreducible geodesic nets with four boundary vertices and an arbitrary number of balanced vertices, answering a conjecture that the number of balanced vertices is in fact unbounded for nets with four boundary vertices. This would stand in stark contrast to the previously proven theorem that for three boundary vertices, there can be at most one single balanced vertex.

2025-11-11T04:07:13Z 14 pages, for script and animation referenced in section 3, see https://github.com/zhr98971/GeoNet Fabian Parsch Hanrui Zhang http://arxiv.org/abs/2412.11725v2 2025-11-10T15:16:40Z

Paul Erdős and R. Daniel Mauldin asked a series of questions on certain types of polygons of area $1$, the vertices of which can be found in every planar set of infinite Lebesgue measure. We address two of these questions, one on cyclic quadrilaterals and the other on convex polygons with congruent sides, with respectively positive and negative answers.

2024-12-16T12:48:13Z 13 pages, 9 figures; v2 corrected typos, minor changes in the exposition Vjekoslav Kovač Bruno Predojević 10.4153/S0008439525101537 http://arxiv.org/abs/2506.18473v3 2025-11-10T13:22:02Z

We present a simplified proof of a forty-year-old result concerning the tiling of the plane with equilateral convex polygons. Our approach is based on a theorem by M. Rao, who used an exhaustive computer search to confirm the completeness of the well-known list of fifteen pentagon types. Assuming the validity of Rao's result, we provide a concise and mainly geometric proof of a tiling theorem originally due to Hirschhorn and Hunt. Finally, a possible connection to quasicrystals is sketched.

2025-06-23T10:13:25Z Preprint, to appear in Journal for Geometry and Graphics, Vol. 29, Issue 2 Bernhard Klaassen http://arxiv.org/abs/2502.01599v2 2025-11-10T11:53:58Z

We prove that globally hyperbolic compact anti-de Sitter (2+1)-spacetimes with strictly convex spacelike boundary that is either smooth or polyhedral and whose holonomy is close to Fuchsian are determined by the induced metric on the boundary.

2025-02-03T18:30:07Z Minor revision Roman Prosanov Jean-Marc Schlenker http://arxiv.org/abs/2511.06461v1 2025-11-09T17:05:01Z

Consider the task of locating an unknown target point using approximate distance queries: in each round, a reconstructor selects a query point and receives a noisy version of its distance to the target. This problem arises naturally in various contexts ranging from localization in GPS and sensor networks to privacy-aware data access, and spans a wide variety of metric spaces. It is relevant from the perspective of both the reconstructor (seeking accurate recovery) and the responder (aiming to limit information disclosure, e.g., for privacy or security reasons). We study this reconstruction game through a learning-theoretic lens, focusing on the rate and limits of the best possible reconstruction error. Our first result provides a tight geometric characterization of the optimal error in terms of the Chebyshev radius, a classical concept from geometry. This characterization applies to all compact metric spaces (in fact, even to all totally bounded spaces) and yields explicit formulas for natural metric spaces. Our second result addresses the asymptotic behavior of reconstruction, distinguishing between pseudo-finite spaces -- where the optimal error is attained after finitely many queries -- and spaces where the approximation curve exhibits nontrivial decay. We characterize pseudo-finiteness for convex Euclidean spaces.

2025-11-09T17:05:01Z 39 pages. Conference version: NeurIPS 2025 (Spotlight). Extended appendix included Shay Moran Elizaveta Nesterova