
2
such as Lyapunov growth and butterfly velocity [11,14–
27]. The OTOC is experimentally accessible on various
platforms [28–38], where it is often used as a measure of
information scrambling.
Previous work on random circuits and noisy-driven
models has established several related effective classical
models of operator dynamics, including biased random
walk [5], reaction diffusion process [39] and population
dynamics [40]. These classical models are used to fit and
understand experimental data of the OTOC on quantum
platforms [34,41]. The models are obtained by mapping
the unitary operator dynamics to a classical stochastic
process by disorder average. While this approach is fea-
sible for usual noisy/random models without symmetry,
adding charge conservation makes the problem more dif-
ficult as it causes quantum coherence to persist at the
operator level, even after disorder-averaging (Fig. 1(e)).
However, such a classical description is important to ob-
tain for charged models, as thermalization in systems
with charge conservation has recently become accessible
on quantum simulators [42].
There is extensive literature on operator-dynamics [43–
55] and spectral form factors [56–61] in the presence
of symmetries. The primary mechanism through which
charge, or other conserved quantities, can influence oper-
ator growth is by confining the access of growing opera-
tors to a specific (symmetry) sector of the Hilbert space.
In addition, within extended systems, the conservation
law leads to transport of local conserved quantities, which
couples to the operator dynamics. Therefore the correct
semi-classical picture of operator dynamics in the pres-
ence of a symmetry should at least contain two dynamical
variables, the operator size and the local density of the
conserved quantity.
In this work, we study operator dynamics in the pres-
ence of charge transport. We derive the required semi-
classical equations which couple the charge and the oper-
ator, that are valid even in inhomogeneous and dynamical
charge-density backgrounds:
∂tρ=∂2
rρ
∂tξ=∂2
rξ+ 2g2ξ(ξ2−ρ(1 −ρ)) (2)
Here ρ(r, t) is the charge density, which obeys the diffu-
sion equation, while ξ(r, t) is the analog of operator-size
in models with symmetries that measures local scram-
bling of the operator. The dynamics of ξis described by a
diffusion-reaction equation that depends on the dynami-
cal charge density. In particular, the local density bounds
the range of ξfrom 0 to pρ(1 −ρ). We note that this
class of equations has been independently studied in the
context of bacterial population growth in diffusive media,
where it is denoted as the ‘Diffusive Fisher–Kolmogorov
equation’ [62].
To derive these equations, we use the complex Brow-
nian SYK model on a lattice with U(1) symmetry. SYK
models, which are all-to-all interacting models with ran-
dom couplings [63], are well-known for their connection
to black-hole physics [64,65] and for their exactly solv-
able nature in the large-Nlimit [17–20]. Their Brownian
limit, which considers time-dependent couplings, has also
been studied in various contexts [48,50,66–70]. The dy-
namics of Brownian models can be mapped to a stochas-
tic process [39,69,71], or the imaginary time dynamics of
bosonic-models [67]. It has also been shown that Brown-
ian SYK models, in particular, give rise to emergent sym-
metry structures after the disorder averaging procedure
which can be used to compute the OTOC both at large
finite Nand in the infinite-Nlimit [50]. In this work,
we show that the extended complex Brownian model is
mapped to a quantum SU(4) spin chain with inter-site
Heisenberg coupling and intra-site interaction. In the
large Nlimit, the microscopic quantum model is reduced
to the semi-classical equations in Eq. (2). We provide a
complete picture of the coupled dynamics between oper-
ators and charge. Our approach can also be extended to
systems with other symmetries.
The rest of the paper is organized as follows: Sec. II
provides a brief summary of the main results. In Sec. III,
we discuss the operator-basis which respects U(1) sym-
metry and can therefore be used to precisely characterize
the four dynamical charges involved in the computation
of the OTOC. In Sec. IV, we describe the details of the
complex SYK model, and the mapping of the effective
imaginary-time evolution in the Brownian model to an
SU(4) spin-chain. In Sec. Vwe describe the mapping of
operator-states of complex fermions to GT-patterns in
the SU(4) algebra. We also map the physical charges to
the weights of the algebra. Sec. VI covers the primary dis-
tinguishing feature of operator dynamics restricted by a
U(1) symmetry, namely the presence of transitions which
introduce quantum operator coherence. We describe the
procedure to compute the infinite-Nlimit in Sec. VII,
within which we also describe the general structure of the
‘restricted’ Fokker-Planck equation obtained for quan-
tum many-body models with charge conservation. In
Sec. VIII, we derive the equation governing the OTOC,
namely the charge-dependent FKPP equation. This re-
veals some interesting features of operator-dynamics in
the presence of symmetries, as we show in section Sec. IX,
where we examine operator-dynamics in different charge
domain-wall backgrounds and observe the strong influ-
ence of charge dynamics on even non-conserved opera-
tors. Sec. Xconcludes this work with a brief summary
and some discussions on a contrasting view of charge vs.
energy conservation.
II. SUMMARY OF THE MAIN RESULTS
The primary result of our work is captured by Eq (2).
The equation effectively models the evolution of the
OTOC depicted in Eq. (1), for a charge-conserving
fermionic model defined on a chain (Fig. 1(a)). The steps
via which this connection is established are:
•To begin, one specifies the charge density on each