01519nas a2200133 4500008004100000245008200041210006900123260001500192520106200207100002601269700003001295700002301325856003701348 2023 eng d00aSubsystem CSS codes, a tighter stabilizer-to-CSS mapping, and Goursat's Lemma0 aSubsystem CSS codes a tighter stabilizertoCSS mapping and Goursa c11/29/20233 a

The CSS code construction is a powerful framework used to express features of a quantum code in terms of a pair of underlying classical codes. Its subsystem extension allows for similar expressions, but the general case has not been fully explored. Extending previous work of Aly et. al. [quant-ph/0610153], we determine subsystem CSS code parameters, express codewords, and develop a Steane-type decoder using only data from the two underlying classical codes. We show that any subsystem stabilizer code can be ``doubled'' to yield a subsystem CSS code with twice the number of physical, logical, and gauge qudits and up to twice the code distance. This mapping preserves locality and is tighter than the Majorana-based mapping of Bravyi, Leemhuis, and Terhal [New J. Phys. 12 083039 (2010)]. Using Goursat's Lemma, we show that every subsystem stabilizer code can be constructed from two nested subsystem CSS codes satisfying certain constraints, and we characterize subsystem stabilizer codes based on the nested codes' properties.

1 aLiu, Michael, Liaofan1 aTantivasadakarn, Nathanan1 aAlbert, Victor, V. uhttps://arxiv.org/abs/2311.1800301449nas a2200169 4500008004100000245007200041210006900113260001500182520093700197100002301134700001701157700001601174700001501190700001801205700001901223856003701242 2021 eng d00aSpin chains, defects, and quantum wires for the quantum-double edge0 aSpin chains defects and quantum wires for the quantumdouble edge c11/23/20213 a

Non-Abelian defects that bind Majorana or parafermion zero modes are prominent in several topological quantum computation schemes. Underpinning their established understanding is the quantum Ising spin chain, which can be recast as a fermionic model or viewed as a standalone effective theory for the surface-code edge -- both of which harbor non-Abelian defects. We generalize these notions by deriving an effective Ising-like spin chain describing the edge of quantum-double topological order. Relating Majorana and parafermion modes to anyonic strings, we introduce quantum-double generalizations of non-Abelian defects. We develop a way to embed finite-group valued qunits into those valued in continuous groups. Using this embedding, we provide a continuum description of the spin chain and recast its non-interacting part as a quantum wire via addition of a Wess-Zumino-Novikov-Witten term and non-Abelian bosonization.

1 aAlbert, Victor, V.1 aAasen, David1 aXu, Wenqing1 aJi, Wenjie1 aAlicea, Jason1 aPreskill, John uhttps://arxiv.org/abs/2111.1209601648nas a2200193 4500008004100000245006700041210006700108260001300175300001100188490000800199520108700207100001601294700001901310700002201329700001801351700002301369700002501392856003701417 2020 eng d00aSymmetry breaking and error correction in open quantum systems0 aSymmetry breaking and error correction in open quantum systems c8/6/2020 a2404050 v1253 a

Symmetry-breaking transitions are a well-understood phenomenon of closed quantum systems in quantum optics, condensed matter, and high energy physics. However, symmetry breaking in open systems is less thoroughly understood, in part due to the richer steady-state and symmetry structure that such systems possess. For the prototypical open system---a Lindbladian---a unitary symmetry can be imposed in a "weak" or a "strong" way. We characterize the possible Zn symmetry breaking transitions for both cases. In the case of Z2, a weak-symmetry-broken phase guarantees at most a classical bit steady-state structure, while a strong-symmetry-broken phase admits a partially-protected steady-state qubit. Viewing photonic cat qubits through the lens of strong-symmetry breaking, we show how to dynamically recover the logical information after any gap-preserving strong-symmetric error; such recovery becomes perfect exponentially quickly in the number of photons. Our study forges a connection between driven-dissipative phase transitions and error correctio

1 aLieu, Simon1 aBelyansky, Ron1 aYoung, Jeremy, T.1 aLundgren, Rex1 aAlbert, Victor, V.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2008.0281601534nas a2200169 4500008004100000245006200041210005800103260001500161490000800176520102300184100002301207700002201230700002301252700002501275700002701300856003701327 2017 eng d00aA solvable family of driven-dissipative many-body systems0 asolvable family of drivendissipative manybody systems c2017/11/100 v1193 a

Exactly solvable models have played an important role in establishing the sophisticated modern understanding of equilibrium many-body physics. And conversely, the relative scarcity of solutions for non-equilibrium models greatly limits our understanding of systems away from thermal equilibrium. We study a family of nonequilibrium models, some of which can be viewed as dissipative analogues of the transverse-field Ising model, in that an effectively classical Hamiltonian is frustrated by dissipative processes that drive the system toward states that do not commute with the Hamiltonian. Surprisingly, a broad and experimentally relevant subset of these models can be solved efficiently in any number of spatial dimensions. We leverage these solutions to prove a no-go theorem on steady-state phase transitions in a many-body model that can be realized naturally with Rydberg atoms or trapped ions, and to compute the effects of decoherence on a canonical trapped-ion-based quantum computation architecture.

1 aFoss-Feig, Michael1 aYoung, Jeremy, T.1 aAlbert, Victor, V.1 aGorshkov, Alexey, V.1 aMaghrebi, Mohammad, F. uhttps://arxiv.org/abs/1703.04626