https://arxiv.org/api/61vzuqlERACQqOPNmsdxUqJw3pU 2026-06-26T02:37:47Z 13092 1500 15 http://arxiv.org/abs/2507.04358v1 2025-07-06T11:43:14Z

Let $D$ be an $n \times n$ Euclidean distance matrix (EDM) with embedding dimension $r$; and let $d \in R^n$ be a given vector. In this note, we consider the problem of finding a vector $y \in R^n$, that is closest to d in Euclidean norm, such that the augmented matrix $\left[ \begin{array}{cc} 0 & y^T \\ y & D \end{array}\right]$ is itself an EDM of embedding dimension $r$. This problem is motivated by applications in Global Positioning System (GPS). We present a fault detection criterion and three algorithms: one for the case $n=4$, and two for the case $n \geq 5$.

2025-07-06T11:43:14Z v1 A. Y. Alfakih http://arxiv.org/abs/2409.14648v3 2025-07-05T16:04:22Z

Given functions $f,g: [n] \rightarrow [n]$ do there exist $n$ points $A_1,A_2\ldots A_n$ in some metric space such that $A_{f(i)},A_{g(i)}$ are the points closest and farthest from point $A_i$? In this paper we characterize precisely which pairs of functions have this property. If the metric space is $\mathbb{R}^k$ we show that the maximal number $m(k)$ so that any pair of functions $f,g: [m(k)]\rightarrow [m(k)]$ realizable in some metric space is also realizable in $\mathbb{R}^k$ grows exponentially in $k$. In the final section of this paper we consider what happens when we look at minimal and maximal distances separately. We show that any function $g$ that can be a maximal distance function can also be a maximal distance function in $\mathbb{R}^2$. We also find an interesting family of functions that can be minimal distance functions but not in $\mathbb{R}^k$.

2024-09-23T01:15:11Z 22 pages Žarko Ranđelović http://arxiv.org/abs/2301.00246v2 2025-07-05T16:03:26Z

We explore emerging relationships between the Gromov--Hausdorff distance, Borsuk--Ulam theorems, and Vietoris--Rips simplicial complexes. The Gromov--Hausdorff distance between two metric spaces $X$ and~$Y$ can be lower bounded by the distortion of (possibly discontinuous) functions between them. The more these functions must distort the metrics, the larger the Gromov--Hausdorff distance must be. Topology has few tools to obstruct the existence of discontinuous functions. However, an arbitrary function $f\colon X\to Y$ induces a continuous map between their Vietoris--Rips simplicial complexes, where the allowable choices of scale parameters depend on how much the function $f$ distorts distances. We can then use equivariant topology to obstruct the existence of certain continuous maps between Vietoris--Rips complexes. With these ideas we bound how discontinuous an odd map between spheres $S^k\to S^n$ with $k>n$ must be, generalizing a result by Dubins and Schwarz (1981), which is the case $k=n+1$. As an application, we recover or improve upon all of the lower bounds from Lim, M{é}moli, and Smith (2022) on the Gromov--Hausdorff distances between spheres of different dimensions. We also provide new upper bounds on the Gromov--Hausdorff distance between spheres of adjacent dimensions.

2022-12-31T16:32:10Z Henry Adams Johnathan Bush Nate Clause Florian Frick Mario Gómez Michael Harrison R. Amzi Jeffs Evgeniya Lagoda Sunhyuk Lim Facundo Mémoli Michael Moy Nikola Sadovek Matt Superdock Daniel Vargas Qingsong Wang Ling Zhou http://arxiv.org/abs/2303.12331v3 2025-07-04T13:25:42Z

Let $X$ be a finite set in the Euclidean space $\mathbb{R}^d$. If the squared distance between any two distinct points in $X$ is an odd integer, then the cardinality of $X$ is bounded above by $d+2$, as shown by Rosenfeld (1997) or Smith (1995). They proved that there exists a $(d+2)$-point set $X$ in $\mathbb{R}^d$ having only odd integral squared distances if and only if $d+2$ is congruent to $0$ modulo $4$. The distances can be interpreted as an element of the finite field $\mathbb{Z}/2\mathbb{Z}$. We generalize this result for a local ring $(A_\mathfrak{p},\mathfrak{p}A_\mathfrak{p})$ as follows. Let $K$ be an algebraic number field that can be embedded into $\mathbb{R}$. Fix an embedding of $K$ into $\mathbb{R}$, and $K$ is interpreted as a subfield of $\mathbb{R}$. Let $A=O_K$ be the ring of integers of $K$, and $\mathfrak{p}$ a prime ideal of $O_K$. Let $(A_\mathfrak{p},\mathfrak{p}A_\mathfrak{p})$ be the local ring obtained from the localization $(A\setminus \mathfrak{p})^{-1} A$, which is interpreted as a subring of $\mathbb{R}$. If the squared distances of $X\subset \mathbb{R}^d$ are in $A_\mathfrak{p}$ and each squared distance is congruent to some constant $k \not\equiv 0 $ modulo $\mathfrak{p} A_\mathfrak{p}$, then $|X| \leq d+2$, as shown by Nozaki (2023). In this paper, we prove that there exists a set $X\subset \mathbb{R}^d$ attaining the upper bound $|X| \leq d+2$ if and only if $d+2$ is congruent to $0$ modulo $4$ when the finite field $A_\mathfrak{p}/ \mathfrak{p} A_\mathfrak{p}$ is of characteristic 2, and $d+2$ is congruent to $0$ modulo $p$ when $A_\mathfrak{p}/ \mathfrak{p} A_\mathfrak{p}$ is of characteristic $p$ odd. We also provide examples attaining this upper bound.

2023-03-22T06:06:01Z 11 pages, no figure Finite Fields and Their Applications 108 (2025), 102690 Hiroshi Nozaki 10.1016/j.ffa.2025.102690 http://arxiv.org/abs/2506.04882v2 2025-07-03T19:00:09Z

Gromov's isoperimetric gap conjecture for Hadamard spaces states that cycles in dimensions greater than or equal to the asymptotic rank admit linear isoperimetric filling inequalities, as opposed to the inequalities of Euclidean type in lower dimensions. In the case of asymptotic rank 2, recent progress was made by Druţu-Lang-Papasoglu-Stadler who established a homotopical inequality for Lipschitz 2-spheres with exponents arbitrarily close to 1. We prove a homological inequality of the same type for general cycles in dimensions at least 2, assuming that the ambient space has finite linearly controlled asymptotic dimension. This holds in particular for all Hadamard 3-manifolds and finite-dimensional CAT(0) cube complexes.

2025-06-05T11:00:57Z 21 pages, minor changes Urs Lang Stephan Stadler David Urech http://arxiv.org/abs/2406.09376v2 2025-07-03T11:27:24Z

In this paper, we extend the notion of visibility relative to the Kobayashi distance to domains in arbitrary complex manifolds. Visibility here refers to a property resembling visibility in the sense of Eberlein--O'Neill for Riemannian manifolds. Since it is difficult, in general, to determine whether domains are Cauchy-complete with respect to the Kobayashi distance, we do not assume so here. We provide many sufficient conditions for visibility. We establish a Wolff--Denjoy-type theorem in a very general setting as an application. We also explore some connections between visibility and Gromov hyperbolicity for Kobayashi hyperbolic domains in the above setting.

2024-06-13T17:54:08Z 28 pages; to appear in Trans. Amer. Math. Soc. Thoughts/comments welcome! Rumpa Masanta http://arxiv.org/abs/2506.13885v2 2025-07-02T18:48:05Z

We show that a closed non-orientable $3$-manifold admits a positive scalar curvature metric if and only if its orientation double cover does; however, for each $4\le n\le 7$, there exist infinitely many smooth non-orientable $n$-manifolds $M$ that are mutually non-homotopy equivalent, such that the orientation double cover of $M$ admits positive scalar curvature metrics, but every closed smooth manifold that is homotopy equivalent to $M$ cannot admit positive scalar curvature metrics. These examples were first introduced by Alpert-Balitskiy-Guth in the study of Urysohn widths. To prove the nonexistence result, we extend the Schoen-Yau inductive descent approach to non-orientable manifolds. We also discuss band width estimates and the notion of enlargeability for non-orientable PSC manifolds.

2025-06-16T18:05:31Z Minor edits, more references added Chao Li Boyu Zhang http://arxiv.org/abs/2412.04298v2 2025-07-02T15:48:06Z

A quad-mesh rigid origami is a continuously deformable panel-hinge structure where planar, rigid, zero-thickness quadrilateral panels are connected by rotational hinges in the combinatorics of a grid. This article provides a comprehensive exposition of two new families of infinitely refinable quad-mesh rigid origami, generated from linear and equimodular couplings. These constructions expand the current landscape beyond well-known variations such as the Miura-ori, V-hedron (discrete Voss surface or eggbox pattern), anti-V-hedron (flat-foldable pattern), and T-hedron (trapezoidal pattern). We conjecture that as the mesh is refined to infinity, these quad-mesh rigid origami converges to special ruled surfaces in the limit, supported by multiple lines of evidence.

2024-12-05T16:20:05Z main text 21 pages (including references), supplementary material 74 pages, 20 figures, submitted manuscript Zeyuan He Kentaro Hayakawa Makoto Ohsaki http://arxiv.org/abs/2501.19071v2 2025-07-02T13:11:31Z

This survey has multiple objectives. First, we motivate and review a new distributional notion of the d'Alembertian from mathematical relativity, more precisely, a nonlinear $p$-version thereof, where $p$ is a nonzero number less than one. This operator comes from natural Lagrangian actions introduced relatively recently. Unlike its classical linear yet hyperbolic counterpart, it is nonlinear yet has elliptic characteristics. Second, we describe recent comparison estimates for the $p$-d'Alembertian of Lorentz distance functions (notably a point or a spacelike hypersurface). Their new contribution implied by prior works on optimal transport through spacetime is a control of the timelike cut locus. Third, we illustrate exact representation formulas for these $p$-d'Alembertians employing methods from convex geometry. Fourth, several applications and open problems are presented.

2025-01-31T11:59:47Z 45 pages. Final version Mathias Braun http://arxiv.org/abs/2305.11485v2 2025-07-02T05:40:36Z

We prove area bounds for planar convex bodies in terms of their number of interior integral points and their lattice width data. As an application, we obtain sharp area bounds for rational polygons with a fixed number of interior integral points depending on their denominator. For lattice polygons, we also present an equation for the area based on Noether's formula.

2023-05-19T07:32:36Z 20 pages Martin Bohnert http://arxiv.org/abs/2405.05704v3 2025-07-01T17:10:47Z

We give an explicit lower bound, in terms of the distance from the boundary, for the Kobayashi metric of a certain class of bounded pseudoconvex domains in $\mathbb{C}^n$ with $\mathcal{C}^2$-smooth boundary using the regularity theory for the complex Monge--Ampere equation. Using such an estimate, among other tools, we construct a family of unbounded Kobayashi hyperbolic domains in $\mathbb{C}^n$ having a certain negative-curvature-type property with respect to the Kobayashi distance. As an application, we prove a Picard-type extension theorem for the latter domains.

2024-05-09T12:02:58Z 15 pages; some historical discussion added in Section 1; more references added; to appear in Ann. Scuola Norm. Sup. Pisa. Comments/thoughts welcome! Annapurna Banik Gautam Bharali http://arxiv.org/abs/2408.15412v3 2025-07-01T13:38:27Z

This work studies the Fourier transform of the characteristic function of planar convex bodies averaged over affine transformations. We establish lower and upper bounds on the latter quantities in terms of the geometric properties of the bodies considered. The second matter of study is the affine quadratic discrepancy of planar convex bodies, and we present sharp results on its asymptotic behaviour. In particular, we address averages over intervals of rotations, answering an open question of Bilyk and Mastrianni.

2024-08-27T21:23:23Z 38 pages, 6 figures Thomas Beretti http://arxiv.org/abs/2411.10302v2 2025-06-30T19:41:52Z

In this survey, we discuss volumetric and combinatorial results concerning (mostly finite) intersections or unions of balls (mostly of equal radii) in the $d$-dimensional real vector space, mostly equipped with the Euclidean norm. Our first topic is the Kneser--Poulsen Conjecture, according to which if a finite number of balls are rearranged so that the pairwise distances of the centers increase, then the volume of the union (resp., intersection) increases (resp., decreases). Next, we discuss Blaschke--Santaló-type inequalities, and reverse isoperimetric inequalities for convex sets in Euclidean $d$-space obtained as intersections of (possibly infinitely many) balls of radius $r$, which we call $r$-ball bodies. We present some results on $1$-ball bodies (also called ball-bodies or spindle convex sets) in the plane, with special attention paid to their approximation by the spindle convex hull of a finite subset. A ball-polyhedron is a ball-body obtained as the intersection of finitely many unit balls in Euclidean $d$-space. We consider the combinatorial structure of their faces, and volumetric properties of ball-polyhedra obtained from choosing the centers of the balls randomly.

2024-11-15T15:59:35Z 32 pages Discrete Applied Mathematics, Volume 382 (November, 2025), Pages 60-82 Károly Bezdek Zsolt Lángi Márton Naszódi http://arxiv.org/abs/2506.23846v1 2025-06-30T13:35:57Z

This paper studies the \emph{unimodular isomorphism problem} (UIP) of convex lattice polytopes: given two convex lattice polytopes $P$ and $P'$, decide whether there exists a unimodular affine transformation mapping $P$ to $P'$. We show that UIP is graph isomorphism hard, while the polytope congruence problem and the combinatorial polytope isomorphism problem (Akutsu, 1998; Kaibel, Schwartz, 2003) were shown to be graph isomorphism complete, and both the lattice isomorphism problem ( $\mathrm{Sikiri\acute{c}}$, $\mathrm{Sch\ddot{u}rmann}$, Vallentin, 2009) and the projective/affine polytope isomorphism problem (Kaibel, Schwartz, 2003) were shown to be graph isomorphism hard. Furthermore, inspired by protocols for lattice (non-) isomorphism (Ducas, van Woerden, 2022; Haviv, Regev, 2014), we present a statistical zero-knowledge proof system for unimodular isomorphism of lattice polytopes. Finally, we propose an algorithm that given two lattice polytopes computes all unimodular affine transformations mapping one polytope to another and, in particular, decides UIP.

2025-06-30T13:35:57Z Qiuyue Liu Zhanyuan Cai http://arxiv.org/abs/2506.23444v1 2025-06-30T00:39:12Z

Given a combinatorial triangulation of an $n$-gon, we study (a) the space of all possible drawings in the plane such the edges are straight line segments and the boundary has a fixed shape, and (b) the algebraic variety of possibilities for the areas of the triangles in such drawings. We define a generalized notion of triangulation, and we show that the areas of the triangles in a generalized triangulation $\T$ of a square must satisfy a single irreducible homogeneous polynomial relation $p(\T)$ depending only on the combinatorics of $\T$. The invariant $p(\T)$ is called the \emph{Monsky polynomial}; it captures algebraic, geometric, and combinatorial information about $\T$. We give an algorithm that computes a lower bound on the degree of $p(\T)$, and we present several examples in which the algorithm is used to compute the degree.

2025-06-30T00:39:12Z This is the ninth of eleven old articles being uploaded to arxiv after publication Discrete and Computational Geometry, vol. 51 no. 1 (2014), pp. 132-160 Aaron Abrams James Pommersheim