English
Related papers

Related papers: Computing $p$-presentation distances is hard

200 papers

We introduce an equivalence relation on $W^{s,p}({\mathbb S}^N;{\mathbb S}^N)$ involving the topological degree, and we evaluate the distances (in the usual sense and in the Hausdorff sense) between the equivalence classes. In some special…

Functional Analysis · Mathematics 2016-06-16 Haim Brezis , Petru Mironescu , Itai Shafrir

We investigate the parameterized complexity of Maximum Exposure Problem (MEP). Given a range space (R, P) where R is the set of ranges containing a set P of points, and an integer k, MEP asks for k ranges which on removal results in the…

Computational Geometry · Computer Science 2022-03-23 Remi Raman , Shahin John J S , R Subashini , Subhasree Methirumangalath

In algorithms for finite metric spaces, it is common to assume that the distance between two points can be computed in constant time, and complexity bounds are expressed only in terms of the number of points of the metric space. We…

Computational Geometry · Computer Science 2019-01-28 Michael Kerber , Arnur Nigmetov

Throughout this paper, a persistence diagram ${\cal P}$ is composed of a set $P$ of planar points (each corresponding to a topological feature) above the line $Y=X$, as well as the line $Y=X$ itself, i.e., ${\cal P}=P\cup\{(x,y)|y=x\}$.…

Computational Geometry · Computer Science 2020-02-11 Yuya Higashikawa , Naoki Katoh , Guohui Lin , Eiji Miyano , Suguru Tamaki , Junichi Teruyama , Binhai Zhu

Temporal sequences of terrains arise in various application areas. To analyze them efficiently, one generally needs a suitable abstraction of the data as well as a method to compare and match them over time. In this paper we consider merge…

Computational Geometry · Computer Science 2025-12-19 Thijs Beurskens , Tim Ophelders , Bettina Speckmann , Kevin Verbeek

Multiparameter persistence is a natural extension of the well-known persistent homology, which has attracted a lot of interest. However, there are major theoretical obstacles preventing the full development of this promising theory. In this…

Algebraic Topology · Mathematics 2020-08-27 Jacek Brodzki , Matthew Burfitt , Mariam Pirashvili

The present work proves that P=NP. The proof, presented in this work, is a constructive one: the program of a polynomial time deterministic multi-tape Turing machine M_ExistsAcceptingPath, that determines if there exists an accepting…

Computational Complexity · Computer Science 2017-03-21 Sergey V. Yakhontov

The NP-hard Metric Dimension problem is to decide for a given graph G and a positive integer k whether there is a vertex subset of size at most k that separates all vertex pairs in G. Herein, a vertex v separates a pair {u,w} if the…

Computational Complexity · Computer Science 2012-11-08 Sepp Hartung , André Nichterlein

Many discrete optimization problems amount to selecting a feasible set of edges of least weight. We consider in this paper the context of spatial graphs where the positions of the vertices are uncertain and belong to known uncertainty sets.…

Data Structures and Algorithms · Computer Science 2022-09-27 Marin Bougeret , Jérémy Omer , Michael Poss

We prove new formulas and congruences for $p(n,k):=$ the number of partitions of $n$ into $k$ parts and $q(n,k):=$ the number of partitions of $n$ into $k$ distinct parts. Also, we give lower and upper bounds for the density of the set…

Combinatorics · Mathematics 2024-05-01 Mircea Cimpoeas

We establish inequalities that compare the p-Wasserstein distance to distances which are built as suprema of box measures. More precisely, when the measures are supported on $[0,1]^d$, we obtain sharp upper-bounds of the $p$-Wasserstein…

Probability · Mathematics 2026-05-06 Gilles Pagès , Fabien Panloup

The homotopy interleaving distance, a distance between persistent spaces, was introduced by Blumberg and Lesnick and shown to be universal, in the sense that it is the largest homotopy-invariant distance for which sublevel-set filtrations…

Algebraic Topology · Mathematics 2023-05-17 Edoardo Lanari , Luis Scoccola

We consider the question of defining interleaving metrics on generalized persistence modules over arbitrary preordered sets. Our constructions are functorial, which implies a form of stability for these metrics. We describe a large class of…

Algebraic Topology · Mathematics 2016-04-01 Peter Bubenik , Vin de Silva , Jonathan Scott

Time-series of persistence diagrams, known as vineyards, have shown to be useful in diverse applications. A natural algebraic version of vineyards is a time series of persistence modules equipped with interleaving maps between the…

Representation Theory · Mathematics 2023-07-13 Katharine Turner

In this paper, we present a novel heuristic algorithm for the stable but NP-complete deformation-based edit distance on merge trees. Our key contribution is the introduction of a user-controlled look-ahead parameter that allows to trade off…

Computational Geometry · Computer Science 2025-01-13 Florian Wetzels , Heike Leitte , Christoph Garth

This paper introduces a novel stability measure for edit distances between merge trees of piecewise linear scalar fields. We apply the new measure to various metrics introduced recently in the field of scalar field comparison in scientific…

Computational Geometry · Computer Science 2025-08-05 Florian Wetzels , Christoph Garth

In this paper we consider the $p$-Norm Hamming Centroid problem which asks to determine whether some given binary strings have a centroid with a bound on the $p$-norm of its Hamming distances to the strings. Specifically, given a set of…

Computational Complexity · Computer Science 2019-06-28 Jiehua Chen , Danny Hermelin , Manuel Sorge

Tree comparison metrics have proven to be an invaluable aide in the reconstruction and analysis of phylogenetic (evolutionary) trees. The path-length distance between trees is a particularly attractive measure as it reflects differences in…

Data Structures and Algorithms · Computer Science 2018-11-05 David Bryant , Celine Scornavacca

We consider the directed Hausdorff distance between point sets in the plane, where one or both point sets consist of imprecise points. An imprecise point is modelled by a disc given by its centre and a radius. The actual position of an…

Computational Geometry · Computer Science 2009-09-30 Christian Knauer , Maarten Löffler , Marc Scherfenberg , Thomas Wolle

The class of self-nested trees presents remarkable compression properties because of the systematic repetition of subtrees in their structure. In this paper, we provide a better combinatorial characterization of this specific family of…

Data Structures and Algorithms · Computer Science 2018-10-26 Romain Azaïs , Jean-Baptiste Durand , Christophe Godin