-
The fiber of persistent homology for trees
Authors:
David Beers,
Jacob Leygonie
Abstract:
Consider the space of continuous functions on a geometric tree $X$ whose persistent homology gives rise to a finite generic barcode $D$. We show that there are exactly as many path connected components in this space as there are merge trees whose barcode is $D$. We find that each component is homotopy equivalent to a configuration space on $X$ with specialized constraints encoded by the merge tree…
▽ More
Consider the space of continuous functions on a geometric tree $X$ whose persistent homology gives rise to a finite generic barcode $D$. We show that there are exactly as many path connected components in this space as there are merge trees whose barcode is $D$. We find that each component is homotopy equivalent to a configuration space on $X$ with specialized constraints encoded by the merge tree. For barcodes $D$ with either one or two intervals, our method also allows us to compute the homotopy type of this space of functions.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Stability and Inference of the Euler Characteristic Transform
Authors:
Lewis Marsh,
David Beers
Abstract:
The Euler characteristic transform (ECT) is a signature from topological data analysis (TDA) which summarises shapes embedded in Euclidean space. Compared with other TDA methods, the ECT is fast to compute and it is a sufficient statistic for a broad class of shapes. However, small perturbations of a shape can lead to large distortions in its ECT. In this paper, we propose a new metric on compact…
▽ More
The Euler characteristic transform (ECT) is a signature from topological data analysis (TDA) which summarises shapes embedded in Euclidean space. Compared with other TDA methods, the ECT is fast to compute and it is a sufficient statistic for a broad class of shapes. However, small perturbations of a shape can lead to large distortions in its ECT. In this paper, we propose a new metric on compact one-dimensional shapes and prove that the ECT is stable with respect to this metric. Crucially, our result uses curvature, rather than the size of a triangulation of an underlying shape, to control stability. We further construct a computationally tractable statistical estimator of the ECT based on the theory of Gaussian processes. We use our stability result to prove that our estimator is consistent on shapes perturbed by independent ambient noise; i.e., the estimator converges to the true ECT as the sample size increases.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
Stability of topological descriptors for neuronal morphology
Authors:
David Beers,
Heather A. Harrington,
Alain Goriely
Abstract:
The topological morphology descriptor of a neuron is a multiset of intervals associated to the shape of the neuron represented as a tree. In practice, topological morphology descriptors are vectorized using persistence images, which can help classify and characterize the morphology of broad groups of neurons. We study the stability of topological morphology descriptors under small changes to neuro…
▽ More
The topological morphology descriptor of a neuron is a multiset of intervals associated to the shape of the neuron represented as a tree. In practice, topological morphology descriptors are vectorized using persistence images, which can help classify and characterize the morphology of broad groups of neurons. We study the stability of topological morphology descriptors under small changes to neuronal morphology. We show that the persistence diagram arising from the topological morphology descriptor of a neuron is stable for the 1-Wasserstein distance against a range of perturbations to the tree. These results guarantee that persistence images of topological morphology descriptors are stable against the same set of perturbations and reliable.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Brain Chains as Topological Signatures for Alzheimer's Disease
Authors:
Christian Goodbrake,
David Beers,
Travis B. Thompson,
Heather A. Harrington,
Alain Goriely
Abstract:
We propose a topological framework to study the evolution of Alzheimer's disease, the most common neurodegenerative disease. The modeling of this disease starts with the representation of the brain connectivity as a graph and the seeding of a toxic protein in a specific region represented by a vertex. Over time, the accumulation of toxic proteins at vertices and their propagation along edges are m…
▽ More
We propose a topological framework to study the evolution of Alzheimer's disease, the most common neurodegenerative disease. The modeling of this disease starts with the representation of the brain connectivity as a graph and the seeding of a toxic protein in a specific region represented by a vertex. Over time, the accumulation of toxic proteins at vertices and their propagation along edges are modeled by a dynamical system on this graph. These dynamics provide an order on the edges of the graph according to the damage created by high concentrations of proteins. This sequence of edges defines a filtration of the graph. We consider different filtrations given by different disease seeding locations. To study this filtration we propose a new combinatorial and topological method. A filtration defines a maximal chain in the partially ordered set of spanning subgraphs ordered by inclusion. To identify similar graphs, and define a topological signature, we quotient this poset by graph homotopy equivalence, which gives maximal chains in a smaller poset. We provide an algorithm to compute this direct quotient without computing all subgraphs and then propose bounds on the total number of graphs up to homotopy equivalence. To compare the maximal chains generated by this method, we extend Kendall's $d_K$ metric for permutations to more general graded posets and establish bounds for this metric. We then demonstrate the utility of this framework on actual brain graphs by studying the dynamics of tau proteins on the structural connectome. {We show that the proposed topological brain chain equivalence classes distinguish different simulated subtypes of Alzheimer's disease.
△ Less
Submitted 18 September, 2023; v1 submitted 22 August, 2022;
originally announced August 2022.
-
Barcodes distinguish morphology of neuronal tauopathy
Authors:
David Beers,
Despoina Goniotaki,
Diane P. Hanger,
Alain Goriely,
Heather A. Harrington
Abstract:
The geometry of neurons is known to be important for their functions. Hence, neurons are often classified by their morphology. Two recent methods, persistent homology and the topological morphology descriptor, assign a morphology descriptor called a barcode to a neuron equipped with a given function, such as the Euclidean distance from the root of the neuron. These barcodes can be converted into m…
▽ More
The geometry of neurons is known to be important for their functions. Hence, neurons are often classified by their morphology. Two recent methods, persistent homology and the topological morphology descriptor, assign a morphology descriptor called a barcode to a neuron equipped with a given function, such as the Euclidean distance from the root of the neuron. These barcodes can be converted into matrices called persistence images, which can then be averaged across groups. We show that when the defining function is the path length from the root, both the topological morphology descriptor and persistent homology are equivalent. We further show that persistence images arising from the path length procedure provide an interpretable summary of neuronal morphology. We introduce {topological morphology functions}, a class of functions similar to Sholl functions, that can be recovered from the associated topological morphology descriptor. To demonstrate this topological approach, we compare healthy cortical and hippocampal mouse neurons to those affected by progressive tauopathy. We find a significant difference in the morphology of healthy neurons and those with a tauopathy at a postsymptomatic age. We use persistence images to conclude that the diseased group tends to have neurons with shorter branches as well as fewer branches far from the soma.
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
Fiber of Persistent Homology on Morse functions
Authors:
Jacob Leygonie,
David Beers
Abstract:
Let $f$ be a Morse function on a smooth compact manifold $M$ with boundary. The path component $\mathrm{PH}_f^{-1}(D)$ containing $f$ of the space of Morse functions giving rise to the same Persistent Homology $D=\mathrm{PH}(f))$ is shown to be the same as the orbit of $f$ under pre-composition $φ\mapsto f\circ φ$ by diffeomorphisms of $M$ which are isotopic to the identity. Consequently we derive…
▽ More
Let $f$ be a Morse function on a smooth compact manifold $M$ with boundary. The path component $\mathrm{PH}_f^{-1}(D)$ containing $f$ of the space of Morse functions giving rise to the same Persistent Homology $D=\mathrm{PH}(f))$ is shown to be the same as the orbit of $f$ under pre-composition $φ\mapsto f\circ φ$ by diffeomorphisms of $M$ which are isotopic to the identity. Consequently we derive topological properties of the fiber $\mathrm{PH}_f^{-1}(D)$: In particular we compute its homotopy type for many compact surfaces $M$. In the $1$-dimensional settings where $M$ is the unit interval or the circle we extend the analysis to continuous functions and show that the fibers are made of contractible and circular components respectively.
△ Less
Submitted 11 November, 2022; v1 submitted 17 August, 2021;
originally announced August 2021.
-
Split Grothendieck rings of rooted trees and skew shapes via monoid representations
Authors:
David Beers,
Matt Szczesny
Abstract:
We study commutative ring structures on the integral span of rooted trees and $n$-dimensional skew shapes. The multiplication in these rings arises from the smash product operation on monoid representations in pointed sets. We interpret these as Grothendieck rings of indecomposable monoid representations over $\fun$ - the "field" of one element. We also study the base-change homomorphism from…
▽ More
We study commutative ring structures on the integral span of rooted trees and $n$-dimensional skew shapes. The multiplication in these rings arises from the smash product operation on monoid representations in pointed sets. We interpret these as Grothendieck rings of indecomposable monoid representations over $\fun$ - the "field" of one element. We also study the base-change homomorphism from $\mt$-modules to $k[t]$-modules for a field $k$ containing all roots of unity, and interpret the result in terms of Jordan decompositions of adjacency matrices of certain graphs.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
Polaritonics in complex structures: Confinement, bandgap materials, and coherent control
Authors:
David W. Ward,
Eric Statz,
Jaime D. Beers,
T. Feurer,
John D. Joannopoulos,
Keith A. Nelson,
Ryan M. Roth,
Richard M. Osgood,
Kevin J. Webb
Abstract:
We report on the design, fabrication, and testing of ferroelectric patterned materials in the guided-wave and polaritonic regime. We demonstrate their functionality and exploit polariton confinement for amplification and coherent control using temporal pulse sha**.
We report on the design, fabrication, and testing of ferroelectric patterned materials in the guided-wave and polaritonic regime. We demonstrate their functionality and exploit polariton confinement for amplification and coherent control using temporal pulse sha**.
△ Less
Submitted 21 September, 2004;
originally announced September 2004.
-
Phonon-Polariton Propagation, Guidance, and Control in Bulk and Patterned Thin Film Ferroelectric Crystals
Authors:
David W. Ward,
Eric Statz,
Jaime D. Beers,
Nikolay Stoyanov,
Thomas Feurer,
Ryan M. Roth,
Richard M. Osgood,
Keith A. Nelson
Abstract:
Using time resolved ultrafast spectroscopy, we have demonstrated that the far infrared (FIR) excitations in ferroelectric crystals may be modified through an arsenal of control techniques from the fields of guided waves, geometrical and Fourier optics, and optical pulse sha**. We show that LiNbO3 and LiTaO3 crystals of 10-250 micron thickness behave as slab waveguides for phonon-polaritons, wh…
▽ More
Using time resolved ultrafast spectroscopy, we have demonstrated that the far infrared (FIR) excitations in ferroelectric crystals may be modified through an arsenal of control techniques from the fields of guided waves, geometrical and Fourier optics, and optical pulse sha**. We show that LiNbO3 and LiTaO3 crystals of 10-250 micron thickness behave as slab waveguides for phonon-polaritons, which are admixtures of electromagnetic waves and lattice vibrations, when the polariton wavelength is on the order of or greater than the crystal thickness. Furthermore, we show that ferroelectric crystals are amenable to processing by ultrafast laser ablation, allowing for milling of user-defined patterns designed for guidance and control of phonon-polariton propagation. We have fabricated several functional structures including THz rectangular waveguides, resonators, splitters/couplers, interferometers, focusing reflectors, and diffractive elements. Electric field enhancement has been obtained with the reflective structures, through spatial sha**, of the optical excitation beam used for phonon-polariton generation, and through temporal pulse sha** to permit repetitive excitation of a phonon-polariton resonant cavity.
△ Less
Submitted 6 January, 2004;
originally announced January 2004.