This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Control-driven critical fluctuations across quantum trajectories

Haining Pan Department of Physics and Astronomy, Center for Materials Theory, Rutgers University, Piscataway, NJ 08854 USA    Thomas Iadecola Department of Physics and Astronomy, Iowa State University, Ames, IA 50011, USA Ames National Laboratory, Ames, IA 50011, USA    E. M. Stoudenmire Center for Computational Quantum Physics, Flatiron Institute, New York, New York 10010, USA    J. H. Pixley Department of Physics and Astronomy, Center for Materials Theory, Rutgers University, Piscataway, NJ 08854 USA Center for Computational Quantum Physics, Flatiron Institute, New York, New York 10010, USA
Abstract

Monitored quantum circuits in which entangling unitary dynamics compete with projective local measurements can host measurement-induced phase transitions witnessed by entanglement measures at late times. Adding feedback conditioned on the measurement outcomes gives rise to another type of phase transition witnessed by local order parameters and correlation functions. These transitions, known as control or absorbing-state transitions, generically occur within the area-law entanglement phase and are thought to be governed by classical physics in that their critical exponents match those of the classical limit of the model. In this work, we examine quantum features of these transitions, focusing on a Bernoulli circuit model with a well-defined classical limit. First we demonstrate that, in the local basis defined by the absorbing state, the steady-state quantum coherence undergoes a phase transition at the control transition, where its logarithm changes discontinuously from volume- to area-law scaling. Second, we analyze the control transition from the perspective of fluctuations in observables, which carry two contributions: classical fluctuations over circuit realizations (present in the classical limit), and quantum fluctuations over trajectories and states (both absent in the classical limit). Both contributions can be estimated in experiments without post-selection. The circuit-to-circuit fluctuations, the dominant contribution, carry the critical behavior of the classical limit. However, the subleading quantum fluctuations that represent fluctuations between different quantum “worlds” also go critical at the control transition. These critical quantum fluctuations at the control transition also occur in other models, and we discuss how they can be measured experimentally without post-selection.

I Introduction

The non-equilibrium dynamics of strongly interacting quantum systems is a fundamental and timely topic at the intersection of quantum information science and many-body physics. In addition to entangling unitary dynamics, tasks like quantum error correction and state preparation require the ability to perform mid-circuit measurements (i.e., to measure local parts of the system in real time). This capability, which is becoming available on a variety of noisy intermediate-scale quantum (NISQ) hardware platforms, will be an important driver of the transition to the early fault-tolerant era of quantum computing.

The competition between projective local measurements and entangling unitary dynamics drives a measurement-induced phase transition (MIPT) between dynamical phases with extensive volume-law and subextensive area-law entanglement at late times [1, 2, 3, 4, 5]. This phenomenon is inherently quantum mechanical as it can only be witnessed in quantities (e.g. any entanglement diagnostic) that are non-linear in the reduced density matrix. This is a consequence of the fact that the reduced density matrix becomes featureless upon averaging over the outcomes of the projective measurements at any measurement rate. To circumvent this, entanglement measures must be computed in a manner that resolves the quantum trajectories associated with different measurement histories. While this can be achieved experimentally for small systems [6, 7], the number of measurement histories scales exponentially in the number of measurements, which makes scaling up prohibitive. Despite this challenge, known as the post-selection problem, experiments have now observed signatures of the MIPT on trapped ion and superconducting qubit NISQ devices. This defines a new notion of dynamical phases of quantum matter and non-equilibrium phase transitions with universality classes that share close connections to percolation physics.

A natural generalization of measurement-enriched quantum dynamics is adaptive quantum dynamics, where the measurement outcomes are used to control the subsequent dynamics. In particular, we will consider models where they are used to steer the dynamics towards a pre-determined state. For this target state to be stable, generic unitary dynamics cannot be used; instead, a dark or control state is embedded into the unitary dynamics that can allow the feedback from the measurement outcomes to overcome the quantum chaotic evolution. As a result, a control-induced phase transition (CIPT) has been uncovered in several contexts [8, 9, 10, 11, 12, 13, 14, 15]. This is a transition between an active phase, where the system’s steady state is by some measures far from the control state; and a control phase, where the system’s steady state is either a dark state with no fluctuations or is near the control state with very limited fluctuations.

Importantly, unlike feedback-free MIPTs, CIPTs are naturally witnessed by local order parameters or correlation functions that are linear in the density matrix, so they can be studied without postselection. However, a CIPT may or may not coincide with a transition out of the volume-law phase (i.e., a MIPT) depending on whether the feedback acts locally or globally on the quantum state; generically, the MIPT occurs within the active phase, preceding the CIPT, but global feedback can drive them together [10, 11, 13, 12]. At the classical level, these systems realize dynamical phase transitions that result from either the stochastic or deterministic control of chaotic evolution. Embedding such classical critical dynamics into a quantum system is a systematic protocol that can induce a CIPT in a monitored quantum many-body system with feedback. In this paper, we only consider dynamics that take pure states to pure states, so there is no unmonitored coupling of the system to its environment that would produce a mixed state of the system.

As a result, a central question in the field, which is also a main focus of the present manuscript, is if this dynamical transition remains purely classical or if there are any inherently universal, quantum critical degrees of freedom present due to the interplay of measurements, feedback, and chaotic unitary dynamics.

To make this question precise, it is helpful to first identify what kinds of quantum fluctuations are possible in adaptive quantum circuits. The first, which is shared by unitary quantum many-body systems, are the quantum uncertainties that are present whenever there is quantum entanglement in the state of the system. The second, which is due to measurements and possible feedback, involves the differences between quantum states that are produced by different quantum trajectories (different measurement outcomes). In other words, the latter involves fluctuations across the many possible “worlds” of quantum mechanics, corresponding to different measurement and feedback histories. In monitored quantum circuits without feedback the trajectory-averaged density matrix, which includes both types of fluctuations, goes to a long-time steady state that maximizes the entropy, and thus the MIPT is not detectable in quantities that are linear in the density matrix. However, introducing feedback may drive the system to critical behavior (such as the CIPT) that is detectable in the trajectory-averaged density matrix, and thus without postselection.

In this work, we provide precise definitions of classical and quantum fluctuations, including both coherent (within trajectory) and incoherent (across quantum trajectories or “worlds”) quantum contributions, which we use to investigate the quantum properties of CIPTs. The critical universality classes uncovered in quantum CIPTs have so far been governed by classical stochastic processes: a random walk in Ref. [8], directed percolation in Refs. [11, 12, 13], a classical branching-annihilating random walk in Ref. [14], and a probabilistic cellular automaton with long-range correlations in Ref. [16]. We stress that while in each of these cases, the entanglement does display a transition (either volume-to-area or area-to-zero) at the CIPT, it does so with the critical exponents of the classical model. As a result, the universal properties of the entanglement do not simply unveil the distinction between classical and quantum contributions to the critical properties of the CIPT and new insight is required. In the following, we provide a framework to quantitatively describe the universal quantum fluctuations at CIPTs, transitions that arise from embedding a classical dynamical transition into a quantum system, which is applicable to a broad class of adaptive random quantum circuits.

To unveil the quantum features of the CIPT we focus on a model that embeds the classical Bernoulli map under stochastic control [17, 18, 19] into a qubit chain with Haar random unitary gates and conditional reset operations. To show that the framework we present within applies to other models undergoing CIPTs we also analyze a quantum model with an absorbing state transition that has an exact dark state in the dynamics in Appendix F.

This “Bernoulli circuit” model [8, 9, 20, 10] is ideal for our purposes for several reasons. First, it has been studied in both classical and quantum circuits in Refs. [8, 10] and the phase diagram is well understood. Second, the classical model has a control transition that can be derived analytically and whose universal properties are described by a simple random walk. Third, the model’s dynamics are naturally described in terms of an emergent quasiparticle, the first domain wall (defined in Sec. II), that is a sharp point-like object in the classical model but becomes a wave packet in the quantum model; it is this object that undergoes an unbiased random walk at the CIPT. Last, by focusing on local feedback, we can split the CIPT and MIPT so that the control transition takes place entirely within the area-law phase. This enables an efficient simulation using matrix product states (MPS), allowing us to study the critical behavior of the CIPT in systems of up to 406040-60 sites with periodic boundary conditions (see Appendix E for a better estimate of critical exponents).

To set the stage, we begin by considering the probability density of the quantum state averaged over samples (including random initial states, circuit realizations, and measurement outcomes), finding that this “average wave function” inherits the behavior of the classical model. We, therefore, turn to study the fluctuations of the wave function, which are comprised of both classical and quantum fluctuations. If we do not distinguish between these contributions, the classical behavior dominates the signal. However, if we carefully separate out the quantum fluctuations arising from random measurement outcomes and quantum state superpositions and analyze them in their own right, we find that they become critical with universal scaling properties captured by a “quantum” scaling dimension (i.e., a scaling dimension that is zero classically but nonzero in the quantum limit). To show these quantum fluctuations are phase coherent we compute the ensemble-averaged l1l_{1}-coherence [21] of the quantum state (defined below), which is quite challenging to compute using MPS. Nonetheless, we are able to compute the l1l_{1}-coherence accurately by utilizing the tensor cross interpolation approach [22, 23, 24, 25], which allows us to learn the mapping from an individual bit string to the norm of the corresponding wave function amplitude in the computational basis. The complexity of the method is O(χ4)O(\chi^{4}), where χ\chi is the maximal bond dimension of the MPS. This allows us to definitively show that the CIPT in the Bernoulli circuit model is, in fact, a transition from quantum coherent to classical dynamics.

The rest of the paper is organized as follows. In Sec. II, we present the model, define the classical and quantum fluctuations, and outline the main results of this work. In Sec. III, we present numerical evidence that the quantum CIPT inherits the features of the classical one at the level of the average wave function. We also probe the l1l_{1}-coherence across the CIPT, unveiling the transition’s quantum nature. In Sec. IV, we show that the quantum nature of the control transition manifests in the fluctuations of the wave function. In particular, while the circuit-to-circuit fluctuations for the classical and quantum models are both governed by the random walk universality class, the trajectory-to-trajectory fluctuations develop a non-zero scaling dimension that is universal and only non-zero in the quantum model. We conclude and offer an outlook in Sec. V. In Appendix A, we provide additional details on statistical properties of the wave function. In Appendix B, we derive an expression for the coherence of a Haar random state. In Appendix C, we provide technical details on estimating the coherence in the MPS simulations using tensor cross interpolation. In Appendix D, we study the three kinds of fluctuations examined in this paper for another metric, the magnetization density, to demonstrate the scaling dimension we have estimated is universal. In Appendix E, we use our MPS numerics to obtain a better estimate of the critical point and correlation length exponent of the CIPT studied for smaller system sizes in Ref. [10]. Similarly, we present the trajectory fluctuation in the magnetization in the absorbing-state transition of Ref. [13] in Appendix F.

II Background and Overview of Results

In this section, we first introduce the Bernoulli circuit model used in this paper to demonstrate the concept of isolating the classical and quantum fluctuations in Sec. II.1, and then define each type of fluctuations in detail in Sec. II.2. Finally, we outline the main results of this work in Sec. II.3.

II.1 Bernoulli circuit model

Refer to caption
Figure 1: (a) Schematic of the stochastic dynamics in which, at each time step, the control map CC is applied with probability pctrlp_{\text{ctrl}} and the Bernoulli map (BB) is applied with probability 1pctrl1-p_{\text{ctrl}}. (b,c) Circuit diagrams for the quantum and classical versions of the Bernoulli map, respectively. (d) Circuit diagram of the control map, which is the same for both the classical and quantum models. (e) Controlled phase diagram indicating the CIPT at pcCIPT=0.5p_{c}^{\text{CIPT}}=0.5 separating the chaotic and controlled phases. The plots show typical trajectories of the first domain wall (see Sec. II.1.3 for a definition) given the same quantum circuit in the chaotic (left), critical (middle), and controlled (right) phases, respectively [see Eq. (23)]. The cyan and red strips indicate the application of control and Bernoulli maps, respectively. The bottom bar indicates the MIPT from the volume-law to the area-law phase at pcMIPT0.3p_{c}^{\text{MIPT}}\approx 0.3. Above the CIPT, the system becomes trapped near the control state and becomes disentangled in the bulk.

We begin by defining the Bernoulli circuit model as shown in Fig. 1 and reviewing its phase diagram [8, 10]. We first describe the classical version of the model before discussing what changes when quantum superpositions are introduced.

II.1.1 Classical Model

The chaotic dynamics in the Bernoulli circuit model are derived from the classical Bernoulli map defined as  [26]

B:x2xmod1,B:x\mapsto 2x~{}\text{mod}~{}1, (1)

where xx is a real number between 0 and 1. For any rational number x0x_{0}, the Bernoulli map generates a finite-length periodic orbit. However, the orbit of any rational x0x_{0} is unstable under infinitesimally small deviations x0x0+δxx_{0}\to x_{0}+\delta x as the irrationals are dense on the number line, leading to chaotic dynamics. Thus, we introduce a control map that aims to push the dynamics towards the rational numbers {xf}\{x_{f}\} on the orbit of x0x_{0}. For any x[0,1)x\in[0,1), the control map acts as

C:xxf/2+x/2,C:x\mapsto x_{f}/2+x/2, (2)

where xfx_{f} is the point on the orbit closest to xx. In the following, we restrict our attention to the orbit of x0=0x_{0}=0, which corresponds to a single fixed point xf=0x_{f}=0 such that C:xx/2C:x\mapsto x/2. At each time step, the control map is stochastically applied to the system with probability pctrlp_{\text{ctrl}} to counteract the chaotic dynamics generated by the Bernoulli map, which is applied with probability 1pctrl1-p_{\text{ctrl}}, as shown in Fig. 1(a) [17].

In order to move towards a quantum analog of this model, we encode the real number xx in a binary representation truncated to LL bits,

(x)10=(0.b1b2bL)2=|b1b2bL|x,\left(x\right)_{10}=\left({0.b_{1}b_{2}\dots b_{L}}\right)_{2}=\ket{b_{1}b_{2}\dots b_{L}}\equiv\ket{x}, (3)

where bi={0,1}b_{i}=\left\{0,1\right\}. Here, we use the bra-ket notation, which applies to both classical and quantum models, with the only difference being that the classical model is restricted to a single element of the computational basis at any given time |b1b2bL\ket{b_{1}b_{2}\dots b_{L}}, while the quantum model allows for superpositions of these states. Under this mapping, the fixed point xf=0x_{f}=0 becomes the polarized state |000\ket{00\dots 0}, which is the “control state”.

With the discretization into bit strings, the multiplication by 2 in the Bernoulli map BB can be realized by a leftward shift of the entire bit string, i.e.,

T|b1b2bL=|b2bLb1,T\ket{b_{1}b_{2}\dots b_{L}}=\ket{b_{2}\dots b_{L}b_{1}}, (4)

where the first bit b1b_{1} is cycled to the leftmost bit to ensure unitarity (or equivalently, we impose the periodic boundary condition). However, this discretization does not yet accommodate chaotic dynamics since the LL-bit binary representation at finite LL can only represent a rational number i=1Lbi2i\sum_{i=1}^{L}b_{i}2^{-i}\in\mathbb{Q} and therefore must return to its initial value after at most LL applications of the left-shift TT. Therefore, to restore the chaotic dynamics, we introduce a scrambler acting on the last three bits. We choose the scrambler as a random element PS8P\in S_{8}, the permutation group of the computational basis spanned by the last three bits. Thus, the discretized Bernoulli map or Bernoulli circuit is realized by the composition of the left-shift and the scrambler, i.e.,

Bcl=PT,B_{\text{cl}}=PT, (5)

as shown in Fig. 1(b). We note that this formulation of the Bernoulli map captures the action of the original map on the normal numbers [27], which are a dense subset of the irrational numbers whose binary expansion is uniformly random. This is sufficient to reproduce the fundamental aspects of the chaotic dynamics in the limit of large LL, including the model’s Kolmogorov-Sinai entropy of log2\log 2 [26, 9].

The control map CC is naturally realizable in the discretized setting. When the control targets the fixed point xf=0x_{f}=0, CC reduces to division by 22 [see Eq. (2)]. This can be accomplished by resetting the last bit to 0, followed by a rightward cyclical shift of the entire bit string as shown in Fig. 1(d), i.e.,

C|b1b2bL=T1R|b1b2bL=T1(XL)bL|b1b2bL=|0b1b2bL1,\begin{split}C\ket{b_{1}b_{2}\dots b_{L}}&=T^{-1}R\ket{b_{1}b_{2}\dots b_{L}}\\ &=T^{-1}(X_{L})^{b_{L}}\ket{b_{1}b_{2}\dots b_{L}}\\ &=\ket{0b_{1}b_{2}\dots b_{L-1}},\end{split} (6)

where XLX_{L} is the Pauli XX that flips the value of the bit at the last site. Note that the last bit is flipped only if it was initially set to 11, guaranteeing that the first bit in the string will be zero after the rightward cyclic bit shift. This ensures that the new bit string will correspond to a number less than 1/21/2. This process erases the initial value of bLb_{L}, so the control map in this formulation is intrinsically nonunitary (i.e., irreversible).

II.1.2 Quantum model

The quantum model differs from the classical model in two important ways. First, the scrambler in the Bernoulli map changes from a 3-bit permutation PP to a 2-qubit Haar random unitary UU acting on the last two qubits, as shown in Fig. 1(c). That is, the Bernoulli map in the quantum model is given by

Bq=UT,B_{\text{q}}=UT, (7)

which, unlike Eq. (5), generates superpositions when acting on a computational basis state. Second, the reset operation RR entering the control map CC [Eq. (6)] is implemented using a quantum measurement. A quantum measurement of the LLth qubit changes a generic quantum state |ψ\ket{\psi} according to the nonlinear operation

ML(m)|ψ=PL(m)|ψψ|PL(m)|ψ,M_{L}(m)\ket{\psi}=\frac{P_{L}(m)\ket{\psi}}{\sqrt{\expectationvalue{P_{L}(m)}{\psi}}}, (8)

where m=0,1m=0,1 is the outcome of the measurement and

Pi(m)=|mm|P_{i}(m)=\outerproduct{m}{m} (9)

is the projection operator onto outcome mm at site ii. The action of the reset operation RR in Eq. (6) on a single computational basis state can then be expressed as

R|b1b2bL=(XL)mML(m)|b1b2bL=|b1b20.\begin{split}R\ket{b_{1}b_{2}\dots b_{L}}&=(X_{L})^{m}M_{L}(m)\ket{b_{1}b_{2}\dots b_{L}}\\ &=\ket{b_{1}b_{2}\dots 0}.\end{split} (10)

Note that, for a single computational basis state, m=bLm=b_{L} is the only possible measurement outcome and the above is equivalent to the reset performed in Eq. (6). However, for a superposition of quantum states the measurement outcomes are no longer deterministic; rather, they are distributed according to the Born rule, i.e., mm is drawn at random with probability ψ|PL(m)|ψ{\expectationvalue{P_{L}(m)}{\psi}} each time a measurement is performed.

II.1.3 First domain wall

A major benefit of working with the present model is that its dynamics can be captured by an object called the first domain wall (FDW). The FDW in an individual computational basis state is defined with respect to the target state |000\ket{00\dots 0} as the location of the first “1” in the bit string; e.g., for the state |000001¯100101000\ket{00000\underline{1}100101000\dots} the location of the FDW is labeled by the underline. The FDW can be viewed as the boundary between controlled and uncontrolled regions in the bit string. Its position, measured from the right edge of the bit string, quantifies the distance between that bit string and the fixed point xf=0x_{f}=0. In particular, when the FDW is at position kk, xxf<2L+kx-x_{f}<2^{-L+k}; the extreme limits k=Lk=L and k=0k=0 correspond to fully uncontrolled and fully controlled, respectively. The FDW also acts like an effective “quasiparticle” that we can track as the system evolves. In particular, we can consider the evolution of an initial (product) state with the FDW at position kk: |ψ0=|0Lk|1i=1k1|bi\ket{\psi_{0}}=\ket{0}^{\otimes L-k}\ket{1}\bigotimes^{k-1}_{i=1}\ket{b_{i}} with arbitrary bi=0,1b_{i}=0,1. In the classical model, the control map translates the FDW to the right, while the chaotic map translates it to the left, leaving behind scrambled bits in its wake. In the quantum model, the FDW’s location can be promoted to a quantum operator k^\hat{k}. Under dynamics starting from a computational basis state with the FDW at kk, the quantum mechanical average FDW position k^(t)\expectationvalue{\hat{k}(t)} constitutes an “entanglement front” separating a disentangled region to its left from an entangled region to its right (where the Haar scrambler acts), see e.g. Fig. 1 in Ref. [8]. Moreover, the FDW is no longer a perfectly sharp quasiparticle; rather, it is a wave packet with mean position k^(t)\expectationvalue{\hat{k}(t)} and spread σs2=k^2(t)k^(t)2\sigma^{2}_{s}=\expectationvalue{\hat{k}^{2}(t)}-\expectationvalue{\hat{k}(t)}^{2}. Thus, the FDW is a convenient object that we can use to separate out classical and quantum aspects of the dynamics.

II.1.4 Phase diagram

The phase diagram of the quantum Bernoulli circuit model involves both a CIPT, where the system transitions from an uncontrolled to a controlled phase, and an MIPT, where the system transitions from a volume-law to an area-law phase [8, 9, 20, 10]. The controlled and uncontrolled phases can be characterized by a local order parameter, the magnetization density

Mz=1Li=1LZi,M_{z}=\frac{1}{L}\sum^{L}_{i=1}Z_{i}, (11)

where ZiZ_{i} is a Pauli operator whose eigenstates are the local computational basis states. In the “chaotic” or uncontrolled phase, the system stays away from the control state and Mz=0\expectationvalue{M_{z}}=0 at late times and LL\rightarrow\infty, while in the controlled phase, the system always is driven near the control state, and the magnetization density is nonzero at late times. The volume- and area-law phases are characterized by the system-size scaling of entanglement measures as discussed in Sec. I.

In principle, the CIPT and MIPT can occur simultaneously or separately as a function of the control rate pctrlp_{\rm ctrl}, depending on the locality of the control map [10]. When the control map targets the fixed point xf=0x_{f}=0 (i.e., the polarized state |000\ket{00\dots 0}), they occur separately, and three phases emerge: a volume-law chaotic phase, an area-law chaotic phase, and a disentangled controlled phase [see Fig. 1(e)]. The MIPT between volume-law and area-law chaotic phases occurs at pcMIPT0.3p^{\rm MIPT}_{c}\approx 0.3 and its nature is inherently quantum. The CIPT between area-law chaotic and controlled phases occurs at pcCIPT=0.5p^{\rm CIPT}_{c}=0.5 in both the classical and quantum models defined by Eqs. (5) and (7), respectively. For more details on the phase diagram, we refer to Refs. [8, 10].

In this paper, we are primarily interested in the features of the CIPT around pctrl=0.5p_{\text{ctrl}}=0.5, which occurs within the area-law phase of the model. Thus, in addition to the usual exact state vector evolution [8, 10], we can take advantage of matrix product states (MPS) to efficiently study the critical behavior (note that the entanglement remains area-law even at the CIPT). We adopt a technique called tensor cross interpolation to compute the quantum coherence in polynomial complexity, which would otherwise be exponentially hard to compute in the MPS formalism.

II.2 Separating classical and quantum fluctuations

Refer to caption
Figure 2: At the critical point pctrl=0.5p_{\text{ctrl}}=0.5 in the Bernoulli circuit model in Sec. II.1: (a) Left: Schematic of the circuit fluctuation of the first domain wall kk as an example (the position of the first non-fixed point component “1” in the wave function computational basis, see Eq. (17)), σ𝒞2[k]\sigma_{\mathcal{C}}^{2}[k], across different realization of Bernoulli map BiB_{i} and position of control maps CC (see definitions in Sec. II.1 and Figs. 1(b,d)). Right: Numerical data show many realizations of the FDW dynamics for t<4Lt<4L with always the same initial state with kk having a low uncertainty, which sample averaging reveals to proceed diffusively [8]. Note that in actual simulation, e.g., Fig. 6, we choose the initial product state with k=L/2k=L/2 such that it simulates the unbiased random walk best in \mathbb{Z}. (b) Left: Given a fixed circuit 𝒞\mathcal{C} from (a), the trajectory fluctuation σt2[k]\sigma_{t}^{2}[k] across different measurement outcomes 𝒎𝒞\bm{m}_{\mathcal{C}}. Right: Numerical data run up to t<L2t<L^{2} indicating fluctuations around the trajectory dominated by a specific circuit. (c) Left: Given a fixed circuit 𝒞\mathcal{C} from (a) and measurement history 𝒎𝒞\bm{m}_{\mathcal{C}} from (b), the state fluctuations σs,𝒎𝒞2[k]\sigma_{s,\bm{m}_{\mathcal{C}}}^{2}[k] for a single pure state |ψ𝒎𝒞\ket{\psi_{\bm{m}_{\mathcal{C}}}}, indicating the spreading of the FDW wave packet in that state. Right: Numerical data show the distribution of the FDW for a single circuit and measurement history with t<L2t<L^{2}.

We now introduce the main concept of isolating different types of fluctuations to reveal the quantum nature of seemingly-classical transitions in the adaptive monitored circuit. This idea is broadly applicable to various models with a dark or control state, e.g., the CIPT in the competition between chaotic and controlled dynamics [8], and absorbing-state transitions in adaptive monitored circuits [13]. In the following results, we will use the CIPT as a paradigmatic example to illustrate the concept. The application of this idea to another model with an absorbing state transition is discussed in Appendix F.

The aim is to determine the variance of a generic quantum operator OO. To begin, we define all quantities being averaged. Starting from an initial pure state |ψ0\ket{\psi_{0}}, we have a sequence of stochastic events that either apply a unitary or a measurement with feedback. The combination of the initial state and the sequence of unitaries and measurements defines one circuit realization labeled by 𝒞\mathcal{C}. Each time step tit_{i} (e.g., t=0,1,2t=0,1,2\dots in Fig. 1(a)) that the circuit performs a measurement, the outcome is randomly sampled from the Born probability distribution with outcome m(i)m^{(i)}. We denote the full measurement history of a trajectory 𝒎\bm{m} for circuit realization 𝒞\mathcal{C} by the vector 𝒎𝒞=(m(1),m(2),)\bm{m}_{\mathcal{C}}=\left(m^{(1)},m^{(2)},\dots\right); we seek to parse the fluctuations into those due to variations between circuits and those due to variations within a fixed circuit 𝒞\mathcal{C}.

We are now in a position to specify an average over “samples”, where each “sample” is a single trajectory of a single circuit, indexed by 𝑴={𝒞,𝒎𝒞}\bm{M}=\{\mathcal{C},{\bm{m}}_{\mathcal{C}}\}. The average over samples is then

𝔼𝑴[]=𝑴p𝑴[]=𝒞p𝒞𝒎𝒞p𝒎𝒞|𝒞[]=𝔼𝒞[𝔼𝒎𝒞[]].\begin{split}\mathbb{E}_{\bm{M}}[\dots]=&\sum_{\bm{M}}p_{\bm{M}}[\dots]=\sum_{\mathcal{C}}p_{\mathcal{C}}\sum_{\bm{m}_{\mathcal{C}}}p_{\bm{m}_{\mathcal{C}}|\mathcal{C}}[\dots]\\ =&\mathbb{E}_{\mathcal{C}}\left[\mathbb{E}_{\bm{m}_{\mathcal{C}}}[\dots]\right]~{}.\end{split} (12)

Note that since this is a simple average (no post-selection), it can be experimentally estimated by gathering many samples. We further stress the nested form of the averages (also denoted through the conditional probability p𝒎𝒞|𝒞p_{\bm{m}_{\mathcal{C}}|\mathcal{C}}) that allows us to take the classical limit, which has deterministic measurement outcomes, so for fixed circuit 𝒞\mathcal{C}, all classical trajectories are identical.

If we make projective measurements of operator OO, giving results O𝑴O_{\bm{M}} for 𝑴\bm{M}, the variance of these single-shot experimental observations O𝑴O_{\bm{M}} across 𝑴\bm{M} can be estimated without post-selection by

σ𝑴2[O]=𝔼𝑴[O𝑴2](𝔼𝑴[O𝑴])2.\sigma_{\bm{M}}^{2}[O]=\mathbb{E}_{\bm{M}}\left[O^{2}_{\bm{M}}\right]-\left(\mathbb{E}_{{\bm{M}}}\left[O_{\bm{M}}\right]\right)^{2}. (13)

It is now straightforward, using Eq. (12), to see that this will involve a combination of fluctuations over quantum trajectories (i.e., measurement outcomes for a fixed circuit realization) and circuit-to-circuit fluctuations that also exist in the classical limit of the model. Therefore, we can now decompose this variance over samples into classical circuit fluctuations and quantum fluctuations:

σ𝑴2[O]=𝔼𝒞𝔼𝒎𝒞[O𝒎𝒞2](𝔼𝒞𝔼𝒎𝒞[O𝒎𝒞])2=𝔼𝒞[(𝔼𝒎𝒞[O𝒎𝒞])2](𝔼𝒞𝔼𝒎𝒞[O𝒎𝒞])2circuit fluctuations+𝔼𝒞[𝔼𝒎𝒞[O𝒎𝒞2](𝔼𝒎𝒞[O𝒎𝒞])2]quantum fluctuations=σ𝒞2[O]+𝔼𝒞[σQ,𝒞2[O]],\begin{split}\sigma_{\bm{M}}^{2}[O]&=\mathbb{E}_{\mathcal{C}}\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[O^{2}_{\bm{m}_{\mathcal{C}}}\right]-\left(\mathbb{E}_{\mathcal{C}}\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[O_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}\\ &=\underbrace{\mathbb{E}_{\mathcal{C}}\left[\left(\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[O_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}\right]-\left(\mathbb{E}_{\mathcal{C}}\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[O_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}}_{\text{circuit fluctuations}}+\mathbb{E}_{\mathcal{C}}\underbrace{\left[\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[O^{2}_{\bm{m}_{\mathcal{C}}}\right]-\left(\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[O_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}\right]}_{\text{quantum fluctuations}}\\ &=\sigma_{\mathcal{C}}^{2}[O]+\mathbb{E}_{\mathcal{C}}\left[\sigma_{Q,\mathcal{C}}^{2}[O]\right]~{},\end{split} (14)

where 𝔼𝒞\mathbb{E}_{\mathcal{C}} and 𝔼𝒎𝒞\mathbb{E}_{\bm{m}_{\mathcal{C}}} denote averages over circuits 𝒞\mathcal{C}, and different trajectories 𝒎𝒞\bm{m}_{\mathcal{C}} given a circuit 𝒞\mathcal{C}, respectively. In going from the first to the second line in Eq. (14), we have added and subtracted the quantity 𝔼𝒞[(𝔼𝒎𝒞[O𝒎𝒞])2]\mathbb{E}_{\mathcal{C}}\left[\left(\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[O_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}\right], where O𝒎𝒞O_{\bm{m}_{\mathcal{C}}} is for a single shot measurement of OO the measurement history 𝒎𝒞\bm{m}_{\mathcal{C}} given a circuit 𝒞\mathcal{C}. The first term, circuit fluctuations, pertains to the classical limit of choosing different circuits to evolve. The second term, quantum fluctuations, is the variance of the outcome of measuring OO over many trials with the same circuit 𝒞\mathcal{C}. For the classical model, only the circuit fluctuations σ𝒞2[O]\sigma_{\mathcal{C}}^{2}[O] are nonzero because the measurement outcome is deterministic, while for the quantum model, both circuit and quantum fluctuations can be nonzero.

Theoretically and, if we allow postselection, experimentally, the quantum fluctuations in Eq. (14) can be further decomposed into two parts:

σQ,𝒞2[O]=𝔼𝒎𝒞[O𝒎𝒞2](𝔼𝒎𝒞[O𝒎𝒞])2trajectory fluctuations+𝔼𝒎𝒞[O2𝒎𝒞O𝒎𝒞2]state fluctuations=σt2[O]+𝔼𝒎𝒞[σs,𝒎𝒞2[O]],\begin{split}\sigma_{Q,\mathcal{C}}^{2}[O]&=\underbrace{\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[\expectationvalue{O}_{\bm{m}_{\mathcal{C}}}^{2}\right]-\left(\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[\expectationvalue{O}_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}}_{\text{trajectory fluctuations}}+\mathbb{E}_{\bm{m}_{\mathcal{C}}}\underbrace{\left[\expectationvalue{O^{2}}_{\bm{m}_{\mathcal{C}}}-\expectationvalue{O}_{\bm{m}_{\mathcal{C}}}^{2}\right]}_{\text{state fluctuations}}\\ &=\sigma_{t}^{2}[O]+\mathbb{E}_{\bm{m}_{\mathcal{C}}}[\sigma_{s,\bm{m}_{\mathcal{C}}}^{2}[O]],\end{split} (15)

where 𝒎c\expectationvalue{\dots}_{\bm{m}_{c}} denotes the quantum state expectation over the wave function |ψ𝒎c\ket{\psi_{\bm{m}_{c}}} of the system immediately before any measurement of \dots is made. (Note that 𝔼𝒎𝒞[On𝒎𝒞]𝔼𝒎𝒞[O𝒎𝒞n]\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[\expectationvalue{O^{n}}_{\bm{m}_{\mathcal{C}}}\right]\equiv\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[O^{n}_{\bm{m}_{\mathcal{C}}}\right] with n=n=1 and 2.) The first term, trajectory fluctuations σt2[O]\sigma_{t}^{2}[O], characterizes the uncertainty of different quantum trajectories 𝒎𝒞\bm{m}_{\mathcal{C}}, coming from the randomness in the outcomes of the measurements that are made earlier than the measurement of OO. The second term, state fluctuations σs,𝒎𝒞2[O]\sigma_{s,\bm{m}_{\mathcal{C}}}^{2}[O], characterizes the quantum nature (superposition) of the pure state |ψ𝒎𝒞\ket{\psi_{\bm{m}_{\mathcal{C}}}} immediately before the measurement of OO is made. These two terms capture different aspects of the quantum fluctuations. In the MIPT without feedback, the transition is seen only in properties of the state |ψ𝒎𝒞\ket{\psi_{\bm{m}_{\mathcal{C}}}}, although this is in entanglement properties rather than simple observables.

For our model with feedback, we will show that the trajectory fluctuations σt2[O]\sigma_{t}^{2}[O] and state fluctuations σs,𝒎𝒞2[O]\sigma_{s,\bm{m}_{\mathcal{C}}}^{2}[O] both become critical at the CIPT, i.e., they obey single-parameter scaling. Whereas both parts of the quantum fluctuations are large for p<pcCIPTp<p_{c}^{\text{CIPT}}, they become small for p>pcCIPTp>p_{c}^{\text{CIPT}}, where only small fluctuations around a classical trajectory remain. One open question about more general CIPT models is whether there exist models where the critical behavior differs between the trajectory fluctuations and the state fluctuations.

II.2.1 Experimental tractability

The separation of the observable fluctuations in Eq. (14) not only serves for a conceptual understanding of the quantum nature of the CIPT, but also provides a practical way to experimentally measure the quantum fluctuations, as this separation does not require post-selection. The first term in Eq. (14), the circuit fluctuations σ𝒞2[O]\sigma_{\mathcal{C}}^{2}[O] [see Fig. 2(a)], can be experimentally sampled without post-selection. This is because the first contribution 𝔼𝒞[(𝔼𝒎𝒞[O𝒎𝒞])2]\mathbb{E}_{\mathcal{C}}\left[\left(\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[{O}_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}\right] is obtainable by first fixing a specific circuit 𝒞\mathcal{C}, and then randomly sampling the different measurement outcomes 𝒎𝒞\bm{m}_{\mathcal{C}} and the random shots at the final time following the Born rule given that 𝒞\mathcal{C} and 𝒎𝒞\bm{m}_{\mathcal{C}}. The second contribution (𝔼𝒞𝔼𝒎𝒞[O𝒎𝒞])2\left(\mathbb{E}_{\mathcal{C}}\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[{O}_{\bm{m}_{\mathcal{C}}}\right]\right)^{2} involves a simple average over all measurement outcomes and shots.

The second term in Eq. (14), the quantum fluctuations σQ,𝒞2[O]\sigma_{Q,\mathcal{C}}^{2}[O] can also be estimated without post-selection in experiments. We can fix a specific circuit 𝒞\mathcal{C}, randomly sample the trajectories 𝒎𝒞\bm{m}_{\mathcal{C}}, and collapse the entire wave function at the final time to collect a single shot of the observables O𝒎𝒞O_{\bm{m}_{\mathcal{C}}} and O𝒎𝒞2O_{\bm{m}_{\mathcal{C}}}^{2}. Repeating this process for each sampled trajectory, we can compute the variance given a specific circuit 𝒞\mathcal{C} to obtain the quantum fluctuations in Eq. (14).

However, separating the quantum fluctuations into the trajectory fluctuations σt2[O]\sigma_{t}^{2}[O] [the first term in Eq. (15) and also illustrated in Fig. 2(b)], and the state fluctuations σs,𝒎𝒞2[O]\sigma_{s,\bm{m}_{\mathcal{C}}}^{2}[O] [the second term in Eq. (15) and also illustrated in Fig. 2(c)]– in experiments seems to require postselection. This is due to the measurement of the quantum average O𝒎𝒞2\expectationvalue{O}^{2}_{\bm{m}_{\mathcal{C}}}, which involves repeated realization of the same pure state |ψ𝒎𝒞\ket{\psi_{\bm{m}_{\mathcal{C}}}} by post-selection Fortunately, in the Bernoulli map model with |00\ket{0\dots 0} as the control state, as we will show later, these two fluctuations share the same scaling dimension at the CIPT, and therefore, their combination shows the same critical behavior. This also verified in Appendix D.4, where we present a direct numerical simulation of the shot-to-shot fluctuation finding results consistent with those in Sec. IV.2 for the trajectory and state fluctuations, respectively.

Refer to caption
Figure 3: Ensemble-averaged bit string distribution f(x)f(x) in Eq. (16) as a function of pctrlp_{\text{ctrl}} for (a) the classical model and (b) the quantum model, both with L=10L=10. The bottom axis shows the number in base 10, and the top axis shows the corresponding bit strings in base 2. The false color shows f(x)f(x) on a log scale (with an offset of 10510^{-5} to avoid divergence at zero probability). (c-e) f(x)f(x) for three typical pctrlp_{\text{ctrl}} for the chaotic phase at pctrl=0.4p_{\text{ctrl}}=0.4 (orange), the critical point at pctrl=0.5p_{\text{ctrl}}=0.5 (red), and the controlled phase at pctrl=0.6p_{\text{ctrl}}=0.6 (green) for the quantum model.

II.3 Summary of main results

Having addressed these preliminaries, we now briefly summarize our main results regarding the quantum nature of the CIPT.

  1. 1.

    At the level of ensemble-averaged wave function properties (e.g. the ensemble-averaged distribution of the wave function over computational basis states), the quantum model looks similar to the classical model near the CIPT.

  2. 2.

    The CIPT nevertheless manifests a phase transition in a quantum information-theoretic quantity: the ensemble-averaged l1l_{1}-coherence \mathfrak{C} changes from an exponential growth as a function of system size LL in the chaotic phase to a saturating LL-independent value in the controlled phase. At the critical point, the coherence growth remains exponential, indicating the critical wave function is quantum coherent.

  3. 3.

    At the level of fluctuations in observables, the circuit-to-circuit fluctuations present in both the classical and quantum limits provide the dominant contribution and manifest the critical properties of the classical model.

  4. 4.

    Although the trajectory-to-trajectory fluctuations, which appear only in the quantum limit, are subdominant, their contribution can be separated from the circuit-to-circuit fluctuations and measured experimentally. These intrinsic quantum fluctuations also become critical at the CIPT, and develop a non-zero scaling dimension that governs the algebraic decay of these fluctuations at the critical point.

These results provide a precise framework to demonstrate that the CIPT, which naively appears fully classical in nature, in fact, manifests inherent quantum critical properties that were previously “washed out” (or hidden) by equally averaging over circuits and measurement outcomes. We defer discussion of this point and further consequences to Sec. V.

III Ensemble-Averaged wave function Properties

Before discussing the different types of fluctuations, we first consider ensemble-averaged properties of the wave function, as it provides a direct connection to the classical limit. We analyze the probability distribution of the bit-string-resolved wave function, ensemble averaged over different circuits and trajectories, without separating the quantum and classical contributions, and find that the quantum and classical results are essentially indistinguishable. However, a distinction appears when we compute the ensemble-averaged l1l_{1}-coherence of the wave function to demonstrate that the system is quantum coherent at the CIPT. In the regime governed by quantum dynamics, the coherence is exponentially large (in the number of qubits LL), and in the controlled phase, it saturates to an LL-independent value. At the CIPT critical point, it retains an exponential growth, indicating the average wave function is quantum coherent in the classical computational basis. This implies that the CIPT in the quantum model has become more than the classical transition from which originates, and we therefore need to look at its quantum effects in a precise manner, which is the focus of the section following this one.

III.1 Ensemble-averaged bit string distribution

To explicitly visualize how the control map is imprinted upon the quantum state, we plot the ensemble-averaged probability distribution over bit strings as a function of the control rate pctrlp_{\text{ctrl}} for both the classical [Fig. 3(a)] and quantum [Fig. 3(b)] Bernoulli circuit models for system size L=10L=10. Here, the probability of finding the state in a specific bit string xx is defined as

f(x)=𝔼𝑴[|x|ψ𝑴|2],f(x)=\mathbb{E}_{\bm{M}}\left[\absolutevalue{\innerproduct{x}{\psi_{\bm{M}}}}^{2}\right], (16)

where |ψ𝑴\ket{\psi_{\bm{M}}} is the steady state of the system for a specific sample 𝑴\bm{M} including a fixed circuit realization 𝒞\mathcal{C} and measurement history m𝒞m_{\mathcal{C}}. In the classical model, the system is in a simple product state at all times.

In Fig. 3(a,b), we notice a striking visual resemblance between the classical and quantum models—as the control rate pctrlp_{\text{ctrl}} increases from 0, the distribution of the bit string changes from a uniform distribution over all bit strings (corresponding to an ergodic chaotic phase) to a distribution localized at the fixed point of the polarized state |000\ket{00\dots 0}.

To understand the structure in the computational basis in more detail we turn to Figs. 3(c-e), where we present bit string distributions f(x)f(x) for three typical values of pctrlp_{\text{ctrl}} corresponding to the chaotic phase at pctrl=0.4p_{\text{ctrl}}=0.4 (orange), the critical point at pctrl=0.5p_{\text{ctrl}}=0.5 (red), and the controlled phase at pctrl=0.6p_{\text{ctrl}}=0.6 (green), respectively. We see for pctrl<pctrlcp_{\mathrm{ctrl}}<p_{\mathrm{ctrl}}^{c} that f(x)f(x) is almost uniformly distributed across all the basis states, namely f(x)dx=2Lf(x)\sim dx=2^{-L}, where dxdx is the measure coming from the discretization of the interval [0,1)[0,1). For pctrl>pctrlcp_{\mathrm{ctrl}}>p_{\mathrm{ctrl}}^{c}, we find f(x)δxdxf(x)\sim\delta_{x}dx up to a tail that goes to zero in the thermodynamic limit (see Appendix A for more details on the scaling of the distribution with system size LL), demonstrating that the wave function “sticks” to the fixed point in the controlled phase. At the CIPT pctrl=pctrlcp_{\mathrm{ctrl}}=p_{\mathrm{ctrl}}^{c}, the bit string distribution takes the power law form f(x)L1dxf(x)\sim L^{-1}dx.

An interesting feature is the staircase pattern in the distribution of bit strings, f(x)f(x), at a given pctrlp_{\text{ctrl}}, where abrupt changes all happen at bit strings that are inverse of the power of 2, and probability density within each interval remains almost uniform. The positions of abrupt changes motivate us to define the position of FDW measured as the first (leftmost) “1” from the right edge of the bit string xx. For example, |0000000010\ket{0000000010} and |0000000011\ket{0000000011} have k=2k=2, and the polarized state |0000000000\ket{0000000000} has k=0k=0. Formally, we can define the FDW position for x[0,1)x\in[0,1) as

k=FDW(x)={log2(x2L)+1,0<x<10,x=0k=\text{FDW}(x)=\begin{cases}\log_{2}(\lfloor x2^{L}\rfloor)+1,\quad&0<x<1\\ 0,\quad&x=0\end{cases} (17)

where \lfloor\dots\rfloor is the floor function.

Therefore, the state of the system can be effectively described by the FDW location kk instead of tracking the entire wave function, hence providing an effective metric to monitor its dynamics. (see Appendix A for more quantitative analysis of the FDW distribution.)

III.2 Quantum coherence

Refer to caption
Figure 4: Quantum coherence \mathfrak{C} [Eq. (18)] as a function of pctrlp_{\text{ctrl}} in (a) chaotic phase showing exponential growth with system size LL using state vector evolution, and (b) the critical and controlled phase showing sub-exponential growth using matrix product states. The dashed line is the fitting of the coherence following Eq. (20). The fitted parameters are shown in Fig. 5.
Refer to caption
Figure 5: The fitted parameters (a) a1a_{1}, (b) a0a_{0}, and (c) a1a_{-1} appearing in the series expansion of the coherence \mathfrak{C} posited in Eq. (20). Above the CIPT, the different curves correspond to different system size ranges [Lmin,50][L_{\rm min},50] with varying LminL_{\rm min} as shown in the legend. Below the CIPT, system sizes L[8,18]L\in[8,18] are considered. The insets show the trends of the fitted parameters as a function of LminL_{\text{min}} for pctrl=0.5p_{\text{ctrl}}=0.5 (circles), pctrl=0.53p_{\text{ctrl}}=0.53 (squares), and pctrl=0.55p_{\text{ctrl}}=0.55 (triangles).

In the previous section, we found that the ensemble-averaged FDW distribution is the same for both the classical and quantum models (see Appendix A for a quantitative analysis of the two distributions), which does not inform us about the quantum nature of the CIPT. However, we can probe quantum effects by directly looking at the essence of a quantum state, i.e., its coherence due to superposition.

The coherence measure we adopt here is the ensemble-averaged l1l_{1}-quantum coherence [21]

=𝔼𝑴[xx|(ρ𝑴)x,x|],\mathfrak{C}=\mathbb{E}_{\bm{M}}\left[\sum_{x\neq x^{\prime}}\absolutevalue{(\rho_{\bm{M}})_{x,x^{\prime}}}\right], (18)

where ρ𝑴\rho_{\bm{M}} is the density matrix for a specific sample 𝑴\bm{M}, and (ρ𝑴)x,x{(\rho_{\bm{M}})_{x,x^{\prime}}} is the off-diagonal element of the density matrix corresponding to |xx|=i=1L|bibi|\outerproduct{x}{x^{\prime}}=\bigotimes_{i=1}^{L}\outerproduct{b_{i}}{b_{i}^{\prime}}. The summation runs over all the off-diagonal elements of the density matrix, which originate from multiple superposition components within the quantum state. Consequently, the l1l_{1}-coherence is manifestly zero in the classical model. Note that we choose to focus on the average coherence of the state rather than the coherence of the average state as, in the latter case, the sample average washes out the off-diagonal density-matrix elements, leading to zero coherence. This is similar to the reason why ensemble-averaged entanglement measures are considered in studies of MIPTs.

In our numerical simulations of the coherence, we use both state-vector and MPS evolution algorithms. We use state-vector evolution to compute the coherence throughout the phase diagram (including the volume-law phase) up to L=18L=18. Within the area-law phase, which includes the CIPT, the object of our study, we use MPS to simulate system sizes beyond L=20L=20. Here, the nontrivial part is to compute the element-wise absolute value of the MPS wave function without fully contracting the internal legs of the MPS, which would lead to an exponential memory cost. We, therefore, use tensor cross interpolation [22, 23, 24, 25] (TCI) to learn the mapping from the physical index of an MPS to the norm of the corresponding wave function amplitude:

𝔣:(b1,b2,,bL)2L|b1b2bL|ψ𝑴|,\mathfrak{f}:(b_{1},b_{2},\dots,b_{L})\in\mathbb{Z}_{2}^{\otimes{L}}\rightarrow\absolutevalue{\innerproduct{b_{1}b_{2}\dots b_{L}}{\psi_{\bm{M}}}}\in\mathbb{R}, (19)

where |b1b2bL\ket{b_{1}b_{2}\dots b_{L}} corresponds to the computational basis state |x\ket{x} with x[0,1)x\in[0,1). With TCI, we can directly obtain each element in the density matrix—in complexity O(χ4)O(\chi^{4}) where χ\chi is the maximal bond dimension of the MPS—without fully contracting the MPS. We choose a sufficiently large maximal bond dimension to capture the wave function within the area-law phase. More details on the TCI method are provided in Appendix C.

We start with an initial product state with FDW location k=1k=1 and evolve the system to the steady state, which is reached after 2L22L^{2} time steps. In Fig. 4, we plot the steady-state coherence log2\log_{2}\mathfrak{C} as a function of system size LL for different pctrlp_{\text{ctrl}} using state-vector evolution for the chaotic phase in Fig. 4(a) and MPS for the critical and controlled phases in Fig. 4(b). In the chaotic phase [Fig. 4(a)], we find that the coherence grows exponentially with LL, namely 2a1(p)L\mathfrak{C}\sim 2^{a_{1}(p)L}. At pctrl=0p_{\text{ctrl}}=0, we analytically find =π42L\mathfrak{C}=\frac{\pi}{4}2^{L} as LL\rightarrow\infty from the coherence of a Haar random state (see Appendix B), which is the maximal possible coherence. For a finite pctrlp_{\text{ctrl}} in the chaotic phase, the coherence continues to grow exponentially, however, with 0<a1(p)<10<a_{1}(p)<1. Surprisingly, we find that at the critical point, the coherence remains exponential with a1(pc)0.85a_{1}(p_{c})\approx 0.85. In contrast, for p>pcp>p_{c}, we find that \mathfrak{C} saturates to a system size independent value. This motivates the hypothesis that the coherence can be parameterized as 2h(p,L)\mathfrak{C}\sim 2^{h(p,L)}, with h(p,L)h(p,L) becoming non-analytic at the control transition. To test this, we apply an empirical “proof by contradiction” by assuming h(p,L)h(p,L) is analytic in pp, so that an asymptotic expansion of the form

log2a1(p)L+a0(p)+a1(p)L1+O(L2)\log_{2}\mathfrak{C}\sim{a_{1}(p)L+a_{0}(p)+a_{-1}(p)L^{-1}+O(L^{-2})} (20)

holds. We will show that the coefficients of this expansion become singular near the critical point, demonstrating that h(p,L)h(p,L) becomes non-analytic at this dynamical quantum phase transition.

We analyze the fitted parameters a1a_{1}, a0a_{0}, and a1a_{-1} in Fig. 5 by gradually excluding smaller system sizes from the fitting. In Fig. 5(a), we find that a1a_{1}, which parameterizes the exponential growth of the coherence, remains almost constant throughout the chaotic phase up to the CIPT, where it jumps to zero. As we continue to exclude smaller system sizes, the jump becomes more abrupt, as shown in the inset. In Fig. 5(b), we study a0a_{0}, which parameterizes the system-size independent contribution. Starting with a00.34log2(π/4)a_{0}\approx-0.34\approx\log_{2}(\pi/4) at zero control rate, we find that a0a_{0} decreases monotonically with pctrlp_{\text{ctrl}} and reaches its minimum at the critical point, which is consistent with the decreasing growth exponent in Fig. 4(a). In the controlled phase at pctrl>0.6p_{\text{ctrl}}>0.6, we find that a0a_{0} also decreases monotonically but from a large positive value. Here, a0a_{0} corresponds to the saturation coherence at large LL, which is consistent with the decreasing saturation coherence for larger pctrlp_{\text{ctrl}} in Fig. 4(b). The growth from the minimum value to the large positive value between pctrl=0.5p_{\text{ctrl}}=0.5 and pctrl=0.55p_{\text{ctrl}}=0.55 is a finite-size effect: The data in the inset show that the peak of a0a_{0} in the controlled phase near pctrl=0.55p_{\text{ctrl}}=0.55 becomes sharper as we exclude smaller system sizes from the fitting as shown in the inset.

Finally, in Fig. 5(c), we show data for a1a_{-1}, which parameterizes the subleading correction of order L1L^{-1}. We notice that it remains zero in both the chaotic and controlled phases but diverges at the critical point, consistent with the function h(p,L)h(p,L) becoming non-analytic at the transition in the thermodynamic limit (L)(L\rightarrow\infty). It is striking that the coherence remains exponentially growing at the transition, demonstrating that the critical wave function is inherently quantum mechanical.

IV Classical vs. quantum fluctuations of observables

The critical behavior of the quantum coherence already demonstrates the quantum nature of the CIPT in the quantum model. However, quantum coherence is challenging to measure experimentally as, like the entanglement entropy, one must compute the coherence of each sample before averaging over samples. It is therefore preferable to try to access the quantum nature of the CIPT with quantities that do not require post-selection. In Sec. III, we showed that the ensemble-averaged bit string distribution is dominated by classical behavior. Nevertheless, as discussed in Sec. II.2, considering the sample-to-sample fluctuations of an observable allows us to separate out quantum and classical fluctuations. In the following results, we will demonstrate that the quantum nature of the CIPT can be observed in the quantum contribution to these fluctuations.

Refer to caption
Figure 6: Steady-state circuit-to-circuit fluctuations at pctrl=0.5p_{\text{ctrl}}=0.5 for different system sizes LL. The inset shows finite-size-scaling collapse following Eq. (22) with ν=1.007(2)\nu=1.007(2) and pcCIPT=0.500(1)p_{c}^{\text{CIPT}}=0.500(1).

IV.1 Classical circuit-to-circuit fluctuations

We first consider the dominant contribution to the unresolved fluctuations in the quantum model, namely the classical circuit-to-circuit fluctuations

σ𝒞2[k]=𝔼𝒞[(𝔼𝒎𝒞[k𝒎𝒞])2](𝔼𝒞𝔼𝒎𝒞[k𝒎𝒞])2,\sigma_{\mathcal{C}}^{2}[k]=\mathbb{E}_{\mathcal{C}}\left[\left(\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[{k}_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}\right]-\left(\mathbb{E}_{\mathcal{C}}\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[{k}_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}, (21)

where 𝔼𝒎𝒞[k𝒎𝒞]\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[{k}_{\bm{m}_{\mathcal{C}}}\right] is the trajectory-averaged steady-state FDW expected value given a specific circuit 𝒞\mathcal{C}.

To probe the classical fluctuations, we choose an initial state with the FDW at k=L/2k=L/2, and allow the circuit to reach the steady state (the dynamics will be discussed in a sequel [28]). The classical nature of the circuit-to-circuit fluctuation can be seen in the steady-state value σ𝒞2[k]\sigma_{\mathcal{C}}^{2}[k] as a function of pctrlp_{\rm ctrl} for different system sizes LL, as shown in Fig. 6. Here, we find that the steady-state fluctuations peak at the critical point, with the peak value scaling as O(L2)O(L^{2}), consistent with the dynamical exponent of z=2z=2 in the unbiased random walk. With the finite-size scaling ansatz

σ𝒞2[k]/L2f𝒞((pctrlpcCIPT)L1/ν),\sigma_{\mathcal{C}}^{2}[k]/L^{2}\sim f_{\mathcal{C}}\left(\left(p_{\text{ctrl}}-p_{c}^{\text{CIPT}}\right)L^{1/\nu}\right), (22)

we find data collapse as shown in the inset of Fig. 6 with the estimated critical exponents ν=1.007(2)\nu=1.007(2) and pcCIPT=0.500(1)p_{c}^{\text{CIPT}}=0.500(1) consistent with the random walk universality reported in Ref. [8].

Refer to caption
Figure 7: Probability distribution over all circuits 𝒞\mathcal{C} of the trajectory fluctuations σt2[k]\sigma_{t}^{2}[k] for steady states at (a) pctrl=0.4p_{\text{ctrl}}=0.4, (b) pctrl=0.5p_{\text{ctrl}}=0.5, and (c) pctrl=0.6p_{\text{ctrl}}=0.6 across several system sizes. A clear distinction between each phase is observed, with a vanishing weight at σt2[k]=0\sigma_{t}^{2}[k]=0 in the chaotic phase, which develops into a non-zero contribution in the control phase, demonstrating the dynamics are dominated by a single classical trajectory. At the transition, we see that the classical contribution goes to zero in the thermodynamic limit.
Refer to caption
Figure 8: Order parameter 𝒪t[k]\mathcal{O}_{t}[k] for the trajectory fluctuation of the first domain wall kk [Eq. (24)] for different system sizes LL. The full ensemble includes 500 different circuits 𝒞\mathcal{C}, and 500 different trajectories 𝒎𝒞\bm{m}_{\mathcal{C}} per circuit. Upper inset: Finite-size scaling of the order parameter following Eq. (24) with ν=1.00(5)\nu=1.00(5), pcCIPT=0.50(2)p_{c}^{\text{CIPT}}=0.50(2), and βt=0.98(9)\beta_{t}=0.98(9). Lower inset: Algebraic decay of the order parameter as a function of LL at the critical point.

IV.2 Fluctuations across quantum trajectories

The steady-state trajectory fluctuation σt2[k]\sigma_{t}^{2}[k] in Eq. (13), which measures fluctuations across different quantum trajectories for a fixed circuit realization, is unique to the quantum setting as it is only nonzero when the measurement outcomes are random:

σt2[k]=𝔼𝒎𝒞[k𝒎𝒞2](𝔼𝒎𝒞[k𝒎𝒞])2,\sigma_{t}^{2}[k]=\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[\expectationvalue{k}_{\bm{m}_{\mathcal{C}}}^{2}\right]-\left(\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[{k}_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}, (23)

where k𝒎𝒞=ψ𝒎𝒞|k|ψ𝒎𝒞\expectationvalue{k}_{\bm{m}_{\mathcal{C}}}=\expectationvalue{k}{\psi_{\bm{m}_{\mathcal{C}}}} is the steady state FDW expected value for a specific quantum trajectory 𝒎𝒞\bm{m}_{\mathcal{C}} given a specific circuit 𝒞\mathcal{C}. It is subdominant [σt2[k]O(1)\sigma_{t}^{2}[k]\sim O(1)] compared to the classical circuit-to-circuit fluctuations [σ𝒞2[k]O(L2)\sigma_{\mathcal{C}}^{2}[k]\sim O(L^{2})], so its contribution is not visible in the full average over samples. However, as discussed in Sec. II.2, it can be measured independently in experiments. We also examine the trajectory fluctuation using the magnetization density MzM_{z} in Appendix D, finding results consistent with those for the FDW.

As an illustrative example, we first visualize the temporal spreading of the trajectories of the averaged FDW k(t)=𝔼𝒎𝒞[ψ(t)𝒎𝒞|k|ψ(t)𝒎𝒞]k(t)=\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[\expectationvalue{k}{\psi(t)_{\bm{m}_{\mathcal{C}}}}\right] in Fig. 1(e) starting from k(0)=1\expectationvalue{k(0)}=1 for the three representative control rates pctrl=0.4p_{\text{ctrl}}=0.4, 0.50.5, and 0.60.6 in the quantum model. Within each panel, we plot a collection of quantum trajectories given the same circuit realization 𝒞\mathcal{C} (i.e., the same realization of the unitary scrambler UU in the Bernoulli map and the same sequence of chaotic and control time steps). The visible fluctuations come from the different measurement outcomes 𝒎𝒞\bm{m}_{\mathcal{C}}. In the chaotic phase (left panel), the trajectories start to diverge immediately from the initial state at k=1k=1 and quickly saturate to the left end of the chain at k=Lk=L. The large variance over different trajectories reflects the nature of the quantum dynamics due to the chaos in the Bernoulli map. However, in the controlled phase (right panel), the trajectories remain close to the fixed point, overlapping with each other, and the spreading of the trajectories only happens when the chaotic map is applied multiple times in a row (which is a rare event inside the controlled phase). This demonstrates the scenario where the quantum dynamics with a large spreading of trajectories is reduced to an effectively classical dynamics with a common trajectory. At the critical point in the middle panel, we see critical behavior where the FDW undergoes an unbiased random walk, and the spreading of the trajectories remains O(1)O(1).

Figure 1(e) provides an intuitive picture of the trajectory fluctuations. To quantify these fluctuations, we plot in Figs. 7(a-c) the probability distribution of σt2[k]\sigma_{t}^{2}[k] in the steady state for the three representative values pctrl=0.4p_{\text{ctrl}}=0.4, 0.5, and 0.6 over different circuit realizations 𝒞\mathcal{C}. 111We evolve the circuit up to t=2L2t=2L^{2}, and confirm that the dynamics reaches a steady state for t>L2t>L^{2}. Therefore, all states within t[L2,2L2]t\in[L^{2},2L^{2}] can be treated as separate samples for constructing the histogram in Fig. 7 to enhance the smoothness of the statistics with minimal additional computational cost. We also confirm the qualitatively same results using only the data at final time step t=2L2t=2L^{2}. We find that in the chaotic phase [Fig. 7(a)], most of the trajectory fluctuations are finite (around 0.10.1) and it is unlikely to have zero fluctuations in the thermodynamic limit—the probability of zero fluctuations is exponentially small in system size. At the critical point [Fig. 7(b)], the probability of zero fluctuations instead decays algebraically as a function of system size. In the controlled phase [Fig. 7(c)], most of the trajectory fluctuations are zero regardless of system size with an exponential tail of finite fluctuations, indicating classical dynamics that converge around a single trajectory with deterministic measurement outcomes.

This change in the distribution of the trajectory fluctuations σt2[k]\sigma_{t}^{2}[k] as a function of pctrlp_{\text{ctrl}} motivates us to define an order parameter 𝒪t[k]\mathcal{O}_{t}[k] as the probability of zero fluctuations,

𝒪t[k]=P[σt2[k]=0]0ϵp[σt2[k]]𝑑σt2[k],\mathcal{O}_{t}[k]=P[\sigma_{t}^{2}[k]=0]\approx\int_{0}^{\epsilon}p[\sigma_{t}^{2}[k]]d\sigma_{t}^{2}[k], (24)

where ϵ=105\epsilon=10^{-5} is a small numerical cutoff. This order parameter is shown in Fig. 8 as a function of pctrlp_{\rm ctrl} for different system sizes LL. It vanishes in the chaotic phase, decays algebraically at the critical point, and saturates to a finite value in the controlled phase.

The algebraic decay of the order parameter 𝒪t[k]\mathcal{O}_{t}[k] at the critical point exposes another scaling dimension defined as

𝒪t[k]{(pctrlpcCIPT)βt,pctrl>pcCIPT,0,pctrlpcCIPT\mathcal{O}_{t}[k]\sim\begin{cases}\left(p_{\text{ctrl}}-p_{c}^{\text{CIPT}}\right)^{\beta_{t}},&p_{\text{ctrl}}>p_{c}^{\text{CIPT}},\\ 0,&p_{\text{ctrl}}\leq p_{c}^{\text{CIPT}}\end{cases} (25)

in the tt\rightarrow\infty and LL\rightarrow\infty limit, characterizing the onset of classicality. Here, we denote the scaling dimension by β\beta to make an analogy to the order-parameter critical exponent in the conventional context of continuous phase transitions. In the classical model, βt\beta_{t} does not exist since the trajectory fluctuations σt2[k]\sigma_{t}^{2}[k] are manifestly zero, and therefore 𝒪t[k]\mathcal{O}_{t}[k] will be always 1. In the quantum model, to extract the scaling dimension βt\beta_{t}, we perform finite-size scaling of the order parameter 𝒪t[k]\mathcal{O}_{t}[k] following the scaling form

𝒪t[k]Lβt/νft((pctrlpcCIPT)L1/ν).\mathcal{O}_{t}[k]\sim L^{-\beta_{t}/\nu}f_{t}\left(\left(p_{\text{ctrl}}-p_{c}^{\text{CIPT}}\right)L^{1/\nu}\right). (26)

In the inset of Fig. 8, we estimate the new scaling dimension as βt=0.98(8)\beta_{t}=0.98(8), along with ν=0.99(3)\nu=0.99(3), pcCIPT=0.50(2)p_{c}^{\text{CIPT}}=0.50(2) consistent with the classical results. This unveils another inherently quantum aspect of the CIPT which was previously overlooked due to the subleading nature of the quantum contribution to the sample-to-sample fluctuations. These universal quantum fluctuations should be generic to other adaptive quantum dynamics as well. In Appendix F, we show that the absorbing-state transition studied in Ref. [13] exhibits a similar behavior where the quantum trajectory fluctuations become critical and are then suppressed once the system enters the absorbing phase (analogous to the controlled phase here). The only difference lies in the vanishing scaling dimension β\beta in the trajectory fluctuation.

IV.3 Fluctuations across quantum states

Refer to caption
Figure 9: Order parameter 𝒪s[k]\mathcal{O}_{s}[k] for the state fluctuation of the first domain wall kk for different system sizes LL as a function of pctrlp_{\rm ctrl}. Upper inset: Finite-size scaling collapse with ν=1.00(3)\nu=1.00(3), pcCIPT=0.500(3)p_{c}^{\text{CIPT}}=0.500(3), and βs=1.00(1)\beta_{s}=1.00(1). Lower inset: Algebraic decay of the order parameter as a function of LL at the critical point.

Having explored trajectory fluctuations in detail we now turn to a state fluctuation σs,𝒎𝒞2[k]\sigma_{s,\bm{m}_{\mathcal{C}}}^{2}[k] in Eq. (14). Similarly, we study the FDW location kk as

σs,𝒎𝒞2[k]=k2𝒎𝒞k𝒎𝒞2\sigma_{s,\bm{m}_{\mathcal{C}}}^{2}[k]=\expectationvalue{k^{2}}_{\bm{m}_{\mathcal{C}}}-\expectationvalue{k}_{\bm{m}_{\mathcal{C}}}^{2} (27)

where k2𝒎𝒞=ψ𝒎𝒞|k2|ψ𝒎𝒞\expectationvalue{k^{2}}_{\bm{m}_{\mathcal{C}}}=\expectationvalue{k^{2}}{\psi_{\bm{m}_{\mathcal{C}}}} is the second moment of kk for a specific quantum trajectory 𝒎𝒞{\bm{m}_{\mathcal{C}}} and a fixed circuit 𝒞\mathcal{C}. This quantity intuitively estimates the average spreading of the FDW wave packet within a single quantum trajectory. For the classical model, Eq. (27) is also by definition zero because the “wave function” |ψ𝒎𝒞\ket{\psi_{\bm{m}_{\mathcal{C}}}} is a product state with a sharp FDW location, as opposed to a quantum wave packet. For the quantum model, the Bernoulli map generates quantum coherence as it scrambles a product state into a superposition of product states.

Similar to the trajectory fluctuations in Eq. (24), the distribution of the state fluctuations at the steady state can also be used to unveil the quantum nature of the CIPT. Here, we can define the probability of zero fluctuations in σs,𝒎𝒞2[k]\sigma_{s,\bm{m}_{\mathcal{C}}}^{2}[k] for different circuits 𝒞\mathcal{C} and trajectories 𝒎𝒞\bm{m}_{\mathcal{C}} as an order parameter 𝒪s[k]\mathcal{O}_{s}[k] similar to Eq. (24). The order parameter 𝒪s[k]\mathcal{O}_{s}[k] also changes from zero in the chaotic phase to a finite value in the controlled phase with an algebraic decay at the critical point, as shown in the lower inset in Fig. 9, similar to Eq. (24). To extract the corresponding scaling dimension βs\beta_{s}, we plot in Fig. 9 the order parameter 𝒪s[k]\mathcal{O}_{s}[k] as a function of pctrlp_{\text{ctrl}} for L=10L=10 to L=40L=40. The upper inset in Fig. 9 shows the finite-size scaling of the order parameter 𝒪s[k]\mathcal{O}_{s}[k] following the scaling form in Eq. (26) to find the scaling dimension βs=0.99(3)\beta_{s}=0.99(3), with critical exponent ν=0.99(1)\nu=0.99(1), and critical measurement rate pcCIPT=0.500(1)p_{c}^{\text{CIPT}}=0.500(1), which is consistent with the critical exponents extracted from the trajectory fluctuation in Sec. IV.2.

Although both the trajectory and state fluctuations in the Bernoulli map model exhibit the same critical behavior at the CIPT, we notice that they are quantitatively different. In the controlled phase, the trajectory fluctuations (Fig. 8) have a larger order parameter than the state fluctuations in Fig. 9, indicating that the states with zero state fluctuations are a subset of those with zero trajectory fluctuations, given the ferromagnetic state as the dark state. This suggests that the state fluctuations being zero is a stronger condition than the trajectory fluctuations being zero. For example, when the states across all trajectories are reset to the fixed point |00\ket{0\dots 0} (e.g., after many consecutive applications of the control map), a fixed Bernoulli map in the next time step drives all states to the same state z0|000+z1|001+z2|010+z3|011z_{0}\ket{0\dots 00}+z_{1}\ket{0\dots 01}+z_{2}\ket{0\dots 10}+z_{3}\ket{0\dots 11}, leading to a zero trajectory fluctuation, while finite state fluctuation due to the coherence.

The opposite scenario with finite trajectory fluctuations but zero state fluctuations can also exist. For example, in the conventional Haar-random MIPT bricklayer model without any feedback, the trajectory fluctuations are always finite regardless of the measurement rate, while the state fluctuations are zero beyond the connectivity transition. Adaptive circuits with other feedback operations targeting other dark states can lead to different qualitative behaviors for the two types of quantum fluctuations, which is an interesting direction for future research.

V Discussion

In this work, we have provided a framework to characterize the quantum nature of CIPTs. The classical contributions have been precisely identified and, in the case of the Bernoulli circuit model, have been shown to nicely capture the average long-time steady state properties, including the universal properties of the underlying classical absorbing state transition. By separating out the classical and quantum contributions to an average over measurement outcomes as in Eq. (12), we have been able to identify a critical mode associated with trajectory-to-trajectory fluctuations governed by a universal scaling dimension unique to the quantum limit. These critical fluctuations among the many “worlds” of quantum mechanics can be directly measured on NISQ hardware without the need for post-selection.

We also analyzed the quantum coherence across the CIPT using a combination of exact state-vector evolution and matrix product state simulations leveraging tensor cross interpolation. By uncovering the critical behavior of the coherence at the CIPT, we have shown that absorbing-state transitions embedded into quantum systems also entail a phase transition between quantum coherent and fully classical dynamics.

In the models we have investigated in this work, the phase transition in trajectory-to-trajectory fluctuations and quantum coherence coincide. However, this need not be the case in general. For example, if we were to instead consider controlling onto an area-law entangled state, such as the Greenberger-Horne-Zeilinger or cluster states as in Ref. [13], the two transitions may split apart. Understanding the structure of these critical properties in a precise manner is now possible utilizing the model-independent framework developed in this work. Opening this up to target states with various patterns of entanglement and correlations is a fascinating direction for future research.

Acknowledgments

We thank David A. Huse for his valuable feedback on the manuscript, as well as Kemal Aziz, Abhinav Deshpande, Sriram Ganeshan, Luke Govia, Barbara Jones, Bibek Pokharel, Oles Shtanko, Maika Takita, and Justin Wilson for many valuable discussions and for collaboration on related work. This work is partially supported by US-ONR grant No. N00014-23-1-2357 (H.P. and J.H.P.) and by the National Science Foundation under Grant No. DMR-2143635 (T.I.).

References

  • Skinner et al. [2019] B. Skinner, J. Ruhman, and A. Nahum, Measurement-Induced Phase Transitions in the Dynamics of Entanglement, Physical Review X 9, 031009 (2019).
  • Li et al. [2018] Y. Li, X. Chen, and M. P. A. Fisher, Quantum Zeno effect and the many-body entanglement transition, Physical Review B 98, 205136 (2018).
  • Li et al. [2019] Y. Li, X. Chen, and M. P. A. Fisher, Measurement-driven entanglement transition in hybrid quantum circuits, Physical Review B 100, 134306 (2019).
  • Chan et al. [2019] A. Chan, R. M. Nandkishore, M. Pretko, and G. Smith, Unitary-projective entanglement dynamics, Physical Review B 99, 224307 (2019).
  • Fisher et al. [2023] M. P. A. Fisher, V. Khemani, A. Nahum, and S. Vijay, Random Quantum Circuits, Annual Review of Condensed Matter Physics 14, 335 (2023).
  • Noel et al. [2022] C. Noel, P. Niroula, D. Zhu, A. Risinger, L. Egan, D. Biswas, M. Cetina, A. V. Gorshkov, M. J. Gullans, D. A. Huse, and C. Monroe, Measurement-induced quantum phases realized in a trapped-ion quantum computer, Nature Physics 18, 760 (2022).
  • Hoke et al. [2023] J. C. Hoke, M. Ippoliti, E. Rosenberg, D. Abanin, R. Acharya, T. I. Andersen, M. Ansmann, F. Arute, K. Arya, A. Asfaw, J. Atalaya, J. C. Bardin, A. Bengtsson, G. Bortoli, A. Bourassa, J. Bovaird, L. Brill, M. Broughton, B. B. Buckley, D. A. Buell, T. Burger, B. Burkett, N. Bushnell, Z. Chen, B. Chiaro, D. Chik, J. Cogan, R. Collins, P. Conner, W. Courtney, A. L. Crook, B. Curtin, A. G. Dau, D. M. Debroy, A. Del Toro Barba, S. Demura, A. Di Paolo, I. K. Drozdov, A. Dunsworth, D. Eppens, C. Erickson, E. Farhi, R. Fatemi, V. S. Ferreira, L. F. Burgos, E. Forati, A. G. Fowler, B. Foxen, W. Giang, C. Gidney, D. Gilboa, M. Giustina, R. Gosula, J. A. Gross, S. Habegger, M. C. Hamilton, M. Hansen, M. P. Harrigan, S. D. Harrington, P. Heu, M. R. Hoffmann, S. Hong, T. Huang, A. Huff, W. J. Huggins, S. V. Isakov, J. Iveland, E. Jeffrey, Z. Jiang, C. Jones, P. Juhas, D. Kafri, K. Kechedzhi, T. Khattar, M. Khezri, M. Kieferová, S. Kim, A. Kitaev, P. V. Klimov, A. R. Klots, A. N. Korotkov, F. Kostritsa, J. M. Kreikebaum, D. Landhuis, P. Laptev, K.-M. Lau, L. Laws, J. Lee, K. W. Lee, Y. D. Lensky, B. J. Lester, A. T. Lill, W. Liu, A. Locharla, O. Martin, J. R. McClean, M. McEwen, K. C. Miao, A. Mieszala, S. Montazeri, A. Morvan, R. Movassagh, W. Mruczkiewicz, M. Neeley, C. Neill, A. Nersisyan, M. Newman, J. H. Ng, A. Nguyen, M. Nguyen, M. Y. Niu, T. E. O’Brien, S. Omonije, A. Opremcak, A. Petukhov, R. Potter, L. P. Pryadko, C. Quintana, C. Rocque, N. C. Rubin, N. Saei, D. Sank, K. Sankaragomathi, K. J. Satzinger, H. F. Schurkus, C. Schuster, M. J. Shearn, A. Shorter, N. Shutty, V. Shvarts, J. Skruzny, W. C. Smith, R. Somma, G. Sterling, D. Strain, M. Szalay, A. Torres, G. Vidal, B. Villalonga, C. V. Heidweiller, T. White, B. W. K. Woo, C. Xing, Z. J. Yao, P. Yeh, J. Yoo, G. Young, A. Zalcman, Y. Zhang, N. Zhu, N. Zobrist, H. Neven, R. Babbush, D. Bacon, S. Boixo, J. Hilton, E. Lucero, A. Megrant, J. Kelly, Y. Chen, V. Smelyanskiy, X. Mi, V. Khemani, P. Roushan, and Google Quantum AI and Collaborators, Measurement-induced entanglement and teleportation on a noisy quantum processor, Nature 622, 481 (2023).
  • Iadecola et al. [2022] T. Iadecola, S. Ganeshan, J. H. Pixley, and J. H. Wilson, Dynamical entanglement transition in the probabilistic control of chaos (2022).
  • LeMaire et al. [2024] C. LeMaire, A. A. Allocca, J. H. Pixley, T. Iadecola, and J. H. Wilson, Separate measurement- and feedback-driven entanglement transitions in the stochastic control of chaos, Physical Review B 110, 014310 (2024).
  • Pan et al. [2024] H. Pan, S. Ganeshan, T. Iadecola, J. H. Wilson, and J. H. Pixley, Local and nonlocal stochastic control of quantum chaos: Measurement- and control-induced criticality, Physical Review B 110, 054308 (2024).
  • Piroli et al. [2023] L. Piroli, Y. Li, R. Vasseur, and A. Nahum, Triviality of quantum trajectories close to a directed percolation transition, Physical Review B 107, 224303 (2023).
  • Sierant and Turkeshi [2023] P. Sierant and X. Turkeshi, Controlling Entanglement at Absorbing State Phase Transitions in Random Circuits, Physical Review Letters 130, 120402 (2023).
  • O’Dea et al. [2024] N. O’Dea, A. Morningstar, S. Gopalakrishnan, and V. Khemani, Entanglement and absorbing-state transitions in interactive quantum dynamics, Physical Review B 109, L020304 (2024).
  • Ravindranath et al. [2023] V. Ravindranath, Y. Han, Z.-C. Yang, and X. Chen, Entanglement steering in adaptive circuits with feedback, Physical Review B 108, L041103 (2023).
  • Thompson and Kamenev [2024] F. Thompson and A. Kamenev, Population Dynamics of Schrödinger Cats, arXiv.2409.07047  (2024).
  • Iadecola et al. [2024] T. Iadecola, J. H. Wilson, and J. H. Pixley, Concomitant Entanglement and Control Criticality Driven by Collective Measurements (2024).
  • Antoniou et al. [1996] I. Antoniou, V. Basios, and F. Bosco, PROBABILISTIC CONTROL OF CHAOS: THE β\beta-ADIC RENYI MAP UNDER CONTROL, International Journal of Bifurcation and Chaos 06, 1563 (1996).
  • Antoniou et al. [1997] I. Antoniou, V. Basios, and F. Bosco, Probabilistic control of Chaos: Chaotic maps under control, Computers & Mathematics with Applications 34, 373 (1997).
  • Antoniou et al. [1998] I. Antoniou, V. Basios, and F. Bosco, Absolute Controllability Condition for Probabilistic Control of Chaos, International Journal of Bifurcation and Chaos 08, 409 (1998).
  • Allocca et al. [2024] A. A. Allocca, C. LeMaire, T. Iadecola, and J. H. Wilson, Statistical mechanics of stochastic quantum control: dd-adic R\’enyi circuits, Physical Review E 110, 024113 (2024).
  • Baumgratz et al. [2014] T. Baumgratz, M. Cramer, and M. B. Plenio, Quantifying Coherence, Physical Review Letters 113, 140401 (2014).
  • Oseledets and Tyrtyshnikov [2010] I. Oseledets and E. Tyrtyshnikov, TT-cross approximation for multidimensional arrays, Linear Algebra and its Applications 432, 70 (2010).
  • Dolgov and Savostyanov [2020] S. Dolgov and D. Savostyanov, Parallel cross interpolation for high-precision calculation of high-dimensional integrals, Computer Physics Communications 246, 106869 (2020).
  • Ritter et al. [2024] M. K. Ritter, Y. Núñez Fernández, M. Wallerberger, J. von Delft, H. Shinaoka, and X. Waintal, Quantics Tensor Cross Interpolation for High-Resolution Parsimonious Representations of Multivariate Functions, Physical Review Letters 132, 056501 (2024).
  • Fernández et al. [2024] Y. N. Fernández, M. K. Ritter, M. Jeannin, J.-W. Li, T. Kloss, T. Louvet, S. Terasaki, O. Parcollet, J. von Delft, H. Shinaoka, and X. Waintal, Learning tensor networks with tensor cross interpolation: New algorithms and libraries (2024).
  • Rényi [1957] A. Rényi, Representations for real numbers and their ergodic properties, Acta Mathematica Academiae Scientiarum Hungaricae 8, 477 (1957).
  • Émile Borel [1909] M. Émile Borel, Les probabilités dénombrables et leurs applications arithmétiques, Rendiconti del Circolo Matematico di Palermo (1884-1940) 27, 247 (1909).
  • [28] H. Pan and J. H. Pixley, To appear.
  • Note [1] We evolve the circuit up to t=2L2t=2L^{2}, and confirm that the dynamics reaches a steady state for t>L2t>L^{2}. Therefore, all states within t[L2,2L2]t\in[L^{2},2L^{2}] can be treated as separate samples for constructing the histogram in Fig. 7 to enhance the smoothness of the statistics with minimal additional computational cost. We also confirm the qualitatively same results using only the data at final time step t=2L2t=2L^{2}.
  • 202 [2025] Tensor4all/TensorCrossInterpolation.jl, tensor4all (2025).

Appendix A Distribution of the bit string and the first domain wall

In Sec. III.1, we introduce the distribution of the bit string xx. In this section, we show that it is directly related to the distribution of the first domain wall kk, which is exponential distribution with an exponent ss which can be numerically extracted in Fig. 10(b).

With the concept of FDW, it is convenient to rewrite the distribution of bit string in to a more compact form by grouping bit strings according to their FDW location kk and plot the cumulative distribution f~(k)\tilde{f}(k). In Fig. 10(a), we find that f~(k)\tilde{f}(k) takes an exponential form for both the classical and quantum models. To analyze the behavior of f~(k)\tilde{f}(k) as a function of pctrlp_{\rm ctrl}, we define the ansatz

f~(k)x{x|FDW(x)=k}f(x)2kf(x)2sk,\tilde{f}(k)\equiv\sum_{x\in\left\{x|\text{FDW}(x)=k\right\}}f(x)\approx 2^{k}f(x)\propto 2^{sk}, (28)

where the exponent ss is a fitting parameter that characterizes the distribution. When s<0s<0 (s>0s>0), the FDW is localized at k=0k=0 (k=Lk=L), reflecting that the system is in the controlled (chaotic) phase. As pctrlp_{\text{ctrl}} increases from zero, the exponent ss passes through zero at the CIPT, as shown in Fig. 10(b).

Refer to caption
Figure 10: (a) Ensemble-averaged distribution of the FDW location kk with L=16L=16 for the quantum model. (b) The fitted exponent ss characterizing the FDW distribution as a function of pctrlp_{\text{ctrl}} for the quantum (blue) and the classical (red) models. The error bars are estimated from an ensemble size of 2000 for each pctrlp_{\text{ctrl}}.

With the exponent ss known, we can further analytically derive the scaling behavior of the distribution of the bit string xx and the first domain wall kk.

At zero control rate pctrl=0p_{\text{ctrl}}=0, the distribution of the FDW f~(k)\tilde{f}(k) is simply proportional to the number of bit strings within same FDW kk, i.e., 2k2^{k}. Therefore, ss should be 1 as also numerically verified in Fig. 10(a).

As pctrlp_{\text{ctrl}} increases, the linearity remains but with a smaller slope below 1 until pctrlp_{\text{ctrl}} approaches the critical rate pctrl=0.5p_{\text{ctrl}}=0.5, which gives a zero slope s=0s=0, indicating a uniform distribution as a function of the FDW kk, i.e., f~(k)1/L\tilde{f}(k)\propto 1/L. The uniform distribution of f~(k)\tilde{f}(k) at pctrl=0.5p_{\text{ctrl}}=0.5 indicates that the bit strings xx start to localize at the fixed point xf=0x_{f}=0 as the distribution of the bit strings f(x)2k/Lf(x)\propto 2^{-k}/L.

Beyond the critical point pctrl=0.5p_{\text{ctrl}}=0.5, the distribution of FDW is linear with a negative slope, implies a distribution of the FDW as f~(k)2sk\tilde{f}(k)\propto 2^{sk} with s<0s<0. This indicates an exponential localization of the fixed points with k=0k=0 at pctrl>0.5p_{\text{ctrl}}>0.5 compared to the algebraic decay at pctrl=0.5p_{\text{ctrl}}=0.5. At the limit of control pctrl=1p_{\text{ctrl}}=1, the slope ss\rightarrow-\infty indicates that the fixed points are the only possible states.

In summary, considering the normalization factor, the complete description of the distribution of the bit string xx in Eq. (16)

f(x)=2kf~(k)f(x)=2^{-k}\tilde{f}(k) (29)

where

f~(k)={12s12s(L+1)2sks0(pctrl0.5)1L+1s=0(pctrl=0.5),\tilde{f}(k)=\begin{cases}\frac{1-2^{s}}{1-2^{s(L+1)}}2^{sk}&s\neq 0~{}(p_{\text{ctrl}}\neq 0.5)\\ \frac{1}{L+1}&s=0~{}(p_{\text{ctrl}}=0.5)\\ \end{cases}, (30)

for k[0,L]k\in\left[0,L\right] being the position of FDW for the bit string xx. Here, the only unknown parameter is the slope ss where it changes from +1+1 at pctrl=0p_{\text{ctrl}}=0 to 0 at pctrl=0.5p_{\text{ctrl}}=0.5 and to -\infty at pctrl=1p_{\text{ctrl}}=1, which can be fitted numerically in Fig. 10(b). We also note that the slope ss converges for both the classical and quantum models, which reiterates the fact that the quantum model inherits the classical critical point.

Refer to caption
Figure 11: The probability density function of the bit string for (a) the chaotic phase at pctrl=0.4p_{\text{ctrl}}=0.4, (b) the critical point at pctrl=0.5p_{\text{ctrl}}=0.5, and (c) for the controlled phase at pctrl=0.6p_{\text{ctrl}}=0.6. Note that the different scale in the vertical axis, which corresponds to the scaling in (a) Eq. (32), (b) Eq. (33), and (c) Eq. (34), such that they all collapse to the same curve.

A.1 Scaling of the tail

With the analytic description of the distribution of the bit string, we can fully understand the drastic change in controllability before and after the critical point by studying the distribution of the tail (i.e., {x|xxf}\left\{x|x\neq x_{f}\right\}) in Fig. 11. We show the distribution of the tail for different system sizes LL from the chaotic phase (pctrl=0.4p_{\text{ctrl}}=0.4 in Fig. 11(a)), to criticality (pctrl=0.5p_{\text{ctrl}}=0.5 in Fig. 11(b)), and finally to controlled phase (pctrl=0.6p_{\text{ctrl}}=0.6 in Fig. 11(c)).

In order to compare different system sizes on an equal footing, we define the probability density function p(x)p(x) over a continuous variable xx, which can be considered as an extrapolation to the thermodynamic limit. The probability density function p(x)p(x) is obtained by factoring the measure of a single bit string (i.e., 2L2^{-L}). Namely,

f(x)=p(x)dxp(x)Δx=2Lp(x).f(x)=p(x)dx\approx p(x)\Delta x=2^{-L}p(x). (31)

In the chaotic phase as shown in Fig. 11(a), we find that the probability density function p(x)p(x) converges to an LL-independent distribution, which can be also understood from the analytic result Eq. (31) and Eq. (30) with

p(x)=f(x)2L=2k12s12s(L+1)2sk2Lxs1(2s1)\begin{split}p(x)&=f(x)2^{L}=2^{-k}\frac{1-2^{s}}{1-2^{s(L+1)}}2^{sk}2^{L}\\ &\approx x^{s-1}(2^{s}-1)\end{split} (32)

Here, the last line is obtained because s(0,1]s\in\left(0,1\right] for pctrl[0,0.5)p_{\text{ctrl}}\in\left[0,0.5\right) in the thermodynamic limit, and by noting Eq. (17).

At the critical point pctrl=0.5p_{\text{ctrl}}=0.5 as shown in Fig. 11(b), the probability density function p(x)p(x) decays algebraically as LL increases because,

p(x)=f(x)2L=2k1L2L12(L+1)x,\begin{split}p(x)&=f(x)2^{L}=2^{-k}\frac{1}{L}2^{L}\\ &\approx\frac{1}{2(L+1)x},\end{split} (33)

This can also be visually confirmed in Fig. 11(b) that p(x)Lp(x)L is an exponential distribution independent of LL.

Finally, in the controlled phase as shown in Fig. 11(c), the probability density function p(x)p(x) decays exponentially as LL increases for the tail while diverges at the fixed points in the thermodynamic limit because

p(x)=f(x)2L=2k12s12s(L+1)2sk2Lxs12Ls\begin{split}p(x)&=f(x)2^{L}=2^{-k}\frac{1-2^{s}}{1-2^{s(L+1)}}2^{sk}2^{L}\\ &\approx x^{s-1}2^{Ls}\end{split} (34)

where s(,0)s\in\left(-\infty,0\right) for p(0.5,1]p\in\left(0.5,1\right]. Therefore, in the thermodynamic limit, any non-fixed point bit string will be exponentially suppressed in the controlled phase, which indicates a Dirac δ\delta-distribution for the fixed point, i.e., δ(x)\delta(x). This means that all the dynamics will be steered to the fixed point given a sufficient rate of control maps (pctrl>0.5p_{\text{ctrl}}>0.5) in the thermodynamic limit. The LL-independent exponential decay of p(x)2sLp(x)2^{-sL} in Fig. 11(c) also confirms the analytic result Eq. (34).

Appendix B Quantum coherence for a Haar random state

In this section, we analytically derive the l1l_{1}-coherence of a Haar random state, denoted as

|ψ=x=1Nzx|x=x=1N(ax+ibx)|x,\ket{\psi}=\sum_{x=1}^{N}z_{x}\ket{x}=\sum_{x=1}^{N}(a_{x}+ib_{x})\ket{x}, (35)

where N=2LN=2^{L} is the total number of basis, and ax,bxa_{x},b_{x}\in\mathbb{R} are uniformly distributed on the surface of a unit sphere, i.e., xax2+bx2=1\sum_{x}a_{x}^{2}+b_{x}^{2}=1.

Following Eq. (18), the l1l_{1}-coherence for |ψ\ket{\psi} averaged over the Haar random ensemble is

=xx|ρx,x|Haar=xxax2+bx2ax2+bx2Haar=N(N1)a12+b12a22+b22Haar=N(N1)xax2+bx2=1x=1Ndaxdbxa12+b12a22+b22=N(N1)x=12N1𝒟θxcos2θ1+sin2θ1cos2θ2sinθ1sinθ2cos2θ3+sin2θ3cos2θ4,\begin{split}\mathfrak{C}&=\expectationvalue{\sum_{x\neq x^{\prime}}\absolutevalue{\rho_{x,x^{\prime}}}}_{\text{Haar}}\\ &=\sum_{x\neq x^{\prime}}\expectationvalue{\sqrt{a_{x}^{2}+b_{x}^{2}}\sqrt{a_{x^{\prime}}^{2}+b_{x^{\prime}}^{2}}}_{\text{Haar}}\\ &=N(N-1)\expectationvalue{\sqrt{a_{1}^{2}+b_{1}^{2}}\sqrt{a_{2}^{2}+b_{2}^{2}}}_{\text{Haar}}\\ &=N(N-1)\int_{\sum_{x}a_{x}^{2}+b_{x}^{2}=1}\prod_{x=1}^{N}da_{x}db_{x}\sqrt{a_{1}^{2}+b_{1}^{2}}\sqrt{a_{2}^{2}+b_{2}^{2}}\\ &=N(N-1)\int\prod_{x=1}^{2N-1}\mathcal{D}\theta_{x}\sqrt{\cos^{2}\theta_{1}+\sin^{2}\theta_{1}\cos^{2}\theta_{2}}\\ &\sin\theta_{1}\sin\theta_{2}\sqrt{\cos^{2}\theta_{3}+\sin^{2}\theta_{3}\cos^{2}\theta_{4}},\end{split} (36)

where the new measure in θx\theta_{x} is

𝒟θx=x=12N1sin2Nx1θxdθx,\mathcal{D}\theta_{x}=\prod_{x=1}^{2N-1}\sin^{2N-x-1}\theta_{x}~{}d\theta_{x}, (37)

from the polar coordinate on a hypersurface defined as

ax=j=12x2sinθjcosθ2x1,bx=j=12x1sinθjcosθ2x.a_{x}=\prod_{j=1}^{2x-2}\sin\theta_{j}\cos\theta_{2x-1},~{}b_{x}=\prod_{j=1}^{2x-1}\sin\theta_{j}\cos\theta_{2x}. (38)

Here, each θx\theta_{x} integrates from 0 to π\pi except for the last one θ2N1\theta_{2N-1} integrates from 0 to 2π2\pi. (Note that bNb_{N} is not independent, so we only have θ1\theta_{1} to θ2N1\theta_{2N-1}.) The third equal sign is due to the cyclic symmetry under the permutation of axa_{x} and bxb_{x}.

The last line in Eq. (36) can be decomposed into the product of the following three integrals

cos2θ1+sin2θ1cos2θ2x=12sinθx𝒟θx=(2N3)!!(2N)!!π2,\int\sqrt{\cos^{2}\theta_{1}+\sin^{2}\theta_{1}\cos^{2}\theta_{2}}\prod_{x=1}^{2}\sin\theta_{x}\mathcal{D}\theta_{x}=\frac{(2N-3)!!}{(2N)!!}\pi^{2}, (39)
cos2θ3+sin2θ3cos2θ4x=34𝒟θx=(2N6)!!(2N3)!!2π,\int\sqrt{\cos^{2}\theta_{3}+\sin^{2}\theta_{3}\cos^{2}\theta_{4}}\prod_{x=3}^{4}\mathcal{D}\theta_{x}=\frac{(2N-6)!!}{(2N-3)!!}2\pi, (40)

and the normalization factor

x=52N1𝒟θx=(x=14𝒟θx)1=(2N2)(2N4)4π2.\int\prod_{x=5}^{2N-1}\mathcal{D}\theta_{x}=\left(\int\prod_{x=1}^{4}\mathcal{D}\theta_{x}\right)^{-1}=\frac{(2N-2)(2N-4)}{4\pi^{2}}. (41)

This leads to each off-diagonal element contributing on average

a12+b12a22+b22Haar=π4N,\expectationvalue{\sqrt{a_{1}^{2}+b_{1}^{2}}\sqrt{a_{2}^{2}+b_{2}^{2}}}_{\text{Haar}}=\frac{\pi}{4N}, (42)

and therefore, the l1l_{1}-coherence averaged over the total number of basis is

1N=1Nπ4NN(N1)=π(N1)4N.\frac{1}{N}\mathfrak{C}=\frac{1}{N}\frac{\pi}{4N}N(N-1)=\frac{\pi(N-1)}{4N}. (43)

Since NN is exponentially large to system size LL, in the thermodynamic limit, the l1l_{1}-coherence of a Haar random state per basis is π4\frac{\pi}{4}.

Appendix C Tensor cross interpolation

In this section, we provide parameters on the tensor cross interpolation method used in the main text to compute the l1l_{1}-coherence from the MPS. Since we always stay in the area-law phase, we can ensure that the bond dimension of the MPS will not grow exponentially with the system size LL. Therefore, for the circuit evolution, we only set the truncation error as 101010^{-10} without restricting the allowed maximal bond dimension.

Although the efficient simulation of the circuit using MPS is possible, the tensor cross interpolation of the final wave function to compute the l1l_{1}-coherence, which requires O(χ4)O(\chi^{4}) resources, is not guaranteed for large system sizes a priori. Therefore, we first validate the tensor cross interpolation method using the package ‘TensorCrossInterpolation.jl’ [30] to estimate the l1l_{1}-coherence in small systems sizes (L20L\leq 20) by comparing the results with the exact state-vector evolution to find consistency.

For larger system sizes, we rely on the following error analysis. Since the TCI essentially is an interpolation method, meaning that for each bit string x=b1b2bLx=b_{1}b_{2}\dots b_{L}, we can evaluate its deviation from the exact value (e.g., the norm of the wave function amplitude) by contracting all internal indices. We randomly sample a few thousands different bit strings, and take the largest difference between the exact and interpolated values, which provides an estimate of upper bound of the error of the tensor cross interpolation, denoted as δ(χ,L)\delta(\chi,L) given a maximal bond dimension χ\chi in TCI and a system size LL.

Finally, we can estimate the propagation of error from TCI to the l1l_{1}-coherence of a specific pure state ρ\rho, given by

=xx|ρx,x|=(x|zx|)21,\mathfrak{C}=\sum_{x\neq x^{\prime}}\absolutevalue{\rho_{x,x^{\prime}}}=\left(\sum_{x}\absolutevalue{z_{x}}\right)^{2}-1, (44)

where zxz_{x} is the wave function amplitude of the pure state ρ=|ψψ|\rho=\outerproduct{\psi}{\psi} at a given basis xx (see Eq. 35). Here, to efficiently compute the summation in the last equation in Eq. (44) (i.e., x|zx|\sum_{x}\absolutevalue{z_{x}}), we take the inner product of the interpolated MPS representing the vector (|z0|,|z1|,,|z2L1|)\left(\absolutevalue{z_{0}},\absolutevalue{z_{1}},\dots,\absolutevalue{z_{2^{L}-1}}\right)^{\intercal} with an all-one vector of the same dimension. With the upper bound of error δ(χ,L)\delta(\chi,L) in |zx|\absolutevalue{z_{x}}, we can estimate the final error of the l1l_{1}-coherence by substitute |zx||zx|+δ(χ,L)\absolutevalue{z_{x}}\rightarrow{\absolutevalue{z_{x}}+\delta(\chi,L)}, which gives the maximal error of the l1l_{1}-coherence as 2x|zx|δ(χ,L)2\sum_{x}\absolutevalue{z_{x}}\delta(\chi,L). Therefore, we control the error of the l1l_{1}-coherence to be O(1)O(1) (i.e., the relative error is bounded by O(eL)O(e^{-L})) by increasing the allowed maximal bond dimensions in the TCI, and finally, find the empirical the allowed maximal bond dimensions to be χmax=30,60,400,1200\chi_{\text{max}}=30,60,400,1200, and 4000 for L=10,20,30,40L=10,20,30,40, and 50, respectively.

Appendix D Fluctuations of the magnetization density

Refer to caption
Figure 12: Steady-state circuit-to-circuit fluctuations of the magnetization in Eqs. (46) and (11) at pctrl=0.5p_{\text{ctrl}}=0.5 for different system sizes LL. The inset shows finite-size-scaling collapse following Eq. (22) with ν=0.94(4)\nu=0.94(4) and pcCIPT=0.50(2)p_{c}^{\text{CIPT}}=0.50(2).

In this section, we additionally present the fluctuations of the magnetization density MzM_{z} defined as

Mz=1Li=1LZi,M_{z}=\frac{1}{L}\sum^{L}_{i=1}Z_{i}, (45)

serving as a ‘generic’ order parameter, to confirm the universality of the scaling dimension of these quantum fluctuations by demonstrating the same critical exponents as those in the main text.

D.1 Circuit-to-circuit fluctuations

The circuit-to-circuit fluctuations of the magnetization density are defined similarly to Eq. (21) as

σ𝒞2[Mz]=𝔼𝒞[(𝔼𝒎𝒞[(Mz)𝒎𝒞])2](𝔼𝒞𝔼𝒎𝒞[(Mz)𝒎𝒞])2.\sigma_{\mathcal{C}}^{2}[M_{z}]=\mathbb{E}_{\mathcal{C}}\left[\left(\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[({M_{z}})_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}\right]-\left(\mathbb{E}_{\mathcal{C}}\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[({M_{z}})_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}. (46)

We present the results of circuit-to-circuit fluctuations in Fig. 12, and find the same critical exponent as Fig. 6.

D.2 Fluctuations across quantum trajectories

Refer to caption
Figure 13: Probability distribution over all circuits 𝒞\mathcal{C} of the trajectory fluctuations σt2[Mz]\sigma_{t}^{2}[M_{z}] in the magnetization MzM_{z} in Eq. (47) for steady states at (a) pctrl=0.4p_{\text{ctrl}}=0.4, (b) pctrl=0.5p_{\text{ctrl}}=0.5, and (c) pctrl=0.6p_{\text{ctrl}}=0.6.
Refer to caption
Figure 14: Order parameter 𝒪t[Mz]\mathcal{O}_{t}[M_{z}] for the trajectory fluctuation of magnetization density MzM_{z} [Eq. (24) σt2[Mz]\sigma_{t}^{2}[M_{z}]] for different system sizes LL. The full ensemble includes 500 different circuits 𝒞\mathcal{C}, and 500 different trajectories 𝒎𝒞\bm{m}_{\mathcal{C}} per circuit. Upper inset: Finite-size scaling of the order parameter following Eq. (24) with ν=0.91(4)\nu=0.91(4), pcCIPT=0.498(1)p_{c}^{\text{CIPT}}=0.498(1), and βt=0.98(4)\beta_{t}=0.98(4). Lower inset: Algebraic decay of the order parameter as a function of LL at the critical point.

The fluctuations across quantum trajectories of the magnetization density are defined similarly to Eq. (23) as

σt2[Mz]=𝔼𝒎𝒞[Mz𝒎𝒞2](𝔼𝒎𝒞[(Mz)𝒎𝒞])2.\sigma_{t}^{2}[M_{z}]=\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[\expectationvalue{M_{z}}_{\bm{m}_{\mathcal{C}}}^{2}\right]-\left(\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[({M_{z}})_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}. (47)

Here, we also find the same transition in the distribution of the fluctuations across quantum trajectories from the chaotic to controlled phase, as shown in Fig. 15, where the probability of zero fluctuations increases, and plot the probability of the zero fluctuations as shown in Fig. 14. We find a similar scaling dimension as in Fig. 8.

D.3 Fluctuations across quantum states

Refer to caption
Figure 15: Order parameter 𝒪s[Mz]\mathcal{O}_{s}[M_{z}] for the state fluctuation of magnetization density MzM_{z} (defined using σs,𝒎𝒞2[Mz]\sigma_{s,\bm{m}_{\mathcal{C}}}^{2}[M_{z}]) for different system sizes LL as a function of pctrlp_{\rm ctrl}. Upper inset: Finite-size scaling collapse with ν=0.99(4)\nu=0.99(4), pcCIPT=0.500(2)p_{c}^{\text{CIPT}}=0.500(2), and βs=1.00(7)\beta_{s}=1.00(7). Lower inset: Algebraic decay of the order parameter as a function of LL at the critical point.

We also verify the fluctuations across quantum states

σs,𝒎𝒞2[Mz]=Mz2𝒎𝒞Mz𝒎𝒞2\sigma_{s,\bm{m}_{\mathcal{C}}}^{2}[M_{z}]=\expectationvalue{M_{z}^{2}}_{\bm{m}_{\mathcal{C}}}-\expectationvalue{M_{z}}_{\bm{m}_{\mathcal{C}}}^{2} (48)

and present similar results of finite-size scaling of the probability of zero fluctuations as shown in Fig. 15.

D.4 Fluctuations across different shots

Refer to caption
Figure 16: Order parameter 𝒪Q[Mz]\mathcal{O}_{Q}[M_{z}] for the quantum fluctuation of magnetization density MzM_{z} [Eq. (24) with σQ,𝒞2[Mz]\sigma_{Q,\mathcal{C}}^{2}[M_{z}]] for different system sizes LL. The full ensemble includes 500 different circuits 𝒞\mathcal{C}, and 250000 different shots per circuit. Upper inset: Finite-size scaling of the order parameter following Eq. (24) with ν=1.00(7)\nu=1.00(7), pcCIPT=0.500(5)p_{c}^{\text{CIPT}}=0.500(5), and βQ=1.000(1)\beta_{Q}=1.000(1). Lower inset: Algebraic decay of the order parameter as a function of LL at the critical point.

Finally, we study the total quantum fluctuation of the magnetization density. We define the order parameter 𝒪Q\mathcal{O}_{Q}, the probability of zero quantum fluctuations, similarly, and find it exhibits the same critical behavior and exponents as in the trajectory fluctuation and state fluctuation, as shown in Fig. 16.

Appendix E Finite-size scaling of magnetization density using MPS

Refer to caption
Figure 17: The steady-state ensemble-averaged magnetization density 𝔼𝑴[Mz𝑴]\mathbb{E}_{\bm{M}}[\expectationvalue{M_{z}}_{\bm{M}}] near the critical point of control transition. Inset shows the finite-size scaling following Eq. 49 with ν=1.04(2)\nu=1.04(2) and pcCIPT=0.496(4)p_{c}^{\text{CIPT}}=0.496(4).

In this section, we present a better estimate of the critical exponents at the CIPT with larger system sizes up to L=40L=40. We focus on the steady-state ensemble-averaged magnetization density 𝔼𝑴[(Mz)𝑴]\mathbb{E}_{\bm{M}}[({M_{z}})_{\bm{M}}], and present the results in Fig. 17. The critical exponents at the transition pctrl=0.5p_{\text{ctrl}}=0.5 can be better estimated under larger system sizes following

𝔼𝑴[(Mz)𝑴]fMz((pctrlpcCIPT)L1/ν),\mathbb{E}_{\bm{M}}[({M_{z}})_{\bm{M}}]\sim f_{M_{z}}\left(\left(p_{\text{ctrl}}-p_{c}^{\text{CIPT}}\right)L^{1/\nu}\right), (49)

where fMzf_{M_{z}} is a universal scaling function for the ensemble-averaged total magnetization density. We present the data collapse in the inset of Fig. 17, and extracted a critical exponent of ν=1.04(2)\nu=1.04(2) and pcCIPT=0.496(4)p_{c}^{\text{CIPT}}=0.496(4).

Appendix F Trajectory fluctuation in the absorbing-state transition

Refer to caption
Figure 18: Probability distribution over all circuits 𝒞\mathcal{C} of the trajectory fluctuations σt2[nd]\sigma_{t}^{2}[n_{d}] (see Eq. (50)) for the absorbing-state transition in Ref. 13 at (a) non-absorbing phase pm=0.085p_{m}=0.085, (b) critical point pm=0.09p_{m}=0.09, and (c) absorbing phase pm=0.095p_{m}=0.095. The full ensemble includes 2000 different circuits 𝒞\mathcal{C}, and 500 different trajectories 𝒎𝒞\bm{m}_{\mathcal{C}} per circuit. The system size ranges from L=12L=12 to L=20L=20 with an evolution time of t=6LzAt=6L^{z^{A}}.
Refer to caption
Figure 19: Order parameter 𝒪t[nd]\mathcal{O}_{t}[n_{d}] defined in Eq. (52) using magnetization in Eq. (11) for the absorbing-state transition in Ref. 13 corresponding to Fig. 18. The full ensemble includes 2000 different circuits 𝒞\mathcal{C}, and 500 different trajectories 𝒎𝒞\bm{m}_{\mathcal{C}} per circuit. The system size ranges from L=12L=12 to L=20L=20 with an evolution time of t=6LzAt=6L^{z^{A}}. Inset: Finite-size scaling of the order parameter following Eq. (24) with pmc=0.0902(4)p_{m}^{c}=0.0902(4) and νA=0.9(1)\nu_{\perp}^{A}=0.9(1).

In this Appendix, we study trajectory fluctuations in the absorbing state transition of Ref. [13] and show that they become critical in a manner analogous to the discussion in Sec. IV.2.

We target a ferromagnetic absorbing state |0L\ket{0}^{\otimes L} in an LL-site 1D qubit chain. The random unitary process is built from two-qubit gates of the form U=𝟙U(3)U=\mathds{1}\oplus\text{U}(3), where 𝟙\mathds{1} acts trivially on the basis state |00\ket{00}, preserving the absorbing state, and U(3)\text{U}(3) is a Haar-random unitary that scrambles the other three basis states |01\ket{01}, |10\ket{10}, and |11\ket{11}. The feedback consists of local reset operations in which a qubit is measured in the computational basis, and flipped only if the measurement outcome is |1\ket{1} (i.e., we choose to always correct with pf=1p_{f}=1 using the notation in Ref. [13]); otherwise, the qubit remains in |0\ket{0}. The circuit follows a bricklayer structure, with two-qubit random unitaries applied to even and odd pairs of qubits alternately, and interspersed with single-qubit measurements followed by feedback with probability of pmp_{m}. The absorbing-state transition happens at pmc=0.09085(5)p_{m}^{c}=0.09085(5) with a dynamical exponent of zA=1.6(1)z^{A}=1.6(1) and a temporal critical exponent of νA=1.73\nu_{\parallel}^{A}=1.73  [13].

The order parameter to probe the absorbing-state transition can similarly be chosen as the defect density

nd=1Li=1L1Zi2,n_{d}=\frac{1}{L}\sum_{i=1}^{L}\frac{1-Z_{i}}{2}, (50)

which is a shift to the magnetization density in Eq. (11), and the fluctuations across quantum trajectories are defined as

σt2[nd]=𝔼𝒎𝒞[nd𝒎𝒞2](𝔼𝒎𝒞[(nd)𝒎𝒞])2,\sigma_{t}^{2}[n_{d}]=\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[\expectationvalue{n_{d}}_{\bm{m}_{\mathcal{C}}}^{2}\right]-\left(\mathbb{E}_{\bm{m}_{\mathcal{C}}}\left[({n_{d}})_{\bm{m}_{\mathcal{C}}}\right]\right)^{2}, (51)

similar to Eq. (47).

We simulate the absorbing-state transition model using state-vector evolution, and present the fluctuations across quantum trajectories for the steady state at t=6LzAt=6L^{z^{A}} for three different measurement rates pmp_{m} in the non-absorbing phase [Fig. 18(a)], the critical point [Fig. 18(b)], and absorbing phase [Fig. 18(c)]. As the measurement rate pmp_{m} increases, the probability of zero fluctuations also increases, indicating a transition from quantum to classical dynamics. This transition is also unique to the quantum model of the absorbing-state transition, since the classical stochastic process to mimic the dynamics of the diagonal elements of the density matrix does not manifest this transition.

We present the probability of zero fluctuations as a function of the measurement rate pmp_{m} along with the finite-size scaling in Fig. 19, following the same definition in Eq. (24) as

𝒪t[nd]=P[σt2[nd]=0]0ϵp[σt2[nd]]𝑑σt2[nd].\mathcal{O}_{t}[n_{d}]=P[\sigma_{t}^{2}[n_{d}]=0]\approx\int_{0}^{\epsilon}p[\sigma_{t}^{2}[n_{d}]]~{}d\sigma_{t}^{2}[n_{d}]. (52)

Here, unlike the order parameter in the control transition presented in the main text as shown in Figs. 8 and 14, the absorbing-state transition model manifests a universal crossing at the critical point for different system sizes. Therefore, we can perform the finite-size scaling according to

𝒪t[nd]fA((pmpmc)L1/νA),\mathcal{O}_{t}[n_{d}]\sim f_{A}\left(\left(p_{m}-p_{m}^{c}\right)L^{1/\nu_{\perp}^{A}}\right), (53)

and find a critical measurement rate pmc=0.0902(4)p_{m}^{c}=0.0902(4) and a spatial critical exponent νA=0.9(1)\nu_{\perp}^{A}=0.9(1), which is close to the derived νA=νA/zA=1.73/1.61.08\nu_{\perp}^{A}=\nu_{\parallel}^{A}/z^{A}=1.73/1.6\approx 1.08 as in Ref. [13].