Fredkin Spin Chain

• Fredkin chain is a one-dimensional spin-½ quantum model with conditional three-site interactions and ground states organized by Dyck paths.
• It employs Fredkin gate representations and controlled-SWAP logic to realize a frustration-free Hamiltonian with anomalous entanglement scaling.
• Deformations and colored extensions reveal varied gap behaviors, phase transitions, and hidden Lie-algebra symmetries in the system.

The Fredkin chain is a one-dimensional spin-$\tfrac12$ quantum chain with interaction of three nearest neighbors, introduced as a frustration-free model whose Hamiltonian can be expressed in terms of Fredkin gates and whose exact ground-state structure is organized by Dyck paths rather than Motzkin paths (Salberger et al., 2016). In its open-boundary form, the model has an exactly solvable Dyck-path ground state; in deformed, colored, stochastic, and periodic variants it exhibits area-weighted path ensembles, anomalous entanglement scaling, polynomially or exponentially small gaps depending on regime, slow constrained dynamics, and, for periodic boundary conditions, a hidden Lie-algebraic symmetry acting on a degenerate ground-state manifold (Pronko, 24 Jul 2025).

1. Definition and local interaction structure

In the basic spin-$\tfrac12$ formulation, each site carries basis states $|\uparrow\rangle$ and $|\downarrow\rangle$. The standard open-chain bulk Hamiltonian is written as

$$H_{\rm bulk}=\sum_{i=2}^{N-1} H_i, \qquad H_i = U_{i-1}P_{i,i+1}+P_{i-1,i}D_{i+1},$$

with

$$U_i=\tfrac12(\mathbb 1+\sigma_i^z),\qquad D_i=\tfrac12(\mathbb 1-\sigma_i^z),$$

and

$$P_{i,i+1}=\frac14(\mathbb 1-\vec\sigma_i\cdot \vec\sigma_{i+1}),$$

the two-site singlet projector. The open chain is completed by boundary fields

$$H_{\rm boundary}=|\downarrow_1\rangle\langle\downarrow_1|+|\uparrow_N\rangle\langle\uparrow_N|,$$

which pin the left edge up and the right edge down (Salberger et al., 2016, Adhikari et al., 2020).

The same interaction admits a Fredkin-gate representation. If $F_{i,j,k}$ is the controlled-SWAP gate acting with control on site $i$, then one local term can be rewritten as

$\tfrac12$0

making explicit the relation between the chain and reversible controlled-swap logic (Salberger et al., 2016).

A closely related periodic formulation uses the three-site density

$\tfrac12$1

where

$\tfrac12$2

and

$\tfrac12$3

with site labels understood modulo $\tfrac12$4 (Pronko, 24 Jul 2025). What distinguishes the Fredkin chain from standard nearest-neighbor chains is precisely this conditional three-site structure: a spin-0 component of two adjacent spins interacts with a third neighboring spin (Pronko, 24 Jul 2025).

2. Dyck paths, Fredkin moves, and exact ground states

The combinatorial description is obtained by identifying $\tfrac12$5 with an up-step and $\tfrac12$6 with a down-step. Equivalently, one may identify

$\tfrac12$7

so that spin strings become parenthesis words and lattice walks. A Dyck path is then a walk from $\tfrac12$8 to $\tfrac12$9 that never goes below the axis; the corresponding spin words are balanced parenthesis strings with nonnegative prefix height (Salberger et al., 2016).

The local equivalence relation is generated by the Fredkin moves

$|\uparrow\rangle$0

These moves allow an adjacent matched pair $|\uparrow\rangle$1 to move locally through neighboring unmatched parentheses. Basis states therefore decompose into equivalence classes $|\uparrow\rangle$2, and the open-chain boundary terms select the Dyck class $|\uparrow\rangle$3 (Salberger et al., 2016).

For even open chains, the exact ground state is the equal-weight superposition of all Dyck words,

$|\uparrow\rangle$4

with $|\uparrow\rangle$5 (Salberger et al., 2016). The model is frustration free because each local projector annihilates this state separately.

The same construction extends to colored higher-spin chains. With local Hilbert space $|\uparrow\rangle$6, one obtains properly colored Dyck paths, in which every matched up/down pair carries the same color, and the unique ground state becomes the equal-weight sum over all such properly colored Dyck paths. In this formulation the paper constructs an $|\uparrow\rangle$7-symmetric model, and the leading term of the entanglement entropy is proportional to the square root of the length of the lattice (Salberger et al., 2016).

The Dyck state also admits an exact MPS-like representation. Using infinite matrices

$|\uparrow\rangle$8

the amplitude of a word $|\uparrow\rangle$9 is $|\downarrow\rangle$0, which is nonzero exactly on Dyck words (Salberger et al., 2016).

3. Deformations, colors, and entanglement structure

A major generalization is the deformed Fredkin chain, in which the equal-weight Dyck superposition is replaced by an area-weighted one. In the uniform colored case the Hamiltonian is

$|\downarrow\rangle$1

and the exact ground state is

$|\downarrow\rangle$2

where $|\downarrow\rangle$3 is the area under the Dyck path $|\downarrow\rangle$4 (Salberger et al., 2016, Zhang et al., 2017). At $|\downarrow\rangle$5 this reduces to the undeformed Fredkin chain; for $|\downarrow\rangle$6, high-area paths dominate; for $|\downarrow\rangle$7, low-area paths dominate.

The deformation can be made site dependent while preserving frustration freeness. In the multi-parameter family, the local amplitudes $|\downarrow\rangle$8, $|\downarrow\rangle$9 must satisfy

$$H_{\rm bulk}=\sum_{i=2}^{N-1} H_i, \qquad H_i = U_{i-1}P_{i,i+1}+P_{i-1,i}D_{i+1},$$0

and the ground state is again an exact weighted superposition over colored Dyck paths (Zhang et al., 2017). A two-parameter reformulation writes the active two-site operator as

$$H_{\rm bulk}=\sum_{i=2}^{N-1} H_i, \qquad H_i = U_{i-1}P_{i,i+1}+P_{i-1,i}D_{i+1},$$1

so that the $$H_{\rm bulk}=\sum_{i=2}^{N-1} H_i, \qquad H_i = U_{i-1}P_{i,i+1}+P_{i-1,i}D_{i+1},$$2-deformed family lies on the unit circle

$$H_{\rm bulk}=\sum_{i=2}^{N-1} H_i, \qquad H_i = U_{i-1}P_{i,i+1}+P_{i-1,i}D_{i+1},$$3

with the original Fredkin point at $$H_{\rm bulk}=\sum_{i=2}^{N-1} H_i, \qquad H_i = U_{i-1}P_{i,i+1}+P_{i-1,i}D_{i+1},$$4 (Adhikari et al., 2020).

The entanglement structure depends sharply on $$H_{\rm bulk}=\sum_{i=2}^{N-1} H_i, \qquad H_i = U_{i-1}P_{i,i+1}+P_{i-1,i}D_{i+1},$$5 and on the number of colors. For the uniform model, the half-chain entropy is bounded for $$H_{\rm bulk}=\sum_{i=2}^{N-1} H_i, \qquad H_i = U_{i-1}P_{i,i+1}+P_{i-1,i}D_{i+1},$$6. At $$H_{\rm bulk}=\sum_{i=2}^{N-1} H_i, \qquad H_i = U_{i-1}P_{i,i+1}+P_{i-1,i}D_{i+1},$$7, the known undeformed results are logarithmic scaling for $$H_{\rm bulk}=\sum_{i=2}^{N-1} H_i, \qquad H_i = U_{i-1}P_{i,i+1}+P_{i-1,i}D_{i+1},$$8 and $$H_{\rm bulk}=\sum_{i=2}^{N-1} H_i, \qquad H_i = U_{i-1}P_{i,i+1}+P_{i-1,i}D_{i+1},$$9 scaling for $$U_i=\tfrac12(\mathbb 1+\sigma_i^z),\qquad D_i=\tfrac12(\mathbb 1-\sigma_i^z),$$0. For $$U_i=\tfrac12(\mathbb 1+\sigma_i^z),\qquad D_i=\tfrac12(\mathbb 1-\sigma_i^z),$$1, the colored chain has

$$U_i=\tfrac12(\mathbb 1+\sigma_i^z),\qquad D_i=\tfrac12(\mathbb 1-\sigma_i^z),$$2

so the entropy is linear in the half-chain length, while the colorless chain remains bounded (Zhang et al., 2017). In the earlier deformation paper this same regime is described as a transition to a rainbow-like extensively entangled phase, with

$$U_i=\tfrac12(\mathbb 1+\sigma_i^z),\qquad D_i=\tfrac12(\mathbb 1-\sigma_i^z),$$3

for $$U_i=\tfrac12(\mathbb 1+\sigma_i^z),\qquad D_i=\tfrac12(\mathbb 1-\sigma_i^z),$$4 and bounded entropy for $$U_i=\tfrac12(\mathbb 1+\sigma_i^z),\qquad D_i=\tfrac12(\mathbb 1-\sigma_i^z),$$5 (Salberger et al., 2016).

For $$U_i=\tfrac12(\mathbb 1+\sigma_i^z),\qquad D_i=\tfrac12(\mathbb 1-\sigma_i^z),$$6, the ground-state magnetization is purely along $$U_i=\tfrac12(\mathbb 1+\sigma_i^z),\qquad D_i=\tfrac12(\mathbb 1-\sigma_i^z),$$7,

$$U_i=\tfrac12(\mathbb 1+\sigma_i^z),\qquad D_i=\tfrac12(\mathbb 1-\sigma_i^z),$$8

and $$U_i=\tfrac12(\mathbb 1+\sigma_i^z),\qquad D_i=\tfrac12(\mathbb 1-\sigma_i^z),$$9 exhibits a domain-wall structure (Udagawa et al., 2017). In parallel, bulk tensor networks for colorful area-deformed Fredkin states can be built exactly on an upside-down step pyramid, using $$P_{i,i+1}=\frac14(\mathbb 1-\vec\sigma_i\cdot \vec\sigma_{i+1}),$$0 identical four-index tensors; in the Fredkin specialization the flat-step tiles of the Motzkin construction are removed, leaving only the Dyck-arch sector (Alexander et al., 2018).

4. Gap structure, correlations, and slow dynamics

The original open Fredkin chain is gapless with a polynomially small gap. By mapping the Hamiltonian in the balanced Dyck sector to a reversible Markov chain on colored Dyck paths, the energy of the first excited state above the ground state is bounded from below by $$P_{i,i+1}=\frac14(\mathbb 1-\vec\sigma_i\cdot \vec\sigma_{i+1}),$$1, while a variational twisted-area state gives the upper bound

$$P_{i,i+1}=\frac14(\mathbb 1-\vec\sigma_i\cdot \vec\sigma_{i+1}),$$2

so the gap is polynomially small in $$P_{i,i+1}=\frac14(\mathbb 1-\vec\sigma_i\cdot \vec\sigma_{i+1}),$$3 (Movassagh, 2016).

In the deformed regime $$P_{i,i+1}=\frac14(\mathbb 1-\vec\sigma_i\cdot \vec\sigma_{i+1}),$$4, variational arguments yield much smaller upper bounds. For the colored chain,

$$P_{i,i+1}=\frac14(\mathbb 1-\vec\sigma_i\cdot \vec\sigma_{i+1}),$$5

while for the colorless chain,

$$P_{i,i+1}=\frac14(\mathbb 1-\vec\sigma_i\cdot \vec\sigma_{i+1}),$$6

The latter provides an example of bounded entanglement entropy together with a vanishing spectral gap (Zhang et al., 2017). A related analysis of the same regime proves that the finite-size gap decays at least exponentially with system size,

$$P_{i,i+1}=\frac14(\mathbb 1-\vec\sigma_i\cdot \vec\sigma_{i+1}),$$7

and develops general bounds for von Neumann and Rényi entropies and for the entanglement spectrum for arbitrary bipartitions (Udagawa et al., 2017).

Static correlations are strongly anisotropic in the colorless chain. The connected longitudinal correlator satisfies

$$P_{i,i+1}=\frac14(\mathbb 1-\vec\sigma_i\cdot \vec\sigma_{i+1}),$$8

whereas the transverse one remains finite,

$$P_{i,i+1}=\frac14(\mathbb 1-\vec\sigma_i\cdot \vec\sigma_{i+1}),$$9

and deep in the bulk

$$H_{\rm boundary}=|\downarrow_1\rangle\langle\downarrow_1|+|\uparrow_N\rangle\langle\uparrow_N|,$$0

A local $$H_{\rm boundary}=|\downarrow_1\rangle\langle\downarrow_1|+|\uparrow_N\rangle\langle\uparrow_N|,$$1 quench therefore produces a normal light cone in $$H_{\rm boundary}=|\downarrow_1\rangle\langle\downarrow_1|+|\uparrow_N\rangle\langle\uparrow_N|,$$2-based observables but no light cone in the transverse channel (Dell'Anna et al., 2019).

The dynamical exponent is unusually large. Direct projector Monte Carlo for the lowest $$H_{\rm boundary}=|\downarrow_1\rangle\langle\downarrow_1|+|\uparrow_N\rangle\langle\uparrow_N|,$$3 excitation gives

$$H_{\rm boundary}=|\downarrow_1\rangle\langle\downarrow_1|+|\uparrow_N\rangle\langle\uparrow_N|,$$4

with a consistent independent estimate

$$H_{\rm boundary}=|\downarrow_1\rangle\langle\downarrow_1|+|\uparrow_N\rangle\langle\uparrow_N|,$$5

and interprets the excitation as an excited bond executing a constrained random walk through a Dyck background (Adhikari et al., 2020). A rigorous hydrodynamic bound identifies a pseudolocal conserved matched-parentheses charge and proves

$$H_{\rm boundary}=|\downarrow_1\rangle\langle\downarrow_1|+|\uparrow_N\rangle\langle\uparrow_N|,$$6

establishing subdiffusion in the Fredkin dynamical universality class (McCarthy et al., 2024).

For the deformed Fredkin critical point at $$H_{\rm boundary}=|\downarrow_1\rangle\langle\downarrow_1|+|\uparrow_N\rangle\langle\uparrow_N|,$$7, the gap scales with critical exponents

$$H_{\rm boundary}=|\downarrow_1\rangle\langle\downarrow_1|+|\uparrow_N\rangle\langle\uparrow_N|,$$8

in the $$H_{\rm boundary}=|\downarrow_1\rangle\langle\downarrow_1|+|\uparrow_N\rangle\langle\uparrow_N|,$$9 sector. Standard Kibble–Zurek scaling would give $F_{i,j,k}$0, but because the overlaps $F_{i,j,k}$1 scale with level-dependent exponents, the paper derives and numerically confirms the anomalous law

$F_{i,j,k}$2

instead (Francica et al., 2022).

5. Periodic chain, degeneracy, and hidden Lie symmetry

With periodic boundary conditions, the boundary constraints are removed, the local Fredkin moves acquire periodic extensions, and the ground state becomes highly degenerate. The ground states are organized by equivalence classes $F_{i,j,k}$3 of Dyck paths, where a path starts at $F_{i,j,k}$4, ends at $F_{i,j,k}$5, has $F_{i,j,k}$6, $F_{i,j,k}$7, and must hit the $F_{i,j,k}$8-axis at least once. The corresponding class state is

$F_{i,j,k}$9

and every vector in $i$0 has

$i$1

For each $i$2 there is exactly one zero-energy ground state with cyclic eigenvalue $i$3,

$i$4

When $i$5 is even and $i$6, there is one additional zero-energy ground state with $i$7,

$i$8

Hence the ground-state degeneracy is $i$9 for odd $\tfrac12$00 and $\tfrac12$01 for even $\tfrac12$02 (Pronko, 24 Jul 2025).

A central result in the periodic case is the construction of two nonlocal operators

$\tfrac12$03

equivalently

$\tfrac12$04

which commute with the Hamiltonian,

$\tfrac12$05

and act as raising and lowering operators on the cyclic-invariant ground states,

$\tfrac12$06

away from the extremal $\tfrac12$07 sectors (Pronko, 24 Jul 2025). More generally, the paper proves

$\tfrac12$08

for a family of charge-$\tfrac12$09 operators $\tfrac12$10.

From repeated commutators of $\tfrac12$11, the author conjectures that the symmetry algebra generated on the ground-state manifold is

$\tfrac12$12

In this description,

$\tfrac12$13

where $\tfrac12$14 is central. In the even-$\tfrac12$15 case this formula exactly coincides with the analogous formula previously conjectured for the periodic Motzkin chain (Pronko, 24 Jul 2025).

For even $\tfrac12$16, the periodic chain also possesses

$\tfrac12$17

which commutes with $\tfrac12$18, anticommutes with the cyclic shift, and exchanges the two $\tfrac12$19 parity sectors. This operator is excluded from the main Lie-algebra analysis because it does not commute with the cyclic shift, but it explains the spectral doubling in the $\tfrac12$20 sector (Pronko, 24 Jul 2025).

6. Generalizations, nonergodicity, and related directions

Several later developments place the Fredkin chain in broader settings. A two-parameter extension with Hamiltonian terms $\tfrac12$21 embeds the $\tfrac12$22-deformed model on the unit circle $\tfrac12$23, separating an inner ferromagnetic region from outer antiferromagnetic and dimerized regimes; throughout most of the non-ferromagnetic parts of the phase diagram, the ground state has Dyck word form, while two outer regions favor Dyck-word mismatches and exhibit exponentially small level spacing (Adhikari et al., 2020).

Generalized Fredkin Hamiltonians can also display Hilbert-space fragmentation and exact many-body scars. In one family,

$\tfrac12$24

the minus sign introduces destructive interference preventing spin configurations from connected and therefore fractures the Hilbert space into invariant sub-spaces; within each fractured sub-sector the authors construct an exact zero-energy eigenstate with logarithmic or area-law entanglement entropy (Langlett et al., 2021).

A different deformation away from the stochastic point shows a sudden change from fast thermalization to slow metastable dynamics, connected to emergent kinetic constraints and fragmentation in an effective folded model. In that setting the authors identify non-thermal eigenstates akin to quantum many-body scars, with area-law entanglement at large system size (Causer et al., 2024). On the classical side, a stochastic Fredkin chain with generator

$\tfrac12$25

inherits the same Dyck-path sector, equilibrium three-phase structure, slow dynamics, and active-inactive large-deviation transition (Causer et al., 2022).

A thin-cylinder realization in fractional quantum Hall physics produces a deformed Fredkin model for the $\tfrac12$26 Moore–Read state. After truncation and restriction to the root-state-connected Hilbert-space fragment, the effective qubit Hamiltonian becomes

$\tfrac12$27

with exact ground state

$\tfrac12$28

In the thin-cylinder regime this model reproduces the Moore–Read entanglement properties and geometric-quench response (Voinea et al., 2023).

The integrability question has also been addressed directly. A rigorous analysis of local conserved charges concludes that the Fredkin spin chain, under both periodic and open boundary conditions, has no nontrivial local conserved quantities beyond the obvious trivial ones; partially truncated Fredkin chains remain nonintegrable unless all three-site terms are removed, reducing the model to the pure XXX chain (Fan et al., 5 Sep 2025).

Finally, the name should be distinguished from a very different classical usage. A one-dimensional elementary cellular automaton with memory can realize Fredkin logic via glider collisions on a chain of binary cells, but this is not the quantum many-body Fredkin spin chain (Martinez et al., 2018).