## Abstract

We report two fundamental experiments on three-level quantum systems (qutrits). The first one tests the simplest task for which quantum mechanics provides an advantage with respect to classical physics. The quantum advantage is certified by the violation of Wright's inequality, the simplest classical inequality violated by quantum mechanics. In the second experiment, we obtain contextual correlations by sequentially measuring pairs of compatible observables on a qutrit, and show the violation of Klyachko *et al.*'s inequality, the most fundamental noncontextuality inequality violated by qutrits. Our experiment tests exactly Klyachko *et al.*'s inequality, uses the same measurement procedure for each observable in every context, and implements the sequential measurements in any possible order.

## Introduction

In classical physics, there is no contradiction in considering that systems like balls and coins have preestablished properties like position and velocity that are independent of whether one actually measures them or not. However, according to quantum mechanics, the results of experiments on systems such as atoms and photons do not correspond to preestablished properties. A natural and fundamental question is: Which is the simplest quantum system in which this difference between classical and quantum physics can be observed?

For instance, this difference is shown in the violation of Bell inequalities^{1,2,3}, which requires at least two measurements on, at least, two separate subsystems, thus requiring a physical system of dimension four (i.e., with four perfectly distinguishable states). However, even before Bell inequalities were discovered, Kochen and Specker^{4,5}, and Bell^{6} pointed out that the classical/quantum conflict occurs even in a simpler three-level quantum system, or qutrit (e.g., a spin-1 particle). This implies that entanglement is not needed for the generation of nonclassical correlations, since, by definition, a single qutrit cannot be in an entangled state. Indeed, by performing a sequence of compatible^{7} measurements on the same single qutrit, contextual correlations can be obtained.

The classical/quantum conflict can be revealed even without correlations. The simplest test producing classically impossible results was first described by Wright^{8} and is based on the probabilities of the results of five single measurements on a qutrit. Later on, Klyachko *et al.* derived a noncontextuality inequality (i.e., satisfied by all theories in which the measurement results are independent of any compatible measurement) for qutrits using correlations^{9}. Klyachko *et al.*'s inequality is the simplest noncontextuality inequality violated by quantum mechanics, in the sense that there is no conflict for systems of lower dimension or with inequalities with fewer terms. The conflict can be made independent of the initial quantum state of the system by considering more complex inequalities^{10,11,12}.

## Results

In this Letter we report experimental violations of both Wright's and exactly Klyachko *et al.*'s inequality with qutrits. We first introduce both inequalities and show that they are actually connected. Then, we describe the experimental setups corresponding to each test. Finally, we present the experimental results and discuss them.

### Wright's inequality

Wright's inequality^{8} is the simplest classical inequality violated by quantum mechanics. It can be proven that the simplest set of questions such that the *sum* of the probabilities of obtaining a yes answer is higher in quantum mechanics than in classical physics is precisely the one in which 5 questions *Q _{i}* are such that

*Q*and

_{i}*Q*

_{i}_{+1}(with the sum modulo 5) are exclusive. Wright's inequality can be formulated as a game. In each run of the game, one of these questions is picked at random. The goal of the game is to obtain as many yes answers as possible.

Below we give an example that illustrates an optimal classical strategy. The system is prepared in a random mixture of 5 classical states 0, 1, 2, 3, and 4, and the player provides the following 5 yes-no questions: *Q*_{0} = “0 or 1?” (denoting the question “Is the system in one of the states 0 or 1?”), *Q*_{1} = “2 or 3?”, *Q*_{2} = “0 or 4?”, *Q*_{3} = “1 or 2?”, and *Q*_{4} = “3 or 4?”. If *P*(+1|*Q _{i}*) denotes the probability of obtaining a yes answer when

*Q*is asked, then, in our example, for any

_{i}*i*= 0, …, 4. Therefore, . It can be proven that no other preparation or set of classical questions provides a better solution; for any set of 5 classical questions with the previous exclusiveness constraints, the following inequality holds: The upper bound follows from the fact that the maximum number of questions

*Q*that simultaneously can have a yes answer is 2. Inequality (1) is Wright's inequality.

_{i}According to quantum mechanics, the system can be in a superposition of states and the questions can refer to such a superposition. This provides an advantage. For example, the quantum system is prepared in the qutrit state and the questions correspond to the 5 operators , which in quantum mechanics represent 5 observables with possible outcomes +1 and −1 (corresponding to yes and no, respectively). *Q _{i}* and

*Q*

_{i}_{+1}are compatible and exclusive. Correspondingly, the 5 projectors |

*v*〉〈

_{i}*v*| are such that |

_{i}*v*〉〈

_{i}*v*| and |

_{i}*v*

_{i}_{+1}〉〈

*v*

_{i}_{+1}| are orthogonal. Specifically, to obtain the maximum quantum value, we chose with , , , , , , and is the identity matrix. Then, quantum mechanics predicts that which violates Wright's inequality (1).

It can be proven that the simplest set of questions (such that any of them belongs to an exclusive pair) and constraints for which quantum mechanics provides an advantage is precisely the one in which 5 questions *Q _{i}* are such that

*Q*and

_{i}*Q*

_{i}_{+1}(with the sum modulo 5) are exclusive. It can also be proven that the simplest system with quantum advantage has

*d*= 3. Finally, it can be proven that the maximum quantum violation (for any

*d*) is precisely (see Supplemental Material).

### Klyachko et al.'s noncontextuality inequality

The simplest experiment showing contextual correlations in a qutrit is the violation of Klyachko *et al.*'s inequality^{9}. This inequality defines the only nontrivial facet of the polytope of classical (noncontextual) correlations, and completely separates noncontextual from contextual correlations^{9}. The importance of observing contextual correlations between the results of sequential measurements on the same qutrit comes from the fact that these correlations cannot be attributed to entanglement, since, by the definition of entanglement, a single qutrit cannot be in an entangled state. This is not the case in recent experiments showing quantum contextual correlations on two-qubit systems^{13,14,15,16}.

To put Klyachko *et al.*'s inequality in the frame of the classical game introduced before, we now ask two questions *Q _{i}* and

*Q*

_{i}_{+1}, one immediately after the other. By collecting all answers (yes, yes), (yes, no), (no, yes), and (no, no), we can calculate the average of obtaining the same results (i.e.,

*Q*

_{i}Q_{i}_{+1}= +1) or different results (i.e.,

*Q*

_{i}Q_{i}_{+1}= −1). For our classical strategy, for each pair of exclusive questions

*Q*and

_{i}*Q*

_{i}_{+1}, we obtain . In other words, when asking

*Q*and

_{i}*Q*

_{i}_{+1}sequentially, on average, 4 out of 5 times we obtain different answers, and 1 out of 5 times we obtain equal answers. If we now sum over all possible pairs

*Q*,

_{i}*Q*

_{i}_{+1}, we obtain −3, which can be proven to be the classical lower bound for the sum. Therefore, which is Klyachko

*et al.*'s inequality

^{9}.

The maximum quantum violation of Klyachko *et al.*'s inequality (5) is attained for the same qutrit state |*ψ*〉 and observables *Q _{i}* providing the maximum quantum violation of Wright's inequality (1). The maximum quantum violation (for any

*d*) of inequality (5) is We would like to note that Lapkiewicz

*et al.*

^{17}have recently performed an experiment aiming to test a noncontextuality inequality with 6 measurements and 6 correlations (4 of them contained in Klyachko

*et al.*'s inequality, plus two more which, added up, act as substitutes for the fifth correlation in Klyachko

*et al.*'s inequality). However, the 6-correlation inequality tested is not a facet of the simplest polytope of noncontextual correlations (i.e., it does not belong to the simplest set of inequalities that separates noncontextual from contextual correlations). Moreover, Lapkiewicz

*et al.*'s experiment cannot be considered a proper test of a noncontextuality inequality, since the same observable is measured with different setups in different contexts. In

^{17}it is left as an “open question” whether any experimental apparatus can be designed to test exactly Klyachko

*et al.*'s inequality. See the Supplemental Material for further discussion.

Experiment 1 (see Fig. 1) tests the quantum violation of inequality (1) and experiment 2 (see Fig. 2) tests the quantum violation of inequality (5). In both experiments, the qutrit is defined by means of the polarization and path degrees of freedom of a single photon. The two spatial modes are labeled *a* and *b* and, by design, the polarization in mode *a* is enforced to be horizontal (see Fig. 1). The encoding is where *H* denotes horizontal polarization and *V* denotes vertical polarization. To ensure that the system stays a qutrit, we make sure that a potential |*V*, *a*〉 component is always associated to loss and thus never expands the Hilbert space.

### Experimental results

The experimental results for experiment 1 testing inequality (1) are shown in Table I and the obtained value is . We observe a clear violation of inequality (1). It can be noted that the obtained experimental value is slightly higher than the maximum quantum value but in the range of the error bars. This can be explained by the fact that the latter is obtained under the assumption that the measured questions/operators are perfectly exclusive, while perfect exclusiveness is difficult to guarantee experimentally. In our implementation, a perfect question *Q _{i}* would need an interference visibility of 100% to guarantee a perfect exclusiveness with

*Q*

_{i}_{+1}. The main sources of systematic errors were the imperfection of the polarization components and the limited precision of their settings. The errors Δ

*P*and Δ

_{det}*P*were respectively deduced from propagated Poissonian counting statistics of the raw detection events and the limited precision of the setting

_{sys}*θ*of the HWP plate. See the Supplemental Material for more details.

_{i}The experimental results for experiment 2 testing inequality (5) are presented in Table II. The experimental results show a clear violation of inequality (5), in good agreement with the quantum mechanics prediction. The measurements are performed in all possible orders. Due to the experimental imperfections, our results show a violation that slightly depends on the order.

The main source of systematic error was due to the optical interferometers involved in the measurements, the imperfect overlapping and coupling of the light modes, and the polarization components. Errors were inferred from propagated Poissonian counting statistics of the raw detection events and from 10 measurement samples to capture the error due to the drift over the measurement time. The number of detected photons was approximately 3 × 10^{4} per second and the total measurement time for each of the 5 pairs of observables was 1 s for each run. Our measurement procedure was to first calibrate the interferometers and then start the measurement where all terms in (5) are measured one after the other. In Table II, the second part has higher values than the first, since it was impossible to replicate exactly the calibration of the interferometers between the two runs.

## Discussion

We have reported two experiments on qutrits showing nonclassical properties. Unlike previous experiments on pairs of qubits^{13,14,15,16}, here the nonclassical properties cannot be attributed to entanglement.

Experiment 1 tests Wright's inequality^{8}, which is the simplest inequality based on outcome probabilities of 5 exclusive yes-no questions, that provides a better-than-classical solution. Experiment 2 tests Klyachko *et al.*'s inequality^{9}, which is the most fundamental correlation inequality satisfied by noncontextual theories and violated by single qutrits. Unlike Lapkiewicz *et al.*'s experiment^{17}, our experiment 2 tests exactly Klyachko *et al.*'s inequality with 5 observables and 5 correlations, and tests the correlations in any possible order. Unlike previous experiments with sequential measurements on photons, in our experiment 2, the results of the sequential measurements are encoded in different time slots, avoiding much more complicated alternatives^{15}, and allowing us to show that the violation of the inequality does not depend on the order of the measurements. Both experiments are of fundamental importance to understand the difference between quantum and classical physics in situations where entanglement is not present, and open the door to new applications in quantum information processing based on simple quantum systems.

## Methods

### Experiment 1

The setup in Fig. 1(b) allows for the preparation of all required states and the projections on the eigenstates of all required operators. The questions *Q _{i}* are implemented through a time multiplexing scheme. A yes answer to

*Q*corresponds to a successful projection and is indicated by the arrival time

_{i}*t*

_{1}of the photon (or, equivalently, by a blue lamp flashing; see Fig. 1), the no answer corresponds to an unsuccessful projection and is indicated by the arrival time

*t*

_{0}of the photon (or a red lamp flashing; see Fig. 1).

The goal of the measurement is to distinguish the eigenstates corresponding to different eigenvalues of *Q _{i}*. Any qutrit pure state can be expressed as

*α*|

*H*,

*b*〉 +

*β*|

*V*,

*b*〉 +

*γ*|

*H*,

*a*〉, where

*α*,

*β*, and

*γ*are complex numbers. To implement

*Q*we prepare the eigenstate |

_{i}*v*〉, which corresponds to the positive eigenvalue. The polarization in mode

_{i}*b*will first be rotated to obtain the state

*β*′|

*V*,

*b*〉 +

*γ*|

*H*,

*a*〉 (this can always be done, since the rotation of the polarization is performed only in mode

*b*). Then, the part of the state in mode

*a*is transferred into mode

*b*; this process also flips the polarization. This leads to the state

*β*′|

*H*,

*b*〉 +

*γ*|

*V*,

*b*〉. The state can now be rotated to |

*H*,

*b*〉, which is coupled to a delay line adding a delay of Δ

*t*= 50 ns so that it can be distinguished from the orthogonal states by the time slots

*t*

_{1}and

*t*

_{0}. All of the previous steps (except for the time delay) are then performed in reverse order to reprepare the eigenstate of the observable for further processing. A useful property of our implementation of the 5 operators

*Q*is that they are exactly the same, up to a half wave plate rotation; see Fig. 1(b). To ask the question

_{i}*Q*, one rotates both the first and last half wave plate by an angle

_{i}*θ*= 45°, 117°, 9°, 81°, and 153° for

_{i}*i*= 0, 1, 2, 3, and 4, respectively.

### Experiment 2

When we perform two sequential measurements corresponding to pairwise compatible observables *Q _{i}* and

*Q*

_{i}_{±1}, the first measurement is exactly the same one as described above. The eigenstates of observable

*Q*with eigenvalue +1 or −1 are again mapped to different time slots using the same time multiplexing detection method. The setup for the second measurement is the same as that for the first, except for the delay line, which is twice as long, i.e., 2Δ

_{i}*t*see Fig. 2(b). After passing the devices for

*Q*and

_{i}*Q*

_{i}_{+1}, the photon can be registered by a detector at four equally distributed time slots. These time slots are

*t*

_{0},

*t*

_{1}=

*t*

_{0}+ Δ

*t*,

*t*

_{2}=

*t*

_{0}+ 2Δ

*t*, and

*t*

_{3}=

*t*

_{0}+ 3Δ

*t*, and correspond, respectively, to the answers (no, no), (yes, no), (no, yes), and (yes, yes).

Another distinguishing feature of this approach is that it allows both the measurement of *Q _{i}* followed by

*Q*

_{i}_{+1}, and also the measurement of

*Q*

_{i}_{+1}followed by

*Q*. This allows us to test each of the correlations in inequality (5) in every possible order.

_{i}In both experiments, the single-photon source was a pulsed diode laser emitting at 780 nm with a pulse width of 3 ns and a repetition rate of 100 kHz; see Fig. 1(b) and Fig. 2(b). The laser was attenuated so that the two-photon coincidences were negligible. The visibility ranges achieved were between 80% and 90% for each *Q _{i}*. A single-photon detector was placed in each output mode

*a*and

*b*. All detector signals and timing trigger signals (which define the measurement time slots) were registered using a multichannel coincidence logic with a time window of 1.7 ns.

## References

- 1.
Aspect, A., Dalibard, J. & Roger, G. Experimental test of Bell's inequalities using time-varying analyzers.

*Phys. Rev. Lett.***49**, 1804 (1982). - 2.
Weihs, G., Jennewein, T., Simon, C., Weinfurter, H. & Zeilinger, A. Violation of Bell's inequality under strict Einstein locality conditions.

*Phys. Rev. Lett.***81**, 5039 (1998). - 3.
Matsukevich, D. N., Maunz, P., Moehring, D. L., Olmschenk, S. & Monroe, C. Bell inequality violation with two remote atomic qubits.

*Phys. Rev. Lett.***100**, 150404 (2008). - 4.
Specker, E. P. Die Logik nicht gleichzeitig entscheidbarer Aussagen.

*Dialectica***14**, 239 (1960). - 5.
Kochen, S. & Specker, E. P. The problem of hidden variables in quantum mechanics.

*J. Math. Mech.***17**, 59 (1967). - 6.
Bell, J. S. On the problem of hidden variables in quantum mechanics.

*Rev. Mod. Phys.***38**, 447 (1966). - 7.
Peres, A.

*Quantum Theory: Concepts and Methods (Kluwer Academic, Dordrecht),*p. 203 (1995). - 8.
Wright, R. The state of the pentagon.

*Mathematical Foundations of Quantum Mechanics*, edited by Marlow A. R. (*Academic Press, San Diego*), p. 255 (1978). - 9.
Klyachko, A. A., Can, M. A., Binicioğlu, S. & Shumovsky, A. S. Simple test for hidden variables in spin-1 systems.

*Phys. Rev. Lett.***101**, 020403 (2008). - 10.
Yu, S. & Oh, C. H. State-independent proof of Kochen-Specker theorem with 13 rays.

*Phys. Rev. Lett.***108**, 030402 (2012). - 11.
Bengtsson, I., Blanchfield, K. & Cabello, A. A Kochen-Specker inequality from a SIC.

*Phys. Lett. A***376**, 374 (2012). - 12.
Kleinmann, M., Budroni, C., Larsson, J.-Å., Gühne, O. & Cabello, A.

*Optimal inequalities for state-independent contextuality.**Phys. Rev. Lett.***109**, 250402 (2012). - 13.
Kirchmair, G.

*et al.*State-independent experimental test of quantum contextuality.*Nature***460**, 494 (2009). - 14.
Bartosik, H.

*et al.*Experimental test of quantum contextuality in neutron interferometry.*Phys. Rev. Lett.***103**, 040403 (2009). - 15.
Amselem, E., Rådmark, M., Bourennane, M. & Cabello, A. State-independent quantum contextuality with single photons.

*Phys. Rev. Lett.***103**, 160405 (2009). - 16.
Moussa, O., Ryan, C. A., Cory, D. G. & Laflamme, R. Testing contextuality on quantum ensembles with one clean qubit.

*Phys. Rev. Lett.***104**, 160501 (2010). - 17.
Lapkiewicz, R.

*et al.*Experimental non-classicality of an indivisible quantum system.*Nature***474**, 490 (2011).

## Acknowledgements

The authors thank I. Bengtsson, A. Klyachko, J.-Å. Larsson, R.W. Spekkens, and K. Svozil for discussions. This work was supported by the Swedish Research Council (VR), the Linnaeus Center of Excellence ADOPT, the Spanish Projects Nos. FIS2008-05596 and FIS2011-29400, and the Wenner-Gren Foundation.

## Author information

## Affiliations

### Department of Physics, Stockholm University, S-10691, Stockholm, Sweden

- Johan Ahrens
- , Elias Amselem
- , Adán Cabello
- & Mohamed Bourennane

### Departamento de Física Aplicada II, Universidad de Sevilla, E-41012 Sevilla, Spain

- Adán Cabello

## Authors

### Search for Johan Ahrens in:

### Search for Elias Amselem in:

### Search for Adán Cabello in:

### Search for Mohamed Bourennane in:

### Contributions

J.A., E.A., A.C. and M.B. designed the experiment and wrote the paper. J.A. and E.A. conducted the experiment and analyzed the data.

### Competing interests

The authors declare no competing financial interests.

## Corresponding author

Correspondence to Mohamed Bourennane.

## Supplementary information

## PDF files

- 1.
### Supplementary Information

Two Fundamental Experimental Tests of Nonclassicality with Qutrits

## Comments

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

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-nd/3.0/