## Abstract

We propose the analog-digital quantum simulation of the quantum Rabi and Dicke models using circuit quantum electrodynamics (QED). We find that all physical regimes, in particular those which are impossible to realize in typical cavity QED setups, can be simulated via unitary decomposition into digital steps. Furthermore, we show the emergence of the Dirac equation dynamics from the quantum Rabi model when the mode frequency vanishes. Finally, we analyze the feasibility of this proposal under realistic superconducting circuit scenarios.

## Introduction

The simplest, most fundamental interaction of quantum light and quantum matter can be described by the quantum Rabi model, consisting of the dipolar coupling of a two-level system with a single radiation mode^{1}. The Dicke model^{2} was later introduced to generalize this interaction to an ensemble of *N* two-level systems. Typically, the coupling strength is small compared to the transition frequencies of the two-level system and the radiation mode, leading to effective Jaynes-Cummings and Tavis-Cummings interactions, respectively, after performing a rotating-wave approximation (RWA). This introduces a *U*(1) symmetry and integrability to the model for any *N*^{3,4}. Recently, analytical solutions for the generic quantum Rabi and Dicke models for *N* = 3 were found^{5,6}. However, the general case for arbitrary *N* is still unsolved, while its direct study in a physical system remains an outstanding challenge.

A variety of quantum platforms, such as cavity QED, trapped ions, and circuit QED, provides a natural implementation of the Jaynes-Cummings and Tavis-Cummings models, due to the weak qubit-mode coupling strength. When the latter is a fraction or comparable to the mode frequency, the model is said to be in the ultrastrong coupling (USC) regime. Experimental evidence of this regime has been observed in the optical^{7} and microwave domains^{8,9}. Coupling strengths larger than the mode frequency mark the transition towards the recently introduced deep-strong coupling (DSC) regime^{10}. Signatures of the latter may be retrieved effectively in different quantum systems^{11,12}, but an experimental observation of the full quantum Rabi and Dicke models in all parameter regimes has not yet been realized. In particular, the quantum simulation^{13} of the Dicke Hamiltonian could outperform analytical and numerical methods, while enabling the simulation of engineered super-radiant phase transitions^{14,15,16}. Recently, technological improvements of controlled quantum platforms have increased the interest in quantum simulations^{17,18,19,20}. A digital approach to quantum simulations was put forward in Ref. 21. In this sense, it has been analyzed how suitable versions of digital quantum simulators can be implemented with available quantum platforms^{22,23,24,25}. Standard digital quantum simulations focus on the efficient decomposition of the quantum system dynamics in terms of elementary gates. In order to maximize the efficiency of the simulation, one may analyze which is the decomposition of the dynamics in its largest realizable parts, and reduce the number of elementary interactions in the simulation. This approach can be labeled as analog-digital quantum simulation and corresponds to finding some terms in the simulated system that can be implemented in an analog way, e.g., to employ a harmonic oscillator to simulate a bosonic field, while others will be carried out with a digital decomposition.

In this article, we propose the analog-digital quantum simulation of the quantum Rabi and Dicke models in a circuit QED setup, provided only with Jaynes-Cummings and Tavis-Cummings interactions, respectively. We show how the rotating and counter-rotating contributions to the corresponding dynamics can be effectively realized with digital techniques. By interleaved implementation of rotating and counter-rotating steps, the dynamics of the quantum Rabi and Dicke models can be simulated for all parameter regimes with negligible error. Lastly, we show how a relativistic Dirac dynamics can be retrieved in the limit where the mode frequency cancels.

## Results

We start by considering a generic circuit QED setup consisting of a charge-like qubit, e.g. a transmon qubit^{26}, coupled to a microwave resonator. The setup is well described by the Hamiltonian (ħ = 1)^{27}where *ω _{r}* and

*ω*are the resonator and qubit transition frequencies,

_{q}*g*is the resonator-qubit coupling strength,

*a*

^{†}(

*a*) is the creation(annihilation) operator for the resonator mode, and

*σ*

^{±}raise and lower excitations on the qubit. The capacitive interaction in Eq. (1) excludes excitations of the higher levels of the qubit device, because typically the coupling

*g*is much smaller than other transition frequencies of the system. By trying to design setups with larger capacitive couplings, pushing them above dispersive regimes, one starts to populate the higher levels of the transmons, producing unwanted leakage. On the other hand, methods based on orthogonal drivings of the qubits

^{12,28}may increase the resonator population. Here, we show that the dynamics of the quantum Rabi Hamiltonian can be encoded in a superconducting setup provided with a Jaynes-Cummings interaction, as in Eq. (1), using a digital expansion.

The quantum Rabi Hamiltonian in Eq. (2) can be decomposed into two parts, *H _{R}* =

*H*

_{1}+

*H*

_{2}, where and we have defined the qubit transition frequency in the two steps such that . These two interactions can be simulated in a typical circuit QED device with fast control of the qubit transition frequency. Starting from the qubit-resonator Hamiltonian in Eq. (1), one can define a frame rotating at frequency , in which the effective interaction Hamiltonian becomes with and . Therefore, Eq. (4) is equivalent to

*H*

_{1}, following a proper redefinition of the coefficients. The counter-rotating term

*H*

_{2}can be simulated by applying a local qubit rotation to and a different detuning for the qubit transition frequency, By choosing different qubit-resonator detuning for the two steps, for the first one and for the rotated step, one is able to simulate the quantum Rabi Hamiltonian, Eq. (2), via digital decomposition

^{21}, by interleaving the simulated interactions. The frequency scheme of the protocol is shown in Fig. 1. Standard resonant Jaynes-Cummings interaction parts with different qubit transition frequencies are interrupted by microwave pulses, in order to perform customary qubit flips

^{29}. This sequence can be repeated according to the digital simulation scheme to obtain a better approximation of the quantum Rabi dynamics.

The simulated Rabi parameters can be obtained as a function of the physical parameters of the setup by inverting the derivation presented above. In this way, one has that the simulated bosonic frequency is related to the resonator detuning , the two-level transition frequency is related to the transmon frequency in the two steps, , and the coupling to the resonator remains the same, *g ^{R}* =

*g*. Notice that even if the simulated two-level frequency depends only on the frequency difference, large detunings will affect the total fidelity of the simulation. In fact, since the digital error depends on the magnitude of individual commutators between the different interaction steps, using larger detunings linearly increases the latter, which results in fidelity loss of the simulation. To minimize this loss, one can choose, for example, the transmon frequency in the second step to be tuned to the rotating frame, such that . Nevertheless, to avoid sweeping the qubit frequency across the resonator frequency, one may choose larger detunings. To estimate the loss of fidelity due to the digital approximation of the simulated dynamics, we consider a protocol performed with typical transmon qubit parameters

^{26}. We estimate a resonator frequency of

*ω*/2

_{r}*π*= 7.5 GHz, and a transmon-resonator coupling of

*g*/2

*π*= 100 MHz. The qubit frequency

*ω*and the frequency of the rotating frame are varied to reach different parameter regimes.

_{q}To perform the simulation for the quantum Rabi model with , for example, one can set , . In this way, one can define an interaction picture rotating at to encode the dynamics of the quantum Rabi model with minimal fidelity loss. Considering that single-qubit rotations take approximately ~ 10 ns, tens of Trotter steps could be comfortably performed within the coherence time. Notice that, in performing the protocol, one has to avoid populating the third level of the transmon qubit. Taking into account transmon anharmonicities of about *α* = −0.1, for example, in this case one has third level transition frequencies of 6.795 GHz and 6.705 GHz. Therefore, given the large detuning with the resonator, it will not be populated. Similarly, by choosing different qubit detunings and rotating frames, one can simulate a variety of parameter regimes, e.g. see Table I.

## Discussion

In order to capture the physical realization of the simulation, we plot in Fig. 2 the behavior of the transmon-resonator system during the simulation protocol. We numerically integrate a master equation, alternating steps of Jaynes-Cummings interaction with single-qubit flip pulses. We consider , with Jaynes-Cummings terms , alternated with qubit-flip operations *H _{f}* =

*f*(

*t*)

*σ*, where

^{x}*f*(

*t*) is a smooth function such that ,

*T*being the qubit bit-flip time. The quantum dynamics is affected by Lindblad superoperators Γ

_{f}*(*

_{ϕ}L*σ*)

^{z}*ρ*, Γ

_{−}

*L*(

*σ*

^{−})

*ρ*, and

*κL*(

*a*)

*ρ*modelling qubit dephasing, qubit relaxation and resonator losses. We have defined

*L*(

*A*)

*ρ*= (2

*AρA*

^{†}−

*A*

^{†}

*Aρ*−

*ρA*

^{†}

*A*)/2. We set a resonator-qubit coupling of

*g*/2

*π*= 80 MHz, and a frame rotating at the qubit frequency, , . We consider Γ

_{−}/2

*π*= 30 kHz, Γ

*/2*

_{ϕ}*π*= 60 kHz, and

*κ*/2

*π*= 100 kHz. The inset of Fig. 2 shows collapses and revivals of both the photon and spin dynamics, which are typical signatures of the regimes of the quantum Rabi dynamics dominated by the coupling strength. We consider prototypical DSC dynamics, with , and . Notice that to encode the dynamics corresponding to a certain simulated time

*t*, one needs the quantum simulator to run for a simulating time , that depends on the specific gate times of the experiment. We choose to set the simulation at the time marked by the black arrow, close to the photon population peak in the inset. A simulation with 15 digital steps is then performed. The time for a single qubit flip pulse is set to

*T*= 10 ns. Periodic collapses and revivals of the bosonic population of the quantum Rabi model 〈

_{f}*a*

^{†}

*a*〉

*are shown as a function of time, in the inset. The ideal spin and bosonic populations 〈*

_{R}*σ*〉

_{z}*and 〈*

_{R}*a*

^{†}

*a*〉

*, evolving according to the quantum Rabi Hamiltonian, are shown to be in good agreement with the simulated ones, 〈*

_{R}*σ*〉 and 〈

_{z}*a*

^{†}

*a*〉, at the final simulated time. In fact, during the Jaynes-Cummings interaction parts, photons are pumped into the resonator. Afterwards, before the photon population starts to decrease due to excitation exchanges with the transmon qubit, a qubit flip further enhances the photon production.

The simulation protocol can be performed for every time of the dynamics, with the number of digital steps tuned to reach a satisfactory simulation fidelity. We plot in Fig. 3 the fidelity *F* = |〈Ψ* _{S}*|Ψ

*〉|*

_{R}^{2}as a function of time of the simulated wavefunction Ψ

*, including resonator and spin degrees of freedom, versus the ideal one Ψ*

_{S}*, evolving according to*

_{R}*H*, as defined in Eq. (2). The fidelity is plotted for different parameters and iteration steps. Increasing the number of steps, the fidelity grows as expected from standard Suzuki-Lie-Trotter expansions

_{R}^{30}. In principle, the whole protocol can accurately access non-analytical regimes of these models, including USC and DSC regimes.

By adding several transmon qubits to the architecture, the presented method can be extended to simulate the Dicke Hamiltonian This simulation can be efficiently implemented by means of collective qubit rotations. In fact, only collective Tavis-Cummings interactions and global qubit rotations are involved. In this way, the total time for the simulation does not scale with the size of the system *N*. The Dicke model can be investigated provided enough coherence and low-enough gate errors. Notice that this kind of quantum simulation is well suited for superconducting circuits, since simultaneous single-qubit addressing is possible. Making use of the results in Refs. 31, 32, we demonstrate that the quantum resources needed to approximate the Dicke Hamiltonian with an error less than scale efficiently with the number of spins *N* and of excitations allowed in the bosonic mode *M*. In a Dicke model simulation, one can bound the number of gates necessary to achieve a certain error in a time *t* by Here, we have used an upper bound for the norm of the Dicke Hamiltonian, , where *M* is a truncation on the number of bosonic excitations involved in the dynamics. The fractal depth is set to *k* = 1 in the standard Trotter approximations. Using higher orders of fractal decompositions would be a more involved task for implementation of digital approximations in realistic devices, due to the sign inversion that appears^{30}. Nevertheless, unitary approximants with arbitrarily high fidelity can be obtained even when *k* = 1. The formula in Eq. (7) gives an upper bound to the scaling of quantum resources and experimental errors in a simulation involving several qubits. In fact, if one considers a small error for each gate, the accumulated gate error grows linearly with the number of gates.

Notice that the quantum dynamics of the Dirac Hamiltonian emerges as a specific case of the quantum Rabi dynamics. For the 1+1 dimensional case the algebra of the Dirac spinors |Ψ〉 corresponds to that of Pauli matrices, and the Dirac equation in the standard representation can be written where *m* is the mass of the particle, *c* is the speed of light and *p* ∝ (*a* − *a*^{†})/*i* is the one-dimensional momentum operator. The Dirac Hamiltonian in Eq. (8), *H*_{D} = *mc*^{2}*σ _{z}* +

*cpσ*, shows the same mathematical structure as the quantum Rabi Hamiltonian, Eq. (2), when . This condition can be achieved by choosing . The analogy is complete by relating

_{x}*mc*

^{2}to ,

*c*to

*g*, and the momentum to the quadrature of the microwave field, which can be measured with current microwave technology

^{R}^{33}. Choosing an initial state with components in both positive and negative parts of the Dirac spectrum will allow the measurement of the

*Zitterbewegung*

^{34,35}. By retrieving different quadratures of the microwave field, one can detect this oscillatory motion of the simulated particle in the absence of forces, and the Klein paradox, where a relativistic particle can tunnel through high-energy barriers. To detect such effects, one will be interested in measuring either the position or the momentum of the particle, standing for different quadratures of the microwave field.

In conclusion, we have shown that the dynamics of the quantum Rabi and Dicke models can be encoded in a circuit QED setup using an analog-digital approach. These quantum simulations will contribute to the observation of quantum dynamics not accessible in current experiments.

## References

- 1.
Rabi, I. I. On the Process of Space Quantization.

*Phys. Rev.***49**, 324 (1936). - 2.
Dicke, R. H. Coherence in Spontaneous Radiation Processes.

*Phys. Rev.***93**, 99 (1954). - 3.
Jaynes, E. T. & Cummings, F. W. Comparison of quantum and semiclassical radiation theories with application to the beam maser.

*Proc. IEEE***51**, 89 (1963). - 4.
Tavis, M. & Cummings, F. W. Exact Solution for an

*N*-Molecule-Radiation-Field Hamiltonian.*Phys. Rev.***170**, 379 (1968). - 5.
Braak, D. Integrability of the Rabi Model.

*Phys. Rev. Lett.***107**, 100401 (2011). - 6.
Braak, D. Solution of the Dicke model for N = 3.

*J. Phys. B***46**, 224007 (2013). - 7.
Günter, A.

*et al.*Sub-cycle switch-on of ultrastrong light-matter interaction.*Nature***458**, 178 (2009). - 8.
Niemczyk, T.

*et al.*Beyond the Jaynes-Cummings model: circuit QED in the ultrastrong coupling regime.*Nat. Phys.***6**, 772 (2010). - 9.
Forn-Díaz, P.

*et al.*Observation of the Bloch-Siegert Shift in a Qubit-Oscillator System in the Ultrastrong Coupling Regime.*Phys. Rev. Lett.***105**, 237001 (2010). - 10.
Casanova, J., Romero, G., Lizuain, I., García-Ripoll, J. J. & Solano, E. Deep Strong Coupling Regime of the Jaynes-Cummings Model.

*Phys. Rev. Lett.***105**, 263603 (2010). - 11.
Crespi, A., Longhi, S. & Osellame, R. Photonic Realization of the Quantum Rabi Model.

*Phys. Rev. Lett.***108**, 163601 (2012). - 12.
Ballester, D., Romero, G., García-Ripoll, J. J., Deppe, F. & Solano, E. Quantum Simulation of the Ultrastrong-Coupling Dynamics in Circuit Quantum Electrodynamics.

*Phys. Rev. X***2**, 021007 (2012). - 13.
Feynman, R. P. Simulating Physics with computers.

*Int. J. Theor. Phys.***21**, 467 (1982). - 14.
Hepp, K. & Lieb, E. H. On the superradiant phase transition for molecules in a quantized radiation field: the Dicke maser model.

*Ann. Phys. NY***76**, 360 (1973). - 15.
Wang, Y. K. & Hioe, F. T. Phase Transition in the Dicke Model of Superradiance.

*Phys. Rev. A***7**, 831 (1973). - 16.
Carmichael, H. J., Gardiner, C. W. & Walls, D. F. Higher order corrections to the Dicke superradiant phase transition.

*Phys. Lett. A***46**, 47 (1973). - 17.
Bloch, I., Dalibard, J. & Nascimbène, S. Quantum simulations with ultracold quantum gases.

*Nat. Phys.***8**, 267 (2012). - 18.
Blatt, R. & Roos, C. F. Quantum simulations with trapped ions.

*Nat. Phys.***8**, 277 (2012). - 19.
Aspuru-Guzik, A. & Walther, P. Photonic quantum simulators.

*Nat. Phys.***8**, 285 (2012). - 20.
Georgescu, I. M., Ashhab, S. & Nori, F. Quantum simulation.

*Rev. Mod. Phys.***86**, 153 (2014). - 21.
Lloyd, S. Universal quantum simulators.

*Science***273**, 1073 (1996). - 22.
Lanyon, B. P.

*et al.*Universal digital quantum simulation with trapped ions.*Science***334**, 57 (2011). - 23.
Casanova, J., Mezzacapo, A., Lamata, L. & Solano, E. Quantum Simulation of Interacting Fermion Lattice Models in Trapped Ions.

*Phys. Rev. Lett.***108**, 190502 (2012). - 24.
Mezzacapo, A., Casanova, J., Lamata, L. & Solano, E. Digital Quantum Simulation of the Holstein Model in Trapped Ions.

*Phys. Rev. Lett.***109**, 200501 (2012). - 25.
Las Heras, U.

*et al.*Digital Quantum Simulation of Spin Systems in Superconducting Circuits.*Phys. Rev. Lett.***112**, 200501 (2014). - 26.
Koch, J.

*et al.*Charge insensitive qubit design derived from the Cooper pair box.*Phys. Rev. A***76**, 042319 (2007). - 27.
Blais, A., Huang, R.-S., Wallraff, A., Girvin, S. M. & Schoelkopf, R. J. Cavity quantum electrodynamics for superconducting electrical circuits: An architecture for quantum computation.

*Phys. Rev. A***69**, 062320 (2004). - 28.
Pedernales, J. S., Di Candia, R., Ballester, D. & Solano, E. Quantum Simulations of Relativistic Quantum Physics in Circuit QED.

*New J. Phys.***15**, 055008 (2013). - 29.
Blais, A.

*et al.*Quantum information processing with circuit quantum electrodynamics.*Phys. Rev. A***75**, 032329 (2007). - 30.
Suzuki, M. Fractal decomposition of exponential operators with applications to many-body theories and Monte Carlo simulations.

*Phys. Lett. A***146**, 319 (1990). - 31.
Berry, D. W., Ahokas, G., Cleve, R. & Sanders, B. C. Efficient Quantum Algorithms for Simulating Sparse Hamiltonians.

*Commun. Math. Phys.***270**, 359 (2007). - 32.
Wiebe, N., Berry, D. W., Høyer, P. & Sanders, B. C. Simulating quantum dynamics on a quantum computer.

*J. Phys. A***44**, 445308 (2011). - 33.
Di Candia, R.

*et al.*Dual-path methods for propagating quantum microwaves.*New J. Phys.***16**, 015001 (2014). - 34.
Lamata, L., León, J., Schätz, T. & Solano, E. Dirac Equation and Quantum Relativistic Effects in a Single Trapped Ion.

*Phys. Rev. Lett.***98**, 253005 (2007). - 35.
Gerritsma, R.

*et al.*Quantum simulation of the Dirac equation.*Nature***463**, 68 (2010).

## Acknowledgements

This work is supported by Basque Government IT472-10 Grant, Spanish MINECO FIS2012-36673-C03-02, Ramón y Cajal Grant RYC-2012-11391, UPV/EHU UFI 11/55, an UPV/EHU PhD grant, CCQED, PROMISCE and SCALEQIT European projects. UPV/EHU Project No. EHUA14/04.

## Author information

## Affiliations

### Department of Physical Chemistry, University of the Basque Country UPV/EHU, Apartado 644, E-48080 Bilbao, Spain

- A. Mezzacapo
- , U. Las Heras
- , J. S. Pedernales
- , E. Solano
- & L. Lamata

### Kavli Institute of Nanoscience, Delft University of Technology, P. O. Box 5046, 2600 GA Delft, The Netherlands

- L. DiCarlo

### IKERBASQUE, Basque Foundation for Science, Maria Diaz de Haro 3, 48013 Bilbao, Spain

- E. Solano

## Authors

### Search for A. Mezzacapo in:

### Search for U. Las Heras in:

### Search for J. S. Pedernales in:

### Search for L. DiCarlo in:

### Search for E. Solano in:

### Search for L. Lamata in:

### Contributions

A.M. did the calculations and the numerical analysis in Fig. 2. U.L.H. did the numerical analysis in Fig. 3. A.M., U.L.H., J.S.P., L.D., E.S. and L.L. contributed to the developing of the ideas, obtention of the results and writing of the manuscript.

### Competing interests

The authors declare no competing financial interests.

## Corresponding authors

Correspondence to A. Mezzacapo or L. Lamata.

## Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.

This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article's Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder in order to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/