Related papers: Experimental implementation of a Kochen-Specker se…
We give a method for exhaustive generation of a huge number of Kochen-Specker contextual sets, based on the 600-cell, for possible experiments and quantum gates. The method is complementary to our previous parity proof generation of these…
Contextuality is a phenomenon at the heart of the quantum mechanical departure from classical behaviour, and has been recently identified as a resource in quantum computation. Experimental demonstration of contextuality is thus an important…
Self-testing is a method to characterise an arbitrary quantum system based only on its classical input-output correlations, and plays an important role in device-independent quantum information processing as well as quantum complexity…
Quantum state discrimination depicts the general progress of extracting classical information from quantum systems. We show that quantum state discrimination can be realized in a device-independent scenario using tools of self-testing…
We address the problem of deriving the set of quantum correlations for every Bell and Kochen-Specker (KS) contextuality scenario from simple assumptions. We show that the correlations that are possible according to quantum theory are equal…
When a measurement is compatible with each of two other measurements that are incompatible with one another, these define distinct contexts for the given measurement. The Kochen-Specker theorem rules out models of quantum theory that…
We report the first state-independent experimental test of quantum contextuality on a single photonic qutrit (three-dimensional system), based on a recent theoretical proposal [Yu and Oh, Phys. Rev. Lett. 108, 030402 (2012)]. Our experiment…
Classical realism demands that system properties exist independently of whether they are measured, while noncontextuality demands that the results of measurements do not depend on what other measurements are performed in conjunction with…
The Kochen-Specker theorem states that exclusive and complete deterministic outcome assignments are impossible for certain sets of measurements, called Kochen-Specker (KS) sets. A straightforward consequence is that KS sets do not have…
Quantum cryptographic protocols based on complementarity are nonsecure against attacks in which complementarity is imitated with classical resources. The Kochen-Specker (KS) theorem provides protection against these attacks, without…
We present a method for the experimental measurement of nonclassicality witnesses and demonstrate its application. Our proposal only requires the coherent displacement of the initial state, which can be achieved by overlapping the latter…
Using the spontaneous parametric down-conversion process in a type-I phase matching BBO crystal as single photon source, we perform an all-or-nothing-type Kochen-Specker experiment proposed by Simon \QTR{it}{et al}. [Phys. Rev. Lett.…
The coherence of an individual quantum state can be meaningfully discussed only when referring to a preferred basis. This arbitrariness can however be lifted when considering sets of quantum states. Here we introduce the concept of set…
Quantum computers are on the brink of surpassing the capabilities of even the most powerful classical computers. This naturally raises the question of how one can trust the results of a quantum computer when they cannot be compared to…
The Kochen-Specker theorem rules out models of quantum theory wherein projective measurements are assigned outcomes deterministically and independently of context. This notion of noncontextuality is not applicable to experimental…
We show that an experimental demonstration of quantum contextuality using 2 degrees of freedom of single neutrons based on a violation of an inequality derived from the Peres-Mermin proof of the Kochen-Specker theorem would be more…
We propose a test of quantum contextuality for a single three-level system that uses nine projective measurements. It has a form of an inequality that has to be satisfied by any non-contextual theory and which is violated by any quantum…
When it isn't possible to tell two distinct experimental procedures apart purely from their input/output statistics, then it seems a plausible hypothesis that the two procedures must be physically identical. We call such a hypothesis…
The presence of noise in quantum computers hinders their effective operation. Even though quantum error correction can theoretically remedy this problem, its practical realization is still a challenge. Testing and benchmarking noisy,…
Quantum simulations are becoming an essential tool for studying complex phenomena, e.g. quantum topology, quantum information transfer, and relativistic wave equations, beyond the limitations of analytical computations and experimental…