---
title: Deterministic Quantum East Circuit
url: https://www.emergentmind.com/topics/deterministic-quantum-east-circuit
type: topic
---

# Deterministic Quantum East Circuit

to specific statements. Since article can draw primarily on 2306.12467 and 2310.06128, with 2509.07182, 2312.01257, maybe 2309.14430 as methodological context. Need ensure cite no more than once per section. One cite per section maybe.

Need perhaps perform arXiv search. Let's use tool.
A deterministic quantum East circuit is a disorder-free, directionally constrained quantum circuit that realizes the East kinetic rule in discrete time: local evolution is facilitated by a neighboring excitation, so the circuit explores Hilbert space through a strongly asymmetric causal structure rather than through random fields or random gates. In the literature this notion appears in several closely related forms: as a depth-2 Floquet brickwork Trotterization of the quantum East Hamiltonian, as a special “deterministic point” where the local gate becomes a CNOT permutation gate, and as a sequential boundary-driven Clifford circuit with repeated ancilla measurements. Across these constructions, the defining features are fixed local gates, unidirectional facilitation, and nontrivial many-body dynamics ranging from disorder-free localization and finite-time subsystem thermalization to measurement-conditioned fractal correlations [2306.12467].

## 1. Canonical circuit definition

The standard starting point is the continuous-time quantum East model on a chain of \(2L\) spin-\(1/2\) degrees of freedom,
\[
H(a)=\sum_{j=1}^{2L-1} P_j\left(aX_{j+1}-I\right)+aX_1-I,
\qquad
P_j=\frac{I+Z_j}{2},
\]
where \(P_j\) projects onto \(\ket{\uparrow}_j\). The East kinetic constraint is encoded by the factor \(P_j\): the spin at site \(j+1\) is acted on by \(X_{j+1}\) only if site \(j\) is in the \(\ket{\uparrow}\) state. This is the direct quantum analogue of the classical East rule that a spin can flip only if its left neighbor is excited [2306.12467].

The discrete-time Floquet version is a fixed-depth brickwork circuit with single-period operator
\[
\mathbb U(a,\tau)=e^{i\tau}\,\mathbb U_{\rm e}(a,\tau)\,\mathbb U_{\rm o}(a,\tau),
\]
with
\[
\mathbb U_{\rm e}(a,\tau)=U_{1,2}(a,\tau)\,U_{3,4}(a,\tau)\cdots U_{2L-1,2L}(a,\tau),
\]
\[
\mathbb U_{\rm o}(a,\tau)=e^{-i\tau a X_1}\,U_{2,3}(a,\tau)\,U_{4,5}(a,\tau)\cdots U_{2L-2,2L-1}(a,\tau),
\]
and local two-site gates
\[
U_{j,j+1}(a,\tau)=\exp\!\big[-i\tau\,(aP_j\otimes X_{j+1}-P_j\otimes I_{j+1})\big].
\]
Equivalently,
\[
U(a,\tau)=(I-P)\otimes I+P\otimes e^{-i\tau(aX-I)}.
\]
If the left spin is \(\ket{\downarrow}\), the gate is the identity on the right spin; if the left spin is \(\ket{\uparrow}\), it applies a nontrivial single-qubit unitary to the right spin. The left boundary is unconstrained through \(e^{-i\tau a X_1}\), which acts as a source of excitations [2306.12467].

In this Floquet setting, “deterministic” has a precise meaning. There is no disorder, no temporal randomness, and no measurements or probabilistic post-selections; the same unitary \(\mathbb U(a,\tau)\) is applied at every period. The circuit is translation-invariant up to the boundary, and the Trotter limit reproduces the continuous-time propagator,
\[
\lim_{t\to\infty}\mathbb U(a,\mathfrak t/t)^t=e^{-iH(a)\mathfrak t}.
\]

## 2. Deterministic point and exact solvability

A particularly important specialization is the “deterministic point” of the Floquet quantum East model, where the local facilitated gate becomes a CNOT permutation gate and the circuit reduces to a deterministic Floquet quantum East model (DFQE) [2310.06128]. In that representation the local unitary is
\[
U=\mathbb 1\otimes \bar P + X\otimes P,
\]
with \(P=(1+Z)/2\). This is a CNOT with the right qubit as control and the left qubit as target: if the right qubit is \(\ket{0}\), nothing happens; if it is \(\ket{1}\), the left qubit is flipped. The gate is therefore a permutation of computational-basis states, and basis-state dynamics is deterministic.

The brickwork Floquet operator is built from two staggered layers of these CNOT gates. The circuit is a Clifford quantum cellular automaton with a facilitated rule encoded directly in gate orientation. Although the precise left/right convention differs from the brickwork formulation above, both descriptions implement a unidirectional facilitation condition at the gate level. This suggests that the defining invariant is not a single orientation convention but the asymmetric causal structure of the constraint.

At the deterministic point, the quench dynamics can be solved exactly by “space evolution,” obtained by folding the circuit in space-time and replacing time evolution of observables by powers of a space transfer matrix. For broad classes of product initial states, the associated influence states have a dimer-product structure in time, which yields exact formulas for local observables, reduced density matrices, and Rényi entropies [2310.06128].

Two results are structurally central. First, a finite block \(A\) embedded in a solvable environment thermalizes exactly to the infinite-temperature state in a time scaling linearly with block size:
\[
\rho_A(t)=\frac{\mathbb 1}{2^{2\ell}}
\quad\text{for all }t\ge 2\ell
\]
for a block of \(2\ell\) qubits, with a faster \(t=\ell\) thermalization time for a more restrictive subclass of solvable initial states. Second, entanglement grows ballistically but below the dual-unitary bound. The paper proves that the entanglement of a block grows at most at one-half the maximal speed allowed by locality, and that if the block is initially prepared in a classical configuration, the speed of entanglement is one quarter of the maximum [2310.06128].

## 3. Disorder-free localization in the Floquet circuit

Away from the deterministic Clifford point, the Floquet quantum East model exhibits a disorder-free localization transition in the \((a,\tau)\) plane. For each fixed \(\tau\), there is a critical \(a_c(\tau)\) separating a localized or dynamically inactive regime from a thermal or ergodic regime, with numerical behavior
\[
a_c(\tau)\simeq \min(\alpha,\beta/\tau),
\]
where \(\alpha\approx 1\) and \(\beta>0\) is numerically inferred [2306.12467].

The analytic mechanism is expressed most transparently in a ladder representation unitarily equivalent to the brickwork circuit. For a quench from the fully polarized all-down state, the leading perturbative amplitude for a contiguous block of \(x\) up spins satisfies
\[
N'_1(x,t)\simeq (a\tau)^{2x}\left|\binom{t}{x}_q\right|^2,
\qquad q=e^{i\tau},
\]
so the competition is between the local suppression factor \((a\tau)^{2x}\) and the combinatorial growth of the \(q\)-deformed binomial coefficient. If \(\tau/2\pi\) is irrational, the paper shows
\[
\log\left|\binom{t}{x}_q\right|^2=O(t^0),
\]
so the combinatorial factor remains bounded in time and the perturbation stays exponentially localized in space,
\[
N'_1(x,t)\lesssim (a\tau)^{2x}\times \text{const},
\qquad
x_0\sim -\frac{1}{2\log(a\tau)}.
\]
If \(\tau/2\pi\) is rational, the \(q\)-Lucas theorem implies exponential combinatorial growth and a linearly propagating front, hence delocalization [2306.12467].

This yields the central finite-\(\tau\) statement: the localization transition persists for discrete times and is present for any finite value of the time step apart from a zero-measure set. The exceptional set consists of rational multiples of \(2\pi\),
\[
\tau=\frac{2\pi c}{d},
\qquad c,d\in\mathbb N,\ \gcd(c,d)=1.
\]
Small denominators generate particularly strong deviations from localization and “Arnold-tongue-like” irregular structures in the phase diagram. In the Trotter limit \(a_c(\tau\to 0)\to 1\), consistent with the continuous-time Hamiltonian model, although the paper emphasizes that the limits \(t\to\infty\) and \(\tau\to 0\) do not commute [2306.12467].

## 4. Dynamical diagnostics and eigenstate structure

The primary quench protocol begins from the fully polarized state
\[
\ket{\psi_0}=\ket{\downarrow\downarrow\cdots\downarrow}.
\]
All bulk conditional gates act trivially on this state, so only the left boundary term initiates dynamics; this makes the protocol a boundary quench with a direct operator-spreading interpretation. The main diagnostics are the rightmost-up-spin distribution \(N(x,t)\), the von Neumann entanglement entropy \(S(x,t)\), and the inverse participation ratio (IPR) extracted from the time-averaged Loschmidt echo [2306.12467].

In the localized regime, \(N(x,t)\) stays concentrated near the boundary and does not develop a front at \(x\sim t\); \(S(x,t)\) saturates rapidly and remains bounded, with a localized entanglement peak near the left edge; and the IPR remains \(L\)-independent, consistent with dynamics confined to a finite-dimensional edge subspace. In the thermal regime, the support of \(N(x,t)\) extends ballistically with maximum front velocity \(v=2\) sites per period due to the brickwork geometry, \(S(x,t)\) develops a propagating entanglement front and volume-law saturation, and the IPR decays as \(2^{-L}\), as expected for thermal eigenstates [2306.12467].

The Floquet paper does not give a closed-form eigenstate classification, but it links the localized dynamics to an exponentially large family of non-thermal eigenstates already known in the continuous-time quantum East model. Those states are described as weakly entangled and localized near the boundary or within finite regions, and earlier Hamiltonian analysis established that their number is exponentially large in system volume. A plausible implication is that the Floquet localized phase inherits a similarly large non-thermal sector, even though explicit Floquet LIOM formulas are not given [2306.12467].

At the deterministic point, the exact quench solution sharpens these observations from a complementary angle. For classical initial blocks and for flat \(\ket{-}\)-product states, the Rényi entropies obey
\[
S^{(n)}(t)=\min(t,2\ell)\ln 2,
\]
while for a special subclass of solvable initial states
\[
S^{(n)}(t)=\min(2t,2\ell)\ln 2.
\]
These piecewise-linear laws make the relation between facilitation and entanglement-speed reduction explicit [2310.06128].

## 5. Sequential boundary-measured circuits

A distinct but closely related construction is the sequential deterministic quantum East circuit with boundary measurements. Here the system is a chain of \(L\) qubits coupled, at each time step, to a fresh ancilla qubit. The ancilla interacts through a fixed sequence of CNOT and SWAP gates,
\[
U_{\text{SQC}}=U^{\text{CNOT}}_{0,1}\,U^{\text{CNOT}}_{1,2}\cdots U^{\text{CNOT}}_{L-1,L},
\]
followed by a SWAP sequence, and is then projectively measured in the computational basis. The circuit is fully deterministic in the sense that gate placement and gate choice are fixed; the only randomness arises from measurement outcomes [2509.07182].

The averaged one-step channel \(\mathcal M\) is CPTP, unital, and has the maximally mixed state as its unique steady state, so typical long-time trajectories are trivial: the bulk state is a product of maximally mixed qubits and ancilla outcomes are IID Bernoulli. The nontrivial structure emerges under large-deviation conditioning of the measurement record. Tilting trajectories by a counting field \(s\) produces a tilted channel \(\mathcal M_s\) with exact scaled cumulant generating function
\[
\theta(s)=\ln(2\cosh s).
\]
Although this SCGF is simple, the dominant left eigenmatrix is highly structured,
\[
\rho_s^{\triangleleft}=\mathcal U^{\triangleleft}(m_s^{\otimes L})\,e^{-L\theta(s)},
\]
where \(\mathcal U^{\triangleleft}\) is a triangular superoperator built from folded CNOTs [2509.07182].

The conditioned state is diagonal in the computational basis and therefore separable, but its correlations are long-ranged and fractal. The key operator identity is
\[
\tilde Z_i=\mathcal U^{\triangleleft}(Z_i)=\prod_{k=0}^i Z_k^{\beta_{i,k}},
\qquad
\beta_{i,k}=\binom{i}{k}\bmod 2,
\]
so the support pattern is exactly the Sierpiński triangle. One-point and two-point functions can then be written in closed form, and the paper exhibits connected correlators such as
\[
C_s(2^m,2^n)=e^{2q(s)}-e^{4q(s)},
\qquad
q(s)=\ln\tanh s,
\]
which remain \(O(1)\) even as \(|2^m-2^n|\to\infty\). The corresponding Doob-transformed channel \(\mathcal M_s^{\rm D}\) is obtained exactly and is shown to equal the Petz recovery map of a complementary time-reversed channel,
\[
\mathcal M_s^{\rm D}=\widetilde{\mathcal M_s}^{\,\rm P}.
\]
This provides an exact many-body realization of rare-trajectory control by boundary measurements [2509.07182].

## 6. Extensions, implementations, and conceptual scope

The East construction has also been extended to inhomogeneous East/West heterojunctions. In that setting the Hamiltonian
\[
H=H_{\rm east}+H_{\rm cont}+H_{\rm west}
\]
combines a left East segment, a central hopping contact term, and a right West segment with reversed facilitation. A Trotterized circuit realization consists of on-site gates implementing \(e^{-i\Delta t\,\mu_i n_i/2}\), directional controlled-\(X\) rotations implementing East or West kinetic constraints, and a two-site hopping gate at the junction. The control parameters are the initial occupation pattern \(\rho_0\), the site-dependent chemical potential \(\mu_i\), and the drive-region size \(D\) [2312.01257].

Within this heterojunction geometry, the paper reports cyclic entanglement entropy spreading, directional entanglement flow toward the junction, and an approximate superposition principle for entanglement generated by East and West sources. The number of initial \(\ket{1}\) states is treated as an effective temperature, while \(\mu_i\) governs both energy cost and dynamical speed. This does not define a unique canonical deterministic quantum East circuit, but it shows that the East mechanism can be modularized into directional subcircuits whose entanglement contributions add in a simple way [2312.01257].

From an implementation standpoint, the Floquet East circuit is composed entirely of one-qubit rotations and nearest-neighbor two-qubit conditional gates, with circuit depth per Floquet period scaling as \(O(1)\). The papers explicitly note superconducting qubits, trapped ions, and neutral-atom or Rydberg platforms as relevant architectures, and state that the Floquet localization transition is currently observable in state-of-the-art platforms for digital quantum simulation [2306.12467].

A common misconception is to reduce the subject to a single circuit definition. The literature instead supports a broader usage. The phrase covers at least four technically distinct but structurally aligned constructions: the Trotterized Floquet circuit, the CNOT deterministic point, the sequential boundary-measured Clifford circuit, and the East/West heterojunction generalization.

| Variant | Defining ingredients | Characteristic result |
|---|---|---|
| Floquet quantum East model | Depth-2 brickwork, conditional two-site gates, boundary rotation | Disorder-free localization transition |
| Deterministic point | CNOT permutation gate in brickwork Floquet circuit | Exact quench solution and finite-time subsystem thermalization |
| Sequential boundary-measured circuit | CNOT/SWAP chain with repeated ancilla measurements | Sierpiński-fractal conditioned correlations |
| East/West heterojunction | Inhomogeneous East and West segments with hopping contact | Directed cyclic entanglement spreading |

Taken together, these works define the deterministic quantum East circuit not as a single gate list but as a research program on directionally facilitated, disorder-free quantum circuits. Its significance lies in showing that simple asymmetric constraints can generate sharply distinct dynamical phenomena: localization without disorder, exact but submaximal entanglement spreading, finite-time local thermalization, and long-range measurement-conditioned correlations prepared from boundary control alone [2306.12467].

Source: https://www.emergentmind.com/topics/deterministic-quantum-east-circuit