Davies–Gaffney–Grigor’yan Lemma on Simplicial Complexes

Bobo Hua,Xin Luo

DOI: https://doi.org/10.1007/s00209-018-2051-z

2018-01-01

Mathematische Zeitschrift

Abstract:We prove Davies–Gaffney–Grigor’yan lemma for heat kernels of bounded discrete Hodge Laplacians on simplicial complexes.

What problem does this paper attempt to address?

Sharp Davies–Gaffney–Grigor’yan Lemma on Graphs

Frank Bauer,Bobo Hua,Shing-Tung Yau

DOI: https://doi.org/10.1007/s00208-017-1529-z

2017-01-01

Mathematische Annalen

Abstract:We prove a variant of the Davies-Gaffney-Grigor'yan Lemma for the continuous time heat kernel on graphs. We use it together with the Li-Yau inequality to obtain strong heat kernel estimates for graphs satisfying the exponential curvature dimension inequality.
Heat Kernels, Symplectic Geometry, Moduli Spaces and Finite Groups

KF Liu

DOI: https://doi.org/10.4310/sdg.1999.v5.n1.a8

1999-01-01

Surveys in Differential Geometry

Abstract:In this note we apply heat kernels to derive some localization formula in sympletcic geometry, to study moduli spaces of flat connections on a Riemann surface, to obtain the push-forward measures for certain maps between Lie groups and to solve equations in finite groups.
Heat Kernel and Moduli Spaces II

KF Liu

DOI: https://doi.org/10.4310/mrl.1997.v4.n4.a12

1996-01-01

Mathematical Research Letters

Abstract:In this paper we describe a proof of the formulas of Witten [W1], [W2] about the symplectic volumes and the intersection numbers of the moduli spaces of principal bundles on a compact Riemann surface. It is known that these formulas give all the information needed for the Verlinde formula. The main idea of the proof is to use the heat kernel on compact Lie groups, in a way very similar to the heat kernel proof of the Atiyah-Singer index formula and the Atiyah-Bott fixed point formula. The Reidemeister torsion comes into the picture, through a beautiful observation of Witten, as the symplectic volume of the moduli space. It plays the role similar to that played by the Ray-Singer torsion in the path-integral computations on the space of connections. The basic idea is as follows. Consider a smooth map between two compact smooth manifolds f : M → N . Let H(t, x, x0) be the heat kernel of the Laplace-Beltrami operator on N with x0 a fixed regular value of f . Because of the basic properties of the heat kernel, we know that for any continuous function a(y) on M , when t goes to zero, ∫
Proof of Lew's conjecture on the spectral gaps of simplicial complexes

Xiongfeng Zhan,Xueyi Huang,Huiqiu Lin

2024-07-29

Abstract:As a generalization of graph Laplacians to higher dimensions, the combinatorial Laplacians of simplicial complexes have garnered increasing attention. Let $X$ be a simplicial complex on vertex set $V$ of size $n$, and let $X(k)$ denote the set of all $k$-dimensional simplices of $X$. The $k$-th spectral gap $\mu_k(X)$ is the smallest eigenvalue of the reduced $k$-dimensional Laplacian of $X$. For any $k\geq -1$, Lew [J. Combin. Theory Ser. A 169 (2020) 105127] established a lower bound for $\mu_k(X)$: $$\mu_k(X)\geq (d+1)\left(\min_{\sigma\in X(k)}°_X(\sigma)+k+1\right)-dn\geq (d+1)(k+1)-dn,$$ where $°_X(\sigma)$ and $d$ denote the degree of $\sigma$ in $X$ and the maximal dimension of a missing face of $X$, respectively. In this paper, we identify the unique simplicial complex that achieves the lower bound of the $k$-th spectral gap, $(d+1)(k+1)-dn$, for some $k$, thereby confirming a conjecture proposed by Lew.

Combinatorics
On the Schwartz estimate for Hodge Laplacians on semisimple Lie groups

Zhicheng Han

2024-04-30

Abstract:In this paper, we prove Schwartz estimates for Hodge Laplacian and Dirac operators on semisimple Lie groups. Alongside, we gives a version of Kuga lemma for its Lie algebra cohomology. This is a generalization of similar results on symmetric spaces. The main purpose of such estimates is to study the heat problem not only in the scalar case, but also for sections of vector bundles on homogeneous spaces using Fourier analysis.

Differential Geometry,Operator Algebras,Representation Theory
Graphs Associated with Simplicial Complexes

A. Grigor'yan,Yu V. Muranov,Shing-Tung Yau

DOI: https://doi.org/10.4310/hha.2014.v16.n1.a16

2014-01-01

Abstract:The cohomology of digraphs was introduced for the first time by Dimakis and Muller-Hoissen. Their algebraic definition is based on a differential calculus on an algebra of functions on the set of vertices with relations that follow naturally from the structure of the set of edges. A dual notion of homology of digraphs, based on the notion of path complex, was introduced by the authors, and the first methods for computing the (co) homology groups were developed. The interest in homology on digraphs is motivated by physical applications and relations between algebraic and geometrical properties of quivers. The digraph G(B) of the partially ordered set B-S of simplexes of a simplicial complex S has graph homology that is isomorphic to the simplicial homology of S. In this paper, we introduce the concept of cubical digraphs and describe their homology properties. In particular, we define a cubical subgraph G(S) of G(B), whose homologies are isomorphic to the simplicial homologies of S.
From Grassmannian to Simplicial High-Dimensional Expanders

Louis Golowich

2023-12-26

Abstract:In this paper, we present a new construction of simplicial complexes of subpolynomial degree with arbitrarily good local spectral expansion. Previously, the only known high-dimensional expanders (HDXs) with arbitrarily good expansion and less than polynomial degree were based on one of two constructions, namely Ramanujan complexes and coset complexes. In contrast, our construction is a Cayley complex over the group $\mathbb{F}_2^k$, with Cayley generating set given by a Grassmannian HDX. Our construction is in part motivated by a coding-theoretic interpretation of Grassmannian HDXs that we present, which provides a formal connection between Grassmannian HDXs, simplicial HDXs, and LDPC codes. We apply this interpretation to prove a general characterization of the 1-homology groups over $\mathbb{F}_2$ of Cayley simplicial complexes over $\mathbb{F}_2^k$. Using this result, we construct simplicial complexes on $N$ vertices with arbitrarily good local expansion for which the dimension of the 1-homology group grows as $\Omega(\log^2N)$. No prior constructions in the literature have been shown to achieve as large a 1-homology group.

Combinatorics,Discrete Mathematics
Spectral monotonicity of the Hodge Laplacian

Oliver Knill

2023-04-03

Abstract:If K,G are finite abstract simplicial complexes and K is a subcomplex of G then the eigenvalues of the Hodge Laplacian of K are smaller or equal than the eigenvalues of the Hodge Laplacian of G, provided the eigenvalue lists are padded left.

Combinatorics,Discrete Mathematics,Spectral Theory
Random walks on simplicial complexes

Thomas Bonis,Laurent Decreusefond,Viet Chi Tran,Zhihan Iris Zhang

2024-05-07

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.

Probability,Machine Learning
The $\partial\bar{\partial}$-lemma for general Clemens manifolds

Robert Friedman

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

2017-08-02

Algebraic Geometry

Abstract:We show that the $\partial\bar{\partial}$-lemma holds for the non-K\"ahler compact complex manifolds of dimension three with trivial canonical bundle constructed by Clemens as deformations of Calabi-Yau threefolds contracted along smooth rational curves with normal bundle of type $(-1, -1)$, at least on an open dense set in moduli. The proof uses the mixed Hodge structure on the singular fibers and an analysis of the variation of the Hodge filtration for the smooth fibers.
Continuity of the Volume of Simplices in Classical Geometry

F Luo

DOI: https://doi.org/10.1142/s0219199706002179

2006-01-01

Communications in Contemporary Mathematics

Abstract:It is proved that the volume of spherical or hyperbolic simplices, when considered as a function of the dihedral angles, can be extended continuously to degenerated simplices. This verifies affirmatively a conjecture of John Minor.
A generalization of the Schwarz lemma for transversally harmonic maps

Xin Huang,Weike Yu

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

2022-05-24

Abstract:In this paper, we consider transversally harmonic maps between Riemannian manifolds with Riemannian foliations. In terms of the Bochner techniques and sub-Laplacian comparison theorem, we are able to establish a generalization of the Schwarz lemma for transversally harmonic maps of bounded generalized transversal dilatation. In addition, we also obtain a Schwarz type lemma for transversally holomorphic maps between Kähler foliations.

Differential Geometry
On a cohomology theory of digraphs and Hochschild cohomology

Alexander Grigor’yan,Yuri Muranov,Shing-Tung Yau

2014-01-01

Abstract:We construct a cohomology theory of transitive digraphs and use it to give a new proof of a theorem of Gerstenhaber and Schack about isomorphism between simplicial cohomology and Hochschild cohomology of a certain algebra associated with the simplicial complex.
Hardness Results for Laplacians of Simplicial Complexes via Sparse-Linear Equation Complete Gadgets

Ming Ding,Rasmus Kyng,Maximilian Probst Gutenberg,Peng Zhang

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

2022-02-10

Abstract:We study linear equations in combinatorial Laplacians of $k$-dimensional simplicial complexes ($k$-complexes), a natural generalization of graph Laplacians. Combinatorial Laplacians play a crucial role in homology and are a central tool in topology. Beyond this, they have various applications in data analysis and physical modeling problems. It is known that nearly-linear time solvers exist for graph Laplacians. However, nearly-linear time solvers for combinatorial Laplacians are only known for restricted classes of complexes. This paper shows that linear equations in combinatorial Laplacians of 2-complexes are as hard to solve as general linear equations. More precisely, for any constant $c \geq 1$, if we can solve linear equations in combinatorial Laplacians of 2-complexes up to high accuracy in time $\tilde{O}((\# \text{ of nonzero coefficients})^c)$, then we can solve general linear equations with polynomially bounded integer coefficients and condition numbers up to high accuracy in time $\tilde{O}((\# \text{ of nonzero coefficients})^c)$. We prove this by a nearly-linear time reduction from general linear equations to combinatorial Laplacians of 2-complexes. Our reduction preserves the sparsity of the problem instances up to poly-logarithmic factors.

Computational Complexity,Data Structures and Algorithms,Algebraic Topology,Numerical Analysis
A moving lemma for cohomology with support

Stefan Schreieder

2024-09-19

Abstract:For a natural class of cohomology theories with support (including étale or pro-étale cohomology with suitable coefficients), we prove a moving lemma for cohomology classes with support on smooth quasi-projective k-varieties that admit a smooth projective compactification (e.g. if char(k)=0). This has the following consequences for such k-varieties and cohomology theories: a local and global generalization of the effacement theorem of Quillen, Bloch--Ogus, and Gabber, a finite level version of the Gersten conjecture in characteristic zero, and a generalization of the injectivity property and the codimension 1 purity theorem for étale cohomology. Our results imply that the refined unramified cohomology groups from [Sch21b] are motivic.

Algebraic Geometry,K-Theory and Homology
Cheeger inequalities on simplicial complexes

Jürgen Jost,Dong Zhang

2024-11-26

Abstract:Cheeger-type inequalities in which the decomposability of a graph and the spectral gap of its Laplacian mutually control each other play an important role in graph theory and network analysis, in particular in the context of expander theory. The natural problem to extend such inequalities to simplicial complexes and their higher order Eckmann Laplacians has been open for a long time. Before proving any inequality, however, one needs to identify the right Cheeger-type constant for which such an inequality can hold. Here, we solve this problem. Our solution involves and combines constructions from simplicial topology, signed graphs, Gromov filling radii and an interpolation between the standard 2-Laplacians and the analytically more difficult 1-Laplacians, for which, however, the inequalities become equalities. It is then natural to develop a general theory for $p$-Laplacians on simplicial complexes and investigate the related Cheeger-type inequalities.

Combinatorics,Geometric Topology,Metric Geometry,Spectral Theory
Cyclic Hodge Integrals and Loop Schur Functions

Dustin Ross,Zhengyu Zong

DOI: https://doi.org/10.1016/j.aim.2015.08.023

IF: 1.675

2015-01-01

Advances in Mathematics

Abstract:We conjecture an evaluation of three-partition cyclic Hodge integrals in terms of loop Schur functions. Our formula implies the orbifold Gromov–Witten/Donaldson–Thomas correspondence for toric Calabi–Yau threefolds with transverse An singularities. We prove the formula in the case where one of the partitions is empty, and thus establish the orbifold Gromov–Witten/Donaldson–Thomas correspondence for local toric surfaces with transverse An singularities.
On the failure of the Poincaré Lemma for de-bar-sub-M II

C. Denson Hill,Mauro Nacinovich,C.Denson Hill

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

2007-10-18

Differential Geometry

Abstract:We obtain very sharp results about the lack of validity of the Poincare lemma for the tangential Cauchy Riemann equations, acting on tangential forms, tangential to a CR manifold M of general CR dimension n, and general CR codimension k. This generalizes the classical nonsolvability example of H. Lewy. We also discuss the CR structure on the characteristic bundle to M, due to certain degeneracies in the Levi form. A number of naturally geometrically occuring examples are given.
Cholesky-like Preconditioner for Hodge Laplacians via Heavy Collapsible Subcomplex

Anton Savostianov,Francesco Tudisco,Nicola Guglielmi

2024-01-28

Abstract:Techniques based on $k$-th order Hodge Laplacian operators $L_k$ are widely used to describe the topology as well as the governing dynamics of high-order systems modeled as simplicial complexes. In all of them, it is required to solve a number of least square problems with $L_k$ as coefficient matrix, for example in order to compute some portions of the spectrum or integrate the dynamical system. In this work, we introduce the notion of optimal collapsible subcomplex and we present a fast combinatorial algorithm for the computation of a sparse Cholesky-like preconditioner for $L_k$ that exploits the topological structure of the simplicial complex. The performance of the preconditioner is tested for conjugate gradient method for least square problems (CGLS) on a variety of simplicial complexes with different dimensions and edge densities. We show that, for sparse simplicial complexes, the new preconditioner reduces significantly the condition number of $L_k$ and performs better than the standard incomplete Cholesky factorization.

Numerical Analysis,Social and Information Networks

Davies–Gaffney–Grigor’yan Lemma on Simplicial Complexes

Sharp Davies–Gaffney–Grigor’yan Lemma on Graphs

Heat Kernels, Symplectic Geometry, Moduli Spaces and Finite Groups

Heat Kernel and Moduli Spaces II

Proof of Lew's conjecture on the spectral gaps of simplicial complexes

On the Schwartz estimate for Hodge Laplacians on semisimple Lie groups

Graphs Associated with Simplicial Complexes

From Grassmannian to Simplicial High-Dimensional Expanders

Spectral monotonicity of the Hodge Laplacian

Random walks on simplicial complexes

The $\partial\bar{\partial}$-lemma for general Clemens manifolds

Continuity of the Volume of Simplices in Classical Geometry

A generalization of the Schwarz lemma for transversally harmonic maps

On a cohomology theory of digraphs and Hochschild cohomology

Hardness Results for Laplacians of Simplicial Complexes via Sparse-Linear Equation Complete Gadgets

A moving lemma for cohomology with support

Cheeger inequalities on simplicial complexes

Cyclic Hodge Integrals and Loop Schur Functions

On the failure of the Poincaré Lemma for de-bar-sub-M II

Cholesky-like Preconditioner for Hodge Laplacians via Heavy Collapsible Subcomplex