https://arxiv.org/api/Yh+BkI13DZsKI0jby2tvmbocn3Q 2026-03-24T09:45:35Z 7926 75 15 http://arxiv.org/abs/2507.13096v3 2026-03-09T12:44:08Z

Tutte's celebrated barycentric embedding theorem describes a natural way to build straight-line embeddings (crossing-free drawings) of a (3-connected) planar graph: map the vertices of the outer face to the vertices of a convex polygon, and ensure that each remaining vertex is in convex position, namely, a barycenter with positive coefficients of its neighbors. Actually computing an embedding then boils down to solving a system of linear equations. A particularly appealing feature of this method is the flexibility given by the choice of the barycentric weights. Generalizations of Tutte's theorem to surfaces of nonpositive curvature are known, but due to their inherently continuous nature, they do not lead to an algorithm. In this paper, we propose a purely discrete analog of Tutte's theorem for surfaces (with or without boundary) of nonpositive curvature, based on the recently introduced notion of reducing triangulations. We prove a Tutte theorem in this setting: every drawing homotopic to an embedding such that each vertex is harmonious (a discrete analog of being in convex position) is a weak embedding (arbitrarily close to an embedding). We also provide a polynomial-time algorithm to make an input drawing harmonious without increasing the length of any edge, in a similar way as a drawing can be put in convex position without increasing the edge lengths.

2025-07-17T13:07:20Z Éric Colin de Verdière Vincent Despré Loïc Dubois http://arxiv.org/abs/2603.08074v1 2026-03-09T08:13:45Z

We consider a special, geometric case of a balancing game introduced by Spencer in 1977. Consider any arrangement $\mathcal{L}$ of $n$ lines in the plane, and assume that each cell of the arrangement contains a box. Alice initially places pebbles in each box. In each subsequent step, Bob picks a line, and Alice must choose a side of that line, remove one pebble from each box on that side, and add one pebble to each box on the other side. Bob wins if any box ever becomes empty. We determine the minimum number $f(\mathcal L)$ of pebbles, computable in polynomial time, for which Alice can prevent Bob from ever winning, and we show that $f(\mathcal L)=Θ(n^3)$ for any arrangement $\mathcal{L}$ of $n$ lines in general position.

2026-03-09T08:13:45Z Oswin Aichholzer Katharina Klost Kristin Knorr Viola Mészáros Josef Tkadlec http://arxiv.org/abs/2603.07948v1 2026-03-09T04:30:08Z

The Li-Chao tree (LICT) was first introduced in lecture as an efficient data structure for dynamic lower envelope maintenance. In the years since, it has achieved widespread adoption within the competitive programming community, yet no formal specification has appeared in the peer-reviewed literature. This paper provides the definitive formalization of the Li-Chao tree, serving as both the official specification and an expansion of the original lecture. We present complete algorithmic specifications, establish formal correctness proofs, analyze theoretical complexity, and provide empirical performance characterization. The LICT offers distinct advantages in implementation simplicity, numerical stability, and extensibility to advanced variants such as persistence and line segments.

2026-03-09T04:30:08Z 13 pages, 3 figures, 2 tables Chao Li http://arxiv.org/abs/2603.07809v1 2026-03-08T21:26:45Z

The verbose persistent homology transform (VPHT) is a topological summary of shapes in Euclidean space. Assuming general position, the VPHT is injective, meaning shapes can be reconstructed using only the VPHT. In this work, we investigate cases in which the VPHT is not injective, focusing on a simple setting of degeneracy; graphs whose vertices are all collinear. We identify both necessary properties and sufficient properties for non-reconstructibility of such graphs, bringing us closer to a complete classification.

2026-03-08T21:26:45Z 14 pages, 6 figures, presented at EuroCG26 Jette Gutzeit Kalani Kistler Tim Ophelders Anna Schenfisch http://arxiv.org/abs/2603.07067v1 2026-03-07T06:57:07Z

Origami and Kirigami, the famous Japanese art forms of paper folding and cutting, have inspired the design of novel materials & structures utilizing their geometry. In this article, we explore the geometry of the lesser known popup art, which uses the facilities of both origami and kirigami via appropriately positioned folds and cuts. The simplest popup-unit resembles a four-bar mechanism, whose cut-fold pattern can be arranged on a sheet of paper to produce different shapes upon deployment. Each unit has three parameters associated with the length and height of the cut, as well as the width of the fold. We define the mean and Gaussian curvature of the popup structure via the discrete surface connecting the fold vertices and develop a geometric description of the structure. Using these definitions, we arrive at a design pipeline that identifies the cut-fold pattern required to create popup structure of prescribed shape which we test in experiments. By introducing splay to the rectangular unit-cell, a single cut-fold pattern is shown to take multiple shapes along the trajectory of deployment, making possible transitions from negative to positive curvature surfaces in a single structure. We demonstrate application directions for these structures in drag-reduction, packaging, and architectural facades.

2026-03-07T06:57:07Z Jay Jayeshbhai Chavda S Ganga Prasath http://arxiv.org/abs/2603.06367v1 2026-03-06T15:20:04Z

For $p,q\ge2$ the $\{p,q\}$-tiling graph is the (finite or infinite) planar graph $T_{p,q}$ where all faces are cycles of length $p$ and all vertices have degree $q$. We give algorithms for the problem of recognizing (induced) subgraphs of these graphs, as follows. - For $1/p+1/q>1/2$, these graphs correspond to regular tilings of the sphere. These graphs are finite, thus recognizing their (induced) subgraphs can be done in constant time. - For $1/p+1/q=1/2$, these graphs correspond to regular tilings of the Euclidean plane. For the Euclidean square grid $T_{4,4}$ Bhatt and Cosmadakis (IPL'87) showed that recognizing subgraphs is NP-hard, even if the input graph is a tree. We show that a simple divide-and conquer algorithm achieves a subexponential running time in all Euclidean tilings, and we observe that there is an almost matching lower bound in $T_{4,4}$ under the Exponential Time Hypothesis via known reductions. - For $1/p+1/q<1/2$, these graphs correspond to regular tilings of the hyperbolic plane. As our main contribution, we show that deciding if an $n$-vertex graph is isomorphic to a subgraph of the tiling $T_{p,q}$ can be done in quasi-polynomial ($n^{O(\log n)}$) time for any fixed $q$. Our results for the hyperbolic case show that it has significantly lower complexity than the Euclidean variant, and it is unlikely to be NP-hard. The Euclidean results also suggest that the problem can be maximally hard even if the graph in question is a tree. Consequently, the known treewidth bounds for subgraphs of hyperbolic tilings do not lead to an efficient algorithm by themselves. Instead, we use convex hulls within the tiling graph, which have several desirable properties in hyperbolic tilings. Our key technical insight is that planar subgraph isomorphism can be computed via a dynamic program that builds a sphere cut decomposition of a solution subgraph's convex hull.

2026-03-06T15:20:04Z 24 pages, 4 figures Eliel Ingervo Sándor Kisfaludi-Bak http://arxiv.org/abs/2510.00044v2 2026-03-06T10:51:58Z

This study presents a computational framework for optimizing undulatory swimming profiles using a combination of Design-by-Morphing and Bayesian optimization strategies. The swimming profile are expressed by \textit{morphing} five baseline bio-inspired profiles using Design-by-Morphing to create an exploratory design space. The optimization objective is to find the optimal swimming profile, wavelength and undulation frequency to maximize propulsive efficiency. Arbitrary Lagrangian--Eulerian formulation is employed to simulate the unsteady flow around two-dimensional undulating swimmers. The optimized swimming profiles demonstrate a marked improvement in propulsive efficiency relative to the reference anguilliform and carangiform modes. The best-performing optimized cases achieve peak efficiencies in the range of 49\%--57\% over a broad range of kinematic conditions, representing an overall enhancement of 16\%--35\% compared to reference anguilliform and carangiform modes. The improved performance is attributed to favorable surface stress distributions and enhanced energy recovery mechanisms. A detailed force decomposition reveals that the optimal swimmer minimizes resistive drag and maximizes constructive work contributions, particularly in the anterior and posterior body regions. Spatial and temporal work decomposition indicates a strategic redistribution of input and recovered energy, enhancing performance while reducing energetic cost relative to propulsive force. These findings demonstrate that morphing-based parametric design, when guided by surrogate-assisted optimization, offers a powerful framework for discovering energetically efficient swimming gaits, with significant implications for the design of autonomous underwater propulsion systems and the broader field of bio-inspired locomotion.

2025-09-27T09:24:18Z Hamayun Farooq Imran Akhtar Muhammad Saif Ullah Khalid Haris Moazam Sheikh http://arxiv.org/abs/2603.05406v1 2026-03-05T17:32:04Z

The Optimal Morse Matching (OMM) problem asks for a discrete gradient vector field on a simplicial complex that minimizes the number of critical simplices. It is NP-hard and has been studied extensively in heuristic, approximation, and parameterized complexity settings. Parameterized by treewidth $k$, OMM has long been known to be solvable on triangulations of $3$-manifolds in $2^{O(k^2)} n^{O(1)}$ time and in FPT time for triangulations of arbitrary manifolds, but the exact dependence on $k$ has remained an open question. We resolve this by giving a new $2^{O(k \log k)} n$-time algorithm for any finite regular CW complex, and show that no $2^{o(k \log k)} n^{O(1)}$-time algorithm exists unless the Exponential Time Hypothesis (ETH) fails.

2026-03-05T17:32:04Z Full version. Accepted for the ACM Symposium on Computational Geometry (SoCG 2026). 44 pages, 21 figures Geevarghese Philip Erlend Raa Vågset http://arxiv.org/abs/2603.05358v1 2026-03-05T16:39:19Z

For a fixed graph class $Π$, the goal of $Π$-Modification is to transform an input graph $G$ into a graph $H\inΠ$ using at most $k$ modifications. Vertex and edge deletions are common operations, and their (parameterized) complexity for various $Π$ is well-studied. Classic graph modification operations such as edge deletion do not consider the geometric nature of geometric graphs such as (unit) disk graphs. This led Fomin et al. [ITCS' 25] to initiate the study of disk scaling as a geometric graph modification operation for unit disk graphs: For a given radius $r$, each modified disk will be rescaled to radius $r$. In this paper, we generalize their model by allowing rescaled disks to choose a radius within a given interval $[r_{\min}, r_{\max}]$ and study the (parameterized) complexity (with respect to $k$) of the corresponding problem $Π$-Scaling. We show that $Π$-Scaling is in XP for every graph class $Π$ that can be recognized in polynomial time. Furthermore, we show that $Π$-Scaling: (1) is NP-hard and FPT for cluster graphs, (2) can be solved in polynomial time for complete graphs, and (3) is W[1]-hard for connected graphs. In particular, (1) and (2) answer open questions of Fomin et al. and (3) generalizes the hardness result for their variant where the set of scalable disks is restricted.

2026-03-05T16:39:19Z Extended abstract will be presented at EuroCG'26; 46 pages, 11 figures Thomas Depian Frank Sommer http://arxiv.org/abs/2603.05339v1 2026-03-05T16:16:13Z

We consider colored variants of a class of geometric-combinatorial questions on $k$-gons and empty $k$-gons that have been started around 1935 by Erdős and Szekeres. In our setting we have $n$ points in general position in the plane, each one colored either red or blue. A structure on $k$ points is a geometric graph where the edges are spanned by (some of) these points and is called monochromatic if all $k$ points have the same color. Already for $k=4$ there exist interesting open problems. Most prominently, it is still open whether for any sufficiently large bichromatic set there always exists a convex empty, monochromatic quadrilateral. In order to shed more light on the underlying geometry we study the existence of five different monochromatic structures that all use exactly 4 points of a bichromatic point set. We provide several improved lower and upper bounds on the smallest $n$ such that every bichromatic set of at least $n$ points contains (some of) those monochromatic structures.

2026-03-05T16:16:13Z Presented at EuroCG26 Oswin Aichholzer Helena Bergold Simon D. Fink Maarten Löffler Patrick Schnider Josef Tkadlec http://arxiv.org/abs/2603.05286v1 2026-03-05T15:30:33Z

A common sensing problem is to use a set of stationary tracking locations to monitor a collection of moving devices: Given $n$ objects that need to be tracked, each following its own trajectory, and $m$ stationary traffic control stations, each with a sensing region of adjustable range; how should we adjust the individual sensor ranges in order to optimize energy consumption? We provide both negative theoretical and positive practical results for this important and natural challenge. On the theoretical side, we show that even if all objects move at constant speed along straight lines, no polynomial-time algorithm can guarantee optimal coverage for a given starting solution. On the practical side, we present an algorithm based on geometric insights that is able to find optimal solutions for the $\min \max$ variant of the problem, which aims at minimizing peak power consumption. Runtimes for instances with 500 moving objects and 25 stations are in the order of seconds for scenarios that take minutes to play out in the real world, demonstrating real-time capability of our methods.

2026-03-05T15:30:33Z 8 pages, 11 figures Chek-Manh Loi Michael Perk Malte Hoffmann Sándor Fekete http://arxiv.org/abs/2603.05208v1 2026-03-05T14:19:38Z

This paper considers the task of connecting points on a piece of paper by drawing a curve between each pair of them. Under mild assumptions, we prove that many pairwise disjoint curves are unavoidable if either of the following rules is obeyed: any two adjacent curves do not cross, or any two non-adjacent curves cross at most once. Here, two curves are called adjacent if they share an endpoint. On the other hand, we demonstrate how to draw all curves such that any two adjacent curves cross exactly once, any two non-adjacent curves cross at least once and at most twice, and thus no two curves are disjoint. Furthermore, we analyze the emergence of disjoint curves without these mild assumptions, and characterize the plane structures in complete graph drawings guaranteed by each of the rules above.

2026-03-05T14:19:38Z Alexandra Weinberger Ji Zeng http://arxiv.org/abs/2603.05205v1 2026-03-05T14:16:16Z

We study the reconfiguration of plane spanning trees on point sets in the plane in convex position, where a reconfiguration step (flip) replaces one edge with another, yielding again a plane spanning tree. The flip distance between two trees is then the minimum number of flips needed to transform one tree into the other. We study structural properties of shortest flip sequences. The folklore happy edge conjecture suggests that any edge shared by both the initial and target tree is never flipped in a shortest flip sequence. The more recent parking edge conjecture, which would have implied the happy edge conjecture, states that there exist shortest flip sequences which use only edges of the start and target tree, and edges in the convex hull of the point set. Finally, another conjecture that is implicit in the literature is the reparking conjecture which states that no edge is flipped more than twice. Essentially all recent flip algorithms respect these three conjectures and the properties they imply. We study cases in which the latter two conjectures hold and disprove them for the general setting. (Shortened abstract due to arXiv restrictions.)

2026-03-05T14:16:16Z 28 pages, 16 figures Oswin Aichholzer Joseph Dorfer Peter Kramer Christian Rieck Birgit Vogtenhuber http://arxiv.org/abs/2603.05203v1 2026-03-05T14:14:16Z

Multi-robot motion planning is a hard problem. We investigate restricted variants of the problem where square robots are allowed to slide over an arbitrary curve to a new position only a constant number of times each. We show that the problem remains NP-hard in most cases, except when the squares have unit size and when the problem is unlabeled, i.e., the location of each square in the target configuration is left unspecified.

2026-03-05T14:14:16Z Thijs van der Horst Maarten Löffler Tim Ophelders Tom Peters http://arxiv.org/abs/2603.04863v1 2026-03-05T06:36:41Z

Given a set of $m$ points and a set of $n$ lines in the plane, we consider the problem of computing the faces of the arrangement of the lines that contain at least one point. In this paper, we present an $O(m^{2/3}n^{2/3}+(n+m)\log n)$ time algorithm for the problem. We also show that this matches the lower bound under the algebraic decision tree model and thus our algorithm is optimal. In particular, when $m=n$, the runtime is $O(n^{4/3})$, which matches the worst case combinatorial complexity $Ω(n^{4/3})$ of all output faces. This is the first optimal algorithm since the problem was first studied more than three decades ago [Edelsbrunner, Guibas, and Sharir, SoCG 1988].

2026-03-05T06:36:41Z To appear in SoCG 2026 Haitao Wang