Formal Naive Dirac Operators and Graph Topology

Motivated by a recent conjecture of Misumi and Yumoto relating the number of zero modes of lattice Dirac operators to the sum of the Betti numbers of the underlying spacetime manifold, we study formal Dirac operators on a class of graphs admitting such in terms of their zero modes. Our main result is that for graphs on which translations commute, the conjecture of Misumi and Yumoto can be shown and indeed can be strengthened to obtain bounds on the individual Betti numbers rather than merely on their sum. Interpretations of the zero modes in terms of graph quotients and of the representation theory of abelian groups are given, and connections with a homology theory for such graphs are highlighted.

💡 Research Summary

The paper “Formal Naive Dirac Operators and Graph Topology” develops a rigorous framework for studying naive lattice Dirac operators on finite directed graphs rather than on regular hypercubic lattices. The authors introduce the notion of a d‑Dirac graph: a simple, strictly directed graph in which each vertex has exactly d incoming and d outgoing edges, and the edges are coloured by a map µ: E → {1,…,d} such that at every vertex there is precisely one incoming and one outgoing edge of each colour. This colouring encodes the discrete directions that replace the coordinate axes of a lattice.

Two structural conditions are imposed on such graphs. Commutativity means that the colour‑specific shift maps t_µ(v)=snk(e⁺_µ(v)) satisfy t_µ∘t_ν = t_ν∘t_µ for all colours µ, ν. Full evenness requires that every directed cycle formed by edges of a single colour (a “Dirac cycle”) has even length. Under these hypotheses the Cartesian (box) product of two d‑Dirac graphs is again a (d+d′)‑Dirac graph, preserving commutativity and full evenness.

The core analytic object is a formal Dirac operator D_G defined on the vertex space. First the incidence matrix ∇_G (E×V) is introduced, acting as a discrete gradient. Then a set of formal variables γ_µ, later identified with the generators of the real Clifford algebra Cl(d), are used to build a symmetrisation matrix S_G. The Dirac operator is D_G = S_G ∇_G. In component form, \