Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

Time reversal and charge conjugation in an embedding quantum simulator

Abstract

A quantum simulator is an important device that may soon outperform current classical computations. A basic arithmetic operation, the complex conjugate, however, is considered to be impossible to be implemented in such a quantum system due to the linear character of quantum mechanics. Here, we present the experimental quantum simulation of such an unphysical operation beyond the regime of unitary and dissipative evolutions through the embedding of a quantum dynamics in the electronic multilevels of a 171Yb+ ion. We perform time reversal and charge conjugation, which are paradigmatic examples of antiunitary symmetry operators, in the evolution of a Majorana equation without the tomographic knowledge of the evolving state. Thus, these operations can be applied regardless of the system size. Our approach offers the possibility to add unphysical operations to the toolbox of quantum simulation, and provides a route to efficiently compute otherwise intractable quantities, such as entanglement monotones.

Introduction

Quantum computers or quantum simulators are important quantum devices that may enable us to experimentally address intriguing phenomena that are not directly tractable in the laboratory1 or may outperform current classical computations for analysing complex quantum systems2,3. In recent years, various physical platforms such as neutral atoms4, ions5, photons6 and superconducting circuits7 have been fruitfully developed for the purpose of quantum simulation. However, they are not yet able to perform some basic arithmetic calculations such as the complex conjugate, which changes the sign of the imaginary part of the coefficients of the state on a certain basis. Although we are used to computing the transformation with classical resources for useful scientific calculations, operations involving the complex conjugate require an antiunitary process, which is impossible to be implemented in a quantum system. Moreover, the complex conjugate is not scalable in classical calculation, since it requires full knowledge of the quantum state, and the number of measurements grows exponentially with the size of the system.

The complex conjugate is deeply inherent to the important concepts of discrete symmetries. Wigner8 proved that any symmetry operation acts as a unitary or antiunitary transformation in the Hilbert space, while an antiunitary transformation can always be decomposed into a unitary transformation together with the complex conjugate. The study of symmetries has profoundly shaped our comprehension of physical laws in the quantum field theory, which unifies quantum mechanics and special relativity. Charge conjugation and time reversal are paradigmatic examples of antiunitary discrete symmetry operations9,10. The charge conjugation, together with the parity symmetry, is not conserved in the weak interaction11,12, just as the time-reversal symmetry. The discovery of the violation of these symmetries has been a decisive breakthrough of the quantum field theory, leading to the standard model. Recently, several important algorithms for the simulation of relativistic quantum mechanics and quantum field theory have been discovered13,14,15,16,17,18. So far, however, quantum simulators of unitary and dissipative processes, the only physically allowed dynamics, have been realized19,20,21.

Here, we perform the quantum simulation of the complex conjugate and these symmetry operations in our multilevel 171Yb+ ion system through the use of the concept of embedding quantum simulator (EQS)22,23,24 beyond the boundary of the unitary operations. Our demonstration is scalable, where we can apply the time-reversal or charge-conjugation operations in systems of any size, since they do not require the tomographical knowledge of the state. The essence of the EQS is based on the finding that antiunitary operations can be implemented in a physical system by doubling the associated Hilbert space22. The scheme of the EQS enables us to efficiently compute entanglement monotones23 or multi-time correlation functions24,25. The reconstruction of these quantities would otherwise require a number of measurements that grows exponentially with the system size. We comment that the measurement of such quantities can be considered as an intractable task even for medium-size systems composed by, for example, only a dozen of qubits, whereas the EQS scheme provides the solution at the expense of one additional qubit to double the Hilbert space.

Results

Majorana dynamics

We first simulate the Majorana dynamics to show the ‘unphysical’ capability of the EQS before implementing antiunitary symmetry operations. The Majorana equation26, one of the representative relativistic equations,

where the Feynman slash notation with being the Dirac matrices27, describes the dynamics of a non-Hamiltonian system. Note that the spinor and its charge conjugation are present simultaneously in equation (1). Majorana envisioned that equation (1) together with the Majorana condition would be the fundamental equation describing neutrinos26, which exhibit the novel phenomenon as ‘neutrino oscillation’28. Besides, the Majorana equation (1) has its own theoretical importance in exploring physics beyond the standard model. Moreover, the utility of the relativistic equations is not limited to relativistic quantum mechanics and the quantum field theory. For example, electrons propagating through graphene are described by the (2+1)-dimensional Dirac equation29, and the symmetry breaking induced by tachyon condensation is described by a (1+1)-dimensional Dirac-like equation with imaginary mass30, a non-Hamiltonian system. Recently, a quantum simulation of the Majorana dynamics was performed in a photonic quantum platform, by decomposing its evolution in two Dirac equations31,32. Through the quantum simulation of the inherently unphysical Majorana equation, we demonstrate various unique features, such as violation of charge and momentum conservation, broken orthogonality and nontrivial effect of the state’s global phase.

Embedding quantum simulator

The essential idea of an EQS is the mapping from the original Hilbert space to the enlarged one for spinors in 1+1 space-time dimension, . In the position basis, as shown in Fig. 1, the EQS mapping is defined as

where are real functions satisfying the overall normalization condition . Inversely, as depicted in Fig. 1, the original spinor is retrieved through a matrix multiplication after evolving in the EQS for certain duration,

Through the EQS mapping (equation (3)), the complex conjugate operation, , is represented by a unitary operator in the enlarged Hilbert space, which can be implemented directly in a quantum system (see Methods and Supplementary Note 1).

With a certain choice of the Dirac matrices in the (1+1) dimension, and , the charge-conjugate spinor is properly defined as . The Majorana equation in 1+1 dimensions,

inherently contains the complex conjugate operator , which makes the Majorana dynamics prohibited by nature. For simplicity, we introduce a set of dimensionless units, that is, mc2 for the energy, mc for the momentum and for the time.

In the enlarged Hilbert space, the original non-Hamiltonian system is mapped to a Hamiltonian one governed by an effective Hamiltonian,

Note that the equation of motion in the enlarged space, , keeps evolving inside . Because the effective Hamiltonian (equation (5)) does not contain a position operator, we perform the experimental implementation in momentum representation, where the dynamics of the Fourier-transformed spinor is governed by a simpler Hamiltonian obtained by substituting the momentum operator with its eigenvalue in equation (5) (see Supplementary Note 2).

Along the same line, some discrete symmetry operations, that is, the time reversal and the charge conjugation take form of unitary two-qubit gate operations in the enlarged Hilbert space: and , respectively.

Experimental set-up

The EQS is built in an ion-trap system, which is a leading platform for quantum simulation5. The system consists of a single 171Yb+ ion confined in a linear Paul trap33, subjected to multifrequency microwaves. As shown in Fig. 1, the four internal states of the ground-state manifold 2S1/2 are encoded as |F=0, mF=0〉≡|1〉 and |F=0, mF=−1, 0, 1〉≡|mF+3〉, |1〉 and {|2〉, |3〉, |4〉} are separated by the hyperfine splitting , and a uniform static magnetic field B=9.694 G is applied to define the quantization axis and causes Zeeman splitting among the upper states. As shown in the Fig. 1, the couplings between |1〉 and the upper states can be directly driven by microwave with frequencies as and , respectively. The couplings among the equally spaced upper states, that is, |2〉, |3〉 and |4〉, are implemented by the stimulated Raman process of microwaves (see Methods). On the basis of the multi-fold microwave technique, we achieve ultimate controllability over the Hilbert space spanned by all of the four internal states. In other words, we construct a ququad, an elementary unit of quantum information processing consisting of four basis states. In principle, large-scale EQS can always be constructed by substituting one of the qubits in an array by a ququad, and the requisite microwave techniques involved in the control of the ququad have been developed in this work.

With the ability to perform any single-ququad operation, we implement the effective Hamiltonian equation (5) in the momentum space,

on top of the EQS.

Experimental procedure

The experimental procedure is as follows. First, we map an initial Majorana spinor to a real bispinor in the enlarged space. The momentum representation of the bispinor evolves according to the enlarged space Hamiltonian . After encoding the initial condition into the EQS, we implement for a certain duration to simulate the Majorana dynamics. Then we perform quantum-state tomography (see Supplementary Note 3) to obtain the enlarged space density matrix , which can be mapped to the original space density matrix . The average value of a diagonal operator Ad in the momentum space can be directly obtained via integration over the momentum, . To obtain the average value of an off-diagonal operator in the momentum space, for example, the average position of the Majorana particle, we change the four-component equation of motion in the enlarged Hilbert space into a pair of decoupled two-component equations by diagonalizing the first qubit (see Supplementary Note 4). By coherently evolving a couple of two-dimensional equations with different momenta, we obtain the phase information between different momentum components. We repeat each measurement 1,000 times to get the expectation value. The statistical errors, which are mainly due to quantum projection, are estimated by the s.d. of mean value.

Majorana dynamics

Figure 2 shows our experimental results of the Majorana dynamics, where the initial spinors are chosen to be plane-wave states with , that is, . Figure 2a shows the momentum-space Zitterbewegung for a Majorana particle. Due to the existence of the complex conjugate operator in the Majorana equation, the momentum, which is conserved for free Dirac particles, is no longer a conserved quantity in the Majorana dynamics. Because the violation of momentum conservation is originated by the Majorana mass term, the amplitude of the oscillation is inversely proportional to the magnitude of the momentum of the initial state. Meanwhile, the frequency of the oscillation is determined by the relativistic dispersion relation , so the initial plane wave with larger momentum will oscillate faster. As shown in Fig. 2b, the Majorana dynamics also violates charge conservation, which may lead to physics beyond the standard model34. In the rest frame, the charge operator measures the difference between the populations of the internal states, which is equivalent to the operator35. For the non-zero momentum case, the particle and antiparticle basis is obtained by diagonalizing the corresponding Dirac equation with the same momentum, and the charge of a Majorana spinor is defined as the difference between the populations of the particle and antiparticle components (see Supplementary Note 5). For the same reason, the amplitude and frequency of the charge oscillation exhibits similar momentum dependence as that of the momentum-space Zitterbewegung.

Besides the above physical consequences, the dynamics governed by Majorana equation also shows unphysical phenomena. For example, the fidelity , where and are two Majorana spinors that evolve from initial states differing only in a global phase, , will not always be unity as shown in Fig. 2c. In other words, a Majorana spinor does not have the freedom to choose an arbitrary global phase. The reason for this surprising effect is the existence of the complex conjugate in the Majorana equation in equation (4). This effect can be more explicitly shown in the mapping in equation (2), that is, the global phase actually changes the initial four-component spinor in the enlarged Hilbert space. Figure 2e,f shows an example of the experimental results of the density matrices in the enlarged and original Hilbert spaces, which are indeed different from each other. In Fig. 2d, we experimentally observe the non-conservation of the orthogonality defined as , with being the Majorana spinor evolved from an orthogonal initial state . During the evolution, the initial Majorana spinor will be coupled to through the Hermitian relativistic kinetic term , and through the non-Hermitian Majorana mass term . The orthogonality , where is the Majorana spinor that evolves from the initial state , is always zero. This clearly indicates that the non-conservation of the orthogonality stems from the non-Hermitian part of the Majorana Hamiltonian. As a result, given the same Majorana mass, we understand that the amplitude of the orthogonality oscillation is inversely proportional to the initial momentum.

Symmetry operations

Other than the plane waves, we also implement Majorana dynamics with realistic initial wave packets in our EQS. For example, the initial states for the Majorana dynamics in Figs 3 and 4 are moving Gaussian states with momentum distributions centred around P0=1 with an internal state . The first part of the time axis (0≤t<4) in Figs 3 and 4 represent the Majorana dynamics of a moving wave packet, where we observe damping oscillation in the momentum space and Zitterbewegung in the position space. The reason of the damping in the momentum space is that a Gaussian wave packet has distribution over many different momentum components, and each momentum component oscillates with different frequency. To our surprise, although the average momentum of a Majorana particle behaves quite different from that of a Dirac particle, there is no visible difference in the behaviours of the average position as well as the probability distribution in position space. This is because a Majorana particle oscillates between the particle and antiparticle components with inverse momentum, but the positions as well as the velocities of the particle and antiparticle are exactly the same9.

During the evolution of the Majorana equation, we implement the antiunitary time-reversal and charge-conjugation operations. Figure 3 shows our experimental results of the time-reversal operation during the Majorana time evolution. As shown in Fig. 3a, right after the time-reversal operation, the momentum as well as the velocity changes sign. As a result, the direction of the wave packet is reversed as shown in Fig. 3c. The damped average momentum as well as the position centre of the wave packet is revived, which clearly shows that time is indeed reversed. Figure 4 demonstrates the experimental implementation of the charge-conjugation operation. The latter interchanges the particle and antiparticle components, which are defined from the corresponding Dirac equation with the same momentum as discussed in Fig. 2b. By definition, the particle and corresponding antiparticle have opposite momentum but the same velocity. As a result, right after the charge-conjugation operation, the average momentum is reversed but not the velocity. Therefore, the trajectory in position space remains intact, which is different from the time-reversal operation.

Discussion

The demonstrated embedding scheme would potentially reduce the computational complexity of ordinary quantum simulations in the sense that it eliminates the requirements for tomographic information. By enlarging the EQS, the demonstrated symmetry operations, can be potentially scaled up to many-particle systems in higher space-time dimensions, in which the conventional quantum-state tomography is theoretically impossible. The EQS for multipartite systems only requires doubling the original Hilbert space dimension, which can be achieved by replacing a single qubit in an array of coupled qubits by a ququad (quantum four-level system). The proposed embedding scheme for the implementation of time reversal and charge-conjugation operations may be extended to parity symmetry operations24. This enhanced toolbox for quantum simulators will be valuable for studying conservation laws and improving the computational capabilities of current quantum platforms.

Methods

Example of EQS mapping

In the following, we use a plane-wave initial state as an example of the encoding of states in the enlarged Hilbert space,

where corresponds to plane-wave states (unnormalized) with momentum ±p. Here we want to emphasize two points: (i) although is real, the components are usually composed of complex functions; (ii) there are always +p and −p components in the enlarged space to guarantee is real.

Stimulated Raman couplings

We implement a microwave Raman scheme for the transitions between |2〉 to |3〉 and |3〉 to |4〉. The strengths of effective Raman couplings are given by and , where are Rabi frequencies between |1〉 to |2〉, |1〉 to |3〉, and |1〉 to |4〉, respectively, are the detuning from |1〉 to |2〉(|4〉) and δ23(34) are frequency shifts for the compensation of AC-Stark effect between |1〉 to |3〉. The strengths of the Raman transitions are balanced to the direct transitions, which have around (2π)3 kHz. The cross talks between two transitions and are negligible because is produced by the combination of σ(σ+) and π polarizations of microwave, which is impossible to couple to |3〉↔|4〉 transition (|2〉↔|3〉). The AC-Stark shifts from all the microwave transitions are carefully compensated by properly adjusting the microwave frequencies (see Supplementary Note 6).

How to cite this article: Zhang, X. et al. Time reversal and charge conjugation in an embedding quantum simulator. Nat. Commun. 6:7917 doi: 10.1038/ncomms8917 (2015).

References

1. Schneider, C., Porras, D. & Schaetz, T. Experimental quantum simulations of many-body physics with trapped ions. Rep. Prog. Phys. 75, 024401 (2012).

2. Cirac, J. I. & Zoller, P. Goals and opportunities in quantum simulation. Nat. Phys. 8, 264–266 (2012).

3. Georgescu, I., Ashhab, S. & Nori, F. Quantum simulation. Rev. Mod. Phys. 86, 153–185 (2014).

4. Bloch, I., Dalibard, J. & Nascimbène, S. Quantum simulations with ultracold quantum gases. Nat. Phys. 8, 267–276 (2012).

5. Blatt, R. & Roos, C. F. Quantum simulations with trapped ions. Nat. Phys. 8, 277–284 (2012).

6. Aspuru-Guzik, A. & Walther, P. Photonic quantum simulators. Nat. Phys. 8, 285–291 (2012).

7. Houck, A. A., Türeci, H. E. & Koch, J. On-chip quantum simulation with superconducting circuits. Nat. Phys. 8, 292–299 (2012).

8. Wigner, E. P. Group Theory and its Application to the Quantum Mechanics of Atomic Spectra Academic (1959).

10. Sakurai, J. J. Modern Quantum Mechanics Addison Wesley Longman (1993).

11. Lee, T. D. & Yang, C. N. Question of parity conservation in weak interactions. Phys. Rev. 104, 254–258 (1956).

12. Kleinknecht, K. CP violation and k decays. Annu. Rev. Nucl. Sci. 26, 1–50 (1976).

13. Freedman, M. H., Kitaev, A. & Wang, Z. Simulation of topological field theories by quantum computers. Commun. Math. Phys. 227, 587–603 (2002).

14. 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).

15. Casanova, J. et al. Quantum simulation of quantum field theories in trapped ions. Phys. Rev. Lett. 107, 260501 (2011).

16. Jordan, S. P., Lee, K. S. M. & Preskill, J. Quantum algorithms for quantum field theories. Science 336, 1130–1133 (2012).

17. Hauke, P., Marcos, D., Dalmonte, M. & Zoller, P. Quantum simulation of a lattice Schwinger model in a chain of trapped ions. Phys. Rev. X 3, 041018 (2013).

18. Lu, D. et al. Chiral quantum walks. Preprint athttp://arxiv.org/abs/1405.6209 (2014).

19. Gerritsma, R. et al. Quantum simulation of the Dirac equation. Nature 463, 68–71 (2010).

20. Dreisow, F. et al. Classical simulation of relativistic Zitterbewegung in photonic lattices. Phys. Rev. Lett. 105, 143902 (2010).

21. Gerritsma, R. et al. Quantum simulation of the Klein paradox with trapped ions. Phys. Rev. Lett. 106, 060503 (2011).

22. Casanova, J. et al. Quantum simulation of the Majorana equation and unphysical operations. Phys. Rev. X 1, 021018 (2011).

23. Di Candia, R. et al. Embedding quantum simulators for quantum computation of entanglement. Phys. Rev. Lett. 111, 240502 (2013).

24. Alvarez-Rodriguez, U., Casanova, J., Lamata, L. & Solano, E. Quantum simulation of noncausal kinematic transformations. Phys. Rev. Lett. 111, 090503 (2013).

25. Pedernales, J. S. et al. Entanglement measures in ion-trap quantum simulators without full tomography. Phys. Rev. A 90, 012327 (2014).

26. Majorana, E. Teoria simmetrica dellélettrone e del positrone. Il Nuovo Cimento 14, 174–184 (1937).

27. Thrall, B. The Dirac Equation Springer (1992).

28. Pontecorvo, B. Mesonium and anti-mesonium. Sov. Phys. JETP 6, 429–431 (1957).

29. Neto, A. H. C., Guinea, F., Peres, N. M. R., Novoselov, K. S. & Geim, A. K. The electronic properties of graphene. Rev. Mod. Phys. 81, 109–162 (2009).

30. Marini, A., Tran, T. X., Roy, S., Longhi, S. & Biancalana, F. Optical analog of spontaneous symmetry breaking induced by tachyon condensation in amplifying plasmonic arrays. Phys. Rev. A 89, 023840 (2014).

31. Noh, C., Rodríguez-Lara, B. M. & Angelakis, D. G. Proposal for realization of the Majorana equation in a tabletop experiment. Phys. Rev. A 87, 040102(R) (2013).

32. Keil, J. et al. Optical simulation of charge conservation violation and Majorana dynamics. Optica 2, 454–459 (2015).

33. Zhang, X. et al. State-independent experimental test of quantum contextuality with a single trapped ion. Phys. Rev. Lett. 110, 070401 (2013).

34. Mohapatra, R. N. & Pal, P. B. Massive Neutrinos in Physics and Astrophysics, Lecture Notes in Physics World Scientific Publishing Co. (2004).

35. Lamata, L., Casanova, J., Egusquiza, I. L. & Solano, E. The nonrelativistic limit of the Majorana equation and its simulation in trapped ions. Phys. Scr. T147, 014017 (2012).

Acknowledgements

We acknowledge funding from the National Basic Research Program of China grants 2011CBA00300 (No. 2011CBA00301); the National Natural Science Foundation of China grant 11374178, 11405093 and 041303016; the Alexander von Humboldt grant; the Basque Government IT472-10 Grant, MINECO FIS2012-36673-C03-02, Ramón y Cajal Grant RYC-2012-11391, UPV/EHU UFI 11/55, CCQED, PROMISCE, SCALEQIT European projects and the UPV/EHU Project No. EHUA14/04. M.-H.Y. and K.K. acknowledge the recruitment program of global youth experts of China.

Author information

Authors

Contributions

X.Z., Y.S., J.Z. developed the experimental system and performed the experiments. X.Z. analysed the results. J.C., L.L., E.S., M.-H.Y. and J.-N.Z. provided theoretical support. J.-N.Z. developed the concrete models for the experiments. K.K. supervised the project. All authors contributed to writing the manuscript.

Corresponding authors

Correspondence to Jing-Ning Zhang or Kihwan Kim.

Ethics declarations

Competing interests

The authors declare no competing financial interests.

Supplementary information

Supplementary Information

Supplementary Figure 1, Supplementary Note 1-6 and Supplementary References (PDF 310 kb)

Rights and permissions

Reprints and Permissions

Zhang, X., Shen, Y., Zhang, J. et al. Time reversal and charge conjugation in an embedding quantum simulator. Nat Commun 6, 7917 (2015). https://doi.org/10.1038/ncomms8917

• Accepted:

• Published:

• DOI: https://doi.org/10.1038/ncomms8917

• Discrimination and estimation for dephasing sources of trapped ion qubits

• Jie Zhang
• Wei Wu
• Ping-xing Chen

Applied Physics B (2020)

• Arrow of time and its reversal on the IBM quantum computer

• G. B. Lesovik
• V. M. Vinokur

Scientific Reports (2019)

• Modular quantum computation in a trapped ion system

• Kuan Zhang
• Jayne Thompson
• Kihwan Kim

Nature Communications (2019)

• Continuous-monitoring measured signals bounded by past and future conditions in enlarged quantum systems

• Le Bin Ho

Quantum Information Processing (2019)

• Experimental quantum simulation of fermion-antifermion scattering via boson exchange in a trapped ion

• Xiang Zhang
• Kuan Zhang
• Kihwan Kim

Nature Communications (2018)