Moore Lattice: Algebra, Physics, and Applications

• Moore lattice is a framework encompassing distinct mathematical and physical structures, from algebraic torsion theories in simplicial groups to lattice models in statistical mechanics.
• In statistical mechanics, the Newman–Moore lattice uses a frustrated Ising spin system with Rule 60 cellular automaton dynamics to exactly enumerate complex ground state configurations.
• The lattice Moore–Read construction regularizes Pfaffian states, enabling analytical study of non-Abelian anyons and contributing to advancements in topological quantum computation.

The term "Moore lattice" designates mathematically and physically distinct structures, each foundational in their discipline. In algebraic topology and category theory, the Moore lattice refers to a linearly ordered chain of torsion theories in the category of simplicial groups, indexed by truncations of the Moore complex. In mathematical physics, especially statistical mechanics and quantum condensed matter, it denotes the Newman–Moore lattice: a two-dimensional frustrated spin system admitting exact solutions with combinatorial and algorithmic significance. Additionally, the "lattice Moore–Read" construction in topological quantum matter generalizes the celebrated Moore–Read Pfaffian state to discrete geometry, enabling non-Abelian anyons with lattice-regularized wavefunctions. Each context exhibits unique algebraic, combinatorial, and physical properties. This article systematically presents these frameworks with precise formalism and critical interconnections.

1. The Moore Lattice of Torsion Theories in Simplicial Groups

A fundamental algebraic construction, the Moore lattice $\mu(\mathrm{Grp})$, arises from torsion theories in the semi-abelian category $\mathrm{Simp}(\mathrm{Grp})$ of simplicial groups. Central is the Moore complex $N_*(G)$ associated to a simplicial group $G_\bullet$, defined by face maps $d_i$, degeneracies $s_i$ ($i=0,\dots,n$), and the normalized Moore chain groups $N_n(G)=\bigcap_{i=1}^n\ker(d_i)$ with differential $d_n := d_0|_{N_n(G)}$.

Truncation partitions simplicial groups by degrees at which $N_n(G)$ vanishes:

• Truncated above at $n$: $N_k(G)=0$ for all $k>n$.
• Truncated below at $n$: $N_k(G)=0$ for all $k<n$.

Two interleaving families of torsion theories arise:

• $\mathbf{M}_{>n}$ (hereditary) from truncation below: $T_{>n}$ = simplicial groups with $N_k(G) = 0$ for $k<n$; $F_{>n}$ via coskeleton functor isomorphic to groups truncated below $n$.
• $\mathbf{U}_{>n}$ (cohereditary) from canonical cotruncation: $M^{>n}$ where $N_k(G) = 0$ for $k>n$, and the kernel includes those $G$ with Moore complex truncated above at $n$ and surjective $d_{n+1}$.

The full set of torsion theories $$\mathfrak{p}(\mathrm{Grp}) = \{U_{>n}\mid n\in\mathbb{Z}\} \cup \{M_{>n}\mid n\in\mathbb{Z}\}$$ forms a linearly ordered lattice:

$$\cdots \leq U_{>n+1} \leq M_{>n+1} = U_{>n} \leq M_{>n} \leq U_{>n-1} \leq \cdots$$

with order given by inclusion of torsion classes. Meets and joins are computed by $U_{>n} \wedge U_{>m} = U_{>\max(n,m)}$, $U_{>n} \vee U_{>m} = U_{>\min(n,m)}$.

This lattice encodes the full hierarchy of Moore complex truncations and organizes torsion-theoretic models for all Postnikov sections and homotopy invariants in simplicial groups. Each homotopy group $\pi_n(G)=H_n(N(G))$ fits in an exact sequence of torsion objects:

$$0 \to \tau_{>n}(G) \to \tau_{>n-1}(G) \to \pi_n(G) \to 0,$$

so that $\pi_n(G)\simeq \tau_{>n-1}(G)/\tau_{>n}(G)$ and the quotient $I_n := U_{>n-1}/U_{>n}$ realizes $K(\pi_n(G), n)$ as a simplicial group. The entire Postnikov tower is directly related to the ordering in $\mu(\mathrm{Grp})$ (Cafaggi, 2022).

2. The Newman–Moore Lattice in Statistical Mechanics

The classical Newman–Moore (or Moore) lattice is an $N\times N$ square array of Ising spins $\sigma_{i,j} = \pm 1$ ($i,j=0,\dots,N-1$) with periodic boundary conditions and Hamiltonian

$$H = -J \sum_{i,j} \sigma_{i,j} \sigma_{i+1,j} \sigma_{i+1,j+1}$$

($J>0$, indices modulo $N$). Each term enforces that the product of three spins on every downward-pointing triangle is $+1$. Global satisfaction is prevented by geometrical frustration: flipping a single spin frustrates three adjacent plaquettes.

For $N$ of Mersenne form, $N=2^m-1$, the lattice acquires exceptional combinatorial properties. Every ground state can be mapped bijectively to an even-parity binary row vector, propagated through the lattice by the Rule 60 cellular automaton, yielding $2^{N-1}$ distinct ground states:

$\#\{\text{ground states}\} = 2^{N-1} = 2^{2^m-2}$

The Rule 60 CA on the ring of size $N$ propagates binary initial data $x_i(0)\in\{0,1\}$ by

$x_i(t+1) = x_{i-1}(t)\oplus x_i(t)$

with parity conservation and periodicity properties that guarantee uniqueness and completeness of ground state enumeration at these system sizes (Carmona-Pírez et al., 2024).

3. Rule 60 Cellular Automaton and Exact Enumeration

The central algorithmic tool for solving the ground state problem in the Newman–Moore lattice at Mersenne sizes is the Rule 60 one-dimensional CA. For $N=2^m-1$, the CA's $2^{N-1}$ even-parity initial conditions each evolve into a single, fully periodic sequence of length $N$, enabling exact enumeration and construction of all frustration-free $N\times N$ spin configurations:

$\sigma_{i,j} = 1-2x_i(j)$

Each state satisfies every local triangular constraint. The CA propagator is expressible via binomial coefficients mod 2, and conservation of parity ensures a one-to-one mapping between initial rows and ground states.

This approach not only yields the closed-form ground state degeneracy but provides constructive methodology for generating all such states, integrating cellular automata, combinatorics, and frustrated spin systems. The method also highlights the deep connection between local constraint satisfaction, cellular dynamics, and finite group structures (Carmona-Pírez et al., 2024).

4. Lattice Moore–Read Pfaffian States and Non-Abelian Anyons

The lattice Moore–Read model generalizes the non-Abelian Pfaffian quantum Hall state to arbitrary discrete lattices. The many-body wavefunction is constructed as a conformal correlator in a combined Ising $\times$ $U(1)$ CFT, with local vertex operators $V_{n_j}(z_j)$ for lattice occupations $n_j$ and anyon insertion operators $W_{p_k}(w_k)$ for quasiholes and quasielectrons (with both positive and negative charges allowed).

Distinctive to the lattice case, the wavefunction is free of the singularities encountered in the continuum Moore–Read quasielectron construction: nonzero separation of lattice sites and anyon positions ensures analytic regularity for both quasihole and quasielectron insertions. An explicit, positive-definite few-body parent Hamiltonian can be constructed, and all braiding, charge, and density properties—including the realization of Ising anyon statistics—are preserved at the lattice level.

Numerical and analytic investigation yields charges $\pm1/4$ ($q=2$), with localized density profiles and orthogonal ground state degeneracy for four anyons, demonstrating full non-Abelian braiding properties as found in the continuum Moore–Read phase (Manna et al., 2018).

5. Connections, Applications, and Generalizations

The various concepts of Moore lattice unify disparate aspects of algebraic topology, combinatorics, and condensed matter physics. In category theory, the Moore lattice (of simplicial group torsion theories) canonically encodes Postnikov towers and homotopy invariants, enabling torsion-theoretic decomposition and organizing reflection and co-reflection functors for algebraic models of homotopy types.

In physics, the Newman–Moore lattice is a paradigmatic case for exact solvability of frustrated spin systems, with consequences for coding theory, glassy dynamics, and the design of classical and quantum cellular automata. The Rule 60 mapping exemplifies algorithmic approaches to statistical mechanical degeneracy.

The lattice Moore–Read construction provides a regularized, non-singular platform for non-Abelian anyons, relevant for topological quantum computation and matching continuum behaviors in exactly computable lattice models. It interoperates with other synthetic topological phases such as the Kapit–Mueller model, enabling detailed characterization of braiding statistics, parent Hamiltonians, and anyon energetics under discrete geometry.

6. Illustrative Table: Moore Lattice Concepts Across Contexts

Context	Object/Model	Defining Feature or Structure
Simplicial groups	Moore lattice $\mu(\mathrm{Grp})$	Linearly ordered chain of torsion theories indexed by truncations
Statistical mechanics	Newman–Moore lattice	Frustrated Ising spins with ground states enumerated by Rule 60
Quantum Hall/topological phases	Lattice Moore–Read models	CFT-based lattice Pfaffian states with non-Abelian anyons

The term "Moore lattice" thus encodes a family of deeply interconnected algebraic, combinatorial, and physical structures, each admitting explicit exact formulations and playing foundational roles in modern mathematics and theoretical physics (Cafaggi, 2022, Carmona-Pírez et al., 2024, Manna et al., 2018).