Topology and Higher Concurrencies

Nils A. Baas

DOI: https://doi.org/10.48550/arXiv.1805.06760

2018-05-11

Abstract:We formulate a general approach to higher concurrencies in general and neural codes in particular, and suggest how the higher order aspects may be dealt with in using topology.

General Mathematics

What problem does this paper attempt to address?

Topology of nerves and formal concepts

Anton Ayzenberg

DOI: https://doi.org/10.48550/arXiv.1911.05491

2019-11-13

Algebraic Topology

Abstract:The general goal of this paper is to gather and review several methods from homotopy and combinatorial topology and formal concepts analysis (FCA) and analyze their connections. FCA appears naturally in the problem of combinatorial simplification of simplicial complexes and allows to see a certain duality on a class of simplicial complexes. This duality generalizes Poincare duality on cell subdivisions of manifolds. On the other hand, with the notion of a topological formal context, we review the classical proofs of two basic theorems of homotopy topology: Alexandrov Nerve theorem and Quillen--McCord theorem, which are both important in the applications. A brief overview of the applications of the Nerve theorem in brain studies is given. The focus is made on the task of the external stimuli space reconstruction from the activity of place cells. We propose to use the combination of FCA and topology in the analysis of neural codes. The lattice of formal concepts of a neural code is homotopy equivalent to the nerve complex, but, moreover, it allows to analyse certain implication relations between collections of neural cells.
An Ideal Topology Type Convergent Theorem on Scale Effect Algebras

Wu JunDe,Zhou XuanChang,Minhyung Cho

DOI: https://doi.org/10.1007/s11432-007-2009-y

2007-01-01

Abstract:The famous Antosik-Mikusinski convergent theorem on the Abel topological groups has very extensive applications in measure theory, summation theory and other analysis fields. In this paper, we establish the theorem on a class of effect algebras equipped with the ideal topology. This paper shows also that the ideal topology of effect algebras is a useful topology in studying the quantum logic theory.
Topology and Higher-Dimensional Category Theory: the Rough Idea

Tom Leinster

DOI: https://doi.org/10.48550/arXiv.math/0106240

2001-06-27

Category Theory

Abstract:Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. Although it can be treated purely as an algebraic subject, it is inherently topological in nature: the higher-dimensional diagrams one draws to represent these structures can be taken quite literally as pieces of topology. Examples of this are the braids in a braided monoidal category, and the pentagon which appears in the definitions of both monoidal category and A_infinity space. I will try to give a Friday-afternoonish description of some of the dreams people have for higher-dimensional category theory and its interactions with topology. Grothendieck, for instance, suggested that tame topology should be the study of n-groupoids; others have hoped that an n-category of cobordisms between cobordisms between ... will provide a clean setting for TQFT; and there is convincing evidence that the whole world of n-categories is a mirror of the world of homotopy groups of spheres.
What can topology tell us about the neural code?

Carina Curto

DOI: https://doi.org/10.1090/bull/1554

2016-09-27

Bulletin of the American Mathematical Society

Abstract:Neuroscience is undergoing a period of rapid experimental progress and expansion. New mathematical tools, previously unknown in the neuroscience community, are now being used to tackle fundamental questions and analyze emerging data sets. Consistent with this trend, the last decade has seen an uptick in the use of topological ideas and methods in neuroscience. In this paper I will survey recent applications of topology in neuroscience, and explain why topology is an especially natural tool for understanding neural codes.

mathematics
Neural Codes and Neural ring endomorphisms

Neha Gupta,Suhith K N

2023-09-20

Abstract:We investigate combinatorial, topological and algebraic properties of certain classes of neural codes. We look into a conjecture that states if the minimal \textit{open convex} embedding dimension of a neural code is two then its minimal \textit{convex} embedding dimension is also two. We prove the conjecture for two interesting classes of examples and provide a counterexample for the converse of the conjecture. We introduce a new class of neural codes, \textit{Doublet maximal}. We show that a Doublet maximal code is open convex if and only if it is max-intersection complete. We prove that surjective neural ring homomorphisms preserve max-intersection complete property. We introduce another class of neural codes, \textit{Circulant codes}. We give the count of neural ring endomorphisms for several sub-classes of this class.

Geometric Topology,Combinatorics,Rings and Algebras
Topological Neural Networks: Mitigating the Bottlenecks of Graph Neural Networks via Higher-Order Interactions

Lorenzo Giusti

2024-02-11

Abstract:The irreducible complexity of natural phenomena has led Graph Neural Networks to be employed as a standard model to perform representation learning tasks on graph-structured data. While their capacity to capture local and global patterns is remarkable, the implications associated with long-range and higher-order dependencies pose considerable challenges to such models. This work starts with a theoretical framework to reveal the impact of network's width, depth, and graph topology on the over-squashing phenomena in message-passing neural networks. Then, the work drifts towards, higher-order interactions and multi-relational inductive biases via Topological Neural Networks. Such models propagate messages through higher-dimensional structures, providing shortcuts or additional routes for information flow. With this construction, the underlying computational graph is no longer coupled with the input graph structure, thus mitigating the aforementioned bottlenecks while accounting also for higher-order interactions. Inspired by Graph Attention Networks, two topological attention networks are proposed: Simplicial and Cell Attention Networks. The rationale behind these architecture is to leverage the extended notion of neighbourhoods provided by the arrangement of groups of nodes within a simplicial or cell complex to design anisotropic aggregations able to measure the importance of the information coming from different regions of the domain. By doing so, they capture dependencies that conventional Graph Neural Networks might miss. Finally, a multi-way communication scheme is introduced with Enhanced Cellular Isomorphism Networks, which augment topological message passing schemes to enable a direct interactions among groups of nodes arranged in ring-like structures.

Artificial Intelligence,Machine Learning
Topology and monoid representations I: Foundations

Benjamin Steinberg

2024-04-02

Abstract:This paper aims to use topological methods to compute $\mathrm{Ext}$ between an irreducible representation of a finite monoid inflated from its group completion and one inflated from its group of units, or more generally coinduced from a maximal subgroup, via a spectral sequence that collapses on the $E_2$-page over fields of good characteristic.

Group Theory,Rings and Algebras
Algebraic Topological Networks via the Persistent Local Homology Sheaf

Gabriele Cesa,Arash Behboodi

2023-11-17

Abstract:In this work, we introduce a novel approach based on algebraic topology to enhance graph convolution and attention modules by incorporating local topological properties of the data. To do so, we consider the framework of sheaf neural networks, which has been previously leveraged to incorporate additional structure into graph neural networks' features and construct more expressive, non-isotropic messages. Specifically, given an input simplicial complex (e.g. generated by the cliques of a graph or the neighbors in a point cloud), we construct its local homology sheaf, which assigns to each node the vector space of its local homology. The intermediate features of our networks live in these vector spaces and we leverage the associated sheaf Laplacian to construct more complex linear messages between them. Moreover, we extend this approach by considering the persistent version of local homology associated with a weighted simplicial complex (e.g., built from pairwise distances of nodes embeddings). This i) solves the problem of the lack of a natural choice of basis for the local homology vector spaces and ii) makes the sheaf itself differentiable, which enables our models to directly optimize the topology of their intermediate features.

Machine Learning,Algebraic Topology
Topology and dynamics of higher-order multiplex networks

Sanjukta Krishnagopal,Ginestra Bianconi

DOI: https://doi.org/10.1016/j.chaos.2023.114296

2023-11-13

Abstract:Higher-order networks are gaining significant scientific attention due to their ability to encode the many-body interactions present in complex systems. However, higher-order networks have the limitation that they only capture many-body interactions of the same type. To address this limitation, we present a mathematical framework that determines the topology of higher-order multiplex networks and illustrates the interplay between their topology and dynamics. Specifically, we examine the diffusion of topological signals associated not only to the nodes but also to the links and to the higher-dimensional simplices of multiplex simplicial complexes. We leverage on the ubiquitous presence of the overlap of the simplices to couple the dynamics among multiplex layers, introducing a definition of multiplex Hodge Laplacians and Dirac operators. We show that the spectral properties of these operators determine higher-order diffusion on higher-order multiplex networks and encode their multiplex Betti numbers. Our numerical investigation of the spectral properties of synthetic and real (connectome, microbiome) multiplex simplicial complexes indicates that the coupling between the layers can either speed up or slow down the higher-order diffusion of topological signals. This mathematical framework is very general and can be applied to study generic higher-order systems with interactions of multiple types. In particular, these results might find applications in brain networks which are understood to be both multilayer and higher-order.

Adaptation and Self-Organizing Systems,Disordered Systems and Neural Networks,Social and Information Networks,Physics and Society
Higher limits, homology theories and fr-codes

Sergei O. Ivanov,Roman Mikhailov

DOI: https://doi.org/10.48550/arXiv.1510.09044

2015-10-30

Abstract:This text is based on lectures given by authors in summer 2015. It contains an introduction to the theory of limits over the category of presentations, with examples of different well-known functors like homology or derived functors of non-additive functors in a form of derived limits. The theory of so-called ${\bf fr}$-codes also is developed. This is a method how different functors from the category of groups to the category of abelian groups, such as group homology, tensor products of abelianization, can be coded as sentences in the alphabet with two symbols ${\bf f}$ and ${\bf r}$.

Group Theory,Algebraic Topology,Category Theory,K-Theory and Homology
A topology on E-theory

José R. Carrión,Christopher Schafhauser

2024-10-18

Abstract:For separable $C^*$-algebras $A$ and $B$, we define a topology on the set $[[A, B]]$ consisting of homotopy classes of asymptotic morphisms from $A$ to $B$. This gives an enrichment of the Connes--Higson asymptotic category over topological spaces. We show that the Hausdorffization of this category is equivalent to the shape category of Dadarlat. As an application, we obtain a topology on the $E$-theory group $E(A, B)$ with properties analogous to those of the topology on $KK(A, B)$. The Hausdorffized $E$-theory group $EL(A, B) = E(A, B) / \overline{\{0\}}$ is also introduced and studied. We obtain a continuity result for the functor $EL(\,\cdot\,,B)$, which implies a new continuity result for the functor $KL(\,\cdot\,,B)$.

Operator Algebras
A Topological Study of a Surface Signaling Network and Possible Implications for Neural Dynamics

Siddhartha Sen,Tomas J Ryan,David Muldowney,Plamen S Stamenov,Maurizio Pezzoli

DOI: https://doi.org/10.1101/2022.08.01.502331

2024-12-20

Abstract:Theoretical neuroscience is progressing strongly with novel representations of the brain, enhanced by the constant increase of computational power now available. New models suggest new ways to understand how complex brain events are emerging and explore the mechanisms of storing memory. However, there are major conceptual theoretical problems that remain unaddressed. Current theoretical methods are very capable reacting to experimental results and modeling both neural signaling and structure. Yet they still fall short to throw light on how the brain creates its own information code, or relate the variety of brain signals observed, or explain where and how memories are stored. We present here with topology as our main tool, a mathematical structure that demonstrates that circuit architecture and signal can correlate, while preserving information. This concept would imply a possible substrate for memory recording, that despite so far not been observed in biological organisms, has been already demonstrated on solid state physics and is consistent with conventional understandings of neurobiology.

Neuroscience
Higher Contiguity Distance

Nilay Ekiz Yazici,Ayse Borat

2024-03-23

Abstract:In this paper, we introduce the higher analogues of contiguity distance and its relations with simplicial Lusternik-Schnirelmann category and discrete topological complexity. Also we study the effects of geometric realisation and barycentric subdivision in the sense that how the geometric realisation of the simplicial maps and the induced simplicial maps on barycentric subdivisions affects higher contiguity distance.

Algebraic Topology
Grothendieck topology of $C^*$-algebras

Petr R. Ivankov

2024-03-29

Abstract:For any topological space there is a sheaf cohomology. A Grothendieck topology is a generalization of the classical topology such that it also possesses a sheaf cohomology. On the other hand any noncommutative $C^*$-algebra is a generalization of a locally compact Hausdorff space. Here we define a Grothendieck topology arising from $C^*$-algebras which is a generalization of the topology of the spectra of commutative $C^*$-algebras. This construction yields a noncommutative generalization of the sheaf cohomology of topological spaces. The presented here theory gives a unified approach to the Gelfand duality and the duality between the commutative von Neumann algebras and measure locales. The generalization of the Dixmier-Douady theory concerning $C^*$-algebras of foliations is also discussed.

Operator Algebras,Algebraic Geometry
Two's company, three (or more) is a simplex: Algebraic-topological tools for understanding higher-order structure in neural data

Chad Giusti,Robert Ghrist,Danielle S. Bassett

DOI: https://doi.org/10.48550/arXiv.1601.01704

2016-01-14

Abstract:The language of graph theory, or network science, has proven to be an exceptional tool for addressing myriad problems in neuroscience. Yet, the use of networks is predicated on a critical simplifying assumption: that the quintessential unit of interest in a brain is a dyad -- two nodes (neurons or brain regions) connected by an edge. While rarely mentioned, this fundamental assumption inherently limits the types of neural structure and function that graphs can be used to model. Here, we describe a generalization of graphs that overcomes these limitations, thereby offering a broad range of new possibilities in terms of modeling and measuring neural phenomena. Specifically, we explore the use of \emph{simplicial complexes}, a theoretical notion developed in the field of mathematics known as algebraic topology, which is now becoming applicable to real data due to a rapidly growing computational toolset. We review the underlying mathematical formalism as well as the budding literature applying simplicial complexes to neural data, from electrophysiological recordings in animal models to hemodynamic fluctuations in humans. Based on the exceptional flexibility of the tools and recent ground-breaking insights into neural function, we posit that this framework has the potential to eclipse graph theory in unraveling the fundamental mysteries of cognition.

Neurons and Cognition,Algebraic Topology,Quantitative Methods
A Generalized Contou-Carrère Symbol and its Reciprocity Laws in Higher Dimensions

Oliver Braunling,Michael Groechenig,Jesse Wolfson

DOI: https://doi.org/10.48550/arXiv.1410.3451

2021-05-11

Abstract:We generalize the theory of Contou-Carrère symbols to higher dimensions. To an $(n+1)$-tuple $f_0,\dots,f_n \in A((t_1))\cdots((t_n))^{\times}$, where $A$ denotes a commutative algebra over a field $k$, we associate an element $(f_0,\dots,f_n) \in A^{\times}$, compatible with the higher tame symbol for $k = A$, and earlier constructions for $n = 1$, by Contou-Carrère, and $n = 2$ by Osipov--Zhu. Our definition is based on the notion of \emph{higher commutators} for central extensions of groups by spectra, thereby extending the approach of Arbarello--de Concini--Kac and Anderson--Pablos Romo. Following Beilinson--Bloch--Esnault for the case $n=1$, we allow $A$ to be arbitrary, and do not restrict to artinian $A$. Previous work of the authors on Tate objects in exact categories, and the index map in algebraic $K$-theory is essential in anchoring our approach to its predecessors. We also revisit categorical formal completions, in the context of stable $\infty$-categories. Using these tools, we describe the higher Contou-Carrère symbol as a composition of boundary maps in algebraic $K$-theory, and conclude the article by proving a version of Parshin--Kato reciprocity for higher Contou-Carrère symbols.

Algebraic Geometry,K-Theory and Homology,Number Theory,Representation Theory
Algebraic Topology Without Open Sets: A Net Approach to Homotopy Theory in Limit Spaces

Rodrigo Santos Monteiro

2024-12-15

Abstract:Convergence spaces are a generalization of topological spaces. The category of convergence spaces is well-suited for Algebraic Topology, one of the reasons is the existence of exponential objects provided by continuous convergence. In this work, we use a net-theoretic approach to convergence spaces. The goal is to simplify the description of continuous convergence and apply it to problems related to homotopy theory. We present methods to develop the basis of homotopy theory in limit spaces, define the fundamental groupoid, and prove the groupoid version of the Seifert-van Kampen Theorem for limit spaces.

Algebraic Topology,General Topology
Topology of matching complexes of complete graphs via discrete Morse theory

Anupam Mondal,Sajal Mukherjee,Kuldeep Saha

2024-10-16

Abstract:Bouc (1992) first studied the topological properties of $M_n$, the matching complex of the complete graph of order $n$, in connection with Brown complexes and Quillen complexes. Björner et al. (1994) showed that $M_n$ is homotopically $(\nu_n-1)$-connected, where $\nu_n=\lfloor{\frac{n+1}{3}}\rfloor-1$, and conjectured that this connectivity bound is sharp. Shareshian and Wachs (2007) settled the conjecture by inductively showing that the $\nu_n$-dimensional homology group of $M_n$ is nontrivial, with Bouc's calculation of $H_1(M_7)$ serving as the pivotal base step. In general, the topology of $M_n$ is not very well-understood, even for a small $n$. In the present article, we look into the topology of $M_n$, and $M_7$ in particular, in the light of discrete Morse theory as developed by Forman (1998). We first construct a gradient vector field on $M_n$ (for $n \ge 5$) that doesn't admit any critical simplices of dimension up to $\nu_n-1$, except one unavoidable $0$-simplex, which also leads to the aforementioned $(\nu_n-1)$-connectedness of $M_n$ in a purely combinatorial way. However, for an efficient homology computation by discrete Morse theoretic techniques, we are required to work with a gradient vector field that admits a low number of critical simplices, and also allows an efficient enumeration of gradient paths. An optimal gradient vector field is one with the least number of critical simplices, but the problem of finding an optimal gradient vector field, in general, is an NP-hard problem (even for $2$-dimensional complexes). We improve the gradient vector field constructed on $M_7$ in particular to a much more efficient (near-optimal) one, and then with the help of this improved gradient vector field, compute the homology groups of $M_7$ in an efficient and algorithmic manner. We also augment this near-optimal gradient vector field to one that we conjecture to be optimal.

Combinatorics,Algebraic Topology,Geometric Topology
A topology on E ‐theory

José R. Carrión,Christopher Schafhauser

DOI: https://doi.org/10.1112/jlms.12917

2024-05-19

Journal of the London Mathematical Society

Abstract:Abstract For separable ‐algebras and , we define a topology on the set consisting of homotopy classes of asymptotic morphisms from to . This gives an enrichment of the Connes–Higson asymptotic category over topological spaces. We show that the Hausdorffization of this category is equivalent to the shape category of Dadarlat. As an application, we obtain a topology on the ‐theory group with properties analogous to those of the topology on . The Hausdorffized ‐theory group is also introduced and studied. We obtain a continuity result for the functor , which implies a new continuity result for the functor .

mathematics
Neural Ring Homomorphisms and Maps Between Neural Codes

Carina Pamela Curto,Nora Youngs

DOI: https://doi.org/10.1007/978-3-030-43408-3_7

2020-01-01

Abstract:Neural codes are binary codes that are used for information processing and representation in the brain. In previous work, we have shown how an algebraic structure, called the neural ring, can be used to efficiently encode geometric and combinatorial properties of a neural code (Curto et al., Bull Math Biol 75(9), 2013). In this work, we consider maps between neural codes and the associated homomorphisms of their neural rings. In order to ensure that these maps are meaningful and preserve relevant structure, we find that we need additional constraints on the ring homomorphisms. This motivates us to define neural ring homomorphisms. Our main results characterize all code maps corresponding to neural ring homomorphisms as compositions of five elementary code maps. As an application, we find that neural ring homomorphisms behave nicely with respect to convexity. In particular, if C$$\mathcal C$$ and D$$\mathcal D$$ are convex codes, the existence of a surjective code map C→D$$\mathcal C\rightarrow \mathcal D$$ with a corresponding neural ring homomorphism implies that the minimal embedding dimensions satisfy d(D)≤d(C)$$d(\mathcal D) \leq d(\mathcal C)$$.

Topology and Higher Concurrencies

Topology of nerves and formal concepts

An Ideal Topology Type Convergent Theorem on Scale Effect Algebras

Topology and Higher-Dimensional Category Theory: the Rough Idea

What can topology tell us about the neural code?

Neural Codes and Neural ring endomorphisms

Topological Neural Networks: Mitigating the Bottlenecks of Graph Neural Networks via Higher-Order Interactions

Topology and monoid representations I: Foundations

Algebraic Topological Networks via the Persistent Local Homology Sheaf

Topology and dynamics of higher-order multiplex networks

Higher limits, homology theories and fr-codes

A topology on E-theory

A Topological Study of a Surface Signaling Network and Possible Implications for Neural Dynamics

Higher Contiguity Distance

Grothendieck topology of $C^*$-algebras

Two's company, three (or more) is a simplex: Algebraic-topological tools for understanding higher-order structure in neural data

A Generalized Contou-Carrère Symbol and its Reciprocity Laws in Higher Dimensions

Algebraic Topology Without Open Sets: A Net Approach to Homotopy Theory in Limit Spaces

Topology of matching complexes of complete graphs via discrete Morse theory

A topology on E ‐theory

Neural Ring Homomorphisms and Maps Between Neural Codes