This PhD-thesis is based on the five experiments I have performed during mytime as a PhD-student. Three experiments are implementations of non-contextualinequalities and two are implementations of witness functions for classical- andquantum dimensions of sets of states. A dimension witness is an operator function that produce a value whenapplied to a set of states. This value has different upper bounds depending onthe dimension of the set of states and also depending on if the states are classicalor quantum. Therefore a dimension witness can only give a lower bound on thedimension of the set of states.The first dimension witness is based on the CHSH-inequality and has theability of discriminating between classical and quantum sets of states of two andthree dimensions, it can also indicate if a set of states must be of dimension fouror higher.The second dimension witness is based on a set theoretical representationof the possible combinations of states and measurements and grows with thedimension of the set of states you want to be able to identify, on the other handthere is a formula for expanding it to arbitrary dimension.Non-contextual hidden variable models is a family of hidden variable modelswhich include local hidden variable models, so in a sence non-contextual inequal-ities are a generalisation of Bell-inequalities. The experiments presented in this thesis all use single particle quantum systems.The first experiment is a violation of the KCBS-inequality, this is the simplest correlation inequality which is violated by quantum mechanics.The second experiment is a violation of the Wright-inequality which is the simplest inequality violated by quantum mechanics, it contains only projectors and not correlations.The final experiment of the thesis is an implementation of a Hardy-like equality for non-contextuality, this means that the operators in the KCBS-inequality have been rotated so that one term in the sum will be zero for all non-contextual hidden variable models and we get a contradiction since quantum mechanicsgives a non-zero value for all terms.
This PhD-thesis is based on the five experiments I have performed during mytime as a PhD-student. Three experiments are implementations of non-contextualinequalities and two are implementations of witness functions for classical- andquantum dimensions of sets of states. A dimension witness is an operator function that produce a value whenapplied to a set of states. This value has different upper bounds depending onthe dimension of the set of states and also depending on if the states are classicalor quantum. Therefore a dimension witness can only give a lower bound on thedimension of the set of states.The first dimension witness is based on the CHSH-inequality and has theability of discriminating between classical and quantum sets of states of two andthree dimensions, it can also indicate if a set of states must be of dimension fouror higher.The second dimension witness is based on a set theoretical representationof the possible combinations of states and measurements and grows with thedimension of the set of states you want to be able to identify, on the other handthere is a formula for expanding it to arbitrary dimension.Non-contextual hidden variable models is a family of hidden variable modelswhich include local hidden variable models, so in a sence non-contextual inequal-ities are a generalisation of Bell-inequalities. The experiments presented in this thesis all use single particle quantum systems.The first experiment is a violation of the KCBS-inequality, this is the simplest correlation inequality which is violated by quantum mechanics.The second experiment is a violation of the Wright-inequality which is the simplest inequality violated by quantum mechanics, it contains only projectors and not correlations.The final experiment of the thesis is an implementation of a Hardy-like equality for non-contextuality, this means that the operators in the KCBS-inequality have been rotated so that one term in the sum will be zero for all non-contextual hidden variable models and we get a contradiction since quantum mechanicsgives a non-zero value for all terms.
In the past century, experimental discoveries have witnessed phenomena in Nature which challenge our everyday classical intuition. In order to explain these facts, quantum theory was developed, which so far has been able to reproduce the observed results. However, I believe that our understanding of quantum mechanics can be significantly improved by the search for an operational meaning behind its mathematical formulation, which would help to identify the limitations and possibilities of the theory for information processing. An intriguing property of quantum theory is its intrinsic randomness. Indeed, Einstein, Podolsky and Rosen in 1935 questioned the completeness of quantum theory. They argued the possibility of the existence of a complete theory where variables to which we have not access determine the behaviour of physical systems, and the randomness observed in quantum mechanics is then due to our ignorance of these variables. These hidden variables theories, however, were proved not to be enough for explaining the predictions of quantum theory, as shown in the no-go theorems by Bell on quantum-nonlocality and by Kochen and Specker on quantum-contextuality. In the past decades, many experiments have corroborated the nonlocal and contextual character of Nature. However, no intuition behind these phenomena has been found, in particular about what limits their strength. In fact, special relativity alone would allow for phenomena which are more nonlocal than what quantum theory allows. Hence, much effort has been devoted to find the physical properties of quantum theory that restricts these phenomena. In this thesis, we study the constraints that arise on nonlocal and contextual phenomena when a certain exclusiveness structure compatible with quantum theory is imposed in the space of events. Here, an event denotes the situation where an outcome is obtained given that a measurement is performed on the physical system. Regarding nonlocality, we introduce a notion of orthogonality that states that events involving different outcomes of the same local measurement are exclusive, and construct constraints that the correlations among observers should satisfy. We denote this by Local Orthogonality principle (LO), which is the first intrinsically multipartite principle for bounding quantum correlations. We prove that LO identifies the supra-quantum character of some bipartite and multipartite correlations, and gets close to the quantum boundary. When studying contextuality, the same abstract event may correspond to outcomes of different measurements, which introduces a non-trivial structure in the space of events. For its study, we develop a general formalism for contextuality scenarios in the spirit of the recent approach by Cabello, Severini and Winter. In our framework, nonlocality arises as a particular case of contextuality, which allows us to study a generalization of LO. Both in nonlocality and contextuality, we find close connections to problems in combinatorics and hence use graph-theoretical tools for studying correlations. Finally, this thesis also studies the detection of nonlocal correlations. Most results on quantum nonlocality focus on few particles' experiments, while less is known about the detection of quantum nonlocality in many-body systems. Standard many-body observables involve correlations among few particles, while there is still no multipartite Bell inequality to test nonlocality merely from these data. In this thesis, we provide the first proposal for nonlocality detection in many-body systems using two-body correlations. We construct families of Bell inequalities from two-body correlators, which can detect nonlocality for systems with large number of constituents. In addition, we prove violations by systems which are relevant in nuclear and atomic physics, and show how to test these inequalities by measuring global spin components, hence opening the problem to experimental realizations.
Quantum mechanics is nonlocal, meaning it cannot be described by any classical local hidden variable model. In this thesis we study two aspects of quantum nonlocality. Part I addresses the question of what classical resources are required to simulate nonlocal quantum correlations. We start by constructing new local models for noisy entangled quantum states. These constructions exploit the connection between nonlocality and Grothendieck's inequality, first noticed by Tsirelson. Next, we consider local models augmented by a limited amount of classical communication. After generalizing Bell inequalities to this setting, we show that (i) one bit of communication is sufficient to simulate the correlations of projective measurements on a maximally entangled state of two qubits, and (ii) five bits of communication are sufficient to simulate the joint correlation of two-outcome measurements on any bipartite quantum state. The latter result can be interpreted as a stronger (constrained) version of Grothendieck's inequality. In part II, we investigate the monogamy of nonlocal correlations. In a setting where three parties, A, B, and C, share an entangled quantum state of arbitrary dimension, we: (i) bound the trade-off between AB's and AC's violation of the CHSH inequality, obtaining an intriguing generalization of Tsirelson's bound, and (ii) demonstrate that forcing B and C to be classically correlated prevents A and B from violating certain Bell inequalities. We study not only correlations that arise within quantum theory, but also arbitrary correlations that do not allow signaling between separate groups of parties. These results are based on new techniques for obtaining Tsirelson bounds, or bounds on the quantum value of a Bell inequality, and have applications to interactive proof systems and cryptography.
The view that non-classical phenomena are witnessed when noncontextuality inequalities are violated by quantum correlations has become widespread over the last decades, and many authors describe contextuality as a counter-intuitive and non-classical feature of quantum systems. In this paper we show that a classical input/output device generating contextual data (i.e., data violating noncontextuality inequalities) can easily be found if the following conditions are satisfied: (1) We only have access to a specific collection of epistemic measurements, namely measurements which do not necessarily reveal properties possessed by the system to the agent, and (2) not all these measurements can be jointly performed. The conclusion we draw from this example is twofold. Firstly, regarding model-independent contextuality, it suggests that, unlike Bell inequalities (whose violation allegedly implies non-locality), noncontextuality inequalities have no phenomenological significance per se: we cannot treat experiments as black-boxes and draw conclusions about the phenomenological status of their underlying structure based only on contextuality analysis of the data they generate. Secondly, regarding quantum theory, it indicates that one who accepts, as many interpretations suggest, that quantum theory satisfies both these conditions should not take for granted that quantum contextuality is a signature of non-classicality.
We show that the phenomenon of quantum contextuality can be used to certify lower bounds on the dimension accessed by the measurement devices. To prove this, we derive bounds for different dimensions and scenarios of the simplest noncontextuality inequalities. Some of the resulting dimension witnesses work independently of the prepared quantum state. Our constructions are robust against noise and imperfections, and we show that a recent experiment can be viewed as an implementation of a state-independent quantum dimension witness.
The rapidly developing interdisciplinary field of quantum information, which merges quantum and information science, studies non-classical aspects of quantum systems. These studies are motivated by the promise that the non-classicality can be used to solve tasks more efficiently than classical methods would allow. In many quantum informational studies, non-classical behaviour is attributed to the notion of entanglement. In this thesis we use photons to experimentally investigate fundamental questions such as: What happens to the entanglement in a system when it is affected by noise? In our study of noisy entanglement we pursue the challenging task of creating bound entanglement. Bound entangled states are created through an irreversible process that requires entanglement. Once in the bound regime, entanglement cannot be distilled out through local operations assisted by classical communication. We show that it is possible to experimentally produce four-photon bound entangled states and that a violation of a Bell inequality can be achieved. Moreover, we demonstrate an entanglement-unlocking protocol by relaxing the condition of local operations. We also explore the non-classical nature of quantum mechanics in several single-photon experiments. In these experiments, we show the violation of various inequalities that were derived under the assumption of non-contextuality. Using qutrits we construct and demonstrate the simplest possible test that offers a discrepancy between classical and quantum theory. Furthermore, we perform an experiment in the spirit of the Kochen-Specker theorem to illustrate the state-independence of this theorem. Here, we investigate whether or not measurement outcomes exhibit fully contextual correlations. That is, no part of the correlations can be attributed to the non-contextual theory. Our results show that only a small part of the experimental generated correlations are amenable to a non-contextual interpretation.
Since the experimental observation of the violation of the Bell-CHSH inequalities, much has been said about the non-local and contextual character of the underlying system. However, the hypothesis from which Bell's inequalities are derived differ according to the probability space used to write them. The violation of Bell's inequalities can, alternatively, be explained by assuming that the hidden variables do not exist at all, that they exist but their values cannot be simultaneously assigned, that the values can be assigned but joint probabilities cannot be properly defined, or that averages taken in different contexts cannot be combined. All of the above are valid options, selected by different communities to provide support to their particular research program.