https://arxiv.org/api/t/LJFVwLxSRBI/c/sPlsFADxvOE 2026-06-11T01:15:38Z 8089 390 15 http://arxiv.org/abs/2506.18755v3 2026-02-07T10:48:13Z

We study the Universal Solvability of Robot Motion Planning on Graphs (USolR) problem: given an undirected graph $G = (V, E)$ and $p$ robots, determine whether any arbitrary configuration of the robots can be transformed into any other arbitrary configuration via a sequence of valid, collision-free moves. We design a canonical accumulation procedure that maps arbitrary configurations to configurations that occupy a fixed subset of vertices, enabling us to analyze configuration reachability in terms of equivalence classes. We prove that in instances that are not universally solvable, at least half of all configurations are unreachable from a given one, and leverage this to design an efficient randomized algorithm with one-sided error, which can be derandomized with a blow-up in the running time by a factor of $p$. Further, we optimize our deterministic algorithm by using the structure of the input graph $G = (V, E)$, achieving a running time of $\mathcal{O}(p \cdot (|V| + |E|))$ in sparse graphs and $\mathcal{O}(|V| + |E|)$ in dense graphs. Finally, we consider the Graph Edge Augmentation for Universal Solvability (EAUS) problem, where given a connected graph $G$ that is not universally solvable for $p$ robots, the question is to check if for a given budget $b$, at most $b$ edges can be added to $G$ to make it universally solvable for $p$ robots. We provide an upper bound of $p - 2$ on $b$ for general graphs. On the other hand, we also provide examples of graphs that require $Θ(p)$ edges to be added. We further study the Graph Vertex and Edge Augmentation for Universal Solvability (VEAUS) problem, where $a$ vertices and $b$ edges can be added, and we provide lower bounds on $a$ and $b$.

2025-06-23T15:25:50Z accepted to AAMAS 2026 Anubhav Dhar Pranav Nyati Tanishq Prasad Ashlesha Hota Sudeshna Kolay http://arxiv.org/abs/2602.06633v1 2026-02-06T11:46:20Z

$\renewcommand{\Re}{\mathbb{R}}$Recent work showed how to construct nearest-neighbor graphs of linear size, on a given set $P$ of $n$ points in $\Re^d$, such that one can answer approximate nearest-neighbor queries in logarithmic time in the spread. Unfortunately, the spread might be unbounded in $n$, and an interesting theoretical question is how to remove the dependency on the spread. Here, we show how to construct an external linear-size data structure that, combined with the linear-size graph, allows us to answer ANN queries in logarithmic time in $n$.

2026-02-06T11:46:20Z Jeff Giliberti Sariel Har-Peled Jonas Sauer Ali Vakilian http://arxiv.org/abs/2602.06539v1 2026-02-06T09:43:35Z

The Sliced Wasserstein Kernel (SWK) for persistence diagrams was introduced in (Carri{è}re et al. 2017) as a powerful tool to implicitly embed persistence diagrams in a Hilbert space with reasonable distortion. This kernel is built on the intuition that the Figalli-Gigli distance-that is the partial matching distance routinely used to compare persistence diagrams-resembles the Wasserstein distance used in the optimal transport literature, and that the later could be sliced to define a positive definite kernel on the space of persistence diagrams. This efficient construction nonetheless relies on ad-hoc tweaks on the Wasserstein distance to account for the peculiar geometry of the space of persistence diagrams. In this work, we propose to revisit this idea by directly using the Figalli-Gigli distance instead of the Wasserstein one as the building block of our kernel. On the theoretical side, our sliced Figalli-Gigli kernel (SFGK) shares most of the important properties of the SWK of Carri{è}re et al., including distortion results on the induced embedding and its ease of computation, while being more faithful to the natural geometry of persistence diagrams. In particular, it can be directly used to handle infinite persistence diagrams and persistence measures. On the numerical side, we show that the SFGK performs as well as the SWK on benchmark applications.

2026-02-06T09:43:35Z Marc Janthial X Théo Lacombe LIGM http://arxiv.org/abs/2510.23484v2 2026-02-06T09:38:32Z

Self-supervised learning (SSL) has emerged as a powerful paradigm for learning representations without labeled data, often by enforcing invariance to input transformations such as rotations or blurring. Recent studies have highlighted two pivotal properties for effective representations: (i) avoiding dimensional collapse-where the learned features occupy only a low-dimensional subspace, and (ii) enhancing uniformity of the induced distribution. In this work, we introduce T-REGS, a simple regularization framework for SSL based on the length of the Minimum Spanning Tree (MST) over the learned representation. We provide theoretical analysis demonstrating that T-REGS simultaneously mitigates dimensional collapse and promotes distribution uniformity on arbitrary compact Riemannian manifolds. Several experiments on synthetic data and on classical SSL benchmarks validate the effectiveness of our approach at enhancing representation quality.

2025-10-27T16:16:40Z NeurIPS 2025 Julie Mordacq David Loiseaux Vicky Kalogeiton Steve Oudot http://arxiv.org/abs/2404.00427v3 2026-02-05T23:58:21Z

A kernel based method is proposed for the construction of signature (defining) functions of subsets of $\mathbb{R}^d$. The subsets can range from full dimensional manifolds (open subsets) to point clouds (a finite number of points) and include bounded (closed) smooth manifolds of any codimension. The interpolation and analysis of point clouds are the main application. Two extreme cases in terms of regularity are considered, where the data set is interpolated by an analytic surface, at the one extreme, and by a Hölder continuous surface, at the other. The signature function can be computed as a combination of translated kernels, the coefficients of which are the solution of a Fredholm integral equation (matrix equation in the finite dimensional case). Once it is obtained, it can be used to estimate the dimension as well as the normal and the curvatures of the interpolated manifold. The method is global and does not require the data set to be organized or structured in any particular way. It admits a variational formulation with a natural regularized counterpart, that proves useful in dealing with data sets corrupted by numerical error or noise. The underlying analytical structure of the approach is presented in general before it is applied to the case of point clouds.

2024-03-30T17:21:07Z 21 pages, 11 figures, 4 tables Patrick Guidotti http://arxiv.org/abs/2602.06006v1 2026-02-05T18:49:49Z

Calculus and geometry are ubiquitous in the theoretical modelling of scientific phenomena, but have historically been very challenging to apply directly to real data as statistics. Diffusion geometry is a new theory that reformulates classical calculus and geometry in terms of a diffusion process, allowing these theories to generalise beyond manifolds and be computed from data. This work introduces a new computational framework for diffusion geometry that substantially broadens its practical scope and improves its precision, robustness to noise, and computational complexity. We present a range of new computational methods, including all the standard objects from vector calculus and Riemannian geometry, and apply them to solve spatial PDEs and vector field flows, find geodesic (intrinsic) distances, curvature, and several new topological tools like de Rham cohomology, circular coordinates, and Morse theory. These methods are data-driven, scalable, and can exploit highly optimised numerical tools for linear algebra.

2026-02-05T18:49:49Z Iolo Jones David Lanners http://arxiv.org/abs/2509.21681v3 2026-02-04T21:17:06Z

Most of the literature of computational geometry concerns geometric properties of sets of static points. M.J. Atallah introduced dynamic computational geometry, concerned with both momentary and long-term geometric properties of sets of moving point-objects. This area of research seems to have been dormant recently. The current paper examines new problems in dynamic computational geometry.

2025-09-25T23:07:10Z Some material is quoted or paraphrased from previous papers. Citations are given for all such material Laurence Boxer http://arxiv.org/abs/2311.15057v2 2026-02-04T16:21:13Z

Semantic word clouds visualize the semantic relatedness between the words of a text by placing pairs of related words close to each other. Formally, the problem of drawing semantic word clouds corresponds to drawing a rectangle contact representation of a graph whose vertices correlate to the words to be displayed and whose edges indicate that two words are semantically related. The goal is to maximize the number of realized contacts while avoiding any false adjacencies. We consider a variant of this problem that restricts input graphs to be layered and all rectangles to be of equal height, called \textsc{Maximum Layered Contact Representation Of Word Networks} or \textsc{Max-LayeredCrown}, as well as the variant \textsc{Max-IntLayeredCrown}, which restricts the problem to only rectangles of integer width and the placement of those rectangles to integer coordinates. We classify the corresponding decision problem $k$-\textsc{IntLayeredCrown} as NP-complete even for triangulated graphs and $k$-\textsc{LayeredCrown} as NP-complete for planar graphs. We introduce three algorithms: a 1/2-approximation for \textsc{Max-LayeredCrown} of triangulated graphs, and a PTAS and an XP algorithm for \textsc{Max-IntLayeredCrown} with rectangle width polynomial in $n$.

2023-11-25T15:45:09Z Appears in the Proceedings of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024) Carolina Haase Philipp Kindermann http://arxiv.org/abs/2602.03684v1 2026-02-03T16:05:19Z

The theory of point vortex dynamics has existed since Kirchhoff's proposal in 1891 and is still under development with connections to many fields in mathematics. As a strong simplification of the concept of vorticity it excels in computational speed for vorticity based fluid simulations at the cost of accuracy. Recent finding by Stefanella Boatto and Jair Koiller allowed the extension of this theory on to closed surfaces. A comprehensive guide to point vortex dynamics on closed surfaces with genus zero and vanishing total vorticity is presented here. Additionally fundamental knowledge of fluid dynamics and surfaces are explained in a way to unify the theory of point vortex dynamics of the plane, the sphere and closed surfaces together with implementation details and supplement material.

2026-02-03T16:05:19Z Master Thesis, Technical University of Berlin Marcel Padilla http://arxiv.org/abs/2202.11663v4 2026-02-03T14:08:06Z

The concept of programmable matter envisions a very large number of tiny and simple robot particles forming a smart material. Even though the particles are restricted to local communication, local movement, and simple computation, their actions can nevertheless result in the global change of the material's physical properties and geometry. A fundamental algorithmic task for programmable matter is to achieve global shape reconfiguration by specifying local behavior of the particles. In this paper we describe a new approach for shape reconfiguration in the \emph{amoebot} model. The amoebot model is a distributed model which significantly restricts memory, computing, and communication capacity of the individual particles. Thus the challenge lies in coordinating the actions of particles to produce the desired behavior of the global system. Our reconfiguration algorithm is the first algorithm that does not use a canonical intermediate configuration when transforming between arbitrary shapes. We introduce new geometric primitives for amoebots and show how to reconfigure particle systems, using these primitives, in a linear number of activation rounds in the worst case. In practice, our method exploits the geometry of the symmetric difference between input and output shape: it minimizes unnecessary disassembly and reassembly of the particle system when the symmetric difference between the initial and the target shapes is small. Furthermore, our reconfiguration algorithm moves the particles over as many parallel shortest paths as the problem instance allows.

2022-02-23T18:09:42Z Irina Kostitsyna Tom Peters Bettina Speckmann http://arxiv.org/abs/2601.17490v2 2026-02-03T13:03:30Z

We introduce a framework for constructing fractal trees via analytic generator fields, replacing discrete affine transformations and symbolic rewriting rules by the integration of smooth vector fields in an internal state space. In this setting, geometric curves are obtained as projections of generator trajectories, and branching is implemented as a primitive operation through exact inheritance of generator state. At every finite depth, the resulting structure is a finite union of analytic curve segments that is smooth across branch events. Two structural results relate this generator-driven construction to classical discrete models of tree-based fractals. First, a combinatorial universality theorem shows that any discrete tree specification, including those arising from iterated function systems and L-systems, can be compiled into an analytic generator tree whose induced discrete scaffold is isomorphic at every finite depth. Second, under standard contractive assumptions, a canopy set equivalence theorem establishes that the accumulation set of analytic branch endpoints coincides with the attractor of the corresponding discrete construction. These results separate local geometric regularity from global fractal complexity, showing that fractality is determined by recursive branching and scaling rather than by local non-smoothness. The framework provides a smooth representation of tree-based fractals that preserves both their finite combinatorial structure and their asymptotic limit geometry.

2026-01-24T15:34:13Z Clarified scope and framing; no changes to results Henk Mulder http://arxiv.org/abs/2511.21173v2 2026-02-03T07:24:44Z

In this paper, we first prove that any interior point of an open interval of the real line can be interpreted as Fréchet means with respect to corresponding metric distances, thus extending the result of [Dinh et al., Mathematical Intelligencer 47.2 (2025)] which was restricted to intervals on the positive reals by using the family of power means: Our generic construction relies on the concept of scales of means that we demonstrate with the scale of exponential means and the scale of radical means. Second, we interpret those Fréchet means geometrically as the center of mass of any two distinct points on the Euclidean line expressed in various coordinate systems: Namely, by interpreting the Euclidean line as a 1D Hessian Riemannian manifold, we introduce pairs of dual Fréchet/Karcher means related by convex duality in dual coordinate systems. This result yields us to consider squared Hessian metrics in arbitrary dimension: We prove that these squared Hessian metrics amount to Euclidean geometry with the Riemannian center of mass expressed in primal coordinate systems as multivariate quasi-arithmetic means coinciding with left-sided Bregman centroids.

2025-11-26T08:38:42Z 14 pages, 1 figure Frank Nielsen http://arxiv.org/abs/2601.22728v2 2026-02-02T19:43:13Z

$\newcommand{\Re}{\mathbb{R}}$We study the minWSPD problem of computing the minimum-size well-separated pairs decomposition of a set of points, and show constant approximation algorithms in low-dimensional Euclidean space and doubling metrics. This problem is computationally hard already $\Re^2$, and is also hard to approximate. We also introduce a new pair decomposition, removing the requirement that the diameters of the parts should be small. Surprisingly, we show that in a general metric space, one can compute such a decomposition of size $O( \tfrac{n}{\varepsilon}\log n)$, which is dramatically smaller than the quadratic bound for WSPDs. In $\Re^d$, the bound improves to $O( d \tfrac{n}{\varepsilon}\log \tfrac{1}{\varepsilon } )$.

2026-01-30T09:03:32Z Kevin Buchin Jacobus Conradi Sariel Har-Peled Antonia Kalb Abhiruk Lahiri Lukas Plätz Carolin Rehs Sampson Wong http://arxiv.org/abs/2602.01074v1 2026-02-01T07:39:18Z

Given a set of $n$ circular arcs of the same radius in the plane, we consider the problem of computing the number of intersections among the arcs. The problem was studied before and the previously best algorithm solves the problem in $O(n^{4/3+ε})$ time [Agarwal, Pellegrini, and Sharir, SIAM J. Comput., 1993], for any constant $ε>0$. No progress has been made on the problem for more than 30 years. We present a new algorithm of $O(n^{4/3}\log^{16/3}n)$ time and improve it to $O(n^{1+ε}+K^{1/3}n^{2/3}(\frac{n^2}{n+K})^ε\log^{16/3}n)$ time for small $K$, where $K$ is the number of intersections of all arcs.

2026-02-01T07:39:18Z To appear in STACS 2026 Haitao Wang http://arxiv.org/abs/2403.06564v4 2026-02-01T07:25:43Z

The Reeb space is a fundamental data structure in computational topology that represents the fiber topology of a multi-field (or multiple scalar fields), extending the level set topology of a scalar field. Efficient algorithms have been designed for computing Reeb graphs, however, computing correct Reeb spaces for PL bivariate fields, is a challenging open problem. There are only a few implementable algorithms in the literature for computing Reeb space or its approximation, via range quantization or by computing a Jacobi fiber surface, which are computationally expensive or have correctness issues, i.e., the computed Reeb space may not be topologically equivalent or homeomorphic to the actual Reeb space. In the current paper, we propose a novel algorithm for fast and correct computation of the Reeb space corresponding to a generic PL bivariate field defined on a triangulation $\mathbb{M}$ of a $3$-manifold without boundary, leveraging the fast algorithms for computing Reeb graphs in the literature. Our algorithm is based on the computation of a Multi-Dimensional Reeb Graph (MDRG) which is first proved to be homeomorphic with the Reeb space. For the correct computation of the MDRG, we compute the Jacobi set of the PL bivariate field and its projection into the Reeb space, called the Jacobi structure. Finally, the correct Reeb space is obtained by computing a net-like structure embedded in the Reeb space and then computing its $2$-sheets in the net-like structure. The time complexity of our algorithm is $\mathcal{O}(n^2 + n\, c_{int}\, \log n + nc_L^2)$, where $n$ is the total number of simplices in $\mathbb{M}$, $c_{int}$ is the number of intersection points of the projections of the non-adjacent Jacobi set edges on the range of the bivariate field and $c_L$ is the upper bound on the number of simplices in the link of an edge of $\mathbb{M}$.

2024-03-11T10:06:08Z Amit Chattopadhyay Yashwanth Ramamurthi Osamu Saeki