Abstract:The notion of Laplacian of a graph can be generalized to simplicial complexes and hypergraphs, and contains information on the topology of these structures. Even for a graph, the consideration of associated simplicial complexes is interesting to understand its shape. Whereas the Laplacian of a graph has a simple probabilistic interpretation as the generator of a continuous time Markov chain on the graph, things are not so direct when considering simplicial complexes. We define here new Markov chains on simplicial complexes. For a given order~$k$, the state space is the set of $k$-cycles that are chains of $k$-simplexes with null boundary. This new framework is a natural generalization of the canonical Markov chains on graphs. We show that the generator of our Markov chain is the upper Laplacian defined in the context of algebraic topology for discrete structure. We establish several key properties of this new process: in particular, when the number of vertices is finite, the Markov chain is positive recurrent. This result is not trivial, since the cycles can loop over themselves an unbounded number of times. We study the diffusive limits when the simplicial complexes under scrutiny are a sequence of ever refining triangulations of the flat torus. Using the analogy between singular and Hodge homologies, we express this limit as valued in the set of currents. The proof of tightness and the identification of the limiting martingale problem make use of the flat norm and carefully controls of the error terms in the convergence of the generator. Uniqueness of the solution to the martingale problem is left open. An application to hole detection is carried.

Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets

Fuzzy Presheaves are Quasitoposes

Simplicial sets in topology, category theory, and beyond

On Topological Representation Theory from Quivers

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

Simplicial sets with a notion of smallness

Finite topologies for finite geometries

Random walks on simplicial complexes

The subdivision of hypergraphs

Homotopical decompositions of simplicial and Vietoris Rips complexes

Simplicial Distance

A new quantum computational set-up for algebraic topology via simplicial sets

Partial coloring, vertex decomposability, and sequentially Cohen-Macaulay simplicial complexes

A finite algebraic presentation of Lawvere theories in the object-classifier topos

Algebraic Topology of Finite Topological Spaces and Applications

Impure Simplicial Complexes: Complete Axiomatization

Trees, graphs and aggregates: a categorical perspective on combinatorial surface topology, geometry, and algebra

Weak cartesian properties of simplicial sets

Spatial Topology and its Structural Analysis based on the Concept of Simplicial Complex

Topology, isomorphic smoothness and polyhedrality in Banach spaces

Graphical models for topological groups: A case study on countable Stone spaces