https://arxiv.org/api/ycMQ/aE1debTzbTzZwqjNX4Fr+M 2026-06-22T20:28:15Z 13068 1110 15 http://arxiv.org/abs/2412.20594v2 2025-10-21T08:34:36Z

We resolve a few questions regarding the uniformity and size of microsets of subsets of Euclidean space. First, we construct a compact set $K\subset\mathbb{R}^d$ with Assouad dimension arbitrarily close to $d$ such that every microset of $K$ has no Ahlfors--David regular subset with dimension strictly larger than $0$. This answers a question of Orponen. Then, we show that for any non-empty compact set $K\subset\mathbb{R}^d$ with lower dimension $β$, there is a microset $E$ of $K$ with finite $β$-dimensional packing pre-measure. This answers a strong version of a question of Fraser--Howroyd--Käenmäki--Yu, who previously obtained a similar result concerning the upper box dimension.

2024-12-29T21:53:48Z 15 pages. v2: Minor typo fixes. To appear in Proc RSE A Richárd Balka Vilma Orgoványi Alex Rutar http://arxiv.org/abs/2510.17743v1 2025-10-20T16:59:15Z

How many points can be placed in an $n\times n$ grid so that every (affine) line contains at most $k$ points? We prove that for $n \ge k \ge 10^{37}$ the maximum number of points is exactly $kn$. Our proof builds on the recent work of Kovács, Nagy, and Szabó (who proved an analogous result when $k$ is at least about $\sqrt{n \log n}$), incorporating ideas of Jain and Pham. Using the same approach, we also obtain new bounds for higher-dimensional extensions of this problem.

2025-10-20T16:59:15Z 13 pages Alexandr Grebennikov Matthew Kwan http://arxiv.org/abs/2510.17737v1 2025-10-20T16:48:35Z

We exactly settle the complexity of graph realization, graph rigidity, and graph global rigidity as applied to three types of graphs: "globally noncrossing" graphs, which avoid crossings in all of their configurations; matchstick graphs, with unit-length edges and where only noncrossing configurations are considered; and unrestricted graphs (crossings allowed) with unit edge lengths (or in the global rigidity case, edge lengths in $\{1,2\}$). We show that all nine of these questions are complete for the class $\exists\mathbb{R}$, defined by the Existential Theory of the Reals, or its complement $\forall\mathbb{R}$; in particular, each problem is (co)NP-hard. One of these nine results--that realization of unit-distance graphs is $\exists\mathbb{R}$-complete--was shown previously by Schaefer (2013), but the other eight are new. We strengthen several prior results. Matchstick graph realization was known to be NP-hard (Eades \& Wormald 1990, or Cabello et al.\ 2007), but its membership in NP remained open; we show it is complete for the (possibly) larger class $\exists\mathbb{R}$. Global rigidity of graphs with edge lengths in $\{1,2\}$ was known to be coNP-hard (Saxe 1979); we show it is $\forall\mathbb{R}$-complete. The majority of the paper is devoted to proving an analog of Kempe's Universality Theorem--informally, "there is a linkage to sign your name"--for globally noncrossing linkages. In particular, we show that any polynomial curve $φ(x,y)=0$ can be traced by a noncrossing linkage, settling an open problem from 2004. More generally, we show that the regions in the plane that may be traced by a noncrossing linkage are precisely the compact semialgebraic regions (plus the trivial case of the entire plane). Thus, no drawing power is lost by restricting to noncrossing linkages. We prove analogous results for matchstick linkages and unit-distance linkages as well.

2025-10-20T16:48:35Z 75 pages, 22 figures Journal of Computational Geometry, 16(1), 2025 Zachary Abel Erik D. Demaine Martin L. Demaine Sarah Eisenstat Jayson Lynch Tao B. Schardl 10.20382/jocg.v16i1a12 http://arxiv.org/abs/2008.00589v3 2025-10-20T16:26:34Z

A closed quasigeodesic is a closed curve on the surface of a polyhedron with at most $180^\circ$ of surface on both sides at all points; such curves can be locally unfolded straight. In 1949, Pogorelov proved that every convex polyhedron has at least three (non-self-intersecting) closed quasigeodesics, but the proof relies on a nonconstructive topological argument. We present the first finite algorithm to find a closed quasigeodesic on a given convex polyhedron, which is the first positive progress on a 1990 open problem by O'Rourke and Wyman. The algorithm also establishes a pseudopolynomial upper bound on the total number of visits to faces (number of line segments), namely, $O\left(\frac{n \, L^2}{ε^2 \, \ell^2}\right)$ where $n$ is the number of vertices of the polyhedron, $ε$ is the minimum curvature of a vertex, $L$ is the length of the longest edge, and $\ell$ is the smallest distance within a face between a vertex and a nonincident edge (minimum feature size of any face). On the real RAM, the algorithm's running time is also pseudopolynomial, namely $O\left(\frac{L^2}{ε^2 \, \ell^2} \, n \lg n\right)$. On a word RAM, the running time grows to $O\left(\frac{b^2 \, Δ^{36} \, L^{146}}{ε^{98} \, \ell^{146}} \, n \lg n \cdot 2^{O(|R|)}\right)$, where $Δ\leq n$ is the polyhedron's maximum vertex degree, assuming the polyhedron's intrinsic geometry is given by constant-size radical expressions with $b$-bit integers and at most $|R|$ distinct square-roots. Along the way, we introduce the expression RAM model of computation, formalizing a connection between the real RAM and word RAM hinted at by past work on exact geometric computation.

2020-08-03T00:01:15Z 42 pages, 10 figures. Extensive revisions since SoCG 2020 version, splitting into real RAM and expression RAM algorithms, correcting several bugs, and providing many more details for expression RAM model of computation. Since last version, removed dependence on |Λ| Erik D. Demaine Adam C. Hesterberg Jason S. Ku http://arxiv.org/abs/2312.08106v2 2025-10-20T16:20:00Z

We show that a normed linear space is isometrically isomorphic to an inner product space if and only if it is a strongly $n$-point homogeneous metric space for any (or every) $n \geqslant 3$. The counterpart for $n=2$ is the Banach-Mazur problem.

2023-12-13T12:51:37Z Significantly expanded, including adding details in the proof of Theorem 4; the statement of Theorem 10; and all of Section 3. Final version, 9 pages, to appear in the Canadian Mathematical Bulletin Can. Math. Bull. 69 (2026) 677-687 Sujit Sakharam Damase Apoorva Khare 10.4153/S0008439525101379 http://arxiv.org/abs/2007.08965v3 2025-10-20T16:01:20Z

Suppose an escaping player ("human") moves continuously at maximum speed $1$ in the interior of a region, while a pursuing player ("zombie") moves continuously at maximum speed $r$ outside the region. For what $r$ can the first player escape the region, that is, reach the boundary a positive distance away from the pursuing player, assuming optimal play by both players? We formalize a model for this infinitesimally alternating 2-player game and prove that it has a unique winner in any locally rectifiable region. Our model thus avoids pathological behaviors (where both players can have "winning strategies") previously identified for pursuit-evasion games such as the Lion and Man problem in certain metric spaces. For some specific regions, including both equilateral triangle and square, we give exact results for the critical speed ratio, above which the pursuing player can win and below which the escaping player can win (and at which the pursuing player can win). For simple polygons, we give a simple formula and polynomial-time algorithm that is guaranteed to give a 10.89898-approximation to the critical speed ratio, and we give a pseudopolynomial-time approximation scheme for approximating the critical speed ratio arbitrarily closely. On the negative side, we prove NP-hardness of the problem for polyhedral domains in 3D, and prove stronger results (PSPACE-hardness and NP-hardness even to approximate) for generalizations to multiple escaping and pursuing players.

2020-07-17T13:15:19Z 65 pages, 23 figures. Added figures, simplified model, fixed a proof, improved comparison to prior work, added lemma combining pursuer strategies Zachary Abel Hugo Akitaya Erik D. Demaine Martin L. Demaine Adam Hesterberg Jason S. Ku Jayson Lynch http://arxiv.org/abs/2510.17594v1 2025-10-20T14:44:48Z

We consider the coarse-geometric notion of ends in the context of coarse homotopy. We show that, when recontextualized as a functor from an appropriate coarse category of proper geodesic spaces, the set of ends $\mathcal{E}\text{nds}(-)$ is a coarse homotopy invariant. Further, we prove the existence of a natural surjection from the coarse path component functor $π_0^{\text{Crs}}(-)$ to $\mathcal{E}\text{nds}(-)$, and show that in general, this is not an injection (even when restricted to locally finite planar graphs). Finally, we begin to consider when this injection indeed exists by showing that this is the case for locally finite geometric trees, providing a number of useful preliminary lemmas on the behaviour of geodesics in this context.

2025-10-20T14:44:48Z Bradley Ashley http://arxiv.org/abs/2411.18800v2 2025-10-20T13:07:50Z

This article provides a new approach on how to enhance data storage and retrieval in the Query By Image Content Systems (QBIC) by introducing the ${\rm NEM}_σ$ distance measure, satisfying the relaxed triangle inequality. By leveraging the concept of extended $b$-metric spaces, we address complex distance relationships, thereby improving the accuracy and efficiency of image database management. The use of ${\rm NEM}_σ$ facilitates better scalability and accuracy in large-scale image retrieval systems, optimizing both the storage and retrieval processes. The proposed method represents a significant advancement over traditional distance measures, offering enhanced flexibility and precision in the context of image content-based querying. Additionally, we take inspiration from ice flow models using ${\rm NEM}_σ$ and ${\rm NEM}_r$, adding dynamic and location-based factors to better capture details in images.

2024-11-27T22:55:56Z Abdelkader Belhenniche Roman Chertovskih http://arxiv.org/abs/2510.16465v1 2025-10-18T12:18:17Z

Sliced Wasserstein distances are widely used in practice as a computationally efficient alternative to Wasserstein distances in high dimensions. In this paper, motivated by theoretical foundations of this alternative, we prove quantitative estimates between the sliced $1$-Wasserstein distance and the $1$-Wasserstein distance. We construct a concrete example to demonstrate the exponents in the estimate is sharp. We also provide a general analysis for the case where slicing involves projections onto $k$-planes and not just lines.

2025-10-18T12:18:17Z 19 pages Guillaume Carlier Alessio Figalli Quentin Mérigot Yi Wang http://arxiv.org/abs/2502.09364v2 2025-10-17T13:28:49Z

In this paper, we study isometries of $p$-Wasserstein spaces. In our first result, for every complete and separable metric space $X$ and for every $p\geq1$, we construct a metric space $Y$ such that $X$ embeds isometrically into $Y$, and the $p$-Wasserstein space over $Y$ admits mass-splitting isometries. Our second result is about embeddings into rigid constructions. We show that any complete and separable metric space $X$ can be embedded isometrically into a metric space $Y$ such that the $1$-Wasserstein space is isometrically rigid.

2025-02-13T14:32:41Z We withdraw this preprint as it contains a substantial error in the proof of Theorem 1.1, which is one of the two main results of this manuscript. We thank Florentin Münch for pointing out this error Zoltán M. Balogh Eric Ströher Tamás Titkos Dániel Virosztek http://arxiv.org/abs/2510.15302v1 2025-10-17T04:23:10Z

The limit functions generated by quasi-linear functions or sequences (including the sum of the Rudin-Shapiro sequence as an example) are continuous but almost everywhere non-differentiable functions. Their graphs are fractal curves. In 2017 and 2020, Chen, Lü, Wen and the first author studied the box dimension of the graphs of the limit functions. In this paper, we focus on the Hausdorff dimension of the graphs of such limit functions. We first prove that the Hausdorff dimension of the graph of the limit function generated by the abelian complexity of the Rudin-Shapiro sequence is $\frac{3}{2}$. Then we extend the result to the graphs of limit functions generated by quasi-linear functions.

2025-10-17T04:23:10Z 15 pages Wen Wu Sheng Zhong http://arxiv.org/abs/2510.14644v1 2025-10-16T12:56:24Z

We prove that for every $t \in \mathbb{N}$, the graph $K_{2,t}$ satisfies the fat minor conjecture of Georgakopoulos and Papasoglu: for every $K\in \mathbb{N}$ there exist $M,A\in \mathbb{N}$ such that every graph with no $K$-fat $K_{2,t}$ minor is $(M,A)$-quasi-isometric to a graph with no $K_{2,t}$ minor. We use this to obtain an efficient algorithm for approximating the minimal multiplicative distortion of any embedding of a finite graph into a $K_{2,t}$-minor-free graph, answering a question of Chepoi, Dragan, Newman, Rabinovich, and Vaxès from 2012.

2025-10-16T12:56:24Z Sandra Albrechtsen Marc Distel Agelos Georgakopoulos http://arxiv.org/abs/2510.14508v1 2025-10-16T09:53:13Z

This work studies circle-geometry methods through their application to a main theorem about circles tangent twice to a conic. The authors investigate the Sharygin point -- a point lying in the pencil of two non-intersecting circles -- and explore its properties. These properties are applied to solve several olympiad problems, such as problems from MGO 2024 and the Croatian IMO selection. The paper also presents a simplified version of the main theorem and gives two different proofs: one using Sharygin points and another using Lobachevsky (hyperbolic) geometry. The article explores relation between Lorenz transformations of Minkowski space-time and a certain transformation of circles in hyperbolic geometry. The paper demonstrates the effectiveness of combining classical planimetry with ideas of non-Euclidean geometry for solving difficult problems involving circle tangencies.

2025-10-16T09:53:13Z 13 pages, 4 figures Petr Kim Georgii Makoian http://arxiv.org/abs/2206.11805v2 2025-10-16T08:53:55Z

A separable quantum state shared between parties $A$ and $B$ can be symmetrically extended to a quantum state shared between party $A$ and parties $B_1,\ldots ,B_k$ for every $k\in\mathbf{N}$. Quantum states that are not separable, i.e., entangled, do not have this property. This phenomenon is known as "monogamy of entanglement". We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones $\mathsf{C}_A$ and $\mathsf{C}_B$: The elements of the minimal tensor product $\mathsf{C}_A\otimes_{\min} \mathsf{C}_B$ are precisely the tensors that can be symmetrically extended to elements in the maximal tensor product $\mathsf{C}_A\otimes_{\max} \mathsf{C}^{\otimes_{\max} k}_B$ for every $k\in\mathbf{N}$. Equivalently, the minimal tensor product of two cones is the intersection of the nested sets of $k$-extendible tensors. It is a natural question when the minimal tensor product $\mathsf{C}_A\otimes_{\min} \mathsf{C}_B$ coincides with the set of $k$-extendible tensors for some finite $k$. We show that this is universally the case for every cone $\mathsf{C}_A$ if and only if $\mathsf{C}_B$ is a polyhedral cone with a base given by a product of simplices. Our proof makes use of a new characterization of products of simplices up to affine equivalence that we believe is of independent interest.

2022-06-23T16:23:59Z 16 pages, 2 figures v2 : minor changes and improvements, published version Math. Ann. (2024) Guillaume Aubrun Alexander Müller-Hermes Martin Plávala 10.1007/s00208-024-02935-4 http://arxiv.org/abs/2506.03960v2 2025-10-15T13:23:31Z

Let $\mathcal{A}$ be the subdivision of $\mathbb{R}^d$ induced by $m$ convex polyhedra having $n$ facets in total. We prove that $\mathcal{A}$ has combinatorial complexity $O(m^{\lceil d/2 \rceil} n^{\lfloor d/2 \rfloor})$ and that this bound is tight. The bound is mentioned several times in the literature, but no proof for arbitrary dimension has been published before.

2025-06-04T13:51:41Z An earlier version appeared in EuroCG 2025 Boris Aronov Sang Won Bae Sergio Cabello Otfried Cheong David Eppstein Christian Knauer Raimund Seidel