-
Inductive construction of path homology chains
Authors:
Matthew Burfitt,
Tyrone Cutler
Abstract:
Path homology plays a central role in digraph topology and GLMY theory more general. Unfortunately, the computation of the path homology of a digraph $G$ is a two-step process, and until now no complete description of even the underlying chain complex has appeared in the literature.
In this paper we introduce an inductive method of constructing elements of the path homology chain modules…
▽ More
Path homology plays a central role in digraph topology and GLMY theory more general. Unfortunately, the computation of the path homology of a digraph $G$ is a two-step process, and until now no complete description of even the underlying chain complex has appeared in the literature.
In this paper we introduce an inductive method of constructing elements of the path homology chain modules $Ω_n(G;R)$ from elements in the proceeding two dimensions. This proceeds via the formation of what we call upper and lower \emph{extensions}, that are parametrised by certain labeled multihypergraphs which we introduce and call \emph{face multihypergraphs}.
When the coefficient ring $R$ is a finite field the inductive elements we construct generate $Ω_*(G;R)$. With integral or rational coefficients, the inductive elements generate at least $Ω_i(G;R)$ for $i=0,1,2,3$. Since in low dimensions the inductive elements extended over labeled multigraphs coincide with naturally occurring generating sets up to sign, they are excellent candidates to reduce to a basis.
Inductive elements provide a new concrete structure on the path chain complex that can be directly applied to understand path homology, under no restriction on the digraph $G$. We employ inductive elements to construct a sequence of digraphs whose path Euler characteristic can differ arbitrarily depending on the choice of field coefficients. In particular, answering an open question posed by Fu and Ivanov.
△ Less
Submitted 14 November, 2024;
originally announced November 2024.
-
The cohomology of the free loop spaces of $SU(n+1)/T^n$
Authors:
Matthew I. Burfitt,
Jelena Grbić
Abstract:
We study the cohomology of the free loop space of $SU(n+1)/T^n$, the simplest example of a complete flag manifolds and an important homogeneous space. Through this enhanced analysis we reveal rich new combinatorial structures arising in the cohomology algebra of the free loop spaces. We build new theory to allow for the computation of $H^*(Λ(SU(n+1)/T^{n});\mathbb{Z})$, a significantly more compli…
▽ More
We study the cohomology of the free loop space of $SU(n+1)/T^n$, the simplest example of a complete flag manifolds and an important homogeneous space. Through this enhanced analysis we reveal rich new combinatorial structures arising in the cohomology algebra of the free loop spaces. We build new theory to allow for the computation of $H^*(Λ(SU(n+1)/T^{n});\mathbb{Z})$, a significantly more complicated structure than other known examples. In addition to our theoretical results, we explicitly implement a novel integral Gröbner basis procedure for computation. This procedure is applicable to any Leray-Serre spectral sequence for which the cohomology of the base space is the quotient of a finitely generated polynomial algebra. The power of this procedure is illustrated by the explicit calculation of $H^*( Λ(SU(4)/T^3);\mathbb{Z})$. We also provide a python library with examples of all procedures used in the paper.
△ Less
Submitted 23 October, 2022; v1 submitted 7 June, 2021;
originally announced June 2021.
-
On the complexity of zero-dimensional multiparameter persistence
Authors:
Jacek Brodzki,
Matthew Burfitt,
Mariam Pirashvili
Abstract:
Multiparameter persistence is a natural extension of the well-known persistent homology, which has attracted a lot of interest. However, there are major theoretical obstacles preventing the full development of this promising theory.
In this paper we consider the interesting special case of multiparameter persistence in zero dimensions which can be regarded as a form of multiparameter clustering.…
▽ More
Multiparameter persistence is a natural extension of the well-known persistent homology, which has attracted a lot of interest. However, there are major theoretical obstacles preventing the full development of this promising theory.
In this paper we consider the interesting special case of multiparameter persistence in zero dimensions which can be regarded as a form of multiparameter clustering. In particular, we consider the multiparameter persistence modules of the zero-dimensional homology of filtered topological spaces when they are finitely generated. Under certain assumptions, we characterize such modules and study their decompositions. In particular we identify a natural class of representations that decompose and can be extended back to form zero-dimensional multiparameter persistence modules.
Our study of this set of representations concludes that despite the restrictions, there are still infinitely many classes of indecomposables in this set.
△ Less
Submitted 26 August, 2020;
originally announced August 2020.
-
A numerical measure of the instability of Mapper-type algorithms
Authors:
Francisco Belchí,
Jacek Brodzki,
Matthew Burfitt,
Mahesan Niranjan
Abstract:
Mapper is an unsupervised machine learning algorithm generalising the notion of clustering to obtain a geometric description of a dataset. The procedure splits the data into possibly overlapping bins which are then clustered. The output of the algorithm is a graph where nodes represent clusters and edges represent the sharing of data points between two clusters. However, several parameters must be…
▽ More
Mapper is an unsupervised machine learning algorithm generalising the notion of clustering to obtain a geometric description of a dataset. The procedure splits the data into possibly overlapping bins which are then clustered. The output of the algorithm is a graph where nodes represent clusters and edges represent the sharing of data points between two clusters. However, several parameters must be selected before applying Mapper and the resulting graph may vary dramatically with the choice of parameters.
We define an intrinsic notion of Mapper instability that measures the variability of the output as a function of the choice of parameters required to construct a Mapper output. Our results and discussion are general and apply to all Mapper-type algorithms. We derive theoretical results that provide estimates for the instability and suggest practical ways to control it. We provide also experiments to illustrate our results and in particular we demonstrate that a reliable candidate Mapper output can be identified as a local minimum of instability regarded as a function of Mapper input parameters.
△ Less
Submitted 4 June, 2019;
originally announced June 2019.
-
The cohomology of free loop spaces of rank 2 flag manifolds
Authors:
Matthew I. Burfitt,
Jelena Grbić
Abstract:
A complete flag manifold is the quotient of a Lie group by its maximal torus. The rank of a flag manifold is the dimension of the maximal torus of the Lie group. The rank 2 complete flag manifolds are $SU(3)/T^2$, $Sp(2)/T^2$, $Spin(4)/T^2$, $Spin(5)/T^2$ and $G_2/T^2$. In this paper we calculate the cohomology of the free loop space of rank 2 complete flag manifolds.
A complete flag manifold is the quotient of a Lie group by its maximal torus. The rank of a flag manifold is the dimension of the maximal torus of the Lie group. The rank 2 complete flag manifolds are $SU(3)/T^2$, $Sp(2)/T^2$, $Spin(4)/T^2$, $Spin(5)/T^2$ and $G_2/T^2$. In this paper we calculate the cohomology of the free loop space of rank 2 complete flag manifolds.
△ Less
Submitted 11 March, 2018;
originally announced March 2018.
-
The cohomology of free loop spaces of homogeneous spaces
Authors:
Matthew Burfitt
Abstract:
The free loops space $ΛX$ of a space $X$ has become an important object of study particularly in the case when $X$ is a manifold.The study of free loop spaces is motivated in particular by two main examples. The first is their relation to geometrically distinct periodic geodesics on a manifold, originally studied by Gromoll and Meyer in $1969$. More recently the study of string topology and in par…
▽ More
The free loops space $ΛX$ of a space $X$ has become an important object of study particularly in the case when $X$ is a manifold.The study of free loop spaces is motivated in particular by two main examples. The first is their relation to geometrically distinct periodic geodesics on a manifold, originally studied by Gromoll and Meyer in $1969$. More recently the study of string topology and in particular the Chas-Sullivan loop product has been an active area of research.
A complete flag manifold is the quotient of a Lie group by its maximal torus and is one of the nicer examples of a homogeneous space. Both the cohomology and Chas-Sullivan product structure are understood for spaces $S^n$, $\mathbb{C}P^n$ and most simple Lie groups. Hence studying the topology of the free loops space on homogeneous space is a natural next step.
In the thesis we compute the differentials in the integral Leray-Serre spectral sequence associated to the free loops space fibrations in the cases of $SU(n+1)/T^n$ and $Sp(n)/T^n$. Study in detail the structure of the third page of the spectral sequence in the case of $SU(n)$ and give the module structure of $H^*(Λ(SU(3)/T^2);\mathbb{Z})$ and $H^*(Λ(Sp(2)/T^2);\mathbb{Z})$.
△ Less
Submitted 30 June, 2017;
originally announced June 2017.
