Topological Modes in Monitored Quantum Dynamics
Topological Modes in Monitored Quantum Dynamics
ization problem under the Altland-Zirnbauer symmetry classification. Guided by this unification,
we identify the topological area-law-entangled phases in the former setting through the topological
classification of disordered insulators and superconductors in the latter. As examples, we focus on
1+1D free-fermion monitored dynamics in two symmetry classes, DIII and A. We construct quan-
tum circuit models to study different topological area-law phases and their domain walls in the
respective symmetry classes. We find that the domain wall between topologically distinct area-law
phases hosts dynamical topological modes whose entanglement is protected from being quenched by
the measurements in the monitored dynamics. We demonstrate how to manipulate these topologi-
cal modes by programming the domain-wall dynamics. In particular, for topological modes in class
DIII, which behave as unmeasured Majorana modes, we devise a protocol to braid them and study
the entanglement generated in the braiding process.
Introduction.— Monitored dynamical quantum sys- This unification implies a correspondence between the
tems evolve through both unitary evolution and mea- phases in free-fermion monitored dynamics with an area-
surements that “monitor” the systems’ wave function. law entanglement entropy (EE) scaling and disordered
The ground-breaking discovery of the measurement- localized phases in the Anderson localization problem
induced phase transitions [1–6] in monitored dynamics of the same symmetry class. The latter is well-known
has sparked extensive research recently to explore the to further subdivide into topological insulators and su-
rich landscape of novel dynamical quantum matter in perconductors within each symmetry class (see review
such systems. Significant progress has been made in un- Refs. [47, 48]). The domain walls (DWs) between distinct
derstanding the changes of entanglement structure across topological localized phases host topologically protected
the measurement-induced phase transitions (see, for ex- modes. Through this correspondence, area-law phases in
amples, Refs. [1–4, 7–20] and reviews Refs. [5, 6]) and free-fermion dynamics should follow the same topological
the effect of global symmetries in enriching the phase classification, and the DWs between them should exhibit
diagram of monitored dynamical systems [21–32]. In dynamical topological domain-wall modes (DTDMs).
contrast, topological properties of monitored dynamics In this paper, we demonstrate the topology and the
have only been previously investigated in limited exam- DTDMs of 1D area-law phases of free-fermion monitored
ples [23, 33, 34]. This work investigates novel topological dynamics in AZ symmetry classes DIII and A as ex-
phenomena in the monitored dynamics through the lens amples, corresponding to 2D disordered localized phases
of free-fermion systems. classified by Z2 and Z, respectively [47, 48]. We first
In free-fermion monitored dynamics, both unitary evo- construct quantum circuit models to realize the topolog-
lutions and the measurements keep the fermionic states ically distinct area-law phases, expected from the corre-
non-interacting. That is, a Slater-determinant state (or spondence, within each symmetry class. Then, we design
its charge-non-conserved counterpart) always evolves into circuit models with DWs to investigate the entanglement
another Slater-determinant state in every quantum tra- structure and the topological classification of the DTDMs
jectory (labeled by the different measurement outcomes). via numerical simulations. We show that despite fre-
Despite being “free”, the intrinsic randomness in the quent measurements in the surroundings of the DWs, the
measurement outcomes can still lead to rich universal entanglement carried by the DTDMs remains protected
behavior in the entanglement structure, as shown in pre- from being quenched by the (symmetry-allowed) mea-
vious works [26–30, 34–45]. This work is motivated surements. We demonstrate how to manipulate the DT-
by a unification of the free-fermion monitored dynam- DMs by programming DWs in the circuits. Specifically,
ics in d spatial dimensions with the Anderson local- for class-DIII monitored dynamics, where each DTDM is
ization problem in d + 1 spatial dimensions under the effectively an unmeasured Majorana mode, we design a
Altland-Zirnbauer (AZ) symmetry classification [26, 46]. protocol to braid these DTDMs and study the entangle-
2
ment generated in the braiding process. to simplify the parametrization. When podd (peven ) is
large, the actions on odd (even) links are predominantly
(a) (b)
t L = 32 measurements, while those on the even (odd) links are
0.4
L = 64 predominantly two-site random unitary gates. We will
L = 128
B A L = 256 determine the phase diagram of this monitored Majorana
IA,B
1
peven
chain parametrized by podd (abbreviated as p hereafter).
Area law Critical Area law
To distinguish different dynamical phases, we numer-
podd
ically calculate the average steady-state mutual infor-
0 x 0.0 p
0 pc,1 0.5 pc,2 1 mation (MI) IA,B between two antipodal regions with
LA = LB = L4 as shown in Fig. 1(b) (see Secs. I and III
FIG. 1. (a) Spacetime geometry of a symmetry-class-DIII in SM for details). The phase diagram in Fig. 1(b) illus-
monitored circuit on a Majorana chain of L sites (black dots). trates two phase transitions at pc,1 ≈ 0.4 and pc,2 ≈ 0.6
This circuit has a staggered pattern with different measure- indicated by crossings of IA,B for different system sizes
ment probabilities podd/even in different two-site gates. (b) L. For p ∈ [0, pc,1 ) and p ∈ (pc,2 , 1], IA,B vanishes as L
Average steady-state mutual information IA,B as a function
grows, signifying the dynamical phases with the area-law
of p ≡ podd = 1 − peven in the class-DIII monitored circuit
shows two distinct area-law phases, separated by a critical scaling of the steady-state EE. For p ∈ [pc,1 , pc,2 ], the
phase. Inset shows the configuration of two antipodal regions, system is in a critical phase (where the EE scales loga-
A and B, on a ring geometry to compute IA,B . rithmically). These area-law and critical phases of the
monitored Majorana chain have been previously identi-
Monitored dynamics in a free Majorana chain— We fied by Refs. [26–28, 35] in similar models. We use the
start with the monitored dynamics of a free Majorana phase diagram in Fig. 1(b) to guide our subsequent in-
chain without any symmetry constraint (except fermion vestigation of the DW between the topologically distinct
parity). This system belongs to the AZ symmetry class area-law phases at p < pc,1 and p > pc,2 .
DIII, which can be understood from both the transfer The physical intuition for the two topologically distinct
matrix for single-particle evolution and density matrix area-law phases is as follows: In the long-time limit, the
evolution in a doubled Hilbert space [26] [see Sec. II two types of dynamical phases are dominated by the mea-
in Supplemental Material (SM) for a review]. The dy- surements that dimerize the Majorana chain on the even
namical phases where the system evolves into states with (odd) links. Their spatial DW must host a protected
area-law EE scaling correspond to 2D disordered class- DTDM, equivalent to a Majorana mode that cannot be
DIII superconductors, whose topologies are Z2 -classified. measured by itself. In a complementary picture, the dy-
Below, we construct monitored quantum circuits to real- namics of the two area-law phases in the 1+1D space-
ize the two classes of area-law dynamical phases and show time correspond to the quantum states of the two classes
that each DW between them hosts a localized DTDM, of disordered topological superconductors in 2-spatial di-
equivalent to an effective unmeasured Majorana mode. mensions in class DIII [26]. Therefore, the spacetime DW
We design protocols to braid these DTDMs and study between the two area-law phases must exhibit nontrivial
the entanglement generation during the braiding process. dynamics of the DTDMs. Below, we confirm and reify
We consider a class-DIII free-fermion monitored dy- these intuitions by investigating concrete circuit models
namics driven by the monitored circuit shown in Fig. 1(a) with a DW between the two area-law phases.
acting on a chain with L Majorana modes γ̂i=1,2,...,L and Domain-wall dynamics—In exploring the phase dia-
the periodic boundary condition. For each pair of adja- gram Fig. 1, we keep the p homogeneous in spacetime. To
cent Majorana modes (γ̂i , γ̂i+1 ), we apply either a two- study DWs and DTDMs, we generalize p to a smoothly-
site random unitary gate, exp{θγ̂i γ̂i+1 } with a random varying spacetime-dependent probability p(i, t) for mea-
θ ∈ [0, 2π), with a probability 1 − p, or a two-site pro- suring odd links, while locally maintaining peven + podd =
jective measurement of the local fermion parity iγ̂i γ̂i+1 1. By programming p(i, t), we can create spacetime do-
with a probability of p. For each measurement, the sys- mains (with p < pc,1 and p > pc,2 ) dominated by one
tem evolves under the Kraus operators 1±iγ̂2i γ̂i+1 (which of the two area-law dynamical phases with DWs in be-
collapse the wave function at the measured sites) de- tween. As a concrete example, we consider a 128-site Ma-
pending on the measurement outcome. Both the uni- jorana chain with a spacetime configuration p(i, t) shown
tary gates and measurements evolve free-fermion states in Fig. 2(a). This configuration starts with a uniform
to free-fermion states. p < pc,1 at t = 0. A pair of DWs are introduced at i = L4
A staggered pattern of p in the quantum circuit al- and i = 3L4 at time t = 1, with two DTDMs expected to
lows access to different dynamical phases: In the first emerge. For later times, we program p(i, t) so that the
(second) half of each time step, the probability of mea- two DWs cross and continue propagating until t = 80.
suring the parity of Majorana pairs on odd (even) links, To examine the entanglement evolution in the physi-
(γ̂2i−1 , γ̂2i ) [(γ̂2i , γ̂2i+1 )], is denoted as podd (peven ) [dark cal Majorana chain, we introduce a reference Majorana
(light) blue gates in Fig. 1(a)]. We set podd + peven = 1 chain of the same length [gray dots in Fig. 2(d)] that
3
B A B A B A B A
β2β α2α1 β2β α1 β2 α1 β2α β1α1
α2 β1
t = 47 t = 48 t = 80 1 1 2
α2
I [log 2]
Entanglement contour and total entanglement entropy (in bi- 1 IB,C
nary logarithm) of the physical chain in a typical quantum tra- IA,C
jectory. The peaks in the entanglement contour indicate the 0
t0 t1 t2 t3
spacetime position of the dynamical topological domain-wall
modes. (d) Schematics for the “ideal” entanglement structure
of physical and reference systems at different times t. Each FIG. 3. Top: Schematics for the four stages of the DTDM
dot presents a Majorana mode, with the DTDMs colored red. braiding protocol, where α1 , α2 and β1 , β2 represent the DT-
The colored strip behind physical sites represents the config- DMs. We numerically simulate the protocol for a T-junction
uration of p(i, t) shown in (a). Each pair of modes connected of three 64-site chains. Bottom: Mutual information between
by a wavy line is maximally entangled. the pair of chains (A, B), (B, C), and (C, A) in a typical quan-
tum trajectory as a function of time t.
is mode-by-mode maximally entangled with the physical Braiding.— Using the ability to control the DTDMs,
chain at t = 0. The EE Sp between the physical and we study a protocol to braid them in a T-junction ge-
reference chains evolves [Fig. 2(c)] as the physical chain ometry [see Fig. 3(a)] formed by Majorana chain A, B,
undergoes the monitored circuit evolution. Since we are and C. With a short-range entangled state on each chain
considering a free-fermion system, we can use the entan- at the beginning, the pairwise MI IA,B , IB,C , and IA,C
glement contour (EC) sp (i) to spatially resolve the phys- are all initially zero. At time t0 , we create a maximally-
ical chain’s entanglement with the reference chain [49]. entangled pair of DTDMs α1,2 (β1,2 ) on chain A (B) via
Note that sp (i) is not the EE at the site i and satisfies the dynamics shown in Fig. 2. In the following, we devise
P
i sp (i) = Sp (see Sec. I 2 for its definition). Figure 2(b)
a protocol that braids α2 and β1 and study the evolution
shows the time evolution of sp (i) for a typical quantum of MI IA,B , IB,C , and IA,C among the three chains in-
trajectory in the monitored dynamics governed by p(i, t) duced by the braiding in typical quantum trajectories.
shown in Fig. 2(a). Figure 3 outlines this braiding protocol and the evolu-
As the physical system evolves beyond t = 1, the total tion of IA,B , IB,C , and IA,C in the process (See Sec. III 4
EE quickly drops from the maximal value Sp = L2 log 2 = in SM for microscopic details). From time t0 to t1 , we
64 log 2 to Sp = log 2. Most of the physical chain disen- combine chain A and B into one single chain and program
tangles from the reference by the measurements. The EC the DW configurations to move the DTDM α2 from chain
sp (i) develops two peaks, each contributing 12 log 2 to the A to C, after which the two chains become entangled as
total EE, localized around the two DWs. Each peak cor- indicated by IA,C = 2 log 2 in Fig. 3. The DTDMs α1 and
responds to a DTDM [red dot in Fig. 2 (d)], equivalent β1,2 stand still during this time. From time t1 to t2 , we
to an effective Majorana mode whose entanglement with use the same method to move the DTDM β1 from chain
the reference chain is protected from being quenched by B to A keeping α1,2 and β2 fixed. From time t2 to t3 , we
the local measurements, consistent with our expectation. complete the braiding by moving β1 from chain C to A.
During t ∈ [17, 47], DWs are programmed via p(i, t) to This braiding process entangles chains A and B, leading
approach each other, and the DTDM follows the DWs to IA,B = 2 log 2 as expected. Our DTDM braiding pro-
with their EC peaks still integrated to 12 log 2 each, as tocol resembles the braiding protocol for Majorana zero
shown in Fig. 2(b). modes using nanowire T-junctions. [50, 51] However, be-
As the two DWs cross at t = 48, the EC peaks car- ing independent of any Hamiltonian, our protocol is not
ried by the DTDMs annihilate each other, manifesting a limited by any energy gap in the spectrum but only the
Z2 classification consistent with that of the DWs in 2D correlation length in the area-law phases.
4
(a) (b)
t 0.5 evolution induced by (generalized) measurements [52]
L = 16 L = 64 n o
†
L = 32 L = 128 to take the form exp ±α(ci,A cj,B + h.c.) . α ∈ R
1
α1 Area law Area law parametrizes the measurement strength. Such Kraus
IA,B
operators can be implemented as the weak measure-
α0 ments of the respective occupancy on the fermion modes
θ1 θ2 √1 (ci,A ± cj,B ) followed by post-selection of the quantum
0 x 0.0 tanh2 α0 2
A B 0 tanh2 α0,c 1 trajectories (see Sec. IV 2 in SM for this post-selected
(c) (d) sp (i) (e) weak measurement). The α → ∞ limit corresponds to
t 0 r(i, t) 2 t 0 1 t
160 the projective measurements of these particle numbers
128 followed by post-selecting the two trajectories with a to-
+1 −1
96
tal occupancy 1 on the two associated modes.
64 +1 +1 −2
32 To understand the phases of the class-A moni-
+1 +1 −2 Sp tored dynamics, we study the circuit as shown in
0 i i
1 32 64 96 128 1 32 64 96 128 0 2 4 128 Fig. 4(a), where each two-site gate implements the post-
selected nweak measurementothrough the Kraus opera-
FIG. 4. (a) Spacetime geometry of a class-A monitored
tors exp ±α(c†i,A cj,B + h.c.) with the probability of the
circuit on a 1D complex fermion chain with each unit cell
(dashed box) containing two sublattices A and B. Two-site sign ± following the (post-selected) Born rule. To access
(post-selected) measurements (purple and orange gates) and different area-law phases, we consider different measure-
onsite unitary gates (gray gates) are defined in the main text. ment strengths α0,1 for the two types of measurements
(b) Average steady-state mutual information IA,B as a func- (purple and orange gates) in Fig. 4(a) corresponding to
tion of α0 with tanh2 α0 + tanh2 α1 = 1. (c) Spacetime con-
i = j and i = j + 1, with tanh2 α0 + tanh2 α1 = 1. Hence,
figuration r(i, t) for a class-A monitored circuit on a 128-site
chain, encoding DWs of different integer classes as labeled. when the pairs of fermion modes (ci,A , ci,B ) are strongly
(d-e) Entanglement contour and total entanglement entropy (weakly) measured, the pairs (ci,A , ci+1,B ) are weakly
(in binary logarithm) of the physical chain in a typical quan- (strongly) measured. Each gray gate is an onsite unitary
tum trajectory. gate defined above with independent random phases θ1,2 .
In Fig. 4(b), we numerically calculate the average
steady-state MI IA,B for two antipodal intervals A and B
Monitored dynamics with charge conservation and chi- [in the same geometry as in Fig. 1(b)] as a function of α0
ral symmetry— Now, we study the monitored dynamics to map out the phase diagram. This phase diagram con-
in a different AZ symmetry class, class A. The class-A tains two area-law phases (separated by α0 = α0,c ) where
area-law phases in one spatial dimension correspond to the chain develops a steady-state dimerization pattern
disordered insulators in the same class in two spatial di- between the two sublattices within each unit cell or span-
mensions [26], implying the Z classification for both area- ning neighboring unit cells. In general, there should be
law phases and their DWs. Below, we study the behavior an area-law dynamical phase associated with the range-
DTDMs in class-A monitored dynamics. R dimers between (ci,A , ci+R,B ) for every R ∈ Z, match-
A 1D monitored system in class A is constructed on ing the Z classification of the corresponding 2D class-
complex fermions on a bipartite lattice, with sublattices A disordered insulators [26, 47, 48]. The DW between
A and B [dark and light brown dots in Fig. 4(a)]. We two area-law dynamical phases with different dimeriza-
denote the fermion operators on the two sublattices in tion ranges R (on the left) and R′ (on the right) is ex-
the ith unit cell as c†i,A/B and ci,A/B . Monitored dynam- pected to carry |R − R′ | DTDMs, each being an effective
ics in class A are defined by the dynamics that respect complex-fermion mode of the same sublattice type (A or
the U(1) charge conservation and an anti-unitary chiral B depending on the sign of R−R′ ). The entanglement on
symmetry C, defined by ci,A → −c†i,A , ci,B → c†i,B , i → −i, the DTDMs is protected from being quenched by local
in each quantum trajectory (see Sec. IV 2 in SM for the measurements because the chiral symmetry C required by
identification of symmetry class A). In other words, the symmetry class A only allows modes from the sublattices
U(1) and C actions must commute with all unitary gates A and B to be measured in pairs. Therefore, each DW
and Kraus operators capturing the measurements. should be classified by ∆R = R′ − R ∈ Z.
To preserve U(1) and C, the unitary gates must act To numerically study the entanglement carried by the
only within each sublattice. Here, wenchoose the simplesto DTDMs, we generalize the two-site measurements in
case with onsite unitary gates, exp iθ1 c†i,A ci,A − 21 Fig. 4(a) to measurements with their ranges controlled by
n o a smoothly-varying function r(i, t) in spacetime. For the
and exp iθ2 c†j,B cj,B − 12 , with θ1,2 ∈ R (see Sec. IV 3 unit cell i at time t, we measure (with post-selection) the
in SM for longer-range unitary gates). These symmetries fermion pairs (ci,A , ci+⌊r⌋,B ) and (ci,B , ci+⌊r⌋+1,A ) with
require the Kraus operators capturing the non-unitary respective measurement strengths tanh2 α = 0.04, 0.96,
5
the projective transverse field Ising model, Physical Re- 10.48550/arXiv.2307.13038 (2023).
view B 102, 094204 (2020). [33] A. Lavasani, Y. Alavirad, and M. Barkeshli, Topological
[16] X. Turkeshi, R. Fazio, and M. Dalmonte, Measurement- Order and Criticality in (2 + 1)D Monitored Random
induced criticality in (2+1)-dimensional hybrid quantum Quantum Circuits, Physical Review Letters 127, 235701
circuits, Physical Review B 102, 014315 (2020). (2021).
[17] M. Ippoliti, M. J. Gullans, S. Gopalakrishnan, D. A. [34] G. Kells, D. Meidan, and A. Romito, Topological transi-
Huse, and V. Khemani, Entanglement Phase Transitions tions in weakly monitored free fermions, SciPost Physics
in Measurement-Only Dynamics, Physical Review X 11, 14, 031 (2023).
011030 (2021). [35] A. Nahum and B. Skinner, Entanglement and dynamics
[18] A. Nahum, S. Roy, B. Skinner, and J. Ruhman, Measure- of diffusion-annihilation processes with Majorana defects,
ment and Entanglement Phase Transitions in All-To-All Physical Review Research 2, 023288 (2020).
Quantum Circuits, on Quantum Trees, and in Landau- [36] X. Cao, A. Tilloy, and A. De Luca, Entanglement in
Ginsburg Theory, PRX Quantum 2, 010352 (2021). a fermion chain under continuous monitoring, SciPost
[19] A. Zabalo, M. J. Gullans, J. H. Wilson, R. Vasseur, Physics 7, 024 (2019).
A. W. W. Ludwig, S. Gopalakrishnan, D. A. Huse, and [37] O. Alberton, M. Buchhold, and S. Diehl, Entanglement
J. H. Pixley, Operator Scaling Dimensions and Multi- Transition in a Monitored Free-Fermion Chain: From Ex-
fractality at Measurement-Induced Transitions, Physical tended Criticality to Area Law, Physical Review Letters
Review Letters 128, 050602 (2022). 126, 170602 (2021).
[20] Y. Li, R. Vasseur, M. P. A. Fisher, and A. W. W. Ludwig, [38] M. Buchhold, Y. Minoguchi, A. Altland, and S. Diehl, Ef-
Statistical Mechanics Model for Clifford Random Tensor fective Theory for the Measurement-Induced Phase Tran-
Networks and Monitored Quantum Circuits, Physical Re- sition of Dirac Fermions, Physical Review X 11, 041004
view B 109, 174307 (2024). (2021).
[21] S. Sang and T. H. Hsieh, Measurement-protected quan- [39] I. Poboiko, I. V. Gornyi, and A. D. Mirlin, Measurement-
tum phases, Physical Review Research 3, 023200 (2021). Induced Phase Transition for Free Fermions above One
[22] Y. Han and X. Chen, Measurement-induced criticality Dimension, Physical Review Letters 132, 110403 (2024).
in Z2 -symmetric quantum automaton circuits, Physical [40] K. Chahine and M. Buchhold, Entanglement phases, lo-
Review B 105, 064306 (2022). calization, and multifractality of monitored free fermions
[23] A. Lavasani, Y. Alavirad, and M. Barkeshli, in two dimensions, Physical Review B 110, 054313
Measurement-induced topological entanglement transi- (2024).
tions in symmetric random quantum circuits, Nature [41] L. Fidkowski, J. Haah, and M. B. Hastings, How Dynam-
Physics 17, 342 (2021). ical Quantum Memories Forget, Quantum 5, 382 (2021).
[24] U. Agrawal, A. Zabalo, K. Chen, J. H. Wilson, A. C. [42] J. Merritt and L. Fidkowski, Entanglement transitions
Potter, J. H. Pixley, S. Gopalakrishnan, and R. Vasseur, with free fermions, Physical Review B 107, 064303
Entanglement and charge-sharpening transitions in U(1) (2023).
symmetric monitored quantum circuits, Physical Review [43] X. Chen, Y. Li, M. P. A. Fisher, and A. Lucas, Emer-
X 12, 041002 (2022). gent conformal symmetry in nonunitary random dynam-
[25] F. Barratt, U. Agrawal, S. Gopalakrishnan, D. A. Huse, ics of free fermions, Physical Review Research 2, 033017
R. Vasseur, and A. C. Potter, Field theory of charge (2020).
sharpening in symmetric monitored quantum circuits, [44] Q. Tang, X. Chen, and W. Zhu, Quantum criticality
Physical Review Letters 129, 120604 (2022). in the nonunitary dynamics of (2 + 1)-dimensional free
[26] C.-M. Jian, B. Bauer, A. Keselman, and A. W. W. Lud- fermions, Physical Review B 103, 174303 (2021).
wig, Criticality and entanglement in nonunitary quantum [45] H. Guo, M. S. Foster, C.-M. Jian, and A. W. W. Ludwig,
circuits and tensor networks of noninteracting fermions, Field theory of monitored, interacting fermion dynamics
Physical Review B 106, 134206 (2022). with charge conservation, arXiv:2410.07317 (2024).
[27] C.-M. Jian, H. Shapourian, B. Bauer, and A. W. W. Lud- [46] A. Altland and M. R. Zirnbauer, Nonstandard symme-
wig, Measurement-induced entanglement transitions in try classes in mesoscopic normal-superconducting hybrid
quantum circuits of non-interacting fermions: Born-rule structures, Physical Review B 55, 1142 (1997).
versus forced measurements, arXiv:2302.09094 (2023). [47] A. W. W. Ludwig, Topological phases: Classification
[28] M. Fava, L. Piroli, T. Swann, D. Bernard, and A. Nahum, of topological insulators and superconductors of non-
Nonlinear Sigma Models for Monitored Dynamics of Free interacting Fermions, and beyond, Physica Scripta T168,
Fermions, Physical Review X 13, 041045 (2023). 014001 (2016).
[29] I. Poboiko, P. Pöpperl, I. V. Gornyi, and A. D. Mirlin, [48] X.-L. Qi and S.-C. Zhang, Topological insulators and
Theory of free fermions under random projective mea- superconductors, Reviews of Modern Physics 83, 1057
surements, Physical Review X 13, 041046 (2023). (2011).
[30] M. Fava, L. Piroli, D. Bernard, and A. Nahum, A [49] Y. Chen and G. Vidal, Entanglement contour, Journal
tractable model of monitored fermions with conserved of Statistical Mechanics: Theory and Experiment 2014,
U(1) charge, arXiv:2407.08045 (2024). P10011 (2014).
[31] S. Majidy, U. Agrawal, S. Gopalakrishnan, A. C. Pot- [50] J. Alicea, Y. Oreg, G. Refael, F. von Oppen, and
ter, R. Vasseur, and N. Y. Halpern, Critical phase and M. P. A. Fisher, Non-Abelian statistics and topologi-
spin sharpening in SU(2)-symmetric monitored quantum cal quantum information processing in 1D wire networks,
circuits, Physical Review B 108, 054307 (2023). Nature Physics 7, 412 (2011).
[32] A. Chakraborty, K. Chen, A. Zabalo, J. H. Wilson, [51] T. Karzig, Y. Oreg, G. Refael, and M. H. Freedman,
and J. H. Pixley, Charge and Entanglement Critical- Universal Geometric Path to a Robust Majorana Magic
ity in a U(1)-Symmetric Hybrid Circuit of Qubits, Gate, Physical Review X 6, 031019 (2016).
7
In this section, we provide a brief review of the free- with α, β taking η or ξ for the corresponding blocks in
fermion monitored circuit. In the following, we will refer Eq. (S-I.3).
to free-fermion states as Gaussian states and the opera- With these two covariance matrices representation Γρ
tors that keep the many-body fermionic states “free” as and ΓO for the state ρ and operator O, we can readily
Gaussian operators. Here, the Gaussianity refers to the obtain the resulting state ρ′ = OρO† in the covariance
fact that, in the free-fermion setting, the system’s den- matrices representation Γρ′ using the following contrac-
sity operator and the operations on them all take a Gaus- tion formula [53]
sian form, i.e., exponentiated fermion bilinears. We will −1
demonstrate, through a concrete example, that a free- Γρ′ = ΓO,ξξ + ΓO,ξη ΓO,ηη + Γ−1
ρ Γ⊺O,ξη . (S-I.5)
fermion circuit consisting of Gaussian operators can be
efficiently simulated in a covariance matrix formalism. In numerical simulation, we initialize a random pure
For a more rigorous treatment, we refer the interested Gaussian state Γρ0 in a L-site Majorana chain as
readers to Refs. [53, 54]. L/2
M 0 Πi
Γρ0 = V V ⊺, (S-I.6)
−Πi 0
i=1
1. Efficient simulation of Gaussian circuits
with a random matrix V ∈ SO(2L) and Πi = ±1, and
We start with a generic Gaussian state in its den- repeat the contraction formula Eq. (S-I.5) for various O
sity matrix form ρ and Gaussian operators O, both con- to simulate the circuit in O(L3 ) complexity.
structed in the Majorana basis γ̂i , in the following form For the class-DIII monitored circuit, we choose all Πi =
P P 1. For the class-A monitored circuit, due to the U(1)
iγ̂i Hij γ̂j γ̂i Oij γ̂j
ρ∝e i,j ,O ∝ e i,j , (S-I.1) charge conservation, we park ourselves at the half-filling
2
as MDIII (p) = K+
DIII DIII
in symmetry class DIII, namely a system equipped with (p), K− (p), KUDIII (p, θ) , where
a time-reversal symmetry (that squares to −1) and a
particle-hole (that squares to 1), the single-particle im- DIII √ 1 ± iγ̂i γ̂i+1
K± (p) = p ,
purity scattering can be captured by SO(N, C) transfer 2 (S-III.1)
KUDIII (p, θ) = 1 − p exp(θγ̂i γ̂i+1 ).
p
matrices [60–62]. This fact enables the aforementioned
identification between the Gaussian tensor network and
DIII
the Anderson localization problem. Here, K± captures the wave function collapse associ-
From the complementary perspective of the monitored ated with the two measurement outcomes iγ̂i γ̂i+1 = ±1
circuit, even if we do not impose any symmetry require- while KUDIII describes the unitary evolution.
√ As will be
√
ment on the Majorana chain (other than fermion parity), clear below, their prefactors p and 1 − p encode the
when we consider the evolution of the system’s density probabilities of applying a measurement and a unitary
matrix in a doubled Hilbert space, extra symmetries that operation at the given quantum gate.
relate the “bra” and “ket” copy of the Hilbert space can Given a (normalized) state |ψ⟩ undergoing this quan-
emerge. In the case of the monitored Majorana chain, the tum gate action, each K ∈ MDIII corresponds to a quan-
total emergent symmetry belongs to AZ symmetry class tum trajectory in which the state evolves as
DIII [26]. The correspondence between the monitored K |ψ⟩
circuit of free Majorana fermions in 1+1D and the 2D |ψ⟩ → . (S-III.2)
∥|Kψ⟩∥
disordered Anderson localization problem in symmetry
class DIII implies that the area-law entangled phases in The Born-rule probability for this quantum trajectory is
√
the former setting and the disordered topological super- given√by ⟨ψ|K † K|ψ⟩. One can see that prefactors p
conductors in the latter problem should share the same and 1 − p in Eq. (S-III.1) enter ⟨ψ|K † K|ψ⟩ as the
topological classification, which is Z2 [47, 48]. probabilities for applying a measurement or a unitary
When we add an extra symmetry constraint to the operation. This Kraus operator ensemble MDIII satisfies
monitored circuit, the group of transfer matrices changes, the positive-operator valued measure (POVM) condition,
i.e., K∈MDIII K † K = 1, which guarantees the normal-
P
and so does the symmetry class. The identification with
the Anderson localization problem remains correct in the ization of probability.
respective symmetry class. When we consider a moni-
tored circuit with U(1) charge conservation, the transfer
2. Evolution time and ensemble size
matrix belongs to GL(N, C), and the symmetry class be-
comes class AIII. Furthermore, adding an anti-unitary
chiral symmetry, as we do in the main text, limits the In Fig. 1(b), we show the average steady-state MI IA,B .
transfer matrix to the group U(N, N ), resulting in sym- Here, the steady state is reached by simulating the circuit
metry class A. Concrete examples of the quantum gates following the Born rule up to L time steps. The average
and their transfer matrices in class AIII and class A are MI IA,B is obtained by first averaging over the location
provided in Sec. IV 1 and Sec. IV 2. of the antipodal region A and B while keeping the size of
the two regions and their relative distance fixed, and then
sampling across 1000 realizations of different circuits and
measurement outcomes.
Appendix III: Class-DIII monitored circuit Both evolution time and ensemble size also apply to
the class-A and class-AIII monitored circuit, as shown in
Fig. 4 and Fig. S1, respectively.
In this section, we first provide a more formal treat-
ment of the two types of operators in the class-DIII mon-
itored circuit using the language of Kraus operators and 3. Domain-wall dynamics
then describe the details of the simulation, including the
evolution time, ensemble size, the domain-wall dynamics, In Fig. 2, we construct DWs in spacetime to explore
and the braiding protocol. area-law phases with different topologies and the DT-
DMs in between. This DW is obtained by different
parametrizations of the ensemble of Kraus operators. For
example, in Fig. 2(a) in the main text, the two class-
1. Kraus operator description
DIII area-law phases are obtained by p ≡ podd = 0.1
and 0.9, respectively. Therefore, we can parametrize a
In the class-DIII monitored circuit as shown in spacetime-dependent p(i, t) to interpolate these two p val-
Fig. 1(a), each gate, including all the effects of the proba- ues. In addition, to avoid DWs from changing abruptly,
bilistic application of the unitary gates and the measure- we smoothen the change across the two regions with dif-
ment, can be captured by an ensemble of Kraus operators ferent parametrizations using a tanh(ki) function. We
4
choose k = 0.5 in numerics. This same logic also applies this assumption is not essential— In Fig. 3, we use a more
to the class-A monitored dynamics, as shown in Fig. 4(c) generic configuration by programming p(i, t) to vary be-
tween 0.15 and 0.85 with the smoothness of the DW k
being 0.5, to demonstrate that the braiding protocol is
4. Braiding protocol robust in the presence of symmetry-allowed unitary op-
erators.
In Fig. 3, we utilize a T-junction model consisting of
three L-site Majorana chains in open boundary condi-
tions (assuming L to be even) to swap DTDMs α2 and Appendix IV: Class-A monitored circuit
β1 . Below, we show the details of the braiding proto-
col, which consists of the following four stages, and then In this section, we extend the scope beyond the class-
explain the pairwise MI in each stage. DIII monitored circuit to include a U(1) symmetry. By
embedding each complex fermion into a pair of Majorana
1. We initialize the T-junction into a product state fermions, the circuit can be efficiently simulated within a
on all three chains, where each chain has a fixed unified covariance matrix formalism. As discussed in the
a a
parity on odd Majorana pairs γ̂2i−1 , γ̂2i with main text, the class-A monitored circuit requires both a
a = {A, B, C}. At time t = t0 , we create two U(1) symmetry and an anti-unitary chiral symmetry C.
DWs by configuring p(i, t) to dimerize even pairs We take a two-step process in the following. We will first
a a
of Majorana modes, γ̂2i , γ̂2i+1 , within the region discuss the monitored dynamics with only the U(1) sym-
enclosed by the two DWs, in chain a = {A, B}. metry required, which belongs to symmetry class AIII.
Without loss of generality, we place the DWs at The ensemble of Kraus operators in this class will be
L 3L
4 and 4 , creating two DTDMs, corresponding to provided. To obtain the monitored dynamics in symme-
unmeasured Majorana zero modes, α1 , α2 (β2 , β1 ) try class A, we post-select the quantum trajectories in
in chain A (B). Each pair of DTDMs is maximally class AIII that respect an extra anti-unitary chiral sym-
entangled within the chain, leading to all three pair- metry C. As it turns out, post selections are inevitable
wise MIs being 0. (The site index can be chosen for class-A free-fermion monitored circuits. For class A,
to run from the outermost to the center of the T- we present the Kraus operator description for the on-
junction.) site unitary gate and the measurement gate as shown in
2. At time t = t1 , we move the DTDM α2 from chain Fig. 4(a), and then generalize the onsite unitary gate to
A to chain C by moving the DW from chain A to a more generic long-range unitary gate. Finally, we show
chain C, treating the two chains as a single chain. that the robustness of the DTDMs in the class-A moni-
Therefore, we need to measure the two Majorana tored circuit is comprised when the required symmetries
sites at the intersection between chains A and C, are broken.
γ̂LA and γ̂LC , leading to the MI IA,C being 2 log 2
at t1 , as the long-range entangled Majorana pair
1. Class-AIII monitored circuit
contributes log 2 and the local entangled pair at the
intersection between A and C contributes another
log 2. We start with a class-AIII monitored circuit, which can
be obtained by imposing a U(1) symmetry to the class-
3. At time t = t2 , we move the DTDM β1 from chain DIII monitored circuit. The transfer matrix tAIII for a
B to chain A using the same procedure as in the 2D class AIII ensemble is in the complexified general lin-
previous step. To make β1 leave chain B and land ear group GL(N, C) [62]. Therefore, we can parametrize
on chain A, we need to measure the innermost Ma- it as tAIII = exp(µAIII ), with µAIII ∈ CN ×N . In order to
jorana modes between chains B and C, leading to later connect to class-A monitored circuit, we can choose
the MI IB,C being log 2 coming from the local en- N = 2 and construct the ensemble of Kraus operators
tangled pair at the intersection, and both IA,B and as MAIII (α, θ1 , θ2 , i, j) = {KsAIII
+ ,s−
(α, θ1 , θ2 , i, j)|s± ∈
IA,C being log 2 from their respective long-range en- {−1, +1}}, where
tangled DTDMs.
1 † 1 † 1
KsAIII
+ ,s−
(α, θ1 , θ2 , i, j) = es+ α(c+ c+ − 2 )+s− α(c− c− − 2 )
4. At time t = t3 , we move the DTDM α2 from chain 2 cosh α
† †
C to chain B using the same procedure by treating 1 1
eiθ1 (ci,A ci,A − 2 ) eiθ2 (cj,B cj,B − 2 ) .
the two chains as a single chain. Since chain C re-
(S-IV.1)
turns to its initial state, the only entangling chains
are A and B with the MI of 2 log 2. Here, the first line in Eq. (S-IV.1) corresponds to a weak
For the convenience of the description above, we assume
measurement with strength α ∈ [0, ∞) on the fermion
an “ideal” case in a measurement-only limit. However, modes c†± = √1
2
c†i,A ± c†j,B for s+ = −s− = ±1, or on
5
A
p K± (α, θ1 , θ2 , i, j)
0.00 D
A
† A E
0.0 0.2 0.4 0.6 0.8 1.0 K± (α, θ1 , θ2 , i, j) K± (α, θ1 , θ2 , i, j)
tanh2 α0 = P D E.
†
(KsA (α, θ1 , θ2 , i, j)) KsA (α, θ1 , θ2 , i, j)
s=±1
Supplementary Figure S1. Average steady-state mutual in-
formation IA,B as a function of the measurement strength
(S-IV.3)
α0 in class-AIII monitored circuit, showing only one area-law
phase.
(a) (b) sp (i) (c)
t 0 1 t
0.4 160
L = 16 L = 64
L = 32 L = 128 128
96
IA,B
choice is merely a convenient choice for illustrative pur- 4. Compromised domain-wall modes under broken
poses. In principle, any generic (nonlocal) unitary gate symmetries
acting on a range-R dimer from the same sublattice re-
spects the chiral symmetry and thus should demonstrate In previous sections for class-A monitored circuits, we
the same classification of area-law phases as in Fig. 4(b). ensure that unitary gates (measurements) always act on
Therefore, the Kraus operators can be generalized with the pair of complex fermion sites within the same sublat-
the longer-range unitary gate as per tice (across the opposite sublattices) to respect the chiral
symmetry C. In this section, we will show that if we in-
1 †
clude the measurements within the same sublattice, or
A
K̃± (α, θ1 , θ2 , i, j) = e±α(ci,A cj,B +h.c.) the unitary gates across the sublattices, the DTDMs will
2 cosh α (S-IV.4)
θ θ be comprised. This directly manifests that the DTDMs
i 21 (c†i,A cj,A −ci,A c†j,A ) i 22 (c†i,B cj,B −ci,B c†j,B )
e e . in Fig. 4 are indeed protected by the symmetry from be-
ing quenched by the local symmetry-allowed disorder.