TY - JOUR
AB - When can a polyomino piece of paper be folded into a unit cube? Prior work studied tree-like polyominoes, but polyominoes with holes remain an intriguing open problem. We present sufficient conditions for a polyomino with one or several holes to fold into a cube, and conditions under which cube folding is impossible. In particular, we show that all but five special “basic” holes guarantee foldability.
AU - Aichholzer, Oswin
AU - Akitaya, Hugo A.
AU - Cheung, Kenneth C.
AU - Demaine, Erik D.
AU - Demaine, Martin L.
AU - Fekete, Sándor P.
AU - Kleist, Linda
AU - Kostitsyna, Irina
AU - Löffler, Maarten
AU - Masárová, Zuzana
AU - Mundilova, Klara
AU - Schmidt, Christiane
ID - 8317
JF - Computational Geometry: Theory and Applications
SN - 09257721
TI - Folding polyominoes with holes into a cube
VL - 93
ER -
TY - CONF
AB - Given a finite set A ⊂ ℝ^d, let Cov_{r,k} denote the set of all points within distance r to at least k points of A. Allowing r and k to vary, we obtain a 2-parameter family of spaces that grow larger when r increases or k decreases, called the multicover bifiltration. Motivated by the problem of computing the homology of this bifiltration, we introduce two closely related combinatorial bifiltrations, one polyhedral and the other simplicial, which are both topologically equivalent to the multicover bifiltration and far smaller than a Čech-based model considered in prior work of Sheehy. Our polyhedral construction is a bifiltration of the rhomboid tiling of Edelsbrunner and Osang, and can be efficiently computed using a variant of an algorithm given by these authors as well. Using an implementation for dimension 2 and 3, we provide experimental results. Our simplicial construction is useful for understanding the polyhedral construction and proving its correctness.
AU - Corbet, René
AU - Kerber, Michael
AU - Lesnick, Michael
AU - Osang, Georg F
ID - 9605
SN - 18688969
T2 - Leibniz International Proceedings in Informatics
TI - Computing the multicover bifiltration
VL - 189
ER -
TY - JOUR
AB - Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. manifolds defined as the zero set of some multivariate vector-valued smooth function f : Rd → Rd−n. A natural (and efficient) way to approximate an isomanifold is to consider its Piecewise-Linear (PL) approximation based on a triangulation T of the ambient space Rd. In this paper, we give conditions under which the PL-approximation of an isomanifold is topologically equivalent to the isomanifold. The conditions are easy to satisfy in the sense that they can always be met by taking a sufficiently
fine triangulation T . This contrasts with previous results on the triangulation of manifolds where, in arbitrary dimensions, delicate perturbations are needed to guarantee topological correctness, which leads to strong limitations in practice. We further give a bound on the Fréchet distance between the original isomanifold and its PL-approximation. Finally we show analogous results for the PL-approximation of an isomanifold with boundary.
AU - Boissonnat, Jean-Daniel
AU - Wintraecken, Mathijs
ID - 9649
JF - Foundations of Computational Mathematics
TI - The topological correctness of PL approximations of isomanifolds
ER -
TY - CONF
AB - Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. submanifolds of ℝ^d defined as the zero set of some multivariate multivalued smooth function f: ℝ^d → ℝ^{d-n}, where n is the intrinsic dimension of the manifold. A natural way to approximate a smooth isomanifold M is to consider its Piecewise-Linear (PL) approximation M̂ based on a triangulation 𝒯 of the ambient space ℝ^d. In this paper, we describe a simple algorithm to trace isomanifolds from a given starting point. The algorithm works for arbitrary dimensions n and d, and any precision D. Our main result is that, when f (or M) has bounded complexity, the complexity of the algorithm is polynomial in d and δ = 1/D (and unavoidably exponential in n). Since it is known that for δ = Ω (d^{2.5}), M̂ is O(D²)-close and isotopic to M, our algorithm produces a faithful PL-approximation of isomanifolds of bounded complexity in time polynomial in d. Combining this algorithm with dimensionality reduction techniques, the dependency on d in the size of M̂ can be completely removed with high probability. We also show that the algorithm can handle isomanifolds with boundary and, more generally, isostratifolds. The algorithm for isomanifolds with boundary has been implemented and experimental results are reported, showing that it is practical and can handle cases that are far ahead of the state-of-the-art.
AU - Boissonnat, Jean-Daniel
AU - Kachanovich, Siargey
AU - Wintraecken, Mathijs
ID - 9441
SN - 1868-8969
T2 - 37th International Symposium on Computational Geometry (SoCG 2021)
TI - Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations
VL - 189
ER -
TY - CONF
AB - Modeling a crystal as a periodic point set, we present a fingerprint consisting of density functionsthat facilitates the efficient search for new materials and material properties. We prove invarianceunder isometries, continuity, and completeness in the generic case, which are necessary featuresfor the reliable comparison of crystals. The proof of continuity integrates methods from discretegeometry and lattice theory, while the proof of generic completeness combines techniques fromgeometry with analysis. The fingerprint has a fast algorithm based on Brillouin zones and relatedinclusion-exclusion formulae. We have implemented the algorithm and describe its application tocrystal structure prediction.
AU - Edelsbrunner, Herbert
AU - Heiss, Teresa
AU - Kurlin , Vitaliy
AU - Smith, Philip
AU - Wintraecken, Mathijs
ID - 9345
SN - 1868-8969
T2 - 37th International Symposium on Computational Geometry (SoCG 2021)
TI - The density fingerprint of a periodic point set
VL - 189
ER -
TY - CONF
AB - matching is compatible to two or more labeled point sets of size n with labels {1,…,n} if its straight-line drawing on each of these point sets is crossing-free. We study the maximum number of edges in a matching compatible to two or more labeled point sets in general position in the plane. We show that for any two labeled convex sets of n points there exists a compatible matching with ⌊2n−−√⌋ edges. More generally, for any ℓ labeled point sets we construct compatible matchings of size Ω(n1/ℓ) . As a corresponding upper bound, we use probabilistic arguments to show that for any ℓ given sets of n points there exists a labeling of each set such that the largest compatible matching has O(n2/(ℓ+1)) edges. Finally, we show that Θ(logn) copies of any set of n points are necessary and sufficient for the existence of a labeling such that any compatible matching consists only of a single edge.
AU - Aichholzer, Oswin
AU - Arroyo Guevara, Alan M
AU - Masárová, Zuzana
AU - Parada, Irene
AU - Perz, Daniel
AU - Pilz, Alexander
AU - Tkadlec, Josef
AU - Vogtenhuber, Birgit
ID - 9296
SN - 03029743
T2 - 15th International Conference on Algorithms and Computation
TI - On compatible matchings
VL - 12635
ER -
TY - JOUR
AB - An ordered graph is a graph with a linear ordering on its vertex set. We prove that for every positive integer k, there exists a constant ck > 0 such that any ordered graph G on n vertices with the property that neither G nor its complement contains an induced monotone path of size k, has either a clique or an independent set of size at least n^ck . This strengthens a result of Bousquet, Lagoutte, and Thomassé, who proved the analogous result for unordered graphs.
A key idea of the above paper was to show that any unordered graph on n vertices that does not contain an induced path of size k, and whose maximum degree is at most c(k)n for some small c(k) > 0, contains two disjoint linear size subsets with no edge between them. This approach fails for ordered graphs, because the analogous statement is false for k ≥ 3, by a construction of Fox. We provide some further examples showing that this statement also fails for ordered graphs avoiding other ordered trees.
AU - Pach, János
AU - Tomon, István
ID - 9602
JF - Journal of Combinatorial Theory. Series B
SN - 00958956
TI - Erdős-Hajnal-type results for monotone paths
VL - 151
ER -
TY - JOUR
AB - We quantise Whitney’s construction to prove the existence of a triangulation for any C^2 manifold, so that we get an algorithm with explicit bounds. We also give a new elementary proof, which is completely geometric.
AU - Boissonnat, Jean-Daniel
AU - Kachanovich, Siargey
AU - Wintraecken, Mathijs
ID - 8940
IS - 1
JF - Discrete & Computational Geometry
KW - Theoretical Computer Science
KW - Computational Theory and Mathematics
KW - Geometry and Topology
KW - Discrete Mathematics and Combinatorics
SN - 0179-5376
TI - Triangulating submanifolds: An elementary and quantified version of Whitney’s method
VL - 66
ER -
TY - JOUR
AB - Heart rate variability (hrv) is a physiological phenomenon of the variation in the length of the time interval between consecutive heartbeats. In many cases it could be an indicator of the development of pathological states. The classical approach to the analysis of hrv includes time domain methods and frequency domain methods. However, attempts are still being made to define new and more effective hrv assessment tools. Persistent homology is a novel data analysis tool developed in the recent decades that is rooted at algebraic topology. The Topological Data Analysis (TDA) approach focuses on examining the shape of the data in terms of connectedness and holes, and has recently proved to be very effective in various fields of research. In this paper we propose the use of persistent homology to the hrv analysis. We recall selected topological descriptors used in the literature and we introduce some new topological descriptors that reflect the specificity of hrv, and we discuss their relation to the standard hrv measures. In particular, we show that this novel approach provides a collection of indices that might be at least as useful as the classical parameters in differentiating between series of beat-to-beat intervals (RR-intervals) in healthy subjects and patients suffering from a stroke episode.
AU - Graff, Grzegorz
AU - Graff, Beata
AU - Pilarczyk, Pawel
AU - Jablonski, Grzegorz
AU - Gąsecki, Dariusz
AU - Narkiewicz, Krzysztof
ID - 9821
IS - 7
JF - PLoS ONE
TI - Persistent homology as a new method of the assessment of heart rate variability
VL - 16
ER -
TY - CONF
AB - We define a new compact coordinate system in which each integer triplet addresses a voxel in the BCC grid, and we investigate some of its properties. We propose a characterization of 3D discrete analytical planes with their topological features (in the Cartesian and in the new coordinate system) such as the interrelation between the thickness of the plane and the separability constraint we aim to obtain.
AU - Čomić, Lidija
AU - Zrour, Rita
AU - Largeteau-Skapin, Gaëlle
AU - Biswas, Ranita
AU - Andres, Eric
ID - 9824
SN - 03029743
T2 - Discrete Geometry and Mathematical Morphology
TI - Body centered cubic grid - coordinate system and discrete analytical plane definition
VL - 12708
ER -