https://arxiv.org/api/jIQdv0Onq1ojFQzi+2cFN4HXE0g 2026-06-17T15:41:44Z 8101 600 15 http://arxiv.org/abs/2511.05434v1 2025-11-07T17:10:02Z

Random geometric graphs are random graph models defined on metric measure spaces. A random geometric graph is generated by first sampling points from a metric space and then connecting each pair of sampled points independently with a probability that depends on their distance. In recent work of Huang, Jiradilok, and Mossel~\cite{HJM24}, the authors study the problem of reconstructing an embedded manifold form a random geometric graph sampled from the manifold, where edge probabilities depend monotonically on the Euclidean distance between the embedded points. They show that, under mild regularity assumptions on the manifold, the sampling measure, and the connection probability function, it is possible to recover the pairwise Euclidean distances of the embedded sampled points up to a vanishing error as the number of vertices grows. In this work we consider a similar and arguably more natural problem where the metric is the Riemannian metric on the manifold. Again points are sampled from the manifold and a random graph is generated where the connection probability is monotone in the Riemannian distance. Perhaps surprisingly we obtain stronger results in this setup. Unlike the previous work that only considered dense graph we provide reconstruction algorithms from sparse graphs with average degree $n^{1/2}{\rm polylog}(n)$, where $n$ denotes the number of vertices. Our algorithm is also a more efficient algorithm for distance reconstruction with improved error bounds. The running times of the algorithm is $O(n^2\,{\rm polylog}(n))$ which up to polylog factor matches the size of the input graph. Our distance error also nearly matches the volumetric lower bounds for distance estimation.

2025-11-07T17:10:02Z Han Huang Pakawut Jiradilok Elchanan Mossel http://arxiv.org/abs/2511.05371v1 2025-11-07T15:57:29Z

The Planar Separator Theorem, which states that any planar graph $\mathcal{G}$ has a separator consisting of $O(\sqrt{n})$ nodes whose removal partitions $\mathcal{G}$ into components of size at most $\tfrac{2n}{3}$, is a widely used tool to obtain fast algorithms on planar graphs. Intersection graphs of disks, which generalize planar graphs, do not admit such separators. It has recently been shown that disk graphs do admit so-called clique-based separators that consist of $O(\sqrt{n})$ cliques. This result has been generalized to intersection graphs of various other types of disk-like objects. Unfortunately, segment intersection graphs do not admit small clique-based separators, because they can contain arbitrarily large bicliques. This is true even in the simple case of axis-aligned segments. In this paper we therefore introduce biclique-based separators (and, in particular, star-based separators), which are separators consisting of a small number of bicliques (or stars). We prove that any $c$-oriented set of $n$ segments in the plane, where $c$ is a constant, admits a star-based separator consisting of $O(\sqrt{n})$ stars. In fact, our result is more general, as it applies to any set of $n$ pseudo-segments that is partitioned into $c$ subsets such that the pseudo-segments in the same subset are pairwise disjoint. We extend our result to intersection graphs of $c$-oriented polygons. These results immediately lead to an almost-exact distance oracle for such intersection graphs, which has $O(n\sqrt{n})$ storage and $O(\sqrt{n})$ query time, and that can report the hop-distance between any two query nodes in the intersection graph with an additive error of at most 2. This is the first distance oracle for such types of intersection graphs that has subquadratic storage and sublinear query time and that only has an additive error.

2025-11-07T15:57:29Z 23 pages, 8 figures M. de Berg B. M. P. Jansen J. S. K. Lamme http://arxiv.org/abs/2510.05896v2 2025-11-06T11:04:40Z

A fundamental problem in shape matching and geometric similarity is computing the maximum area overlap between two polygons under translation. For general simple polygons, the best-known algorithm runs in $O((nm)^2 \log(nm))$ time [Mount, Silverman, Wu 96], where $n$ and $m$ are the complexities of the input polygons. In a recent breakthrough, Chan and Hair gave a linear-time algorithm for the special case when both polygons are convex. A key challenge in computational geometry is to design improved algorithms for other natural classes of polygons. We address this by presenting an $O((nm)^{3/2} \log(nm))$-time algorithm for the case when both polygons are orthogonal. This is the first algorithm for polygon overlap on orthogonal polygons that is faster than the almost 30 years old algorithm for simple polygons. Complementing our algorithmic contribution, we provide $k$-SUM lower bounds for problems on simple polygons with only orthogonal and diagonal edges. First, we establish that there is no algorithm for polygon overlap with running time $O(\max(n^2,nm^2)^{1-\varepsilon})$, where $m\leq n$, unless the $k$-SUM hypothesis fails. This matches the running time of our algorithm when $n=m$. We use part of the above construction to also show a lower bound for the polygon containment problem, a popular special case of the overlap problem. Concretely, there is no algorithm for polygon containment with running time $O(n^{2-\varepsilon})$ under the $3$-SUM hypothesis, even when the polygon to be contained has $m=O(1)$ vertices. Our lower bound shows that polygon containment for these types of polygons (i.e., with diagonal edges) is strictly harder than for orthogonal polygons, and also strengthens the previously known lower bounds for polygon containment. Furthermore, our lower bounds show tightness of the algorithm of [Mount, Silverman, Wu 96] when $m=O(1)$.

2025-10-07T13:06:40Z Mikkel Abrahamsen Sujoy Bhore Maike Buchin Jacobus Conradi Ce Jin André Nusser Carolin Rehs http://arxiv.org/abs/2511.03642v1 2025-11-05T17:02:35Z

This paper introduces a novel $k$-cell decomposition method for pursuit-evasion problems in polygonal environments, where a searcher is equipped with a $k$-modem: a device capable of seeing through up to $k$ walls. The proposed decomposition ensures that as the searcher moves within a cell, the structure of unseen regions (shadows) remains unchanged, thereby preventing any geometric events between or on invisible regions, that is, preventing the appearance, disappearance, merge, or split of shadow regions. The method extends existing work on $0$- and $2$-visibility by incorporating m-visibility polygons for all even $0 \le m \le k$, constructing partition lines that enable robust environment division. The correctness of the decomposition is proved via three theorems. The decomposition enables reliable path planning for intruder detection in simulated environments and opens new avenues for visibility-based robotic surveillance. The difficulty in constructing the cells of the decomposition consists in computing the $k$-visibility polygon from each vertex and finding the intersection points of the partition lines to create the cells.

2025-11-05T17:02:35Z Yeganeh Bahoo Sajad Saeedi Roni Sherman http://arxiv.org/abs/2511.03622v1 2025-11-05T16:43:13Z

We consider the problem of searching for an intruder in a geometric domain by utilizing multiple search robots. The domain is a simply connected orthogonal polygon with edges parallel to the cartesian coordinate axes. Each robot has a limited sensing capability. We study the problem for both static and mobile intruders. It turns out that the problem of finding an intruder is NP-hard, even for a stationary intruder. Given this intractability, we turn our attention towards developing efficient and robust algorithms, namely methods based on space-filling curves, random search, and cooperative random search. Moreover, for each proposed algorithm, we evaluate the trade-off between the number of search robots and the time required for the robots to complete the search process while considering the geometric properties of the connected orthogonal search area.

2025-11-05T16:43:13Z Swadhin Agrawal Sujoy Bhore Joseph S. B. Mitchell P. B. Sujit Aayush Gohil http://arxiv.org/abs/2106.11884v3 2025-11-05T16:34:40Z

A persistence module $M$, with coefficients in a field $\mathbb{F}$, is a finite-dimensional linear representation of an equioriented quiver of type $A_n$ or, equivalently, a graded module over the ring of polynomials $\mathbb{F}[x]$. It is well-known that $M$ can be written as the direct sum of indecomposable representations or as the direct sum of cyclic submodules generated by homogeneous elements. An interval basis for $M$ is a set of homogeneous elements of $M$ such that the sum of the cyclic submodules of $M$ generated by them is direct and equal to $M$. We introduce a novel algorithm to compute an interval basis for $M$. Based on a flag of kernels of the structure maps, our algorithm is suitable for parallel or distributed computation and does not rely on a presentation of $M$. This algorithm outperforms the approach via the presentation matrix and Smith Normal Form. We specialize our parallel approach to persistent homology modules, and we close by applying the proposed algorithm to tracking harmonics via Hodge decomposition.

2021-06-22T15:54:52Z 49 pages, 10 Algorithm pseudocodes, 8 figures. Minor changes with respect to the previous version concern Sections 4-5-6. Appl. Algebr. Eng. Commun. Comput. (2025) Alessandro De Gregorio Marco Guerra Sara Scaramuccia Francesco Vaccarino 10.1007/s00200-025-00699-1 http://arxiv.org/abs/2510.20770v2 2025-11-05T13:28:21Z

Let $f_r(d,s_1,\ldots,s_r)$ denote the least integer $n$ such that every $n$-point set $P\subseteq\mathbb{R}^d$ admits a partition $P=P_1\cup\cdots\cup P_r$ with the property that for any choice of $s_i$-convex sets $C_i\supseteq P_i$ $(i\in[r])$ one necessarily has $\bigcap_{i=1}^r C_i\neq\emptyset$, where an $s_i$-convex set means a union of $s_i$ convex sets. A recent breakthrough by Alon and Smorodinsky establishes a general upper bound $f_r(d,s_1,\dots,s_r) = O(dr^2\log r \prod_{i=1}^r s_i\cdot \log(\prod_{i=1}^r s_i).$ Specializing to $r=2$ resolves the problem of Kalai from the 1970s. They further singled out two particularly intriguing questions: whether $f_{2}(2,s,s)$ can be improved from $O(s^2\log s)$ to $O(s)$, and whether $f_r(d,s,\ldots,s)\le Poly(r,d,s)$. We answer both in the negative by showing the exponential lower bound $f_{r}(d,s,\ldots,s)> s^{r}$ for any $r\ge 2$, $s\ge 1$ and $d\ge 2r-2$, which matches the upper bound up to a multiplicative $\log{s}$ factor for sufficiently large $s$. Our construction combines a scalloped planar configuration with a direct product of regular $s$-gon on the high-dimensional torus $(\mathbb{S}^1)^{r-2}$. Perhaps surprisingly, if we additionally require that within each block the $s_i$ convex sets are pairwise disjoint, the picture changes markedly. Let $F_r(d,s_1,\ldots,s_r)$ denote this disjoint-union variant of the extremal function. We show: (1) $F_{2}(2,s,s)=O(s\log s)$ by connecting it to a suitable line-separating function in the plane; (2) when $s$ is large, $F_r(d,s,\ldots,s)$ can be bounded by $O_{r,d}(s^{(1-\frac{1}{2^{d}(d+1)})r+1})$ and $O_{d}(r^{3}\log r\cdot s^{2d+3})$, respectively. This builds on a novel connection between the geometric obstruction and hypergraph Turán numbers, in particular, a variant of the Erdős box problem.

2025-10-23T17:44:34Z 22 pages, 5 figures. We are grateful to Shakhar Smorodinsky for pointing out that Theorem 4.8 in the previous version can be obtained from known results, which allows us to simplify the proof of Theorem 1.6 Wenchong Chen Gennian Ge Yang Shu Zhouningxin Wang Zixiang Xu http://arxiv.org/abs/2511.02706v1 2025-11-04T16:25:08Z

Kernel discrepancies are a powerful tool for analyzing worst-case errors in quasi-Monte Carlo (QMC) methods. Building on recent advances in optimizing such discrepancy measures, we extend the subset selection problem to the setting of kernel discrepancies, selecting an m-element subset from a large population of size $n \gg m$. We introduce a novel subset selection algorithm applicable to general kernel discrepancies to efficiently generate low-discrepancy samples from both the uniform distribution on the unit hypercube, the traditional setting of classical QMC, and from more general distributions $F$ with known density functions by employing the kernel Stein discrepancy. We also explore the relationship between the classical $L_2$ star discrepancy and its $L_\infty$ counterpart.

2025-11-04T16:25:08Z Deyao Chen François Clément Carola Doerr Nathan Kirk http://arxiv.org/abs/2502.14825v2 2025-11-04T09:27:30Z

Voronoi diagrams are essential geometrical structures with numerous applications, particularly astrophysics-driven finite volume methods. While serial algorithms for constructing these entities are well-established, parallel construction remains challenging. This is especially true in distributed memory systems, where each host manages only a subset of the input points. This process requires redistributing points across hosts and accurately computing the corresponding Voronoi cells. In this paper, we introduce a new distributed construction algorithm, which is implemented in our open-source C++ 3-dimensional Voronoi construction framework. Our approach leverages Delaunay triangulation as an intermediate step, which is then transformed into a Voronoi diagram. We introduce the algorithms we implemented for the precise construction and our load-balancing approach and compare the running time with other state-of-the-art frameworks. MadVoro is a versatile tool that can be applied in various scientific domains, such as mesh decomposition, computational physics, chemistry, and machine learning.

2025-02-20T18:44:03Z Published in RASTI (RAS Techniques and Instruments) in September 2025 Maor Mizrachi, Barak Raveh, Elad Steinberg, madvoro: parallel construction of Voronoi diagrams in distributed memory systems, RAS Techniques and Instruments, Volume 4, 2025 Maor Mizrachi Barak Raveh Elad Steinberg 10.1093/rasti/rzaf039 http://arxiv.org/abs/2502.16398v3 2025-11-03T13:04:32Z

The diameter of a polytope is a fundamental geometric parameter that plays a crucial role in understanding the efficiency of the simplex method. Despite its central nature, the computational complexity of computing the diameter of a given polytope is poorly understood. Already in 1994, Frieze and Teng [Comp. Compl.] recognized the possibility that this task could potentially be harder than NP-hard, and asked whether the corresponding decision problem is complete for the second stage of the polynomial hierarchy, i.e. $Π^p_2$-complete. In the following years, partial results could be obtained. In a cornerstone result, Frieze and Teng themselves proved weak NP-hardness for a family of custom defined polytopes. Sanità [FOCS18] in a break-through result proved that already for the much simpler fractional matching polytope the problem is strongly NP-hard. Very recently, Steiner and Nöbel [SODA25] generalized this result to the even simpler bipartite perfect matching polytope and the circuit diameter. In this paper, we finally show that computing the diameter of the bipartite perfect matching polytope is $Π^p_2$-hard. Since the corresponding decision problem is also trivially contained in $Π^p_2$, this decidedly answers Frieze and Teng's 30 year old question. Our results also hold when the diameter is replaced by the circuit diameter. As our second main result, we prove that for some $\varepsilon > 0$ the (circuit) diameter of the bipartite perfect matching polytope cannot be approximated by a factor better than $(1 + \varepsilon)$. This answers a recent question by Nöbel and Steiner. It is the first known inapproximability result for the circuit diameter, and extends Sanità's inapproximability result of the diameter to the totally unimodular case.

2025-02-23T01:17:39Z Lasse Wulf http://arxiv.org/abs/1112.6008v9 2025-11-02T18:36:38Z

We study Cayley configuration spaces of a class of 1 degree-of-freedom linkages (graphs with specified edge lengths), obtained by dropping an edge from a tree-decomposable graph. The class includes well-known mechanisms based on the four-bar, as well as strandbeest, cardioid, limacon etc. The Cayley configuration space is the set of intervals of attainable lengths for a \emph{base} nonedge (e.g. the dropped edge) over the linkage's 2 dimensional realizations. We require \emph{quadratic radical solvability (QRS)} (an extension of ruler-and-compass-realizability) of the interval endpoints, and tree-decomposability guarantees efficient, ruler-and-compass construction of the linkage realization, given the Cayley configuration. Due to these restrictions of Kempe universality, this class of \emph{low Cayley complexity (LCC)} graphs is common in mechanical computer aided design and kinematics. Our main contributions are the following. (1) We show that the definition of LCC is robust, and depends only on the graph, no matter the choice of base nonedge whose addition ensures tree-decomposability. (2) We give an efficient algorithmic characterization of LCC graphs (3) We show (graph) planarity is equivalent to LCC for a natural subclass of 1-degree-of-freedom tree-decomposable graphs. Counterexamples show impossibility of such finite forbidden minor characterizations when the above subclass is enlarged. (4) We give an easily testable definition of genericity of LCC linkages (i.e. with underlying LCC graphs) based on their edge lengths. (5) For generic LCC linkages, we give an algorithm to find both paths of continuous motion (provided they exist) between two distinct realizations, in time linear in a discrete measure of the length of the path. Nontrivial generalizations of these results to non-LCC, 1-degree-of-freedom tree-decomposable linkages. Several accessible open problems are posed.

2011-12-27T19:38:01Z Meera Sitharam Menghan Wang William Sims Heping Gao http://arxiv.org/abs/2511.00692v1 2025-11-01T20:20:21Z

Given a set $P$ of $n$ points in $\mathbf{R}^d$, and a positive integer $k \leq n$, the $k$-dispersion problem is that of selecting $k$ of the given points so that the minimum inter-point distance among them is maximized (under Euclidean distances). Among others, we show the following: (I) Given a set $P$ of $n$ points in the plane, and a positive integer $k \geq 2$, the $k$-dispersion problem can be solved by an algorithm running in $O\left(n^{k-1} \log{n}\right)$ time. This extends an earlier result for $k=3$, due to Horiyama, Nakano, Saitoh, Suetsugu, Suzuki, Uehara, Uno, and Wasa (2021) to arbitrary $k$. In particular, it improves on previous running times for small $k$. (II) Given a set $P$ of $n$ points in $\mathbf{R}^3$, and a positive integer $k \geq 2$, the $k$-dispersion problem can be solved by an algorithm running in $O\left(n^{k-1} \log{n}\right)$ time, if $k$ is even; and $O\left(n^{k-1} \log^2{n}\right)$ time, if $k$ is odd. For $k \geq 4$, no combinatorial algorithm running in $o(n^k)$ time was known for this problem. (III) Let $P$ be a set of $n$ random points uniformly distributed in $[0,1]^2$. Then under suitable conditions, a $0.99$-approximation for $k$-dispersion can be computed in $O(n)$ time with high probability.

2025-11-01T20:20:21Z 8 pages Ke Chen Adrian Dumitrescu http://arxiv.org/abs/2511.00508v1 2025-11-01T11:21:12Z

Reconstruction of an object from points cloud is essential in prosthetics, medical imaging, computer vision, etc. We present an effective algorithm for an Allen--Cahn-type model of reconstruction, employing the Lagrange multiplier approach. Utilizing scattered data points from an object, we reconstruct a narrow shell by solving the governing equation enhanced with an edge detection function derived from the unsigned distance function. The specifically designed edge detection function ensures the energy stability. By reformulating the governing equation through the Lagrange multiplier technique and implementing a Crank--Nicolson time discretization, we can update the solutions in a stable and decoupled manner. The spatial operations are approximated using the finite difference method, and we analytically demonstrate the unconditional stability of the fully discrete scheme. Comprehensive numerical experiments, including reconstructions of complex 3D volumes such as characters from \textit{Star Wars}, validate the algorithm's accuracy, stability, and effectiveness. Additionally, we analyze how specific parameter selections influence the level of detail and refinement in the reconstructed volumes. To facilitate the interested readers to understand our algorithm, we share the computational codes and data in https://github.com/cfdyang521/C-3PO/tree/main.

2025-11-01T11:21:12Z Preprint, 30+ pages; multiple figures and tables; code and data: https://github.com/cfdyang521/C-3PO/tree/main; intended for submission to a computational mathematics journal Renjun Gao Xiangjie Kong Dongting Cai Boyi Fu Junxiang Yang http://arxiv.org/abs/2511.00311v1 2025-10-31T23:14:44Z

We investigate a family of $4$-regular graphs constructed to test for the presence of combinatorial structure in a sequence of distinct real numbers. We show that the graphs constructed from the Kronecker sequence can be embedded into the torus, while the graphs constructed from the binary van der Corput sequence can be embedded into the Chamanara surface, in both cases with the possible removal of one edge. These results allude to a general theory of sequence graphs which can be embedded into particular translation surfaces coming from interval exchange transformations.

2025-10-31T23:14:44Z 12 pages, 6 figures Zawad Chowdhury Francois Clement Max Horwitz http://arxiv.org/abs/2511.00163v1 2025-10-31T18:10:09Z

In this follow-up article to Symplectification of Circular Arcs and Arc Splines, biarc geometry is examined from a purely geometric point of view. Two given points together with their associated tangent vectors in the plane are sufficient to define two directed, consecutive circular arcs. However, there remains one degree of freedom to determine the join point of both arcs. There are various approaches to this in the literature. A novel one is presented here.

2025-10-31T18:10:09Z 20 pages, 16 figures Stefan Goessner