arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.32806

Low-Crossing Spanning Paths via Quasi-Uniform Sampling and their Applications

Mónika Csikós·Nabil H Mustafa
View original source ↗Read source document ↗Export metadata ↓

Abstract

Given a set system (X, S), we consider the problems of constructing perfect matchings and spanning paths (also known as Welzl orders) of X with low crossing numbers with respect to S. Matchings with low crossing numbers were originally introduced in the late 1980s in the seminal works of Welzl [29, 30] and Chazelle-Welzl [7], who showed that any set system (X, S) with bounded dual VC-dimension d has a matching with crossing number O |X| 1-1/d , which is optimal. Low-crossing matchings and spanning paths have found several applications outside of their initial realm of computational geometry, including algorithmic graph theory, model checking, and game theory. In many of these applications, |S| is near-linear in |X|, which motivated the search for an improved construction for this regime. However, the proposed new algorithms provided only average-case bounds or sub-optimal crossing number guarantees for d $\ge$ 2 [5, 12]. We propose a new quasi-uniform sampling based framework. This allows us to obtain a simple algorithm with expected running time of __ |X| 2 + |S| $\bullet$ |X| , which improves upon the previous-best Our result has several immediate consequences, including new faster algorithms for constructing low-crossing spanning paths for set systems induced by balls, as well as for neighborhood set systems of graphs. Moreover, we get the first quadratic-time algorithm for combinatorial discrepancy, with nearly optimal discrepancy (up to a log factor), for bounded dual VC-dimension set systems. Beyond these applications, we believe that our idea could be applied to other algorithms that use the multiplicative weight update method.

Explore related subjects

cs.CGcs.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mónika Csikós, Nabil H Mustafa. 2026-10-23. Low-Crossing Spanning Paths via Quasi-Uniform Sampling and their Applications. https://arxiv.org/abs/2610.32806

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Exact Reachability under Vertex- and Area-Centroid Control

A vertex-centroid move slides one vertex of a polygon along the line through it and the centroid of all vertices; Problem 60 of The Open Problems Project asks whether such moves can make every polygon regular. We prove that two simple labeled $n$-gons, with straight angles allowed, are joined through simple polygons by finitely many positive moves exactly when they have the same orientation; a nonconstant move is positive if the vertex remains on the same side of the centroid of the other vertices. The same holds for flows toward or away from the instantaneous area centroid. Inward-only or outward-only moves reach every target of the same orientation up to translation and positive scaling. The common mechanism is a first-order criterion: a symmetric definite center response makes the one-vertex fields of a smooth affine-equivariant center bracket generating. The response is a weighted covariance for point barycenters and $(d+2)$ times the volume covariance for polyhedral centroids. Once translation and scale are factored out, the fields sum to zero, giving exact one-sided control. We resolve Problem 60 under both conventions for a vertex at the centroid. For the vertex-centroid system on $n$ affinely spanning points in $\mathbb{R}^d$, we classify positive-move reachability and prove a local $3dn$-move bound.

cs.CG↗
arXiv2026

VoroDuce: Massively Parallel 3D Voronoi Simplification with Volume-Aware Edge Collapse

3D Voronoi diagrams provide a powerful mathematical framework for representing volumetric functions and geometry with applications to Materials Science, Biology, Simulation and Astrophysics. However, accurately resolving fine structures often requires millions of cells, imposing severe computational and memory constraints. Traditional mesh decimation or point cloud simplification techniques fail to account for the effects re-meshing has on neighbouring cells. In this work, we formalize the Voronoi reduction problem and propose a greedy edge-collapsing algorithm on the dual Delaunay tetrahedralisation that accounts for changes in the local geometry. Further, we demonstrate a novel volumetric error approximation technique that models convex cell intersections as truncated prismatoids, circumventing computationally prohibitive exact volume calculations and enabling massive GPU parallelization. Evaluations across Synthetic, Medicine and Material Science data demonstrate that VoroDuce decimates models with up to a million primitives, successfully compressing the representation while preserving the underlying data better than naive decimation approaches.

cs.CG↗
arXiv2026

Approximation algorithm for mixed volumes of a constant number of convex bodies

We study the computation of mixed volumes of convex sets given as rational subspace sections of bodies described by membership oracles. The sets need not have nonempty interior. For positive multiplicities $α_1+\cdots+α_k=n$, we give a randomized algorithm that computes a relative $\varepsilon$-approximation with probability at least $1-δ$. Its running time is polynomial in Gurvits' factor $Γ_α=(n^n/n!)\prod_iα_i!/α_i^{α_i}$, the input presentation length, and $\varepsilon^{-1}$, and linear in $1+\logδ^{-1}$, with degree independent of $k$. The running-time bound holds for every choice of the random bits, and zero mixed volumes are detected exactly. We extend the capacity-scaling and sampling method of Narayanan--Roy by using rational projections and a smooth mixed Monge--Ampère representation. In particular, the algorithm runs in randomized polynomial time when the number of distinct convex sets is bounded above by a constant.

cs.CG↗