
3
of the lattice. The rules for obtaining {nx(t+ 1)}from
{nx(t)}are determined by noting that a two-qubit Clif-
ford gate can evolve a nontrivial two-qubit Pauli string to
any of 15 nontrivial two-qubit Pauli strings (up to phase)
with equal probability, while the trivial Pauli string al-
ways evolves to the trivial Pauli string. Upon adding
system-ancilla swap gates, the Pauli content of each site
xhas an additional probability pof swapping onto an en-
vironment qubit: effectively, the particle hops from the
system to the environment, and the Pauli content of site
xis set to the identity. We therefore obtain the follow-
ing probabilities for the propagation of particles from an
occupied vertex [66]:
t3
5(1 −p)2,1
5(1 −p) + 3
5p(1 −p), 3
5p2+2
5p,(2)
where a dark line indicates the propagation of a particle,
while a dotted line indicates no propagation of a particle.
The case p= 0 returns the results of Refs. [41,42], which
can be interpreted as the stochastic evolution of particles
which can diffuse, spread, or coalesce, but never annihi-
late; the average behavior of the OTOC can be computed
exactly in this case, and one finds a ballistic growth of
the OTOC with a light cone front that broadens as √t.
In contrast, introducing p > 0 allows particles to an-
nihilate, and yields the phenomenology of a DP problem
[38,50,51]. The OTOC’s light cone velocity continu-
ously decreases with increasing pand vanishes at critical
swap rate pc, at which point there is a phase transition
in the DP universality class [63]. For swap rates p<pc,
X0(t) percolates throughout the system qubits with a fi-
nite probability P(t) corresponding to the survival prob-
ability of the associated DP process. On the other hand,
for p > pcthe particle distribution is rapidly driven to
the absorbing state nx(t) = 0; the entire operator X0(t) is
swapped into the environment within a finite timescale,
and C(x, t) vanishes uniformly at all times thereafter.
These qualitative features are observed in Clifford nu-
merical simulations, as demonstrated in Fig. 1(b).
Note that the stochastic rules (2) are not microscopi-
cally equivalent to standard bond DP, due to correlations
between the two edges leaving a vertex. This feature is
not expected to affect the universal behavior of the two
phases or the transition, in accordance with the DP hy-
pothesis [67,68]. To confirm that the phase transition
lies within the DP universality class, we use Clifford sim-
ulations to numerically compute the integrated OTOC
ϱ(t) = 1
NPxC(x, t) for several swap rates [Fig. 1(c)]. We
find that ϱ(t) grows linearly and saturates at a nonzero
value for p<pc, while it rapidly decays to zero for p>pc.
At pc≃0.206, ϱ(t)∼tθgrows as a power law with expo-
nent θ≃0.3175, in good quantitative agreement with the
critical exponent θDP ≈0.3136 governing the analogous
growth of particle density in bond DP [39]. In the Sup-
plemental Material [63] we present additional numerical
evidence for DP universality at the phase transition.
Decoding transition.—The growth of the OTOC can
be associated with the spreading of quantum information
[12,23,69]. However, this interpretation has important
subtleties in our model. Suppose that an observer Alice
stores a k-qubit message in the initial state of the system,
which then undergoes time evolution by the circuit Ut.
It may be tempting to associate the percolating OTOC
to a capacity for another observer, Bob, to recover Al-
ice’s message from the qubits remaining in the system.
However, closer examination shows that even when local
operators develop large support on the system, they have
substantially larger support on the qubits swapped out
to the environment. As a result, Bob can never recover
any fraction of Alice’s message at long times.
To explicate the connection between operator spread-
ing and the flow of quantum information in our model,
we instead ask whether an eavesdropper Eve, who col-
lects the qubits swapped out of the system, can recover
Alice’s message. We demonstrate here that the tran-
sition in operator spreading coincides with a transition
in the fidelity with which Eve can decode Alice’s quan-
tum information from the radiated qubits using a simple
decoding protocol, shown in Fig. 2(a) and discussed be-
low. In the discussion, we comment on an analogy be-
tween our model and that of the Hayden-Preskill thought
experiment [21], and the relation between our decoding
protocol and a similar protocol proposed for Hayden and
Preskill’s problem [23].
Alice’s state is stored initially on the first kqubits of S,
denoted S1. The remaining N−kqubits of Sare denoted
S2. After evolving SE by the circuit Ut, Eve collects the
radiated qubits Eand attempts to decode Alice’s state
without access to S. To construct the decoder, Eve first
introduces an extra set of Nqubits S′=S′
1∪S′
2initialized
in an arbitrary state, then applies the reverse unitary
circuit U†
ton S′E[Fig. 2(a)]. Deep in the nonpercolating
phase, where Alice’s state is always swapped entirely into
the environment, such a decoding protocol will perfectly
reproduce Alice’s state on S′
1.
To quantify the success of Eve’s decoding for general
p, we encode Alice’s state using a reference system A
initialized in a maximally entangled state |Φ+
AS1⟩with
S1, and compute the fidelity with the same state on AS′
1
following the decoding protocol:
F(t) = tr nΦ+
AS′
1EDΦ+
AS′
1U′†
tUtρ0U†
tU′
to,(3)
where ρ0=|Φ+
AS1⟩⟨Φ+
AS1| ⊗ ρS2S′E
0is the initial
state on ASS′E, which consists of the entangled state
|Φ+
AS1⟩⟨Φ+
AS1|on AS1and an arbitrary product state
ρS2S′E
0on the remaining qubits, and U′
tdenotes the uni-
tary circuit acting on S′E. A maximal fidelity F= 1
implies that an arbitrary initial state on S1will be ex-
actly reproduced on S′
1at the end of the protocol, while