Abstract
Whether the observables of a physical system admit real values is of fundamental importance to a deep understanding of nature. In this work, we report a device-independent experiment to confirm that the joint reality of two observables on a single two-level system is incompatible with the assumption of operational completeness, which is strictly weaker than that of preparation noncontextuality. We implement two observables on a trapped ion to test this incompatibility via violation of certain inequalities derived from both linear and nonlinear criteria. Moreover, by introducing a highly controllable dephasing channel, we show that the nonlinear criterion is more robust against noise. Our results push the fundamental limit to delineate the quantum–classical boundary and pave the way for exploring relevant problems in other scenarios.
Export citation and abstract BibTeX RIS
1. Introduction
The physical reality of an observable can be identified with the existence of a predetermined value that is revealed if the corresponding measurement procedure is implemented on a physical system. The question of whether quantum observables have physical reality was raised by Einstein et al in 1935 [1], and has attracted great interest from theoretical and experimental sides. While joint reality is interpretationally consistent for commuting observables [2], a variety of no-go theorems have been formulated that exclude joint reality of incompatible observables under various assumptions. Distinctive examples include Bell inequalities [3, 4] and Kochen–Specker (KS) theorems [5, 6], derived under respective assumptions of locality and measurement noncontextuality, and various no-go theorems have been verified in many physical experiments [7–18]. These results enrich our understanding of nature at the conceptual level, and also find wide practical applications, including cryptographic tasks [19] and randomness generation [20].
It is particularly desirable to rule out joint reality of any two incompatible quantum observables, under the weakest possible assumptions. Yet most no-go theorems only rule out the simultaneous reality of three or more observables (and typically only for quantum systems with three or more dimensions). This includes Bell inequalities [3, 4, 7–10] and KS theorems [5, 6, 11–14, 21–23], as well as no-go results based on steering [24] and generalized measurement noncontextuality where measurements are operationally equivalent to have the same probability distribution of outcomes in every quantum/ontic state [15, 16, 25–27]. Moreover, existing results applicable to just two observables [17, 18, 28] require an assumption of preparation noncontextuality [26], i.e. two state preparations that are operationally equivalent correspond to the same mixture over ontic states in the ontological model, and have only been tested under additional assumptions of parity obliviousness [17] and/or measurement noncontextuality [18]. Thus, a fundamental question naturally arises: Can the joint reality of two observables be tested under less stringent assumptions?
Here, we address this question by experimentally demonstrating that an assumption of operational completeness is sufficient to rule out the joint reality of two incompatible observables, even for a single qubit. Operation completeness is a strictly weaker assumption than preparation noncontextuality, stating that if two ensembles are operationally similar, i.e. the statistics of all measurable observables are approximately identical up to errors from finite statistics, the joint relative frequencies of any two observables with predetermined real values must be approximately the same [29]. Using a single trapped ion, we perform two device-independent (DI) no-go tests in the form of linear and nonlinear inequalities [29]. With the techniques of microwave operation and highly distinguishable state-dependent fluorescence detection, we achieve quantum gates with very high fidelity () and low measurement error (). It is observed that both inequalities are significantly violated, thus conclusively ruling out the possibility that two incompatible observables can have real preexisting values under the assumption of operational completeness. Further, we investigate the robustness against noise of the two tests by introducing a controllable dephasing channel, and conclude that the nonlinear criterion is more robust against noise. The method of controlling dephasing at a quantitative level adds another tuning knob in the toolbox of trapped ion systems, which has potential applications in the study of quantum systems with decay.
2. No-go theorems under operational completeness
2.1. No-go inequalities
Consider two observables A and B of a physical system each having two measurement outcomes, labeled as ±1. They are said to have joint reality if the corresponding measurement procedures reveal definite predetermined outcomes [30]. For an ensemble of N systems, we define the average expectation where denotes the number of systems having real values and . Note that the range of is constrained by the observed averages and . In particular, substituting into the relation yields [29]
for any . These constraints on are illustrated as shaded regions in figure 1(a), for the choice c = 0 (which is optimal for orthogonal qubit observables [29]).
A geometric no-go argument follows by combining the joint reality constraints (1) with operational completeness. First, as depicted in figure 1(a) for c = 0, if two ensembles and of N systems satisfy (solid red dots), then for any mixture ε of and (lying on the red solid line). Similarly, any mixture of two ensembles and that satisfy (hollow blue dots) must have . Hence, at the intersection point (black star) of the two lines we have the strict inequality .
Further, if the mixtures ε and at the intersection point are operationally equivalent (e.g. via direct test, or because the ensembles lie in an operational plane of A and B so that any two convex combinations with the same values of and are operationally equivalent [29]), operational completeness then implies the predetermined real values of A and B have equal joint relative frequencies up to statistical errors, i.e. . Thus, , which contradicts the strict inequality above. Hence, the existence of such ensembles is incompatible with joint reality under the assumption of operational completeness. It is remarked that this assumption is strictly weaker than preparation noncontextuality used in [16–18, 26, 28], and that the argument is DI in the sense that it requires no description of the preparation and measurement devices.
Finally, it follows via the relations in equation (1) that one can obtain a simple sufficient criterion for joint reality [29], in the form of the linear inequality
for all . For c = 0 this corresponds to at least one of the four ensembles lying in the white region of figure 1(a), rather than in a shaded region. A nonlinear necessary and sufficient criterion may also be obtained [29]:
for all with (generalizing the preparation noncontextuality result in [28]). Quantum realizations can violate the above two inequalities, up to and respectively, by measuring observables and on the qubit ensembles described by Bloch vectors and .
2.2. Robustness against noise
The maximal violations and τmax are achieved for a specific choice of observables and a perfect preparation of ensembles. It is then of great importance to study to what extent the quantum violation of these reality tests still pertain under experimental imperfections, such as decoherence of ion [35, 36] and detection error. For this purpose, we consider a practical scenario where the ensembles before measurement suffer dephasing noise, which can be modeled as the quantum channel
Here, ρ describes the density operator and the parameter is a dephasing factor which shrinks state ensembles in the x-y plane. For example, if µ = 1 all qubit states in the x-y plane undergo complete dephasing and reduce to a classical bit ; and if µ = 0 the dephasing is absent and the state ensembles remain unchanged.
We fix the observables as and and consider a suitable one-parameter set of state ensembles
where with are dependent on a parametrized angle . The maximal violation for the two inequalities (2) and (3) under dephasing µ is achieved for c = 0, yielding
In our experiment, we generate these ensembles by setting , as depicted by the red and blue dots in figure 1(a). Under the ideal condition with no dephasing, this set of ensembles yield the violations and . With increasing dephasing factor µ, the nonlinear inequality equation (3) is more robust in the sense that can still be positive to witness the incompatibility while the corresponding becoming negative, which confirms the conjecture made in [29]. (See supplemental materials [37] for more details.)
3. Experimental setup
The setup is composed of a single ion trapped in a four-rod Paul trap, as shown in figure 1(b). The hyperfine levels in the ground-state manifold, and , are encoded as the computation basis of a single ion-qubit [40, 41]. The transition frequency between these two clock states is GHz. This ion-qubit is initialized to the state via Doppler cooling and optical pumping, and measured by shining a 370nm laser to excite the state to the 2P manifold and then collecting fluorescent photons with a photo-multiplier tube [42]. The π time of the Rabi oscillation is s, leading to the Rabi frequency kHz. The error of detection a state population for is , while it is to detect for the state . These detection errors are further calibrated via the method proposed in [43].
To prepare the four state ensembles on the operational plane corresponding to the x-z plane, as per equation (5), we apply microwaves with the corresponding resonant frequency on the ion-qubit. By tuning the duration and phase of the microwaves we can realize a general class of single-qubit rotations
where Θ and φ are the rotation angle and phase, respectively. The experimental gate sequence is shown in figure 1(c), and the parameters to prepare the four state ensembles are respectively
To realize the noise process described by equation (4), we introduce the Zeeman state as state , which is more sensitive to the decoherence process, and couple it to the ground state . It can be regarded as a noisy qubit with transition frequency MHz, as shown in figure 1(b). The Rabi frequency is adjusted to kHz. Interestingly, by analyzing the dynamics of decoherence induced by magnetic field fluctuation, we find that the dephasing process is consistent with the decoherence process with an additional z-axis rotation . The z-axis rotation Rz is included to ensure the prepared dephasing states to lie in the x-z plane. The decoherence process is labeled by 'Zero' since the amplitude of microwave is set to zero during that period. For a specific dephasing factor µ, the duration of 'Zero' is determined by , where T is the coherence time of our system. This provides a feasible scheme to precisely control the dephasing channel, where the dephasing factor µ in equation (4) can be tuned by controlling the evolution time of the noisy qubit interacting with the environment [37]. In the experiment, the dephasing factor is tuned and estimated at four typical values of , and 0.653 via operation sequences depicted in figures 1(c) and (d).
It is remarked that, although the dephasing channel in the form of equation (4) does not distort the x–z plane of the Bloch sphere where the four states (5) reside, in realistic experimental conditions the prepared states may not be perfectly constrained in the x–z plane and thus would be non-homogeneously affected under dephasing. Hence, we need to add the two eigenstates of σy as an extra dimension to correct this preparation inaccuracy. This calibration procedure is introduced in the subsequent discussion and details are given in the supplemental materials [37]. To ensure the measurements for the set of preparations (5) are tomographically complete, we also implement the observable σy , as have been done to calibrate the choice of preparation and measurement observables and suggested in references [16, 18, 28, 29]
The observable σz can be directly measured by state-dependent fluorescence detection in the σz basis, while the measurements of σx and σy are realized by first applying a rotation along the y- and x-axis denoted as and , respectively. We collect the outcome statistics for many trials and record the relative frequencies as desired. Here, we stress that although measurements are taken for all three spin axes in experiments, the raw data are rearranged into a form as measured from two binary-outcome observables based on two calibrated spin axes when testing the no-go inequalities [37].
4. Data analysis and results
A great advantage of the no-go inequalities equations (2) and (3) is that only local relative frequencies are required, which is defined as the probability that an outcome is obtained by measuring an observable on the state ensemble obtained by state preparation . In our experiment, the state preparations satisfy and with . We run the state preparation and measurement sequence 6890 times for () and 3110 times for () to realize the ensembles mixture. The fidelity of state preparation is obtained from standard quantum state tomography. For the nearly ideal case with dephasing factor µ = 0.014, the average fidelity of the four state ensembles is , while for the cases with and 0.653, the average fidelities read , , and , respectively.
We then check whether the two state preparations and are operationally equivalent, i.e. for all . To establish a DI test, we also have to avoid presupposing that our experiment data is well fit by a quantum description. Instead, the physical state preparations and measurements must be fit into the more abstract framework of generalized probabilistic theories (GPT) [16, 18]. In our experiment, we first fit the raw data of actual state preparations (blue triangles in figures 2(a) and (b) for different dephasing cases) to a set of generalized states where three binary-outcome measurements are tomographically complete [37], leading to the estimations of the primary state preparations (orange dots) as shown in figures 2(a) and (b).
Download figure:
Standard image High-resolution imageHowever, due to the error of quantum operations and measurements, the outcome probabilities under primary procedures in general cannot meet the requirement of operational equivalence, i.e. for all j and k. Therefore, we further infer a secondary probability matrix whose elements with . Each secondary preparation can be defined by a probabilistic mixture of the six primaries (two additional primaries along the y-axis for calibration). By minimizing their displacement from the primaries while ensuring the secondary preparations meet the operational equivalence assumption constraint, the secondary probabilities can be obtained (see details in supplemental materials [37]). Notice that the correction induced by the secondary procedure would change the prepared states and consequently the dephasing factor. Specifically, if the primary state preparations (orange dots in figure 2(a)) are ideal without dephasing, the secondary ones (green rectangles) would in general acquire a small but nevertheless finite dephasing factor, such that the system is only nearly ideal. Results with other values of the dephasing factor are shown in supplemental materials [37]. Using the techniques described above, we report the probability of obtaining outcome '+1' for each measurement-preparation pair and verify the requisite operational equivalence, as shown in figure 2(c).
The central results of the no-go theorem tests are shown in figure 3, where the maximal violations of inequalities (2) and (3) are plotted as functions of the dephasing factor µ. One can clearly observe that equation (2) is weaker than equation (3), and is more fragile to state dephasing. Specifically, linear inequality (2) is violated only in the relatively narrow range , while nonlinear inequality (3) remains valid up to . This difference can be understood by noting that the geometric argument for the linear inequality requires all four state ensembles to lie in respective regions constrained by equation (1), e.g. the four shaded regions in figure 1(a). This is fulfilled only for . In contrast, the derivation of the nonlinear inequality relaxes this requirement, by also taking into account the weights of the four ensembles required for the mixtures ε and to be operationally equivalent, corresponding to the intersection point in figure 1(a) [29]. Thus, in the parameter regime , despite two of the four state ensembles crossing from the shaded regions into the white region of figure 1(a) (see figure 2(b)), the nonlinear inequality is still able to rule out the joint reality of the two observables.
Download figure:
Standard image High-resolution imageThe main error sources in our experiment are the gate infidelity () caused by the fluctuation of microwave parameters, and the dephasing channel error (0.12%) resulting from the time-dependent decoherence process and the uncertainty of estimated dephasing factor µ. The former is characterized by the randomized benchmarking method [39] and the latter is estimated by the infidelity of the experiment-prepared dephasing state [37]. For the nearly ideal case with µ = 0.014, we find the similarity between secondary preparations and their corresponding primaries can reach averaging over all runs. Here, the value of similarity is defined by the weights in the mixture of four secondaries [37]. For the other three cases with larger dephasing factor, high similarities () are also achieved.
5. Conclusion
We report two DI experimental no-go tests of joint reality of two observables with a single trapped ion. Our results show that in the simple but nontrivial single qubit system, joint reality is inconsistent with an assumption of operational completeness, which is strictly weaker than those found in literature. With high fidelities of state preparation, gate operation, and measurement, we observe significant violations for both testing inequalities, and find perfect agreement with theoretical predictions. Moreover, we investigate the noise effect on the two inequalities by introducing a controllable dephasing channel, and conclude that the inequality with non-linear form is more robust against dephasing than the linear one. Our work not only deepens the understanding of quantum reality, but also provides a scheme to explore noise effects in quantum applications or even to take advantage of noise in certain circumstances, such as error-mitigating schemes [44] in noisy intermediate scale quantum information processing.
Acknowledgments
This work is supported by the National Natural Science Foundation of China (Grant Nos. 91836106, 11975026, 12074427, 12074428, 12004011, 12125402, 12204535 and 92265208), the Shanghai Municipal Science and Technology Fundamental Project (Grant No. 21JC1405400), the National Key R&D Program of China (Grant No. 2022YFA1405301), the Innovation Program for Quantum Science and Technology (Grant No. 2021ZD0301500), and the China Postdoctoral Science Foundation (Grant Nos. BX20200379 and 2021M693478).
Data availability statement
The data that support the findings of this study are openly available at the following URL/DOI: www.phys.ruc.edu.cn/info/1167/1513.htm. The data that support the findings of this study are available upon request from the authors.
Author contributions
Q Zhang and Y Xiang contributed equally to this work. All authors participated in the discussion of results and contributed to the preparation of manuscript.
Supplementary data (0.6 MB PDF)