-
On stability of k-local quantum phases of matter
Authors:
Ali Lavasani,
Michael J. Gullans,
Victor V. Albert,
Maissam Barkeshli
Abstract:
The current theoretical framework for topological phases of matter is based on the thermodynamic limit of a system with geometrically local interactions. A natural question is to what extent the notion of a phase of matter remains well-defined if we relax the constraint of geometric locality, and replace it with a weaker graph-theoretic notion of $k$-locality. As a step towards answering this ques…
▽ More
The current theoretical framework for topological phases of matter is based on the thermodynamic limit of a system with geometrically local interactions. A natural question is to what extent the notion of a phase of matter remains well-defined if we relax the constraint of geometric locality, and replace it with a weaker graph-theoretic notion of $k$-locality. As a step towards answering this question, we analyze the stability of the energy gap to perturbations for Hamiltonians corresponding to general quantum low-density parity-check codes, extending work of Bravyi and Hastings [Commun. Math. Phys. 307, 609 (2011)]. A corollary of our main result is that if there exist constants $\varepsilon_1,\varepsilon_2>0$ such that the size $Γ(r)$ of balls of radius $r$ on the interaction graph satisfy $Γ(r) = O(\exp(r^{1-\varepsilon_1}))$ and the local ground states of balls of radius $r\leρ^\ast = O(\log(n)^{1+\varepsilon_2})$ are locally indistinguishable, then the energy gap of the associated Hamiltonian is stable against local perturbations. This gives an almost exponential improvement over the $D$-dimensional Euclidean case, which requires $Γ(r) = O(r^D)$ and $ρ^\ast = O(n^α)$ for some $α> 0$. The approach we follow falls just short of proving stability of finite-rate qLDPC codes, which have $\varepsilon_1 = 0$; we discuss some strategies to extend the result to these cases. We discuss implications for the third law of thermodynamics, as $k$-local Hamiltonians can have extensive zero-temperature entropy.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Topology and entanglement of molecular phase space
Authors:
Victor V. Albert,
Eric Kubischta,
Mikhail Lemeshko,
Lee R. Liu
Abstract:
We formulate a quantum phase space for molecular rotational and nuclear-spin states. Taking in molecular geometry and nuclear-spin data, our framework yields admissible position and momentum states, inter-convertible via a generalized Fourier transform. We classify molecules into three types -- asymmetric, rotationally symmetric, and perrotationally symmetric -- with the last type having no macros…
▽ More
We formulate a quantum phase space for molecular rotational and nuclear-spin states. Taking in molecular geometry and nuclear-spin data, our framework yields admissible position and momentum states, inter-convertible via a generalized Fourier transform. We classify molecules into three types -- asymmetric, rotationally symmetric, and perrotationally symmetric -- with the last type having no macroscopic analogue due to nuclear-spin statistics constraints. We identify two features in perrotationally symmetric state spaces that are Hamiltonian-independent and induced solely by symmetry and spin statistics. First, many molecular species are intrinsically rotation-spin entangled in a way that cannot be broken without transitioning to another species or breaking symmetry. Second, each molecular position state houses an internal pseudo-spin or "fiber" degree of freedom, and the fiber's Berry phase or matrix after adiabatic changes in position yields naturally robust operations, akin to braiding anyonic quasiparticles or realizing fault-tolerant quantum gates. We outline scenarios where these features can be experimentally probed.
△ Less
Submitted 23 March, 2024; v1 submitted 7 March, 2024;
originally announced March 2024.
-
Non-invertible symmetry-protected topological order in a group-based cluster state
Authors:
Christopher Fechisin,
Nathanan Tantivasadakarn,
Victor V. Albert
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\times \text{Rep}(G)$-symmetric…
▽ More
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\times \text{Rep}(G)$-symmetric state: the $G \textit{ cluster state}$ introduced in Brell, New Journal of Physics 17, 023029 (2015) [at http://doi.org/10.1088/1367-2630/17/2/023029]. We show that this state lies in a symmetry-protected topological (SPT) phase protected by $G\times \text{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.
△ Less
Submitted 12 June, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
Subsystem CSS codes, a tighter stabilizer-to-CSS map**, and Goursat's Lemma
Authors:
Michael Liaofan Liu,
Nathanan Tantivasadakarn,
Victor V. Albert
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, Klappenecker, and Sarvepalli [quantph/0610153], we determine subsystem CSS code parameters, express codewords, and deve…
▽ More
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, Klappenecker, and Sarvepalli [quantph/0610153], we determine subsystem CSS code parameters, express codewords, and develop a Steane-type decoder using only data from the two underlying classical codes. Generalizing a result of Kovalev and Pryadko [Phys. Rev. A 88 012311 (2013)], 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 map** preserves locality and is tighter than the Majorana-based map** of Bravyi, Terhal, and Leemhuis [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.
△ Less
Submitted 2 July, 2024; v1 submitted 29 November, 2023;
originally announced November 2023.
-
Æ codes
Authors:
Shubham P. Jain,
Eric R. Hudson,
Wesley C. Campbell,
Victor V. Albert
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 show that diatomic molecular codes fai…
▽ More
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 show that diatomic molecular codes fail against this noise. We derive simple necessary and sufficient conditions for codes to protect against such noise. We also identify existing and develop new absorption-emission (Æ) 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.
△ Less
Submitted 15 May, 2024; v1 submitted 20 November, 2023;
originally announced November 2023.
-
Clifford operations and homological codes for rotors and oscillators
Authors:
Yijia Xu,
Yixu Wang,
Victor V. Albert
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, $\text{U}(1)^{n(n+1)/2} \rtimes \text{GL}_n(\mathbb{Z})$, is represent…
▽ More
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, $\text{U}(1)^{n(n+1)/2} \rtimes \text{GL}_n(\mathbb{Z})$, is represented by continuous $\text{U}(1)$ gates generated by polynomials quadratic in angular momenta, as well as discrete $\text{GL}_n(\mathbb 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].
△ Less
Submitted 27 February, 2024; v1 submitted 13 November, 2023;
originally announced November 2023.
-
Bounds on Autonomous Quantum Error Correction
Authors:
Oles Shtanko,
Yu-Jie Liu,
Simon Lieu,
Alexey V. Gorshkov,
Victor V. Albert
Abstract:
Autonomous quantum memories are a way to passively protect quantum information using engineered dissipation that creates an "always-on'' 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-b…
▽ More
Autonomous quantum memories are a way to passively protect quantum information using engineered dissipation that creates an "always-on'' 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.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Quantum spherical codes
Authors:
Shubham P. Jain,
Joseph T. Iosue,
Alexander Barg,
Victor V. Albert
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 se…
▽ More
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.
△ Less
Submitted 7 December, 2023; v1 submitted 22 February, 2023;
originally announced February 2023.
-
Group coset monogamy games and an application to device-independent continuous-variable QKD
Authors:
Eric Culf,
Thomas Vidick,
Victor V. Albert
Abstract:
We develop an extension of a recently introduced subspace coset state monogamy-of-entanglement game [Coladangelo, Liu, Liu, and Zhandry; Crypto'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 co…
▽ More
We develop an extension of a recently introduced subspace coset state monogamy-of-entanglement game [Coladangelo, Liu, Liu, and Zhandry; Crypto'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.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Bosonic coding: introduction and use cases
Authors:
Victor V. Albert
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 intrin…
▽ More
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.
△ Less
Submitted 10 November, 2022;
originally announced November 2022.
-
Precision Bounds on Continuous-Variable State Tomography using Classical Shadows
Authors:
Srilekha Gandhari,
Victor V. Albert,
Thomas Gerrits,
Jacob M. Taylor,
Michael J. Gullans
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 ne…
▽ More
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 $\mathcal{O}(N^{4+1/3})$ measurements in the worst case, whereas PNR and photon-parity detection require $\mathcal{O}(N^4)$ 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.
△ Less
Submitted 15 December, 2023; v1 submitted 9 November, 2022;
originally announced November 2022.
-
Continuous-variable quantum state designs: theory and applications
Authors:
Joseph T. Iosue,
Kunal Sharma,
Michael J. Gullans,
Victor V. Albert
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\geq2$. Similarly, we prove that no CV unitary $t$-designs exist for $t\geq 2$. We propose an alternative definition for CV state designs, which we call rigged…
▽ More
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\geq2$. Similarly, we prove that no CV unitary $t$-designs exist for $t\geq 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.
△ Less
Submitted 16 June, 2024; v1 submitted 9 November, 2022;
originally announced November 2022.
-
Qubit-oscillator concatenated codes: decoding formalism & code comparison
Authors:
Yijia Xu,
Yixu Wang,
En-Jui Kuo,
Victor V. Albert
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 there are several bosonic codes and concatenation schemes to choose from, including the recently discovered GKP-stabilizer codes [Phys. Rev. Lett. 125, 080503 (2020)}] that allow protection of a logical bos…
▽ More
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 there are several bosonic codes and concatenation schemes to choose from, including the recently discovered GKP-stabilizer codes [Phys. Rev. Lett. 125, 080503 (2020)}] that allow protection of a logical bosonic mode from fluctuations of the mode's conjugate variables. 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/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.
△ Less
Submitted 6 June, 2023; v1 submitted 9 September, 2022;
originally announced September 2022.
-
Time-energy uncertainty relation for noisy quantum metrology
Authors:
Philippe Faist,
Mischa P. Woods,
Victor V. Albert,
Joseph M. Renes,
Jens Eisert,
John Preskill
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 governed 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 rela…
▽ More
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 governed 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's loss of quantum Fisher information (QFI) about $t$ is equal to Eve'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 noncommuting 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-dam** noise.
△ Less
Submitted 4 February, 2024; v1 submitted 27 July, 2022;
originally announced July 2022.
-
Spin chains, defects, and quantum wires for the quantum-double edge
Authors:
Victor V. Albert,
David Aasen,
Wenqing Xu,
Wenjie Ji,
Jason Alicea,
John Preskill
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 deriv…
▽ More
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.
△ Less
Submitted 23 November, 2021;
originally announced November 2021.
-
Modular commutator in gapped quantum many-body systems
Authors:
Isaac H. Kim,
Bowen Shi,
Kohtaro Kato,
Victor V. Albert
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…
▽ More
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%.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
Provably accurate simulation of gauge theories and bosonic systems
Authors:
Yu Tong,
Victor V. Albert,
Jarrod R. McClean,
John Preskill,
Yuan Su
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…
▽ More
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 $Λ=\textrm{polylog}(ε^{-1})$.
△ Less
Submitted 20 September, 2022; v1 submitted 13 October, 2021;
originally announced October 2021.
-
Chiral central charge from a single bulk wave function
Authors:
Isaac H. Kim,
Bowen Shi,
Kohtaro Kato,
Victor V. Albert
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 complete…
▽ More
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.
△ Less
Submitted 18 October, 2021; v1 submitted 13 October, 2021;
originally announced October 2021.
-
Provably efficient machine learning for quantum many-body problems
Authors:
Hsin-Yuan Huang,
Richard Kueng,
Giacomo Torlai,
Victor V. Albert,
John Preskill
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, afte…
▽ More
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.
△ Less
Submitted 26 September, 2022; v1 submitted 23 June, 2021;
originally announced June 2021.
-
Approximating the two-mode two-photon Rabi model
Authors:
David H. Wu,
Victor V. Albert
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. Ut…
▽ More
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.
△ Less
Submitted 2 November, 2021; v1 submitted 13 December, 2020;
originally announced December 2020.
-
Symmetry breaking and error correction in open quantum systems
Authors:
Simon Lieu,
Ron Belyansky,
Jeremy T. Young,
Rex Lundgren,
Victor V. Albert,
Alexey V. Gorshkov
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 i…
▽ More
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 $\mathbb{Z}_n$ symmetry breaking transitions for both cases. In the case of $\mathbb{Z}_2$, 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 correction.
△ Less
Submitted 6 August, 2020;
originally announced August 2020.
-
Robust encoding of a qubit in a molecule
Authors:
Victor V. Albert,
Jacob P. Covey,
John Preskill
Abstract:
We construct quantum error-correcting codes that embed a finite-dimensional code space in the infinite-dimensional Hilbert state 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…
▽ More
We construct quantum error-correcting codes that embed a finite-dimensional code space in the infinite-dimensional Hilbert state 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 nonabelian compact Lie groups and develop orthogonality relations for coset spaces, laying the groundwork for quantum information processing with exotic configuration spaces.
△ Less
Submitted 18 November, 2019; v1 submitted 31 October, 2019;
originally announced November 2019.
-
Continuous symmetries and approximate quantum error correction
Authors:
Philippe Faist,
Sepehr Nezami,
Victor V. Albert,
Grant Salton,
Fernando Pastawski,
Patrick Hayden,
John Preskill
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…
▽ More
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.
△ Less
Submitted 20 February, 2019;
originally announced February 2019.
-
Designing good bosonic quantum codes via creating destructive interference
Authors:
Linshu Li,
Dylan J. Young,
Victor V. Albert,
Kyungjoo Noh,
Chang-Ling Zou,
Liang Jiang
Abstract:
Continuous-variable systems protected by bosonic quantum error-correcting codes have emerged as a promising platform for quantum information processing. To date, design of codewords has centered on optimizing the occupation of basis states in the error-relevant basis. Here, we propose utilizing the phase degree of freedom in basis state probability amplitudes to devise codes that feature destructi…
▽ More
Continuous-variable systems protected by bosonic quantum error-correcting codes have emerged as a promising platform for quantum information processing. To date, design of codewords has centered on optimizing the occupation of basis states in the error-relevant basis. Here, we propose utilizing the phase degree of freedom in basis state probability amplitudes to devise codes that feature destructive interference, and thus reduced overlap, between error codewords. To showcase, we first consider the correction of excitation loss using single-mode codes with Fock-space parity structure and show that, with a tailored "two-level" recovery, altering the signs of probability amplitudes can significantly suppress decoherence. We then study the joint channel of excitation loss and Kerr effect, and show the critical role of nontrivial phase for optimal quantum codes for such intricate yet important channels. The principle is extended to improve bosonic codes defined in other bases and multi-qubit codes, showing its wide applicability in quantum error correction.
△ Less
Submitted 16 January, 2019;
originally announced January 2019.
-
Dissipative self-interference and robustness of continuous error-correction to miscalibration
Authors:
Victor V. Albert,
Kyungjoo Noh,
Florentin Reiter
Abstract:
We derive an effective equation of motion within the steady-state subspace of a large family of Markovian open systems (i.e., Lindbladians) due to perturbations of their Hamiltonians and system-bath couplings. Under mild and realistic conditions, competing dissipative processes destructively interfere without the need for fine-tuning and produce no dissipation within the steady-state subspace. In…
▽ More
We derive an effective equation of motion within the steady-state subspace of a large family of Markovian open systems (i.e., Lindbladians) due to perturbations of their Hamiltonians and system-bath couplings. Under mild and realistic conditions, competing dissipative processes destructively interfere without the need for fine-tuning and produce no dissipation within the steady-state subspace. In quantum error-correction, these effects imply that continuously error-correcting Lindbladians are robust to calibration errors, including miscalibrations consisting of operators undetectable by the code. A similar interference is present in more general systems if one implements a particular Hamiltonian drive, resulting in a coherent cancellation of dissipation. On the opposite extreme, we provide a simple implementation of universal Lindbladian simulation.
△ Less
Submitted 19 September, 2018;
originally announced September 2018.
-
Asymptotics of quantum channels: conserved quantities, an adiabatic limit, and matrix product states
Authors:
Victor V. Albert
Abstract:
This work derives an analytical formula for the asymptotic state---the quantum state resulting from an infinite number of applications of a general quantum channel on some initial state. For channels admitting multiple fixed or rotating points, conserved quantities---the left fixed/rotating points of the channel---determine the dependence of the asymptotic state on the initial state. The formula s…
▽ More
This work derives an analytical formula for the asymptotic state---the quantum state resulting from an infinite number of applications of a general quantum channel on some initial state. For channels admitting multiple fixed or rotating points, conserved quantities---the left fixed/rotating points of the channel---determine the dependence of the asymptotic state on the initial state. The formula stems from a Noether-like theorem stating that, for any channel admitting a full-rank fixed point, conserved quantities commute with that channel's Kraus operators up to a phase. The formula is applied to adiabatic transport of the fixed-point space of channels, revealing cases where the dissipative/spectral gap can close during any segment of the adiabatic path. The formula is also applied to calculate expectation values of noninjective matrix product states (MPS) in the thermodynamic limit, revealing that those expectation values can also be calculated using an MPS with reduced bond dimension and a modified boundary.
△ Less
Submitted 5 June, 2019; v1 submitted 28 February, 2018;
originally announced March 2018.
-
Lindbladians with multiple steady states: theory and applications
Authors:
Victor V. Albert
Abstract:
Markovian master equations, often called Liouvillians or Lindbladians, are used to describe decay and decoherence of a quantum system induced by that system's environment. While a natural environment is detrimental to fragile quantum properties, an engineered environment can drive the system toward exotic phases of matter or toward subspaces protected from noise. These cases often require the Lind…
▽ More
Markovian master equations, often called Liouvillians or Lindbladians, are used to describe decay and decoherence of a quantum system induced by that system's environment. While a natural environment is detrimental to fragile quantum properties, an engineered environment can drive the system toward exotic phases of matter or toward subspaces protected from noise. These cases often require the Lindbladian to have more than one steady state, and such Lindbladians are dissipative analogues of Hamiltonians with multiple ground states. This thesis studies Lindbladian extensions of topics commonplace in degenerate Hamiltonian systems, providing examples and historical context along the way.
△ Less
Submitted 31 January, 2018;
originally announced February 2018.
-
Improved quantum capacity bounds of Gaussian loss channels and achievable rates with Gottesman-Kitaev-Preskill codes
Authors:
Kyungjoo Noh,
Victor V. Albert,
Liang Jiang
Abstract:
Gaussian loss channels are of particular importance since they model realistic optical communication channels. Except for special cases, quantum capacity of Gaussian loss channels is not yet known completely. In this paper, we provide improved upper bounds of Gaussian loss channel capacity, both in the energy-constrained and unconstrained scenarios. We briefly review the Gottesman-Kitaev-Preskill…
▽ More
Gaussian loss channels are of particular importance since they model realistic optical communication channels. Except for special cases, quantum capacity of Gaussian loss channels is not yet known completely. In this paper, we provide improved upper bounds of Gaussian loss channel capacity, both in the energy-constrained and unconstrained scenarios. We briefly review the Gottesman-Kitaev-Preskill (GKP) codes and discuss their experimental implementation. We then prove, in the energy-unconstrained case, that the GKP codes achieve the quantum capacity of Gaussian loss channels up to at most a constant gap from the improved upper bound. In the energy-constrained case, we formulate a biconvex encoding and decoding optimization problem to maximize the entanglement fidelity. The biconvex optimization is solved by an alternating semidefinite programming (SDP) method and we report that, starting from random initial codes, our numerical optimization yields GKP codes as the optimal encoding in a practically relevant regime.
△ Less
Submitted 6 February, 2018; v1 submitted 22 January, 2018;
originally announced January 2018.
-
Pair-cat codes: autonomous error-correction with low-order nonlinearity
Authors:
Victor V. Albert,
Shantanu O. Mundhada,
Alexander Grimm,
Steven Touzard,
Michel H. Devoret,
Liang Jiang
Abstract:
We introduce a driven-dissipative two-mode bosonic system whose reservoir causes simultaneous loss of two photons in each mode and whose steady states are superpositions of pair-coherent/Barut-Girardello coherent states. We show how quantum information encoded in a steady-state subspace of this system is exponentially immune to phase drifts (cavity dephasing) in both modes. Additionally, it is pos…
▽ More
We introduce a driven-dissipative two-mode bosonic system whose reservoir causes simultaneous loss of two photons in each mode and whose steady states are superpositions of pair-coherent/Barut-Girardello coherent states. We show how quantum information encoded in a steady-state subspace of this system is exponentially immune to phase drifts (cavity dephasing) in both modes. Additionally, it is possible to protect information from arbitrary photon loss in either (but not simultaneously both) of the modes by continuously monitoring the difference between the expected photon numbers of the logical states. Despite employing more resources, the two-mode scheme enjoys two advantages over its one-mode cat-qubit counterpart with regards to implementation using current circuit QED technology. First, monitoring the photon number difference can be done without turning off the currently implementable dissipative stabilizing process. Second, a lower average photon number per mode is required to enjoy a level of protection at least as good as that of the cat-codes. We discuss circuit QED proposals to stabilize the code states, perform gates, and protect against photon loss via either active syndrome measurement or an autonomous procedure. We introduce quasiprobability distributions allowing us to represent two-mode states of fixed photon number difference in a two-dimensional complex plane, instead of the full four-dimensional two-mode phase space. The two-mode codes are generalized to multiple modes in an extension of the stabilizer formalism to non-diagonalizable stabilizers. The $M$-mode codes can protect against either arbitrary photon losses in up to $M-1$ modes or arbitrary losses and gains in any one mode.
△ Less
Submitted 1 October, 2018; v1 submitted 17 January, 2018;
originally announced January 2018.
-
Optimized Entanglement Purification
Authors:
Stefan Krastanov,
Victor V. Albert,
Liang Jiang
Abstract:
We investigate novel protocols for entanglement purification of qubit Bell pairs. Employing genetic algorithms for the design of the purification circuit, we obtain shorter circuits achieving higher success rates and better final fidelities than what is currently available in the literature. We provide a software tool for analytical and numerical study of the generated purification circuits, under…
▽ More
We investigate novel protocols for entanglement purification of qubit Bell pairs. Employing genetic algorithms for the design of the purification circuit, we obtain shorter circuits achieving higher success rates and better final fidelities than what is currently available in the literature. We provide a software tool for analytical and numerical study of the generated purification circuits, under customizable error models. These new purification protocols pave the way to practical implementations of modular quantum computers and quantum repeaters. Our approach is particularly attentive to the effects of finite resources and imperfect local operations - phenomena neglected in the usual asymptotic approach to the problem. The choice of the building blocks permitted in the construction of the circuits is based on a thorough enumeration of the local Clifford operations that act as permutations on the basis of Bell states.
△ Less
Submitted 13 February, 2019; v1 submitted 28 December, 2017;
originally announced December 2017.
-
General phase spaces: from discrete variables to rotor and continuum limits
Authors:
Victor V. Albert,
Saverio Pascazio,
Michel H. Devoret
Abstract:
We provide a basic introduction to discrete-variable, rotor, and continuous-variable quantum phase spaces, explaining how the latter two can be understood as limiting cases of the first. We extend the limit-taking procedures used to travel between phase spaces to a general class of Hamiltonians (including many local stabilizer codes) and provide six examples: the Harper equation, the Baxter parafe…
▽ More
We provide a basic introduction to discrete-variable, rotor, and continuous-variable quantum phase spaces, explaining how the latter two can be understood as limiting cases of the first. We extend the limit-taking procedures used to travel between phase spaces to a general class of Hamiltonians (including many local stabilizer codes) and provide six examples: the Harper equation, the Baxter parafermionic spin chain, the Rabi model, the Kitaev toric code, the Haah cubic code (which we generalize to qudits), and the Kitaev honeycomb model. We obtain continuous-variable generalizations of all models, some of which are novel. The Baxter model is mapped to a chain of coupled oscillators and the Rabi model to the optomechanical radiation pressure Hamiltonian. The procedures also yield rotor versions of all models, five of which are novel many-body extensions of the almost Mathieu equation. The toric and cubic codes are mapped to lattice models of rotors, with the toric code case related to U(1) lattice gauge theory.
△ Less
Submitted 30 October, 2017; v1 submitted 13 September, 2017;
originally announced September 2017.
-
Performance and structure of single-mode bosonic codes
Authors:
Victor V. Albert,
Kyungjoo Noh,
Kasper Duivenvoorden,
Dylan J. Young,
R. T. Brierley,
Philip Reinhold,
Christophe Vuillot,
Linshu Li,
Chao Shen,
S. M. Girvin,
Barbara M. Terhal,
Liang Jiang
Abstract:
The early Gottesman, Kitaev, and Preskill (GKP) proposal for encoding a qubit in an oscillator has recently been followed by cat- and binomial-code proposals. Numerically optimized codes have also been proposed, and we introduce new codes of this type here. These codes have yet to be compared using the same error model; we provide such a comparison by determining the entanglement fidelity of all c…
▽ More
The early Gottesman, Kitaev, and Preskill (GKP) proposal for encoding a qubit in an oscillator has recently been followed by cat- and binomial-code proposals. Numerically optimized codes have also been proposed, and we introduce new codes of this type here. These codes have yet to be compared using the same error model; we provide such a comparison by determining the entanglement fidelity of all codes with respect to the bosonic pure-loss channel (i.e., photon loss) after the optimal recovery operation. We then compare achievable communication rates of the combined encoding-error-recovery channel by calculating the channel's hashing bound for each code. Cat and binomial codes perform similarly, with binomial codes outperforming cat codes at small loss rates. Despite not being designed to protect against the pure-loss channel, GKP codes significantly outperform all other codes for most values of the loss rate. We show that the performance of GKP and some binomial codes increases monotonically with increasing average photon number of the codes. In order to corroborate our numerical evidence of the cat/binomial/GKP order of performance occurring at small loss rates, we analytically evaluate the quantum error-correction conditions of those codes. For GKP codes, we find an essential singularity in the entanglement fidelity in the limit of vanishing loss rate. In addition to comparing the codes, we draw parallels between binomial codes and discrete-variable systems. First, we characterize one- and two-mode binomial as well as multi-qubit permutation-invariant codes in terms of spin-coherent states. Such a characterization allows us to introduce check operators and error-correction procedures for binomial codes. Second, we introduce a generalization of spin-coherent states, extending our characterization to qudit binomial codes and yielding a new multi-qudit code.
△ Less
Submitted 20 March, 2018; v1 submitted 16 August, 2017;
originally announced August 2017.
-
A solvable family of driven-dissipative many-body systems
Authors:
Michael Foss-Feig,
Jeremy T. Young,
Victor V. Albert,
Alexey V. Gorshkov,
Mohammad F. Maghrebi
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 non-equilibrium models, some of which can be viewed as dissipative analogues of the…
▽ More
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 non-equilibrium 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.
△ Less
Submitted 14 March, 2017;
originally announced March 2017.
-
Quantum Channel Construction with Circuit Quantum Electrodynamics
Authors:
Chao Shen,
Kyungjoo Noh,
Victor V. Albert,
Stefan Krastanov,
Michel H. Devoret,
Robert J. Schoelkopf,
S. M. Girvin,
Liang Jiang
Abstract:
Quantum channels can describe all transformations allowed by quantum mechanics. We provide an explicit universal protocol to construct all possible quantum channels, using a single qubit ancilla with quantum non-demolition readout and adaptive control. Our construction is efficient in both physical resources and circuit depth, and can be demonstrated using superconducting circuits and various othe…
▽ More
Quantum channels can describe all transformations allowed by quantum mechanics. We provide an explicit universal protocol to construct all possible quantum channels, using a single qubit ancilla with quantum non-demolition readout and adaptive control. Our construction is efficient in both physical resources and circuit depth, and can be demonstrated using superconducting circuits and various other physical platforms. There are many applications of quantum channel construction, including system stabilization and quantum error correction, Markovian and exotic channel simulation, implementation of generalized quantum measurements and more general quantum instruments. Efficient construction of arbitrary quantum channels opens up exciting new possibilities for quantum control, quantum sensing and information processing tasks.
△ Less
Submitted 10 November, 2016;
originally announced November 2016.
-
Cat codes with optimal decoherence suppression for a lossy bosonic channel
Authors:
Linshu Li,
Chang-ling Zou,
Victor V. Albert,
Sreraman Muralidharan,
S. M. Girvin,
Liang Jiang
Abstract:
We investigate cat codes that can correct multiple excitation losses and identify two types of logical errors: bit-flip errors due to excessive excitation loss and dephasing errors due to quantum back-action from the environment. We show that selected choices of logical subspace and coherent amplitude can efficiently reduce dephasing errors. The trade-off between the two major errors enables optim…
▽ More
We investigate cat codes that can correct multiple excitation losses and identify two types of logical errors: bit-flip errors due to excessive excitation loss and dephasing errors due to quantum back-action from the environment. We show that selected choices of logical subspace and coherent amplitude can efficiently reduce dephasing errors. The trade-off between the two major errors enables optimized performance of cat codes in terms of minimized decoherence. With high coupling efficiency, we show that one-way quantum repeaters with cat codes feature drastically boosted secure communication rate per mode compared with conventional encoding schemes, and thus showcase the promising potential of quantum information processing with continuous variable quantum codes.
△ Less
Submitted 20 September, 2016;
originally announced September 2016.
-
New class of quantum error-correcting codes for a bosonic mode
Authors:
Marios H. Michael,
Matti Silveri,
R. T. Brierley,
Victor V. Albert,
Juha Salmilehto,
Liang Jiang,
S. M. Girvin
Abstract:
We construct a new class of quantum error-correcting codes for a bosonic mode which are advantageous for applications in quantum memories, communication, and scalable computation. These 'binomial quantum codes' are formed from a finite superposition of Fock states weighted with binomial coefficients. The binomial codes can exactly correct errors that are polynomial up to a specific degree in boson…
▽ More
We construct a new class of quantum error-correcting codes for a bosonic mode which are advantageous for applications in quantum memories, communication, and scalable computation. These 'binomial quantum codes' are formed from a finite superposition of Fock states weighted with binomial coefficients. The binomial codes can exactly correct errors that are polynomial up to a specific degree in bosonic creation and annihilation operators, including amplitude dam** and displacement noise as well as boson addition and dephasing errors. For realistic continuous-time dissipative evolution, the codes can perform approximate quantum error correction to any given order in the timestep between error detection measurements. We present an explicit approximate quantum error recovery operation based on projective measurements and unitary operations. The binomial codes are tailored for detecting boson loss and gain errors by means of measurements of the generalized number parity. We discuss optimization of the binomial codes and demonstrate that by relaxing the parity structure, codes with even lower unrecoverable error rates can be achieved. The binomial codes are related to existing two-mode bosonic codes but offer the advantage of requiring only a single bosonic mode to correct amplitude dam** as well as the ability to correct other errors. Our codes are similar in spirit to 'cat codes' based on superpositions of the coherent states, but offer several advantages such as smaller mean number, exact rather than approximate orthonormality of the code words, and an explicit unitary operation for repum** energy into the bosonic mode. The binomial quantum codes are realizable with current superconducting circuit technology and they should prove useful in other quantum technologies, including bosonic quantum memories, photonic quantum communication, and optical-to-microwave up- and down-conversion.
△ Less
Submitted 18 July, 2016; v1 submitted 29 January, 2016;
originally announced February 2016.
-
Geometry and response of Lindbladians
Authors:
Victor V. Albert,
Barry Bradlyn,
Martin Fraas,
Liang Jiang
Abstract:
Markovian reservoir engineering, in which time evolution of a quantum system is governed by a Lindblad master equation, is a powerful technique in studies of quantum phases of matter and quantum information. It can be used to drive a quantum system to a desired (unique) steady state, which can be an exotic phase of matter difficult to stabilize in nature. It can also be used to drive a system to a…
▽ More
Markovian reservoir engineering, in which time evolution of a quantum system is governed by a Lindblad master equation, is a powerful technique in studies of quantum phases of matter and quantum information. It can be used to drive a quantum system to a desired (unique) steady state, which can be an exotic phase of matter difficult to stabilize in nature. It can also be used to drive a system to a unitarily-evolving subspace, which can be used to store, protect, and process quantum information. In this paper, we derive a formula for the map corresponding to asymptotic (infinite-time) Lindbladian evolution and use it to study several important features of the unique state and subspace cases. We quantify how subspaces retain information about initial states and show how to use Lindbladians to simulate any quantum channels. We show that the quantum information in all subspaces can be successfully manipulated by small Hamiltonian perturbations, jump operator perturbations, or adiabatic deformations. We provide a Lindblad-induced notion of distance between adiabatically connected subspaces. We derive a Kubo formula governing linear response of subspaces to time-dependent Hamiltonian perturbations and determine cases in which this formula reduces to a Hamiltonian-based Kubo formula. As an application, we show that (for gapped systems) the zero-frequency Hall conductivity is unaffected by many types of Markovian dissipation. Finally, we show that the energy scale governing leakage out of the subspaces, resulting from either Hamiltonian/jump-operator perturbations or corrections to adiabatic evolution, is different from the conventional Lindbladian dissipative gap and, in certain cases, is equivalent to the excitation gap of a related Hamiltonian.
△ Less
Submitted 16 November, 2016; v1 submitted 26 December, 2015;
originally announced December 2015.
-
Cavity State Manipulation Using Photon-Number Selective Phase Gates
Authors:
Reinier W. Heeres,
Brian Vlastakis,
Eric Holland,
Stefan Krastanov,
Victor V. Albert,
Luigi Frunzio,
Liang Jiang,
Robert J. Schoelkopf
Abstract:
The large available Hilbert space and high coherence of cavity resonators makes these systems an interesting resource for storing encoded quantum bits. To perform a quantum gate on this encoded information, however, complex nonlinear operations must be applied to the many levels of the oscillator simultaneously. In this work, we introduce the Selective Number-dependent Arbitrary Phase (SNAP) gate,…
▽ More
The large available Hilbert space and high coherence of cavity resonators makes these systems an interesting resource for storing encoded quantum bits. To perform a quantum gate on this encoded information, however, complex nonlinear operations must be applied to the many levels of the oscillator simultaneously. In this work, we introduce the Selective Number-dependent Arbitrary Phase (SNAP) gate, which imparts a different phase to each Fock state component using an off-resonantly coupled qubit. We show that the SNAP gate allows control over the quantum phases by correcting the unwanted phase evolution due to the Kerr effect. Furthermore, by combining the SNAP gate with oscillator displacements, we create a one-photon Fock state with high fidelity. Using just these two controls, one can construct arbitrary unitary operations, offering a scalable route to performing logical manipulations on oscillator-encoded qubits.
△ Less
Submitted 4 March, 2015;
originally announced March 2015.
-
Holonomic quantum control with continuous variable systems
Authors:
Victor V. Albert,
Chi Shu,
Stefan Krastanov,
Chao Shen,
Ren-Bao Liu,
Zhen-Biao Yang,
Robert J. Schoelkopf,
Mazyar Mirrahimi,
Michel H. Devoret,
Liang Jiang
Abstract:
Universal computation of a quantum system consisting of superpositions of well-separated coherent states of multiple harmonic oscillators can be achieved by three families of adiabatic holonomic gates. The first gate consists of moving a coherent state around a closed path in phase space, resulting in a relative Berry phase between that state and the other states. The second gate consists of "coll…
▽ More
Universal computation of a quantum system consisting of superpositions of well-separated coherent states of multiple harmonic oscillators can be achieved by three families of adiabatic holonomic gates. The first gate consists of moving a coherent state around a closed path in phase space, resulting in a relative Berry phase between that state and the other states. The second gate consists of "colliding" two coherent states of the same oscillator, resulting in coherent population transfer between them. The third gate is an effective controlled-phase gate on coherent states of two different oscillators. Such gates should be realizable via reservoir engineering of systems which support tunable nonlinearities, such as trapped ions and circuit QED.
△ Less
Submitted 30 March, 2016; v1 submitted 28 February, 2015;
originally announced March 2015.
-
Universal Control of an Oscillator with Dispersive Coupling to a Qubit
Authors:
Stefan Krastanov,
Victor V. Albert,
Chao Shen,
Chang-Ling Zou,
Reinier W. Heeres,
Brian Vlastakis,
Robert J. Schoelkopf,
Liang Jiang
Abstract:
We investigate quantum control of an oscillator mode off-resonantly coupled to an ancillary qubit. In the strong dispersive regime, we may drive the qubit conditioned on number states of the oscillator, which together with displacement operations can achieve universal control of the oscillator. Based on our proof of universal control, we provide explicit constructions for arbitrary state preparati…
▽ More
We investigate quantum control of an oscillator mode off-resonantly coupled to an ancillary qubit. In the strong dispersive regime, we may drive the qubit conditioned on number states of the oscillator, which together with displacement operations can achieve universal control of the oscillator. Based on our proof of universal control, we provide explicit constructions for arbitrary state preparation and arbitrary unitary operation of the oscillator. Moreover, we present an efficient procedure to prepare the number state $\left|n\right\rangle$ using only $O\left(\sqrt{n}\right)$ operations. We also compare our scheme with known quantum control protocols for coupled qubit-oscillator systems. This universal control scheme of the oscillator can readily be implemented using superconducting circuits.
△ Less
Submitted 12 March, 2015; v1 submitted 27 February, 2015;
originally announced February 2015.
-
Topological properties of linear circuit lattices
Authors:
Victor V. Albert,
Leonid I. Glazman,
Liang Jiang
Abstract:
Motivated by the topologically insulating (TI) circuit of capacitors and inductors proposed and tested in ar** matrix of a quantum spin Hall insulator (QSHI) and we identify perturbations that do not backscatter the circuit's edge modes. The i…
▽ More
Motivated by the topologically insulating (TI) circuit of capacitors and inductors proposed and tested in ar** matrix of a quantum spin Hall insulator (QSHI) and we identify perturbations that do not backscatter the circuit's edge modes. The idea behind these models is generalized, providing a platform to simulate tunable and locally accessible lattices with arbitrary complex spin-dependent hop** of any range. A simulation of a non-Abelian Aharonov-Bohm effect using such linear circuit designs is discussed.
△ Less
Submitted 10 March, 2015; v1 submitted 5 October, 2014;
originally announced October 2014.
-
Dynamically protected cat-qubits: a new paradigm for universal quantum computation
Authors:
Mazyar Mirrahimi,
Zaki Leghtas,
Victor V. Albert,
Steven Touzard,
Robert J. Schoelkopf,
Liang Jiang,
Michel H. Devoret
Abstract:
We present a new hardware-efficient paradigm for universal quantum computation which is based on encoding, protecting and manipulating quantum information in a quantum harmonic oscillator. This proposal exploits multi-photon driven dissipative processes to encode quantum information in logical bases composed of Schrödinger cat states. More precisely, we consider two schemes. In a first scheme, a t…
▽ More
We present a new hardware-efficient paradigm for universal quantum computation which is based on encoding, protecting and manipulating quantum information in a quantum harmonic oscillator. This proposal exploits multi-photon driven dissipative processes to encode quantum information in logical bases composed of Schrödinger cat states. More precisely, we consider two schemes. In a first scheme, a two-photon driven dissipative process is used to stabilize a logical qubit basis of two-component Schrödinger cat states. While such a scheme ensures a protection of the logical qubit against the photon dephasing errors, the prominent error channel of single-photon loss induces bit-flip type errors that cannot be corrected. Therefore, we consider a second scheme based on a four-photon driven dissipative process which leads to the choice of four-component Schrödinger cat states as the logical qubit. Such a logical qubit can be protected against single-photon loss by continuous photon number parity measurements. Next, applying some specific Hamiltonians, we provide a set of universal quantum gates on the encoded qubits of each of the two schemes. In particular, we illustrate how these operations can be rendered fault-tolerant with respect to various decoherence channels of participating quantum systems. Finally, we also propose experimental schemes based on quantum superconducting circuits and inspired by methods used in Josephson parametric amplification, which should allow to achieve these driven dissipative processes along with the Hamiltonians ensuring the universal operations in an efficient manner.
△ Less
Submitted 6 December, 2013;
originally announced December 2013.
-
Symmetries and conserved quantities in Lindblad master equations
Authors:
Victor V. Albert,
Liang Jiang
Abstract:
This work is concerned with determination of the steady-state structure of time-independent Lindblad master equations, especially those possessing more than one steady state. The approach here is to treat Lindblad systems as generalizations of unitary quantum mechanics, extending the intuition of symmetries and conserved quantities to the dissipative case. We combine and apply various results to o…
▽ More
This work is concerned with determination of the steady-state structure of time-independent Lindblad master equations, especially those possessing more than one steady state. The approach here is to treat Lindblad systems as generalizations of unitary quantum mechanics, extending the intuition of symmetries and conserved quantities to the dissipative case. We combine and apply various results to obtain an exhaustive characterization of the infinite-time behavior of Lindblad evolution, including both the structure of the infinite-time density matrix and its dependence on initial conditions. The effect of the environment in the infinite time limit can therefore be tracked exactly for arbitrary state initialization and without knowledge of dynamics at intermediate time. As a consequence, sufficient criteria for determining the steady state of a Lindblad master equation are obtained. These criteria are knowledge of the initial state, a basis for the steady-state subspace, and all conserved quantities. We give examples of two-qubit dissipation and single-mode $d$-photon absorption where all quantities are determined analytically. Applications of these techniques to quantum information, computation, and feedback control are discussed.
△ Less
Submitted 27 January, 2014; v1 submitted 5 October, 2013;
originally announced October 2013.
-
Quantum Rabi model for N-state atoms
Authors:
Victor V. Albert
Abstract:
A tractable N-state Rabi Hamiltonian is introduced by extending the parity symmetry of the two-state model. The single-mode case provides a few-parameter description of a novel class of periodic systems, predicting that the ground state of certain four-state atom-cavity systems will undergo parity change at strong coupling. A group-theoretical treatment provides physical insight into dynamics and…
▽ More
A tractable N-state Rabi Hamiltonian is introduced by extending the parity symmetry of the two-state model. The single-mode case provides a few-parameter description of a novel class of periodic systems, predicting that the ground state of certain four-state atom-cavity systems will undergo parity change at strong coupling. A group-theoretical treatment provides physical insight into dynamics and a modified rotating wave approximation obtains accurate analytical energies. The dissipative case can be applied to study excitation energy transfer in molecular rings or chains.
△ Less
Submitted 13 March, 2012; v1 submitted 5 December, 2011;
originally announced December 2011.
-
Symmetric Rotating Wave Approximation for the Generalized Single-Mode Spin-Boson System
Authors:
Victor V. Albert,
Gregory D. Scholes,
Paul Brumer
Abstract:
The single-mode spin-boson model exhibits behavior not included in the rotating wave approximation (RWA) in the ultra and deep-strong coupling regimes, where counter-rotating contributions become important. We introduce a symmetric rotating wave approximation that treats rotating and counter-rotating terms equally, preserves the invariances of the Hamiltonian with respect to its parameters, and re…
▽ More
The single-mode spin-boson model exhibits behavior not included in the rotating wave approximation (RWA) in the ultra and deep-strong coupling regimes, where counter-rotating contributions become important. We introduce a symmetric rotating wave approximation that treats rotating and counter-rotating terms equally, preserves the invariances of the Hamiltonian with respect to its parameters, and reproduces several qualitative features of the spin-boson spectrum not present in the original rotating wave approximation both off-resonance and at deep strong coupling. The symmetric rotating wave approximation allows for the treatment of certain ultra and deep-strong coupling regimes with similar accuracy and mathematical simplicity as does the RWA in the weak coupling regime. Additionally, we symmetrize the generalized form of the rotating wave approximation to obtain the same qualitative correspondence with the addition of improved quantitative agreement with the exact numerical results. The method is readily extended to higher accuracy if needed. Finally, we introduce the two-photon parity operator for the two-photon Rabi Hamiltonian and obtain its generalized symmetric rotating wave approximation. The existence of this operator reveals a parity symmetry similar to that in the Rabi Hamiltonian as well as another symmetry that is unique to the two-photon case, providing insight into the mathematical structure of the two-photon spectrum, significantly simplifying the numerics, and revealing some interesting dynamical properties.
△ Less
Submitted 6 September, 2011; v1 submitted 20 June, 2011;
originally announced June 2011.