Lee Group @ UIUC

Reducing the qubit overhead of quantum error correction is a central challenge for scalable fault-tolerant quantum computing. Recent ultra-high-rate quantum codes offer a promising route toward this goal, with some constructions requiring as few as two physical data qubits per logical qubit. However, systematic principles for navigating the tradeoffs among encoding rate, distance, check weight, and blocklength remain lacking. Here, we develop and analyze principles for exploring this design space, and use them to design compact code constructions with improved performance. We develop code templates based on a pair-partition construction and a halving transformation that further reduces blocklength. Motivated by ensemble analysis of the degree distributions, we identify column weight as a key design parameter: increasing the column weight enables larger distances at compact blocklengths, at the cost of heavier checks. We find that at physical error rates of 0.1%, the benefits of increased distance often outweigh the penalty associated with heavier checks. Applying this framework, we identify numerous compact codes with favorable parameters, including [[90,21,11]], [[140,31,15]], and [[200,43,20]] non-CSS codes with check weight 10. Moreover, we develop symmetry-informed strategies for identifying low-weight logical bases. These results provide systematic strategies for designing ultra-high-rate quantum codes and navigating their Pareto frontier.

Quantum LDPC memories can encode many logical qubits, but that alone does not make them usable: applications need to know where the logical operators are supported, how they are labeled, and how conjugate X/Z partners pair. For hypergraph-product codes this information follows from row reduction over \mathbbF_2. For Abelian lifted-product codes, which include prominent high-rate constructions, it does not: the entries of the defining seed matrices live in a group algebra rather than a field, so pivots need not be invertible and row reduction can fail. To address this problem, we introduce \emphlogical spectroscopy. For an odd-order Abelian lift group, the Chinese remainder theorem splits the group algebra into finite fields, one for each Frobenius orbit of characters; we call these orbits packets. Packet by packet, we solve ordinary finite-field linear algebra, lift the answers back to the physical code with the associated packet projectors, and pair X and Z logicals between reciprocal packets by trace duality. The result is a complete conjugate logical basis for a finite Abelian lifted product code that is addressable: every logical coordinate carries canonical packet and Künneth-summand labels, deterministic within-block indices, a conjugate partner, and an explicit binary representative. The code’s own translation symmetry then acts on these coordinates in closed form. We apply the construction to examples with up to 5000 physical qubits, including high-rate examples whose distance-witness is reported explicitly. We further extend the decomposition to even-order lifts. Logical spectroscopy thus equips Abelian lifted products with an explicit logical coordinate system and an algebraic toolkit for high-rate code search.

For closed quantum systems, topological orders are understood through the equivalence classes of ground states of gapped local Hamiltonians. The generalization of this conceptual paradigm to open quantum systems, however, remains elusive, often relying on operational definitions without fundamental principles. Here, we fill this gap by proposing an approach based on three axioms: (i) local recoverability, (ii) absence of long-range correlations, and (iii) spatial uniformity. States that satisfy these axioms are fixed points; requiring the axioms only after coarse-graining promotes each fixed point to an equivalence class, i.e., a phase, presenting the first step towards the axiomatic classification of mixed-state phases of matter: mixed-state bootstrap program. From these axioms, a rich set of topological data naturally emerges; importantly, these data are robust under relaxation of axioms. For example, each topological mixed state supports locally indistinguishable classical and/or quantum logical memories with distinct responses to topological operations. These data label distinct mixed-state phases, allowing one to distinguish them. We further uncover a hierarchy of secret-sharing constraints: in non-Abelian phases, reliable recovery-even of information that looks purely classical-demands a specific coordination among spatial subregions, a requirement different across non-Abelian classes. This originates from non-Abelian fusion rules that can stay robust under decoherence. Finally, we performed large-scale numerical simulations to corroborate stability: weakly decohered fixed points respect the axioms once coarse-grained. These results lay the foundation for a systematic classification of topological states in open quantum systems.

The toric code is a canonical example of a topological error-correcting code. Two logical qubits stored within the toric code are robust against local decoherence, ensuring that these qubits can be faithfully retrieved as long as the error rate remains below a certain threshold. Recent studies have explored such a threshold behavior as an intrinsic information-theoretic transition, independent of the decoding protocol. These studies have shown that information-theoretic metrics, calculated using the Renyi (replica) approximation, demonstrate sharp transitions at a specific error rate. However, an exact analytic expression that avoids using the replica trick has not been shown, and the connection between the transition in information-theoretic capacity and the random bond Ising model (RBIM) has only been indirectly established. In this work, we present the first analytic expression for the coherent information of a decohered toric code, thereby establishing a rigorous connection between the fundamental error threshold and the criticality of the RBIM.

The Hohenberg–Mermin–Wagner theorem states that there is no spontaneous breaking of continuous symmetries in spatial dimensions d\leq2 at finite temperature. At zero temperature, the classical/quantum mapping further implies the absence of continuous symmetry breaking in one dimension, which is also known as Coleman’s theorem in the context of relativistic quantum field theories. Except for the classic example of the Heisenberg ferromagnet and its variations, there has been no known counterexample to the theorem. In this Letter, we discuss new examples that display spontaneous breaking of a U(1) symmetry at zero temperature, although the order parameter does not commute with the Hamiltonian unlike the Heisenberg ferromagnet. We argue that a more general condition for this behavior is that the Hamiltonian is frustration-free.

Decoherence inevitably happens when a quantum state is exposed to its environment, which can affect quantum critical points (QCP) in a nontrivial way. As was pointed out in recent literature on (1+1)d conformal field theory (CFT), the effect of weak measurement can be mathematically mapped to the problem of boundary CFT. In this work, we focus on the (2+1)d QCPs, whose boundary and defect effects have attracted enormous theoretical and numerical interests very recently. We focus on decoherence caused by weak measurements with and without post-selecting the measurement outcomes. Our main results are: (1) for an O(N) Wilson-Fisher QCP under weak measurement with post-selection, an observer would in general observe two different types of boundary/defect criticality with very different behaviors from the well-known Wilson-Fisher fixed points; in particular, it is possible to observe the recently proposed exotic "extraordinary-log" correlation. (2) An extra quantum phase transition can be driven by decoherence, if we consider quantities nonlinear with the decohered density matrix, such as the Renyi entropy. We demonstrate the connection between this transition to the information-theoretic transition driven by an error in the toric code model. (3) When there is no post-selection, though correlation functions between local operators remain the same as the undecohered pure state, nonlocal operators such as the "disorder operator" would have qualitatively distinct behaviors; and we also show that the decoherence can lead to confinement.

Ferromagnetism and superconductivity typically compete with each other since the internal magnetic field generated in a magnet suppresses the formation of spin-singlet Cooper pairs in conventional superconductors. Only a handful of ferromagnetic superconductors are known in heavy fermion systems, where many-body electron interactions promoted by the narrow energy bands play a key role in stabilizing these emergent states. Recently, interaction-driven superconductivity and ferromagnetism have been demonstrated as separate phenomena in different density regimes of flat bands enabled by graphene moire superlattices. Combining superconductivity and magnetism in a single ground state may lead to more exotic quantum phases. Here, employing van der Waals heterostructures of twisted double bilayer graphene (TDBG), we realize a flat electron band that is tunable by perpendicular electric fields. Similar to the magic angle twisted bilayer graphene, TDBG exhibits energy gaps at the half and quarter filled flat bands, indicating the emergence of correlated insulating states. We find that the gaps of these insulating states increase with in-plane magnetic field, suggesting a ferromagnetic order. Upon doping the ferromagnetic half-filled insulator, superconductivity emerges with a critical temperature controlled by both density and electric fields. We observe that the in-plane magnetic field enhances the superconductivity in the low field regime, suggesting spin-polarized electron pairing. Spin-polarized superconducting states discovered in TDBG provide a new route to engineering interaction-driven topological superconductivity.