https://arxiv.org/api/INFF3A3ZJxMp78XxqX+gh5sLx3c 2026-06-22T04:38:10Z 13068 900 15 http://arxiv.org/abs/2512.11740v1 2025-12-12T17:30:10Z

If most of the pixels in an $n \times m$ digital image are the same color, must the image contain a large connected component? How densely can a given set of connected components pack in $\mathbb{Z}^2$ without touching? We answer these two closely related questions for both 4-connected and 8-connected components. In particular, we use structural arguments to upper bound the "white" pixel density of infinite images whose white (4- or 8-)connected components have size at most $k$. Explicit tilings show that these bounds are tight for at least half of all natural numbers $k$ in the 4-connected case, and for all $k$ in the 8-connected case. We also extend these results to finite images. To obtain the upper bounds, we define the exterior site perimeter of a connected component and then leverage geometric and topological properties of this set to partition images into nontrivial regions called polygonal tiles. Each polygonal tile contains a single white connected component and satisfies a certain maximality property. We then use isoperimetric inequalities to precisely bound the area of these tiles. The solutions to these problems represent new statistics on the connected component distribution of digital images.

2025-12-12T17:30:10Z 39 pages, 20 figures Kyle Fridberg http://arxiv.org/abs/2406.10622v4 2025-12-12T10:06:21Z

The Honeycomb Conjecture states that among tilings with unit area cells in the Euclidean plane, the average perimeter of a cell is minimal for a regular hexagonal tiling. This conjecture was proved by L. Fejes Tóth for convex tilings, and by Hales for not necessarily convex tilings. In this paper we investigate the same question for tilings of a given normed plane, and show that among normal, convex tilings in a normed plane, the average squared perimeter of a cell is minimal for a tiling whose cells are translates of a centrally symmetric hexagon. We also show that the question whether the same statement is true for the average perimeter of a cell is closely related to an $α$-convex variant of a theorem of Dowker on the area of polygons circumscribed about a convex disk. Exploring this connection we find families of norms in which the average perimeter of a cell of a tiling is minimal for a hexagonal tiling, and prove some additonal related results. Finally, we apply our method to give a partial answer to a problem of Steinhaus about the isoperimetric ratios of cells of certain tilings in the Euclidean plane, appeared in an open problem book of Croft, Falconer and Guy.

2024-06-15T12:57:06Z 22 pages, 5 figures Zsolt Lángi Shanshan Wang http://arxiv.org/abs/2510.01095v2 2025-12-11T17:33:21Z

In 1983, Gromov introduced the notion of distortion of a knot, and asked if there are knots with arbitrarily large distortion. In 2011, Pardon proved that the distortion of $T_{p,q}$ is at least $\min\{p,q\}$ up to a constant factor. We prove that the distortion of $T_{p, p+1}\# K$ is at least $p$ up to a constant, independent of $K$. We also prove that any embedding of a minimal genus Seifert surface for $T_{p,p+1}\# K$ in $\mathbb{R}^3$ has small extrinsic systole, in the sense that it contains a non-contractible loop with small $\mathbb{R}^3$-diameter relative to the length of the knot. These results are related to combinatorial properties of the monodromy map associated to torus knots.

2025-10-01T16:41:52Z 48 pages, v2: fixed referencing issues caused by arXiv's latex compiler Sahana Vasudevan http://arxiv.org/abs/2503.03442v2 2025-12-11T15:13:56Z

In 1983, Zălinescu showed that the squared norm of a uniformly convex normed space is uniformly convex on bounded subsets. We extend this result to the metric setting of uniformly convex hyperbolic spaces. We derive applications to the convergence of shadow sequences and to proximal minimization.

2025-03-05T12:18:13Z Andrei Sipos http://arxiv.org/abs/2512.10387v1 2025-12-11T07:50:40Z

This paper presents a new algorithm for generating planar circle patterns. The algorithm employs gradient descent and conjugate gradient method to compute circle radii and centers separately. Compared with existing algorithms, the proposed method is more efficient in computing centers of circles and is applicable for realizing circle patterns with possible obtuse overlap angles.

2025-12-11T07:50:40Z 7 pages, 1 figure Te Ba Ze Zhou http://arxiv.org/abs/2512.10306v1 2025-12-11T05:51:42Z

This paper focuses on using the theory of bicorn curves in the context of closed surfaces to understand hyperbolic phenomena of the curve graphs of those surfaces. We prove that the curve graph of any closed surface is 15-hyperbolic with one exception. Furthermore, we provide significantly tighter bounds for the bounded geodesic image theorem, originally proven by Masur--Minsky.

2025-12-11T05:51:42Z 14 pages with 1 fugure Takuya Katayama Erika Kuno http://arxiv.org/abs/2403.07803v3 2025-12-10T19:59:05Z

We prove the convergence of a modified Jordan--Kinderlehrer--Otto scheme to a solution to the Fokker--Planck equation in $Ω\Subset \mathbb R^d$ with general -- strictly positive and temporally constant -- Dirichlet boundary conditions. We work under mild assumptions on the domain, the drift, and the initial datum. In the special case where $Ω$ is an interval in $\mathbb R^1$, we prove that such a solution is a gradient flow -- curve of maximal slope -- within a suitable space of measures, endowed with a modified Wasserstein distance. Our discrete scheme and modified distance draw inspiration from contributions by A. Figalli and N. Gigli [J. Math. Pures Appl. 94, (2010), pp. 107--130], and J. Morales [J. Math. Pures Appl. 112, (2018), pp. 41--88] on an optimal-transport approach to evolution equations with Dirichlet boundary conditions. Similarly to these works, we allow the mass to flow from/to the boundary $\partial Ω$ throughout the evolution. However, our leading idea is to also keep track of the mass at the boundary by working with measures defined on the whole closure $\overline Ω$. The driving functional is a modification of the classical relative entropy that also makes use of the information at the boundary. As an intermediate result, when $Ω$ is an interval in $\mathbb R^1$, we find a formula for the descending slope of this geodesically nonconvex functional.

2024-03-12T16:41:35Z This version of the article has been accepted for publication, after peer review but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: http://dx.doi.org/10.1007/s00526-025-03193-1 Calc. Var. 65, 23 (2026) Filippo Quattrocchi 10.1007/s00526-025-03193-1 http://arxiv.org/abs/2512.10013v1 2025-12-10T19:03:36Z

We study the regularity of the distance function to the boundary of a domain in $\mathbb{R}^n$, with respect to the Minkowski functional of a convex polytope. We obtain the regularity of the distance function in certain cases. We also explicitly compute the distance function in a collection of examples and observe the new interesting phenomena that arise for such distance functions.

2025-12-10T19:03:36Z 28 pages Mohammad Safdari http://arxiv.org/abs/2509.08842v2 2025-12-10T17:10:35Z

Explicit lower bounds for the length of the shortest opaque set for the unit disc and the unit square in the Euclidean plane are derived. The results are based on an explicit application of the general method of Kawamura, Moriyama, Otachi and Pach. Employing a recent observation by Steinerberger on the possible orientations of straight barriers with length close to Jones' bound, we improve the bound for the unit square by more than a factor $3$. The bound for barriers of the unit disc is new and based on the idea that the free parameters in the general method from can be optimized due to the strong symmetry properties of the disc. Our approach illustrates both the power and the limitations of the method.

2025-09-05T07:44:24Z 16 pages, 6 figures; improved lower bound for unit square Markus Kiderlen Florian Pausinger http://arxiv.org/abs/2503.10467v2 2025-12-10T16:57:58Z

The standard theory of Banach spaces is built upon the notions of vector space, triangle inequality and Cauchy completeness. Here we propose a `hyperbolic' variant of this `elliptic' framework where general linear combinations are replaced by linear combinations with non-negative coefficients, triangle inequality is replaced by reverse triangle inequality and Cauchy completeness is replaced by the order-theoretic notion of directed completeness. The motivation for our investigation is in non-smooth Lorentzian geometry: we believe that to unlock the full potential of the field, and ultimately extract more informations about the smooth world, some version of `Lorentzian functional analysis' is needed, especially in relation to timelike lower Ricci curvature bounds. An example of structure we investigate is obtained by starting with a Banach space, multiplying it by $\mathbb R$ and considering the `future cone' in there. Because of this, some of the results in this manuscript might be read through the lenses of standard Banach spaces theory. From this perspective, the classical Hahn-Banach and Baire category theorems can be seen as consequences of statements obtained here. A different kind of example is that of $L^p$ spaces for $p\leq1$. Their structure and natural duality relations fit particularly well in our framework, to the extent that they have been an important source of inspiration for the axiomatization chosen in this paper. We also investigate the notion of directed completeness regardless of any algebraic structure, as we believe it is central even in the finite-dimensional non-smooth Lorentzian framework, for instance to achieve a compactness theorem à la Gromov. This study unveils connections between Geroch-Kronheimer-Penrose's concept of ideal point in a spacetime, Beppo Levi's monotone convergence theorem and certain aspects of domain theory.

2025-03-13T15:41:15Z Nicola Gigli http://arxiv.org/abs/2512.09763v1 2025-12-10T15:45:53Z

We propose a new notion of the formal tangent space to the Wasserstein space $\mathcal{P}(X)$ at a given measure. Modulo an integrability condition, we say that this tangent space is made of functions over $X$ which are valued in the probability measures over the tangent bundle to $X$. This generalization of previous concepts of tangent spaces allows us to define appropriate notions of parallel transport, $\mathcal{C}^{1,α}$ regularity over $\mathcal{P}(X)$ and translation of a curve over $\mathcal{P}(X)$.

2025-12-10T15:45:53Z Charles Bertucci CEREMADE http://arxiv.org/abs/2110.15842v5 2025-12-10T09:41:48Z

In 1973, Lemmens and Seidel posed the problem of determining the maximum number of equiangular lines in $\mathbb{R}^r$ with angle $\arccos(α)$ and gave a partial answer in the regime $r \leq 1/α^2 - 2$. At the other extreme where $r$ is at least exponential in $1/α$, recent breakthroughs have led to an almost complete resolution of this problem. In this paper, we introduce a new method for obtaining upper bounds which unifies and improves upon previous approaches, thereby yielding bounds which bridge the gap between the aforementioned regimes and are best possible either exactly or up to a small multiplicative constant. Our approach relies on orthogonal projection of matrices with respect to the Frobenius inner product and as a byproduct, it yields the first extension of the Alon-Boppana theorem to dense graphs, with equality for strongly regular graphs corresponding to $\binom{r+1}{2}$ equiangular lines in $\mathbb{R}^r$. Applications of our method in the complex setting will be discussed as well.

2021-10-29T15:06:15Z 46 pages, LaTeX; Final updates for the journal version Igor Balla http://arxiv.org/abs/2503.11987v3 2025-12-10T06:50:08Z

Periodic lattices are natural generalizations of lattices, which arise naturally in diophantine approximations with rationals of bounded denominators. In this paper, we prove analogues of classical theorems in geometry of numbers for periodic lattices in function fields. Moreover, we use special matrices to compute the covering and packing radii of special periodic lattices.

2025-03-15T04:01:23Z Made minor corrections Noy Soffer Aranov http://arxiv.org/abs/2512.08794v1 2025-12-09T16:42:56Z

Techniques from metric geometry have become fundamental tools in modern mathematical data science, providing principled methods for comparing datasets modeled as finite metric spaces. Two of the central tools in this area are the Gromov-Hausdorff distance and persistent homology, both of which yield isometry-invariant notions of distance between datasets. However, these frameworks do not account for categorical labels, which are intrinsic to many real-world datasets, such as labeled images, pre-clustered data, and semantically segmented shapes. In this paper, we introduce a general framework for labeled metric spaces and develop new notions of Gromov-Hausdorff distance and persistent homology which are adapted to this setting. Our main result shows that our persistent homology construction is stable with respect to our novel notion of Gromov-Hausdorff distance, extending a classic result in topological data analysis. To facilitate computation, we also introduce a labeled version of persistence landscapes and show that the landscape map is Lipschitz.

2025-12-09T16:42:56Z Yaoying Fu Evgeniya Lagoda Shiying Li Tom Needham Lander Ver Hoef Morgan Weiler http://arxiv.org/abs/2505.10929v2 2025-12-09T15:00:27Z

The minimal spherical cap dispersion ${\rm disp}_{\mathcal{C}}(n,d)$ is the largest number $\varepsilon\in (0,1]$ such that, for every $n$ points on the $d$-dimensional Euclidean unit sphere $\mathbb{S}^d$, there exists a spherical cap with normalized area $\varepsilon$ not containing any of these points. We study the behavior of ${\rm disp}_{\mathcal{C}}(n,d)$ as $n$ and $d$ grow to infinity. We develop connections to the problems of sphere covering and approximation of the Euclidean unit ball by inscribed polytopes. Existing and new results are presented in a unified way. Upper bounds on ${\rm disp}_{\mathcal{C}}(n,d)$ result from choosing the points independently and uniformly at random and possibly adding some well-separated points to close large gaps. Moreover, we study dispersion with respect to intersections of caps.

2025-05-16T07:07:56Z 30 pages Alexander E. Litvak Mathias Sonnleitner Tomasz Szczepanski