https://arxiv.org/api/LQLY9b6CVT8r8R5PdSNMR7CS5uI 2026-06-11T05:46:30Z 8089 450 15 http://arxiv.org/abs/2510.12700v2 2026-01-09T01:40:17Z

This paper explores the topological signatures of ReLU neural network activation patterns. We consider feedforward neural networks with ReLU activation functions and analyze the polytope decomposition of the feature space induced by the network. Mainly, we investigate how the Fiedler partition of the dual graph and show that it appears to correlate with the decision boundary -- in the case of binary classification. Additionally, we compute the homology of the cellular decomposition -- in a regression task -- to draw similar patterns in behavior between the training loss and polyhedral cell-count, as the model is trained.

2025-10-14T16:36:34Z Proc. 1st Conf. on Topology, Algebra, and Geometry in Data Science (TAG-DS 2025), PMLR 321:287-301, 2026 Vicente Bosca Tatum Rask Sunia Tanweer Andrew R. Tawfeek Branden Stone http://arxiv.org/abs/2407.07749v4 2026-01-08T16:15:45Z

We study the Euclidean minimum weight perfect matching problem for $n$ points in the plane. It is known that any deterministic approximation algorithm whose approximation ratio depends only on $n$ requires at least $Ω(n \log n)$ time. We propose such an algorithm for the Euclidean minimum weight perfect matching problem with runtime $O(n\log n)$ and show that it has approximation ratio $O(n^{0.206})$. This improves the so far best known approximation ratio of $n/2$. We also develop an $O(n \log n)$ algorithm for the Euclidean minimum weight perfect matching problem in higher dimensions and show it has approximation ratio $O(n^{0.412})$ in all fixed dimensions.

2024-07-10T15:20:21Z revised, 22 pages Stefan Hougardy Karolina Tammemaa http://arxiv.org/abs/2601.04626v1 2026-01-08T05:55:26Z

In this paper, we study the dominating set problem in \emph{RDV graphs}, a graph class that lies between interval graphs and chordal graphs and is defined as the \textbf{v}ertex-intersection graphs of \textbf{d}ownward paths in a \textbf{r}ooted tree. It was shown in a previous paper that adjacency queries in an RDV graph can be reduced to the question whether a horizontal segment intersects a vertical segment. This was then used to find a maximum matching in an $n$-vertex RDV graph, using priority search trees, in $O(n\log n)$ time, i.e., without even looking at all edges. In this paper, we show that if additionally we also use a ray shooting data structure, we can also find a minimum dominating set in an RDV graph $O(n\log n)$ time (presuming a linear-sized representation of the graph is given). The same idea can also be used for a new proof to find a minimum dominating set in an interval graph in $O(n)$ time.

2026-01-08T05:55:26Z To appear at SOFSEM'26 Therese Biedl Prashant Gokhale http://arxiv.org/abs/2508.18222v7 2026-01-06T15:41:28Z

I present a coordinate-free, symbolic framework for determining whether a given set of polygonal faces can form a closed, genus-zero polyhedral surface and for predicting admissible internal tetrahedral decompositions consistent with incidence constraints. The method uses only discrete combinatorial variables, such as the number of tetrahedra T, internal gluing triangles Ni, and internal triangulation segments Si, and applies feasibility checks prior to any geometric embedding. For polyhedra in normal form, I record exact incidence identities linking V, E, and F to a flatness parameter S defined as the sum over faces of (degree minus three), and identify parity-sensitive extremal behavior in E, F, and S arising from minimal vertex-degree constraints. These external identities and parity-dependent bounds hold for genus-zero polyhedral graphs under standard simplicity and connectivity assumptions. For internal quantities, I prove exact relations Ni = 2T - V + 2 and T - Ni + Si = 1, and derive restricted linear ranges for tetrahedral decompositions in normal form with no interior vertices. Together, these results yield a symbolic workflow for rapid pre-screening of combinatorially impossible configurations, reducing reliance on costly geometric validation in computational geometry, graphics, and automated modeling.

2025-08-25T17:21:13Z An open-source R implementation of the symbolic framework is available at https://github.com/MoustaphaItani/polyenclose Moustapha Itani http://arxiv.org/abs/2511.02064v4 2026-01-06T11:43:52Z

Constructing an adaptive hexahedral tessellation to fit an input triangle boundary is a key challenge in grid-based methods. The conventional method first removes outside elements (RO) and then projects the axis-aligned boundary onto the input triangle boundary, which has no guarantee on improving the initial Intersection over Union (IoU) and Hausdorff distance ratio (HR, w.r.t bounding box diagonal). The proposed MCHex approach replaces RO with a Marching Cubes method MCHex. Given the same computational budget (benchmarked using an identical precomputed Signed Distance Field, which dominates the runtime), MCHex provides better boundary approximation (higher IoU and lower HR) while guaranteeing a lower, yet still positive, minimum scaled Jacobian (>0 vs. RO's >0.48).

2025-11-03T21:00:14Z Hua Tong Yongjie Jessica Zhang http://arxiv.org/abs/2601.01405v1 2026-01-04T07:04:18Z

Ball Mapper is an widely used tool in topological data analysis for summarizing the structure of high-dimensional data through metric-based coverings and graph representations. A central computational bottleneck in Ball Mapper is the construction of the underlying cover, which requires repeated range queries to identify data points within a fixed distance of selected landmarks. As data sets grow in size and dimensionality, naive implementations of this step become increasingly inefficient. In this work, we study practical strategies for accelerating cover construction in Ball Mapper by improving the efficiency of range queries. We integrate two complementary approaches into the Ball Mapper pipeline: hierarchical geometric pruning using ball tree data structures, and hardware-aware distance computation using Facebook AI Similarity Search. We describe the underlying algorithms, discuss their trade-offs with respect to metric flexibility and dimensionality, and provide implementation details relevant to large-scale data analysis. Empirical benchmarks demonstrate that both approaches yield substantial speedups over the baseline implementation, with performance gains depending on data set size, dimensionality, and choice of distance function. These results improve the practical scalability of Ball Mapper without modifying its theoretical formulation and provide guidance for the efficient implementation of metric-based exploratory tools in modern data analysis workflows.

2026-01-04T07:04:18Z Jay-Anne Bulauan John Rick Manzanares http://arxiv.org/abs/2601.00775v1 2026-01-02T18:12:12Z

Atmospheric blocking events are quasi-stationary high-pressure systems that disrupt the typical paths of polar and subtropical air currents, often producing prolonged extreme weather events such as summer heat waves or winter cold spells. Despite their critical role in shaping mid-latitude weather, accurately modeling and analyzing blocking events in long meteorological records remains a significant challenge. To address this challenge, we present an uncertainty visualization framework for detecting and characterizing atmospheric blocking events. First, we introduce a geometry-based detection and tracking method, evaluated on both pre-industrial climate model simulations (UKESM) and reanalysis data (ERA5), which represent historical Earth observations assimilated from satellite and station measurements onto regular numerical grids using weather models. Second, we propose a suite of uncertainty-aware summaries: contour boxplots that capture representative boundaries and their variability, frequency heatmaps that encode occurrences, and 3D temporal stacks that situate these patterns in time. Third, we demonstrate our framework in a case study of the 2003 European heatwave, mapping the spatiotemporal occurrences of blocking events using these summaries. Collectively, these uncertainty visualizations reveal where blocking events are most likely to occur and how their spatial footprints evolve over time. We envision our framework as a valuable tool for climate scientists and meteorologists: by analyzing how blocking frequency, duration, and intensity vary across regions and climate scenarios, it supports both the study of historical blocking events and the assessment of scenario-dependent climate risks associated with changes in extreme weather linked to blocking.

2026-01-02T18:12:12Z in IEEE Transactions on Visualization and Computer Graphics, 2026 Mingzhe Li Peer Nowack Bei Wang http://arxiv.org/abs/2504.11203v2 2026-01-02T17:05:15Z

In this work, we introduce and study what we believe is an intriguing and, to the best of our knowledge, previously unknown connection between two areas in computational topology, topological data analysis (TDA) and knot theory. Given a function from a topological space to $\mathbb{R}$, TDA provides tools to simplify and study the importance of topological features: in particular, the $l^{th}$-dimensional persistence diagram encodes the $l$-homology in the sublevel set as the function value increases as a set of points in the plane. Given a continuous one-parameter family of such functions, we can combine the persistence diagrams into an object known as a vineyard, which track the evolution of points in the persistence diagram. If we further restrict that family of functions to be periodic, we identify the two ends of the vineyard, yielding a closed vineyard. This allows the study of monodromy, which in this context means that following the family of functions for a period permutes the set of points in a non-trivial way. In this work, given a link and value $l$, we construct a topological space and periodic family of functions such that the closed $l$-vineyard contains this link. This shows that vineyards are topologically as rich as one could possibly hope. Importantly, it has at least two immediate consequences: First, monodromy of any periodicity can occur in a $l$-vineyard, answering a variant of a question by [Arya et al 2024]. To exhibit this, we also reformulate monodromy in a more geometric way, which may be of interest in itself. Second, distinguishing vineyards is likely to be difficult given the known difficulty of knot and link recognition, which have strong connections to many NP-hard problems.

2025-04-15T14:02:59Z 30 pages, 18 figures Erin Chambers Christopher Fillmore Elizabeth Stephenson Mathijs Wintraecken http://arxiv.org/abs/2507.07269v2 2026-01-02T08:04:58Z

An $ε$-net theorem for a hypergraph upper bounds the minimum size of a vertex set that pierces all $ε$-heavy hyperedges. A $(p,2)$-theorem bounds from above the minimum size of a vertex set that pierces all hyperedges, in terms of the maximum size of a set of pairwise disjoint hyperedges. Numerous works studied $ε$-net theorems and $(p,2)$-theorems that guarantee the existence of small-sized piercing sets. We focus on the question: In which settings the asymptotically smallest possible piercing sets -- i.e., $ε$-nets of size $O(\frac{1}ε)$ and piercing sets of size $O(p)$ in $(p,2)$-theorems, are guaranteed? We obtain several sufficient criteria for the existence of such linear $ε$-net theorems and $(p,2)$-theorems that unveil interesting connections to graph theory and improve and generalize several previous results. Most notably, we exhibit an unexpected relation of $ε$-nets to the classical Zarankiewicz's problem in graph theory. We show that a linear bound in the Zarankiewicz-type problem that asks for the maximum size of a bipartite graph with no copy of $K_{2,t}$, implies a linear $ε$-net theorem for the corresponding neighborhood hypergraph. We also show that hypergraphs with a hereditarily linear-sized Delaunay graph admit an almost linear $(p,2)$-theorem, and deduce that incidence hypergraphs of non-piercing regions in the plane admit a linear $(p,2)$-theorem, significantly improving previous results on such hypergraphs. Our work presents a landscape of sufficient conditions for the existence of linear $ε$-net theorems and $(p,2)$-theorems, with complex interrelations between them. Many of the interrelations are still unknown and call for future research.

2025-07-09T20:30:08Z 16 pages, 1 figure. This version merges the previous one (which contained only $(p,2)$ theorems) with new results on linear-sized ε-nets and additional results. The title of the paper has changed accordingly Chaya Keller Shakhar Smorodinsky http://arxiv.org/abs/2601.00414v1 2026-01-01T18:09:12Z

The convexity number of a set $X \subset \mathbb{R}^2$ is the minimum number of convex subsets required to cover it. We study the following question: what is the largest possible convexity number $f(n)$ of $\mathbb{R}^2 \setminus S$, where $S$ is a set of $n$ points in general position in the plane? We prove that for all $n \geq 4$, $\lfloor\frac{n+5}{2}\rfloor \leq f(n) \leq \frac{7n+44}{11}$. We also show that for every $n \geq 4$, if the points of $S$ are in convex position then the convexity number of $\mathbb{R}^2 \setminus S$ is $\lfloor\frac{n+5}{2}\rfloor$. This solves a problem of Lawrence and Morris [Finite sets as complements of finite unions of convex sets, Disc. Comput. Geom. 42 (2009), 206-218].

2026-01-01T18:09:12Z 15 pages, 13 figures Chaya Keller Micha A. Perles http://arxiv.org/abs/2601.00392v1 2026-01-01T17:04:59Z

$\def\DD{\bf δ}\def\CH{\mathop{\mathrm{ConvexHull}}}\newcommand{\LL}{\cal {L}} \newcommand{\ZZ}{\mathbb{Z}} $ Given a convex body $C$ in the plane, its discrete hull is $C^0 = \CH( C \cap \LL )$, where $\LL = \ZZ \times \ZZ$ is the integer lattice. We present an $O( |C^0| \log \DD(C) )$-time algorithm for calculating the discrete hull of $C$, where $|C^0|$ denotes the number of vertices of $C^0$, and $\DD(C)$ is the diameter of $C$. Actually, using known combinatorial bounds, the running time of the algorithm is $O(\DD(C)^{2/3} \log{\DD(C)})$. In particular, this bound applies when $C$ is a disk.

2026-01-01T17:04:59Z Appeared in SoCG 98 Sariel Har-Peled http://arxiv.org/abs/2507.11406v2 2025-12-31T15:56:28Z

Heegaard splittings provide a natural representation of closed 3-manifolds by gluing two handlebodies along a common surface. These splittings can be equivalently given by two finite sets of meridians lying on the surface, which define a Heegaard diagram. We present a data structure to effectively represent Heegaard diagrams as normal curves with respect to triangulations of a surface, where the complexity is measured by the space required to express the normal coordinates' vectors in binary. This structure can be significantly more compact than triangulations of 3-manifolds, yielding exponential gains for certain families. Even with this succinct definition of complexity, we establish polynomial-time algorithms for comparing and manipulating diagrams, performing stabilizations, detecting trivial stabilizations and reductions, and computing topological invariants of the underlying manifolds, such as their fundamental and homology groups. We also contrast early implementations of our techniques with standard software programs for 3-manifolds, achieving faster algorithms for the average cases and exponential gains in speed for some particular presentations of the inputs.

2025-07-15T15:24:49Z Henrique Ennes Clément Maria http://arxiv.org/abs/2407.03101v4 2025-12-31T08:31:14Z

We show that a variant of the continuous Frechet distance between polygonal curves can be computed using essentially the same algorithm used to solve the discrete version. The new variant is not necessarily monotone, but this shortcoming can be easily handled via refinement. Combined with a Dijkstra/Prim type algorithm, this leads to a realization of the Frechet distance (i.e., a morphing) that is locally optimal (aka locally correct), that is both easy to compute, and in practice, takes near linear time on many inputs. The new morphing has the property that the leash is always as short as possible. These matchings/morphings are more natural and are better than the ones computed by standard algorithms -- in particular, they handle noise more graciously. This approach should make the Frechet distance more useful for real-world applications. We implemented the new algorithm and various strategies to obtain reasonably fast practical performance. We performed extensive experiments on our new algorithm, and released publicly available (and easily installable and usable) Julia and Python packages. Our algorithms can be used to compute the almost-exact Frechet distance between polygonal curves. Implementations and numerous examples are available here: https://frechet.xyz. We emphasize, however, that the existing state-of-the-art algorithm/implementation in C++ is faster, by several orders of magnitude, than our current algorithm/implementation.

2024-07-03T13:40:26Z Sariel Har-Peled Benjamin Raichel Eliot W. Robson http://arxiv.org/abs/2506.23614v2 2025-12-31T05:36:34Z

This paper introduces a new paradigm of optimal path planning, i.e., passage-traversing optimal path planning (PTOPP), that optimizes paths' traversed passages for specified optimization objectives. In particular, PTOPP is utilized to find the path with optimal accessible free space along its entire length, which represents a basic requirement for paths in robotics. As passages are places where free space shrinks and becomes constrained, the core idea is to leverage the path's passage traversal status to characterize its accessible free space comprehensively. To this end, a novel passage detection and free space decomposition method using proximity graphs is proposed, enabling fast detection of sparse but informative passages and environment decompositions. Based on this preprocessing, optimal path planning with accessible free space objectives or constraints is formulated as PTOPP problems compatible with sampling-based optimal planners. Then, sampling-based algorithms for PTOPP, including their dependent primitive procedures, are developed leveraging partitioned environments for fast passage traversal check. All these methods are implemented and thoroughly tested for effectiveness and efficiency validation. Compared to existing approaches, such as clearance-based methods, PTOPP demonstrates significant advantages in configurability, solution optimality, and efficiency, addressing prior limitations and incapabilities. It is believed to provide an efficient and versatile solution to accessible free space optimization over conventional avenues and more generally, to a broad class of path planning problems that can be formulated as PTOPP.

2025-06-30T08:19:04Z 27 pages, 20 figures, 4 tables, journal paper Jing Huang Hao Su Kwok Wai Samuel Au http://arxiv.org/abs/2410.23288v2 2025-12-30T22:31:40Z

The fundamental model of any periodic crystal is a periodic set of points at all atomic centres. Since crystal structures are determined in a rigid form, their strongest equivalence is rigid motion (composition of translations and rotations) or isometry (also including reflections). The recent classification of periodic point sets under rigid motion used a complete invariant isoset whose size essentially depends on the bridge length, defined as the minimum `jump' that suffices to connect any points in the given set. We propose a practical algorithm to compute the bridge length of any periodic point set given by a motif of points in a periodically translated unit cell. The algorithm has been tested on a large crystal dataset and is required for an efficient continuous classification of all periodic crystals. The exact computation of the bridge length is a key step to realising the inverse design of materials from new invariant values.

2024-10-30T17:59:34Z Comments. 26 pages, 4 figures. The paper has been published in Acta Crystallographica A, v.81(6), p.427-437 (2025). The latest version is maintained at http://kurlin.org/projects/periodic-geometry/bridge-length.pdf Jonathan McManus Vitaliy Kurlin 10.1107/S2053273325008253