Source author record

Adan Cabello

Adan Cabello appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

61works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

61 published item(s)

preprint2022arXiv

Ruling out real-valued standard formalism of quantum theory

Standard quantum theory was formulated with complex-valued Schrodinger equations, wave functions, operators, and Hilbert spaces. Previous work attempted to simulate quantum systems using only real numbers by exploiting an enlarged Hilbert space. A fundamental question arises: are complex numbers really necessary in the standard formalism of quantum theory? To answer this question, a quantum game has been developed to distinguish standard quantum theory from its real-number analog by revealing a contradiction in the maximum game scores between a high-fidelity multi-qubit quantum experiment and players using only real-number quantum theory. Here, using superconducting qubits, we faithfully experimentally implement the quantum game based on entanglement swapping with a state-of-the-art fidelity of 0.952(1), which beats the real-number bound of 7.66 by 43 standard deviations. Our results disprove the real-number formulation and establish the indispensable role of complex numbers in the standard quantum theory.

preprint2016arXiv

Quantum correlations are stronger than all nonsignaling correlations produced by n-outcome measurements

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.

preprint2015arXiv

Necessary and sufficient condition for quantum state-independent contextuality

We solve the problem of whether a set of quantum tests reveals state-independent contextuality and use this result to identify the simplest set of the minimal dimension. We also show that identifying state-independent contextuality graphs [R. Ramanathan and P. Horodecki, Phys. Rev. Lett. 112, 040404 (2014)] is not sufficient for revealing state-independent contextuality.

preprint2015arXiv

Simple explanation of the quantum limits of genuine $n$-body nonlocality

Quantum $n$-body correlations cannot be explained with $(n-1)$-body nonlocality. However, this genuine $n$-body nonlocality cannot surpass certain bounds. Here we address the problem of identifying the principles responsible for these bounds. We show that, for any $n \ge 2$, the exclusivity principle, as derived from axioms about sharp measurements, and a technical assumption give the exact bounds predicted by quantum theory. This provides a unified explanation of the bounds of single-body contextuality and $n$-body nonlocality, and connects two programs towards understanding quantum theory.

preprint2014arXiv

Bounding the quantum dimension with contextuality

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. 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.

preprint2014arXiv

Device-independent certification of high-dimensional quantum systems

An important problem in quantum information processing is the certification of the dimension of quantum systems without making assumptions about the devices used to prepare and measure them, that is, in a device-independent manner. A crucial question is whether such certification is experimentally feasible for high-dimensional quantum systems. Here we experimentally witness in a device-independent manner the generation of six-dimensional quantum systems encoded in the orbital angular momentum of single photons and show that the same method can be scaled, at least, up to dimension 13.

preprint2014arXiv

Experimental observation of Hardy-like quantum contextuality

Contextuality is a fundamental property of quantum theory and a critical resource for quantum computation. Here, we experimentally observe the arguably cleanest form of contextuality in quantum theory [A. Cabello \emph{et al.}, Phys. Rev. Lett. \textbf{111}, 180404 (2013)] by implementing a novel method for performing two sequential measurements on heralded photons. This method opens the door to a variety of fundamental experiments and applications.

preprint2014arXiv

Fundamental monogamy relation between contextuality and nonlocality

We show that the no-disturbance principle imposes a tradeoff between locally contextual correlations violating the Klyachko-Can-Binicioglu-Shumovski inequality and spatially separated correlations violating the Clauser-Horne-Shimony-Holt inequality. The violation of one inequality forbids the violation of the other. We also obtain the corresponding monogamy relation imposed by quantum theory for a qutrit-qubit system. Our results show the existence of fundamental monogamy relations between contextuality and nonlocality that suggest that entanglement might be a particular form of a more fundamental resource.

preprint2014arXiv

Graph-Theoretic Approach to Quantum Correlations

Correlations in Bell and noncontextuality inequalities can be expressed as a positive linear combination of probabilities of events. Exclusive events can be represented as adjacent vertices of a graph, so correlations can be associated to a subgraph. We show that the maximum value of the correlations for classical, quantum, and more general theories is the independence number, the Lovász number, and the fractional packing number of this subgraph, respectively. We also show that, for any graph, there is always a correlation experiment such that the set of quantum probabilities is exactly the Grötschel-Lovász-Schrijver theta body. This identifies these combinatorial notions as fundamental physical objects and provides a method for singling out experiments with quantum correlations on demand.

preprint2014arXiv

Kochen-Specker set with seven contexts

The Kochen-Specker (KS) theorem is a central result in quantum theory and has applications in quantum information. Its proof requires several yes-no tests that can be grouped in contexts or subsets of jointly measurable tests. Arguably, the best measure of simplicity of a KS set is the number of contexts. The smaller this number is, the smaller the number of experiments needed to reveal the conflict between quantum theory and noncontextual theories and to get a quantum vs classical outperformance. The original KS set had 132 contexts. Here we introduce a KS set with seven contexts and prove that this is the simplest KS set that admits a symmetric parity proof.

preprint2014arXiv

Multigraph approach to quantum non-locality

Non-contextuality (NC) and Bell inequalities can be expressed as bounds $Ω$ for positive linear combinations $S$ of probabilities of events, $S \leq Ω$. Exclusive events in $S$ can be represented as adjacent vertices of a graph called the exclusivity graph of $S$. In the case that events correspond to the outcomes of quantum projective measurements, quantum probabilities are intimately related to the Grötschel-Lovász-Schrijver theta body of the exclusivity graph. Then, one can easily compute an upper bound to the maximum quantum violation of any NC or Bell inequality by optimizing $S$ over the theta body and calculating the Lovász number of the corresponding exclusivity graph. In some cases, this upper bound is tight and gives the exact maximum quantum violation. However, in general, this is not the case. The reason is that the exclusivity graph does not distinguish among the different ways exclusivity can occur in Bell-inequality (and similar) scenarios. An interesting question is whether there is a graph-theoretical concept which accounts for this problem. Here we show that, for any given $N$-partite Bell inequality, an edge-coloured multigraph composed of $N$ single-colour graphs can be used to encode the relationships of exclusivity between each party's parts of the events. Then, the maximum quantum violation of the Bell inequality is exactly given by a refinement of the Lovász number that applies to these edge-coloured multigraphs. We show how to calculate upper bounds for this number using a hierarchy of semi-definite programs and calculate upper bounds for $I_3$, $I_{3322}$ and the three bipartite Bell inequalities whose exclusivity graph is a pentagon. The multigraph-theoretical approach introduced here may remove some obstacles in the program of explaining quantum correlations from first principles.

preprint2013arXiv

All-Versus-Nothing Proof of Einstein-Podolsky-Rosen Steering

Einstein-Podolsky-Rosen steering is a form of quantum nonlocality intermediate between entanglement and Bell nonlocality. Although Schrödinger already mooted the idea in 1935, steering still defies a complete understanding. In analogy to "all-versus-nothing" proofs of Bell nonlocality, here we present a proof of steering without inequalities rendering the detection of correlations leading to a violation of steering inequalities unnecessary. We show that, given any two-qubit entangled state, the existence of certain projective measurement by Alice so that Bob's normalized conditional states can be regarded as two different pure states provides a criterion for Alice-to-Bob steerability. A steering inequality equivalent to the all-versus-nothing proof is also obtained. Our result clearly demonstrates that there exist many quantum states which do not violate any previously known steering inequality but are indeed steerable. Our method offers advantages over the existing methods for experimentally testing steerability, and sheds new light on the asymmetric steering problem.

preprint2013arXiv

Basic exclusivity graphs in quantum correlations

A fundamental problem is to understand why quantum theory only violates some noncontextuality (NC) inequalities and identify the physical principles that prevent higher-than-quantum violations. We prove that quantum theory only violates those NC inequalities whose exclusivity graphs contain, as induced subgraphs, odd cycles of length five or more, and/or their complements. In addition, we show that odd cycles are the exclusivity graphs of a well-known family of NC inequalities and that there is also a family of NC inequalities whose exclusivity graphs are the complements of odd cycles. We characterize the maximum noncontextual and quantum values of these inequalities, and provide evidence supporting the conjecture that the maximum quantum violation of these inequalities is exactly singled out by the exclusivity principle.

preprint2013arXiv

Bell inequalities for the simplest exclusivity graph

Which is the simplest logical structure for which there is quantum nonlocality? We show that there are only three bipartite Bell inequalities with quantum violation associated with the simplest graph of relationships of exclusivity with a quantum-classical gap. These are the most elementary logical Bell inequalities. We show that the quantum violation of some well-known Bell inequalities is related to them. We test the three Bell inequalities with pairs of polarization-entangled photons and report violations in good agreement with the quantum predictions. Unlike other experiments testing noncontextuality inequalities with pentagonal exclusivity, the ones reported here are free of the compatibility loophole.

preprint2013arXiv

Bounding quantum theory with the exclusivity principle in a two-city experiment

Why do correlations between the results of measurements performed on physical systems violate Bell and non-contextuality inequalities up to some specific limits? The answer may follow from the observation that in quantum theory, unlike in other theories, whenever there is an experiment to measure $A$ simultaneously with $B$, another to measure $B$ with $C$, and another to measure $A$ with $C$, there is always an experiment to measure all of them simultaneously. This property implies that quantum theory satisfies a seemingly irrelevant restriction called the exclusivity (E) principle which, surprisingly, explains the set of quantum correlations in some fundamental scenarios. An open problem is whether the E principle explains the maximum quantum violation of the Bell-CHSH inequality. Here we show experimentally that the E principle imposes an upper bound to the violation of the Bell-CHSH inequality that matches the maximum predicted by quantum theory. For that, we use the result of an independent experiment testing a specific non-contextuality inequality. We perform both experiments: the Bell-CHSH inequality experiment on polarization entangled states of pairs of photons in Stockholm and, to demonstrate independence, the non-contextuality inequality experiment on single photons' orbital angular momentum states in Rome. The observed results provide the first experimental evidence that the E principle determines the limits of quantum correlations and prove that hypothetical super-quantum violations for either experiment would violate the E principle. This supports the conclusion that the E principle captures a fundamental limitation of nature. If this is true, much of quantum theory trivially follow from merely taking the E principle to be a fundamental truth, and various information-theoretic postulates are also simplified and/or strengthened.

preprint2013arXiv

Detection efficiency for loophole-free Bell tests with entangled states affected by colored noise

Loophole-free Bell tests for quantum nonlocality and long-distance secure communication require photodetection efficiencies beyond a threshold eta_{crit} that depends on the Bell inequality and the noise affecting the entangled state received by the distant parties. Most calculations of eta_{crit} assume that the noise is random and can be modeled as white noise. However, most sources suffer from colored noise. Indeed, since entangled states are usually created as a superposition of two possible deexcitation paths, a partial distinguishability between the two processes leads to the appearance of colored noise in the generated state. Recently, there was a proposal for a loophole-free Bell test [A. Cabello and F. Sciarrino, Phys. Rev. X 2, 021010 (2012)], where a specific colored noise appears as a consequence of the precertification of the photon's presence through single-photon spontaneous parametric down-conversion. Here we obtain eta_{crit}, the optimal quantum states, and the local settings for a loophole-free Bell test as a function of the amount of colored noise. We consider three bipartite Bell inequalities with n dichotomic settings: Clauser-Horne-Shimony-Holt (n=2), I_{3322} (n=3), and A_5 (n=4), both for the case of symmetric efficiencies, corresponding to photon-photon Bell tests, and for the totally asymmetric case, corresponding to atom-photon Bell tests. Remarkably, in all these cases, eta_{crit} is robust against the colored noise. The present analysis can find application in any test of Bell inequalities in which the dominant noise is of the colored type.

preprint2013arXiv

Exclusivity structures and graph representatives of local complementation orbits

We describe a construction that maps any connected graph G on three or more vertices into a larger graph, H(G), whose independence number is strictly smaller than its Lovász number which is equal to its fractional packing number. The vertices of H(G) represent all possible events consistent with the stabilizer group of the graph state associated with G, and exclusive events are adjacent. Mathematically, the graph H(G) corresponds to the orbit of G under local complementation. Physically, the construction translates into graph-theoretic terms the connection between a graph state and a Bell inequality maximally violated by quantum mechanics. In the context of zero-error information theory, the construction suggests a protocol achieving the maximum rate of entanglement-assisted capacity, a quantum mechanical analogue of the Shannon capacity, for each H(G). The violation of the Bell inequality is expressed by the one-shot version of this capacity being strictly larger than the independence number. Finally, given the correspondence between graphs and exclusivity structures, we are able to compute the independence number for certain infinite families of graphs with the use of quantum non-locality, therefore highlighting an application of quantum theory in the proof of a purely combinatorial statement.

preprint2013arXiv

Experimental implementation of a Kochen-Specker set of quantum tests

The conflict between classical and quantum physics can be identified through a series of yes-no tests on quantum systems, without it being necessary that these systems be in special quantum states. Kochen-Specker (KS) sets of yes-no tests have this property and provide a quantum-versus-classical advantage that is free of the initialization problem that affects some quantum computers. Here, we report the first experimental implementation of a complete KS set that consists of 18 yes-no tests on four-dimensional quantum systems and show how to use the KS set to obtain a state-independent quantum advantage. We first demonstrate the unique power of this KS set for solving a task while avoiding the problem of state initialization. Such a demonstration is done by showing that, for 28 different quantum states encoded in the orbital-angular-momentum and polarization degrees of freedom of single photons, the KS set provides an impossible-to-beat solution. In a second experiment, we generate maximally contextual quantum correlations by performing compatible sequential measurements of the polarization and path of single photons. In this case, state independence is demonstrated for 15 different initial states. Maximum contextuality and state independence follow from the fact that the sequences of measurements project any initial quantum state onto one of the KS set's eigenstates. Our results show that KS sets can be used for quantum-information processing and quantum computation and pave the way for future developments.

preprint2013arXiv

Experimental unconditionally secure bit commitment

Bit commitment is a fundamental cryptographic task that guarantees a secure commitment between two mutually mistrustful parties and is a building block for many cryptographic primitives, including coin tossing, zero-knowledge proofs, oblivious transfer and secure two-party computation. Unconditionally secure bit commitment was thought to be impossible until recent theoretical protocols that combine quantum mechanics and relativity were shown to elude previous impossibility proofs. Here we implement such a bit commitment protocol. In the experiment, the committer performs quantum measurements using two quantum key distribution systems and the results are transmitted via free-space optical communication to two agents separated with more than 20 km. The security of the protocol relies on the properties of quantum information and relativity theory. We show that, in each run of the experiment, a bit is successfully committed with less than 5.68*10^-2 cheating probability. Our result demonstrates unconditionally secure bit commitment and the experimental feasibility of relativistic quantum communication.

preprint2013arXiv

Proposed experiment to exclude higher-than-quantum violations of the Bell inequality

We show that a recent observation by Yan leads to a method to experimentally test whether a higher-than-quantum violation of the Clauser-Horne-Shimony-Holt Bell inequality is possible (assuming that the sum of probabilities of pairwise exclusive propositions cannot exceed 1). The test requires reaching the maximum quantum violation of a noncontextuality inequality involving sequences of three compatible measurements on a five-dimensional quantum system.

preprint2013arXiv

Quantum contextuality for a relativistic spin-1/2 particle

The quantum predictions for a single nonrelativistic spin-1/2 particle can be reproduced by noncontextual hidden variables. Here we show that quantum contextuality for a relativistic electron moving in a Coulomb potential naturally emerges if relativistic effects are taken into account. The contextuality can be identified through the violation of noncontextuality inequalities. We also discuss quantum contextuality for the free Dirac electron as well as the relativistic Dirac oscillator.

preprint2013arXiv

Simple explanation of the quantum violation of a fundamental inequality

We show that the maximum quantum violation of the Klyachko-Can-Binicioglu-Shumovsky (KCBS) inequality is exactly the maximum value satisfying the following principle: The sum of probabilities of pairwise exclusive events cannot exceed 1. We call this principle "global exclusivity," since its power shows up when it is applied to global events resulting from enlarged scenarios in which the events in the inequality are considered jointly with other events. We identify scenarios in which this principle singles out quantum contextuality, and show that a recent proof excluding nonlocal boxes follows from the maximum violation imposed by this principle to the KCBS inequality.

preprint2013arXiv

Simple Hardy-like proof of quantum contextuality

Contextuality and nonlocality are two fundamental properties of nature. Hardy's proof is considered the simplest proof of nonlocality and can also be seen as a particular violation of the simplest Bell inequality. A fundamental question is: Which is the simplest proof of contextuality? We show that there is a Hardy-like proof of contextuality that can also be seen as a particular violation of the simplest noncontextuality inequality. Interestingly, this new proof connects this inequality with the proof of the Kochen-Specker theorem, providing the missing link between these two fundamental results, and can be extended to an arbitrary odd number $n$ of settings, an extension that can be seen as a particular violation of the $n$-cycle inequality.

preprint2013arXiv

State-independent contextuality with identical particles

It has been recently conjectured that the state-independency of quantum contextuality may be lost when the indistinguishability of identical particles is taken into account. Here, we show that quantum state-independent contextuality exists for any system of more than one identical bosonic qudits, and for most systems of fermionic qudits. The only exception is the case of d fermionic qudits, since there the dimension of the antisymmetric subspace is 1, which is insufficient for contextuality. For all the other cases, either the symmetry precludes the existence of physical states, or we provide an explicit method to produce quantum state-independent contextual correlations.

preprint2013arXiv

Twin inequality for fully contextual quantum correlations

Quantum mechanics exhibits a very peculiar form of contextuality. Identifying and connecting the simplest scenarios in which more general theories can or cannot be more contextual than quantum mechanics is a fundamental step in the quest for the principle that singles out quantum contextuality. The former scenario corresponds to the Klyachko-Can-Binicioglu-Shumovsky (KCBS) inequality. Here we show that there is a simple tight inequality, twin to the KCBS, for which quantum contextuality cannot be outperformed. In a sense, this twin inequality is the simplest tool for recognizing fully contextual quantum correlations.

preprint2013arXiv

Two Fundamental Experimental Tests of Nonclassicality with Qutrits

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 shows that the violation does not depend on the order of the measurements.

preprint2012arXiv

Aharon-Vaidman quantum game with a Young-type photonic qutrit

The Aharon-Vaidman (AV) game exemplifies the advantage of using simple quantum systems to outperform classical strategies. We present an experimental test of this advantage by using a three-state quantum system (qutrit) encoded in a spatial mode of a single photon passing through three slits. The preparation of a particular state is controlled as the photon propagates through the slits by varying the number of open slits and their respective phases. The measurements are achieved by placing detectors in the specific positions in the near and far fields after the slits. This set of tools allowed us to perform tomographic reconstructions of generalized qutrit states, and to implement the quantum version of the AV game with compelling evidence of the quantum advantage.

preprint2012arXiv

Bell inequalities from variable elimination methods

Tight Bell inequalities are facets of Pitowsky's correlation polytope and are usually obtained from its extreme points by solving the hull problem. Here we present an alternative method based on a combination of algebraic results on extensions of measures and variable elimination methods, e.g., the Fourier-Motzkin method. Our method is shown to overcome some of the computational difficulties associated with the hull problem in some non-trivial cases. Moreover, it provides an explanation for the arising of only a finite number of families of Bell inequalities in measurement scenarios where one experimenter can choose between an arbitrary number of different measurements.

preprint2012arXiv

Bosonic bunching does not reveal stronger quantum contextuality

In a recent paper, Kurzynski et al. present a gedanken experiment that, they claim, violates the Klyachko-Can-Binicioglu-Shumovsky (KCBS) noncontextuality (NC) inequality beyond its maximum quantum value, and a similar experiment that, they claim, violates Specker's NC inequality, which is not violated by quantum mechanics. We argue that these claims are baseless, since these experiments do not satisfy the conditions required for any observation of contextuality through the experimental violation of a NC inequality. Moreover, the physical events in the experiments of Kurzynski et al. do not have the relationships of exclusivity which the authors assume they have.

preprint2012arXiv

Experimental fully contextual correlations

Quantum correlations are contextual yet, in general, nothing prevents the existence of even more contextual correlations. We identify and test a noncontextuality inequality in which the quantum violation cannot be improved by any hypothetical postquantum theory, and use it to experimentally obtain correlations in which the fraction of noncontextual correlations is less than 0.06. Our correlations are experimentally generated from the results of sequential compatible tests on a four-state quantum system encoded in the polarization and path of a single photon.

preprint2012arXiv

Experimental observation of impossible-to-beat quantum advantage on a hybrid photonic system

Quantum resources outperform classical ones for certain communication and computational tasks. Remarkably, in some cases, the quantum advantage cannot be improved using hypothetical postquantum resources. A class of tasks with this property can be singled out using graph theory. Here we report the experimental observation of an impossible-to-beat quantum advantage on a four-dimensional quantum system defined by the polarization and orbital angular momentum of a single photon. The results show pristine evidence of the quantum advantage and are compatible with the maximum advantage allowed using postquantum resources.

preprint2012arXiv

Maximum quantum nonlocality between systems that never interacted

We show that there is a stronger form of bipartite quantum nonlocality in which systems that never interacted are as nonlocal as allowed by no-signaling. For this purpose, we first show that nonlocal boxes, theoretical objects that violate a bipartite Bell inequality as much as the no-signaling principle allows and which are physically impossible for most scenarios, are feasible if the two parties have 3 measurements with 4 outputs. Then we show that, in this case, entanglement swapping allows us to prepare mixtures of nonlocal boxes using systems that never interacted.

preprint2012arXiv

Minimal proofs of state-independent contextuality

It has been recently shown that state-independent contextuality (SIC) is a fundamental resource linked with a type of nonlocality which cannot be improved by nonsignaling resources. Therefore, it is of fundamental importance to identify the simplest sets of quantum observables needed to prove SIC. We show that d+10 rank-1 projectors are sufficient to prove SIC for any physical system in dimension d>2. This result outperforms both the best Kochen-Specker proofs and the results presented by Yu and Oh in arXiv:1112.5513v1.

preprint2012arXiv

Optimal inequalities for state-independent contextuality

Contextuality is a natural generalization of nonlocality which does not need composite systems or spacelike separation and offers a wider spectrum of interesting phenomena. Most notably, in quantum mechanics there exist scenarios where the contextual behavior is independent of the quantum state. We show that the quest for an optimal inequality separating quantum from classical noncontextual correlations in an state-independent manner admits an exact solution, as it can be formulated as a linear program. We introduce the noncontextuality polytope as a generalization of the locality polytope, and apply our method to identify two different tight optimal inequalities for the most fundamental quantum scenario with state-independent contextuality.

preprint2012arXiv

Proposed experiments of qutrit state-independent contextuality and two-qutrit contextuality-based nonlocality

Recent experiments have demonstrated ququart state-independent quantum contextuality and qutrit state-dependent quantum contextuality. So far, the most basic form of quantum contextuality pointed out by Kochen and Specker, and Bell, has eluded experimental confirmation. Here we present an experimentally feasible test to observe qutrit state-independent quantum contextuality using single photons in a three-path setup. In addition, we show that if the same measurements are performed on two entangled qutrits, rather than sequentially on the same qutrit, then the noncontextual inequality becomes a Bell inequality. We show that this connection also applies to other recently introduced noncontextual inequalities.

preprint2012arXiv

Quantum social networks

We introduce a physical approach to social networks (SNs) in which each actor is characterized by a yes-no test on a physical system. This allows us to consider SNs beyond those originated by interactions based on pre-existing properties, as in a classical SN (CSN). As an example of SNs beyond CSNs, we introduce quantum SNs (QSNs) in which actor is characterized by a test of whether or not the system is in a quantum state. We show that QSNs outperform CSNs for a certain task and some graphs. We identify the simplest of these graphs and show that graphs in which QSNs outperform CSNs are increasingly frequent as the number of vertices increases. We also discuss more general SNs and identify the simplest graphs in which QSNs cannot be outperformed.

preprint2012arXiv

Specker's fundamental principle of quantum mechanics

I draw attention to the fact that three recently proposed physical principles, namely "local orthogonality", "global exclusive disjunction", and "compatible orthogonality" are not new principles, but different versions of a principle that Ernst Specker noticed long ago. I include a video of Specker stating this principle in 2009 in the following terms: "Do you know what, according to me, is the fundamental theorem of quantum mechanics? (...) That is, if you have several questions and you can answer any two of them, then you can also answer all of them". I overview some results that suggest that Specker's principle may be of fundamental importance for explaining quantum contextuality. Specker passed away in December 10, 2011, at the age of 91.

preprint2012arXiv

State-independent quantum contextuality and maximum nonlocality

Recently, Yu and Oh [Phys. Rev. Lett. 108, 030402 (2012)] have conjectured that the simplest set of vectors needed to prove state-independent contextuality on a qutrit requires 13 vectors. Here we first prove that a necessary and sufficient condition for a set of vectors in any dimension $d \ge 3$ to prove contextuality for a system prepared in a maximally mixed state is that the graph $G_C$ in which vertices represent vectors and edges link orthogonal ones has chromatic number $χ(G_G)$ larger than $d$. Then, we prove Yu and Oh's conjecture. Finally, we prove that any set satisfying $χ(G_G)>d$ assisted with $d$-party maximum entanglement generates nonlocality which cannot be improved without violating the no-signalling principle. This shows that any set satisfying $χ(G_G)>d$ is a valuable resource for quantum information processing.

preprint2011arXiv

Experimental Device-independent Tests of Classical and Quantum Dimensions

A fundamental resource in any communication and computation task is the amount of information that can be transmitted and processed. Information encoded in a classical system is limited by the dimension d_c of the system, i.e., the number of distinguishable states. A system with d_c=2^n classical states can carry n bits of classical information. Information encoded in a quantum system is limited by the dimension d_q of the Hilbert space of the system, i.e., the number of perfectly distinguishable quantum states. A system with d_q=2^n perfectly distinguishable quantum states can carry n qubits of quantum information. Physical systems of higher dimensions may enable more efficient and powerful information processing protocols. The dimension is fundamental in quantum cryptography and random number generation, where the security of many schemes crucially relies on the system's dimension. From a fundamental perspective, the dimension can be used to quantify the non-classicality of correlations, since classical simulation of correlations produced by a quantum system of dimension d_q may require a classical system of dimension d_c >> d_q. For all these reasons, a fundamental problem in information theory is to assess the (classical or quantum) dimension of a physical system in a "device-independent" scenario, i.e., without referring to the system's specifications, which may be under control of a dishonest supplier, eavesdropper or saboteur. In this contribution we report experiments realizing this goal for systems emitted by a black box. Our results indicate that dimension witnesses utilized in the experiments may become a powerful tool for testing systems provided by unreliable sources.

preprint2011arXiv

Extreme nonlocality with one photon

Quantum nonlocality is typically assigned to systems of two or more well separated particles, but nonlocality can also exist in systems consisting of just a single particle, when one considers the subsystems to be distant spatial field modes. Single particle nonlocality has been confirmed experimentally via a bipartite Bell inequality. In this paper, we introduce an N-party Hardy-like proof of impossibility of local elements of reality and a Bell inequality for local realistic theories for a single particle superposed symmetrical over N spatial field modes (i.e. a N qubit W state). We show that, in the limit of large N, the Hardy-like proof effectively becomes an all-versus nothing (or GHZ-like) proof, and the quantum-classical gap of the Bell inequality tends to be same of the one in a three-particle GHZ experiment. We detail how to test the nonlocality in realistic systems.

preprint2011arXiv

Hybrid ququart-encoded quantum cryptography protected by Kochen-Specker contextuality

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 requiring entanglement or spatially separated composite systems. We analyze the maximum tolerated noise to guarantee the security of a KS-protected cryptographic scheme against these attacks, and describe a photonic realization of this scheme using hybrid ququarts defined by the polarization and orbital angular momentum of single photons.

preprint2011arXiv

Optimal preparation of graph states

We show how to prepare any graph state of up to 12 qubits with: (a) the minimum number of controlled-Z gates, and (b) the minimum preparation depth. We assume only one-qubit and controlled-Z gates. The method exploits the fact that any graph state belongs to an equivalence class under local Clifford operations. We extend up to 12 qubits the classification of graph states according to their entanglement properties, and identify each class using only a reduced set of invariants. For any state, we provide a circuit with both properties (a) and (b), if it does exist, or, if it does not, one circuit with property (a) and one with property (b), including the explicit one-qubit gates needed.

preprint2011arXiv

Proposal of a two-qutrit contextuality test free of the finite precision and compatibility loopholes

It has been argued that any test of quantum contextuality is nullified by the fact that perfect orthogonality and perfect compatibility cannot be achieved in finite precision experiments. We introduce experimentally testable two-qutrit violations of inequalities for noncontextual theories in which compatibility is guaranteed by the fact that measurements are performed on separated qutrits. The inequalities are inspired by the basic building block of the Kochen-Specker proof of quantum contextuality for a qutrit, despite the fact that their proof is completely independent of it.

preprint2011arXiv

Quantum contextuality for rational vectors

The Kochen-Specker theorem states that noncontextual hidden variable models are inconsistent with the quantum predictions for every yes-no question on a qutrit, corresponding to every projector in three dimensions. It has been suggested [D. A. Meyer, Phys. Rev. Lett. 83, 3751 (1999)] that the inconsistency would disappear when we are restricted to projectors on unit vectors with rational components; that noncontextual hidden variables could reproduce the quantum predictions for rational vectors. Here we show that a qutrit state with rational components violates an inequality valid for noncontextual hidden-variable models [A. A. Klyachko et al., Phys. Rev. Lett. 101, 020403 (2008)] using rational projectors. This shows that the inconsistency remains even when using only rational vectors.

preprint2010arXiv

(Non-)Contextuality of Physical Theories as an Axiom

We show that the noncontextual inequality proposed by Klyachko et al. [Phys. Rev. Lett. 101, 020403 (2008)] belongs to a broader family of inequalities, one associated to each compatibility structure of a set of events (a graph), and its independence number. These have the surprising property that the maximum quantum violation is given by the Lovasz theta-function of the graph, which was originally proposed as an upper bound on its Shannon capacity. Furthermore, probabilistic theories beyond quantum mechanics may have an even larger violation, which is given by the so-called fractional packing number. We discuss in detail, and compare, the sets of probability distributions attainable by noncontextual, quantum, and generalized models; the latter two are shown to have semidefinite and linear characterizations, respectively. The implications for Bell inequalities, which are examples of noncontextual inequalities, are discussed. In particular, we show that every Bell inequality can be recast as a noncontextual inequality a la Klyachko et al.

preprint2010arXiv

All-versus-nothing proofs with n qubits distributed between m parties

All-versus-nothing (AVN) proofs show the conflict between Einstein, Podolsky, and Rosen's elements of reality and the perfect correlations of some quantum states. Given an n-qubit state distributed between m parties, we provide a method with which to decide whether this distribution allows an m-partite AVN proof specific for this state using only single-qubit measurements. We apply this method to some recently obtained n-qubit m-particle states. In addition, we provide all inequivalent AVN proofs with less than nine qubits and a minimum number of parties.

preprint2010arXiv

Entanglement in eight-qubit graph states

Any 8-qubit graph state belongs to one of the 101 equivalence classes under local unitary operations within the Clifford group. For each of these classes we obtain a representative which requires the minimum number of controlled-Z gates for its preparation, and calculate the Schmidt measure for the 8-partite split, and the Schmidt ranks for all bipartite splits. This results into an extension to 8 qubits of the classification of graph states proposed by Hein, Eisert, and Briegel [Phys. Rev. A 69, 062311 (2004)].

preprint2010arXiv

Proposal for revealing quantum nonlocality via local contextuality

Two distant systems can exhibit quantum nonlocality even though the correlations between them admit a local model. This nonlocality can be revealed by testing extra correlations between successive measurements on one of the systems which do not admit a noncontextual model whatever the reduced state of this system is. This shows that quantum contextuality plays a fundamental role in quantum nonlocality, and allows an experimental test of the Kochen-Specker with locality theorem.

preprint2010arXiv

Proposed test of macroscopic quantum contextuality

We show that, for any system with a number of levels which can be identified with n qubits, there is an inequality for the correlations between three compatible dichotomic measurements which must be satisfied by any noncontextual theory, but is violated by any quantum state. Remarkably, the violation grows exponentially with n, and the tolerated error per correlation also increases with n, showing that state-independent quantum contextuality is experimentally observable in complex systems.

preprint2010arXiv

Quantum Byzantine Agreement with a Single Qutrit

Quantum mechanics provides several methods to generate and securely distribute private lists of numbers suitably correlated to solve the Three Byzantine Generals Problem. So far, these methods are based on three-qutrit singlet states, four-qubit entangled states, and three or two pairwise quantum key distribution channels. Here we show that the problem can be solved using a single qutrit. This scheme presents some advantages over previous schemes, and emphasizes the specific role of qutrits in basic quantum information processing.

preprint2010arXiv

State-independent quantum contextuality for continuous variables

Recent experiments have shown that nature violates noncontextual inequalities regardless of the state of the physical system. So far, all these inequalities involve measurements of dichotomic observables. We show that state-independent quantum contextuality can also be observed in the correlations between measurements of observables with genuinely continuous spectra, highlighting the universal character of the effect.

preprint2009arXiv

Hidden variable models for quantum mechanics can have local parts

We criticize Colbeck and Renner's (CR's) statement that "any hidden variable model can only be compatible with quantum mechanics if its local part is trivial" [Phys. Rev. Lett. 101, 050403 (2008)]. We note that CR's attempt to divide a nonlocal hidden variable model into a "local part" and a "nonlocal part" contains a restriction on the latter. This restriction implies that the division is really into a "local part" and a "nonsignaling nonlocal part." CR's nonsignaling requirement on the "nonlocal part" cannot be physically motivated, since the hidden variables cannot be accessed by experimenters. Nor is it a natural mathematical generalization from the local hidden variable case, since it is simple to make a generalization without CR's requirement. We give an explicit nonlocal hidden variable model that, in the case the restriction is not enforced, contains nontrivial local hidden variables.

preprint2009arXiv

Minimum detection efficiency for a loophole-free violation of the Braunstein-Caves chained Bell inequalities

The chained Bell inequalities of Braunstein and Caves involving N settings per observer have some interesting applications. Here we obtain the minimum detection efficiency required for a loophole-free violation of the Braunstein-Caves inequalities for any N > 2. We discuss both the case in which both particles are detected with the same efficiency and the case in which the particles are detected with different efficiencies.

preprint2009arXiv

Pentagrams and paradoxes

Klyachko and coworkers consider an orthogonality graph in the form of a pentagram, and in this way derive a Kochen-Specker inequality for spin 1 systems. In some low-dimensional situations Hilbert spaces are naturally organised, by a magical choice of basis, into SO(N) orbits. Combining these ideas some very elegant results emerge. We give a careful discussion of the pentagram operator, and then show how the pentagram underlies a number of other quantum "paradoxes", such as that of Hardy.

preprint2007arXiv

Minimum detection efficiency for a loophole-free atom-photon Bell experiment

In Bell experiments, one problem is to achieve high enough photodetection to ensure that there is no possibility of describing the results via a local hidden-variable model. Using the Clauser-Horne inequality and a two-photon non-maximally entangled state, a photodetection efficiency higher than 0.67 is necessary. Here we discuss atom-photon Bell experiments. We show that, assuming perfect detection efficiency of the atom, it is possible to perform a loophole-free atom-photon Bell experiment whenever the photodetection efficiency exceeds 0.50.

preprint2001arXiv

Addendum to ``Quantum key distribution without alternative measurements''

Recently, Zhang, Li, and Guo have proposed a particular eavesdropping attack [Phys. Rev. A {\bf 63}, 036301 (2001), quant-ph/0009042] which shows that my quantum key distribution protocol based on entanglement swapping [Phys. Rev. A {\bf 61}, 052312 (2000), quant-ph/9911025] is insecure. However, security against this attack can be attained with a simple modification. In addition, a simpler version of the protocol using four qubits is introduced.

preprint1999arXiv

Kochen-Specker theorem and experimental test on hidden variables

A recent proposal to experimentally test quantum mechanics against noncontextual hidden-variable theories [Phys. Rev. Lett. 80, 1797 (1998)] is shown to be related with the smallest proof of the Kochen-Specker theorem currently known [Phys. Lett. A 212, 183 (1996)]. This proof contains eighteen yes-no questions about a four-dimensional physical system, combined in nine mutually incompatible tests. When these tests are considered as tests about a two-part two-state system, then quantum mechanics and non-contextual hidden variables make the same predictions for eight of them, but make different predictions for the ninth. Therefore, this ninth test would allow us to discriminate between quantum mechanics and noncontextual hidden-variable theories in a (gedanken) single run experiment.