arXiv subjects
Publications and source records attributed to Luigi Caputi.
We compute the stable homology of complex braid groups of types $B(e,e,n)$ and $B(2e,e,n)$ for fixed $e\ge2$ and increasing $n$. This accounts for the stable homology of all infinite families of complex braid groups. We achieve this by explicitly computing a quillenization of their stable classifying spaces. In particular, we provide a proof of an identification of the stable homology of Artin groups of type $D$ claimed by Fuchs in the '70s.
In this work we evaluate the performance of three classes of methods for detecting financial anomalies: topological data analysis (TDA), principal component analyis (PCA), and Neural Network-based approaches. We apply these methods to the TSX-60 data to identify major financial stress events in the Canadian stock market. We show how neural network-based methods (such as GlocalKD and One-Shot GIN(E)) and TDA methods achieve the strongest performance. The effectiveness of TDA in detecting financial anomalies suggests that global topological properties are meaningful in distinguishing financial stress events.
The aim of this work is to explicitly compute the K-theory of the category of matroids with respect to the covering family of Tutte coverings. In particular, we show that this is equivalent to the K-theory spectrum of the category of graphic matroids on looped forests, with the covering family generated by isomorphisms. Further, we show that this yields an equivalence of $C_2$-spectra.
In this work we study the homotopy type of multipath complexes of bidirectional path graphs and polygons, motivated by works of Vre\'cica and \v{Z}ivaljevi\'c on cycle-free chessboard complexes (that is, multipath complexes of complete digraphs). In particular, we show that bidirectional path graphs are homotopic to spheres and that, in analogy with cycle-free chessboard complexes, multipath complexes of bidirectional polygonal digraphs are highly connected. Using a Mayer-Vietoris spectral sequence, we provide a computation of the associated homology groups. We study T-operations on graphs, and show that this corresponds to taking suspensions of multipath complexes. We further discuss (non) shellability properties of such complexes, and present new open questions.
In this paper, we study the Hochschild cohomology of diagrams of algebras introduced by Gerstenhaber and Schack and provide computations for filtrations of incidence algebras. Our aims are threefold: firstly, we revisit and explore the connection between the Gerstenhaber-Schack complexes and the Baues-Wirsching cohomology of categories. Secondly, we analyse the behaviour of (diagrammatic) Hochschild cohomology in the context of homological epimorphisms of algebras. Thirdly, we study diagrams of incidence algebras. In particular, as a main application, we compute the diagrammatic Hochschild cohomology of diagrams of incidence algebras associated to finite filtrations of simplicial complexes.
We explore the recently introduced persistent reachability homology (PRH) of digraph data, i.e. data in the form of directed graphs. In particular, we study the effectiveness of PRH in network classification task in a key neuroscience problem: epilepsy detection. PRH is a variation of the persistent homology of digraphs, more traditionally based on the directed flag complex (DPH). A main advantage of PRH is that it considers the condensations of the digraphs appearing in the persistent filtration and thus is computed from smaller digraphs. We compare the effectiveness of PRH to that of DPH and we show that PRH outperforms DPH in the classification task. We use the Betti curves and their integrals as topological features and implement our pipeline on support vector machine.
In this paper we explore the algebraic structure and combinatorial properties of eulerian magnitude homology. First, we analyze the diagonality conditions of eulerian magnitude homology, providing a characterization of complete graphs. Then, we construct the regular magnitude-path spectral sequence as the spectral sequence of the (filtered) injective nerve of the reachability category, and explore its consequences. Among others, we show that such spectral sequence converges to the complex of injective words on a digraph, and yields characterization results for the regular path homology of diagonal directed graphs.
We characterise the digraphs for which the multipaths, that is disjoint unions of directed paths, yield a matroid. For such graphs, called MP-digraphs, we prove that the Tutte polynomial of the multipath matroid is related to counting certain digraph colourings. Finally, we prove that, for MP-forests, the decategorification of the multipath cohomology yields a specialisation of the Tutte polynomial.
We establish an isomorphism between the 0-degree \"uberhomology and the double homology of finite simplicial complexes, using a Mayer-Vietoris spectral sequence argument. We clarify the correspondence between these theories by providing examples and some consequences; in particular, we show that \"uberhomology groups detect the standard simplex, and that the double homology's diagonal is related to the connected domination polynomial.
This paper extends the possibility to examine the underlying curvature of data through the lens of topology by using the Betti curves, tools of Persistent Homology, as key topological descriptors, building on the clique topology approach. It was previously shown that Betti curves distinguish random from Euclidean geometric matrices - i.e. distance matrices of points randomly distributed in a cube with Euclidean distance. In line with previous experiments, we consider their low-dimensional approximations named integral Betti values, or signatures that effectively distinguish not only Euclidean, but also spherical and hyperbolic geometric matrices, both from purely random matrices as well as among themselves. To prove this, we analyse the behaviour of Betti curves for various geometric matrices -- i.e. distance matrices of points randomly distributed on manifolds of constant sectional curvature, considering the classical models of curvature 0, 1, -1, given by the Euclidean space, the sphere, and the hyperbolic space. We further investigate the dependence of integral Betti signatures on factors including the sample size and dimension. This is important for assessment of real-world connectivity matrices, as we show that the standard approach to network construction gives rise to (spurious) spherical geometry, with topology dependent on sample dimensions. Finally, we use the manifolds of constant curvature as comparison models to infer curvature underlying real-world datasets coming from neuroscience, finance and climate. Their associated topological features exhibit a hyperbolic character: the integral Betti signatures associated to these datasets sit in between Euclidean and hyperbolic (of small curvature). The potential confounding ``hyperbologenic effect'' of intrinsic low-rank modular structures is also evaluated through simulations.
We introduce the notion of a Bredon-style equivariant coarse homology theory. We show that such a Bredon-style equivariant coarse homology theory satisfies localization theorems and that a general equivariant coarse homology theory can be approximated by a Bredon-style version. We discuss the special case of algebraic and topological equivariant coarse $K$-homology and obtain the coarse analog of Segal's localization theorem.
Building upon previous works of Proudfoot and Ramos, and using the categorical framework of Sam and Snowden, we extend the weak categorical minor theorem from undirected graphs to quivers. As case of study, we investigate the consequences on the homology of multipath complexes; eg. on its torsion. Further, we prove a comparison result: we show that, when restricted to directed graphs without oriented cycles, multipath complexes and matching complexes yield functors which commute up to a blow-up operation on directed graphs. We use this fact to compute the homotopy type of matching complexes for a certain class of bipartite graphs also known as half-graphs or ladders. We complement the work with a study of the (representation) category of cones, and with analysing related consequences on magnitude cohomology of quivers.
We prove that the second page of the Mayer-Vietoris spectral sequence, with respect to anti-star covers, can be identified with another homological invariant of simplicial complexes: the $0$-degree überhomology. Consequently, we obtain a combinatorial interpretation of the second page of the Mayer-Vietoris sequence in this context. This interpretation is then used to extend the computations of bold homology, which categorifies the connected domination polynomial at $-1$.
For a finite quiver $Q$, we study the reachability category $\mathbf{Reach}_Q$. We investigate the properties of $\mathbf{Reach}_Q$ from both a categorical and a topological viewpoint. In particular, we compare $\mathbf{Reach}_Q$ with $\mathbf{Path}_Q$, the category freely generated by $Q$. As a first application, we study the category algebra of $\mathbf{Reach}_Q$, which is isomorphic to the commuting algebra of $Q$. As a consequence, we recover, in a categorical framework, previous results obtained by Green and Schroll; we show that the commuting algebra of $Q$ is Morita equivalent to the incidence algebra of a poset, the reachability poset. We further show that commuting algebras are Morita equivalent if and only if the reachability posets are isomorphic. As a second application, we define persistent Hochschild homology of quivers via reachability categories.
The aim of this paper is to apply the framework, which was developed by Sam and Snowden, to study structural properties of graph homologies, in the spirit of Ramos, Miyata and Proudfoot. Our main results concern the magnitude homology of graphs introduced by Hepworth and Willerton. More precisely, for graphs of bounded genus, we prove that magnitude cohomology, in each homological degree, has rank which grows at most polynomially in the number of vertices, and that its torsion is bounded. As a consequence, we obtain analogous results for path homology of (undirected) graphs. We complement the work with a proof that the category of planar graphs of bounded genus and marked edges, with contractions, is quasi-Gr\"obner.
Multipath cohomology is a cohomology theory for directed graphs, which is defined using the path poset. The aim of this paper is to investigate combinatorial properties of path posets, and to provide computational tools for multipath cohomology. In particular, we develop acyclicity criteria, and provide computations of multipath cohomology groups of oriented linear graphs. We further interpret the path poset as the face poset of a simplicial complex, and we investigate realisability problems.
A multipath in a directed graph is a disjoint union of paths. The multipath complex of a directed graph ${\tt G}$ is the simplicial complex whose faces are the multipaths of ${\tt G}$. We compute the Euler characteristic, and associated generating function, of the multipath complex for some families of graphs, including transitive tournaments and complete bipartite graphs. Then, we compute the homotopy type of multipath complexes of linear graphs, polygons, small grids and transitive tournaments. We show that they are all contractible or wedges of spheres. We introduce a new technique for decomposing directed graphs into dynamical regions, which allows us to simplify the homotopy computations.
We introduce a persistent Hochschild homology framework for directed graphs. Hochschild homology groups of (path algebras of) directed graphs vanish in degree $i\geq 2$. To extend them to higher degrees, we introduce the notion of connectivity digraphs and analyse two main examples; the first, arising from Atkin's $q$-connectivity, and the second, here called $n$-path digraphs, generalising the classical notion of line graphs. Based on a categorical setting for persistent homology, we propose a stable pipeline for computing persistent Hochschild homology groups. This pipeline is also amenable to other homology theories; for this reason, we complement our work with a survey on homology theories of digraphs.