Related papers: The Equivalence between Hardy-type paradox and Log…
Since the pillars of quantum theory were established, it was already noted that quantum physics may allow certain correlations defying any local realistic picture of nature, as first recognized by Einstein, Podolsky and Rosen. These quantum…
Hardy's nonlocality is a "nonlocality proof without inequalities": it exemplifies that quantum correlations can be qualitatively stronger than classical correlations. This paper introduces variants of Hardy's nonlocality in the CHSH…
A classical probabilistic explanation for Hardy's quantum paradox is demonstrated.
If a quantum system is prepared and later post-selected in certain states, "paradoxical" predictions for intermediate measurements can be obtained. This is the case both when the intermediate measurement is strong, i.e. a projective…
We show that all $n$-qubit entangled states, with the exception of tensor products of single-qubit and bipartite maximally-entangled states, admit Hardy-type proofs of non-locality without inequalities or probabilities. More precisely, we…
Hardy's proof is considered the simplest proof of nonlocality. Here we introduce an equally simple proof that (i) has Hardy's as a particular case, (ii) shows that the probability of nonlocal events grows with the dimension of the local…
Contextuality is a key feature of quantum mechanics that provides an important non-classical resource for quantum information and computation. Abramsky and Brandenburger used sheaf theory to give a general treatment of contextuality in…
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.…
Many seemingly paradoxical effects are known in the predictions for outcomes of measurements made on pre- and post-selected quantum systems. A class of such effects, which we call ``logical pre- and post-selection paradoxes'', bear a…
A relativistic version of the (consistent or decoherent) histories approach to quantum theory is developed on the basis of earlier work by Hartle, and used to discuss relativistic forms of the paradoxes of spherical wave packet collapse,…
Tests such as Bell's inequality and Hardy's paradox show that joint probabilities and correlations between distant particles in quantum mechanics are inconsistent with local realistic theories. Here we experimentally demonstrate these…
Wigner's Friend scenarios push the boundaries of quantum theory by modeling agents, along with their memories storing measurement outcomes, as physical quantum systems. Extending these ideas beyond quantum theory, we ask: in which physical…
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…
Cabello-Severini-Winter and Abramsky-Hardy (building on the framework of Abramsky-Brandenburger) both provide classes of Bell and contextuality inequalities for very general experimental scenarios using vastly different mathematical…
We study bisimulation and context equivalence in a probabilistic $\lambda$-calculus. The contributions of this paper are threefold. Firstly we show a technique for proving congruence of probabilistic applicative bisimilarity. While the…
Cyclic systems of dichotomous random variables have played a prominent role in contextuality research, describing such experimental paradigms as the Klyachko-Can-Binicoglu-Shumovky, Einstein-Podolsky-Rosen-Bell, and Leggett-Garg ones in…
Logical paradoxes and inconsistent information pose deep challenges in epistemology and the philosophy of logic. Classical systems typically handle contradictions only through external checks or by altering the logical framework, as in…
We present a formal theory of contextuality for a set of random variables grouped into different subsets (contexts) corresponding to different, mutually incompatible conditions. Within each context the random variables are jointly…
Logic programming has developed as a rich field, built over a logical substratum whose main constituent is a nonclassical form of negation, sometimes coexisting with classical negation. The field has seen the advent of a number of…
In the present Note it is shown that Hardy thought experiment does not lead to any paradox and its explanation can be made by using quantum mechanical methods, without the need of weak measurements theories. The confusion arising about this…