Showing 1–11 of 11 results for author: Stefanou, A

MORCIC: Model Order Reduction Techniques for Electromagnetic Models of Integrated Circuits

Authors: Dimitrios Garyfallou, Athanasios Stefanou, Christos Giamouzis, Moschos Antoniadis, Georgios Chararas, Konstantinos Chatzis, Dimitris Samaras, Rafaela Themeli, Anastasios Michailidis, Vasiliki Gogolou, Nikos Zachos, Nestor Evmorfopoulos, Thomas Noulis, Vasilis F. Pavlidis, Alkiviadis Hatzopoulos, Elpida Chatzineofytou, Yiannis Moisiadis

Abstract: Model order reduction (MOR) is crucial for the design process of integrated circuits. Specifically, the vast amount of passive RLCk elements in electromagnetic models extracted from physical layouts exacerbates the extraction time, the storage requirements, and, most critically, the post-layout simulation time of the analyzed circuits. The MORCIC project aims to overcome this problem by proposing… ▽ More Model order reduction (MOR) is crucial for the design process of integrated circuits. Specifically, the vast amount of passive RLCk elements in electromagnetic models extracted from physical layouts exacerbates the extraction time, the storage requirements, and, most critically, the post-layout simulation time of the analyzed circuits. The MORCIC project aims to overcome this problem by proposing new MOR techniques that perform better than commercial tools. Experimental evaluation on several analog and mixed-signal circuits with millions of elements indicates that the proposed methods lead to x5.5 smaller ROMs while maintaining similar accuracy compared to golden ROMs provided by ANSYS RaptorX. △ Less

Submitted 14 November, 2023; originally announced January 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:2311.08478

Cofiltrations of spanning trees in multiparameter persistent homology

Authors: Fritz Grimpen, Anastasios Stefanou

Abstract: Given a multiparameter filtration of simplicial complexes, we consider the problem of explicitly constructing generators for the multipersistent homology groups with arbitrary PID coefficients. We propose the use of spanning trees as a tool to identify such generators by introducing a condition for persistent spanning trees, which is accompanied by an existence result for cofiltrations consisting… ▽ More Given a multiparameter filtration of simplicial complexes, we consider the problem of explicitly constructing generators for the multipersistent homology groups with arbitrary PID coefficients. We propose the use of spanning trees as a tool to identify such generators by introducing a condition for persistent spanning trees, which is accompanied by an existence result for cofiltrations consisting of spanning trees. We also introduce a generalization of spanning trees, called spanning complexes, for dimensions higher than one, and we establish their existence as a first step towards this direction. △ Less

Submitted 30 November, 2023; originally announced December 2023.

Comments: 20 pages, 4 figures

MSC Class: 55N31 (Primary) 05C50; 05C90 (Secondary)

Stability of the persistence transformation

Authors: Gideon Klaila, Anastasios Stefanou, Lena Ranke

Abstract: In this paper, we introduce the persistence transformation, a novel methodology in Topological Data Analysis (TDA) for applications in time series data which can be obtained in various areas such as science, politics, economy, healthcare, engineering, and beyond. This approach captures the enduring presence or `persistence' of signal peaks in time series data arising from Morse functions while pre… ▽ More In this paper, we introduce the persistence transformation, a novel methodology in Topological Data Analysis (TDA) for applications in time series data which can be obtained in various areas such as science, politics, economy, healthcare, engineering, and beyond. This approach captures the enduring presence or `persistence' of signal peaks in time series data arising from Morse functions while preserving their positional information. Through rigorous analysis, we demonstrate that the proposed persistence transformation exhibits stability and outperforms the persistent diagram of Morse functions (with respect to filtration, e.g., the upper levelset filtration). Moreover, we present a modified version of the persistence transformation, termed the reduced persistence transformation, which retains stability while enjoying dimensionality reduction in the data. Consequently, the reduced persistence transformation yields faster computational results for subsequent tasks, such as classification, albeit at the cost of reduced overall accuracy compared to the persistence transformation. However, the reduced persistence transformation finds relevance in specific domains, e.g., MALDI-Imaging, where positional information is of greater significance than the overall signal height. Finally, we provide a conceptual outline for extending the persistence diagram to accommodate higher-dimensional input while assessing its stability under these modifications. △ Less

Submitted 30 January, 2024; v1 submitted 9 October, 2023; originally announced October 2023.

Comments: 23 Pages, 4 Figures

MSC Class: 55N31; 62R40; 57Q70

Combinatorial Topological Models for Phylogenetic Networks and the Mergegram Invariant

Authors: Paweł Dłotko, Jan Felix Senge, Anastasios Stefanou

Abstract: In real world, mutations of genetic sequences are often accompanied by their recombinations. Such joint phenomena are modeled by phylogenetic networks. Nakkleh formulated the phylogenetic network reconstruction problem (PNRP) as follows: Given a family of phylogenetic trees over a common set of taxa, is there a unique minimal phylogenetic network whose set of spanning trees contains the family? Th… ▽ More In real world, mutations of genetic sequences are often accompanied by their recombinations. Such joint phenomena are modeled by phylogenetic networks. Nakkleh formulated the phylogenetic network reconstruction problem (PNRP) as follows: Given a family of phylogenetic trees over a common set of taxa, is there a unique minimal phylogenetic network whose set of spanning trees contains the family? There are different answers to PNRP, since there are different ways to define what a minimal network is (based on different optimization criteria). Inspired by ideas from topological data analysis (TDA), we devise lattice-diagram models for the visualization of phylogenetic networks and of filtrations, called the cliquegram and the facegram, respectively, both generalizing the dendrogram model of phylogenetic trees. Both models allow us to solve the PNRP in a rigorous way and free of choosing optimization criteria. The solution to the phylogenetic network and filtration reconstruction process is obtained by taking the join operation of the dendrograms on the lattice of cliquegrams, and of facegrams, respectively. Furthermore, we show that computing the join-facegram from a given set of dendrograms is polynomial in the size and number of the input trees. We propose two novel invariants of facegrams, (i) the face-Reeb graph and (ii) the mergegram of a facegram. We show the mergegram is 1-Lipschitz stable, while the face-Reeb graph is not. In particular, we show that the mergegram is invariant of weak equivalences of filtrations (a stronger form of homotopy equivalence). This new TDA-signature, the mergegram, can be used as a computable proxy for phylogenetic networks and also, more broadly, for filtrations of datasets, which might be of independent interest to TDA. To illustrate the utility of those new TDA-tools to phylogenetics, we provide experiments with artificial and benchmark biological data. △ Less

Submitted 27 July, 2023; v1 submitted 8 May, 2023; originally announced May 2023.

Comments: 49 pages, 22 figures

MSC Class: 55N31 (Primary) 55U10; 92D15 (Secondary)

Persistent Cup Product Structures and Related Invariants

Authors: Facundo Mémoli, Anastasios Stefanou, Ling Zhou

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-dimension… ▽ More 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\geq0$ and the other is the filtration parameter. This new persistence structure, called the persistent 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 a persistent invariant, which extends both the rank invariant (also referred to as persistent Betti number), Puuska's rank invariant induced by epi-mono-preserving invariants of abelian categories, and the recently-defined persistent 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 the persistent LS-category invariant. △ Less

Submitted 29 August, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: Revised the improperly displayed figures and fixed some typos

MSC Class: 55U99; 55N20; 55M30

Persistent Cup-Length

Authors: Marco Contessoto, Facundo Mémoli, Anastasios Stefanou, Ling Zhou

Abstract: Cohomological ideas have recently been injected into persistent homology and have for example been used for accelerating the calculation of persistence diagrams by the software Ripser. The cup product operation which is available at cohomology level gives rise to a graded ring structure that extends the usual vector space structure and is therefore able to extract and encode additional rich info… ▽ More Cohomological ideas have recently been injected into persistent homology and have for example been used for accelerating the calculation of persistence diagrams by the software Ripser. The cup product operation which is available at cohomology level gives rise to a graded ring structure that extends the usual vector space structure and is therefore able to extract and encode additional rich information. The maximum number of cocycles having non-zero cup product yields an invariant, the cup-length, which is useful for discriminating spaces. In this paper, we lift the cup-length into the persistent cup-length function for the purpose of capturing ring-theoretic information about the evolution of the cohomology (ring) structure across a filtration. We show that the persistent cup-length function can be computed from a family of representative cocycles and devise a polynomial time algorithm for its computation. We furthermore show that this invariant is stable under suitable interleaving-type distances. △ Less

Submitted 12 March, 2022; v1 submitted 4 July, 2021; originally announced July 2021.

Comments: The full version of a paper accepted to SoCG 2022; contains 4 appendix sections to provide proofs, extra examples and other related results to the SoCG version. Compared to previous versions, the subsection about \ell-fold products of persistent cohomology is not included here. Readers interested in those results should refer to the older versions for now

MSC Class: 55N31; 51F99; 55N20; 55U99; 55-04

Interleaving by Parts: Join Decompositions of Interleavings and Join-Assemblage of Geodesics

Authors: Woo** Kim, Facundo Mémoli, Anastasios Stefanou

Abstract: Metrics of interest in topological data analysis (TDA) are often explicitly or implicitly in the form of an interleaving distance $d_{\mathrm{I}}$ between poset maps (i.e. order-preserving maps), e.g. the Gromov-Hausdorff distance between metric spaces can be reformulated in this way. We propose a representation of a poset map $\mathbf{F}:\mathcal{P}\to\mathcal{Q}$ as a join (i.e. supremum)… ▽ More Metrics of interest in topological data analysis (TDA) are often explicitly or implicitly in the form of an interleaving distance $d_{\mathrm{I}}$ between poset maps (i.e. order-preserving maps), e.g. the Gromov-Hausdorff distance between metric spaces can be reformulated in this way. We propose a representation of a poset map $\mathbf{F}:\mathcal{P}\to\mathcal{Q}$ as a join (i.e. supremum) $\bigvee_{b\in B} \mathbf{F}_b$ of simpler poset maps $\mathbf{F}_b$ (for a join dense subset $B\subset \mathcal{Q}$) which in turn yields a decomposition of $d_{\mathrm{I}}$ into a product metric. The decomposition of $d_{\mathrm{I}}$ is simple, but its ramifications are manifold: (1) We can construct a geodesic path between any poset maps $\mathbf{F}$ and $\mathbf{G}$ with $d_{\mathrm{I}}(\mathbf{F},\mathbf{G})<\infty$ by assembling geodesics between all $\mathbf{F}_b$s and $\mathbf{G}_b$s via the join operation. This construction generalizes at least three constructions of geodesic paths that have appeared in the literature. (2) We can extend the Gromov-Hausdorff distance to a distance between simplicial filtrations over an arbitrary poset with a flow, preserving its universality and geodesicity. (3) We can clarify equivalence between several known metrics on multiparameter hierarchical clusterings. (4) We can illuminate the relationship between the erosion distance by Patel and the graded rank function by Betthauser, Bubenik, and Edwards, which in turn takes us to an interpretation on the representation $\bigvee_b \mathbf{F}_b$ as a generalization of persistence landscapes and graded rank functions. △ Less

Submitted 19 July, 2022; v1 submitted 9 December, 2019; originally announced December 2019.

Comments: Another sizable update, 43 pages, 9 figures

MSC Class: 55N31; 51F99; 06A99; 18B35

$A_\infty$ persistent homology estimates the topology from pointcloud datasets

Authors: Francisco Belchí, Anastasios Stefanou

Abstract: Let $X$ be a closed subspace of a metric space $M$. Under mild hypotheses, one can estimate the Betti numbers of $X$ from a finite set $P \subset M$ of points approximating $X$. In this paper, we show that one can also use $P$ to estimate much more detailed topological properties of $X$. These properties are computed via $A_\infty$-structures, and are therefore related to the cup and Massey produc… ▽ More Let $X$ be a closed subspace of a metric space $M$. Under mild hypotheses, one can estimate the Betti numbers of $X$ from a finite set $P \subset M$ of points approximating $X$. In this paper, we show that one can also use $P$ to estimate much more detailed topological properties of $X$. These properties are computed via $A_\infty$-structures, and are therefore related to the cup and Massey products of $X$, its loop space $ΩX$, its formality, linking numbers, etc. Additionally, we study the following setting: given a continuous function $f \colon Y \longrightarrow \mathbb R$ on a topological space $Y$, $A_\infty$ persistent homology builds a family of barcodes presenting a highly detailed description of some geometric and topological properties of $Y$. We prove here that under mild assumptions, these barcodes are stable: small perturbations in the function $f$ imply at most small perturbations in the barcodes. △ Less

Submitted 25 February, 2019; originally announced February 2019.

Comments: 26 pages

MSC Class: 55N; 55P; 55U

Tree decomposition of Reeb graphs, parametrized complexity, and applications to phylogenetics

Authors: Anastasios Stefanou

Abstract: Inspired by the interval decomposition of persistence modules and the extended Newick format of phylogenetic networks, we show that, inside the larger category of \textit{ordered Reeb graphs}, every Reeb graph with $n$ leaves and first Betti number $s$, is equal to a coproduct of at most $2^s$ trees with $(n + s)$ leaves. Reeb graphs are therefore classified up to isomorphism by their tree decompo… ▽ More Inspired by the interval decomposition of persistence modules and the extended Newick format of phylogenetic networks, we show that, inside the larger category of \textit{ordered Reeb graphs}, every Reeb graph with $n$ leaves and first Betti number $s$, is equal to a coproduct of at most $2^s$ trees with $(n + s)$ leaves. Reeb graphs are therefore classified up to isomorphism by their tree decomposition. An implication of this result, is that the isomorphism problem for Reeb graphs is fixed parameter tractable when the parameter is the first Betti number. We propose ordered Reeb graphs as a model for time consistent phylogenetic networks and propose a certain Hausdorff distance as a metric on these structures. △ Less

Submitted 17 September, 2019; v1 submitted 15 February, 2019; originally announced February 2019.

MSC Class: 55; 18F

The $\ell^\infty$-Cophenetic Metric for Phylogenetic Trees as an Interleaving Distance

Authors: Elizabeth Munch, Anastasios Stefanou

Abstract: There are many metrics available to compare phylogenetic trees since this is a fundamental task in computational biology. In this paper, we focus on one such metric, the $\ell^\infty$-cophenetic metric introduced by Cardona et al. This metric works by representing a phylogenetic tree with $n$ labeled leaves as a point in $\mathbb{R}^{n(n+1)/2}$ known as the cophenetic vector, then comparing the tw… ▽ More There are many metrics available to compare phylogenetic trees since this is a fundamental task in computational biology. In this paper, we focus on one such metric, the $\ell^\infty$-cophenetic metric introduced by Cardona et al. This metric works by representing a phylogenetic tree with $n$ labeled leaves as a point in $\mathbb{R}^{n(n+1)/2}$ known as the cophenetic vector, then comparing the two resulting Euclidean points using the $\ell^\infty$ distance. Meanwhile, the interleaving distance is a formal categorical construction generalized from the definition of Chazal et al., originally introduced to compare persistence modules arising from the field of topological data analysis. We show that the $\ell^\infty$-cophenetic metric is an example of an interleaving distance. To do this, we define phylogenetic trees as a category of merge trees with some additional structure; namely labelings on the leaves plus a requirement that morphisms respect these labels. Then we can use the definition of a flow on this category to give an interleaving distance. Finally, we show that, because of the additional structure given by the categories defined, the map sending a labeled merge tree to the cophenetic vector is, in fact, an isometric embedding, thus proving that the $\ell^\infty$-cophenetic metric is, in fact, an interleaving distance. △ Less

Submitted 28 February, 2018; originally announced March 2018.

Theory of interleavings on categories with a flow

Authors: Vin de Silva, Elizabeth Munch, Anastasios Stefanou

Abstract: The interleaving distance was originally defined in the field of Topological Data Analysis (TDA) by Chazal et al. as a metric on the class of persistence modules parametrized over the real line. Bubenik et al. subsequently extended the definition to categories of functors on a poset, the objects in these categories being regarded as `generalized persistence modules'. These metrics typically depend… ▽ More The interleaving distance was originally defined in the field of Topological Data Analysis (TDA) by Chazal et al. as a metric on the class of persistence modules parametrized over the real line. Bubenik et al. subsequently extended the definition to categories of functors on a poset, the objects in these categories being regarded as `generalized persistence modules'. These metrics typically depend on the choice of a lax semigroup of endomorphisms of the poset. The purpose of the present paper is to develop a more general framework for the notion of interleaving distance using the theory of `actegories'. Specifically, we extend the notion of interleaving distance to arbitrary categories equipped with a flow, i.e. a lax monoidal action by the monoid $[0,\infty)$. In this way, the class of objects in such a category acquires the structure of a Lawvere metric space. Functors that are colax $[0,\infty)$-equivariant yield maps that are $1$-Lipschitz. This leads to concise proofs of various known stability results from TDA, by considering appropriate colax $[0,\infty)$-equivariant functors. Along the way, we show that several common metrics, including the Hausdorff distance and the $L^{\infty}$-norm, can be realized as interleaving distances in this general perspective. △ Less

Submitted 30 May, 2018; v1 submitted 13 June, 2017; originally announced June 2017.

MSC Class: 18C10; 18D05; 18D10; 18D20