https://arxiv.org/api/FuIqXryTmZR25RKHSrpuifi4FQs 2026-06-17T14:45:36Z 8101 585 15 http://arxiv.org/abs/2305.06315v2 2025-11-14T16:09:19Z

For deep learning problems on graph-structured data, pooling layers are important for down sampling, reducing computational cost, and to minimize overfitting. We define a pooling layer, nervePool, for data structured as simplicial complexes, which are generalizations of graphs that include higher-dimensional simplices beyond vertices and edges; this structure allows for greater flexibility in modeling higher-order relationships. The proposed simplicial coarsening scheme is built upon partitions of vertices, which allow us to generate hierarchical representations of simplicial complexes, collapsing information in a learned fashion. NervePool builds on the learned vertex cluster assignments and extends to coarsening of higher dimensional simplices in a deterministic fashion. While in practice the pooling operations are computed via a series of matrix operations, the topological motivation is a set-theoretic construction based on unions of stars of simplices and the nerve complex.

2023-05-10T17:05:55Z 22 pages, 9 figures Sarah McGuire Scullen Ernst Röell Elizabeth Munch Bastian Rieck Matthew Hirn http://arxiv.org/abs/2511.08058v2 2025-11-14T09:05:09Z

We revisit the geometric foundations of mesh representation through the lens of Plane-based Geometric Algebra (PGA), questioning its efficiency and expressiveness for discrete geometry. We find how $k$-simplices (vertices, edges, faces, ...) and $k$-complexes (point clouds, line complexes, meshes, ...) can be written compactly as joins of vertices and their sums, respectively. We show how a single formula for their $k$-magnitudes (amount, length, area, ...) follows naturally from PGA's Euclidean and Ideal norms. This idea is then extended to produce unified coordinate-free formulas for classical results such as volume, centre of mass, and moments of inertia for simplices and complexes of arbitrary dimensionality. Finally we demonstrate the practical use of these ideas on some real-world examples.

2025-11-11T09:57:33Z 22 pages, 10 figures Steven De Keninck Martin Roelfs Leo Dorst David Eelbode http://arxiv.org/abs/2509.19995v2 2025-11-14T05:52:48Z

Scaling artist-designed meshes to high triangle numbers remains challenging for autoregressive generative models. Existing transformer-based methods suffer from long-sequence bottlenecks and limited quantization resolution, primarily due to the large number of tokens required and constrained quantization granularity. These issues prevent faithful reproduction of fine geometric details and structured density patterns. We introduce MeshMosaic, a novel local-to-global framework for artist mesh generation that scales to over 100K triangles--substantially surpassing prior methods, which typically handle only around 8K faces. MeshMosaic first segments shapes into patches, generating each patch autoregressively and leveraging shared boundary conditions to promote coherence, symmetry, and seamless connectivity between neighboring regions. This strategy enhances scalability to high-resolution meshes by quantizing patches individually, resulting in more symmetrical and organized mesh density and structure. Extensive experiments across multiple public datasets demonstrate that MeshMosaic significantly outperforms state-of-the-art methods in both geometric fidelity and user preference, supporting superior detail representation and practical mesh generation for real-world applications.

2025-09-24T11:02:03Z Project is available at: https://xrvitd.github.io/MeshMosaic/index.html Rui Xu Tianyang Xue Qiujie Dong Le Wan Zhe Zhu Peng Li Zhiyang Dou Cheng Lin Shiqing Xin Yuan Liu Wenping Wang Taku Komura http://arxiv.org/abs/2511.10749v1 2025-11-13T19:05:56Z

The concept of effective resistance, originally introduced in electrical circuit theory, has been extended to the setting of graphs by interpreting each edge as a resistor. In this context, the effective resistance between two vertices quantifies the total opposition to current flow when a unit current is injected at one vertex and extracted at the other. Beyond its physical interpretation, the effective resistance encodes rich structural and geometric information about the underlying graph: it defines a metric on the vertex set, relates to the topology of the graph through Foster's theorem, and determines the probability of an edge appearing in a random spanning tree. Generalizations of effective resistance to simplicial complexes have been proposed in several forms, often formulated as matrix products of standard operators associated with the complex. In this paper, we present a twofold generalization of the effective resistance. First, we introduce a novel, basis-independent bilinear form, derived from an algebraic reinterpretation of circuit theory, that extends the classical effective resistance from graphs. Second, we extend this bilinear form to simplices, chains, and cochains within simplicial complexes. This framework subsumes and unifies all existing matrix-based formulations of effective resistance. Moreover, we establish higher-order analogues of several fundamental properties known in the graph case: (i) we prove that effective resistance induces a pseudometric on the space of chains and a metric on the space of cycles, and (ii) we provide a generalization of Foster's Theorem to simplicial complexes.

2025-11-13T19:05:56Z Inés García-Redondo Claudia Landi Sarah Percival Anda Skeja Bei Wang Ling Zhou http://arxiv.org/abs/2511.10224v1 2025-11-13T11:54:10Z

Given a simple polygon $\mathscr{P}$, two points $x$ and $y$ within $\mathscr{P}$ are {\em visible} to each other if the line segment between $x$ and $y$ is contained in $\mathscr{P}$. The {\em visibility region} of a point $x$ includes all points in $\mathscr{P}$ that are visible from $x$. A point set $Q$ within a polygon $\mathscr{P}$ is said to be a \emph{witness set} for $\mathscr{P}$ if each point in $\mathscr{P}$ is visible from at most one point from $Q$. The problem of finding the largest size witness set in a given polygon was introduced by Amit et al. [Int. J. Comput. Geom. Appl. 2010]. Recently, Daescu et al. [Comput. Geom. 2019] gave a linear-time algorithm for this problem on monotone mountains. In this study, we contribute to this field by obtaining the largest witness set within both continuous and discrete models. In the {\sc Witness Set (WS)} problem, the input is a polygon $\mathscr{P}$, and the goal is to find a maximum-sized witness set in $\mathscr{P}$. In the {\sc Discrete Witness Set (DisWS)} problem, one is given a finite set of points $S$ alongside $\mathscr{P}$, and the task is to find a witness set $Q \subseteq S$ that maximizes $|Q|$. We investigate {\sc DisWS} in simple polygons, but consider {\sc WS} specifically for monotone polygons. Our main contribution is as follows: (1) a polynomial time algorithm for {\sc DisWS} for general polygons and (2) the discretization of the {\sc WS} problem for monotone polygons. Specifically, given a monotone polygon with $r$ reflex vertices, and a positive integer $k$ we generate a point set $Q$ with size $r^{O(k)} \cdot n$ such that $Q$ contains an witness set of size $k$ (if exists). This leads to an exact algorithm for {\sc WS} problem in monotone polygons running in time $r^{O(k)} \cdot n^{O(1)}$. We also provide a PTAS for this with running time $r^{O(1/ε)} n^2$.

2025-11-13T11:54:10Z 40 pages, 24 figures Udvas Das Binayak Dutta Satyabrata Jana Debabrata Pal Sasanka Roy http://arxiv.org/abs/2511.09707v1 2025-11-12T20:10:16Z

A graph $G$ is a circle graph if it is an intersection graph of chords of a unit circle. We give an algorithm that takes as input an $n$ vertex circle graph $G$, runs in time at most $n^{O(\log n)}$ and finds a proper $3$-coloring of $G$, if one exists. As a consequence we obtain an algorithm with the same running time to determine whether a given ordered graph $(G, \prec)$ has a $3$-page book embedding. This gives a partial resolution to the well known open problem of Dujmović and Wood [Discret. Math. Theor. Comput. Sci. 2004], Eppstein [2014], and Bachmann, Rutter and Stumpf [J. Graph Algorithms Appl. 2024] of whether 3-Coloring on circle graphs admits a polynomial time algorithm.

2025-11-12T20:10:16Z 19 pages, 6 figures, Best Paper Award at SOSA 2026 Ajaykrishnan E S Robert Ganian Daniel Lokshtanov Vaishali Surianarayanan http://arxiv.org/abs/2306.17097v5 2025-11-12T16:03:31Z

Given a point set $P$ in the Euclidean plane and a parameter $t$, we define an \emph{oriented $t$-spanner} $G$ as an oriented subgraph of the complete bi-directed graph such that for every pair of points, the shortest closed walk in $G$ through those points is at most a factor $t$ longer than the shortest cycle in the complete graph on $P$. We investigate the problem of computing sparse graphs with small oriented dilation. As we can show that minimising oriented dilation for a given number of edges is NP-hard in the plane, we first consider one-dimensional point sets. While obtaining a $1$-spanner in this setting is straightforward, already for five points such a spanner has no plane embedding with the leftmost and rightmost point on the outer face. This leads to restricting to oriented graphs with a one-page book embedding on the one-dimensional point set. For this case we present a dynamic program to compute the graph of minimum oriented dilation that runs in $\mathcal{O}(n^7)$ time for $n$ points, and a greedy algorithm that computes a $5$-spanner in $\mathcal{O}(n\log n)$ time. Expanding these results finally gives us a result for two-dimensional point sets: we prove that for convex point sets the greedy triangulation results in a plane oriented $t$-spanner with $t=7.2 \cdot t_g$, where $t_g$ is an upper bound on the dilation of the greedy triangulation.

2023-06-29T16:55:36Z conference version: ESA '23 Kevin Buchin Joachim Gudmundsson Antonia Kalb Aleksandr Popov Carolin Rehs André van Renssen Sampson Wong http://arxiv.org/abs/2107.06236v3 2025-11-12T15:52:12Z

We consider the embeddability problem of a graph G into a two-dimensional simplicial complex C: Given G and C, decide whether G admits a topological embedding into C. The problem is NP-hard, even in the restricted case where C is homeomorphic to a surface. We prove that the problem is fixed-parameter tractable in the size of the two-dimensional complex, by providing an O(2^{poly(c)}.n^2)-time algorithm. If G embeds into C, we can compute a representation of an embedding in the same amount of time. Moreover, we show that several known problems reduce to this one, such as the crossing number and the planarity number problems, and, under some conditions, the embedding extension problem. Our approach is to reduce to the case where G has bounded branchwidth via an irrelevant vertex method, and to apply dynamic programming. We do not rely on any component of the existing linear-time algorithms for embedding graphs on a fixed surface, but only on algorithms from graph minor theory. However, by combining our results with a linear-time algorithm for embedding graphs on surfaces and with a very recent result for the irrelevant vertex method, we can decide whether G embeds into C in f(c).O(n) time, for some function f.

2021-07-13T16:43:49Z Added alternative linear-time algorithm, and many minor improvements on the presentation. To appear in SIAM Journal on Computing Éric Colin de Verdière Thomas Magnard http://arxiv.org/abs/2511.07660v1 2025-11-10T22:10:24Z

Many approximation algorithms and heuristic algorithms to find a fair clustering have emerged. In this paper we define a new and natural variant of fair clustering problem and design a polynomial time algorithm to compute an optimal fair clustering. Let P be a set of n points on a plane, and each point has a color in C, corresponding to a group. For each color q in C, a lower bound l(q) and an upper bound u(q) are given. Then we define the fair clustering problem as follows. The fair k-clustering problem is to find a partition of P into a set of k clusters with a minimum cost such that each cluster contains at least l(q) and at most u(q) points in P with color q. By l(q) and u(q) each cluster cannot contain too few or too many points with a specific color. If we regard a color to a gender or a minority ethnic group, the clustering corresponds to a fair clustering.

2025-11-10T22:10:24Z Ayano Moritaka Shin-ichi Nakano Kento Tanaka Noriaki Yoshida http://arxiv.org/abs/2511.07346v1 2025-11-10T17:49:14Z

We study the Steiner Tree problem on the intersection graph of most natural families of geometric objects, e.g., disks, squares, polygons, etc. Given a set of $n$ objects in the plane and a subset $T$ of $t$ terminal objects, the task is to find a subset $S$ of $k$ objects such that the intersection graph of $S\cup T$ is connected. Given how typical parameterized problems behave on planar graphs and geometric intersection graphs, we would expect that exact algorithms with some form of subexponential dependence on the solution size or the number of terminals exist. Contrary to this expectation, we show that, assuming the Exponential-Time Hypothesis (ETH), there is no $2^{o(k+t)}\cdot n^{O(1)}$ time algorithm even for unit disks or unit squares, that is, there is no FPT algorithm subexponential in the size of the Steiner tree. However, subexponential dependence can appear in a different form: we show that Steiner Tree can be solved in time $n^{O(\sqrt{t})}$ for many natural classes of objects, including: Disks of arbitrary size. Axis-parallel squares of arbitrary size. Similarly-sized fat polygons. This in particular significantly improves and generalizes two recent results: (1) Steiner Tree on unit disks can be solved in time $n^{\Oh(\sqrt{k + t})}$ (Bhore, Carmi, Kolay, and Zehavi, Algorithmica 2023) and (2) Steiner Tree on planar graphs can be solved in time $n^{O(\sqrt{t})}$ (Marx, Pilipczuk, and Pilipczuk, FOCS 2018). We complement our algorithms with lower bounds that demonstrate that the class of objects cannot be significantly extended, even if we allow the running time to be $n^{o(k+t)/\log(k+t)}$.

2025-11-10T17:49:14Z 70 pages, 11 figures Sujoy Bhore Baris Can Esmer Daniel Marx Karol Wegrzycki http://arxiv.org/abs/2511.07206v1 2025-11-10T15:33:02Z

\textit{Implicit neural representations} (INRs) have emerged as a promising framework for representing signals in low-dimensional spaces. This survey reviews the existing literature on the specialized INR problem of approximating \textit{signed distance functions} (SDFs) for surface scenes, using either oriented point clouds or a set of posed images. We refer to neural SDFs that incorporate differential geometry tools, such as normals and curvatures, in their loss functions as \textit{geometric} INRs. The key idea behind this 3D reconstruction approach is to include additional \textit{regularization} terms in the loss function, ensuring that the INR satisfies certain global properties that the function should hold -- such as having unit gradient in the case of SDFs. We explore key methodological components, including the definition of INR, the construction of geometric loss functions, and sampling schemes from a differential geometry perspective. Our review highlights the significant advancements enabled by geometric INRs in surface reconstruction from oriented point clouds and posed images.

2025-11-10T15:33:02Z Luiz Schirmer Tiago Novello Vinícius da Silva Guilherme Schardong Daniel Perazzo Hélio Lopes Nuno Gonçalves Luiz Velho 10.1016/j.cag.2024.104085 http://arxiv.org/abs/2511.07008v1 2025-11-10T11:58:21Z

The Strip Packing Problem is a classical optimization problem in which a given set of rectangles must be packed, without overlap, into a strip of fixed width and infinite height, while minimizing the total height of the packing. A straightforward and widely studied approach to this problem is the Bottom-Left Heuristic. It consists of iteratively placing each rectangle in the given order at the lowest feasible position in the strip and, in case of ties, at the leftmost of those. Due to its simplicity and good empirical performance, this heuristic is widely used in practical applications. The most efficient implementation of this heuristic was proposed by Chazelle in 1983, requiring $O(n^2)$ time and $O(n)$ space to place $n$ rectangles. However, although Chazelle's original description was largely correct, it omitted several formal details. Furthermore, our analysis revealed a critical flaw in the original runtime analysis, which, in certain cases, results in $Ω(n^3)$ running time. Motivated by this finding, this paper provides a rigorous and corrected presentation of the implementation, addressing the imprecise arguments and resolving the identified flaw. The resulting analysis establishes a formally verified version of Chazelle's implementation and confirms its quadratic time complexity.

2025-11-10T11:58:21Z 48 pages, 34 figures Stefan Michel http://arxiv.org/abs/2508.14407v3 2025-11-10T07:57:59Z

This study presents a novel algorithm for identifying the set of extreme points that constitute the exact convex hull of a point set in high-dimensional Euclidean space. The proposed method iteratively solves a sequence of dynamically updated quadratic programming (QP) problems for each point and exploits their solutions to provide theoretical guarantees for exact convex hull identification. For a dataset of \( n \) points in an \( m \)-dimensional space, the algorithm achieves a dimension-independent worst-case time complexity of \( O(n^{p+2} \log(1/ε)) \), where \( p \) depends on the choice of QP solver (e.g., \( p = 4 \) corresponds to the worst-case bound when using an interior-point method), and \( ε\) denotes the target numerical precision (i.e., the optimality tolerance of the QP solver). The proposed method is applicable to spaces of arbitrary dimensionality and exhibits particular efficiency in high-dimensional settings, owing to its polynomial-time complexity, whereas existing exponential-time algorithms become computationally impractical.

2025-08-20T04:07:40Z 8 pages, 4 figures Qianwei Zhuang http://arxiv.org/abs/2511.06114v1 2025-11-08T19:47:40Z

Automatic assembly of apictorial jigsaw puzzles presents a classic curve matching problem, fundamentally challenged by discrete and noisy contour data obtained from digitization. Conventional smoothing methods, which are required to process these data, often distort the curvature-based criteria used for matching and cause a loss of critical information. This paper proposes a method to overcome these issues, demonstrated on the automatic reconstruction of a 54-piece puzzle. We reconstruct each piece's contour using a novel corotational beam spline, which models the boundary as a flexible beam with compliant spring supports at the measured data points. A distinctive feature is the dynamic re-indexing of these points; as their calculated positions are refined, they are re-numbered based on their projection onto the computed contour. Another contribution is a method for determining spring compliance in proportion to the distance between the point projections. This approach uniquely ensures a uniform degree of smoothing for corresponding curves, making the matching process robust to variations in point density and dependent only on measurement accuracy. Practical computations and the successful automatic reconstruction of the puzzle demonstrate the proposed method's effectiveness.

2025-11-08T19:47:40Z Igor Orynyak Dmytro Koltsov Danylo Tavrov http://arxiv.org/abs/2511.05837v1 2025-11-08T04:06:21Z

The fibered barcode $\mathcal{F}(M)$ of a bipersistence module $M$ is the map sending each non-negatively sloped affine line $\ell \subset \mathbb{R}^2$ to the barcode of the restriction of $M$ along $\ell$. The simplicity, computability, and stability of $\mathcal{F}(M)$ make it a natural choice of invariant for data analysis applications. In an earlier preprint [arXiv:1512.00180], we introduced a framework for real-time interactive visualization of $\mathcal{F}(M)$, which allows the user to select a single line $\ell$ via a GUI and then plots the associated barcode. This visualization is a key feature of our software RIVET for the visualization and analysis of bipersistent homology. Such interactive visualization requires a framework for efficient queries of $\mathcal{F}(M)$, i.e., for quickly obtaining the barcode along a given line $\ell$. To enable such queries, we introduced a novel data structure based on planar line arrangements, called an augmented arrangement. The aim of the present paper is to give an updated and improved exposition of the parts of our preprint [arXiv:1512.00180] concerning the mathematics of the augmented arrangement and its computation. Notably, by taking the input to be a minimal presentation rather than a chain complex, we are able to substantially simplify our main algorithm and its complexity analysis.

2025-11-08T04:06:21Z 42 pages, 10 figures; see also earlier preprint arXiv:1512.00180 Michael Lesnick Matthew Wright