## Abstract

Quantum field theories describe a variety of fundamental phenomena in physics. However, their study often involves cumbersome numerical simulations. Quantum simulators, on the other hand, may outperform classical computational capacities due to their potential scalability. Here we report an experimental realization of a quantum simulation of fermion–antifermion scattering mediated by bosonic modes, using a multilevel trapped ion, which is a simplified model of fermion scattering in both perturbative and non-perturbative quantum electrodynamics. The simulated model exhibits prototypical features in quantum field theory including particle pair creation and annihilation, as well as self-energy interactions. These are experimentally observed by manipulating four internal levels of a ^{171}Yb^{+} trapped ion, where we encode the fermionic modes, and two motional degrees of freedom that simulate the bosonic modes. Our experiment establishes an avenue towards the efficient implementation of field modes, which may prove useful in studies of quantum field theories including non-perturbative regimes.

## Introduction

Quantum simulators are devices designed to predict the properties of physical models associated with target quantum systems^{1, 2}. Their intrinsic physical behaviors are fully governed by the laws of quantum mechanics, making it possible to efficiently study complex quantum systems that cannot be solved by classical computers^{3, 4}. Trapped ions and superconducting circuits have proved to be promising for experimentally simulating a variety of paradigmatic quantum models such as various spin models^{5,6,7,8,9}, relativistic Dirac equations^{10,11,12,13}, embedding quantum simulators^{14,15,16,17,18}, and fermionic models^{19, 20}. More recently, a digital quantum simulation of a fermionic lattice gauge theory has been performed in trapped ions^{21}. However, it would be desirable to realize a quantum simulator that involves interacting fermionic and bosonic fields as described by quantum field theories (QFTs)^{22}. In this sense, fermionic modes could be mapped in the ion internal levels, whereas bosonic modes could be naturally encoded in the motional degrees of freedom.

Here we report an experimental quantum simulation of interacting fermionic and bosonic quantum field modes, where fermions are encoded in four internal levels of an ^{171}Yb^{+} ion and the bosonic modes in the motional degrees of freedom, following the proposal by Casanova et al.^{23}. Therefore, this analog quantum simulation constitutes a step forward towards a digital-analog quantum simulator^{19, 24,25,26,27} of perturbative and non-perturbative QFTs. In this sense, a remarkable feature of our experiment is that it contains all orders in perturbation theory, which is equivalent to all Feynman diagrams for a finite number of fermionic and bosonic modes. Moreover, our approach could in principle be scaled up by progressively adding more ions allowing the codification of additional fermionic and bosonic field modes, which may lead to full quantum simulations of QFTs such as quantum electrodynamics (QEDs)^{22}.

## Results

### Hamiltonian for quantum simulation of QFT

The common way to analyze QFTs is via a Dyson series expansion in perturbation theory and Feynman diagrams^{22}. If we consider larger coupling parameters, standard perturbative methods become cumbersome for a finite-mode Dyson expansion, mainly because only a reduced number of perturbative Feynman diagrams can be calculated. On the other hand, a trapped-ion quantum simulator with its high degree of quantum control^{28} could overcome these limitations and simulate QFTs more efficiently than classical computers^{29}. Based on the proposal of ref.^{23}, our experimental quantum simulation of finite-number interacting quantized field modes includes all terms of the Dyson expansion. We experimentally implement a fundamental QFT model in a single trapped-ion considering (i) one fermionic and one antifermionic field mode, (ii) one or two bosonic field modes, which already reveals interesting QFT features such as self-interactions, particle creation and annihilation, and perturbative and non-perturbative regimes. The general Hamiltonian involving the continuum of fermionic and bosonic fields reads

where *b*_{
p
} and *d*_{
p
} are fermionic and antifermionic annihilation operators, respectively, whereas *a*_{
k
} are the bosonic annihilation operators. Here, *ω* (*ω*_{
k
}) is the fermion and antifermion free energy (boson free energy), whereas *ψ*(*x*) denotes the fermionic and *A*(*x*) the bosonic fields^{23}.

As a stepped experimental demonstration, we first consider the simplest situation with only one bosonic mode, which can be implemented by a single vibrational mode of the ion. The fermion and antifermion modes are considered as two comoving modes describing incoming Gaussian wave packets, which are centered in the average momentum and have distant average initial positions^{23}. These modes describe self-interacting dressed states by emission and absorption of virtual bosons. They also represent the lowest-order in perturbation theory of the scattering of the incoming wave packets that will collide in a certain region of spacetime. The pair creation and annihilation is local and takes place only when the two wave packets of the fermion and antifermion overlap, namely, when the particles scatter. A diagram of these interactions, in the spirit of a Feynman diagram, is shown in Fig. 1(a). It is noteworthy that the loop of this diagram includes all terms in a finite-mode Dyson expansion, which is different from the standard perturbative approach with only a reduced number of Feynman diagrams. By considering slow massive bosons, as described in ref.^{23}, the interaction Hamiltonian we would like to realize turns into

where the associated time-dependent coupling strength is

and \(\delta = \omega _{\mathrm{f}} + \omega _{\overline {\mathrm{f}} } - \omega _0\). Here, *ω*_{f}, \(\omega _{\overline {\mathrm{f}} }\), and *ω*_{0} represent the energy of the fermionic field mode *b*, the antifermionic field mode *d*, and the bosonic field mode *a*_{0}, respectively. The ratio *g*_{2}/*g*_{1} gives the relative strength between pair creation and self-interaction. *T* is the total time of the pair-creation process, whereas *σ*_{
t
} is the temporal interval of the interaction region. Our formalism, explained in detail in ref.^{23}, involves considering incoming comoving fermionic and antifermionic modes at the lowest order in perturbation theory. The time dependence of the interaction of the incoming particles, as they collide, maps onto a time dependence of the interaction Hamiltonian coupling.

Applying a Jordan–Wigner mapping^{23} from the fermionic modes to a 2 × 2 Hilbert space,

the vacuum state and fermionic states are represented by

where \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\) denotes the state containing one fermion and one antifermion. Thus, the interaction Hamiltonian reads

### Trapped ion implementation

We point out that, due to the asymmetric role of fermionic annihilation and antifermionic creation operators in the fermionic field, the one-antifermion state is a dark state of the Hamiltonian in equation (2) and therefore the antifermion does not have self-energy at first order (it has, when considering more modes and higher orders). We implement the Hamiltonian on a single ^{171}Yb^{+} ion trapped in a three-dimensional harmonic potential as shown in Fig. 1(b). The radial harmonic potential is generated by an oscillating electric field *V*_{RF} in the radial direction with the two trapping frequencies along *X* and *Y* directions being (*ω*_{
X
}, *ω*_{
Y
}) = (2*π*) (2.4, 1.9) MHz. The bosonic modes are mapped onto these radial vibrational modes and we choose the *X* mode for experiments involving a single bosonic mode. The vacuum state \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\) is mapped to the hyperfine state |*F* = 0, *m* = 0〉. Fermionic states are mapped onto Zeeman states as \(\left| {F = 1,m_F = - 1} \right\rangle \equiv \left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\), \(\left| {F = 1,m_F = 1} \right\rangle \equiv \left| {0_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\), and \(\left| {F = 1,m_F = 0} \right\rangle \equiv \left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\). With the mapping of the bosonic mode and the fermionic states onto the ^{171}Yb^{+} ion system, the Hamiltonian (7) is naturally divided into three parts: displacement, red-sideband, and blue-sideband operations.

The operations of the self-interaction and scattering processes of the fermion and the anti-fermion are realized by *σ*_{+}-polarized Raman laser beams^{30,31,32} counter-propagating along the direction of the magnetic field \(\vec B\). The strength of the magnetic field at the position of the ion is around 7 G, which produces *ω*_{ZM} = (2*π*)10 MHz Zeeman splitting. The magnetic field is generated by a pair of Helmholtz coils and is aligned along the angle bisector direction of the *X* and *Y* axes, which allows the laser beams to couple both of the vibrational modes, as shown in Fig. 2(a). The laser beams are modulated with acousto-optic modulators (AOMs), which are driven with different frequencies *ω*_{R1} and *ω*_{R2}.

For the Raman transitions, the mode-locked picosecond laser is used with a wavelength of 375 nm, which is *Δ* = (2*π*)12 THz red detuned from the optical transition ^{2}*S*_{1/2} ↔ ^{2}*P*_{1/2}. The train of laser pulses in the time domain can be considered as an equally spaced frequency “comb”^{33}, which in our experiment had a repetition rate of *ω*_{rep} = (2*π*)76.51 MHz. As shown in Fig. 2(b, c), we use the frequency “comb” to select a Raman beat-note frequency according to the relation *ω*_{R} = Δ*ω* + *n* × *ω*_{rep}, where Δ*ω* = *ω*_{R2} − *ω*_{R1} and *n* = 0, ± 1, ± 2, …. For transitions between different motional levels of the same electronic state, we simply use *n* = 0 and make Δ*ω* close to *ω*_{
X
} or *ω*_{
Y
}. For transitions between two different electronic states, we use *n* = 165.

Figure 2(d, e) shows the Raman schemes needed to implement Hamiltonian (7), which are naturally divided into three parts, namely,

Here, the first part is *ω*_{0}-detuned displacement operation, the second part is *δ*-detuned red-sideband operation between \(\left| {0_{\mathrm f}0_{\bar {\mathrm f}}} \right\rangle \leftrightarrow \left| {1_{\mathrm f}1_{\bar {\mathrm f}}} \right\rangle\), and the last part is (2*ω*_{0} + *δ*)-detuned blue-sideband operation between \(\left| {0_{\mathrm f}0_{\bar {\mathrm f}}} \right\rangle \leftrightarrow \left| {1_{\mathrm f}1_{\bar {\mathrm f}}} \right\rangle\).

The first part corresponds to a displacement operation with 1 : 2 : 1 : 0 relative ratios among the strength coefficients of states \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\), \(\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\), \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\), and \(\left| {0_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\). Figure 2(d) shows how to implement the displacement operation through the counter-propagating Raman laser beams shown in Fig. 2(a). The *σ*_{+}-polarized Raman beams produce the exact ratios in the strength of displacement operations, as state \(\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\) is coupled to two levels in the ^{2}*P*_{1/2} manifold, states \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\), and \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\) to one level, and state \(\left| {0_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\) to no level. The strength coefficient of a Raman path is given by Ω_{R} = *g*_{1}*g*_{2}/2*Δ*_{R}, where *g*_{1} and *g*_{2} are Rabi frequencies of the two Raman beams coupled to the transition between ^{2}*S*_{1/2} and ^{2}*P*_{1/2} and the detuning *Δ*_{R} ≈ *Δ* = (2*π*)12 THz. The coefficients of all possible Raman paths are added, as all optical transitions between ^{2}*S*_{1/2} ↔ ^{2}*P*_{1/2} states have the same coefficients in absolute values. We note that the frequency difference *ω*_{HF} = (2*π*)12.6 GHz between states \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\) and \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\) is much smaller than the detuning *Δ* of the Raman laser beams acting on the manifold ^{2}*P*_{1/2}, which produces around a 0.1% difference in the strength of the displacement operations. Finally, we measure the strength of the displacement operations and observe the ratios (see Methods). In principle, we can also implement other ratios of displacement operations by applying additional *σ*- and *π*-polarized Raman beams (see Methods).

The second and third parts are realized by the red- and the blue-sideband transitions as shown in Fig. 2(e). The time-dependent strength-coefficient *g*(*t*) in equation (3) is implemented by the change of laser intensity, which is proportional to the RF power on the AOMs of Fig. 2(a). We generate the time-dependent RF signal from an arbitrary waveform generator (AWG) and apply it to the AOM R2. By using the AWG, we can generate all the necessary RF frequencies and powers, which realizes the full Hamiltonian (7) containing the displacement operation, red-, and blue-sideband transitions.

### Experimental procedure of the quantum simulation

In the experiment, we initialize the motional and internal state of the ion to the state \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}},n = 0} \right\rangle\) by standard Doppler cooling, resolved sideband cooling, and optical pumping^{34, 35}. The residual average phonon number and the heating rate are measured to be 〈*n*〉 = 0.016 ± 0.025 and 3.8 ± 1.2 quanta s^{−1}, respectively. The heating effect can be neglected in the typical duration of a single simulation, which is of < 2 ms. Then we implement the target Hamiltonian (7) and let the system evolve for a time *t*. Finally, we measure the average boson number 〈*n*〉 and the populations of various fermionic states, as well as the correlation between the bosonic mode and the fermionic state. A detailed discussion of the measurement procedures can be found in the Methods section. We compare the experimental results with the ideal theoretical calculations. In our simple situation of single bosonic, fermion, and anti-fermion modes, we are able to numerically calculate the exact evolution with the full Hamiltonian and find a perturbation method that works for a short time dynamics. The whole evolution is then computed by accumulation of the latter. We note that such numerical methods would not be allowed as the system size grows. Typically, one considers the size corresponding to 50 qubits to be intractable. For example, a realistic situation with 16 ions, 16 modes, and 8 considered levels per mode would be beyond the capabilities of classical computers.

### Self-interaction and particle creation and annihilation

We first study the fermion self-interaction processes by setting *g*_{2} = 0, starting from the initial state \(\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}},0_b} \right\rangle\). Then the self-interacting dynamics occurs via the couplings \(\left| {1_{\mathrm{f}},0_{{\bar{\mathrm f}}},n_b} \right\rangle \to \left| {1_{\mathrm{f}},0_{{\bar{\mathrm f}}},n_b \pm 1} \right\rangle\). Figure 3(a) shows experimental data for the time-dependent bosonic vacuum populations and the average boson numbers for different self-interaction strengths *g*_{1}/*ω*_{0} = 0.1 and 0.15, which quantitatively coincide with the theoretical calculations within experimental errors. We clearly observe the expected emission and reabsorption processes of virtual bosons and the growth of the average number of virtual bosons with the self-interaction strength *g*_{1}.

Subsequently, we realize the annihilation of a fermion–antifermion pair and the creation of bosons with parameters *g*_{1} = 0.01*ω*_{0}, *g*_{2} = 0.21*ω*_{0}, and *σ*_{
t
} = 3/*ω*_{0}. We choose the initial state to be the state with a fermion–antifermion pair and no bosons: \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}},n = 0} \right\rangle\). Figure 3(b) shows the dynamics of the fermion–antifermion scattering process via the population of the fermionic-pair state and the average boson number. It can be clearly seen that the initial fermion–antifermion pair disappears, creating a single boson.

Next, we realize the process of scattering with parameters *g*_{1} = 0.1*ω*_{0}, *g*_{2} = *ω*_{0}, *σ*_{
t
} = 4/*ω*_{0}, where *g*_{2} ≥ *ω*_{0}. In this regime, the interaction Hamiltonian ((2)) cannot be regarded as a perturbation. In such a strong coupling situation, we cannot easily discriminate the contributions from the self-interaction and pair production processes. When the initial fermion–antifermion pair disappears, more than a single boson is created in the process as shown in Fig. 3(c), which is qualitatively different from the dynamics shown in Fig. 3(b). As the size of the Hilbert space is not too large, we numerically calculate the dynamics of the Hamiltonian by direct numerical integration (see Methods), which is in agreement with the experimental results shown in Fig. 3(c). However, as the number of fermion–antifermion pairs and bosons increases, the exact numerical calculation will be intractable by classical means. We have also developed a perturbation method based on the observation that, for a reasonably small time \(g_2t \ll 1\), the effect of the coupling term *g*_{2} does not produce a divergence in the dynamics. We divide the total time of the process by 100 and apply the perturbation method (see Methods) to the unitary evolution operator in each time slice. We find that after including terms up to the 7th order in the perturbation parameter, the deviation of the perturbative dynamics from the complete one is below 10^{−4}. However, even this approach, based on a perturbative expansion within time slices, would be difficult to use for large Hilbert space dimensions with more fermions and bosons.

Finally, as a demonstration of scalability, we realize fermion self-interaction processes extended to two bosonic modes by using both *X* and *Y* phonon modes of a single trapped ion. We set *g*_{1} = 0.15*ω*_{0}, the first boson mode frequency *ω*_{1} = *ω*_{0}, and the second boson mode frequency *ω*_{2} = 0.9*ω*_{0}. We note that the *g*_{1} (*g*_{2}) coupling to the mode *Y* (*X*) is negligible, as the detuning to the mode *Y* (*X*) is larger by a factor of 50, which effectively suppresses the strength by the same amount. We choose the initial state to contain one fermion and no bosons, \(\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}},n_1 = 0,n_2 = 0} \right\rangle\). Then the self-interacting dynamics is given by the transition \(\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}},n_1,n_2} \right\rangle \leftrightarrow \left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}},n_1 \pm 1,n_2 \pm 1} \right\rangle\). As the bosonic modes have different frequencies, we observe that the considered fermion emits and reabsorbs bosons differently from the single-boson case. Instead of a sine curve, we see a clear beat-note behavior of the fermionic population as shown in Fig. 3(d). We also clearly observe the dynamics of both bosonic modes in a good agreement with the theoretical expectation. By increasing the number of bosonic modes, we would simulate the continuous regime of bosonic modes, which would be related to scattering experiments. In such large number of bosonic modes, the non-perturbative behavior of fermionic or antifermonic mode could be intractable. On the way of increasing bosonic modes, a technology of correlation measurement of multiple phonon modes could be applied^{36, 37}.

## Discussion

In conclusion, this work considers an experimental quantum simulation of interacting fermionic and bosonic quantum field modes. Our approach could be in principle scaled up by progressively incorporating more fermionic and bosonic field modes, which may lead to a full-fledged digital-analog quantum simulation of QFTs such as QED^{22,23,24} or the Holstein model^{38}, where correlations between multiple fermions and phonons have critical relevance. In our current experimental system, an extension to multi-fermion and multi-phonon (bosonic) modes could in principle be implemented by loading a number of ions in a single trap, where the spins of ions map the fermionic modes through Jordan–Wigner transformation^{24} and the vibrational modes of ions directly map the bosonic modes. The many-body operators or spin–spin interactions appearing after mapping of the fermionic modes onto spins can be efficiently implemented via a combination of two Mølmer–Sørensen gates and a local gate as shown in ref.^{24}. Other than the spin–spin interactions in the Holstein model, e.g., the couplings between fermionic modes and bosonic modes can be implemented by the same Raman laser beams that are individually addressing single ions and tuned to specific mode frequencies. In this respect, it has been shown that the number of gates grows polynomially as the number of fermions and bosons^{38}. Ref.^{38} also discussed the estimated infidelities from the gate errors in realistic experimental decoherence condition up to four sites, which clearly showed the degree of control is more demanding when the coupling strengths between the modes increase. As demonstrated in our experiment, we do not observe any clear degradation of the simulation when using two modes, although here we do not have the technical problem of individual addressing. We may implement the model in a fully analogue way together with proper spin–spin interactions^{39,40,41}, which would allow us to study the pairing or polaron physics occurring in many unconventional superconducting systems^{42, 43} with the controls of various parameters. In particular, we remark that already with 16 two-level ions and 8 phononic levels per ion, one could perform quantum simulations of interacting quantum field modes that are beyond the reach of classical computations, i.e., a Hilbert space dimension of 16^{16}~2^{64}, which would otherwise require a lengthy quantum algorithm with 64 qubits^{44, 45}. This experiment opens an avenue that aims at out-performing the limitations of classical computers, with in principle scalable quantum simulations.

We also point out that there are no known efficient classical algorithms for simulating interacting fermionic models in arbitrary spatial dimensions, whereas with our approach, with a trapped-ion quantum simulator, fermionic models in arbitrary dimensions could be analyzed with polynomial resources^{24}. The verification of our proposed scalable experiment requires polynomial resources, as for the detection of the number of bosonic excitations produced, or the population of the fermionic or antifermionic states, only a polynomial number of measurements is required.

## Methods

### Uniform red sideband

The “uniform red sideband”^{46,47,48} is implemented as an adiabatic transition where the transfer speed between \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}},n} \right\rangle\) and \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}},n - 1} \right\rangle\) is the same for all *n* = 1, 2, …. It is realized by adding a time-dependent amplitude *A*(*t*) = sin(*πt*/*d*) and a time-dependent phase *φ*(*t*) = −1/*β* sin(*πt*/*d*) to the normal red-sideband operation, and some additional terms to compensate for the AC Stark shift. Here, *d* = *c* *π*_{red} is the duration of the transition, and *β* = ((*l* + 1) (*h* + 1))^{−1/4}/*c* is an empiric parameter depending on the lower bound *l* and the upper bound *h* of the phonon number *n*. We typically choose *c* to be 10, such that the transition duration *d* is *c*/2 = 5 times the red-sideband operation period. Therefore, we achieve more than 99% of theoretical fidelity for all phonon numbers between *l* and *h*.

### Displacement strength adjustment

We experimentally measure several strength coefficients to check the strength ratios depending on the electronic states. We first prepare the initial state \(\left| {m,n = 0} \right\rangle\), where \(\left| m \right\rangle\) is either \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\) or \(\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\). Then we apply the displacement operation for a small period *τ*. After this, we should obtain a coherent state \(\left| {m,\alpha } \right\rangle\), *α* = Ω*τ*, where Ω is the desired strength coefficient. Subsequently, with several different *τ*, we fit the parameter Ω by measuring each time the remaining population on state \(\left| {m,n = 0} \right\rangle\) with the “uniform red sideband” method, which should be \({\mathrm e}^{ - \alpha ^2} = {\mathrm e}^{ - {{\Omega }}^2\tau ^2}\). After careful beam alignment and quarter wave plate adjustment, the measured strength coefficients of \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\) and \(\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\) are (2*π*)7.2 and (2*π*)14.4 kHz, respectively, which are consistent with the theory ratio 1:2.

As the magnetic quantum number is conserved during the displacement operation, two virtual optical transitions in a Raman path should have the same polarization. If both polarizations are purely *σ*_{
−
}, then the relative strength-coefficient ratio between states \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\), \(\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\), \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\), and \(\left| {0_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\) is 1 : 0 : 1 : 2. If both polarizations are purely *π*, then the relative strength-coefficient ratio between states \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\), \(\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\), \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\), and \(\left| {0_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\) is 1 : 1 : 1 : 1. In general, if the ratio between *σ*_{+}, *σ*_{−}, and *π* polarization is *a* :* b* : *c*, then the relative strength-coefficient ratio between states \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\), \(\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\), \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\), and \(\left| {0_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\) is *a* + *b* + *c* : 2*a* + *c* : *a* + *b* + *c* : 2*b* + *c*.

### Fermionic state measurement

To measure \(P\left( {\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle } \right)\), we simply apply a *π* rotation between states \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\) and \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\) to swap their populations, with a microwave horn. Then the measured population of state \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\) is equal to the original \(P\left( {\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle } \right)\).

To measure \(P\left( {\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}},n = 0} \right\rangle } \right)\), however, we need a phonon projective measurement^{46,47,48}. Instead of using fluorescence detection together with a post-selection scheme, which may introduce significant heating errors because of photon scattering, here we use an auxiliary state as a swap buffer. It is noteworthy that the interaction Hamiltonian (7) does not have terms related to state \(\left| {0_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\). Therefore, we employ state \(\left| {0_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\) as the auxiliary state and always initialize it to zero. We first apply three consecutive *π* swap gates between \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\) and \(\left| {0_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\), and between \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\) and \(\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\). After these operations, \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\) is swapped with \(\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\), and \(\left| {0_{\mathrm{f}}1_{{\bar{\mathrm f}}}} \right\rangle\) is swapped with \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle\). Then we apply a “uniform red sideband” *π* rotation to swap the population in \(\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}},n >0} \right\rangle\) with that of \(\left| {1_{\mathrm{f}}1_{{\bar{\mathrm f}}},n - 1} \right\rangle\). Then, we measure the remaining vacuum-state population, \(P\left( {\left| {0_{\mathrm{f}}0_{{\bar{\mathrm f}}}} \right\rangle ,n = 0} \right)\), which is equal to the original population, \(P\left( {\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}},n = 0} \right\rangle } \right)\). The uncertainty of the measurement mainly comes from the quantum projection noise of binary result of single measurements^{49}.

For the experiment involving two boson modes, we first measure \(P\left( {\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}},n_1 = 0} \right\rangle } \right)\) using the same method as that of the single-boson case. Next we consecutively apply a “uniform red sideband” to the first mode and another “uniform red sideband” to the second mode. Then, we measure the population of the upper state, which should be \(P\left( {\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}},n_1 = 0,n_2 >0} \right\rangle } \right)\). Therefore, we obtain the desired population from the relation: \(P\left( {\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}},n_1 = 0,n_2 = 0} \right\rangle } \right) = P\left( {\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}},n_1 = 0} \right\rangle } \right) - P\left( {\left| {1_{\mathrm{f}}0_{{\bar{\mathrm f}}},n_1 = 0,n_2 >0} \right\rangle } \right)\). It is noteworthy that this scheme is clearly scalable in the number of bosonic modes.

### Average boson number measurement

For the average boson number measurement, we first use optical pumping to trace out electronic states^{48} and then apply a blue sideband time sweep from *t* = 0 to *t* = 12 *π*_{blue}^{50}. We get the phonon number distribution by fitting the result signals through the maximum likelihood method with parameters of the Fock state populations^{46, 47}. The main uncertainty in the average phonon measurement comes from fitting and we include one standard deviation as an uncertainty throughout the manuscript.

### Ideal theoretical calculations

The exact dynamics of the Hamiltonian (7) can be obtained by solving the time-dependent Schrödinger equation \(i\hbar \frac{\partial }{{\partial t}}\left| {\psi (t)} \right\rangle = H_{\mathrm I}(t)\left| {\psi (t)} \right\rangle\). We numerically solve the equation with the built-in function of Mathematica, NDSolve, which finds a numerical solution to the ordinary differential equation mainly based on Runge–Kutta method. In the numerical calculation, we include 4 internal levels and up to 10 phonons per mode for the Hamiltonian (7), which changes the Schrödinger equation to the ordinary differential equation with 40 and 400 components for single mode and two modes of the state \(\left| \psi \right\rangle\), respectively. With the option of infinite Maxsteps in Mathematica, the numerical calculations converge and do not show any error messages. We point out that all the parameters in the simulation are experimentally determined, not obtained via fitting. The main limitation of the numerical calculation would be the size of the Hilbert space when we scale up the system with multiple fermions and bosons.

### Feynman diagram calculation

In the interaction picture, the evolution operator *U*_{I}(*t*, *t*_{0}) satisfies the following differential equation

which can be exactly solved as the so-called Dyson series,

By introducing the time-ordering operator \({\cal T}\), the above solution can be written in a formally succinct way \(U_{\mathrm{I}}\left( {t,t_0} \right) = {\cal T}{\kern 1pt} {\mathrm{exp}}\left( { - \frac{i}{\hbar }{\kern 1pt} {\int}_{t_0}^t {\kern 1pt} H_{\mathrm{I}}(s){\mathrm d}s} \right)\).

Truncating at some finite *N* in equation (12) provides a straightforward perturbation treatment of the evolution operator *U*_{I}(*t*, *t*_{0}). However, when the evolution time increases, the unitarity of the perturbation expansion becomes difficult to guarantee, because the truncation error is proportional to (*t* − *t*_{0})^{N+1}. In order to deal with the long-time dynamics, we make use of the composition property of the evolution operator and interleave *M* − 1 equally spaced points between *t*_{0} and *t*. Then, the evolution operator *U*_{I}(*t*, *t*_{0}) is identically written as the product of *M* evolution operators, each of which governs the dynamical evolution over a short period of time,

with *t*_{
M
} ≡ *t*. For any dynamics with finite duration, saying *t* − *t*_{0} is finite, we can always assign a sufficiently large *M* so that Δ*t* ≡ *t*_{
m
} − *t*_{m−1} is a small but finite quantity. Consequently, *U*_{I}(*t*_{
m
}, *t*_{m−1}) is readily to be treated perturbatively.

Denote the *n*-th order perturbation expansion of *U*_{I}(*t*_{
m
}, *t*_{m−1}) as \(U_{\mathrm{I}}^{(N)}\left( {t_m,t_{m - 1}} \right)\),

Then the whole dynamics can be treated perturbatively as follows,

The deviations are related to the number of sliced sections *M* in time and the order of perturbations *N*. In our numerical calculations of the Dyson series, we divide the total time by *M* = 100 and apply the perturbations up to *N* = 9th order. Figure 4 shows the deviations of the norm from 1 \(\left| {1 - \left| {U_{\mathrm{I}}\left( {t,t_0} \right)\left| {\psi \left( {t_0} \right)} \right\rangle } \right|^2} \right|\) and the infidelity \(\left| {1 - \left| {\left\langle {\psi _{{\mathrm{exact}}}(t)\left| {U_{\mathrm{I}}(t,t_0)} \right|\psi (t_0)} \right\rangle } \right|} \right|\) depending on the order of the perturbations for the case of Fig. 3(c). Here *ψ*_{exact}(*t*) is the result by the ideal numerical calculation. From the 7th order, the deviations in the perturbation calculation are below 10^{−4} from the ideal norm of 1.

### Data availability

The data that support the findings of this study are available from the corresponding author on request.

## Additional information

**Publisher's note:** Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## References

- 1.
Feynman, R. P. Simulating physics with computers.

*Int. J. Theor. Phys.***21**, 467–488 (1982). - 2.
Lloyd, S. Universal quantum simulators.

*Science***273**, 1073–1078 (1996). - 3.
Cirac, J. I. & Zoller, P. Goals and opportunities in quantum simulation.

*Nat. Phys.***8**, 264–266 (2012). - 4.
Georgescu, I., Ashhab, S. & Nori, F. Quantum simulation.

*Rev. Mod. Phys.***86**, 153–185 (2014). - 5.
Leibfried, D. et al. Trapped-Ion quantum simulator: experimental application to nonlinear interferometers.

*Phys. Rev. Lett.***89**, 247901 (2002). - 6.
Friedenauer, A., Schmitz, H., Glueckert, J., Porras, D. & Schaetz, T. Simulating a quantum magnet with trapped ions.

*Nat. Phys.***4**, 757–761 (2008). - 7.
Kim, K. et al. Quantum simulation of frustrated Ising spins with trapped ions.

*Nature***465**, 590–593 (2010). - 8.
Lanyon, B. P. et al. Universal digital quantum simulation with trapped ions.

*Science***334**, 57–61 (2011). - 9.
Barends, R. et al. Digitized adiabatic quantum computing with a superconducting circuit.

*Nature***534**, 222–226 (2016). - 10.
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). - 11.
Gerritsma, R. et al. Quantum simulation of the Dirac equation.

*Nature***463**, 68–71 (2010). - 12.
Casanova, J., García-Ripoll, J. J., Gerritsma, R., Roos, C. F. & Solano, E. Klein tunneling and Dirac potentials in trapped ions.

*Phys. Rev. A***82**, 020101(R) (2010). - 13.
Gerritsma, R. et al. Quantum simulation of the Klein paradox with trapped ions.

*Phys. Rev. Lett.***106**, 060503 (2011). - 14.
Casanova, J. et al. Quantum simulation of the Majorana equation and unphysical operations.

*Phys. Rev. X***1**, 021018 (2011). - 15.
Zhang, X. et al. Time reversal and charge conjugation in an embedding quantum simulator.

*Nat. Commun.***6**, 7917 (2015). - 16.
Loredo, J. C. et al. Measuring entanglement in a photonic embedding quantum simulator.

*Phys. Rev. Lett.***116**, 070503 (2016). - 17.
Chen, M.-C. et al. Efficient measurement of multiparticle entanglement with embedding quantum simulator.

*Phys. Rev. Lett.***116**, 070502 (2016). - 18.
Di Candia, R. et al. Embedding quantum simulators for quantum computation of entanglement.

*Phys. Rev. Lett.***111**, 240502 (2013). - 19.
García-Álvarez, L. et al. Fermion-fermion scattering in quantum field theory with superconducting circuits.

*Phys. Rev. Lett.***114**, 070502 (2015). - 20.
Barends, R. et al. Digital quantum simulation of fermionic models with a superconducting circuit.

*Nat. Commun.***6**, 7654 (2015). - 21.
Martinez, E. A. et al. Real-time dynamics of lattice gauge theories with a few-qubit quantum computer.

*Nature***534**, 516–519 (2016). - 22.
Peskin, M. E. & Schroeder, D. V.

*An Introduction to Quantum Field Theory*. (Westview Press, Boulder, USA, 1995). - 23.
Casanova, J. et al. Quantum simulation of quantum field theories in trapped ions.

*Phys. Rev. Lett.***107**, 260501 (2011). - 24.
Casanova, J., Mezzacapo, A., Lamata, L. & Solano, E. Quantum simulation of interacting Fermion lattice models in trapped ions.

*Phys. Rev. Lett.***108**, 190502 (2012). - 25.
Mezzacapo, A. et al. Digital quantum Rabi and Dicke models in superconducting circuits.

*Sci. Rep.***4**, 7482 (2014). - 26.
Arrazola, I., Pedernales, J. S., Lamata, L. & Solano, E. Digital-analog quantum simulation of spin models in trapped ions.

*Sci. Rep.***6**, 30534 (2016). - 27.
Lamata, L. Digital-analog quantum simulation of generalized Dicke models with superconducting circuits.

*Sci. Rep.***6**, 43768 (2017). - 28.
Leibfried, D., Blatt, R., Monroe, C. & Wineland, D. Quantum dynamics of single trapped ions.

*Rev. Mod. Phys.***75**, 281–324 (2003). - 29.
Jordan, S. P., Lee, K. S. M. & Preskill, J. Quantum algorithms for quantum field theories.

*Science***336**, 1130–1133 (2012). - 30.
Monroe, C. et al. Resolved-sideband Raman cooling of a bound atom to the 3d zero-point energy.

*Phys. Rev. Lett.***75**, 4011–4014 (1995). - 31.
Roos, C. et al. Quantum state engineering on an optical transition and decoherence in a paul trap.

*Phys. Rev. Lett.***83**, 4713–4716 (1999). - 32.
King, B. E. et al. Cooling the collective motion of trapped ions to initialize a quantum register.

*Phys. Rev. Lett.***81**, 1525–1528 (1998). - 33.
Diddams, S. A., Diels, J.-C. & Atherton, B. Differential intracavity phase spectroscopy and its application to a three-level system in samarium.

*Phys. Rev. A***58**, 2252–2264 (1998). - 34.
Heinzen, D. J. & Wineland, D. J. Quantum-limited cooling and detection of radio-frequency oscillations by laser-cooled ions.

*Phys. Rev. A***42**, 2977–2994 (1990). - 35.
Monroe, C., Meekhof, D. M., King, B. E., Itano, W. M. & Wineland, D. J. Demonstration of a fundamental quantum logic gate.

*Phys. Rev. Lett.***75**, 4714–4717 (1995). - 36.
Zhang, J. et al. Experimental preparation of high NOON states for phonons. Preprint at http://arXiv.org/abs/1611.08700 (2016).

- 37.
Shen, Y. et al. Quantum optical emulation of molecular vibronic spectroscopy using a trapped-ion device.

*Chem. Sci.*doi:10.1039/C7SC04602B (2018). - 38.
Mezzacapo, A., Casanova, J., Lamata, L. & Solano, E. Digital quantum simulation of the holstein model in trapped ions.

*Phys. Rev. Lett.***109**, 200501 (2012). - 39.
Porras, D. & Cirac, J. I. Effective quantum spin systems with trapped ions.

*Phys. Rev. Lett.***92**, 207901 (2004). - 40.
Kim, K. et al. Geometric phase gate on an optical transition for ion trap quantum computation.

*Phys. Rev. A***77**, 050303 (2008). - 41.
Kim, K. et al. Entanglement and tunable spin-spin couplings between trapped ions using multiple transverse modes.

*Phys. Rev. Lett.***103**, 120502 (2009). - 42.
Hague, J. P. & MacCormick, C. Bilayers of Rydberg atoms as a quantum simulator for unconventional superconductors.

*Phys. Rev. Lett.***109**, 223001 (2012). - 43.
Stojanović, V. M., Shi, T., Bruder, C. & Cirac, J. I. Quantum simulation of small-polaron formation with trapped ionss.

*Phys. Rev. Lett.***109**, 250501 (2012). - 44.
Boixo, S. et al. Characterizing quantum supremacy in near-term devices. Preprint at http://arXiv.org/abs/1608.00263 (2016).

- 45.
Pednault, E. et al. Breaking the 49-qubit barrier in the simulation of quantum circuits. Preprint at http://arXiv.org/abs/1710.05867 (2017).

- 46.
An, S. et al. Phonon arithmetic in a trapped ion system.

*Nat. Commun.***7**, 11410 (2016). - 47.
Um, M. et al. Experimental test of the quantum Jarzynski equality with a trapped-ion system.

*Nat. Phys.***11**, 193–199 (2015). - 48.
Lv, D. et al. Reconstruction of the jaynes-cummings field state of ionic motion in a harmonic trap.

*Phys. Rev. A***95**, 043813 (2017). - 49.
Itano, W. M. et al. Quantum projection noise: population fluctuations in 2-level systems.

*Phys. Rev. A***47**, 3554–3570 (1993). - 50.
Meekhof, D. M., Monroe, C., King, B. E., Itano, W. M. & Wineland, D. J. Generation of nonclassical motional states of a trapped atom.

*Phys. Rev. Lett.***76**, 1796–1799 (1996).

## Acknowledgements

This work was supported by the National Key Research and Development Program of China under Grants Number 2016YFA0301900 (Number 2016YFA0301901), the National Natural Science Foundation of China 11374178, 11405093, 11574002, and 11504197, as well as Spanish MINECO/FEDER FIS2015-69983-P, Ramón y Cajal Grant RYC-2012-11391, UPV/EHU UFI 11/55, Project EHUA14/04, Basque Government grant IT986-16, a UPV/EHU PhD fellowship, the Alexander von Humboldt foundation, EU STREP EQUAM, and ERC Synergy grant BioQ. M.-H.Y. acknowledges support from National Natural Science Foundation of China 11405093, the Guangdong Innovative and Entrepreneurial Research Team Program (Number 2016ZT06D348), and the Science Technology and Innovation Commission of Shenzhen Municipality (ZDSYS20170303165926217 and JCYJ20170412152620376). X.Z. acknowledges support from the National Postdoctoral Program for Innovative Talents, Number BX201601908.

## Author information

### Author notes

Xiang Zhang and Kuan Zhang contributed equally to this work.

### Affiliations

#### Center for Quantum Information, Institute for Interdisciplinary Information Sciences, Tsinghua University, Beijing, 100084, China

- Xiang Zhang
- , Kuan Zhang
- , Yangchao Shen
- , Shuaining Zhang
- , Jing-Ning Zhang
- , Man-Hong Yung
- & Kihwan Kim

#### Department of Physics, Renmin University of China, Beijing, 100872, China

- Xiang Zhang

#### Institute for Quantum Science and Engineering and Department of Physics, Southern University of Science and Technology of China, Shenzhen, 518055, China

- Man-Hong Yung

#### Shenzhen Key Laboratory of Quantum Science and Engineering, Shenzhen, 518055, China

- Man-Hong Yung

#### Institut für Theoretische Physik and IQST, Universität Ulm, Albert-Einstein-Allee 11, D-89069, Ulm, Germany

- Jorge Casanova

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

- Julen S. Pedernales
- , Lucas Lamata
- & Enrique Solano

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

- Enrique Solano

#### Department of Physics, Shanghai University, 200444, Shanghai, China

- Enrique Solano

### Authors

### Search for Xiang Zhang in:

### Search for Kuan Zhang in:

### Search for Yangchao Shen in:

### Search for Shuaining Zhang in:

### Search for Jing-Ning Zhang in:

### Search for Man-Hong Yung in:

### Search for Jorge Casanova in:

### Search for Julen S. Pedernales in:

### Search for Lucas Lamata in:

### Search for Enrique Solano in:

### Search for Kihwan Kim in:

### Contributions

X.Z. and K.Z. with the support of Y.S. and S.Z. performed the experiments and the data taking. X.Z. and K.Z. analyzed the data. X. Z. and J.-N.Z. developed the method of time-sliced perturbation calculation. J.-N.Z., M.-H.Y., J.C., J.S.P., L.L., and E.S. provided the theoretical support. K.K. supervised the project. All authors contributed to the writing of the manuscript.

### Competing interests

The authors declare no competing financial interests.

### Corresponding authors

Correspondence to Jing-Ning Zhang or Kihwan Kim.

## Electronic supplementary material

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

## 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.