Abstract

We use the Laplacian and power method to compute Betti numbers of simplicial complexes. This has a number of advantages over other methods, both in theory and in practice. It requires small storage space in many cases. It seems to run quickly in practice, but its running time depends on a ratio, ν, of eigenvalues which we have yet to fully understand. We numerically verify a conjecture of Björner, Lovász, Vrećica, and ˘ Zivaljević on the chessboard complexes C(4,6), C(5,7), and C(5,8). Our verification suffers a technical weakness, which can be overcome in various ways; we do so for C(4,6) and C(5,8), giving a completely rigourous (computer) proof of the conjecture in these two cases. This brings up an interesting question in recovering an integral basis from a real basis of vectors. 1

Citations

232	Eigenvalues in Riemannian Geometry - Chavel - 1984
91	Polinomial algorithms for computing the smith and hermite normal forms of an integer matrix - Kannan, Bachem - 1979
76	An incremental algorithm for Betti numbers of simplicial complexes - Delfinado, Edelsbrunner - 1993
57	On the second eigenvalue and random walks in random -regular graphs - Friedman - 1991
57	The colored Tverberg’s problem and complexes of injective functions - Zivaljević, Vrećica - 1992
31	Zivaljević, Chessboard complexes and matching complexes - Björner, Lovász, et al. - 1994
23	Theory and Applications of Harmonic Integrals - Hodge - 1951
22	Finite-difference approach to the Hodge theory of harmonic forms - Dodziuk - 1976
21	On the Betti numbers of chessboard complexes - Friedman, Hanlon - 1998
18	On the complexity of computing the homology type of a triangulation - Donald, Chang
17	Computational geometry: a retrospective - Chazelle - 1994
15	Riemannian structures and triangulations of manifolds - Dodziuk, Patodi
13	Point selections and weak ɛ-nets for convex hulls - Alon, Bárány, et al. - 1992
11	Cohen-Macaulay complexes and group actions - Garst - 1979
5	Probabilistic Spaces of Boolean Functions of a Given Complexity - Friedman - 1992
2	Harmonische Funktionen und Randvertanfgaben in einem Komplex - Eckmann
2	Elements of Algebraic Topology. Benjamin/Cummings - Munkrees - 1984
1	Minimum higher eigenvalues of Laplacians on graphs - Friedman - 1994
1	Error bounds on the power method for determining the largest eigenvalue - Friedman - 1995