skip to main content

Title: Curvature Sets Over Persistence Diagrams

We study a family of invariants of compact metric spaces that combines the Curvature Sets defined by Gromov in the 1980 s with Vietoris–Rips Persistent Homology. For given integers$$k\ge 0$$k0and$$n\ge 1$$n1we consider the dimensionkVietoris–Rips persistence diagrams ofallsubsets of a given metric space with cardinality at mostn. We call these invariantspersistence setsand denote them as$${\textbf{D}}_{n,k}^{\textrm{VR}}$$Dn,kVR. We first point out that this family encompasses the usual Vietoris–Rips diagrams. We then establish that (1) for certain range of values of the parametersnandk, computing these invariants is significantly more efficient than computing the usual Vietoris–Rips persistence diagrams, (2) these invariants have very good discriminating power and, in many cases, capture information that is imperceptible through standard Vietoris–Rips persistence diagrams, and (3) they enjoy stability properties analogous to those of the usual Vietoris–Rips persistence diagrams. We precisely characterize some of them in the case of spheres and surfaces with constant curvature using a generalization of Ptolemy’s inequality. We also identify a rich family of metric graphs for which$${\textbf{D}}_{4,1}^{\textrm{VR}}$$D4,1VRfully recovers their homotopy type by studying split-metric decompositions. Along the way we prove some useful properties of Vietoris–Rips persistence diagrams using Mayer–Vietoris sequences. These yield a geometric algorithm for computing the Vietoris–Rips persistence diagram of a spaceXwith cardinality$$2k+2$$2k+2with quadratic time complexity as opposed to the much higher cost incurred by the usual algebraic algorithms relying on matrix reduction.

more » « less
Author(s) / Creator(s):
Publisher / Repository:
Springer Science + Business Media
Date Published:
Journal Name:
Discrete & Computational Geometry
Medium: X Size: p. 91-180
p. 91-180
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract

    This paper examined the effect of Si addition on the cracking resistance of Inconel 939 alloy after laser additive manufacturing (AM) process. With the help of CALculation of PHAse Diagrams (CALPHAD) software Thermo-Calc, the amounts of specific elements (C, B, and Zr) in liquid phase during solidification, cracking susceptibility coefficients (CSC) and cracking criterion based on$$\left| {{\text{d}}T/{\text{d}}f_{{\text{s}}}^{1/2} } \right|$$dT/dfs1/2values (T: solidification temperature,fs: mass fraction of solid during solidification) were evaluated as the indicators for composition optimization. It was found that CSC together with$$\left| {{\text{d}}T/{\text{d}}f_{{\text{s}}}^{1/2} } \right|$$dT/dfs1/2values provided a better prediction for cracking resistance.

    Graphical abstract

    more » « less
  2. Abstract

    Let Kbe a finite simplicial, cubical, delta or CW complex. The persistence map $$\textrm{PH}$$PHtakes a filter $$f:K\rightarrow \mathbb {R}$$f:KRas input and returns the barcodes of the sublevel set persistent homology of fin each dimension. We address the inverse problem: given target barcodes D, computing the fiber $$\textrm{PH}^{-1}(D)$$PH-1(D). For this, we use the fact that $$\textrm{PH}^{-1}(D)$$PH-1(D)decomposes as a polyhedral complex when Kis a simplicial complex, and we generalise this result to arbitrary based chain complexes. We then design and implement a depth-first search that recovers the polytopes forming the fiber $$\textrm{PH}^{-1}(D)$$PH-1(D). As an application, we solve a corpus of 120 sample problems, providing a first insight into the statistical structure of these fibers, for general CW complexes.

    more » « less
  3. Abstract

    Consider two half-spaces$$H_1^+$$H1+and$$H_2^+$$H2+in$${\mathbb {R}}^{d+1}$$Rd+1whose bounding hyperplanes$$H_1$$H1and$$H_2$$H2are orthogonal and pass through the origin. The intersection$${\mathbb {S}}_{2,+}^d:={\mathbb {S}}^d\cap H_1^+\cap H_2^+$$S2,+d:=SdH1+H2+is a spherical convex subset of thed-dimensional unit sphere$${\mathbb {S}}^d$$Sd, which contains a great subsphere of dimension$$d-2$$d-2and is called a spherical wedge. Choosenindependent random points uniformly at random on$${\mathbb {S}}_{2,+}^d$$S2,+dand consider the expected facet number of the spherical convex hull of these points. It is shown that, up to terms of lower order, this expectation grows like a constant multiple of$$\log n$$logn. A similar behaviour is obtained for the expected facet number of a homogeneous Poisson point process on$${\mathbb {S}}_{2,+}^d$$S2,+d. The result is compared to the corresponding behaviour of classical Euclidean random polytopes and of spherical random polytopes on a half-sphere.

    more » « less
  4. Abstract

    The elliptic flow$$(v_2)$$(v2)of$${\textrm{D}}^{0}$$D0mesons from beauty-hadron decays (non-prompt$${\textrm{D}}^{0})$$D0)was measured in midcentral (30–50%) Pb–Pb collisions at a centre-of-mass energy per nucleon pair$$\sqrt{s_{\textrm{NN}}} = 5.02$$sNN=5.02 TeV with the ALICE detector at the LHC. The$${\textrm{D}}^{0}$$D0mesons were reconstructed at midrapidity$$(|y|<0.8)$$(|y|<0.8)from their hadronic decay$$\mathrm {D^0 \rightarrow K^-\uppi ^+}$$D0K-π+, in the transverse momentum interval$$2< p_{\textrm{T}} < 12$$2<pT<12 GeV/c. The result indicates a positive$$v_2$$v2for non-prompt$${{\textrm{D}}^{0}}$$D0mesons with a significance of 2.7$$\sigma $$σ. The non-prompt$${{\textrm{D}}^{0}}$$D0-meson$$v_2$$v2is lower than that of prompt non-strange D mesons with 3.2$$\sigma $$σsignificance in$$2< p_\textrm{T} < 8~\textrm{GeV}/c$$2<pT<8GeV/c, and compatible with the$$v_2$$v2of beauty-decay electrons. Theoretical calculations of beauty-quark transport in a hydrodynamically expanding medium describe the measurement within uncertainties.

    more » « less
  5. Abstract

    We prove that the Hilbert scheme ofkpoints on$${\mathbb {C}}^2$$C2($$\hbox {Hilb}^k[{\mathbb {C}}^2]$$Hilbk[C2]) is self-dual under three-dimensional mirror symmetry using methods of geometry and integrability. Namely, we demonstrate that the corresponding quantum equivariant K-theory is invariant upon interchanging its Kähler and equivariant parameters as well as inverting the weight of the$${\mathbb {C}}^\times _\hbar $$Cħ×-action. First, we find a two-parameter family$$X_{k,l}$$Xk,lof self-mirror quiver varieties of type A and study their quantum K-theory algebras. The desired quantum K-theory of$$\hbox {Hilb}^k[{\mathbb {C}}^2]$$Hilbk[C2]is obtained via direct limit$$l\longrightarrow \infty $$land by imposing certain periodic boundary conditions on the quiver data. Throughout the proof, we employ the quantum/classical (q-Langlands) correspondence between XXZ Bethe Ansatz equations and spaces of twisted$$\hbar $$ħ-opers. In the end, we propose the 3d mirror dual for the moduli spaces of torsion-free rank-Nsheaves on$${\mathbb {P}}^2$$P2with the help of a different (three-parametric) family of type A quiver varieties with known mirror dual.

    more » « less