Tasaki Index is a family of context-dependent invariants that characterize quantum many-body systems, notably differentiating trivial chains from nontrivial Haldane phases in spin-1 models.
The index is operationally defined via matrix product state formulations, edge-state fractionalization, and entanglement spectra, providing clear diagnostic criteria for symmetry-protected phases.
Formulations extend to Tasaki-type criteria in flat-band ferromagnetism and hidden symmetry sectors in Kennedy–Tasaki duality, linking representation data with experimental observables.
The supplied literature suggests that the expression Tasaki index is not a universally standardized scalar, but a context-dependent designation for index-like structures associated with Tasaki’s constructions in quantum many-body physics. In the spin-1 Affleck–Kennedy–Lieb–Tasaki chain, it denotes a Z2 topological invariant characterizing the nontrivial Haldane symmetry-protected topological phase. In later settings built on Tasaki’s methods, the same idea is represented by flat-band ferromagnetism criteria, symmetry-sector labels exposed by the Kennedy–Tasaki transformation, or boundary-state invariants such as defect labels and Affleck–Ludwig boundary entropy (Lu et al., 2015, Liu et al., 2019, Yang et al., 2023, Zhang et al., 18 Aug 2025).
1. AKLT origin and the Haldane-phase index
In the AKLT setting, the Tasaki index is a topological index for the Haldane phase realized by the spin-1 chain with parent Hamiltonian
HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],
with J>0. This Hamiltonian is equivalent to a sum of projectors onto the total spin-2 sector on each bond, and its unique ground state is the AKLT state, a representative of the Haldane phase (Lu et al., 2015).
The AKLT ground state is exactly described by a spin-1 matrix-product state,
where si=−1,0,+1 and A[s] are 2×2 matrices. The MPS structure has a direct physical interpretation: each physical spin-1 is built from two virtual spin-21 degrees of freedom symmetrized on the site, neighboring sites share a virtual singlet, and an open chain leaves one unpaired virtual spin-21 at each end. This bulk fractionalization into edge spin-21 modes is the central diagnostic of the nontrivial phase.
Within this formulation, the index distinguishes a trivial spin-1 chain from the AKLT/Haldane chain. The trivial case has no protected edge spin-HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],0 and a virtual space transforming linearly under the protecting symmetry. The AKLT/Haldane case has protected edge spin-HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],1 modes and a nontrivial projective action on the virtual space. The associated phase is protected by symmetries such as HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],2 spin rotation, time reversal, or the dihedral HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],3 subgroup.
2. Equivalent formulations in MPS, edges, and entanglement
A standard formulation identifies the Tasaki index with the projective representation carried by the virtual MPS degrees of freedom. For the AKLT state, the virtual space transforms as a spin-HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],4 doublet, so the symmetry is realized projectively rather than linearly. In modern language, this is a HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],5 topological invariant that distinguishes the nontrivial Haldane phase from a trivial phase (Lu et al., 2015).
An equivalent formulation appears in the edge and entanglement structure. Cutting the chain leaves two effective spin-HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],6 edge degrees of freedom. For a segment of length HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],7, the reduced density matrix has eigenvalues
HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],8
In the long-segment limit HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],9, all four eigenvalues approach J>00, producing the characteristic fourfold structure associated with two cut-induced spin-J>01 modes. In this sense, the entanglement spectrum is an operational representation of the same index.
The same phase can also be described through nonlocal string order or a J>02 Berry phase. The detailed discussion explicitly notes these as equivalent formulations, although they are not re-derived there. A concise operational statement is: the index asks whether the ground-state MPS carries half-integer virtual spin and therefore exhibits protected edge spin-J>03 modes and the corresponding entanglement degeneracy. If so, the phase is nontrivial.
3. Entanglement Hamiltonians and infinite-randomness criticality
The AKLT realization of the Tasaki index becomes especially explicit in entanglement Hamiltonians. For a bipartition J>04, the reduced density matrix is written as
J>05
For a single open segment of length J>06, the reduced density matrix has exactly the four eigenvalues above, and the corresponding entanglement Hamiltonian is
J>07
with
J>08
Here J>09 are the spin-∣ΨAKLT⟩={si}∑Tr(A[s1]A[s2]⋯A[sL])∣s1s2⋯sL⟩,0 edge variables. The index is thus realized in entanglement space as a pair of interacting fractionalized edge modes (Lu et al., 2015).
Under an extensive bipartition into alternating segments, the short correlation length of the AKLT state implies an effective nearest-neighbor spin-∣ΨAKLT⟩={si}∑Tr(A[s1]A[s2]⋯A[sL])∣s1s2⋯sL⟩,1 entanglement Hamiltonian,
with ∣ΨAKLT⟩={si}∑Tr(A[s1]A[s2]⋯A[sL])∣s1s2⋯sL⟩,3 set by segment lengths. A uniform extensive bipartition with equal even segment lengths yields an effective clean critical spin-∣ΨAKLT⟩={si}∑Tr(A[s1]A[s2]⋯A[sL])∣s1s2⋯sL⟩,4 chain with central charge ∣ΨAKLT⟩={si}∑Tr(A[s1]A[s2]⋯A[sL])∣s1s2⋯sL⟩,5, corresponding to the critical line where the Haldane phase collapses into a trivial dimer phase. A random extensive bipartition with even-length segments distributed as
which is exactly the fixed-point distribution of the random-singlet phase of the random spin-∣ΨAKLT⟩={si}∑Tr(A[s1]A[s2]⋯A[sL])∣s1s2⋯sL⟩,8 Heisenberg chain.
The nested entanglement entropy of the ground state of ∣ΨAKLT⟩={si}∑Tr(A[s1]A[s2]⋯A[sL])∣s1s2⋯sL⟩,9 obeys
si=−1,0,+10
with fitted
si=−1,0,+11
This realizes the infinite-randomness fixed point directly in entanglement space. The crucial point for the index is structural: the random-singlet network exists because every cut exposes a spin-si=−1,0,+12 mode dictated by the nontrivial AKLT/Haldane index.
4. Tasaki-type criteria in flat-band ferromagnetism
In the SUsi=−1,0,+13 Hubbard model on the Tasaki lattice, the paper does not define a literal scalar called the Tasaki index. Instead, it implements what the detailed discussion calls a Tasaki-type criterion for flat-band ferromagnetism. The Tasaki lattice is a decorated hypercubic lattice obtained by adding one extra site in the middle of each nearest-neighbor bond of an undecorated hypercubic lattice si=−1,0,+14. The number of central sites is si=−1,0,+15, and this si=−1,0,+16 is exactly the degeneracy of the lowest flat band. For hopping amplitudes si=−1,0,+17 on the undecorated lattice and si=−1,0,+18 between central and decorated sites, the flat-band tuning condition is
si=−1,0,+19
where A[s]0 is the coordination number of the undecorated lattice. The localized flat-band states are the trapping-cell states A[s]1, and the construction satisfies Tasaki’s quasi-locality and local connectivity conditions (Liu et al., 2019).
The rigorous structure of the ground-state manifold is formulated through two constraints on the trapping-cell expansion of a ground state. First, if two colors occupy the same trapping cell, the corresponding coefficient vanishes:
A[s]2
Second, if two configurations have the same cluster decomposition and the same number of particles of each color within every cluster, then their coefficients are equal:
A[s]3
These conditions force each connected cluster to carry the fully symmetric irreducible representation of A[s]4, with dimension
A[s]5
For A[s]6, every ground state is a linear combination of such ferromagnetic-cluster states. At A[s]7, meaning A[s]8, the entire trapping-cell graph forms a single cluster, and the ground state is rigorously ferromagnetic.
The same work maps the partially filled problem to Pauli-correlated percolation, with configuration weight
A[s]9
This yields an effective percolation-based diagnostic for ferromagnetism. In one dimension, the percolation transition occurs only at 2×20. In two dimensions, the transition is first-order like, with a phase-separated regime between 2×21 and 2×22, and the transition range increases with 2×23.
Model
2×24
2×25
SU(3)
2×26
2×27
SU(4)
2×28
2×29
SU(10)
210
211
For comparison, standard uncorrelated site percolation on the corresponding square-like connectivity has threshold 212. The detailed discussion therefore proposes, as a plausible distillation rather than a literal paper definition, either a filling-based Tasaki index
213
or a percolation-based Tasaki index given by the probability or fraction of sites in the largest ferromagnetic cluster in the PCP model. In this usage, the “index” is a constructive or diagnostic criterion for flat-band ferromagnetism rather than an SPT invariant.
5. Kennedy–Tasaki duality and hidden symmetry sectors
A third usage arises from the Kennedy–Tasaki transformation in spin-1 chains. Here again the phrase Tasaki index is not explicit, but the detailed discussion identifies the relevant index-like quantities as symmetry quantum numbers and hidden conserved charges. The original model is the spin-1 XXZ chain with single-ion anisotropy,
214
which has internal 215 symmetry, a 216 subgroup generated by 217 rotations, and bond-centered inversion. For spin 1, the on-site 218-rotation operators are
219
The natural sector labels are 210, where 211 is total magnetization and 212 are the eigenvalues of global 213, 214, and inversion (Yang et al., 2023).
The Kennedy–Tasaki unitary is
215
with 216 and 217. It maps the original short-range Hamiltonian to another short-range Hamiltonian 218. In the dual model, the visible on-site symmetry is only 219, while the original 210 becomes a hidden non-local symmetry generated by
211
The dual sectors are therefore labeled visibly by 212, with an additional hidden 213 charge that is conserved but nonlocal and impractical for numerical sector decomposition.
This hidden symmetry has direct spectral consequences. In the original model, GOE level-spacing statistics are obtained once the full symmetry, including 214, is resolved. If one uses only the coarser 215 labels, different 216 sectors are mixed and level repulsion is lost. In the dual model, visible 217 sectors likewise show non-GOE statistics because the hidden 218 charge remains unresolved. When perturbations such as 219, single-site defects HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],00 or HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],01, or a random field HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],02 are added so as to break the hidden symmetry, GOE statistics are restored. In this setting, a Tasaki-type index is best understood as the set of visible HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],03 and hidden HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],04 quantum numbers that organize hidden order and determine the correct symmetry-sector decomposition.
6. SOHAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],05 generalizations and conformal boundary data
The most recent generalization again does not use the phrase explicitly, but it identifies several quantized quantities that naturally play the role of AKLT/Tasaki indices. The lattice model is the SOHAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],06-symmetric bilinear–biquadratic chain
HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],07
It has a Uimin–Lai–Sutherland point at
HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],08
with low-energy limit HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],09 WZW, a second integrable point at
HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],10
and a special MPS point
HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],11
where the ground states are exactly known SOHAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],12 AKLT states (Zhang et al., 18 Aug 2025).
These SOHAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],13 AKLT states are built from Gamma matrices satisfying HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],14. The crucial structural datum is that the physical degrees of freedom transform in the vector representation of HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],15, while the virtual MPS space carries a spinor representation of HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],16. For odd HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],17 there is a unique ground state; for even HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],18 there are two ground states obtained as symmetric and antisymmetric combinations of two non-injective MPS states. The detailed discussion identifies the virtual spinor representation, the associated edge representation, and the edge-state degeneracy HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],19 as natural SPT-type index data.
At the continuum level, the work uses the conformal embedding HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],20 to construct non-Cardy boundary states. For odd HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],21, the relevant topological defect line is HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],22, yielding a boundary state with
HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],23
For even HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],24, the relevant defects are HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],25, with
HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],26
The overlaps of the SOHAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],27 AKLT MPS states with the HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],28 ULS ground state have asymptotic form
HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],29
and the exact calculation gives
HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],30
The detailed discussion therefore presents the defect labels HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],31 or HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],32, the virtual spinor representation, and the Affleck–Ludwig boundary entropy HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],33 as the most natural index-like invariants in this generalization.
Taken together, these formulations show that the Tasaki index is best regarded not as a single immutable definition but as a family of discrete or threshold-type invariants tied to Tasaki’s constructions: a HAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],34 SPT index in the spin-1 AKLT chain, a ferromagnetic criterion based on flat-band occupancy and percolation in Tasaki lattices, a set of visible and hidden symmetry charges in Kennedy–Tasaki duality, and representation- or boundary-entropy data in SOHAKLT=i=1∑LJ[si⋅si+1+31(si⋅si+1)2],35 AKLT generalizations.