• ### Necessary and sufficient condition for contextuality from incompatibility(1805.02032)

May 5, 2018 quant-ph
Measurement incompatibility is the most basic resource that distinguishes quantum from classical physics. Contextuality is the critical resource behind the power of some models of quantum computation and a necessary ingredient for many applications in quantum information. A fundamental problem is thus identifying when incompatibility produces contextuality. Here we show that, given a structure of incompatibility characterized by a graph in which nonadjacent vertices represent incompatible ideal measurements, the necessary and sufficient condition for the existence of a quantum realization producing contextuality is that this graph contains induced cycles of size larger than three. This result completes one by Ramanathan et al. [Phys. Rev. Lett. 109, 050404 (2012)], points out the fundamental importance of the results of Ara\'ujo et al. [Phys. Rev. A 88, 022118 (2013)], and allows us to identify all experimental scenarios with quantum contextuality, unveiling new interesting cases.
• ### Observation of stronger-than-binary correlations with entangled photonic qutrits(1712.06557)

May 5, 2018 quant-ph
We present the first experimental confirmation of the quantum-mechanical prediction of stronger-than-binary correlations. These are correlations that cannot be explained under the assumption that the occurrence of a particular outcome of an $n \ge 3$-outcome measurement is due to a two-step process in which, in the first step, some classical mechanism precludes $n-2$ of the outcomes and, in the second step, a binary measurement generates the outcome. Our experiment uses pairs of photonic qutrits distributed between two laboratories, where randomly chosen three-outcome measurements are performed. We report a violation by {9.3} standard deviations of the optimal inequality for nonsignaling binary correlations.
• ### Minimal true-implies-false and true-implies-true sets of propositions in noncontextual hidden variable theories(1805.00796)

May 2, 2018 quant-ph
An essential ingredient in many examples of the conflict between quantum theory and noncontextual hidden variables (e.g., the proof of the Kochen-Specker theorem and Hardy's proof of Bell's theorem) is a set of atomic propositions about the outcomes of ideal measurements such that, when outcome noncontextuality is assumed, if proposition $A$ is true, then, due to exclusiveness and completeness, a nonexclusive proposition $B$ (resp. $C$) must be false (resp. true). We call such a set a true-implies-false set (TIFS) [resp. true-implies-true set (TITS)]. Here we identify all the minimal TIFSs and TITSs in every dimension $d \ge 3$, i.e., the sets of each type having the smallest number of propositions. These sets are important because each of them leads to a proof of impossibility of noncontextual hidden variables and corresponds to a simple situation with quantum vs classical advantage. Moreover, the methods developed to identify them may be helpful to solve some open problems regarding minimal Kochen-Specker sets.
• ### Optimal classical simulation of state-independent quantum contextuality(1709.07372)

March 29, 2018 quant-ph
Simulating quantum contextuality with classical systems requires memory. A fundamental yet open question is what is the minimum memory needed and, therefore, the precise sense in which quantum systems outperform classical ones. Here, we make rigorous the notion of classically simulating quantum state-independent contextuality (QSIC) in the case of a single quantum system submitted to an infinite sequence of measurements randomly chosen from a finite QSIC set. We obtain the minimum memory needed to simulate arbitrary QSIC sets via classical systems under the assumption that the simulation should not contain any oracular information. In particular, we show that, while classically simulating two qubits tested with the Peres-Mermin set requires $\log_2 24 \approx 4.585$ bits, simulating a single qutrit tested with the Yu-Oh set requires, at least, $5.740$ bits.
• ### Quantum predictions for an unmeasured system cannot be simulated with a finite-memory classical system(1705.07456)

March 29, 2018 quant-ph
We consider an ideal experiment in which unlimited nonprojective quantum measurements are sequentially performed on a system that is initially entangled with a distant one. At each step of the sequence, the measurements are randomly chosen between two. However, regardless of which measurement is chosen or which outcome is obtained, the quantum state of the pair always remains entangled. We show that the classical simulation of the reduced state of the distant system requires not only unlimited rounds of communication, but also that the distant system has infinite memory. Otherwise, a thermodynamical argument predicts heating at a distance. Our proposal can be used for experimentally ruling out nonlocal finite-memory classical models of quantum theory.
• ### A simple explanation of Born's rule(1801.06347)

Jan. 19, 2018 quant-ph
Identifying the property of the world that enforces the Born rule is a longstanding problem in physics. We prove that in any physical theory that assigns probabilities to the outcomes of ideal measurements, the maximal set of probability assignments for each graph of exclusivity is the one that satisfies the Born rule. Therefore, the agreement between quantum theory and experiments follows from a one-to-one correspondence between the logical possibilities and the physical possibilities and, in particular, implies that the outcomes of quantum measurements are not constrained by any physical reason.
• ### Device-independent certification of two bits of randomness from one entangled bit and Gisin's elegant Bell inequality(1707.00564)

Jan. 18, 2018 quant-ph
We prove that as conjectured by Ac\'{\i}n et al. [Phys. Rev. A 93, 040102(R) (2016)], two bits of randomness can be certified in a device-independent way from one bit of entanglement using the maximal quantum violation of Gisin's elegant Bell inequality. This suggests a surprising connection between maximal entanglement, complete sets of mutually unbiased bases, and elements of symmetric informationally complete positive operator-valued measures, on one side, and the optimal way of certifying maximal randomness, on the other.
• ### Avoiding apparent signaling in Bell tests for quantitative applications(1801.05739)

Jan. 17, 2018 quant-ph
Bell tests have become a powerful tool for quantifying security, randomness, entanglement, and many other properties, as well as for investigating fundamental physical limits. In all these cases, the specific experimental value of the Bell parameter is important as it leads to a quantitative conclusion. However, most experimental implementations aiming for high values of the Bell parameter suffer from the defect of showing signaling. This signaling can be attributed to systematic errors occurring due to weaknesses in the experimental designs. Here we point out the importance, for quantitative applications, to identify and address this problem. We present a set of experiments with polarization-entangled photons in which we point out common sources of systematic errors and demonstrate approaches to avoid them. This allows us to establish a reliable estimate for the Bell parameter.
• ### Space QUEST mission proposal: Experimentally testing decoherence due to gravity(1703.08036)

Jan. 9, 2018 quant-ph, gr-qc
Models of quantum systems on curved space-times lack sufficient experimental verification. Some speculative theories suggest that quantum properties, such as entanglement, may exhibit entirely different behavior to purely classical systems. By measuring this effect or lack thereof, we can test the hypotheses behind several such models. For instance, as predicted by Ralph and coworkers [T C Ralph, G J Milburn, and T Downes, Phys. Rev. A, 79(2):22121, 2009, T C Ralph and J Pienaar, New Journal of Physics, 16(8):85008, 2014], a bipartite entangled system could decohere if each particle traversed through a different gravitational field gradient. We propose to study this effect in a ground to space uplink scenario. We extend the above theoretical predictions of Ralph and coworkers and discuss the scientific consequences of detecting/failing to detect the predicted gravitational decoherence. We present a detailed mission design of the European Space Agency's (ESA) Space QUEST (Space - Quantum Entanglement Space Test) mission, and study the feasibility of the mission schema.
• ### Self-testing properties of Gisin's elegant Bell inequality(1706.02130)

Oct. 5, 2017 quant-ph
An experiment in which the Clauser-Horne-Shimony-Holt inequality is maximally violated is self-testing (i.e., it certifies in a device-independent way both the state and the measurements). We prove that an experiment maximally violating Gisin's elegant Bell inequality is not similarly self-testing. The reason can be traced back to the problem of distinguishing an operator from its complex conjugate. We provide a complete and explicit characterization of all scenarios in which the elegant Bell inequality is maximally violated. This enables us to see exactly how the problem plays out.
• ### Proposed experiment to test fundamentally binary theories(1611.05761)

Sept. 5, 2017 quant-ph
Fundamentally binary theories are nonsignaling theories in which measurements of many outcomes are constructed by selecting from binary measurements. They constitute a sensible alternative to quantum theory and have never been directly falsified by any experiment. Here we show that fundamentally binary theories are experimentally testable with current technology. For that, we identify a feasible Bell-type experiment on pairs of entangled qutrits. In addition, we prove that, for any n, quantum n-ary correlations are not fundamentally (n-1)-ary. For that, we introduce a family of inequalities that hold for fundamentally (n-1)-ary theories but are violated by quantum n-ary correlations.
• ### Quantum correlations with a gap between the sequential and spatial cases(1706.10042)

July 21, 2017 quant-ph
We address the problem of whether parties who cannot communicate but share nonsignaling quantum correlations between the outcomes of sharp measurements can distinguish, just from the value of a correlation observable, whether their outcomes were produced by sequential compatible measurements on single systems or by measurements on spatially separated subsystems. We show that there are quantum correlations between the outcomes of sequential measurements which cannot be attained with spatially separated systems. We present examples of correlations between spatially separated systems whose quantum maximum tends to the sequential maximum as the number of parties increases and examples of correlations between spatially separated systems whose quantum maximum fails to violate the noncontextual bound while its corresponding sequential version does.
• ### The Exclusivity Principle Determines the Correlation Monogamy(1707.03250)

July 11, 2017 quant-ph
Adopting the graph-theoretic approach to the correlation experiments, we analyze the origin of monogamy and prove that it can be recognised as a consequence of exclusivity principle(EP). We provide an operational criterion for monogamy: if the fractional packing number of the graph corresponding to the union of event sets of several physical experiments does not exceed the sum of independence numbers of each individual experiment graph, then these experiments are monogamous. As applications of this observation, several examples are provided, including the monogamy for experiments of Clauser-Horne-Shimony-Holt (CHSH) type, Klyachko-Can-Binicio\u{g}lu-Shumovsky (KCBS) type, and for the first time we give some monogamy relations of Swetlichny's genuine nonlocality. We also give the necessary and sufficient condition for several experiments to be monogamous: several experiments are monogamous if and only if the Lov\'asz number the union exclusive graph is less than or equal to the sum of independence numbers of each exclusive graph.
• ### Noncontextual wirings(1705.07911)

May 22, 2017 quant-ph
Contextuality is a fundamental feature of quantum theory and is necessary for quantum computation and communication. Serious steps have therefore been taken towards a formal framework for contextuality as an operational resource. However, the most important component for a resource theory - a concrete, explicit form for the free operations of contextuality - was still missing. Here we provide such a component by introducing noncontextual wirings: a physically-motivated class of contextuality-free operations with a friendly parametrization. We characterize them completely for the general case of black-box measurement devices with arbitrarily many inputs and outputs. As applications, we show that the relative entropy of contextuality is a contextuality monotone and that maximally contextual boxes that serve as contextuality bits exist for a broad class of scenarios. Our results complete a unified resource-theoretic framework for contextuality and Bell nonlocality.
• ### Single-photon quantum contextuality on a chip(1705.06237)

May 17, 2017 quant-ph
In classical physics, properties of the objects exist independently on the context, i.e. whether and how measurements are performed. Quantum physics showed this assumption to be wrong and that Nature is indeed "contextual". Contextuality has been observed in the simplest physical systems such as single particles, and plays fundamental roles in quantum computation advantage. Here, we demonstrate for the first time quantum contextuality in an integrated photonic chip. The chip implements different combinations of measurements on a single photon delocalized on four distinct spatial modes. We show violations of a CHSH-like non-contextuality inequality by 14 standard deviations. This paves the way to compact and portable devices for contextuality-based quantum-powered protocols.
• ### Comment on "Franson Interference Generated by a Two-Level System"(1703.05055)

March 16, 2017 quant-ph
In a recent Letter [Phys. Rev. Lett. 118, 030501 (2017)], Peiris, Konthasinghe, and Muller report a Franson interferometry experiment using pairs of photons generated from a two-level semiconductor quantum dot. The authors report a visibility of 66% and claim that this visibility "goes beyond the classical limit of 50% and approaches the limit of violation of Bell's inequalities (70.7%)." We explain why we do not agree with this last statement and how to fix the problem.
• ### Maximum nonlocality in the (3,2,2) scenario(1611.01699)

Dec. 28, 2016 quant-ph
We identify the simplest combinations of entanglement and incompatibility giving the maximum quantum violation for each of the 46 classes of tight Bell inequalities for the (3,2,2) scenario, i.e., three parties, two measurements per party, and two outcomes per measurement. This allows us to classify the maximum quantum nonlocality according to the simplest resources needed to achieve it. We show that entanglement and incompatibility only produce maximum nonlocality when they are combined in specific ways. For each entanglement class there is, in most cases, just one incompatibility class leading to maximum nonlocality. We also identify two interesting cases. We show that the maximum quantum violation of \'Sliwa inequality 23 only occurs when the third party measures the identity, so nonlocality cannot increase when we add a third party to the bipartite case. Almost quantum correlations predict that adding a new party increases nonlocality. This points out that either almost quantum correlations violate a fundamental principle or that there is a form of tripartite entanglement which quantum theory cannot account for. The other interesting case is the maximum quantum violation of \'Sliwa inequality 26, which, like the Mermin inequality, requires maximum incompatibility for all parties. In contrast, it requires a specific entangled state which has the same tripartite negativity as the W state.
• ### Device-Independent Certification of a Nonprojective Qubit Measurement(1604.01417)

Dec. 20, 2016 quant-ph
Quantum measurements on a two-level system can have more than two independent outcomes, and in this case, the measurement cannot be projective. Measurements of this general type are essential to an operational approach to quantum theory, but so far, the nonprojective character of a measurement can only be verified experimentally by already assuming a specific quantum model of parts of the experimental setup. Here, we overcome this restriction by using a device-independent approach. In an experiment on pairs of polarization-entangled photonic qubits we violate by more than 8 standard deviations a Bell-like correlation inequality that is valid for all sets of two-outcome measurements in any dimension. We combine this with a device-independent verification that the system is best described by two qubits, which therefore constitutes the first device-independent certification of a nonprojective quantum measurement.
• ### The unspeakable why(1612.02680)

Dec. 8, 2016 quant-ph
For years, the biggest unspeakable in quantum theory has been why quantum theory and what is quantum theory telling us about the world. Recent efforts are unveiling a surprisingly simple answer. Here we show that two characteristic limits of quantum theory, the maximum violations of Clauser-Horne-Shimony-Holt and Klyachko-Can-Binicio\u{g}lu-Shumovsky inequalities, are enforced by a simple principle. The effectiveness of this principle suggests that non-realism is the key that explains why quantum theory.
• ### Nonlocality from local contextuality(1603.08254)

Nov. 23, 2016 quant-ph
We experimentally show that nonlocality can be produced from single-particle contextuality by using two-particle correlations which do not violate any Bell inequality by themselves. This demonstrates that nonlocality can come from an {\em a priori} different simpler phenomenon, and connects contextuality and nonlocality, the two critical resources for, respectively, quantum computation and secure communication. From the perspective of quantum information, our experiment constitutes a proof of principle that quantum systems can be used simultaneously for both quantum computation and secure communication.
• ### Interpretations of quantum theory: A map of madness(1509.04711)

Nov. 23, 2016 quant-ph
• ### Thermodynamical cost of some interpretations of quantum theory(1509.03641)

Nov. 23, 2016 quant-ph
The interpretation of quantum theory is one of the longest-standing debates in physics. Type I interpretations see quantum probabilities as determined by intrinsic properties of the observed system. Type II see them as relational experiences between an observer and the system. It is usually believed that a decision between these two options cannot be made simply on purely physical grounds but requires an act of metaphysical judgment. Here we show that, under some assumptions, the problem is decidable using thermodynamics. We prove that type I interpretations are incompatible with the following assumptions: (i) The choice of which measurement is performed can be made randomly and independently of the system under observation, (ii) the system has limited memory, and (iii) Landauer's erasure principle holds.
• ### Quantum correlations are stronger than all nonsignaling correlations produced by n-outcome measurements(1505.04179)

Oct. 14, 2016 quant-ph
We show that, for any n, there are m-outcome quantum correlations, with m>n, which are stronger than any nonsignaling correlation produced from selecting among n-outcome measurements. As a consequence, for any n, there are m-outcome quantum measurements that cannot be constructed by selecting locally from the set of n-outcome measurements. This is a property of the set of measurements in quantum theory that is not mandatory for general probabilistic theories. We also show that this prediction can be tested through high-precision Bell-type experiments and identify past experiments providing evidence that some of these strong correlations exist in nature. Finally, we provide a modified version of quantum theory restricted to having at most n-outcome quantum measurements.
• ### Quantum state-independent contextuality requires 13 rays(1606.01848)

Sept. 9, 2016 quant-ph
We show that, regardless of the dimension of the Hilbert space, there exists no set of rays revealing state-independent contextuality with less than 13 rays. This implies that the set proposed by Yu and Oh in dimension three [Phys. Rev. Lett. 108, 030402 (2012)] is actually the minimal set in quantum theory. This contrasts with the case of Kochen-Specker sets, where the smallest set occurs in dimension four.
• ### Experimental demonstration of the connection between quantum contextuality and graph theory(1607.06633)

July 22, 2016 quant-ph
We report a method that exploits a connection between quantum contextuality and graph theory to reveal any form of quantum contextuality in high-precision experiments. We use this technique to identify a graph which corresponds to an extreme form of quantum contextuality unnoticed before and test it using high-dimensional quantum states encoded in the linear transverse momentum of single photons. Our results open the door to the experimental exploration of quantum contextuality in all its forms, including those needed for quantum computation.