skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.

Attention:

The NSF Public Access Repository (PAR) system and access will be unavailable from 11:00 PM ET on Friday, May 16 until 2:00 AM ET on Saturday, May 17 due to maintenance. We apologize for the inconvenience.


Title: Persistent cup product structures and related invariants
Abstract One-dimensional persistent homology is arguably the most important and heavily used computational tool in topological data analysis. Additional information can be extracted from datasets by studying multi-dimensional persistence modules and by utilizing cohomological ideas, e.g. the cohomological cup product. In this work, given a single parameter filtration, we investigate a certain 2-dimensional persistence module structure associated with persistent cohomology, where one parameter is the cup-length$$\ell \ge 0$$ 0 and the other is the filtration parameter. This new persistence structure, called thepersistent cup module, is induced by the cohomological cup product and adapted to the persistence setting. Furthermore, we show that this persistence structure is stable. By fixing the cup-length parameter$$\ell $$ , we obtain a 1-dimensional persistence module, called the persistent$$\ell $$ -cup module, and again show it is stable in the interleaving distance sense, and study their associated generalized persistence diagrams. In addition, we consider a generalized notion of apersistent invariant, which extends both therank invariant(also referred to aspersistent Betti number), Puuska’s rank invariant induced by epi-mono-preserving invariants of abelian categories, and the recently-definedpersistent cup-length invariant, and we establish their stability. This generalized notion of persistent invariant also enables us to lift the Lyusternik-Schnirelmann (LS) category of topological spaces to a novel stable persistent invariant of filtrations, called thepersistent LS-category invariant.  more » « less
Award ID(s):
1901360
PAR ID:
10468088
Author(s) / Creator(s):
; ;
Publisher / Repository:
Springer Science + Business Media
Date Published:
Journal Name:
Journal of Applied and Computational Topology
Volume:
8
Issue:
1
ISSN:
2367-1726
Format(s):
Medium: X Size: p. 93-148
Size(s):
p. 93-148
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract The double differential cross sections of the Drell–Yan lepton pair ($$\ell ^+\ell ^-$$ + - , dielectron or dimuon) production are measured as functions of the invariant mass$$m_{\ell \ell }$$ m , transverse momentum$$p_{\textrm{T}} (\ell \ell )$$ p T ( ) , and$$\varphi ^{*}_{\eta }$$ φ η . The$$\varphi ^{*}_{\eta }$$ φ η observable, derived from angular measurements of the leptons and highly correlated with$$p_{\textrm{T}} (\ell \ell )$$ p T ( ) , is used to probe the low-$$p_{\textrm{T}} (\ell \ell )$$ p T ( ) region in a complementary way. Dilepton masses up to 1$$\,\text {Te\hspace{-.08em}V}$$ Te V are investigated. Additionally, a measurement is performed requiring at least one jet in the final state. To benefit from partial cancellation of the systematic uncertainty, the ratios of the differential cross sections for various$$m_{\ell \ell }$$ m ranges to those in the Z mass peak interval are presented. The collected data correspond to an integrated luminosity of 36.3$$\,\text {fb}^{-1}$$ fb - 1 of proton–proton collisions recorded with the CMS detector at the LHC at a centre-of-mass energy of 13$$\,\text {Te\hspace{-.08em}V}$$ Te V . Measurements are compared with predictions based on perturbative quantum chromodynamics, including soft-gluon resummation. 
    more » « less
  2. A<sc>bstract</sc> This article presents a search for new resonances decaying into aZorWboson and a 125 GeV Higgs bosonh, and it targets the$$ \nu \overline{\nu}b\overline{b} $$ ν ν ¯ b b ¯ ,$$ {\ell}^{+}{\ell}^{-}b\overline{b} $$ + b b ¯ , or$$ {\ell}^{\pm}\nu b\overline{b} $$ ± νb b ¯ final states, whereℓ=eorμ, in proton-proton collisions at$$ \sqrt{s} $$ s = 13 TeV. The data used correspond to a total integrated luminosity of 139 fb−1collected by the ATLAS detector during Run 2 of the LHC at CERN. The search is conducted by examining the reconstructed invariant or transverse mass distributions ofZhorWhcandidates for evidence of a localised excess in the mass range from 220 GeV to 5 TeV. No significant excess is observed and 95% confidence-level upper limits between 1.3 pb and 0.3 fb are placed on the production cross section times branching fraction of neutral and charged spin-1 resonances and CP-odd scalar bosons. These limits are converted into constraints on the parameter space of the Heavy Vector Triplet model and the two-Higgs-doublet model. 
    more » « less
  3. Abstract This paper studies several solution paths of sparse quadratic minimization problems as a function of the weighing parameter of the bi-objective of estimation loss versus solution sparsity. Three such paths are considered: the “$$\ell _0$$ 0 -path” where the discontinuous$$\ell _0$$ 0 -function provides the exact sparsity count; the “$$\ell _1$$ 1 -path” where the$$\ell _1$$ 1 -function provides a convex surrogate of sparsity count; and the “capped$$\ell _1$$ 1 -path” where the nonconvex nondifferentiable capped$$\ell _1$$ 1 -function aims to enhance the$$\ell _1$$ 1 -approximation. Serving different purposes, each of these three formulations is different from each other, both analytically and computationally. Our results deepen the understanding of (old and new) properties of the associated paths, highlight the pros, cons, and tradeoffs of these sparse optimization models, and provide numerical evidence to support the practical superiority of the capped$$\ell _1$$ 1 -path. Our study of the capped$$\ell _1$$ 1 -path is interesting in its own right as the path pertains to computable directionally stationary (= strongly locally minimizing in this context, as opposed to globally optimal) solutions of a parametric nonconvex nondifferentiable optimization problem. Motivated by classical parametric quadratic programming theory and reinforced by modern statistical learning studies, both casting an exponential perspective in fully describing such solution paths, we also aim to address the question of whether some of them can be fully traced in strongly polynomial time in the problem dimensions. A major conclusion of this paper is that a path of directional stationary solutions of the capped$$\ell _1$$ 1 -regularized problem offers interesting theoretical properties and practical compromise between the$$\ell _0$$ 0 -path and the$$\ell _1$$ 1 -path. Indeed, while the$$\ell _0$$ 0 -path is computationally prohibitive and greatly handicapped by the repeated solution of mixed-integer nonlinear programs, the quality of$$\ell _1$$ 1 -path, in terms of the two criteria—loss and sparsity—in the estimation objective, is inferior to the capped$$\ell _1$$ 1 -path; the latter can be obtained efficiently by a combination of a parametric pivoting-like scheme supplemented by an algorithm that takes advantage of the Z-matrix structure of the loss function. 
    more » « less
  4. Abstract We show that the tropicalization of an irreducibled-dimensional variety over a field of characteristic 0 is$$(d-\ell )$$ ( d - ) -connected through codimension one, where$$\ell $$ is the dimension of the lineality space of the tropicalization. From this we obtain a higher connectivity result for skeleta of rational polytopes. We also prove a tropical analogue of the Bertini Theorem: the intersection of the tropicalization of an irreducible variety with a generic hyperplane is again the tropicalization of an irreducible variety. 
    more » « less
  5. Abstract We studyinexactfixed-point proximity algorithms for solving a class of sparse regularization problems involving the$$\ell _0$$ 0 norm. Specifically, the$$\ell _0$$ 0 model has an objective function that is the sum of a convex fidelity term and a Moreau envelope of the$$\ell _0$$ 0 norm regularization term. Such an$$\ell _0$$ 0 model is non-convex. Existing exact algorithms for solving the problems require the availability of closed-form formulas for the proximity operator of convex functions involved in the objective function. When such formulas are not available, numerical computation of the proximity operator becomes inevitable. This leads to inexact iteration algorithms. We investigate in this paper how the numerical error for every step of the iteration should be controlled to ensure global convergence of the inexact algorithms. We establish a theoretical result that guarantees the sequence generated by the proposed inexact algorithm converges to a local minimizer of the optimization problem. We implement the proposed algorithms for three applications of practical importance in machine learning and image science, which include regression, classification, and image deblurring. The numerical results demonstrate the convergence of the proposed algorithm and confirm that local minimizers of the$$\ell _0$$ 0 models found by the proposed inexact algorithm outperform global minimizers of the corresponding$$\ell _1$$ 1 models, in terms of approximation accuracy and sparsity of the solutions. 
    more » « less