http://arxiv.org/api/vp/nhRzc6VTQoYQjP+mf3C2HRts 2025-04-22T00:00:00-04:00 11890 30 15 http://arxiv.org/abs/2504.10380v1 2025-04-14T16:25:36Z 2025-04-14T16:25:36Z

To goal of the paper is to introduce a convergence \`a la Gromov-Hausdorff for Lorentzian spaces, building on $\epsilon$-nets consisting of causal diamonds and relying only on the time separation function. This yields a geometric notion of convergence, which can be applied to synthetic Lorentzian spaces (Lorentzian pre-length spaces) or smooth spacetimes. Among the main results, we prove a Lorentzian counterpart of the celebrated Gromov's pre-compactness theorem for metric spaces, where controlled covers by balls are replaced by controlled covers by diamonds. This yields a geometric pre-compactness result for classes of globally hyperbolic spacetimes, satisfying a uniform doubling property on Cauchy hypersurfaces and a suitable control on the causality. The final part of the paper establishes several applications: we show that Chru\'sciel-Grant approximations are an instance of the Lorentzian Gromov-Hausdorff convergence here introduced, we prove that timelike sectional curvature bounds are stable under such a convergence, we introduce timelike blow-up tangents and discuss connections with the main conjecture of causal set theory.

Andrea Mondino Clemens Sämann 62 pages http://arxiv.org/abs/2410.17254v2 2025-04-14T15:18:01Z 2024-10-03T18:57:50Z

We study {\it permeable} sets. These are sets \(\Theta \subset \mathbb{R}^d\) which have the property that each two points \(x,y\in \mathbb{R}^d\) can be connected by a short path \(\gamma\) which has small (or even empty, apart from the end points of \(\gamma\)) intersection with \(\Theta\). We investigate relations between permeability and Lebesgue measure and establish theorems on the relation of permeability with several notions of dimension. It turns out that for most notions of dimension each subset of \(\mathbb{R}^d\) of dimension less than \(d-1\) is permeable. We use our permeability result on the Nagata dimension to characterize permeability properties of self-similar sets with certain finiteness properties.

Gunther Leobacher Tapio Rajala Alexander Steinicke Jörg Thuswaldner http://arxiv.org/abs/2409.03709v3 2025-04-14T14:49:40Z 2024-09-05T17:14:56Z

In this paper, we investigate the question of whether a non-constant absolutely continuous path can be reparametrised as being unit speed with respect to the Kobayashi metric. Even when the answer is "Yes," which isn't always the case, its proof involves some subtleties. We answer the above question and discuss a small application to Kobayashi geometry.

Gautam Bharali Rumpa Masanta 8 pages; removed a superfluous condition in Definition 2.1; added a clarification in Section 4; resolved an ambiguity in notation in the proof of Proposition 4.2; comments welcome! http://arxiv.org/abs/2503.13829v2 2025-04-14T10:16:58Z 2025-03-18T02:11:05Z

Motivated by an experimental study of groups generated by reflections in planar patterns of tangent circles, we describe some methods for constructing and studying representation spaces of holonomy groups of infinite volume hyperbolic $3$-manifolds that arise from unknotting tunnels of links. We include full descriptions of our computational methods, which were guided by simplicity and generality rather than by being particularly efficient in special cases. This makes them easy for non-experts to understand and implement to produce visualisations that can suggest conjectures and support algebraic calculations in the character variety. Throughout, we have tried to make the exposition clear and understandable for graduate students in geometric topology and related fields.

Alex Elzenaar 29 pages, 17 figures. Comments welcomed. Second version fixes a number of minor typos and errors, no numbering changes http://arxiv.org/abs/2504.09503v1 2025-04-13T10:00:51Z 2025-04-13T10:00:51Z

For $p\in(1,+\infty)$, we prove that a metric measure space endowed with a $p$-energy satisfies the chain condition, the volume regular condition with respect to a doubling scaling function $\Phi$, and that both the Poincar\'e inequality and the capacity upper bound with respect to a doubling scaling function $\Psi$ hold if and only if $$\frac{1}{C}\left(\frac{R}{r}\right)^p\le\frac{\Psi(R)}{\Psi(r)}\le C\left(\frac{R}{r}\right)^{p-1}\frac{\Phi(R)}{\Phi(r)}\text{ for any }r\le R.$$ In particular, given any pair of doubling functions $\Phi$ and $\Psi$ satisfying the above inequality, we construct a metric measure space endowed with a $p$-energy on which all the above conditions are satisfied. As a direct corollary, we prove that a metric measure space is $d_h$-Ahlfors regular and has $p$-walk dimension $\beta_p$ if and only if $$p\le\beta_p\le d_h+(p-1).$$ Our proof builds on the Laakso-type space theory, which was recently developed by Murugan (arXiv:2410.15611).

Meng Yang 38 pages, preliminary version http://arxiv.org/abs/2402.00513v3 2025-04-13T02:55:29Z 2024-02-01T11:28:08Z

The mass transference principle, discovered by Beresnevich and Velani [Ann Math (2), 2006], is a landmark result in Diophantine approximation that allows us to obtain the Hausdorff measure theory of $\limsup$ set. Another important tool is the notion of large intersection property, introduced and systematically studied by Falconer [J. Lond. Math. Soc. (2), 1994]. The former mainly focuses on passing between full (Lebesgue) measure and full Hausdorff measure statements, while the latter transfers full Hausdorff content statement to Hausdorff dimension. From this perspective, the proofs of the two results are quite similar but often treated in different ways. In this paper, we establish a general mass transference principle from the viewpoint of Hausdorff content, aiming to provide a unified proof for the aforementioned results. More precisely, this principle allows us to transfer the Hausdorff content bounds of a sequence of open sets $E_n$ to the full Hausdorff measure statement and large intersection property for $\limsup E_n$. One of the advantages of our approach is that the verification of the Hausdorff content bound does not require the construction of Cantor-like subset, resulting in a much simpler proof. As an application, we provide simpler proofs for several mass transference principles.

Yubin He http://arxiv.org/abs/2504.09320v1 2025-04-12T19:47:26Z 2025-04-12T19:47:26Z

The result of Guan and Ma (Invent. Math. 151 (2003)) states that if $\phi^{-1/k} : \mathbb{S}^n \to (0,\infty)$ is spherically convex, then $\phi$ arises as the $\sigma_k$ curvature (the $k$-th elementary symmetric function of the principal radii of curvature) of a strictly convex hypersurface. In this paper, we establish an analogous result in the capillary setting in the half-space for $\theta\in(0,\pi/2)$: if $\phi^{-1/k} : \mathcal{C}_{\theta} \to (0,\infty)$ is a capillary function and spherically convex, then $\phi$ is the $\sigma_k$ curvature of a strictly convex capillary hypersurface.

Yingxiang Hu Mohammad N. Ivaki Julian Scheuer http://arxiv.org/abs/2504.09251v1 2025-04-12T15:19:33Z 2025-04-12T15:19:33Z

In this paper, we consider two limiting cases ($\alpha\rightarrow n$ and $\alpha\rightarrow 0 $) of the recent affine HLS inequalities by Haddad and Ludwig. As $\alpha\rightarrow n$, the affine logarithmic HLS inequality is established, which is stronger than the logarithmic HLS inequality by Carlen and Loss from 1992 and Beckner from 1993. As $\alpha\rightarrow 0$, an affine version of Beckner's logarithmic Sobolev inequality is established, which is also a limiting case of the affine fractional $L^2$ Sobolev inequalities. The affine logarithmic Sobolev inequality is stronger than the original version by Beckner from 1995.

Xiaxing Cai http://arxiv.org/abs/2504.09241v1 2025-04-12T14:46:03Z 2025-04-12T14:46:03Z

We extend the algorithms of Robinson, Smyth, and McKee--Smyth to enumerate all real-rooted integer polynomials of a fixed degree, where the first few (at least three) leading coefficients are specified. Additionally, we introduce new linear programming algorithms to enumerate all feasible interlacing polynomials of a given polynomial that comes from a certain family of real-rooted integer polynomials. These algorithms are further specialised for the study of real equiangular lines, incorporating additional number-theoretic constraints to restrict the enumeration. Our improvements significantly enhance the efficiency of the methods presented in previous work by the authors.

Gary R. W. Greaves Jeven Syatriadi 25 pages http://arxiv.org/abs/2409.03047v2 2025-04-12T02:54:03Z 2024-09-04T19:33:35Z

We investigate dimension-theoretic properties of concentric topological spheres, which are fractal sets emerging both in pure and applied mathematics. We calculate the box dimension and Assouad spectrum of such collections, and use them to prove that fractal spheres cannot be shrunk into a point at a polynomial rate. We also apply these dimension estimates to quasiconformally classify certain spiral shells, a generalization of planar spirals in higher dimensions. This classification also provides a bi-H\"older map between shells, and constitutes an addition to a general programme of research proposed by J. Fraser.

Efstathios Konstantinos Chrontsios Garitsis 20 pages, 2 figures, appeared in "Nonlinearity" http://arxiv.org/abs/2504.01864v3 2025-04-11T18:10:25Z 2025-04-02T16:15:50Z

In this paper, we prove the $W$-entropy formula and the monotonicity and rigidity theorem of the $W$-entropy for the heat flow on RCD$(K, N)$ and RCD$(K, n, N)$ spaces $(X, d, \mu)$, where $K\in \mathbb{R}$, $n\in \mathbb{N}$ is the geometric dimension of $(X, d, \mu)$ and $N\geq n$. We also prove the $K$-concavity of the Shannon entropy power on RCD$(K, N)$ spaces. As an application, we derive the Shannon entropy isoperimetric inequality and the Stam type logarithmic Sobolev inequality on RCD$(0, N)$ spaces with maximal volume growth condition. Finally, we prove the rigidity theorem for the Stam type logarithmic Sobolev inequality with sharp constant on noncollapsing RCD$(0, N)$ spaces.

Xiang-Dong Li Enrui Zhang Add Section 9 http://arxiv.org/abs/2411.13248v2 2025-04-11T15:50:59Z 2024-11-20T12:07:19Z

Determining the maximal density $m_1(\mathbb{R}^2)$ of planar sets without unit distances is a fundamental problem in combinatorial geometry. This paper investigates lower bounds for this quantity. We introduce a novel approach to estimating $m_1(\mathbb{R}^2)$ by reformulating the problem as a Maximal Independent Set (MIS) problem on graphs constructed from flat torus, focusing on periodic sets with respect to two non-collinear vectors. Our experimental results, supported by theoretical justifications of proposed method, demonstrate that for a sufficiently wide range of parameters this approach does not improve the known lower bound $0.22936 \le m_1(\mathbb{R}^2)$. The best discrete sets found are approximations of Croft's construction. In addition, several open source software packages for MIS problem are compared on this task.

Alexander Tolmachev 10.1142/S1793830925500314 21 pages, 9 figures; typos corrected http://arxiv.org/abs/2504.08127v1 2025-04-10T21:04:23Z 2025-04-10T21:04:23Z

We prove that uniformly disconnected subsets of metric measure spaces with controlled geometry (complete, Ahlfors regular, supporting a Poincare inequality, and a mild topological condition) are contained in a quasisymmetric arc. This generalizes a result of MacManus in 1999 from Euclidean spaces to abstract metric setting. Along the way, we prove a geometric strengthening of the classical Denjoy-Riesz theorem in metric measure spaces. Finally, we prove that the complement of a uniformly disconnected set in such a metric space is uniform, quantitatively.

Jacob Honeycutt Vyron Vellis 34 pages, 5 figures http://arxiv.org/abs/2405.16167v2 2025-04-10T14:12:22Z 2024-05-25T10:25:38Z

A reformulation of the three circles theorem of Johnson with distance coordinates to the vertices of a triangle is explicitly represented in a polynomial system and solved by symbolic computation. A similar polynomial system in distance coordinates to the vertices of a tetrahedron $T \subset \mathbb{R}^3$ is introduced to represent the configurations of four spheres of radius $R^*$, which intersect in one point, each sphere containing three vertices of $T$ but not the fourth one. This problem is related to that of computing the largest value $R$ for which the set of vertices of $T$ is an $R$-body. For triangular pyramids we completely describe the set of geometric configurations with the required four balls of radius $R^*$. The solutions obtained by symbolic computation show that triangular pyramids are splitted into two different classes: in the first one $R^*$ is unique, in the second one three values $R^*$ there exist. The first class can be itself subdivided into two subclasses, one of which is related to the family of $R$-bodies.

Marco Longinetti Simone Naldi 24 pages, 6 figures, 3 appendices http://arxiv.org/abs/2504.07700v1 2025-04-10T12:35:17Z 2025-04-10T12:35:17Z

The structure bilateral trading costs is one of the key features of international trade. Drawing upon the freeness-of-trade matrix, which allows the modeling of N-state trade costs, we develop a ``geometry of inconvenience'' to better understand how they impact equilbrium outcomes. The freeness-of-trade matrix was introduced in a model by Mossay and Tabuchi, where they essentially proved that if a freeness-of-trade matrix is positive definite, then the corresponding model admits a unique equilibrium. Drawing upon the spectral theory of metrics, we prove the model admits nonunique, perverse, equilibria. We use this result to provide a family of policy relevant bipartite examples, with substantive applications to economic sanctions. More generally, we show how the network structure of the freeness of trade is central to understanding the impacts of policy interventions.

Michael Coopman Austin Jacobs Henry Pascoe J. E. Pascoe 25 Pages