Measurement of complete and continuous Wigner functions for discrete atomic systems
Yali Tian, Zhihui Wang, Pengfei Zhang, Gang Li, Jie Li, and Tiancai, Zhang

TL;DR
This paper experimentally measures complete Wigner functions of a two-level cesium atom, revealing negativity in pure states and its disappearance in mixed states, using a method applicable to multi-atom systems.
Contribution
It demonstrates a practical method for measuring continuous Wigner functions of atomic systems, including mixed states, and explores negativity properties related to state purity.
Findings
Pure states exhibit negative regions in their Wigner functions.
Negativity vanishes when state purity drops below 2/3.
Method is applicable to multi-atom collective spin states.
Abstract
We measure complete and continuous Wigner functions of a two-level cesium atom in both a nearly pure state and highly mixed states. We apply the method [T. Tilma et al., Phys. Rev. Lett. 117, 180401 (2016)] of strictly constructing continuous Wigner functions for qubit or spin systems. We find that the Wigner function of all pure states of a qubit has negative regions and the negativity completely vanishes when the purity of an arbitrary mixed state is less than . We experimentally demonstrate these findings using a single cesium atom confined in an optical dipole trap, which undergoes a nearly pure dephasing process. Our method can be applied straightforwardly to multi-atom systems for measuring the Wigner function of their collective spin state.
| Time (ms) | Purity | ||
|---|---|---|---|
| 0.981 | 0.981 | ||
| 0.804 | 0.779 | ||
| 0.721 | 0.664 | ||
| 0.617 | 0.483 |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
††thanks: [email protected]††thanks: [email protected]
Measurement of complete and continuous Wigner functions for discrete atomic systems
Yali Tian
State Key Laboratory of Quantum Optics and Quantum Optics Devices, Institute of Opto-Electronics, Shanxi University, Taiyuan 030006, China
and Collaborative Innovation Center of Extreme Optics, Shanxi University, Taiyuan 030006, China
Zhihui Wang
State Key Laboratory of Quantum Optics and Quantum Optics Devices, Institute of Opto-Electronics, Shanxi University, Taiyuan 030006, China
and Collaborative Innovation Center of Extreme Optics, Shanxi University, Taiyuan 030006, China
Pengfei Zhang
State Key Laboratory of Quantum Optics and Quantum Optics Devices, Institute of Opto-Electronics, Shanxi University, Taiyuan 030006, China
and Collaborative Innovation Center of Extreme Optics, Shanxi University, Taiyuan 030006, China
Gang Li
State Key Laboratory of Quantum Optics and Quantum Optics Devices, Institute of Opto-Electronics, Shanxi University, Taiyuan 030006, China
and Collaborative Innovation Center of Extreme Optics, Shanxi University, Taiyuan 030006, China
Jie Li
State Key Laboratory of Quantum Optics and Quantum Optics Devices, Institute of Opto-Electronics, Shanxi University, Taiyuan 030006, China
and Collaborative Innovation Center of Extreme Optics, Shanxi University, Taiyuan 030006, China
Department of Physics, Zhejiang University, Hangzhou 310027, China
Institute for Quantum Science and Engineering and Department of Biological and Agricultural Engineering, Texas A&M University, College Station, Texas 77845, USA
Tiancai Zhang
State Key Laboratory of Quantum Optics and Quantum Optics Devices, Institute of Opto-Electronics, Shanxi University, Taiyuan 030006, China
and Collaborative Innovation Center of Extreme Optics, Shanxi University, Taiyuan 030006, China
Abstract
We measure complete and continuous Wigner functions of a two-level cesium atom in both a nearly pure state and highly mixed states. We apply the method [T. Tilma et al., Phys. Rev. Lett. 117, 180401 (2016)] of strictly constructing continuous Wigner functions for qubit or spin systems. We find that the Wigner function of all pure states of a qubit has negative regions and the negativity completely vanishes when the purity of an arbitrary mixed state is less than . We experimentally demonstrate these findings using a single cesium atom confined in an optical dipole trap, which undergoes a nearly pure dephasing process. Our method can be applied straightforwardly to multi-atom systems for measuring the Wigner function of their collective spin state.
I Introduction
The Wigner function (WF) Wigner , originally introduced as a quantum analog of the classical phase-space distribution function, provides a powerful tool to represent quantum mechanics in phase space Wigner2 . It is a quasiprobability distribution in that it acts like a probability distribution but can take negative values for some quantum states. The WF is originally designed for describing quantum systems with continuous degrees of freedom. It has been widely used, for example, in quantum optics to facilitate the visualization and tomographic reconstruction of quantum states exp1 ; exp2 ; exp3 ; exp3b ; exp4 ; exp4b ; exp5 ; exp6 ; exp7 ; exp8 .
While it has been successfully applied in continuous variable (CV) systems, the generalizations of the WF to quantum systems with a finite-dimensional Hilbert space have proved challenging. Many efforts have been made along this line, which in general can be divided into two approaches based on the dimension, finite Wootters ; Leonhardt ; Vourdas ; Saraceno ; Wootters2 or infinite Takahashi ; Agarwal ; Dowling ; Wolf ; Brif ; Luis ; Klimov ; Braunstein ; Tilma ; Tilma2 ; Glaser ; Tilma3 , of the phase space, on which the WF is defined. Correspondingly, we refer to these two kinds as discrete and continunous WF, respectively. It remains an open question which approach is better. However, we note that a continuous WF for finite-dimensional systems seems more consistent with the original WF defined for CV systems. Unlike the gradual progress works Takahashi ; Agarwal ; Dowling ; Wolf ; Brif ; Luis ; Klimov ; Braunstein ; Tilma ; Tilma2 , which have their own restrictions either in the representation space or in the accuracy of representing the state, quite recently an elegant method Tilma3 has been proposed for constructing complete and continuous WFs for spin or qubit systems. The method follows the displaced parity operator approach to defining the WF for CV systems Wodkiewicz . The key is, therefore, to find appropriate analogous displacement and parity operators for spin systems. By means of the Bloch sphere representation of the state of a qubit, both the displacement and parity operators have been properly defined satisfying all the requirements of the Stratonovich-Weyl correspondence Tilma3 , and hence a complete and continuous WF has been strictly constructed for any two-level systems.
Continuous WFs have been measured for a collective spin state of an atomic ensemble PhilippNat ; Vuletic . In Ref. PhilippNat , the WF is reconstructed using the inverse Radon transform implemented by a filtered back-projection algorithm Natterer . The method employed there does not guarantee positivity of the reconstructed density matrix in the presence of experimental noise PhilippNJP , which may become a crucial problem for quantitative studies. While Ref. Vuletic adopts the method of Ref. Dowling , with which a Wigner-like function is defined providing intuitively meaningful pictures, but it only works for systems of definite angular momentum (e.g., the totally symmetric subspace for an atomic ensemble and hence its phase space representation is not complete Tilma2 ), whereas Ref. Tilma3 can handle arbitrary spin systems. Just recently, complete and continuous WFs have been measured for the first time for discrete systems of two Bell states and five-qubit Greenberger-Horne-Zeilinger state TilmaIBM based on IBM superconducting-qubit quantum processor IBM . Though convenient, using such a processor, the measurement of the WF suffers from various imperfections, such as indirect implementation of rotations and detection due to the limited operations that IBM has made available to the user, and considerable noises in the system resulting in imperfect operations and state preparation.
Adopting the WF defined in Ref. Tilma3 , in this paper we measure complete and continuous WFs of a well controlled truly single two-level cesium atom. Unlike experiments involving a large number of atoms for quantum metrology PhilippNat ; Vuletic , in which single-atom resolution is unavailable in both control and measurement, in our experiment a single cesium atom is controlled deterministically in a micro-sized dipole trap and undergoes a nearly pure dephasing process. We find that for an arbitrary pure state of a qubit its WF has always negative regions and the negativity vanishes if the purity of an arbitrary mixed state is less than . We experimentally demonstrate these findings using our system of trapped single atoms. To our knowledge, this is the first time that complete and continuous WFs have been measured for discrete atomic systems and that the evolution of the corresponding WF in a dephasing environment has been demonstrated.
II Theory
Any state of a two-level quantum mechanical system can be represented by a point on/in the Bloch sphere. The surface of the Bloch sphere represents all the pure states, whereas the interior corresponds to all the mixed states. Any Hermitian matrix with can be expressed as ChuangBook , where is the identity matrix, is the Bloch vector with magnitude , , and unit vector , which specifies a point on the surface of the Bloch sphere. and are the polar and azimuthal angle, respectively, and . is the 3-element ‘vector’ of Pauli matrices . Thus, can be rewritten as
[TABLE]
Eq. (1) denotes that any density matrix of a qubit can be characterized by the three parameters (, ). The purity of the state is defined by . For pure states with purity , while for mixed states with purity . It is evident that the decreasing of from 1 to 0 corresponds to a decoherence process with the off-diagonal entries of decaying to zero.
We wish to simulate the decoherence process as decreases using our existing two-level atom system with the aim of observing the evolution of the corresponding WF defined in Ref. Tilma3 . We notice that in general as decreases all the entries of vary corresponding to a complicated process that contains both dissipative and dephasing dynamics. However, for the special case of , as reduces the diagonal entries of are left unchanged, i.e., , and only the off-diagonal entries decay, corresponding to a pure dephasing process. This process can be accurately simulated using our system of single cesium atoms confined in an optical dipole trap. We shall explain this in more detail in the next section.
The continuous WF for such a two-level system is defined as Tilma3
[TABLE]
with the operator taking the form of
[TABLE]
where is the identity operator, can be treated as the parity operator for a qubit, and is the rotation operator that “displaces” a qubit state along the surface of the Bloch sphere. , , and are the Euler angles and it is known that any target orientation can be realized by composing three elemental rotations, i.e., rotations about the axes of the Bloch sphere. Note that is a function of only two Euler angles (, ) because makes no contribution as commutes with .
Inserting Eq. (1) into Eq. (2), the WF for a generic qubit state is therefore obtained
[TABLE]
where is introduced to make the WF normalized over the phase space and . We note that both and have a period of , however, a space of half a period of and a period of is enough to determine a WF that contains complete information of the state. It is straightforward to check that is in all regions positive when , or when purity , since the sum of the two trigonometric terms is bounded by . This is a general result for a qubit state of arbitrary values of and . Besides, for all pure states () the WFs always have negative regions and, interestingly, they possess the same minimum value . In CV systems, the negativity of the WF is typically considered as a nonclassical signature of the state VogelBook ; UlfBook . However, in discrete systems things are more complicated because the negativity shows subtle complexities TilmaIBM . While for more general mixed states, the minimum is only related to regardless of and , i.e., . There exists a critical value of (or of ), below which the negative regions of the WF completely vanish. This is clearly shown in Fig. 1.
III Experimental setup and procedures
To make the WF Eq. (2) more closely linked to the actual operations in an experiment, we rewrite it as
[TABLE]
where , and and correspond to the rotation about the and -axis of the Bloch sphere, respectively. Eq. (5) denotes that the WF of is connected to the expectation value of over the state that is achieved by performing two sequential rotation operations on . To be more intuitive, we express Eq. (5) in an equivalent form
[TABLE]
where and are, respectively, the population probability of the two eigenstates and . In our system, these two states are embodied by the “clock states” of a cesium atom, i.e., and BohrPRA .
The experimental setup is depicted in Fig. 2(a). Single cesium atoms are repeatedly captured with a blue-detuned “bottle” beam trap ligang ; BohrPRA , which is superposed with a precooled atomic ensemble prepared by a conventional magneto-optical trap (MOT) 09PRA . The “bottle” trap is formed by shining two parallel “donut” 780 nm laser beams with orthogonal polarizations through a group of high numerical aperture (NA) lens. By properly designing the size of the “bottle” trap, no more than one atom at a time could be loaded from the MOT into the trap BohrPRA . The trapped atom is cooled to a temperature K by polarization gradient cooling. The scattering photons by trapped single atoms are collected and eventually fed to a single photon counting module (SPCM). A microwave is nearly resonant with the 9.2 GHz hyperfine transition of the two “clock states” and is applied to perform the corresponding operation on the qubit. The microwave generator is locked to a commercial Rb atomic clock to stabilize the frequency of the microwave.
The sequence of the operations is shown in Fig. 2(b). A single trapped atom is initialized to state by optical pumping. Then a microwave pulse is used to prepare the atom into a superposition state . In order to verify the state that has been prepared, one needs to do state tomography of the atomic density matrix. This process is of nonnegligible time (about 1 ms) and will make the superposition state evolve into a slightly mixed state with purity close to unity. It has been shown that in such an optical dipole trap the atom suffers from a pure dephasing mechanism Kuhr ; FrontPhys . This fact has been verified by making state tomography at different decoherence time (see Appendix A). We have explained previously that the only situation corresponding to a pure dephasing process as reduces is that the initial state should be prepared with note .
After the stage of state preparation, the atom evolves through a dephasing channel for a time , and then the stage of measurement of the WF starts. It is comprised of three sequential operations: two rotations and a detection (see Fig. 2(b)). Specifically, a series of microwave pulses are used to implement rotations about the and -axis of the Bloch sphere. Rotation of about -axis can be controlled by the fact that , with the detuning of the microwave from the transition frequency of the two eigenstates. While rotation of about -axis can be implemented by acting on a microwave pulse for a time , with the Rabi flopping frequency associated with the two “clock states”. Finally, we measure the population probabilities and of the states and , respectively. To this end, we adopt the method of Ref. Kuhr2 , i.e., to push the atom in out of the dipole trap by sending another laser beam, whereas the atom in remains trapped. By checking if the atom still stays in the trap, one can discriminate in which state the atom is. After repeating the experiment many times, one then gets the population probabilities and . Therefore, a value of the WF is achieved according to Eq. (6) for specific rotations of and . Repeating the experiments for different values of and , a 3D WF of the state at time could be measured for the whole phase space. Note that in practice the measured WF is the representation of the state at time , with the measurement time which is less than 1 ms (specifically depending on the rotation angle) and much shorter than the atomic coherence time ms (see Appendix B).
IV Results and discussion
Figure 3 presents the experimental WF for the state prepared at the initial time. The entries of are measured via state tomography and each entry is obtained by the statistic of about 300 rounds of the measurement: , , , corresponding to purity and . The initial state is of , which is very close to the desired state of . The state (taking average values of its entries) has a unity fidelity with the state . In Fig. 3, each dot with error bar is obtained by the statistic of about 300 times of the measurement and the curves are the theoretical WF of for a series of values of . It shows that the experimentally measured values are in good agreement with the theoretical curves. The small difference between the experimental and theoretical WFs is the result of many factors, such as the difference of measurement time of the WF and state tomography (based on which we obtain and plot the theoretical curves), and the non-unity contrast of Rabi flops (about 90% as shown in the figure in Appendix B) which affects the fidelity of rotation operations and thus the accuracy of the measured WF.
As the state evolves in the dephasing channel, the state becomes more and more mixed (with a decreasing ) and the phase will have an increasing fluctuation, leading to an increasing uncertainty of the WF in . In Fig. 4 (insets), we present experimental WFs of three mixed states at different evolution time. We have measured the WF for a period of at and then the minimum value will be of high possibility within the range . This is because the initial state of guarantees the minimum value be at (or very close to) . In each inset, the corresponding value of is achieved by the ensemble average of more than 10 times state tomography (each of which yields a value of ) at the same time: at ms; at ms; and at ms. The fluctuation of at the same time is due to the fluctuation of the phase embodied by the considerable differences of the off-diagonal entries at different times of tomography. The insets of Fig. 4 show clearly that the width (reflecting fluctuation) of the Wigner “stripe” increases with the evolution time as a result of an increasing fluctuation in the phase. The mismatch of the WF at and is due to the nonnegligible time (less than 1 ms) of the rotation operation.
As shown previously, the minimum of the WF is connected to by . Despite a considerable fluctuation of , it is still possible to verify the formula with average values of and achieved by many times of measurements. In the insets of Fig. 4, the averages of , 0.662, 0.436 yield averages of , , and , respectively, by the formula. While the averages of more than 10 times measured are , , and , respectively, which are in good agreement with the values evaluated by the formula. The fit line of in Fig. 4 demonstrates the “negative-to-positive” transition of the WF about , or purity , almost perfectly verifying the theoretical expectations of Fig. 1(b). We note that the measured at is actually a bit higher than the “real” since the initial state is prepared not exactly at . This makes the fit line move upwards a bit, leading to the intersection with a bit larger than .
V Conclusions
We have measured complete and continuous WFs of a single two-level cesium atom in both a nearly pure state and highly mixed states following the method of Ref. Tilma3 . We have shown how the WF evolves in a dephasing channel and demonstrated the “negative-to-positive” transition when the purity of the state is about . Our approach can in principle be applied to measure WFs of any two-level systems, either for a single qubit or for many qubits by implementing identical rotations on each qubit TilmaIBM still allowing obtaining a visible 3D WF at the price of losing partial information of the state. Furthermore, the demonstration of the WF evolving in a dephasing channel provides a more intuitive phase-space approach to studying fundamental processes in quantum discrete systems, such as the dynamics of decoherence.
ACKNOWLEDGMENT
We would like to thank T. Tilma, H. Shen and T. Xia for fruitful discussions. This work has been supported by the National Key Research and Development Program of China (Grant No. 2017YFA0304502), the National Natural Science Foundation of China (Grants No. 11634008, No. 11674203, No. 11574187, and No. 61227902) and the Fund for Shanxi “1331 Project” Key Subjects Construction.
Appendix A: State tomography for verifying the nearly pure dephasing process
In our system, a single cesium atom is confined in an optical dipole trap, which undergoes a nearly pure dephasing process Kuhr ; FrontPhys . In what follows, we further verify this fact by making state tomography at different time in this process. This is necessary since it provides a way for estimating the value of which is a key parameter in our model and it is also helpful to understand the physics of this process. The pure dephasing nature is characterized by the unchanged diagonal entries and the decaying off-diagonal ones of the density matrix as the state evolves. In Table I, we present density matrices measured at different time in the decoherence channel. We see that in this process the diagonal entries are almost unchanged, about 0.5, with consideration of measurement errors, while the off-diagonal ones may vary significantly and decay with the time. This is a clear signature of (nearly) pure dephasing in such a decoherence process.
Appendix B: Estimation of the coherent time of the single qubit by Ramsey interference
Here we briefly discuss the details of the approach to estimating the coherent time of the qubit in our experiment. The qubit is encoded in the “clock states” of a cesium atom, i.e., and . Firstly, the qubit is initialized to state and then a resonant microwave pulse at frequency GHz is applied to drive the Rabi flopping. By using single atom Ramsey interferometry BohrPRA ; FrontPhys , the coherent time can be precisely measured. A pulse is used to prepare the atom into the superposition state . After a time , during which the state evolves freely in the far-off resonance trap Ovchinnikov , a second pulse is applied and then the state detection is performed. Fig. 5 shows the Ramsey interference signal of the atom versus the time interval . The amplitude damping follows an exponential decay and the exponential fitting gives a decay time of ms, that is the coherence time of the superposition state embodied in the atom. In our system, the temperature of the atom is about 10 K measured using the method of release and recapture Tuchendler . The main factor of dephasing is due to the atom motion induced inhomogeneous dephasing Kuhr . This result indicates that the tomography measurement process of about 1 ms is much shorter than the coherent time of the state, which offers the possibility to precisely measure the qubit state at any evolution time.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1(1) E. P. Wigner, Phys. Rev. 40 , 749 (1932).
- 2(2) M. Hillery, R. F. O’Connell, M. O. Scully, and E. P. Wigner, Phys. Rep. 106 , 121 (1984).
- 3(3) D. T. Smithey, M. Beck, M. G. Raymer, and A. Faridani, Phys. Rev. Lett. 70 , 1244 (1993).
- 4(4) D. Leibfried et al ., Phys. Rev. Lett. 77 , 4281 (1996).
- 5(5) L. G. Lutterbach and L. Davidovich, Phys. Rev. Lett. 78 , 2547 (1997).
- 6(6) Ch. Kurtsiefer, T. Pfau, and J. Mlynek, Nature (London) 386 , 150 (1997); G. Breitenbach, S. Schiller, and J. Mlynek, Nature (London) 387 , 471 (1997).
- 7(7) K. Banaszek, C. Radzewicz, K. Wodkiewicz, and J. S. Krasinski, Phys. Rev. A 60 , 674 (1999).
- 8(8) G. Nogues et al. , Phys. Rev. A 62 , 054101 (2000).
