alphaFeedback

WorksPhysics and Astronomy

Exact Rokhsar-Kivelson points hosting first-order phase transitions in S=1S=1 compass models

AI contributions
  • Claude Opus 4.8 · bare
  • GPT-5.6 Sol · bare
  • ChatGPT Sol 6.1
View details

Abstract

We study S=1S=1 compass models on the square and kagome lattices with bond-dependent bilinear and biquadratic interactions parametrized by an angle θθ. For compatible geometries, we determine the exact ground-state manifolds throughout the interval π/4≤θ≤3π/4π/4\leqθ\leq3π/4. At each endpoint, a product of on-site unitaries maps the Hamiltonian to the Laplacian of a configuration graph G\mathcal{G} in the S=1S=1 Cartesian basis. These endpoints are exact Rokhsar-Kivelson (RK) points, with one ground state per dynamically connected component of G\mathcal{G}. Each such state is an equal-amplitude superposition in the transformed basis and acquires configuration-dependent phases upon transforming back to the original basis. Both models possess m=O(L)m=O(L) independent and mutually commuting conserved Z2\mathbb{Z}_2 line charges, where LL is the linear system size, forcing a ground-state degeneracy of at least 2m2^m at the RK endpoints. Throughout the interior region, π/4<θ<3π/4π/4<θ<3π/4, the ground-state manifold on each lattice is instead spanned by two product states, both annihilated by the Hamiltonian. On both lattices, each RK endpoint also hosts a first-order transition into this intervening interior phase spanned by the two product states with long-range order.

Introduction

Exactly solvable models are often helpful in understanding otherwise mysterious properties of interacting many-body systems. Familiar examples include the AKLT chain [1], the Kitaev honeycomb model [2], and quantum dimer models (QDMs) at their Rokhsar–Kivelson (RK) points [3–7]. The celebrated Kitaev model [2] is but one example of a more general class of models called compass models, in which the coupling on a bond depends on its orientation and selects a different spin component along each lattice direction [8–11]. In several compass models, this structure supports subsystem symmetries that constrain ordering and dynamics [11–17]. This can partition the Hilbert space into many dynamically disconnected sectors, with further disconnected parts possible within a sector [18–21]. Such conservation laws tied to the lattice geometry, can impose mobility constraints reminiscent of fracton systems [22, 23].

The RK points alluded to earlier were originally introduced in QDMs, where the ground states are equal-amplitude superpositions of dimer coverings connected by local resonance moves [3, 4]. Later it was realized that one can construct similar RK points in other systems like quantum vertex and coloring models, establishing a broader connection between exact quantum ground states and classical statistical mechanics [24, 25]. At an exact RK point the negative of the Hamiltonian acts as the generator of a continuous-time classical Markov process on each connected component of a graph. Consequently, each component hosts an equal-amplitude ground state, and its excitation energies coincide, up to an overall rate scale, with the relaxation rates of the corresponding classical process [24, 25].

Our work has its origins in Ref. [26] which constructed exponentially many exact ground states of a bilinear-biquadratic S=1S = 1 Kitaev chain using spin fractionalization. This work of Ref. [26] raises the natural question of whether analogous exactly solvable points exist in higher-dimensional S=1S = 1 models. We address this question here, and in doing so, bring together RK physics and subsystem-symmetry induced Hilbert-space decomposition in S=1S = 1 compass models on the square and kagome lattices as concrete examples. The kagome compass model is known more popularly as the kagome Kitaev model. On top of the standard bond-dependent bilinear interactions in such models we also include biquadratic couplings of the same spin component on each bond, with their relative strengths parametrized by an angle θ\theta. Our approach avoids spin fractionalization and, subject to geometric compatibility conditions specified later, applies to S=1S = 1 models without restricting the lattice coordination number. It not only yields exact ground-state wavefunctions but also makes a statement about the entire many-body spectrum of these models by showing the presence of exact RK points. It also applies to the S=1S = 1 Kitaev chain.

In quantum magnets, RK constructions include models with effective ring-exchange dynamics in constrained low-energy manifolds [27, 28], as well as spin Hamiltonians designed to support exact RVB or vertex-model ground states [30] [29]. These approaches typically involve interactions acting on more than two sites or rely on a constrained low-energy description. Here we establish a direct route to RK physics in two-dimensional S=1S = 1 compass models having only nearest-neighbour two-site bilinear and biquadratic interactions. On compatible geometries, a product of sublattice-dependent on-site unitaries brings the full Hamiltonian into an adjacency-degree representation on a configuration graph in the Cartesian basis. This representation holds for arbitrary θ\theta and reveals exact RK points at θ=π/4\theta= \pi/4 and 3π/43\pi/4. The construction requires neither a low-energy projection nor additional multispin interactions and directly relates the ground-state manifolds to configuration-space connectivity.

In these compass models on compatible geometries the ground-state manifold is known exactly throughout π/4≤θ≤3π/4\pi/4 \le\theta\le3\pi/4. In the interior of this interval, both models have two product states in the ground state manifold. Each is annihilated by every term in the Hamiltonian, whose positive semidefiniteness in this interval guarantees that these states minimize the energy. At both endpoints (θ=π/4\theta= \pi/4 and θ=3π/4\theta= 3\pi/4) on the two lattices, a product of on-site unitary operators maps the Hamiltonian to the Laplacian of a configuration-graph G\mathcal{G} [31, 32] whose vertices represent product configurations in the S=1S = 1 Cartesian basis. Each connected component of G\mathcal{G} supports one state in the ground-state manifold, an equal-amplitude superposition over the configurations in the connected component in the transformed basis, with configuration-dependent phases in the original basis [31, 32].

Both the kagome and square S=1S = 1 compass models have m=O(L)m = O(L) independent and mutually commuting conserved Z2\mathbb{Z}_2 line charges and hence 2m2^m sectors [9, 11, 15]. Thus, the subsystem symmetries enforce at least 2m2^m connected components and hence a corresponding ground-state degeneracy exponential in the linear system size at the RK points. These ground state wavefunctions have a natural PEPS representation [33, 34, 35, 36] of bond dimension two on both the lattices. These endpoints are therefore exact RK points, analogous to those in QDMs, with the exponentially many sectors labelled by the line-charge values. The RK endpoints also host first-order transitions bounding a phase with long-range order on both the lattices.

Model

Each lattice site hosts an S=1S = 1 spin, and we consider both open and periodic boundary conditions (OBC and PBC). The square lattice has a single-site unit cell, while the kagome lattice has a three-site unit cell defined as sites of an upward-pointing triangle. On the square lattice, we allow arbitrary integer dimensions Lx,Ly≥2L_x, L_y \ge2 for OBC and restrict both LxL_x and LyL_y to even values for PBC. On the kagome lattice, we allow arbitrary positive integer values of LxL_x and LyL_y, both greater than 1, for both OBC and PBC (LxL_x and LyL_y are taken along the two primitive directions of the kagome lattice). Each bond bb of the two lattices is assigned an orientation-dependent label αb∈{x,y,z}\alpha_b \in\{x,y,z\} and it couples the corresponding component of the S=1S = 1 spins located at its endpoints ibi_b and jbj_b through bilinear and biquadratic interactions:

H^(θ)=cos⁡θ∑bS^ibαbS^jbαb+sin⁡θ∑b(S^ibαbS^jbαb)2,(1)\hat{H}(\theta) = \cos\theta\sum_b \hat{S}^{\alpha_b}_{i_b}\hat{S}^{\alpha_b}_{j_b} + \sin\theta\sum_b \left(\hat{S}^{\alpha_b}_{i_b}\hat{S}^{\alpha_b}_{j_b}\right)^2, \tag*{(1)}

where the sum runs over all bonds bb of the lattice and θ\theta parametrizes the relative strengths of the bilinear and biquadratic terms. The square lattice contains only xx- and yy-type bonds, whereas the kagome lattice contains all three bond types, as illustrated in Figure 1.

S = 1 compass models on the square and kagome lattices

Figure 1. S=1S=1 compass models on the square (left) and kagome (right) lattices. Filled black, filled gray, and open black circles denote the AA, BB, and CC sublattices, respectively. The square lattice has a single-site unit cell, whereas the kagome lattice has a three-site unit cell forming an upward-pointing triangle. Red, blue, and green bonds denote xx, yy, and zz interactions, respectively, with couplings on the bonds hij(α)(θ)=cos⁡θ S^iαS^jα+sin⁡θ (S^iαS^jα)2h_{ij}^{(\alpha)}(\theta)=\cos\theta\,\hat{S}_{i}^{\alpha}\hat{S}_{j}^{\alpha}+\sin\theta\,(\hat{S}_{i}^{\alpha}\hat{S}_{j}^{\alpha})^{2}. The square lattice contains only xx and yy type bonds.

Two transformations relate different regions of the parameter space in Eq. (1). First, H^(θ+π)=−H^(θ)\hat{H}(\theta+ \pi) = -\hat{H}(\theta), so a shift by π\pi reverses the spectrum. Second, a unitary V^\hat{V} composed of on-site π\pi rotations reverses the sign of every bilinear term while leaving the biquadratic terms invariant, giving V^†H^(θ)V^=H^(π−θ)\hat{V}^{\dagger}\hat{H}(\theta)\hat{V} = \hat{H}(\pi- \theta). For the bond assignments in Figure 1, V^=∏i∈AeiπS^ix\hat{V} = \prod_{i\in A}e^{i\pi\hat{S}^x_i} on the square lattice and V^=∏i∈AeiπS^ix∏j∈BeiπS^jy\hat{V} = \prod_{i\in A}e^{i\pi\hat{S}^x_i}\prod_{j\in B}e^{i\pi\hat{S}^y_j} on the kagome lattice, where AA and BB denote the sublattices. The full spectrum can therefore be reconstructed from θ∈[0,π/2]\theta\in[0,\pi/2]. Within θ∈[0,π]\theta\in[0,\pi], the ground-state phase diagram is symmetric about θ=π/2\theta= \pi/2; in particular, the points θ=π/4\theta= \pi/4 and 3π/43\pi/4 are unitarily equivalent.

Cartesian basis and bond kinematics

We work throughout in the S=1S = 1 time-reversal-invariant Cartesian basis {∣x⟩,∣y⟩,∣z⟩}\{|x\rangle, |y\rangle, |z\rangle\} [37, 38], in which

S^α∣β⟩=iϵαβγ∣γ⟩,eiπS^α∣β⟩=(2δαβ−1)∣β⟩.(2)\hat{S}^{\alpha}|\beta\rangle= i\epsilon_{\alpha\beta\gamma}|\gamma\rangle,\qquad e^{i\pi\hat{S}^{\alpha}}|\beta\rangle= (2\delta_{\alpha\beta}-1)|\beta\rangle. \tag*{(2)}

In this basis, each bilinear bond operator maps a Cartesian product configuration of the spins at its endpoints to a single other product configuration or annihilates them, while each biquadratic bond operator is diagonal. Since S^α∣α⟩=0\hat{S}^{\alpha}|\alpha\rangle= 0, a bond of type α\alpha annihilates any configuration with ∣α⟩|\alpha\rangle at either endpoint. We call such a bond blocked. The bond acts nontrivially only in the four-dimensional subspace spanned by configurations with neither endpoint in ∣α⟩|\alpha\rangle (we call this the active subspace). For a cyclic permutation (α,β,γ)(\alpha,\beta,\gamma) of (x,y,z)(x,y,z), this active subspace is {∣βγ⟩,∣γβ⟩,∣βγ⟩,∣γγ⟩}\{| \beta\gamma\rangle, |\gamma\beta\rangle, |\beta\gamma\rangle, |\gamma\gamma\rangle\}. Using Eq. (2), the bilinear terms of H^\hat{H} generate two types of moves within this subspace:

exchange: ∣βγ⟩↔∣γβ⟩|\beta\gamma\rangle\leftrightarrow|\gamma\beta\rangle, amplitude +cos⁡θ+\cos\theta. pairing: ∣ββ⟩↔∣γγ⟩|\beta\beta\rangle\leftrightarrow|\gamma\gamma\rangle, amplitude −cos⁡θ-\cos\theta. {#eq:3}

The biquadratic interaction is proportional to the identity on the active subspace, contributing a diagonal energy sin⁡θ\sin\theta to each configuration for every active bond present in it.

Two consequences will be used in what follows. First, the single-bond eigenvalues are sin⁡θ±cos⁡θ=2sin⁡(θ±π/4)\sin\theta\pm\cos\theta= \sqrt{2}\sin(\theta\pm\pi/4), each twofold degenerate, in the active subspace, and zero in the blocked subspace. Second, each active bond permits exactly one move: exchange for ∣βγ⟩|\beta\gamma\rangle or ∣γβ⟩|\gamma\beta\rangle, and pairing for ∣ββ⟩|\beta\beta\rangle or ∣γγ⟩|\gamma\gamma\rangle in the Cartesian basis. This construction defines a weighted configuration graph G\mathcal{G} with 3N3^N vertices, one vertex for each product state in the Cartesian basis, ∣s⟩=⨂i=1N∣si⟩|s\rangle= \bigotimes_{i=1}^{N}|s_i\rangle, where ∣si⟩∈{∣xi⟩,∣yi⟩,∣zi⟩}|s_i\rangle\in\{|x_i\rangle,|y_i\rangle,|z_i\rangle\}. The edges carry weights ±cos⁡(θ)\pm\cos(\theta), and each vertex has a weight sin⁡(θ)D(s)\sin(\theta)D(s) due to the biquadratic term, where D(s)D(s) denotes the number of active bonds in ∣s⟩|s\rangle.

Line charge induced Hilbert space decomposition

The Hamiltonian in Eq. (1) admits a family of conserved Z2\mathbb{Z}_2 charges supported on straight lines, whose number scales with the linear system size [9, 11, 15]. Let ℓ\ell be a maximal straight chain of bonds of a single type, and let τi\tau_i denote the common type of the bonds incident on site i∈ℓi\in\ell that lie outside ℓ\ell. The corresponding line charge is

Q^ℓ=∏i∈ℓeiπS^iτi,[Q^ℓ,H^(θ)]=0∀θ.(3)\hat{Q}_{\ell}=\prod_{i\in\ell}e^{i\pi\hat{S}_{i}^{\tau_i}},\qquad[\hat{Q}_{\ell},\hat{H}(\theta)]=0\quad\forall\theta. \tag*{(3)}

Each rotation leaves the spin component on bonds outside ℓ\ell unchanged, while reversing the component on bonds along ℓ\ell. Since both endpoints of every bond along ℓ\ell are rotated, all bilinear and biquadratic interactions remain invariant.

On the square lattice, τi\tau_i is constant along each line, yielding Q^c=∏jeiπS^(c,j)x\hat{Q}_{c}=\prod_j e^{i\pi\hat{S}_{(c,j)}^{x}} for columns and Q^r=∏ieiπS^(r,i)y\hat{Q}_{r}=\prod_i e^{i\pi\hat{S}_{(r,i)}^{y}} for rows [9, 11]. On the kagome lattice, τi\tau_i alternates between the two sublattices along each line: an xx-line (AA and BB sublattices alternate along it) carries rotations eiπS^ye^{i\pi\hat{S}^{y}} on AA and eiπS^ze^{i\pi\hat{S}^{z}} on BB sublattices, with the yy- and zz-line charges obtained by cyclic permutation [15]. The line charges satisfy Q^ℓ2=1\hat{Q}_{\ell}^{2}=1 and are diagonal in the Cartesian basis. Their eigenvalues qℓ=±1q_{\ell}=\pm1 therefore partition the Hilbert space into dynamically disconnected sectors. An Lx×LyL_x\times L_y square lattice has Lx+LyL_x+L_y independent line charges and hence 2Lx+Ly2^{L_x+L_y} sectors. On the kagome lattice, the three line families provide Lx+Ly+gcd⁡(Lx,Ly)L_x+L_y+\gcd(L_x,L_y) independent charges under PBC and 2Lx+2Ly−12L_x+2L_y-1 under OBC, yielding 2Lx+Ly+gcd⁡(Lx,Ly)2^{L_x+L_y+\gcd(L_x,L_y)} and 22Lx+2Ly−12^{2L_x+2L_y-1} sectors, respectively. The number of sectors is thus exponential in the linear system size on both the lattices.

On both the lattices the conserved line charges divide the configuration graph G\mathcal{G} into disconnected parts labelled by the line charge eigenvalues. Its vertices are the 3N3^N product configurations in the Cartesian basis, and its edges are the allowed moves. Each connected component lies within a line-charge sector, but any given sector can host more than a single such component. The line charges therefore give a lower bound on the number of connected components present in G\mathcal{G}. Fully blocked configurations form isolated vertices in G\mathcal{G}.

An exactly solvable ordered phase

For π/4<θ<3π/4\pi/4 < \theta< 3\pi/4, on the active subspace, both single-bond eigenvalues sin⁡θ±cos⁡θ\sin\theta\pm\cos\theta are strictly positive. The Hamiltonian is therefore a sum of positive-semidefinite bond terms, and its zero-energy ground-state manifold is the intersection of their kernels. Each bond kernel is spanned by Cartesian-basis configurations in which that bond is blocked. Consequently, the zero-energy manifold is spanned by fully blocked configurations, and such configurations also span the ground-state space, when they exist.

On the square lattice, the two fully blocked configurations are the checkerboard arrangement of ∣x⟩\lvert x\rangle and ∣y⟩\lvert y\rangle states on the AA and BB sublattices, respectively, and its partner obtained by interchanging ∣x⟩\lvert x\rangle and ∣y⟩\lvert y\rangle. On the kagome lattice, one fully blocked configuration places ∣x⟩\lvert x\rangle, ∣z⟩\lvert z\rangle, and ∣y⟩\lvert y\rangle on the AA, BB, and CC sublattices, respectively; its partner follows from a single application of the cyclic permutation ∣x⟩→∣y⟩→∣z⟩→∣x⟩\lvert x\rangle\to\lvert y\rangle\to\lvert z\rangle\to\lvert x\rangle (More than one application leads to a state which is not blocked and hence does not lie in the ground state manifold). A schematic of these frozen configurations is given in Figure 2. Throughout this interval, both models have a two-dimensional ground-state manifold spanned by product states with long-range order. The above statements concerning frozen configurations being the ground state for π/4<θ<3π/4\pi/4 < \theta< 3\pi/4 does not apply to the square lattice with PBC when either LxL_x or LyL_y is odd.

Frozen zero-energy product eigenstates of $H(\theta)$ for any $\theta$: the checkerboard state on the square lattice and the product state on the kagome lattice

Figure 2. Frozen zero-energy product eigenstates of H(θ)H(\theta) for any θ\theta: the checkerboard state on the square lattice (left) and the product state on the kagome lattice (right). The checkerboard state has a partner obtained by exchanging ∣x⟩\lvert x\rangle and ∣y⟩\lvert y\rangle; the product state on the kagome lattice has a partner obtained by one cyclic permutation of ∣x⟩\lvert x\rangle, ∣z⟩\lvert z\rangle, and ∣y⟩\lvert y\rangle.

The RK point: as a graph laplacian

At θ=π/4\theta= \pi/4, the Hamiltonian becomes a sum of bond projectors, H^(π/4)=2∑bP^b\hat{H}(\pi/4) = \sqrt{2}\sum_b \hat{P}_b, where

P^b=12[S^ibαbS^jbαb+(S^ibαbS^jbαb)2].\hat{P}_b = \frac{1}{2}\left[\hat{S}_{i_b}^{\alpha_b}\hat{S}_{j_b}^{\alpha_b} + \left(\hat{S}_{i_b}^{\alpha_b}\hat{S}_{j_b}^{\alpha_b}\right)^2\right].

Its ground-state manifold is therefore the common kernel of these projectors, which also contains the two respective frozen states on each lattice introduced in § 1.4. At this point, however, the lower active-subspace eigenvalue of a bond sin⁡θ−cos⁡θ\sin\theta- \cos\theta also vanishes, enlarging each bond’s kernel and hence allowing for additional states in the ground-state manifold beyond the frozen configurations.

To make it convenient to identify the enlarged ground state manifold we perform a similarity transformation on the Hamiltonian in Eq. (1). The unitary operator is defined as,

U^=⨂iu^i,u^i=diag⁡(gi(x),gi(y),gi(z)),(4)\hat{U} = \bigotimes_i \hat{u}_i,\qquad\hat{u}_i = \operatorname{diag}\left(g_i(x),g_i(y),g_i(z)\right), \tag*{(4)}

diagonal in the Cartesian basis with all entries having unit-modulus. It is a product of on-site unitaries. The choice of U^\hat{U} will differ between the two lattices and for each lattice it will further depend on the underlying sublattice as well. On the square lattice, we take

gi(x)=gi(y)=1g_i(x) = g_i(y) = 1 on both AA and BB sublattices, with gi(z)=+ig_i(z) = +i for i∈Ai \in A and gi(z)=−ig_i(z) = -i for i∈Bi \in B. On the kagome lattice the three sublattices AA, BB and CC carry phases of:

(gA(x),gA(y),gA(z))=(1,1,i),(gB(x),gB(y),gB(z))=(−i,1,−i),(gC(x),gC(y),gC(z))=(1,−i,−i).\begin{aligned} \left(g_A(x),g_A(y),g_A(z)\right) &= (1,1,i),\\ \left(g_B(x),g_B(y),g_B(z)\right) &= (-i,1,-i),\\ \left(g_C(x),g_C(y),g_C(z)\right) &= (1,-i,-i). \end{aligned}

The sublattice convention on both the lattices for the corresponding directions of chosen bond couplings is shown in Figure 1. On performing the similarity transformation on H^\hat{H} we get,

⟨s∣U^†H^U^∣s′⟩=(g(s))∗g(s′)⟨s∣H^∣s′⟩,(5)\langle s|\hat{U}^{\dagger}\hat{H}\hat{U}|s'\rangle= \left(g(s)\right)^*g(s')\langle s|\hat{H}|s'\rangle, \tag*{(5)}

with g(s)=∏igi(si)g(s) = \prod_i g_i(s_i). It is shown in the appendix that using this similarity transformation with U^\hat{U} composed of on-site unitaries specified earlier for the two lattices respectively, reverses the sign of every exchange amplitude and preserves that of every pairing amplitude of Eq. (3), so that both classes of moves due to the bilinear terms present in Eq. (1) (in the active subspace) acquire amplitude −cos⁡(θ)-\cos(\theta). Combined with the fact that each active bond contributes one move in the configuration-graph of Cartesian-basis product vertices (due to the bilinear term) and one unit of diagonal amplitude equal to sin⁡(θ)\sin(\theta) (due to the biquadratic term), gives the central identity of this work,

U^†H^(θ)U^=H~(G,θ),H~(G,θ)=sin⁡(θ)D(G)−cos⁡(θ)A(G),(6)\hat{U}^{\dagger}\hat{H}(\theta)\hat{U} = \widetilde{H}(\mathcal{G},\theta),\qquad\widetilde{H}(\mathcal{G},\theta) = \sin(\theta)D(\mathcal{G})-\cos(\theta)A(\mathcal{G}), \tag*{(6)}

where H~(G,θ)\widetilde{H}(\mathcal{G},\theta) is the adjacency-degree representation of the transformed Hamiltonian on the configuration graph G\mathcal{G} with 3N3^N vertices. A(G)A(\mathcal{G}) is its adjacency matrix and D(G)=diag⁡[D(s)]D(\mathcal{G}) = \operatorname{diag}[D(s)] is its degree matrix.

At θ=π/4≡θc\theta= \pi/4 \equiv\theta_c, and by unitary equivalence at θ=3π/4\theta= 3\pi/4, the models realize an exact RK point, with H~(G,π/4)=L(G)/2\widetilde{H}(\mathcal{G},\pi/4) = \mathcal{L}(\mathcal{G})/\sqrt{2}, the graph Laplacian on G\mathcal{G} [31, 32]. Thus, −L(G)-\mathcal{L}(\mathcal{G}) generates a continuous time random walk on the Cartesian-basis configurations in the transformed basis. The graph Laplacian at θc\theta_c is positive semidefinite, and its kernel contains one equal-amplitude state per connected component of G\mathcal{G}, which also span the ground state manifold [31, 32]. In the original basis, these ground states acquire the configuration-dependent phases specified by U^\hat{U}. Since every line-charge sector is non-empty and distinct sectors are dynamically disconnected, this implies at least 2O(L)2^{O(L)} connected components in G\mathcal{G} on both the lattices and hence the ground state degeneracy is at least 2O(L)2^{O(L)} in both cases. The frozen configurations are isolated vertices in G\mathcal{G}.

On either lattice, a ground state in a particular line-charge sector can be constructed by projecting the product state ∣P⟩=U^⊗i[(∣xi⟩+∣yi⟩+∣zi⟩)/3]|P\rangle= \hat{U}\otimes_i[(|x_i\rangle+ |y_i\rangle+ |z_i\rangle)/\sqrt{3}] onto the corresponding line-charge eigenvalues (U^\hat{U} is different for the two lattices, though both are composed of on-site unitaries, diagonal in the Cartesian basis). For line charge eigenvalues q⃗={qℓ}\vec{q}=\{q_{\ell}\}, this gives ∣Ψq⃗⟩∝∏ℓ12(1+qℓQ^ℓ)∣P⟩\lvert\Psi^{\vec{q}}\rangle\propto\prod_{\ell}\frac{1}{2}(1+q_{\ell}\hat{Q}_{\ell})\lvert P\rangle, where ℓ\ell runs over all conserved Z2\mathbb{Z}_{2} line charges. When the sector consists of a single connected component, this projection yields its unique ground state. In sectors containing multiple such components, it yields a superposition of their ground states. These sector-projected states admit a PEPS representation [33, 35, 36]. Each site carries a tensor with one physical index of dimension three, corresponding to the three states, and four virtual indices of dimension two. The virtual indices form two pairs, one for each of the two charge lines intersecting at the site, and carry the binary variables introduced by expanding the corresponding Z2\mathbb{Z}_{2} charge projectors. Distinct sublattices have distinct tensors. A detailed discussion of the PEPS representation on both the lattices is given in the appendix.

Let nλμ(s)n_{\lambda}^{\mu}(s) denote the number of sites on sublattice μ\mu carrying state λ\lambda in configuration ∣s⟩\lvert s\rangle, and let nz(s)n_z(s) be the total number of zz states present in ∣s⟩\lvert s\rangle. The normalized ground state associated with a connected component F\mathcal{F} of G\mathcal{G} is

∣ΨS,F⟩=1∣F∣∑s∈Finz(s)(−1)nzB(s)∣s⟩,(7)\lvert\Psi_{S,\mathcal{F}}\rangle=\frac{1}{\sqrt{\lvert\mathcal{F}\rvert}}\sum_{s\in\mathcal{F}}i^{n_z(s)}(-1)^{n_z^{B}(s)}\lvert s\rangle, \tag*{(7)}
∣ΨK,F⟩=1∣F∣∑s∈Finz+nxB+nyC(−1)nxB+nzB+nyC+nzC∣s⟩,(8)\lvert\Psi_{K,\mathcal{F}}\rangle=\frac{1}{\sqrt{\lvert\mathcal{F}\rvert}}\sum_{s\in\mathcal{F}}i^{n_z+n_x^{B}+n_y^{C}}(-1)^{n_x^{B}+n_z^{B}+n_y^{C}+n_z^{C}}\lvert s\rangle, \tag*{(8)}

on the square and kagome lattices, respectively. The (s)(s) dependence of the exponents is suppressed in Eq. (8).

On both lattices the configuration amplitudes are pure phases, admitting a formal representation as square-root Boltzmann factors at imaginary inverse temperature. A similar construction in Ref. [39] projects three-color product ground states of the spin-1/2 kagome antiferromagnet onto fixed total-SzS^z sectors. Though in that case these states can overlap, if they are in the same SzS^z sector, and become linearly dependent, and their span need not exhaust the ground-state manifold. Here, the configuration-graph Laplacian mapping in the orthonormal Cartesian basis establishes exactly one ground state per connected component, with states from distinct components mutually orthogonal. Determining the full ground-state manifold therefore reduces to characterizing the connected components of the configuration-graph.

The sublattice-dependent unitary transformation used for the square lattice also applies to the analogous S=1S=1 Kitaev chain with bilinear and biquadratic couplings [37, 38] [26], whose sites alternate between the AA and BB sublattices. In this case, the conserved quantities are bond charges that span the chain, taking the form eiπS^iβieiπS^i+1βi+1e^{i\pi\hat{S}_{i}^{\beta_i}}e^{i\pi\hat{S}_{i+1}^{\beta_{i+1}}} on a bond bb of type α\alpha. A length LL periodic chain has LL conserved Z2\mathbb{Z}_{2} bond charges, defining 2L2^{L} charge sectors, with ground-state wavefunctions of the same form as those for the square lattice, given in Eq. (7). Just as the square- and kagome-lattice ground states admit PEPS representations with bond dimension two, the chain ground states admit an MPS representation with bond dimension two, presented in the Appendix. Using spin fractionalization, Ref. [26] obtained related ground-state wavefunctions for the S=1S = 1 Kitaev chain.

Finally, using a variational bound, we can show that the RK endpoints host first-order phase transitions. In the product state ∣P⟩\lvert P\rangle, each bond is active with probability 4/94/9, giving the biquadratic bond operator of H^\hat{H} in Eq. (1) an expectation value of 4/94/9. Since H^(π/4)∣P⟩=0\hat{H}(\pi/4)\lvert P\rangle= 0, the corresponding bilinear bond operator’s expectation value is −4/9-4/9. Thus,

E0(θ)≤⟨P∣H^(θ)∣P⟩=49Nb(sin⁡θ−cos⁡θ)<0,(9)\begin{aligned} E_0(\theta) &\le\langle P\lvert\hat{H}(\theta)\rvert P\rangle\\ &= \frac{4}{9}N_b(\sin\theta-\cos\theta)<0, \tag*{(9)} \end{aligned}

for 0≤θ<π/40 \le\theta< \pi/4, where NbN_b is the total number of bonds. By contrast, E0(θ)=0E_0(\theta)=0 throughout π/4≤θ≤3π/4\pi/4 \le\theta\le3\pi/4. The bound forces a nonzero left-hand slope at θc=π/4\theta_c=\pi/4 of the energy density e0=E0/Nbe_0=E_0/N_b, whereas its right-hand slope vanishes, establishing a first-order transition. Unitary equivalence implies an analogous transition at θ=3π/4\theta=3\pi/4. At either endpoint, the ground-state degeneracy is at least exponential in the linear system size and collapses to two upon entering the intervening frozen phase with long range order.

Exact Diagonalization

To test the analytic ground-state wavefunctions in Eqs. (7) and (8) and the predicted first-order transition at θ=π/4\theta=\pi/4, we perform exact diagonalization (ED) of H^\hat{H} in Eq. (1) on a 2×42 \times4 square lattice with PBC and 2×22 \times2 kagome lattices with OBC and PBC. For these clusters, each line-charge sector contains one non-frozen connected component; though the two frozen configurations form additional isolated components within a sector. Figure 3 shows the overlap of the predicted ground-states in Eq. (7) and Eq. (8) with the ground state obtained by ED for all the sectors. In the sectors containing the frozen states, the frozen states are projected out of the numerical zero-energy subspace obtained by ED before comparison with the analytic state supported on the non-frozen component of that sector. Figure 3 shows that the overlap is unity in every sector for all three cases.

Overlap between numerical and analytic ground-state wavefunctions

Figure 3. Overlap between the numerical zero-energy state ∣Ψ~EDq⃗⟩\lvert\widetilde{\Psi}^{\vec{q}}_{\mathrm{ED}}\rangle and the analytic wavefunction in the same line-charge sector q⃗\vec{q} [Eqs. (7) and (8)] for a 2×42 \times4 square lattice with PBC (left) and 2×22 \times2 kagome lattice with OBC and PBC (right).

Figure 4 shows the ground-state energy density e0≡E0/Nbe_0 \equiv E_0/N_b (where E0E_0 is the ground state energy and NbN_b is the number of bonds present in the lattice) as a function of θ/π\theta/\pi for the square and kagome lattices (here we also include square-lattice OBC data). For θ<π/4\theta< \pi/4, e0<0e_0 < 0 and the ground state is nondegenerate. For π/4<θ<3π/4\pi/4 < \theta< 3\pi/4, e0=0e_0 = 0 and the ground-state manifold is spanned by two frozen states on each lattice mentioned in § 1.4, and shown in the schematic in Figure 2. The insets show a discontinuity in de0/dθde_0/d\theta at θ=π/4\theta=\pi/4, consistent with the first-order transition predicted in Sec. VI.

Ground-state energy density for square and kagome lattices

Figure 4. Ground-state energy density e0e_0 of the Hamiltonian in Eq. (1) as a function of θ/π\theta/\pi for a 2×42 \times4 square lattice (left) and a 2×22 \times2 kagome lattice (right), with both OBC and PBC. Insets show de0/dθde_0/d\theta discontinuity at θ/π=0.25\theta/\pi=0.25 signals a first-order transition.

Discussion

Our results establish a connection between subsystem-symmetry induced Hilbert-space decomposition [21] and RK physics [3, 24, 25] in S=1S=1 compass models on square and kagome lattices [9–11, 15], having both bilinear and biquadratic interactions, with their relative strengths parametrized by an angle θ\theta. Using a transformation built of on-site unitary operators, the Hamiltonian in Eq. (1) on both the lattices takes the adjacency-degree representation given in Eq. (6) on a configuration graph G\mathcal{G}, whose vertices represent product states in the S=1S=1 Cartesian basis. In both cases the ground state manifold is known exactly in an extended region of the parameter space. At the two exactly solvable endpoints of this interval, the Hamiltonian transforms into the Laplacian of G\mathcal{G} in the Cartesian basis [31, 32, 37, 38]. Ground-state counting and correspondence wavefunction construction thereby reduce to a graph-connectivity problem: each connected component of the configuration graph supports one state in the ground-state manifold, an equal-amplitude superposition over the states in the connected component in the transformed basis, with additional configuration-dependent phases in the original basis [31, 32]. Both lattices possess m=O(L)m=O(L) conserved Z2\mathbb{Z}_2 line charges, yielding 2m2^m symmetry sectors. This gives a lower bound on the number of connected components in the configuration-graph and hence on the ground state degeneracy at the RK points. The states in the ground state have a PEPS representation of bond dimension two on both the lattices.

Between the two RK endpoints, the ground-state manifold is spanned by two frozen configurations, yielding an ordered phase on both lattices. The discontinuity in the first derivative of the ground-state energy density establishes a first-order transition at each endpoint. The RK points thus lie at the boundaries of an ordered phase, reminiscent of the role of RK points in QDMs [4–7].

The adjacency-degree representation of the Hamiltonian in Eq. (6) also makes the analogy with QDMs explicit [3–7]. Active bonds play the role of flippable plaquettes: in the transformed Cartesian basis, the bilinear interaction generates transitions between configurations, while the biquadratic interaction assigns a diagonal energy to each active bond. These therefore correspond to the kinetic and potential-energy terms of a QDM, respectively. In two-dimensional QDMs on a L×LL \times L torus, integer winding numbers label O(L2)O(L^2) sectors on bipartite lattices, whereas winding parities label finitely many sectors on non-bipartite lattices. By contrast, the compass models considered here have m=O(L)m = O(L) independent and mutually commuting conserved Z2\mathbb{Z}_2 line charges labeling 2m2^m sectors. In either setting, additional fragments within a symmetry sector, including frozen configurations, can occur. This analogy motivates studying additional spin interactions that modify the ground-state configuration ensemble or its amplitudes, and investigating whether the resulting models can support Coulomb correlations and an emergent gauge description. Determining whether such behavior is confined to fine-tuned points or can persist throughout an extended phase remains an open question.

At the RK endpoints, our construction realizes the equal-weight case of the stochastic-matrix-form framework of Ref. [25], applied separately to each connected fragment. The transformed Hamiltonian is a graph Laplacian, so its negative directly generates a classical Markov process with a uniform stationary distribution within each fragment. Within each connected component, its relaxation rates coincide with the quantum excitation energies [24, 25]. Thus, the microscopic spin Hamiltonian acquires a direct stochastic interpretation through an on-site phase transformation alone, without any additional reweighting of configuration amplitudes. Finding exact excited states is another direction to be explored in the future.

The Laplacian representation at the RK endpoints also identifies continuous families of local Hamiltonians with exactly the same ground-state manifold. Specifically, replacing the uniform bond couplings by arbitrary strictly positive coefficients gives

H^σ({Jb})=∑bJb[(S^ibαbS^jbαb)2+σS^ibαbS^jbαb],Jb>0,(10)\hat{H}_{\sigma}(\{J_b\}) = \sum_b J_b \left[\left(\hat{S}_{i_b}^{\alpha_b}\hat{S}_{j_b}^{\alpha_b}\right)^2 + \sigma\hat{S}_{i_b}^{\alpha_b}\hat{S}_{j_b}^{\alpha_b}\right], \qquad J_b > 0, \tag*{(10)}

where σ=+1\sigma= +1 and σ=−1\sigma= -1 preserve the ground-state manifolds at θ=π/4\theta= \pi/4 and 3π/43\pi/4, respectively. This freedom includes directional anisotropy and arbitrary positive bond disorder as long as at each bond, the biquadratic coupling equals the bilinear coupling at θ=π/4\theta= \pi/4 and its negative at θ=3π/4\theta= 3\pi/4. Each Hamiltonian remains a positive sum of the same bond projectors, so their common kernel is unchanged. Equivalently, after the appropriate on-site unitary transformation, these modifications change the edge weights of the configuration-graph Laplacian while retaining its connected components and the uniform stationary distribution within each component. Further local extensions can make the transition strengths depend on nearby state occupations, provided the forward and reverse rates remain equal and strictly positive. Such terms introduce interactions involving additional sites while retaining the original two-spin moves and their configuration-dependent ground-state phases. Allowing rates to vanish can modify the ground state degeneracy as this could modify the number of connected components of the configuration graph.

The Cartesian-basis construction is independent of spatial dimension and works at fixed S=1S = 1 without imposing a relation between spin and coordination number. The present construction requires compatible on-site phases that transform the Hamiltonian into an adjacency-degree representation, given in Eq. (6), on a configuration-graph. As long as at most two types of couplings meet at a site, the given construction holds, provided the subgraphs of every coupling are bipartite (for example the S=1S = 1 Kitaev chain, in fact exactly the same choice of U^\hat{U} used for the square lattice compass model works for the chain as well). In particular this construction to identify an appropriate U^\hat{U} fails when all three bond types meet at a site, as in the S=1S = 1 honeycomb Kitaev model, because the local phase constraints are inconsistent. In that case a more complicated U^\hat{U} might exist, finding which will be a direction for the future.

Characterizing the phase of the S=1S = 1 compass models on both the lattices outside the extended solvable interval remains another open direction for future work. In particular at θ=0\theta= 0 Eq. (6) gives U^†H^(0)U^=−A\hat{U}^{\dagger}\hat{H}(0)\hat{U} = -A, where AA is the configuration-graph adjacency matrix. Thus, the question of finding the ground state energy and wavefunction at θ=0\theta= 0 might be inferred from studying the structure of G\mathcal{G} which will also be focus of future work.

More broadly, these models illustrate how RK physics can arise directly in microscopic spin Hamiltonians with only nearest-neighbour two-site interactions. A product of on-site unitaries exposes the exact adjacency-degree representation in Eq. (6) for arbitrary θ\theta, with the RK points emerging as special cases where the Hamiltonian is unitarily equivalent to a graph Laplacian. Identifying other spin models that admit such local transformations offers a route to further exact RK constructions and a possible graph-theoretic approach to their properties away from the solvable points.

Acknowledgments

This work began after the author read the arXiv preprint of Ref. [26] and explored possible extensions, including through discussions with Claude Opus 4.8. In particular, Claude Opus 4.8 provided insights into the properties of graph Laplacians and their implications for the ground-state manifold. Claude Opus 4.8 and ChatGPT Sol 5.6 assisted in writing the exact diagonalization code. These models, together with ChatGPT Sol 6.1, were also used at various stages of the project to assist with literature searches and polishing the language of the manuscript. The author thanks Ayush Sharma for collaboration on related work [38], which also motivated the present study; Kedar Damle for his guidance and encouragement; and Sanjay Moudgalya for useful comments on an earlier draft. This work was supported by the Department of Atomic Energy, Government of India, under Project Identification No. RTI-4012. The author takes full responsibility for all the results and claims.

References

Appendix

Construction of the unitary transformation

We derive the expression of U^\hat{U} in Eq. (4) for both square and kagome lattices at once. Let (α,β,γ)(\alpha,\beta,\gamma) be cyclic and consider a bond of type α\alpha joining sites ii and jj. We will work in the S=1S=1 Cartesian basis. For a product state ⨂k∣ϕk⟩\bigotimes_k \lvert\phi_k\rangle with ∣ϕk⟩=ak∣x⟩+bk∣y⟩+ck∣z⟩\lvert\phi_k\rangle=a_k\lvert x\rangle+b_k\lvert y\rangle+c_k\lvert z\rangle, write uk=⟨β∣ϕk⟩u_k=\langle\beta\vert\phi_k\rangle and vk=⟨γ∣ϕk⟩v_k=\langle\gamma\vert\phi_k\rangle (kk runs over all the lattice sites. aka_k, bkb_k and ckc_k are all non-zero and have unit modulus).

To make sure that H^\hat{H} takes the adjacency-degree form over the configuration graph given in Eq. (6), we want to make sure that the amplitude of the two types of moves due to the bilinear terms of H^\hat{H} on every bond on both the lattices given in Eq. (3) are exactly the same. Thus, we want both the pairing move and the exchange move to have the same sign. To enforce this we choose the transformation U^\hat{U} such that, after the transformation, the exchange terms get an extra minus sign while the pairing terms are left invariant. Hence, we require antisymmetry under the exchange moves and equal amplitudes under the pairing moves. Using vkv_k and uku_k in Eq. (3) we find,

uivj=−viuj,uiuj=vivj.(11)u_i v_j=-v_i u_j,\qquad u_i u_j=v_i v_j. \tag*{(11)}

With the ratio rkα≡vk/ukr_k^\alpha\equiv v_k/u_k these equations become rjα=−riαr_j^\alpha=-r_i^\alpha and riαrjα=1r_i^\alpha r_j^\alpha=1, whence

riα=±i,rjα=−riα.(12)r_i^\alpha=\pm i,\qquad r_j^\alpha=-r_i^\alpha. \tag*{(12)}

Thus, H^\hat{H} takes the adjacency-degree representation on the configuration graph in the basis of product Cartesian states, if on every bond of type α\alpha, the associated ratios riαr_i^\alpha and rjαr_j^\alpha equal ±i\pm i and take opposite values at the two endpoints of α\alpha. The three ratios at a site, rix=ci/bir_i^x=c_i/b_i, riy=ai/cir_i^y=a_i/c_i and riz=bi/air_i^z=b_i/a_i, are not independent but obey

rixriyriz=1.(13)r_i^x r_i^y r_i^z=1. \tag*{(13)}

On the square lattice only xx- and yy-type bonds occur and meet at a site, so only rxr^x and ryr^y are constrained. Taking a(m,n)=b(m,n)=1a_{(m,n)}=b_{(m,n)}=1 and c(m,n)=i(−1)m+nc_{(m,n)}=i(-1)^{m+n} gives rx=(ry)−1=i(−1)m+nr^x=(r^y)^{-1}=i(-1)^{m+n}, which reverses sign under m→m+1m\to m+1 and under n→n+1n\to n+1 alike, satisfying Eq. (12) on every bond (here we have used two indices (m,n)(m,n) to specify the coordinate of a site to make it convenient to specify the sublattice dependent phase). The result depends on the site only through the parity of m+nm+n, giving the two-sublattice dependent phases quoted for the square lattice below Eq. (4) in Sec. VI.

On the kagome lattice the AA-BB, BB-CC and CC-AA bonds are of type xx, zz and yy, so each sublattice is touched by only two of the three bond types: AA by xx and yy, BB by xx and zz, CC by zz and yy. Since every bond connects distinct sublattices, the alternation required by Eq. (12) is realized by a uniform assignment on each sublattice. Choosing rAx=rBz=rCy=ir_A^x=r_B^z=r_C^y=i fixes rBx=rCz=rAy=−ir_B^x=r_C^z=r_A^y=-i, and Eq. (13) then forces the remaining, unconstrained ratio at each site to be, rAz=rBy=rCx=1r_A^z=r_B^y=r_C^x=1. Fixing the overall phase of each single-site state yields Eq. (5).

Verification of the Hamiltonian's adjacency-degree representation

Write g(s)=∏igi(si)g(s)=\prod_i g_i(s_i) in Eq. (5), where ii runs over all the sites of the lattice. For an exchange move due to a bilinear term of H^\hat{H}, on a bond of type α\alpha joining sites ii and jj, the two configurations ∣s⟩\lvert s\rangle and ∣s′⟩\lvert s'\rangle differ by (si,sj)=(β,γ)→(γ,β)(s_i,s_j)=(\beta,\gamma)\to(\gamma,\beta), so (g(s))∗g(s′)=(gi(β)gj(γ))∗gi(γ)gj(β)=riαrjα=−1(g(s))^*g(s')=(g_i(\beta)g_j(\gamma))^*g_i(\gamma)g_j(\beta)=r_i^\alpha r_j^\alpha=-1 by Eq. (12). For a pairing move, (β,β)→(γ,γ)(\beta,\beta)\to(\gamma,\gamma) and (g(s))∗g(s′)=(riαrjα)=+1(g(s))^*g(s')=(r_i^\alpha r_j^\alpha)=+1, due to Eq. (12). Since the bare contributions are +cos⁡θ+\cos\theta and −cos⁡θ-\cos\theta respectively [Eq. (3)], both transformed off-diagonal elements due to the bilinear terms of H^\hat{H} equal −cos⁡θ-\cos\theta. The diagonal element due to the biquadratic term of H^\hat{H} is sin⁡θD(s)\sin\theta D(s), where D(s)D(s) is the number of active bonds in ∣s⟩|s\rangle and each active bond contributes exactly one off-diagonal partner, so the degree of ss in G\mathcal{G} is also D(s)D(s) and Eq. (6) follows.

Bond dimension two PEPS

In this appendix we give a PEPS representation of the ground-state wavefunctions of H^\hat{H} at the RK point. At that point a ground state in a line-charge sector q⃗\vec{q} on either the kagome or the square lattice (or a superposition of states in the ground state manifold when the sector contains more than one connected component) is obtained by projecting ∣P⟩|P\rangle onto that sector:

∣Ψq⃗⟩∝∏ℓ=1m1+qℓQ^ℓ2∣P⟩.(14)|\Psi^{\vec{q}}\rangle\propto\prod_{\ell=1}^{m}\frac{1+q_{\ell}\hat{Q}_{\ell}}{2}|P\rangle. \tag*{(14)}

Here ℓ\ell runs over the conserved Z2\mathbb{Z}_2 line charges Q^ℓ\hat{Q}_{\ell}, qℓ∈{−1,1}q_{\ell}\in\{-1,1\} specifies the desired eigenvalue of each charge, and

∣P⟩=U^⨂i∣xi⟩+∣yi⟩+∣zi⟩3=13N/2∑sg(s)∣s⟩.(15)|P\rangle=\hat{U}\bigotimes_i\frac{|x_i\rangle+|y_i\rangle+|z_i\rangle}{\sqrt{3}}=\frac{1}{3^{N/2}}\sum_s g(s)|s\rangle. \tag*{(15)}

The sum runs over all 3N3^N Cartesian-basis product configurations s=(s1,…,sN)s=(s_1,\ldots,s_N), and g(s)=∏igi(si)g(s)=\prod_i g_i(s_i) contains the on-site phases specified in Sec. VI of the main-text for the two lattices.

For a fixed configuration ss, the numerator of each line-charge projector can be expanded as

1+qℓQℓ(s)=∑tℓ=01∏i∈ℓ[wτℓi(si)]tℓ.(16)1+q_{\ell}Q_{\ell}(s)=\sum_{t_{\ell}=0}^{1}\prod_{i\in\ell}\left[w_{\tau_{\ell i}}(s_i)\right]^{t_{\ell}} . \tag*{(16)}

Here Qℓ(s)Q_{\ell}(s) is the eigenvalue of Q^ℓ\hat{Q}_{\ell} on ∣s⟩|s\rangle, τℓi\tau_{\ell i} denotes the rotation component used by line ℓ\ell at site ii, and we have used

eiπS^α∣β⟩=(2δαβ−1)∣β⟩=wα(β)∣β⟩.(17)e^{i\pi\hat{S}^{\alpha}}|\beta\rangle=(2\delta_{\alpha\beta}-1)|\beta\rangle=w_{\alpha}(\beta)|\beta\rangle. \tag*{(17)}

Each site of either lattice lies at the intersection of two Z2\mathbb{Z}_2 charge lines. We introduce two virtual indices aj,bj∈{0,1}a_j,b_j\in\{0,1\} along each incident line j=1,2j=1,2. Writing τ1\tau_1 and τ2\tau_2 for the rotation components of these two lines at site ii, we define the local tensor

Ti a1b1a2b2si=gi(si)δa1b1δa2b2wτ1(si)a1wτ2(si)a2.(18)T^{s_i}_{i\,a_1b_1a_2b_2}=g_i(s_i)\delta_{a_1b_1}\delta_{a_2b_2}w_{\tau_1}(s_i)^{a_1}w_{\tau_2}(s_i)^{a_2}. \tag*{(18)}

The tensor has one physical index of dimension three and four virtual indices, each of dimension two. Contracting neighboring virtual indices along the lattice bonds, together with the Kronecker deltas in Eq. (18), propagates one common binary variable along each line.

For a closed line ℓ\ell, the desired charge qℓq_{\ell} is implemented by inserting

B(qℓ)=(100qℓ)(19)B(q_{\ell})=\begin{pmatrix}1&0\\0&q_{\ell}\end{pmatrix} \tag*{(19)}

on any one virtual bond of that line. For an open line, the same factor is obtained by contracting the virtual indices at its two ends with (1,1)(1,1) and (1,qℓ)(1,q_{\ell}), respectively.

The resulting tensor contraction for a fixed physical configuration ss is

Contr⁡{T,B}(s)=g(s)∏ℓ=1m[1+qℓQℓ(s)]=2mg(s)1Ωq⃗(s).(20)\operatorname{Contr}\{T,B\}(s)=g(s)\prod_{\ell=1}^{m}[1+q_{\ell}Q_{\ell}(s)] =2^m g(s)\mathbf{1}_{\Omega_{\vec{q}}}(s). \tag*{(20)}

Here Ωq⃗\Omega_{\vec{q}} is the set of Cartesian-basis product configurations satisfying Qℓ(s)=qℓQ_{\ell}(s)=q_{\ell} for every line ℓ\ell. The indicator function 1Ωq⃗(s)\mathbf{1}_{\Omega_{\vec{q}}}(s) equals one when s∈Ωq⃗s\in\Omega_{\vec{q}} and zero otherwise.

If Nq⃗=∣Ωq⃗∣N_{\vec{q}}=|\Omega_{\vec{q}}| is the number of configurations in Ωq⃗\Omega_{\vec{q}} then multiplying the contraction in Eq. (20) by (2mNq⃗)−1(2^m\sqrt{N_{\vec{q}}})^{-1} gives the normalized wavefunction amplitude of ∣s⟩|s\rangle. Summing these amplitudes over all configurations reproduces the normalized projected state in Eq. (14):

∣Ψq⃗⟩=12mNq⃗∑sContr⁡{T,B}(s)∣s⟩=1Nq⃗∑s∈Ωq⃗g(s)∣s⟩.(21)|\Psi^{\vec{q}}\rangle=\frac{1}{2^m\sqrt{N_{\vec{q}}}}\sum_s\operatorname{Contr}\{T,B\}(s)|s\rangle=\frac{1}{\sqrt{N_{\vec{q}}}}\sum_{s\in\Omega_{\vec{q}}}g(s)|s\rangle. \tag*{(21)}

For the square lattice, take horizontal bonds of type xx and vertical bonds of type yy. The row and column charges use rotations eiπSye^{i\pi S^y} and eiπSxe^{i\pi S^x}, respectively. With sites labelled by integers (m,n)(m,n), a compatible phase choice is

(gi(x),gi(y),gi(z))=(1,1,i(−1)m+n).(22)(g_i(x),g_i(y),g_i(z))=(1,1,i(-1)^{m+n}). \tag*{(22)}

The local tensor is therefore

Ti lrudsi=gi(si)δlrδudwy(si)uwx(si)r,(23)T^{s_i}_{i\,lrud}=g_i(s_i)\delta_{lr}\delta_{ud}w_y(s_i)^u w_x(s_i)^r, \tag*{(23)}

where l,r,u,d∈{0,1}l,r,u,d\in\{0,1\} label the left, right, upper, and lower virtual legs.

For the kagome lattice, choose the bond convention AB:xAB:x, AC:yAC:y, and BC:zBC:z. Compatible on-site phases are

(gA(x),gA(y),gA(z))=(1,1,i),(g_A(x),g_A(y),g_A(z))=(1,1,i),
(gB(x),gB(y),gB(z))=(−i,1,−i),(g_B(x),g_B(y),g_B(z))=(-i,1,-i),
(gC(x),gC(y),gC(z))=(1,−i,−i).(24)(g_C(x),g_C(y),g_C(z))=(1,-i,-i). \tag*{(24)}

Writing uα,vαu_{\alpha},v_{\alpha} for the two virtual legs along a line of bond type α\alpha, the tensors at a site ii on the respective sublattices are

TA uxvxuyvysi=gA(si)δuxvxδuyvywy(si)uxwx(si)uy,T^{s_i}_{A\,u_xv_xu_yv_y}=g_A(s_i)\delta_{u_xv_x}\delta_{u_yv_y}w_y(s_i)^{u_x}w_x(s_i)^{u_y},
TB uxvxuzvzsi=gB(si)δuxvxδuzvzwz(si)uxwx(si)uz,T^{s_i}_{B\,u_xv_xu_zv_z}=g_B(s_i)\delta_{u_xv_x}\delta_{u_zv_z}w_z(s_i)^{u_x}w_x(s_i)^{u_z},
TC uyvyuzvzsi=gC(si)δuyvyδuzvzwz(si)uywy(si)uz.(25)T^{s_i}_{C\,u_yv_yu_zv_z}=g_C(s_i)\delta_{u_yv_y}\delta_{u_zv_z}w_z(s_i)^{u_y}w_y(s_i)^{u_z}. \tag*{(25)}

Here AA, BB, and CC denote the three kagome sublattices shown in Figure 1(b).

MPS for the S=1S=1 Kitaev chain

Consider a periodic even length S=1S=1 Kitaev chain with NN sites, labelled i=0,…,N−1i=0,\ldots,N-1. Bond ii connects sites ii and i+1i+1 and has type αi=x\alpha_i=x for even ii and αi=y\alpha_i=y for odd ii. We denote the complementary component in {x,y}\{x,y\} by βi\beta_i. The conserved bond charges are

Q^i=eiπS^iβieiπS^i+1βi,Q^i∣Ψq⃗⟩=qi∣Ψq⃗⟩,qi∈{−1,+1}.(26)\hat{Q}_i=e^{i\pi\hat{S}_i^{\beta_i}}e^{i\pi\hat{S}_{i+1}^{\beta_i}},\qquad\hat{Q}_i|\Psi^{\vec{q}}\rangle=q_i|\Psi^{\vec{q}}\rangle,\qquad q_i\in\{-1,+1\}. \tag*{(26)}

where q⃗\vec{q} labels the sector specified by the bond-charge eigenvalues {qi}\{q_i\}. In the Cartesian basis, define wβ(s)w_\beta(s) through

eiπS^β∣s⟩=wβ(s)∣s⟩,wβ(s)={+1,s=β,−1,s≠β.(27)e^{i\pi\hat{S}^{\beta}}|s\rangle=w_\beta(s)|s\rangle,\qquad w_\beta(s)= \begin{cases} +1,&s=\beta,\\ -1,&s\ne\beta. \end{cases} \tag*{(27)}

The sublattice-dependent on-site phases are

(gj(x),gj(y),gj(z))=(1,1,i(−1)j),g(s)=∏j=0N−1gj(sj),(28)(g_j(x),g_j(y),g_j(z))=(1,1,i(-1)^j),\qquad g(s)=\prod_{j=0}^{N-1}g_j(s_j), \tag*{(28)}

where s=(s0,…,sN−1)s=(s_0,\ldots,s_{N-1}) denotes a Cartesian-basis configuration.

For each physical index si∈{x,y,z}s_i\in\{x,y,z\}, introduce a 2×22\times2 matrix AisiA_i^{s_i} with virtual indices u,v∈{−1,+1}u,v\in\{-1,+1\}:

[Aisi]uv=gi(si)δu,wβi−1(si)δv,qiwβi(si).(29)\left[A_i^{s_i}\right]_{uv}=g_i(s_i)\delta_{u,w_{\beta_{i-1}}(s_i)}\delta_{v,q_iw_{\beta_i}(s_i)}. \tag*{(29)}

Contracting the right virtual index at site ii with the left virtual index at site i+1i+1 imposes qiwβi(si)=wβi(si+1)q_iw_{\beta_i}(s_i)=w_{\beta_i}(s_{i+1}), or equivalently wβi(si)wβi(si+1)=qiw_{\beta_i}(s_i)w_{\beta_i}(s_{i+1})=q_i. Consequently,

Tr⁡[A0s0⋯AN−1sN−1]=g(s)∏i=0N−1δqi,wβi(si)wβi(si+1).(30)\operatorname{Tr}[A_0^{s_0}\cdots A_{N-1}^{s_{N-1}}]=g(s)\prod_{i=0}^{N-1}\delta_{q_i,w_{\beta_i}(s_i)w_{\beta_i}(s_{i+1})}. \tag*{(30)}

The amplitude therefore equals g(s)g(s) for configurations in the sector Ωq⃗\Omega_{\vec{q}} and vanishes otherwise. For a sector, the normalized state consequently has the exact bond-dimension-two MPS representation

∣Ψq⃗⟩=1Nq⃗∑s0,…,sN−1∈{x,y,z}Tr⁡[A0s0⋯AN−1sN−1]∣s0,…,sN−1⟩.(31)|\Psi^{\vec{q}}\rangle=\frac{1}{\sqrt{\mathcal{N}^{\vec{q}}}}\sum_{s_0,\ldots,s_{N-1}\in\{x,y,z\}}\operatorname{Tr}[A_0^{s_0}\cdots A_{N-1}^{s_{N-1}}]|s_0,\ldots,s_{N-1}\rangle. \tag*{(31)}

References

  1. [30]S. Balasubramanian, V. Galitski, and A. Vishwanath, Classical vertex model dualities in a family of two-dimensional frustrated quantum antiferromagnets, Phys. Rev. B 106, 195127 (2022).
  2. [31]B. Mohar, The Laplacian spectrum of graphs, in Graph Theory, Combinatorics, and Applications, Vol. 2, edited by Y. Alavi, G. Chartrand, O. R. Oellermann, and A. J. Schwenk (Wiley, New York, 1991) pp. 871–898.
  3. [32]C. Godsil and G. Royle, The Laplacian of a graph, in Algebraic Graph Theory, Graduate Texts in Mathematics, Vol. 207 (Springer, 2001) pp. 279–306.DOI
  4. [33]F. Verstraete and J. I. Cirac, Renormalization algorithms for Quantum-Many Body Systems in two and higher dimensions (2004), arXiv:cond-mat/0407066.DOI
  5. [34]F. Verstraete, M. M. Wolf, D. Perez-Garcia, and J. I. Cirac, Criticality, the area law, and the computational power of projected entangled pair states, Phys. Rev. Lett. 96, 220601 (2006).pubmed.ncbi.nlm.nih.gov/16803296
  6. [35]F. Verstraete, V. Murg, and J. I. Cirac, Matrix product states, projected entangled pair states, and variational renormalization group methods for quantum spin systems, Advances in Physics 57, 143 (2008).DOI
  7. [36]J. I. Cirac, D. Pérez-García, N. Schuch, and F. Verstraete, Matrix product states and projected entangled pair states: Concepts, symmetries, theorems, Rev. Mod. Phys. 93, 045003 (2021).DOI
  8. [37]D. Sen, R. Shankar, D. Dhar, and K. Ramola, Spin-1 Kitaev model in one dimension, Phys. Rev. B 82, 195435 (2010).
  9. [38]A. Sharma and J. Pandey, Unpublished, (In preparation).
  10. [39]H. J. Changlani, D. Kockovy, K. Kumar, B. K. Clark, and E. Fradkin, Macroscopically degenerate exactly solvable point in the spin-1/2 kagome quantum antiferromagnet, Phys. Rev. Lett. 120, 117202 (2018).DOI

Paper details

vlnc:W_a4cwdqxu
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Physics and Astronomy

Claude Opus 4.8 (bare), GPT-5.6 Sol (bare), ChatGPT Sol 6.1 · View statement →

Looking for related papers…
Contents