TY - JOUR
AB - Fejes Tóth [3] studied approximations of smooth surfaces in three-space by piecewise flat triangular meshes with a given number of vertices on the surface that are optimal with respect to Hausdorff distance. He proves that this Hausdorff distance decreases inversely proportional with the number of vertices of the approximating mesh if the surface is convex. He also claims that this Hausdorff distance is inversely proportional to the square of the number of vertices for a specific non-convex surface, namely a one-sheeted hyperboloid of revolution bounded by two congruent circles. We refute this claim, and show that the asymptotic behavior of the Hausdorff distance is linear, that is the same as for convex surfaces.
AU - Vegter, Gert
AU - Wintraecken, Mathijs
ID - 8163
IS - 2
JF - Studia Scientiarum Mathematicarum Hungarica
SN - 0081-6906
TI - Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes
VL - 57
ER -
TY - JOUR
AB - We consider the following setting: suppose that we are given a manifold M in Rd with positive reach. Moreover assume that we have an embedded simplical complex A without boundary, whose vertex set lies on the manifold, is sufficiently dense and such that all simplices in A have sufficient quality. We prove that if, locally, interiors of the projection of the simplices onto the tangent space do not intersect, then A is a triangulation of the manifold, that is, they are homeomorphic.
AU - Boissonnat, Jean-Daniel
AU - Dyer, Ramsay
AU - Ghosh, Arijit
AU - Lieutier, Andre
AU - Wintraecken, Mathijs
ID - 8248
JF - Discrete and Computational Geometry
SN - 0179-5376
TI - Local conditions for triangulating submanifolds of Euclidean space
ER -
TY - JOUR
AU - Pach, János
ID - 8323
JF - Discrete and Computational Geometry
SN - 01795376
TI - A farewell to Ricky Pollack
VL - 64
ER -
TY - JOUR
AB - Canonical parametrisations of classical confocal coordinate systems are introduced and exploited to construct non-planar analogues of incircular (IC) nets on individual quadrics and systems of confocal quadrics. Intimate connections with classical deformations of quadrics that are isometric along asymptotic lines and circular cross-sections of quadrics are revealed. The existence of octahedral webs of surfaces of Blaschke type generated by asymptotic and characteristic lines that are diagonally related to lines of curvature is proved theoretically and established constructively. Appropriate samplings (grids) of these webs lead to three-dimensional extensions of non-planar IC nets. Three-dimensional octahedral grids composed of planes and spatially extending (checkerboard) IC-nets are shown to arise in connection with systems of confocal quadrics in Minkowski space. In this context, the Laguerre geometric notion of conical octahedral grids of planes is introduced. The latter generalise the octahedral grids derived from systems of confocal quadrics in Minkowski space. An explicit construction of conical octahedral grids is presented. The results are accompanied by various illustrations which are based on the explicit formulae provided by the theory.
AU - Akopyan, Arseniy
AU - Bobenko, Alexander I.
AU - Schief, Wolfgang K.
AU - Techter, Jan
ID - 8338
JF - Discrete and Computational Geometry
SN - 01795376
TI - On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs
ER -
TY - JOUR
AB - We prove some recent experimental observations of Dan Reznik concerning periodic billiard orbits in ellipses. For example, the sum of cosines of the angles of a periodic billiard polygon remains constant in the 1-parameter family of such polygons (that exist due to the Poncelet porism). In our proofs, we use geometric and complex analytic methods.
AU - Akopyan, Arseniy
AU - Schwartz, Richard
AU - Tabachnikov, Serge
ID - 8538
JF - European Journal of Mathematics
SN - 2199675X
TI - Billiards in ellipses revisited
ER -
TY - CONF
AB - We evaluate the usefulness of persistent homology in the analysis of heart rate variability. In our approach we extract several topological descriptors characterising datasets of RR-intervals, which are later used in classical machine learning algorithms. By this method we are able to differentiate the group of patients with the history of transient ischemic attack and the group of hypertensive patients.
AU - Graff, Grzegorz
AU - Graff, Beata
AU - Jablonski, Grzegorz
AU - Narkiewicz, Krzysztof
ID - 8580
SN - 9781728157511
T2 - 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities,
TI - The application of persistent homology in the analysis of heart rate variability
ER -
TY - CONF
AB - Even though Delaunay originally introduced his famous triangulations in the case of infinite point sets with translational periodicity, a software that computes such triangulations in the general case is not yet available, to the best of our knowledge. Combining and generalizing previous work, we present a practical algorithm for computing such triangulations. The algorithm has been implemented and experiments show that its performance is as good as the one of the CGAL package, which is restricted to cubic periodicity.
AU - Osang, Georg F
AU - Rouxel-Labbé, Mael
AU - Teillaud, Monique
ID - 8703
SN - 18688969
T2 - 28th Annual European Symposium on Algorithms
TI - Generalizing CGAL periodic Delaunay triangulations
VL - 173
ER -
TY - CHAP
AB - We study the Gromov waist in the sense of t-neighborhoods for measures in the Euclidean space, motivated by the famous theorem of Gromov about the waist of radially symmetric Gaussian measures. In particular, it turns our possible to extend Gromov’s original result to the case of not necessarily radially symmetric Gaussian measure. We also provide examples of measures having no t-neighborhood waist property, including a rather wide class
of compactly supported radially symmetric measures and their maps into the Euclidean space of dimension at least 2.
We use a simpler form of Gromov’s pancake argument to produce some estimates of t-neighborhoods of (weighted) volume-critical submanifolds in the spirit of the waist theorems, including neighborhoods of algebraic manifolds in the complex projective space. In the appendix of this paper we provide for reader’s convenience a more detailed explanation of the Caffarelli theorem that we use to handle not necessarily radially symmetric Gaussian
measures.
AU - Akopyan, Arseniy
AU - Karasev, Roman
ED - Klartag, Bo'az
ED - Milman, Emanuel
ID - 74
SN - 00758434
T2 - Geometric Aspects of Functional Analysis
TI - Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures
VL - 2256
ER -
TY - THES
AB - Many methods for the reconstruction of shapes from sets of points produce ordered simplicial complexes, which are collections of vertices, edges, triangles, and their higher-dimensional analogues, called simplices, in which every simplex gets assigned a real value measuring its size. This thesis studies ordered simplicial complexes, with a focus on their topology, which reflects the connectedness of the represented shapes and the presence of holes. We are interested both in understanding better the structure of these complexes, as well as in developing algorithms for applications.
For the Delaunay triangulation, the most popular measure for a simplex is the radius of the smallest empty circumsphere. Based on it, we revisit Alpha and Wrap complexes and experimentally determine their probabilistic properties for random data. Also, we prove the existence of tri-partitions, propose algorithms to open and close holes, and extend the concepts from Euclidean to Bregman geometries.
AU - Ölsböck, Katharina
ID - 7460
KW - shape reconstruction
KW - hole manipulation
KW - ordered complexes
KW - Alpha complex
KW - Wrap complex
KW - computational topology
KW - Bregman geometry
SN - 2663-337X
TI - The hole system of triangulated shapes
ER -
TY - JOUR
AB - Slicing a Voronoi tessellation in ${R}^n$ with a $k$-plane gives a $k$-dimensional weighted Voronoi tessellation, also known as a power diagram or Laguerre tessellation. Mapping every simplex of the dual weighted Delaunay mosaic to the radius of the smallest empty circumscribed sphere whose center lies in the $k$-plane gives a generalized discrete Morse function. Assuming the Voronoi tessellation is generated by a Poisson point process in ${R}^n$, we study the expected number of simplices in the $k$-dimensional weighted Delaunay mosaic as well as the expected number of intervals of the Morse function, both as functions of a radius threshold. As a by-product, we obtain a new proof for the expected number of connected components (clumps) in a line section of a circular Boolean model in ${R}^n$.
AU - Edelsbrunner, Herbert
AU - Nikitenko, Anton
ID - 7554
IS - 4
JF - Theory of Probability and its Applications
SN - 0040585X
TI - Weighted Poisson–Delaunay mosaics
VL - 64
ER -
TY - JOUR
AB - Coxeter triangulations are triangulations of Euclidean space based on a single simplex. By this we mean that given an individual simplex we can recover the entire triangulation of Euclidean space by inductively reflecting in the faces of the simplex. In this paper we establish that the quality of the simplices in all Coxeter triangulations is O(1/d−−√) of the quality of regular simplex. We further investigate the Delaunay property for these triangulations. Moreover, we consider an extension of the Delaunay property, namely protection, which is a measure of non-degeneracy of a Delaunay triangulation. In particular, one family of Coxeter triangulations achieves the protection O(1/d2). We conjecture that both bounds are optimal for triangulations in Euclidean space.
AU - Choudhary, Aruni
AU - Kachanovich, Siargey
AU - Wintraecken, Mathijs
ID - 7567
JF - Mathematics in Computer Science
SN - 1661-8270
TI - Coxeter triangulations have good quality
VL - 14
ER -
TY - GEN
AB - Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e.manifolds defined as the zero set of some multivariate multivalued functionf:Rd→Rd−n.A natural (and efficient) way to approximate an isomanifold is to consider its Piecewise-Linear(PL) approximation based on a triangulationTof the ambient spaceRd. In this paper, we giveconditions under which the PL-approximation of an isomanifold is topologically equivalent to theisomanifold. The conditions can always be met by taking a sufficiently fine triangulationT.
AU - Boissonnat, Jean-Daniel
AU - Wintraecken, Mathijs
ID - 7568
T2 - EUROCG 2020
TI - The topological correctness of the PL-approximation of isomanifolds
ER -
TY - JOUR
AB - Generalizing the decomposition of a connected planar graph into a tree and a dual tree, we prove a combinatorial analog of the classic Helmholtz–Hodge decomposition of a smooth vector field. Specifically, we show that for every polyhedral complex, K, and every dimension, p, there is a partition of the set of p-cells into a maximal p-tree, a maximal p-cotree, and a collection of p-cells whose cardinality is the p-th reduced Betti number of K. Given an ordering of the p-cells, this tri-partition is unique, and it can be computed by a matrix reduction algorithm that also constructs canonical bases of cycle and boundary groups.
AU - Edelsbrunner, Herbert
AU - Ölsböck, Katharina
ID - 7666
JF - Discrete and Computational Geometry
SN - 01795376
TI - Tri-partitions and bases of an ordered complex
VL - 64
ER -
TY - JOUR
AB - Extending a result of Milena Radnovic and Serge Tabachnikov, we establish conditionsfor two different non-symmetric norms to define the same billiard reflection law.
AU - Akopyan, Arseniy
AU - Karasev, Roman
ID - 7791
JF - European Journal of Mathematics
SN - 2199675X
TI - When different norms lead to same billiard trajectories?
ER -
TY - JOUR
AB - We investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a partially ordered set with the Alexandroff topology. We prove that the resulting decomposition is the unique minimal stratification for which the strata are homogeneous and the given sheaf is constructible. In particular, when we choose to work with the local homology sheaf, our algorithm gives an alternative to the local homology transfer algorithm given in Bendich et al. (Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 1355–1370, ACM, New York, 2012), and the cohomology stratification algorithm given in Nanda (Found. Comput. Math. 20(2), 195–222, 2020). Additionally, we give examples of stratifications based on the geometric techniques of Breiding et al. (Rev. Mat. Complut. 31(3), 545–593, 2018), illustrating how the sheaf-theoretic approach can be used to study stratifications from both topological and geometric perspectives. This approach also points toward future applications of sheaf theory in the study of topological data analysis by illustrating the utility of the language of sheaf theory in generalizing existing algorithms.
AU - Brown, Adam
AU - Wang, Bei
ID - 7905
JF - Discrete and Computational Geometry
SN - 0179-5376
TI - Sheaf-theoretic stratification learning from geometric and topological perspectives
ER -
TY - THES
AB - This thesis considers two examples of reconfiguration problems: flipping edges in edge-labelled triangulations of planar point sets and swapping labelled tokens placed on vertices of a graph. In both cases the studied structures – all the triangulations of a given point set or all token placements on a given graph – can be thought of as vertices of the so-called reconfiguration graph, in which two vertices are adjacent if the corresponding structures differ by a single elementary operation – by a flip of a diagonal in a triangulation or by a swap of tokens on adjacent vertices, respectively. We study the reconfiguration of one instance of a structure into another via (shortest) paths in the reconfiguration graph.
For triangulations of point sets in which each edge has a unique label and a flip transfers the label from the removed edge to the new edge, we prove a polynomial-time testable condition, called the Orbit Theorem, that characterizes when two triangulations of the same point set lie in the same connected component of the reconfiguration graph. The condition was first conjectured by Bose, Lubiw, Pathak and Verdonschot. We additionally provide a polynomial time algorithm that computes a reconfiguring flip sequence, if it exists. Our proof of the Orbit Theorem uses topological properties of a certain high-dimensional cell complex that has the usual reconfiguration graph as its 1-skeleton.
In the context of token swapping on a tree graph, we make partial progress on the problem of finding shortest reconfiguration sequences. We disprove the so-called Happy Leaf Conjecture and demonstrate the importance of swapping tokens that are already placed at the correct vertices. We also prove that a generalization of the problem to weighted coloured token swapping is NP-hard on trees but solvable in polynomial time on paths and stars.
AU - Masárová, Zuzana
ID - 7944
KW - reconfiguration
KW - reconfiguration graph
KW - triangulations
KW - flip
KW - constrained triangulations
KW - shellability
KW - piecewise-linear balls
KW - token swapping
KW - trees
KW - coloured weighted token swapping
SN - 978-3-99078-005-3
TI - Reconfiguration problems
ER -
TY - CONF
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: ℝ^d → ℝ^(d-n). A natural (and efficient) way to approximate an isomanifold is to consider its Piecewise-Linear (PL) approximation based on a triangulation 𝒯 of the ambient space ℝ^d. 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 𝒯. 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 - 7952
SN - 1868-8969
T2 - 36th International Symposium on Computational Geometry
TI - The topological correctness of PL-approximations of isomanifolds
VL - 164
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
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
ER -
TY - JOUR
AB - We study the probabilistic convergence between the mapper graph and the Reeb graph of a topological space X equipped with a continuous function f:X→R. We first give a categorification of the mapper graph and the Reeb graph by interpreting them in terms of cosheaves and stratified covers of the real line R. We then introduce a variant of the classic mapper graph of Singh et al. (in: Eurographics symposium on point-based graphics, 2007), referred to as the enhanced mapper graph, and demonstrate that such a construction approximates the Reeb graph of (X,f) when it is applied to points randomly sampled from a probability density function concentrated on (X,f). Our techniques are based on the interleaving distance of constructible cosheaves and topological estimation via kernel density estimates. Following Munch and Wang (In: 32nd international symposium on computational geometry, volume 51 of Leibniz international proceedings in informatics (LIPIcs), Dagstuhl, Germany, pp 53:1–53:16, 2016), we first show that the mapper graph of (X,f), a constructible R-space (with a fixed open cover), approximates the Reeb graph of the same space. We then construct an isomorphism between the mapper of (X,f) to the mapper of a super-level set of a probability density function concentrated on (X,f). Finally, building on the approach of Bobrowski et al. (Bernoulli 23(1):288–328, 2017b), we show that, with high probability, we can recover the mapper of the super-level set given a sufficiently large sample. Our work is the first to consider the mapper construction using the theory of cosheaves in a probabilistic setting. It is part of an ongoing effort to combine sheaf theory, probability, and statistics, to support topological data analysis with random data.
AU - Brown, Adam
AU - Bobrowski, Omer
AU - Munch, Elizabeth
AU - Wang, Bei
ID - 9111
JF - Journal of Applied and Computational Topology
SN - 2367-1726
TI - Probabilistic convergence and stability of random mapper graphs
ER -
TY - JOUR
AB - The morphometric approach [11, 14] writes the solvation free energy as a linear combination of weighted versions of the volume, area, mean curvature, and Gaussian curvature of the space-filling diagram. We give a formula for the derivative of the weighted Gaussian curvature. Together with the derivatives of the weighted volume in [7], the weighted area in [4], and the weighted mean curvature in [1], this yields the derivative of the morphometric expression of solvation free energy.
AU - Akopyan, Arseniy
AU - Edelsbrunner, Herbert
ID - 9156
IS - 1
JF - Computational and Mathematical Biophysics
SN - 2544-7297
TI - The weighted Gaussian curvature derivative of a space-filling diagram
VL - 8
ER -