@article {3360, title = {Bounds on Autonomous Quantum Error Correction}, year = {2023}, month = {8/30/2023}, abstract = {

Autonomous quantum memories are a way to passively protect quantum information using engineered dissipation that creates an \"always-on\&$\#$39;\&$\#$39; decoder. We analyze Markovian autonomous decoders that can be implemented with a wide range of qubit and bosonic error-correcting codes, and derive several upper bounds and a lower bound on the logical error rate in terms of correction and noise rates. For many-body quantum codes, we show that, to achieve error suppression comparable to active error correction, autonomous decoders generally require correction rates that grow with code size. For codes with a threshold, we show that it is possible to achieve faster-than-polynomial decay of the logical error rate with code size by using superlogarithmic scaling of the correction rate. We illustrate our results with several examples. One example is an exactly solvable global dissipative toric code model that can achieve an effective logical error rate that decreases exponentially with the linear lattice size, provided that the recovery rate grows proportionally with the linear lattice size.

}, url = {https://arxiv.org/abs/2308.16233}, author = {Oles Shtanko and Yu-Jie Liu and Simon Lieu and Alexey V. Gorshkov and Victor V. Albert} } @article {3410, title = {Clifford operations and homological codes for rotors and oscillators}, year = {2023}, month = {11/13/2023}, abstract = {

We develop quantum information processing primitives for the planar rotor, the state space of a particle on a circle. By interpreting rotor wavefunctions as periodically identified wavefunctions of a harmonic oscillator, we determine the group of bosonic Gaussian operations inherited by the rotor. This n-rotor Clifford group, U(1)n(n+1)/2⋊GLn(Z), is represented by continuous U(1) gates generated by polynomials quadratic in angular momenta, as well as discrete GLn(Z) momentum sign-flip and sum gates. We classify homological rotor error-correcting codes [arXiv:2303.13723] and various rotor states based on equivalence under Clifford operations.
Reversing direction, we map homological rotor codes and rotor Clifford operations back into oscillators by interpreting occupation-number states as rotor states of non-negative angular momentum. This yields new multimode homological bosonic codes protecting against dephasing and changes in occupation number, along with their corresponding encoding and decoding circuits. In particular, we show how to non-destructively measure the oscillator phase using conditional occupation-number addition and post selection. We also outline several rotor and oscillator varieties of the GKP-stabilizer codes [arXiv:1903.12615].

}, url = {https://arxiv.org/abs/2311.07679}, author = {Yijia Xu and Yixu Wang and Victor V. Albert} } @article {3398, title = {Non-invertible symmetry-protected topological order in a group-based cluster state}, year = {2023}, month = {12/14/2023}, abstract = {

Despite growing interest in beyond-group symmetries in quantum condensed matter systems, there are relatively few microscopic lattice models explicitly realizing these symmetries, and many phenomena have yet to be studied at the microscopic level. We introduce a one-dimensional stabilizer Hamiltonian composed of group-based Pauli operators whose ground state is a G\×Rep(G)-symmetric state: the G cluster state introduced in Brell, New Journal of Physics 17, 023029 (2015) [at this http URL]. We show that this state lies in a symmetry-protected topological (SPT) phase protected by G\×Rep(G) symmetry, distinct from the symmetric product state by a duality argument. We identify several signatures of SPT order, namely protected edge modes, string order parameters, and topological response. We discuss how G cluster states may be used as a universal resource for measurement-based quantum computation, explicitly working out the case where G is a semidirect product of abelian groups.

}, url = {https://arxiv.org/abs/2312.09272}, author = {Christopher Fechisin and Nathanan Tantivasadakarn and Victor V. Albert} } @article {3420, title = {Precision Bounds on Continuous-Variable State Tomography using Classical Shadows}, year = {2023}, month = {12/15/2023}, abstract = {

Shadow tomography is a framework for constructing succinct descriptions of quantum states using randomized measurement bases, called classical shadows, with powerful methods to bound the estimators used. We recast existing experimental protocols for continuous-variable quantum state tomography in the classical-shadow framework, obtaining rigorous bounds on the number of independent measurements needed for estimating density matrices from these protocols. We analyze the efficiency of homodyne, heterodyne, photon number resolving (PNR), and photon-parity protocols. To reach a desired precision on the classical shadow of an N-photon density matrix with a high probability, we show that homodyne detection requires an order O(N4+1/3) measurements in the worst case, whereas PNR and photon-parity detection require O(N4) measurements in the worst case (both up to logarithmic corrections). We benchmark these results against numerical simulation as well as experimental data from optical homodyne experiments. We find that numerical and experimental homodyne tomography significantly outperforms our bounds, exhibiting a more typical scaling of the number of measurements that is close to linear in N. We extend our single-mode results to an efficient construction of multimode shadows based on local measurements.

}, url = {https://arxiv.org/abs/2211.05149}, author = {Srilekha Gandhari and Victor V. Albert and Thomas Gerrits and Jacob M. Taylor and Michael J. Gullans} } @article {3417, title = {Quantum spherical codes}, year = {2023}, month = {12/7/2023}, abstract = {

We introduce a framework for constructing quantum codes defined on spheres by recasting such codes as quantum analogues of the classical spherical codes. We apply this framework to bosonic coding, obtaining multimode extensions of the cat codes that can outperform previous constructions while requiring a similar type of overhead. Our polytope-based cat codes consist of sets of points with large separation that at the same time form averaging sets known as spherical designs. We also recast concatenations of CSS codes with cat codes as quantum spherical codes, revealing a new way to autonomously protect against dephasing noise

}, url = {https://arxiv.org/abs/2302.11593}, author = {Shubham P. Jain and Joseph T. Iosue and Alexander Barg and Victor V. Albert} } @article {3295, title = {Qubit-Oscillator Concatenated Codes: Decoding Formalism and Code Comparison}, journal = {PRX Quantum}, volume = {4}, year = {2023}, month = {6/14/2023}, pages = {020342}, abstract = {

Concatenating bosonic error-correcting codes with qubit codes can substantially boost the error-correcting power of the original qubit codes. It is not clear how to concatenate optimally, given that there are several bosonic codes and concatenation schemes to choose from, including the recently discovered Gottesman-Kitaev-Preskill (GKP)\ \–\ stabilizer codes [Phys. Rev. Lett. 125, 080503 (2020)] that allow protection of a logical bosonic mode from fluctuations of the conjugate variables of the mode. We develop efficient maximum-likelihood decoders for and analyze the performance of three different concatenations of codes taken from the following set: qubit stabilizer codes, analog or Gaussian stabilizer codes, GKP codes, and GKP-stabilizer codes. We benchmark decoder performance against additive Gaussian white noise, corroborating our numerics with analytical calculations. We observe that the concatenation involving GKP-stabilizer codes outperforms the more conventional concatenation of a qubit stabilizer code with a GKP code in some cases. We also propose a GKP-stabilizer code that suppresses fluctuations in both conjugate variables without extra quadrature squeezing and formulate qudit versions of GKP-stabilizer codes.

}, doi = {10.1103/PRXQuantum.4.020342}, url = {https://arxiv.org/abs/2209.04573}, author = {Xu, Yijia and Wang, Yixu and Kuo, En-Jui and Victor V. Albert} } @article {3403, title = {Subsystem CSS codes, a tighter stabilizer-to-CSS mapping, and Goursat{\textquoteright}s Lemma}, year = {2023}, month = {11/29/2023}, abstract = {

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 {\textquoteleft}{\textquoteleft}doubled\&$\#$39;\&$\#$39; 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\&$\#$39;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\&$\#$39; properties.

}, url = {https://arxiv.org/abs/2311.18003}, author = {Michael Liaofan Liu and Nathanan Tantivasadakarn and Victor V. Albert} } @article {3206, title = {Time-energy uncertainty relation for noisy quantum metrology}, journal = {PRX Quantum}, volume = {4(4)}, year = {2023}, month = {12/5/2023}, abstract = {

Detection of weak forces and precise measurement of time are two of the many applications of quantum metrology to science and technology. We consider a quantum system initialized in a pure state and whose evolution is goverened by a Hamiltonian H; a measurement can later estimate the time t for which the system has evolved. In this work, we introduce and study a fundamental trade-off which relates the amount by which noise reduces the accuracy of a quantum clock to the amount of information about the energy of the clock that leaks to the environment. Specifically, we consider an idealized scenario in which Alice prepares an initial pure state of the clock, allows the clock to evolve for a time t that is not precisely known, and then transmits the clock through a noisy channel to Bob. The environment (Eve) receives any information that is lost. We prove that Bob\&$\#$39;s loss of quantum Fisher information (QFI) about t is equal to Eve\&$\#$39;s gain of QFI about a complementary energy parameter. We also prove a more general trade-off that applies when Bob and Eve wish to estimate the values of parameters associated with two non-commuting observables. We derive the necessary and sufficient conditions for the accuracy of the clock to be unaffected by the noise. These are a subset of the Knill-Laflamme error-correction conditions; states satisfying these conditions are said to form a metrological code. We provide a scheme to construct metrological codes in the stabilizer formalism. We show that there are metrological codes that cannot be written as a quantum error-correcting code with similar distance in which the Hamiltonian acts as a logical operator, potentially offering new schemes for constructing states that do not lose any sensitivity upon application of a noisy channel. We discuss applications of our results to sensing using a many-body state subject to erasure or amplitude-damping noise.

}, keywords = {FOS: Physical sciences, Quantum Physics (quant-ph)}, doi = {https://journals.aps.org/prxquantum/pdf/10.1103/PRXQuantum.4.040336}, url = {https://arxiv.org/abs/2207.13707}, author = {Faist, Philippe and Woods, Mischa P. and Victor V. Albert and Renes, Joseph M. and Eisert, Jens and Preskill, John} } @article {3406, title = {{\AE} codes}, year = {2023}, month = {11/21/2023}, abstract = {

Diatomic molecular codes [{arXiv:1911.00099}] are designed to encode quantum information in the orientation of a diatomic molecule, allowing error correction from small torques and changes in angular momentum. Here, we directly study noise native to atomic and molecular platforms -- spontaneous emission, stray electromagnetic fields, and Raman scattering -- and derive simple necessary and sufficient conditions for codes to protect against such noise. We identify existing and develop new absorption-emission ({\AE}) codes that are more practical than molecular codes, require lower average momentum, can directly protect against photonic processes up to arbitrary order, and are applicable to a broader set of atomic and molecular systems.

}, url = {https://arxiv.org/abs/2311.12324}, author = {Shubham P. Jain and Eric R. Hudson and Wesley C. Campbell and Victor V. Albert} } @article {2715, title = {Approximating the two-mode two-photon Rabi model}, journal = {Physics Letters A}, volume = {422}, year = {2022}, month = {01/17/2022}, chapter = {127779}, abstract = {

The Rabi model describes the simplest nontrivial interaction between a few-level system and a bosonic mode, featuring in multiple seemingly unrelated systems of importance to quantum science and technology. While exact expressions for the energies of this model and its few-mode extensions have been obtained, they involve roots of transcendental functions and are thus cumbersome and unintuitive. Utilizing the symmetric generalized rotating wave approximation (S-GRWA), we develop a family of approximations to the energies of the two-mode two-photon Rabi model. The simplest elements of the family are analytically tractable, providing good approximations in regimes of interest such as ultra- and deep-strong coupling. Higher-order approximate energies can be used if more accuracy is required.\ 

}, doi = {https://doi.org/10.1016/j.physleta.2021.127779}, url = {https://arxiv.org/abs/2012.06994}, author = {David H. Wu and Victor V. Albert} } @article {3181, title = {Bosonic coding: introduction and use cases}, year = {2022}, month = {11/10/2022}, abstract = {

Bosonic or continuous-variable coding is a field concerned with robust quantum information processing and communication with electromagnetic signals or mechanical modes. I review bosonic quantum memories, characterizing them as either bosonic stabilizer or bosonic Fock-state codes. I then enumerate various applications of bosonic encodings, four of which circumvent no-go theorems due to the intrinsic infinite-dimensionality of bosonic systems.

}, keywords = {FOS: Computer and information sciences, FOS: Physical sciences, Information Theory (cs.IT), Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2211.05714}, url = {https://arxiv.org/abs/2211.05714}, author = {Victor V. Albert} } @article {2945, title = {Chiral central charge from a single bulk wave function}, journal = {Phys. Rev. Lett. }, volume = {128}, year = {2022}, month = {4/28/2022}, pages = {176402}, abstract = {

A (2+1)-dimensional gapped quantum many-body system can have a topologically protected energy current at its edge. The magnitude of this current is determined entirely by the temperature and the chiral central charge, a quantity associated with the effective field theory of the edge. We derive a formula for the chiral central charge that, akin to the topological entanglement entropy, is completely determined by the many-body ground state wave function in the bulk. According to our formula, nonzero chiral central charge gives rise to a topological obstruction that prevents the ground state wave function from being real-valued in any local product basis.

}, doi = {10.1103/PhysRevLett.128.176402}, url = {https://arxiv.org/abs/2110.06932}, author = {Isaac H. Kim and Bowen Shi and Kohtaro Kato and Victor V. Albert} } @article {3183, title = {Continuous-variable quantum state designs: theory and applications}, year = {2022}, month = {11/9/2022}, abstract = {

We generalize the notion of quantum state designs to infinite-dimensional spaces. We first prove that, under the definition of continuous-variable (CV) state t-designs from Comm. Math. Phys. 326, 755 (2014), no state designs exist for t\≥2. Similarly, we prove that no CV unitary t-designs exist for t\≥2. We propose an alternative definition for CV state designs, which we call rigged t-designs, and provide explicit constructions for t=2. As an application of rigged designs, we develop a design-based shadow-tomography protocol for CV states. Using energy-constrained versions of rigged designs, we define an average fidelity for CV quantum channels and relate this fidelity to the CV entanglement fidelity. As an additional result of independent interest, we establish a connection between torus 2-designs and complete sets of mutually unbiased bases.

}, keywords = {FOS: Physical sciences, Mathematical Physics (math-ph), Optics (physics.optics), Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2211.05127}, url = {https://arxiv.org/abs/2211.05127}, author = {Iosue, Joseph T. and Sharma, Kunal and Gullans, Michael J. and Victor V. Albert} } @article {3182, title = {Continuous-Variable Shadow Tomography}, year = {2022}, month = {11/9/2022}, abstract = {

Shadow tomography is a framework for constructing succinct descriptions of quantum states, called classical shadows, with powerful methods to bound the estimators used. We recast existing experimental protocols for continuous-variable tomography in the classical-shadow framework, obtaining rigorous bounds on the sample complexity for estimating density matrices from these protocols. We analyze the efficiency of homodyne, heterodyne, photon number resolving (PNR), and photon-parity protocols. To reach a desired precision on the classical shadow of an N-photon density matrix with a high probability, we show that homodyne detection requires an order O(N5) measurements in the worst case, whereas PNR and photon-parity detection require O(N4) measurements in the worst case (both up to logarithmic corrections). We benchmark these results against numerical simulation as well as experimental data from optical homodyne experiments. We find that numerical and experimental homodyne tomography significantly outperforms our bounds, exhibiting a more typical scaling of the number of measurements that is close to linear in N. We extend our single-mode results to an efficient construction of multimode shadows based on local measurements.

}, keywords = {FOS: Physical sciences, Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2211.05149}, url = {https://arxiv.org/abs/2211.05149}, author = {Gandhari, Srilekha and Victor V. Albert and Gerrits, Thomas and Taylor, Jacob M. and Gullans, Michael J.} } @article {3179, title = {Group coset monogamy games and an application to device-independent continuous-variable QKD}, year = {2022}, month = {12/7/2022}, abstract = {

We develop an extension of a recently introduced subspace coset state monogamy-of-entanglement game [Coladangelo, Liu, Liu, and Zhandry; Crypto\&$\#$39;21] to general group coset states, which are uniform superpositions over elements of a subgroup to which has been applied a group-theoretic generalization of the quantum one-time pad. We give a general bound on the winning probability of a monogamy game constructed from subgroup coset states that applies to a wide range of finite and infinite groups. To study the infinite-group case, we use and further develop a measure-theoretic formalism that allows us to express continuous-variable measurements as operator-valued generalizations of probability measures.
We apply the monogamy game bound to various physically relevant groups, yielding realizations of the game in continuous-variable modes as well as in rotational states of a polyatomic molecule. We obtain explicit strong bounds in the case of specific group-space and subgroup combinations. As an application, we provide the first proof of one sided-device independent security of a squeezed-state continuous-variable quantum key distribution protocol against general coherent attacks.

}, keywords = {Cryptography and Security (cs.CR), FOS: Computer and information sciences, FOS: Physical sciences, Quantum Physics (quant-ph)}, doi = {10.48550/ARXIV.2212.03935}, url = {https://arxiv.org/abs/2212.03935}, author = {Culf, Eric and Vidick, Thomas and Victor V. Albert} } @article {3132, title = {Modular commutator in gapped quantum many-body systems}, journal = {Physical Review B}, volume = {106}, year = {2022}, month = {8/26/2022}, abstract = {

In arXiv:2110.06932, we argued that the chiral central charge -- a topologically protected quantity characterizing the edge theory of a gapped (2+1)-dimensional system -- can be extracted from the bulk by using an order parameter called the modular commutator. In this paper, we reveal general properties of the modular commutator and strengthen its relationship with the chiral central charge. First, we identify connections between the modular commutator and conditional mutual information, time reversal, and modular flow. Second, we prove, within the framework of the entanglement bootstrap program, that two topologically ordered media connected by a gapped domain wall must have the same modular commutator in their respective bulk. Third, we numerically calculate the value of the modular commutator for a bosonic lattice Laughlin state for finite sizes and extrapolate to the infinite-volume limit. The result of this extrapolation is consistent with the proposed formula up to an error of about 0.7\%.

}, doi = {10.1103/physrevb.106.075147}, url = {https://arxiv.org/abs/2110.10400}, author = {Isaac H. Kim and Bowen Shi and Kohtaro Kato and Victor V. Albert} } @article {3130, title = {Provably accurate simulation of gauge theories and bosonic systems}, journal = {Quantum}, volume = {6}, year = {2022}, month = {9/20/2022}, pages = {816}, abstract = {

Quantum many-body systems involving bosonic modes or gauge fields have infinite-dimensional local Hilbert spaces which must be truncated to perform simulations of real-time dynamics on classical or quantum computers. To analyze the truncation error, we develop methods for bounding the rate of growth of local quantum numbers such as the occupation number of a mode at a lattice site, or the electric field at a lattice link. Our approach applies to various models of bosons interacting with spins or fermions, and also to both abelian and non-abelian gauge theories. We show that if states in these models are truncated by imposing an upper limit Λ on each local quantum number, and if the initial state has low local quantum numbers, then an error at most ϵ can be achieved by choosing Λ to scale polylogarithmically with ϵ\−1, an exponential improvement over previous bounds based on energy conservation. For the Hubbard-Holstein model, we numerically compute a bound on Λ that achieves accuracy ϵ, obtaining significantly improved estimates in various parameter regimes. We also establish a criterion for truncating the Hamiltonian with a provable guarantee on the accuracy of time evolution. Building on that result, we formulate quantum algorithms for dynamical simulation of lattice gauge theories and of models with bosonic modes; the gate complexity depends almost linearly on spacetime volume in the former case, and almost quadratically on time in the latter case. We establish a lower bound showing that there are systems involving bosons for which this quadratic scaling with time cannot be improved. By applying our result on the truncation error in time evolution, we also prove that spectrally isolated energy eigenstates can be approximated with accuracy ϵ by truncating local quantum numbers at Λ=polylog(ϵ\−1).

}, doi = {https://doi.org/10.22331\%2Fq-2022-09-22-816}, url = {https://arxiv.org/abs/2110.06942}, author = {Yu Tong and Victor V. Albert and Jarrod R. McClean and John Preskill and Yuan Su} } @article {3131, title = {Provably efficient machine learning for quantum many-body problems}, journal = {Science}, volume = {377}, year = {2022}, month = {9/26/2022}, abstract = {

Classical machine learning (ML) provides a potentially powerful approach to solving challenging quantum many-body problems in physics and chemistry. However, the advantages of ML over more traditional methods have not been firmly established. In this work, we prove that classical ML algorithms can efficiently predict ground state properties of gapped Hamiltonians in finite spatial dimensions, after learning from data obtained by measuring other Hamiltonians in the same quantum phase of matter. In contrast, under widely accepted complexity theory assumptions, classical algorithms that do not learn from data cannot achieve the same guarantee. We also prove that classical ML algorithms can efficiently classify a wide range of quantum phases of matter. Our arguments are based on the concept of a classical shadow, a succinct classical description of a many-body quantum state that can be constructed in feasible quantum experiments and be used to predict many properties of the state. Extensive numerical experiments corroborate our theoretical results in a variety of scenarios, including Rydberg atom systems, 2D random Heisenberg models, symmetry-protected topological phases, and topologically ordered phases.

}, doi = {10.1126/science.abk3333}, url = {https://arxiv.org/abs/2106.12627}, author = {Hsin-Yuan Huang and Richard Kueng and Giacomo Torlai and Victor V. Albert and John Preskill} } @article {2806, title = {Phase-engineered bosonic quantum codes}, journal = {Physical Review A}, volume = {103}, year = {2021}, month = {6/29/2021}, pages = {062427}, abstract = {

Continuous-variable systems protected by bosonic quantum codes have emerged as a promising platform for quantum information. To date, the design of code words has centered on optimizing the state occupation in the relevant basis to generate the distance needed for error correction. Here, we show tuning the phase degree of freedom in the design of code words can affect, and potentially enhance, the protection against Markovian errors that involve excitation exchange with the environment. As illustrations, we first consider phase engineering bosonic codes with uniform spacing in the Fock basis that correct excitation loss with a Kerr unitary and show that these modified codes feature destructive interference between error code words and, with an adapted \“two-level\” recovery, the error protection is significantly enhanced. We then study protection against energy decay with the presence of mode nonlinearities \…

}, url = {https://authors.library.caltech.edu/109764/2/1901.05358.pdf}, author = {Linshu Li and Dylan J Young and Victor V. Albert and Kyungjoo Noh and Chang-Ling Zou and Liang Jiang} } @article {2911, title = {Spin chains, defects, and quantum wires for the quantum-double edge}, year = {2021}, month = {11/23/2021}, abstract = {

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.

}, url = {https://arxiv.org/abs/2111.12096}, author = {Victor V. Albert and David Aasen and Wenqing Xu and Wenjie Ji and Jason Alicea and John Preskill} } @article {2719, title = {Continuous symmetries and approximate quantum error correction}, journal = {Phys. Rev. X}, volume = {10}, year = {2020}, month = {10/26/2020}, abstract = {

Quantum error correction and symmetry arise in many areas of physics, including many-body systems, metrology in the presence of noise, fault-tolerant computation, and holographic quantum gravity. Here we study the compatibility of these two important principles. If a logical quantum system is encoded into n physical subsystems, we say that the code is covariant with respect to a symmetry group G if a G transformation on the logical system can be realized by performing transformations on the individual subsystems. For a G-covariant code with G a continuous group, we derive a lower bound on the error correction infidelity following erasure of a subsystem. This bound approaches zero when the number of subsystems n or the dimension d of each subsystem is large. We exhibit codes achieving approximately the same scaling of infidelity with n or d as the lower bound. Leveraging tools from representation theory, we prove an approximate version of the Eastin-Knill theorem: If a code admits a universal set of transversal gates and corrects erasure with fixed accuracy, then, for each logical qubit, we need a number of physical qubits per subsystem that is inversely proportional to the error parameter. We construct codes covariant with respect to the full logical unitary group, achieving good accuracy for large d (using random codes) or n (using codes based on W-states). We systematically construct codes covariant with respect to general groups, obtaining natural generalizations of qubit codes to, for instance, oscillators and rotors. In the context of the AdS/CFT correspondence, our approach provides insight into how time evolution in the bulk corresponds to time evolution on the boundary without violating the Eastin-Knill theorem, and our five-rotor code can be stacked to form a covariant holographic code.

}, doi = {https://journals.aps.org/prx/abstract/10.1103/PhysRevX.10.041018}, url = {https://arxiv.org/abs/1902.07714}, author = {Philippe Faist and Sepehr Nezami and Victor V. Albert and Grant Salton and Fernando Pastawski and Patrick Hayden and John Preskill} } @article {2718, title = {Robust Encoding of a Qubit in a Molecule}, journal = {Phys. Rev. X}, volume = {10}, year = {2020}, month = {9/1/2020}, abstract = {

We construct quantum error-correcting codes that embed a finite-dimensional code space in the infinite-dimensional Hilbert space of rotational states of a rigid body. These codes, which protect against both drift in the body\’s orientation and small changes in its angular momentum, may be well suited for robust storage and coherent processing of quantum information using rotational states of a polyatomic molecule. Extensions of such codes to rigid bodies with a symmetry axis are compatible with rotational states of diatomic molecules as well as nuclear states of molecules and atoms. We also describe codes associated with general non-Abelian groups and develop orthogonality relations for coset spaces, laying the groundwork for quantum information processing with exotic configuration spaces.

}, doi = {https://journals.aps.org/prx/abstract/10.1103/PhysRevX.10.031050}, url = {https://arxiv.org/abs/1911.00099}, author = {Victor V. Albert and Jacob P. Covey and John Preskill} } @article {2690, title = {Symmetry breaking and error correction in open quantum systems}, journal = {Phys. Rev. Lett. }, volume = {125}, year = {2020}, month = {8/6/2020}, pages = {240405}, abstract = {

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

}, doi = {https://doi.org/10.1103/PhysRevLett.125.240405}, url = {https://arxiv.org/abs/2008.02816}, author = {Simon Lieu and Ron Belyansky and Jeremy T. Young and Rex Lundgren and Victor V. Albert and Alexey V. Gorshkov} } @article {2003, title = {A solvable family of driven-dissipative many-body systems}, journal = {Physical Review Letters}, volume = {119}, year = {2017}, month = {2017/11/10}, abstract = {

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.

}, doi = {10.1103/PhysRevLett.119.190402}, url = {https://arxiv.org/abs/1703.04626}, author = {Michael Foss-Feig and Jeremy T. Young and Victor V. Albert and Alexey V. Gorshkov and Mohammad F. Maghrebi} }