SearcharxivSearch

arXiv subjects

Yimu Bao

Publications and source records attributed to Yimu Bao.

At least 19 recordsLinked to original sources

Phases of decodability in the surface code with unitary errors

The maximum likelihood (ML) decoder in the two-dimensional surface code with generic unitary errors is governed by a statistical mechanics model with complex weights, which can be simulated via (1+1)D transfer matrix contraction. Information loss with an increasing error rate manifests as a ferromagnetic-to-paramagnetic transition in the contraction dynamics. In this work, we establish entanglement as a separate obstruction to decoding; it can undergo a transition from area- to volume-law scaling in the transfer matrix contraction with increasing unitary error rate. In particular, the volume-law entanglement can coexist with ferromagnetic order, giving rise to a phase in which the encoded information is retained yet is effectively undecodable. We numerically simulate the ML decoding in the surface code subject to both single- and two-qubit Pauli-X rotations and obtain a phase diagram that contains a ferromagnetic area-law, a paramagnetic volume-law, and a potential ferromagnetic volume-law phase. We further show that, starting from the paramagnetic volume-law phase, tilting the single-qubit rotation away from the X-axis couples the stat-mech models for X and Z errors and can lead to a ferromagnetic volume-law phase in which, although Z errors remain in principle correctable, the encoded classical information is hard to recover. To perform numerical simulations, we develop an algorithm for syndrome sampling based on an isometric tensor network representation of the surface code.

quant-ph

Extensive long-range magic in non-Abelian topological orders

We show that the low-energy states of non-Abelian topological orders possess extensive magic which is long-ranged, and cannot be eliminated by a constant-depth local unitary circuit. This refines conventional notions of complexity beyond the linear circuit depth which is required to prepare any topological phase, and provides a new resource-theoretic characterization of topological orders. A central technical result is a no-go theorem establishing that stabilizer states--even up to constant-depth local unitarie--cannot approximate low-energy states of non-Abelian string-net models which satisfy the entanglement bootstrap axioms. Moreover, we show that stabilizer-realizable Abelian string-net phases have mutual braiding phases quantized by the on-site qudit dimension, and that any violation of this condition necessarily implies extensive long-range magic. Extending to higher spatial dimensions, we argue that any state obeying an entanglement area law and hosting excitations with nontrivial fusion spaces must exhibit extensive long-range magic. This applies, in particular, to ground-states and low-energy states of higher-dimensional quantum double models.

quant-ph

Non-linear Sigma Model for the Surface Code with Coherent Errors

The surface code is a promising platform for a quantum memory, but its threshold under coherent errors remains incompletely understood. We study maximum-likelihood decoding of the square-lattice surface code in the presence of single-qubit unitary rotations that create electric anyon excitations. We microscopically derive a non-linear sigma model with target space $\mathrm{SO}(2n)/\mathrm{U}(n)$ as the effective long-distance theory of this decoding problem, with distinct replica limits: $n\to1$ for optimal decoding, which assumes knowledge of the coherent rotation angle, and $n\to0$ for suboptimal decoding with imperfect angle information. This exposes a sharp distinction between the two decoders. The suboptimal decoder supports a "thermal-metal" phase, a non-decodable regime that is qualitatively distinct from the conventional non-decodable phase of the surface code under incoherent Pauli errors. By contrast, the metal phase cannot arise in optimal decoding, since the metallic fixed-point becomes unstable in the $n\to 1$ replica limit. We argue that optimal decoding may be possible up to the maximally-coherent rotation angle. Within the sigma model description, we show that the decoding fidelity is related to twist defects of the order-parameter field, yielding quantitative predictions for its system-size dependence near the metallic fixed point for both decoders. We examine our analytic predictions for the decoding fidelity as well as other physical observables with extensive numerical simulations. We discuss how the symmetries and the target space for the sigma model rely on the lattice of the surface code, and how a stable thermal metal phase can arise in optimal decoding when the syndromes reside on a non-bipartite lattice.

cond-mat.stat-mech

No-go theorems for sequential preparation of two-dimensional chiral states via channel-state correspondence

We investigate whether sequential unitary circuits can prepare two-dimensional chiral states, using a correspondence between sequentially prepared states, isometric tensor network states, and one-dimensional quantum channel circuits. We establish two no-go theorems, one for Gaussian fermion systems and one for generic interacting systems. In Gaussian fermion systems, the correspondence relates the defining features of chiral wave functions in their entanglement spectrum to the algebraic decaying correlations in the steady state of channel dynamics. We establish the no-go theorem by proving that local channel dynamics with translational invariance cannot support such correlations. As a direct implication, two-dimensional Gaussian fermion isometric tensor network states cannot support algebraically decaying correlations in all directions or represent a chiral state. In generic interacting systems, we establish a no-go theorem by showing that the state prepared by sequential circuits cannot host the tripartite entanglement of a chiral state due to the constraints from causality.

quant-ph

Phases of Floquet code under local decoherence

Floquet code is a dynamical quantum memory with a periodically evolving logical space. As a defining feature, the code exhibits an anyon automorphism after each period, giving rise to a non-trivial evolution of each logical state. In this paper, we study the Floquet code under local decoherence and perfect measurements and demonstrate that below the decoherence threshold, the code is in a robust phase characterized by the anyon automorphism. We first derive the 3D statistical mechanics model for the maximum likelihood decoder of the 2D Floquet code under local Pauli decoherence. We identify a class of two-qubit Pauli channels under which the 3D statistical mechanics model becomes decoupled 2D models and obtain the threshold for such decoherence channels. We then propose a diagnostic of the anyon automorphism in the presence of local decoherence. We analytically show that this diagnostic distinguishes the Floquet code from the toric code under repeated syndrome measurements and undergoes a phase transition at the threshold.

quant-ph

Designs from magic-augmented Clifford circuits

We introduce magic-augmented Clifford circuits -- architectures in which Clifford circuits are preceded and/or followed by constant-depth circuits of non-Clifford (``magic") gates -- as a resource-efficient way to realize approximate $k$-designs, with reduced circuit depth and usage of magic. We prove that shallow Clifford circuits, when augmented with constant-depth circuits of magic gates, can generate approximate unitary and state $k$-designs with $ε$ relative error. The total circuit depth for these constructions on $N$ qubits is $O(\log (N/ε)) +2^{O(k\log k)}$ in one dimension and $O(\log\log(N/ε))+2^{O(k\log k)}$ in all-to-all circuits using ancillas, which improves upon previous results for small $k \geq 4$. Furthermore, our construction of relative-error state $k$-designs only involves states with strictly local magic. The required number of magic gates is parametrically reduced when considering $k$-designs with bounded additive error. As an example, we show that shallow Clifford circuits followed by $O(k^2)$ single-qubit magic gates, independent of system size, can generate an additive-error state $k$-design. We develop a classical statistical mechanics description of our random circuit architectures, which provides a quantitative understanding of the required depth and number of magic gates for additive-error state $k$-designs. We also prove no-go theorems for various architectures to generate designs with bounded relative error.

quant-ph

Effective Conformal Field Theory generated from Pure and Dephased Chern insulator

We demonstrate that the fidelity between two states with different Chern numbers $\mathcal Z = \mathrm{tr} \{ ρρ' \} $ serves as a generating theory for an effective conformal field theory (CFT) at the $(2+0)d$ temporal interface. $ρ$ can be chosen as a pure trivial insulator, and $ρ'$ can be taken as a pure or dephased Chern insulator density matrix. More specifically, we obtain the following results: (1) through evaluation of the effective central charge, stiffness, and correlation function (the ``strange correlators"), we demonstrate that the fidelity between a trivial insulator and an insulator with Chern number $C=1$ maps to a CFT with effective central charge $c_{\rm eff} = 1$; while the fidelity between two Chern insulators with Chern numbers $C = \pm 1$ maps to a CFT with $c_{\rm eff} = 2$. (2) The density matrix of the Chern insulator becomes a quantum spin Hall insulator in the doubled Hilbert space, and the dephasing acts as interaction between the two spin species. (3) In the limit of infinite dephasing the Chern insulator becomes a superconductor in the doubled Hilbert space, featuring the ``strong-weak" U(1) spontaneous symmetry breaking. The analysis based on Laughlin wave function and previous studies of projected wave function of quantum spin Hall insulator suggest this is a power-law superconductor. (4) With increasing strength of dephasing, the amplitude of single particle strange correlator is suppressed, while the Cooper pair strange correlator is enhanced, consistent with the trend of emerging superconductivity.

cond-mat.str-el

Optimized trajectory unraveling for classical simulation of noisy quantum dynamics

The dynamics of open quantum systems can be simulated by unraveling it into an ensemble of pure state trajectories undergoing non-unitary monitored evolution, which has recently been shown to undergo measurement-induced entanglement phase transition. Here, we show that, for an arbitrary decoherence channel, one can optimize the unraveling scheme to lower the threshold for entanglement phase transition, thereby enabling efficient classical simulation of the open dynamics for a broader range of decoherence rates. Taking noisy random unitary circuits as a paradigmatic example, we analytically derive the optimum unraveling basis that on average minimizes the threshold. Moreover, we present a heuristic algorithm that adaptively optimizes the unraveling basis for given noise channels, also significantly extending the simulatable regime. When applied to noisy Hamiltonian dynamics, the heuristic approach indeed extends the regime of efficient classical simulation based on matrix product states beyond conventional quantum trajectory methods. Finally, we assess the possibility of using a quasi-local unraveling, which involves multiple qubits and time steps, to efficiently simulate open systems with an arbitrarily small but finite decoherence rate.

quant-ph

Spin Liquid and Superconductivity emerging from Steady States and Measurements

We demonstrate that, starting with a simple fermion wave function, the steady mixed state of the evolution of a class of Lindbladians, and the ensemble created by strong local measurement of fermion density without post-selection can be mapped to the "Gutzwiller projected" wave functions in the doubled Hilbert space -- the representation of the density matrix through the Choi-Jamiolkowski isomorphism. A Gutzwiller projection is a broadly used approach of constructing spin liquid states. For example, if one starts with a gapless free Dirac fermion pure quantum state, the constructed mixed state corresponds to an algebraic spin liquid in the doubled Hilbert space. We also predict that for some initial fermion wave function, the mixed state created following the procedure described above is expected to have a spontaneous "strong-to-weak" U(1) symmetry breaking, which corresponds to the emergence of superconductivity in the doubled Hilbert space. We also design the experimental protocol to construct the desired physics of mixed states.

cond-mat.str-el

Information dynamics in decohered quantum memory with repeated syndrome measurements: a dual approach

Measurements can detect errors in a decohered quantum memory allowing active error correction to increase the memory time. Previous understanding of this mechanism has focused on evaluating the performance of error correction algorithms based on measurement results. In this work, we instead intrinsically characterize the information dynamics in a quantum memory under repeated measurements, using coherent information and relative entropy. We consider the dynamics of a $d$-dimensional stabilizer code subject to Pauli errors and noisy stabilizer measurements and develop a $(d+1)$-dimensional statistical mechanics model for the information-theoretic diagnostics. Our model is dual to the model previously obtained for the optimal decoding algorithm, and the potential decoding transition in the quantum memory again manifests as a thermal phase transition in the statistical mechanics model. We explicitly derive the model and study the phase transition in information encoding in three examples: surface codes, repetition codes, and the XZZX code.

quant-ph

Tensor network formulation of symmetry protected topological phases in mixed states

We define and classify symmetry-protected topological (SPT) phases in mixed states based on the tensor network formulation of the density matrix. In one dimension, we introduce strong injective matrix product density operators (MPDO), which describe a broad class of short-range correlated mixed states, including the locally decohered SPT states. We map strong injective MPDO to a pure state in the doubled Hilbert space and define the SPT phases according to the cohomology class of the symmetry group in the doubled state. Although the doubled state exhibits an enlarged symmetry, the possible SPT phases are also constrained by the Hermiticity and the semi-positivity of the density matrix. We here obtain a complete classification of SPT phases with a direct product of strong $G$ and weak $K$ unitary symmetry given by the cohomology group $H^2(G, \text{U}(1))\oplus H^1(K, H^1(G, \text{U}(1)))$. The SPT phases in our definition are preserved under symmetric local circuits consisting of non-degenerate channels. This motivates an alternative definition of SPT phases according to the equivalence class of mixed states under a ``one-way" connection using symmetric non-degenerate channels. In locally purifiable MPDO with strong symmetry, we prove that this alternative definition reproduces the cohomology classification. We further extend our results to two-dimensional mixed states described by strong semi-injective tensor network density operators and classify the possible SPT phases.

cond-mat.str-el

Diagnostics of mixed-state topological order and breakdown of quantum memory

Topological quantum memory can protect information against local errors up to finite error thresholds. Such thresholds are usually determined based on the success of decoding algorithms rather than the intrinsic properties of the mixed states describing corrupted memories. Here we provide an intrinsic characterization of the breakdown of topological quantum memory, which both gives a bound on the performance of decoding algorithms and provides examples of topologically distinct mixed states. We employ three information-theoretical quantities that can be regarded as generalizations of the diagnostics of ground-state topological order, and serve as a definition for topological order in error-corrupted mixed states. We consider the topological contribution to entanglement negativity and two other metrics based on quantum relative entropy and coherent information. In the concrete example of the 2D Toric code with local bit-flip and phase errors, we map three quantities to observables in 2D classical spin models and analytically show they all undergo a transition at the same error threshold. This threshold is an upper bound on that achieved in any decoding algorithm and is indeed saturated by that in the optimal decoding algorithm for the Toric code.

quant-ph

Finite-time teleportation phase transition in random quantum circuits

How long does it take to entangle two distant qubits in a quantum circuit evolved by generic unitary dynamics? We show that if the time evolution is followed by measurements of all but two infinitely separated test qubits, then the entanglement between them can undergo a phase transition and become nonzero at a finite critical time $t_c$. The fidelity of teleporting a quantum state from an input qubit to an infinitely distant output qubit shows the same critical onset. Specifically, these finite-time transitions occur in short-range interacting two-dimensional random unitary circuits and in sufficiently long-range interacting one-dimensional circuits. The phase transition is understood by mapping the random continuous-time evolution to a finite-temperature thermal state of an effective spin Hamiltonian, where the inverse temperature equals the evolution time in the circuit. In this framework, the entanglement between two distant qubits at times $t>t_c$ corresponds to the emergence of long-range ferromagnetic spin correlations below the critical temperature. We verify these predictions using numerical simulation of Clifford circuits and propose potential realizations in existing platforms for quantum simulation.

quant-ph

Mixed-state topological order and the errorfield double formulation of decoherence-induced transitions

We develop an effective field theory characterizing the impact of decoherence on states with abelian topological order and on their capacity to protect quantum information. The decoherence appears as a temporal defect in the double topological quantum field theory that describes the pure density matrix of the uncorrupted state, and it drives a boundary phase transition involving anyon condensation at a critical coupling strength. The ensuing decoherence-induced phases and the loss of quantum information are classified by the Lagrangian subgroups of the double topological order. Our framework generalizes the error recovery transitions, previously derived for certain stabilizer codes, to generic topologically ordered states and shows that they stem from phase transitions in the intrinsic topological order characterizing the mixed state.

quant-ph

Measurement-Induced Power-Law Negativity in an Open Monitored Quantum Circuit

Generic many-body systems coupled to an environment lose their quantum entanglement due to decoherence and evolve to a mixed state with only classical correlations. Here, we show that measurements can stabilize quantum entanglement within open quantum systems. Specifically, in random unitary circuits with dephasing at the boundary, we find both numerically and analytically that projective measurements performed at a small nonvanishing rate results in a steady state with an $L^{1/3}$ power-law scaling entanglement negativity within the system. Using an analytical mapping to a statistical mechanics model of directed polymers in a random environment, we show that the power-law negativity scaling can be understood as Kardar-Parisi-Zhang fluctuations due to the random measurement locations. Further increasing the measurement rate leads to a phase transition into an area-law negativity phase, which is of the same universality as the entanglement transition in monitored random circuits without decoherence.

quant-ph

Symmetry enriched phases of quantum circuits

Quantum circuits consisting of random unitary gates and subject to local measurements have been shown to undergo a phase transition, tuned by the rate of measurement, from a state with volume-law entanglement to an area-law state. From a broader perspective, these circuits generate a novel ensemble of quantum many-body states at their output. In this paper, we characterize this ensemble and classify the phases that can be established as steady states. Symmetry plays a nonstandard role in that the physical symmetry imposed on the circuit elements does not on its own dictate the possible phases. Instead, it is extended by dynamical symmetries associated with this ensemble to form an enlarged symmetry. Thus, we predict phases that have no equilibrium counterpart and could not have been supported by the physical circuit symmetry alone. We give the following examples. First, we classify the phases of a circuit operating on qubit chains with $\mathbb{Z}_2$ symmetry. One striking prediction, corroborated with numerical simulation, is the existence of distinct volume-law phases in one dimension, which nonetheless support true long-range order. We furthermore argue that owing to the enlarged symmetry, this system can in principle support a topological area-law phase, protected by the combination of the circuit symmetry and a dynamical permutation symmetry. Second, we consider a Gaussian fermionic circuit that only conserves fermion parity. Here the enlarged symmetry gives rise to a $U(1)$ critical phase at moderate measurement rates and a Kosterlitz-Thouless transition to area-law phases. We comment on the interpretation of the different phases in terms of the capacity to encode quantum information. We discuss close analogies to the theory of spin glasses pioneered by Edwards and Anderson as well as crucial differences that stem from the quantum nature of the circuit ensemble.

cond-mat.stat-mech

The Measurement-induced Transition in Long-range Interacting Quantum Circuits

The competition between scrambling unitary evolution and projective measurements leads to a phase transition in the dynamics of quantum entanglement. Here, we demonstrate that the nature of this transition is fundamentally altered by the presence of long-range, power-law interactions. For sufficiently weak power-laws, the measurement-induced transition is described by conformal field theory, analogous to short-range-interacting hybrid circuits. However, beyond a critical power-law, we demonstrate that long-range interactions give rise to a continuum of non-conformal universality classes, with continuously varying critical exponents. We numerically determine the phase diagram for a one-dimensional, long-range-interacting hybrid circuit model as a function of the power-law exponent and the measurement rate. Finally, by using an analytic mapping to a long-range quantum Ising model, we provide a theoretical understanding for the critical power-law.

quant-ph

Quantum Error Correction in Scrambling Dynamics and Measurement-Induced Phase Transition

We analyze the dynamics of entanglement entropy in a generic quantum many-body open system from the perspective of quantum information and error corrections. We introduce a random unitary circuit model with intermittent projective measurements, in which the degree of information scrambling by the unitary and the rate of projective measurements are independently controlled. This model displays two stable phases, characterized by the volume-law and area-law scaling entanglement entropy in steady states. The transition between the two phases is understood from the point of view of quantum error correction: the chaotic unitary evolution protects quantum information from projective measurements that act as errors. A phase transition occurs when the rate of errors exceeds a threshold that depends on the degree of information scrambling. We confirm these results using numerical simulations and obtain the phase diagram of our model. Our work shows that information scrambling plays a crucial role in understanding the dynamics of entanglement in an open quantum system and relates the entanglement phase transition to changes in quantum channel capacity.

quant-ph