
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.

We present the first experimental confirmation of the quantummechanical
prediction of strongerthanbinary 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 twostep process in
which, in the first step, some classical mechanism precludes $n2$ 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 threeoutcome measurements are performed.
We report a violation by {9.3} standard deviations of the optimal inequality
for nonsignaling binary correlations.

An essential ingredient in many examples of the conflict between quantum
theory and noncontextual hidden variables (e.g., the proof of the
KochenSpecker 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 trueimpliesfalse set (TIFS)
[resp. trueimpliestrue 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 KochenSpecker sets.

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
stateindependent 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 PeresMermin set requires
$\log_2 24 \approx 4.585$ bits, simulating a single qutrit tested with the
YuOh set requires, at least, $5.740$ bits.

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 finitememory classical models of quantum theory.

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

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 deviceindependent 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 operatorvalued measures, on one
side, and the optimal way of certifying maximal randomness, on the other.

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

Models of quantum systems on curved spacetimes 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.

An experiment in which the ClauserHorneShimonyHolt inequality is maximally
violated is selftesting (i.e., it certifies in a deviceindependent way both
the state and the measurements). We prove that an experiment maximally
violating Gisin's elegant Bell inequality is not similarly selftesting. 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.

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 Belltype experiment on pairs of entangled qutrits. In
addition, we prove that, for any n, quantum nary correlations are not
fundamentally (n1)ary. For that, we introduce a family of inequalities that
hold for fundamentally (n1)ary theories but are violated by quantum nary
correlations.

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.

Adopting the graphtheoretic 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
ClauserHorneShimonyHolt (CHSH) type, KlyachkoCanBinicio\u{g}luShumovsky
(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.

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
physicallymotivated class of contextualityfree operations with a friendly
parametrization. We characterize them completely for the general case of
blackbox 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 resourcetheoretic framework for contextuality and Bell nonlocality.

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 CHSHlike noncontextuality inequality by 14 standard deviations. This paves
the way to compact and portable devices for contextualitybased quantumpowered
protocols.

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

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.

Quantum measurements on a twolevel 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
deviceindependent approach. In an experiment on pairs of
polarizationentangled photonic qubits we violate by more than 8 standard
deviations a Belllike correlation inequality that is valid for all sets of
twooutcome measurements in any dimension. We combine this with a
deviceindependent verification that the system is best described by two
qubits, which therefore constitutes the first deviceindependent certification
of a nonprojective quantum measurement.

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
ClauserHorneShimonyHolt and KlyachkoCanBinicio\u{g}luShumovsky
inequalities, are enforced by a simple principle. The effectiveness of this
principle suggests that nonrealism is the key that explains why quantum
theory.

We experimentally show that nonlocality can be produced from singleparticle
contextuality by using twoparticle 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.

Motivated by some recent news, a journalist asks a group of physicists:
"What's the meaning of the violation of Bell's inequality?" One physicist
answers: "It means that nonlocality is an established fact". Another says:
"There is no nonlocality; the message is that measurement outcomes are
irreducibly random". A third one says: "It cannot be answered simply on purely
physical grounds, the answer requires an act of metaphysical judgement".
Puzzled by the answers, the journalist keeps asking questions about quantum
theory: "What is teleported in quantum teleportation?" "How does a quantum
computer really work?" Shockingly, for each of these questions, the journalist
obtains a variety of answers which, in many cases, are mutually exclusive. At
the end of the day, the journalist asks: "How do you plan to make progress if,
after 90 years of quantum theory, you still don't know what it means? How can
you possibly identify the physical principles of quantum theory or expand
quantum theory into gravity if you don't agree on what quantum theory is
about?" Here we argue that it is becoming urgent to solve this too long lasting
problem. For that, we point out that the interpretations of quantum theory are,
essentially, of two types and that these two types are so radically different
that there must be experiments that, when analyzed outside the framework of
quantum theory, lead to different empirically testable predictions. Arguably,
even if these experiments do not end the discussion, they will add new elements
to the list of strange properties that some interpretations must have,
therefore they will indirectly support those interpretations that do not need
to have all these strange properties.

The interpretation of quantum theory is one of the longeststanding 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.

We show that, for any n, there are moutcome quantum correlations, with m>n,
which are stronger than any nonsignaling correlation produced from selecting
among noutcome measurements. As a consequence, for any n, there are moutcome
quantum measurements that cannot be constructed by selecting locally from the
set of noutcome 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 highprecision Belltype
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 noutcome quantum measurements.

We show that, regardless of the dimension of the Hilbert space, there exists
no set of rays revealing stateindependent 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 KochenSpecker sets, where the smallest set
occurs in dimension four.

We report a method that exploits a connection between quantum contextuality
and graph theory to reveal any form of quantum contextuality in highprecision
experiments. We use this technique to identify a graph which corresponds to an
extreme form of quantum contextuality unnoticed before and test it using
highdimensional 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.