We consider a toy model for non-local quantum correlations in which nature resorts to some form of hidden signaling (i.e., signaling between boxes but not available to the users) to generate correlations. We show that if such a model also had memory, the parties would be able to exploit the hidden-signaling and use it to send a message, achieving faster-than-light communication. Given that memory is a resource easily available for any physical system, our results add evidence against hidden signaling as the mechanism behind nature's non-local behavior
Random numbers are an important resource for applications such as numerical simulation and secure communication. However, it is difficult to certify whether a physical random number generator is truly unpredictable. Here, we exploit the phenomenon of quantum nonlocality in a loophole-free photonic Bell test experiment for the generation of randomness that cannot be predicted within any physical theory that allows one to make independent measurement choices and prohibits superluminal signaling. To certify and quantify the randomness, we describe a new protocol that performs well in an experimen…
Local variables can't describe the quantum correlations observed in tests of Bell inequalities. Likewise, we show that nonlocal variables can't describe quantum correlations in a relativistic time-order invariant way.
We consider alternative models to quantum mechanics, that have been proposed in the recent years in order to explain the EPR correlations between two particles. These models allow in principle local hidden variables produced at the source, and some superluminal "hidden communication" (or "influences") to reproduce the non-local correlations. Moving to the case of three particles, we show that these alternative models lead to signaling when "hidden communication" alone is considered as the origin of the correlations.
Recently, Roger Colbeck and Renato Renner (C&R) have claimed that '[n]o extension of quantum theory can have improved predictive power'. If correct, this is a spectacular impossibility theorem for hidden variable theories, which is more general than the theorems of Bell and Leggett. C&R's claim essentially means that in any hidden variable theory that is compatible with quantum-mechanical predictions, probabilities of measurement outcomes are independent of these hidden variables. On closer inspection, however, the generality and validity of the claim can be contested. First, it is based on an…
It is shown that, although correct mathematically, the celebrated 1932 theorem of von Neumann which is often interpreted as proving the impossibility of the existence of "hidden variables" in Quantum Mechanics, is in fact based on an assumption which is physically not reasonable. Apart from that, the alleged conclusion of von Neumann proving the impossibility of the existence of "hidden variables" was already set aside in 1952 by the counterexample of the possibility of a physical theory, such as given by what is usually called the "Bohmian Mechanics". Similar arguments apply to other two well…
The experimental violation of Bell inequalities using spacelike separated measurements precludes the explanation of quantum correlations through causal influences propagating at subluminal speed. Yet, any such experimental violation could always be explained in principle through models based on hidden influences propagating at a finite speed v>c, provided v is large enough. Here, we show that for any finite speed v with c<v<infinity, such models predict correlations that can be exploited for faster-than-light communication. This superluminal communication does not require access to any hidden …
The impossibility of superluminal communication is a fundamental principle of physics. Here we show that this principle underpins the performance of several fundamental tasks in quantum information processing and quantum metrology. In particular, we derive tight no-signaling bounds for probabilistic cloning and super-replication that coincide with the corresponding optimal achievable fidelities and rates known. In the context of quantum metrology, we derive the Heisenberg limit from the no-signaling principle for certain scenarios including reference frame alignment and maximum likelihood stat…
Summoning is a task between two parties, Alice and Bob, with distributed networks of agents in space-time. Bob gives Alice a random quantum state, known to him but not her, at some point. She is required to return the state at some later point, belonging to a subset defined by communications received from Bob at other points. Many results about summoning, including the impossibility of unrestricted summoning tasks and the necessary conditions for specific types of summoning tasks to be possible, follow directly from the quantum no-cloning theorem and the relativistic no-superluminal-signalling…
The superposition principle is fundamental to quantum theory. Yet a recent no-go theorem has proved that quantum theory forbids superposition of unknown quantum states, even with nonzero probability. The implications of this result, however, remain poorly understood so far. In this paper we show that the existence of a protocol that superposes two unknown pure states with nonzero probability (allowed to vary over input states) leads to violation of other no-go theorems. In particular, such a protocol can be used to perform certain state discrimination and cloning tasks that are forbidden not o…
We reconsider the concept of multi-prover commitments, as introduced in the late eighties in the seminal work by Ben-Or et al. As was recently shown by Crépeau et al., the security of known two-prover commitment schemes not only relies on the explicit assumption that the provers cannot communicate, but also depends on their information processing capabilities. For instance, there exist schemes that are secure against classical provers but insecure if the provers have quantum information processing capabilities, and there are schemes that resist such quantum attacks but become insecure when con…
Hidden nonlocality is the phenomenon that entangled states can be local in the standard Bell scenario but display nonlocality after local filtering. However, there exist entangled states for which all measurement statistics can be described via a local hidden variable model even after local filtering. In this work we consider the scenario that measurement outcomes and settings of Alice can influence measurements of Bob in subsequent time steps (and vice versa), however, there is no signaling among them for measurements at the same time step. We show that in this scenario states that only displ…
Bell's theorem implies that any completion of quantum mechanics which uses hidden variables (that is, preexisting values of all observables) must be nonlocal in the Einstein sense. This customarily indicates that knowledge of the hidden variables would permit superluminal communication. Such superluminal signaling, akin to the existence of a preferred reference frame, is to be expected. However, here we provide a protocol that allows an observer with knowledge of the hidden variables to communicate with her own causal past, without superluminal signaling. That is, such knowledge would contradi…
One of the formulations of Heisenberg uncertainty principle, concerning so-called measurement uncertainty, states that the measurement of one observable modifies the statistics of the other. Here, we derive such a measurement uncertainty principle from two comprehensible assumptions: impossibility of instantaneous messaging at a distance (no-signaling), and violation of Bell inequalities (non-locality). The uncertainty is established for a pair of observables of one of two spatially separated systems that exhibit non-local correlations. To this end, we introduce a gentle form of measurement wh…
One of the formulations of Heisenberg uncertainty principle, concerning so-called measurement uncertainty, states that the measurement of one observable modifies the statistics of the other. Here, we derive such a measurement uncertainty principle from two comprehensible assumptions: impossibility of instantaneous messaging at a distance (no-signaling), and violation of Bell inequalities (non-locality). The uncertainty is established for a pair of observables of one of two spatially separated systems that exhibit non-local correlations. To this end, we introduce a gentle form of measurement wh…
We understand emergent quantum mechanics in the sense that quantum mechanics describes processes of physical emergence relating an assumed sub-quantum physics to macroscopic boundary conditions. The latter can be shown to entail top-down causation, in addition to usual bottom-up scenarios. With this example it is demonstrated that definitions of "realism" in the literature are simply too restrictive. A prevailing manner to define realism in quantum mechanics is in terms of pre-determination independent of the measurement. With our counter-example, which actually is ubiquitous in emergent, or s…
This article identifies a series of properties common to all theories that do not allow for superluminal signaling and predict the violation of Bell inequalities. Intrinsic randomness, uncertainty due to the incompatibility of two observables, monogamy of correlations, impossibility of perfect cloning, privacy of correlations, bounds in the shareability of some states; all these phenomena are solely a consequence of the no-signaling principle and nonlocality. In particular, it is shown that for any distribution, the properties of (i) nonlocal, (ii) no arbitrarily shareable and (iii) positive s…
One of the fundamental restrictions that quantum mechanics imposes is the "No deletion Theorem" which tells us that given two identical unknown quantum states, it is impossible to delete one of them. But nevertheless if not perfect, people have tried to delete it approximately. In these approximate deleting processes our basic target is to delete one of the two identical copies as much as possible while preserving the other copy. In this brief report, by using the No communication theorem (NCT) (impossibility of sending signal faster than light using a quantum resource) as a guiding principle,…
The impossibility of theories with hidden variables as an alternative and replacement for quantum mechanics was discussed by J. von Neumann in 1932. His proof was criticized as being logically circular, by Grete Hermann soon after, and as fundamentally flawed, by John Bell in 1964. Bell's severe criticism of Neumann's proof and the explicit (counter) example of a hidden variable model for the measurement of a quantum spin are considered by most researchers, though not all, as the definitive demonstration that Neumann's proof is inadequate. Despite being an argument of mathematical physics, an …
Quantum mechanics postulates random outcomes. However, a model making the same output predictions but in a deterministic manner would be, in principle, experimentally indistinguishable from quantum theory. In this work we consider such models in the context of non-locality on a device independent scenario. That is, we study pairs of non-local boxes that produce their outputs deterministically. It is known that, for these boxes to be non-local, at least one of the boxes' output has to depend on the other party's input via some kind of hidden signaling. We prove that, if the deterministic mechan…
Colbeck and Renner [arXiv:0801.2218] analyzed a class of combined models for entanglements in which local and non-local hidden variables cooperate for producing the measurement results. They came to the conclusion that the measurement results are fully independent of the local components of the hidden variables. Their conclusion is based mainly on an assumption on the local hidden variables, assumption similar to the non-signaling property of probabilities of observables' values. In the present text it is proved that hidden variables are not observables, so their distributions of probabilities…
In this paper, without any priori assumption about the post-measurement state of system, we will examine how this state is restricted by assuming each of these following assumptions. First, by using this reasonable assumption that two successive measurements should be describable as one measurement. Second, by assuming the impossibility of faster than light signaling, "No-signaling condition". However, only by using these assumptions it is not possible to obtain the usual projection postulate. Instead, by means of a simple lemma, we will show that the density operator of system after a measure…
The experimental violation of Bell inequality establishes necessary but not sufficient conditions that any theory must obey. Namely, a theory compatible with the experimental observations can satisfy at most two of the three hypotheses at the basis of Bell's theorem: free will, no-signaling, and outcome-Independence. Quantum mechanics satisfies the first two hypotheses but not the latter. Experiments not only violate Bell inequality, but show an excellent agreement with quantum mechanics. This fact restricts further the class of admissible theories. In this work, the author determines the form…
Since Bell's theorem, it is known that quantum correlations cannot be described by local variables (LV) alone: if one does not want to abandon classical mechanisms for correlations, a superluminal form of communication among the particles must be postulated. A natural question is whether such a postulate would imply the possibility of superluminal signaling. Here we show that the assumption of finite-speed superluminal communication indeed leads to signaling when no LV are present, and more generally when only LV derivable from quantum statistics are allowed. When the most general LV are allow…
Recently a new impulse has been given to the experimental investigation of contextuality. In this paper we show that for a widely used definition of contextuality there can be no decisive experiment on the existence of contextuality. To this end, we give a clear presentation of the hidden variable models due to Meyer, Kent and Clifton (MKC), which would supposedly nullify the Kochen-Specker Theorem. Although we disagree with this last statement, the models play a significant role in the discussion on the meaning of contextuality. In fact, we introduce a specific MKC-model of which we show that…
Since Bell's theorem we know that quantum mechanics is incompatible with local hidden-variable models, the phenomenon known as quantum nonlocality. However, despite steady progress over the years, precise characterization of the set of quantum correlations remained elusive. There are correlations compatible with the no-signaling principle and still beyond what can be achieved within quantum theory, which has motivated the search for physical principles and computational methods to decide the quantum or postquantum behavior of correlations. Here, we identify a feature of Bell correlations that …
We propose a hidden variable analysis of collapse dynamics in which the state's reduction process may take a finite time $δt$. A full characterization of the model is given for the case of black boxes. By introducing nonlocal perfect correlations to a two black-boxes scenario, it is shown that in order to avoid faster than light communication, the reduction time associated to the system must be strictly null. Furthermore we prove that the result above holds even when there is a time window between the choice of both part's inputs. Our results represent a new evidence of the instantaneous natur…
For a hidden variable theory to be indistinguishable from quantum theory for finite precision measurements, it is enough that its predictions agree for some measurement within the range of precision. Meyer has recently pointed out that the Kochen-Specker theorem, which demonstrates the impossibility of a deterministic hidden variable description of ideal spin measurements on a spin 1 particle, can thus be effectively nullified if only finite precision measurements are considered. We generalise this result: it is possible to ascribe consistent outcomes to a dense subset of the set of projection…
In this paper, we show that Erwin Schroedinger's generalization of the Einstein Podolsky Rosen argument can be connected to certain mathematical theorems - Gleason's and also Kochen and Specker's - in a manner analogous to the relation of EPR itself with Bell's theorem. In both cases, the conclusion is quantum nonlocality, as we discuss. The "Schroedinger nonlocality" proofs share some features with the Greenberger, Horne, and Zeilinger quantum-nonlocality work, yet also differ in significant ways. For clarity and completeness, we begin with a detailed discussion of the topic of hidden variabl…
Mutually unbiased bases encapsulate the concept of complementarity - the impossibility of simultaneous knowledge of certain observables - in the formalism of quantum theory. Although this concept is at the heart of quantum mechanics, the number of these bases is unknown except for systems of dimension being a power of a prime. We develop the relation between this physical problem and the mathematical problem of finding the number of mutually orthogonal Latin squares. We derive in a simple way all known results about the unbiased bases, find their lower number, and disprove the existence of cer…
If YES, then we can look forward to physical realization of superluminal communication, as the original considerations of the ``no-cloning'' theorem were motivated in part as an explanation of why certain schemes for superluminal signaling cannot work. If NO, then it would seem that some aspects of the ``hidden'' variables must be ``intrinsically hidden'', i.e., ``unknowable'', such that ``hidden-variable'' theories belong more to the ``idealist'' than to the ``realist'' school of thought. I pose this question without proposing a definite answer. I am unaware of any commentary on this topic du…
The essence of Bell's theorem is that, in general, quantum statistics cannot be reproduced by local hidden variable (LHV) model. This impossibility is strongly manifested while analyzing the singlet state statistics for Bell-CHSH violations. In this work, we provide various subsets of two outcome POVMs for which a local hidden variable model can be constructed for singlet state.
Since the analysis by John Bell in 1965, the consensus in the literature is that von Neumann's 'no hidden variables' proof fails to exclude any significant class of hidden variables. Bell raised the question whether it could be shown that any hidden variable theory would have to be nonlocal, and in this sense 'like Bohm's theory.' His seminal result provides a positive answer to the question. I argue that Bell's analysis misconstrues von Neumann's argument. What von Neumann proved was the impossibility of recovering the quantum probabilities from a hidden variable theory of dispersion free (de…
While entanglement and violation of Bell inequalities were initially thought to be equivalent quantum phenomena, we now have different examples of entangled states whose correlations can be described by local hidden--variable models and, therefore, do not violate any Bell inequality. We provide an up to date overview of the existing local hidden--variable models for entangled quantum states, both in the bipartite and multipartite case, and discuss some of the most relevant open questions in this context. Our review covers twenty five years of this line of research since the seminal work by Wer…
Collapse models including some external noise of unknown origin are routinely used to describe phenomena on the quantum-classical border; in particular, quantum measurement. Although containing nonlinear dynamics and thereby exposed to the possibility of superluminal signaling in individual events, such models are widely accepted on the basis of fully reproducing the non-signaling statistical predictions of quantum mechanics. Here we present a deterministic nonlinear model without any external noise, in which randomness - instead of being universally present - emerges in the measurement proces…
Blind quantum computing enables a client, who can only generate or measure single-qubit states, to delegate quantum computing to a remote quantum server in such a way that the input, output, and program are hidden from the server. It is an open problem whether a completely classical client can delegate quantum computing blindly. In this paper, we show that if a completely classical client can blindly delegate sampling of subuniversal models, such as the DQC1 model and the IQP model, then the polynomial-time hierarchy collapses to the third level. Our delegation protocol is the one where the cl…
We consider discriminating between bipartite boxes with 2 binary inputs and 2 binary outputs (2x2) using the class of completely locality preserving operations i.e. those, which transform boxes with local hidden variable model (LHVM) into boxes with LHVM, and have this property even when tensored with identity operation. Following approach developed in entanglement theory we derive linear program which gives an upper bound on the probability of success of discrimination between different isotropic boxes. In particular we provide an upper bound on the probability of success of discrimination be…
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$ ($C$) must be false (true). We call such a set a {\em true-implies-false set} (TIFS) [{\em true-implies-true set} (TITS)]. Here we identify all the minimal TIFSs and TITSs…
Operational quasiprobability formulation of non-signaling in time for macrorealism violations
Istituto Nazionale di Ottica del Consiglio Nazionale delle Ricerche (CNR-INO)（意大利国家光学研究所）；European Laboratory for Non-linear Spectroscopy, Universitá di Firenze（佛罗伦萨大学非线性光谱学欧洲实验室）；Dipartimento di Fisica, Università di Genova（热那亚大学物理系）；INFN - Sezione di Genova（意大利国家核物理研究所热那亚分部）
It is known that any quantum algorithm for Graph Isomorphism that works within the framework of the hidden subgroup problem (HSP) must perform highly entangled measurements across Omega(n log n) coset states. One of the only known models for how such a measurement could be carried out efficiently is Kuperberg's algorithm for the HSP in the dihedral group, in which quantum states are adaptively combined and measured according to the decomposition of tensor products into irreducible representations. This ``quantum sieve'' starts with coset states, and works its way down towards representations w…
Two notions of nonclassicality that have been investigated intensively are: (i) negativity, that is, the need to posit negative values when representing quantum states by quasiprobability distributions such as the Wigner representation, and (ii) contextuality, that is, the impossibility of a noncontextual hidden variable model of quantum theory (also known as the Bell-Kochen-Specker theorem). Although both of these notions were meant to characterize the conditions under which a classical explanation cannot be provided, we demonstrate that they prove inadequate to the task and we argue for a pa…
The two previous papers developed quantum mechanical formalism from classical mechanics and two additional postulates. In the first paper it was also shown that the uncertainty relations possess no ontological validity and only reflect the formalism's limitations. In this paper, a Realist Interpretation of quantum mechanics based on these results is elaborated and compared to the Copenhagen Interpretation. We demonstrate that von Neumann's proof of the impossibility of a hidden variable theory is not correct, independently of Bell's argumentation. A local hidden variable theory is found for no…
John Bell taught us that quantum mechanics can not be reproduced by non-contextual and local Hidden variable theory. The impossibility of replacing quantum mechanics by non-contextual Hidden Variable Theory can be turned to a impossible coloring pseudo-telepathy game to be played by two distant players. The game can not be won without communication in the classical world. But if the players share entangled state (quantum correlation) the game can be won deterministically using no communication. This again shows that though quantum correlation can not be used for communication, two parties can …
It is known that any quantum algorithm for Graph Isomorphism that works within the framework of the hidden subgroup problem (HSP) must perform highly entangled measurements across Ω(n \log n) coset states. One of the only known models for how such a measurement could be carried out efficiently is Kuperberg's algorithm for the HSP in the dihedral group, in which quantum states are adaptively combined and measured according to the decomposition of tensor products into irreducible representations. This ``quantum sieve'' starts with coset states, and works its way down towards representations whos…
We consider a temporal version of the CHSH scenario using projective measurements on a single quantum system. It is known that quantum correlations in this scenario are fundamentally more general than correlations obtainable with the assumptions of macroscopic realism and non-invasive measurements. In this work, we also educe some fundamental limitations of these quantum correlations. One result is that a set of correlators can appear in the temporal CHSH scenario if and only if it can appear in the usual spatial CHSH scenario. In particular, we derive the validity of the Tsirelson bound and t…
Quantum Mechanics (QM) is a very special probabilistic theory, yet we don't know which operational principles make it so. All axiomatization attempts suffer at least one postulate of a mathematical nature. Here I will analyze the possibility of deriving QM as the mathematical representation of a "fair operational framework", i.e. a set of rules which allows the experimenter to make predictions on future "events" on the basis of suitable "tests", e.g. without interference from uncontrollable sources. Two postulates need to be satisfied by any fair operational framework: NSF: "no-signaling from …
Recent experiments of Groeblacher et al. proved the violation of a Leggett-type inequality that was claimed to be valid for a broad class of non-local hidden-variable theories. The impossibility of constructing a non-local and realistic theory, unless it entails highly counterintuitive features, seems thus to have been experimentally proved. This would bring us close to a definite refutation of realism. Indeed, realism was proved to be also incompatible with locality, according to a series of experiments testing Bell inequalities. The present paper addresses the said experiments of Groeblacher…
The generation of series of random numbers is an important and difficult problem. Appropriate measurements on entangled states have been proposed as the definitive solution, based on the impossibility of exploiting quantum non locality to get faster than light signaling. There is a controversy regarding what is preferable to produce series with utilizable randomness in practice, high or low entanglement. We prepare biphotons with three different levels of entanglement, easy entangled, marginally entangled and no entangled. Randomness is evaluated, independently of the quantum non locality argu…
Relativistic causality, namely, the impossibility of signaling at superluminal speeds, restricts the kinds of correlations which can occur between different parts of a composite physical system. Here we establish the basic restrictions which relativistic causality imposes on the joint probabilities involved in an experiment of the Einstein-Podolsky-Rosen-Bohm type. Quantum mechanics, on the other hand, places further restrictions beyond those required by general considerations like causality and consistency. We illustrate this fact by considering the sum of correlations involved in the CHSH in…
Non-locality is the phenomenon of observing strong correlations among the outcomes of local measurements of a multipartite physical system. No-signaling boxes are the abstract objects for studying non-locality, and wirings are local operations on the space of no-signaling boxes. This means that, no matter how non-local the nature is, the set of physical non-local correlations must be closed under wirings. Then, one approach to identify the non-locality of nature is to characterize closed sets of non-local correlations. Although non-trivial examples of wirings of no-signaling boxes are known, t…
Although regarded today as an important resource in quantum information, nonlocality has yielded over the years many conceptual conundrums. Among the latter are nonlocal aspects of single particles which have been of major interest. In this paper, the nonlocality of single quanta is studied in a square nested Mach-Zehnder interferometer with spatially separated detectors using a delayed choice modification of quantum measurement outcomes that depend on the complex-valued weak values. We show that if spacelike separated Bob and Alice are allowed to freely control their quantum devices, the geom…
International Centre for Theory of Quantum Technologies, University of Gdańsk（格但斯克大学量子技术理论国际中心）；Instituto de Física Gleb Wataghin, Universidade Estadual de Campinas（坎皮纳斯州立大学格列布·瓦塔金物理研究所）；Division of Quantum Optics and Information, Institute of Theoretical Physics and Astrophysics, Faculty of Mathematics, Physics and Informatics, University of Gdańsk（格但斯克大学数学、物理与信息学院理论物理与天体物理研究所量子光学与信息分部）
