Recently, [{arXiv:0810.3134}] is accepted and published. We present ultimate version of no-hidden-variables theorem. We derive a proposition concerning the quantum theory under the existence of the Bloch sphere in a single spin-1/2 system. The existence of a single classical probability space for measurement outcome within the formalism of von Neumann's projective measurement does not coexist with the proposition concerning the quantum theory. We have to give up the existence of such a classical probability space for measurement outcome in the two-dimensional Hilbert space formalism of the quantum theory. The quantum theory does not accept a hidden-variable interpretation in the two-dimensional space.
The commitment of bits between two mutually distrustful parties is a powerful cryptographic primitive with which many cryptographic objectives can be achieved. It is widely believed that unconditionally secure quantum bit commitment is impossible due to quantum entanglement cheating, which is codified in a general impossibility theorem. Gaps in the proof of this impossibility theorem are found. An unconditionally secure bit commitment protocol utilizing anonymous quantum states and the no-clone theorem is presented below with a full security proof.
It is generally believed that unconditionally secure quantum bit commitment (QBC) is proven impossible by a "no-go theorem". We point out that the theorem only establishes the existence of a cheating unitary transformation in any QBC scheme secure against the receiver, but this fact alone is not sufficient to rule out unconditionally secure QBC as a matter of principle, because there exists no proof that the cheating unitary transformation must be known to the cheater in all possible cases. In this work, we show how to circumvent the "no-go theorem" and prove that unconditionally secure QBC is…
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 …
We show that the fidelity result of advantage distillation (Bennett et al, Phys. Rev. Lett., 76, 722(1996)) is not only for the product state of raw pairs, it is actually correct with whatever form of state of raw pairs. We then give a general theorem for unconditional entanglement purification. This theorem lists the conditions on which the fidelity result of a purification protocol keeps unchanged from product form of raw-pair state and arbitrary form of raw-pair state. Using this theorem, we find that all existing purification puricfication can work for arbitrary initial state of raw pairs.
Unconditionally secure quantum bit commitment (QBC) was considered impossible. But the no-go proofs are based on the Hughston-Jozsa-Wootters (HJW) theorem (a.k.a. the Uhlmann theorem). Recently it was found that in high-dimensional systems, there exist some states which can display a chaos effect in quantum steering, so that the attack strategy based on the HJW theorem has to require the capability of discriminating quantum states with very subtle difference, to the extent that is not allowed by the uncertainty principle. With the help of this finding, here we propose a simple QBC protocol whi…
We derive a bound for the security of QKD with finite resources under one-way post-processing, based on a definition of security that is composable and has an operational meaning. While our proof relies on the assumption of collective attacks, unconditional security follows immediately for standard protocols like Bennett-Brassard 1984 and six-states. For single-qubit implementations of such protocols, we find that the secret key rate becomes positive when at least N\sim 10^5 signals are exchanged and processed. For any other discrete-variable protocol, unconditional security can be obtained us…
It has recently been questioned whether the Kochen-Specker theorem is relevant to real experiments, which by necessity only have finite precision. We give an affirmative answer to this question by showing how to derive hidden-variable theorems that apply to real experiments, so that non-contextual hidden variables can indeed be experimentally disproved. The essential point is that for the derivation of hidden-variable theorems one does not have to know which observables are really measured by the apparatus. Predictions can be derived for observables that are defined in an entirely operational …
Bell's theorem proves only that hidden variables evolving in true physical time can't exist; still the theorem's meaning is usually interpreted intolerably wide. The concept of hidden time (and, in general, hidden space-time) is introduced. Such concept provides a whole new class of physical theories, fully compatible with current knowledge, but giving new tremendous possibilities. Those theories do not violate Bell's theorem.
The impossibility proof on unconditionally secure quantum bit commitment is critically reviewed. Different ways of obtaining secure protocols are indicated.
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…
We apply the machinery of projection lattices and von Neumann algebras to analyze the question of how modal interpretations can (and do) circumvent von Neumann's infamous 'no-hidden-variables' theorem.
We extend to any maximally entangled state of a bipartite system whose constituents are arbitrarily (but finite) dimensional the result, recently derived for two-dimensional constituents, that hidden variable theories cannot have local parts, i.e., that their local averages cannot differ from the quantum mechanical ones.
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…
No-go theorems assert that hidden-variable theories, subject to appropriate hypotheses, cannot reproduce the predictions of quantum theory. We examine two species of such theorems, value no-go theorems and expectation no-go theorems. The former assert that hidden-variables cannot match the predictions of quantum theory about the possible values resulting from measurements; the latter assert that hidden-variables cannot match the predictions of quantum theory about the expectation values of measurements. We sharpen the known results of both species, which allows us to clarify the similarities a…
It is observed that the proofs of hidden-variable no-go theorems depend on the `projection postulate,' which is seen to be contradictory with respect to spin operators in directions orthogonal to the magnetic field direction. In this light it is argued that it is less costly to abandon the projection postulate than to abandon locality and this in turn renders Hidden-Variable No-Go Theorems evadible. To buttress this point, a local realist model of the EPR experiment which ignores the constraints of the projection postulate is presented.
The purpose of this article is to formulate a number of probabilistic hidden-variable theorems, to provide proofs in some cases, and counterexamples to some conjectured relationships. The first theorem is the fundamental one. It asserts the general equivalence of the existence of a hidden variable and the existence of a joint probability distribution of the observed quatities, whether finite or continuous.
It is shown that no theory that satisfies certain premises can exclude faster-than-light influences. The premises include neither the existence of hidden variables, nor counterfactual definiteness, nor any premise that effectively entails the general existence of outcomes of unperformed local measurements. All the premises are compatible with Copenhagen philosophy, and the principles and predictions of relativistic quantum field theory. The present proof is contrasted with an earlier one with the same objective.
Assuming that quantum mechanics is obeyed exactly after averaging over hidden variables, and considering models that obey both the hypotheses of free will and locality, we establish the form of all possible hidden-variable models that reproduce the spin-singlet.
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 …
We discuss the problem of hidden variables and the motivation for introducting them in quantum mechanics. These include determinism, and the problem of meassurement and incompleteness. We first discuss Von-Neumann's imposisbility proof and then analyse it's weakness in terms of Bell's explicit hidden variable model of spin one-half particles. We next discuss Gleason's theorem and Kochen-Specker theorem and bring out the troublems with non contextual hidden variable theories. An important role is played by Einstein locality in the discussion of hidden variable theories as was first brought out …
H. P. Stapp has proposed a number of demonstrations of a Bell-type theorem which dispensed with an assumption of hidden variables, but relied only upon locality together with an assumption that experimenters can choose freely which of several incompatible observables to measure. In recent papers his strategy has centered upon counterfactual conditionals. Stapp's paper in American Journal of Physics, 2004, replies to objections raised against earlier expositions of this strategy and proposes a simplified demonstration. The new demonstration is criticized, several subtleties in the logic of coun…
The strongest attack against quantum mechanics came in 1935 in the form of a paper by Einstein, Podolsky and Rosen. It was argued that the theory of quantum mechanics could not be called a complete theory of Nature, for every element of reality is not represented in the formalism as such. The authors then put forth a proposition: we must search for a theory where, upon knowing everything about the system, including possible hidden variables, one could make precise predictions concerning elements of reality. This project was ultimatly doomed in 1964 with the work of Bell Bell, who showed that t…
In this talk I present a simple derivation of an old result of Kochen and Specker, which is apparently unrelated to the famous work of Bell on hidden variables, but is presumably equally important. Kochen and Specker showed in 1967 that quantum mechanics cannot be embedded into a classical stochastic theory, provided the quantum theoretical probability distributions are reproduced and one additional highly desirable property is satisfied. This showed in a striking manner what were the difficulties in implementing the Einstein programme of a `complete' version of quantum mechanics.
Von Neumann use 4 assumptions to derive the Hilbert space (HS) formulation of quantum mechanics (QM). Within this theory dispersion free ensembles do not exist. To accommodate a theory of quantum mechanics that allow dispersion free ensemble some of the assumptions need be modified. An existing formulation of QM, the phase space (PS) formulation allow dispersion free ensembles and thus is qualifies as an hidden variable theory. Within the PS theory we identify the violated assumption (dubbed I in the text) to be the one that requires that the value r for the quantity $\mathbb{R}$ implies the v…
This paper implements in a simple but rigorous fashion a model of particle interaction involving all paths within a quantum system, both for configuration space and for spin. The model, which we call the space of all paths, leads to a locally explicable conceptual framework for quantum mechanics. Using it we present two counterexamples to Bell's theorem. Moreover, we show that the result places severe constraints on possible viable interpretations of quantum mechanics: Either an interpretation must in some form represent a quantum system in terms of all paths within the system or, alternativel…
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…
In a recent article Giustina et al. [Phys. Rev. Lett. 115, 250401 (2015)] report on an advanced Bell experiment, simultaneously closing loopholes for local hidden-variable theories. The authors claim that 'local realism' has been refuted, unless 'truly exotic hypotheses' are made. Here I argue that a particularly wide and natural class of local hidden-variable theories survives, for instance when the hidden variables describe a background field. Such background-based theories exploit the freedom-of-choice loophole, which cannot be closed for this type of hidden variables. The dynamics of such …
In quantum theory, no-go theorems are important as they rule out the existence of a particular physical model under consideration. For instance, the Greenberger-Horne-Zeilinger (GHZ) theorem serves as a no-go theorem for the nonexistence of local hidden variable models by presenting a full contradiction for the multipartite GHZ states. However, the elegant GHZ argument for Bell's nonlocality does not go through for bipartite Einstein-Podolsky-Rosen (EPR) state. Recent study on quantum nonlocality has shown that the more precise description of EPR's original scenario is "steering", i.e., the no…
It is generally assumed that {\em local realism} represented by a noncontextual and local hidden-variables model in $d=4$ such as the one used by Bell always gives rise to CHSH inequality $|\langle B\rangle|\leq 2$. On the other hand, the contraposition of Gisin's theorem states that the inequality $|\langle B\rangle|\leq 2$ for arbitrary parameters implies (pure) separable quantum states. The fact that local realism can describe only pure separable quantum states is naturally established in hidden-variables models, and it is quantified by $G({\bf a},{\bf b})= 4[\langle ψ|P({\bf a})\otimes P({…
We prove that all deterministic hidden-variables theories, that reproduce quantum theory for a 'quantum equilibrium' distribution of hidden variables, predict the existence of instantaneous signals at the statistical level for hypothetical 'nonequilibrium ensembles'. This signal-locality theorem generalises yet another property of the pilot-wave theory of de Broglie and Bohm. The theorem supports the hypothesis that in the remote past the universe relaxed to a state of statistical equilibrium (at the hidden-variable level) in which nonlocality happens to be masked by quantum noise.
Malley discussed {[Phys. Rev. A {\bf 69}, 022118 (2004)]} that all quantum observables in a hidden-variable model for quantum events must commute simultaneously. In this comment, we discuss that Malley's theorem is indeed valid for the hidden-variable theoretical assumptions, which were introduced by Kochen and Specker. However, we give an example that the local hidden-variable (LHV) model for quantum events preserves noncommutativity of quantum observables. It turns out that Malley's theorem is not related with the LHV model for quantum events, in general.
This paper furthers the long historical examination of and debate on the foundations of quantum mechanics (QM) by presenting two local hidden variable (LHV) rules in the context of the EPRB experiment which violate Bell's inequality, but which are nevertheless local and deterministic under reasonable definitions of the terms, and coincide approximately with the conventional QM prediction. The theories are based on the general idea of probabilistic detection of particles depending on an interaction of hidden variables within the measuring device and particle, and relate mathematically to Fourie…
Experiments motivated by Bell's theorem have led some physicists to conclude that quantum theory is nonlocal. However, the theoretical basis for such claims is usually taken to be Bell's Theorem, which shows only that if certain predictions of quantum theory are correct, and a strong hidden-variable assumption is valid, then a certain locality condition must fail. This locality condition expresses the idea that what an experimenter freely chooses to measure in one spacetime region can have no effect of any kind in a second region situated spacelike relative to the first. The experimental resul…
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…
Hidden variables are extra components added to try to banish counterintuitive features of quantum mechanics. We start with a quantum-mechanical model and describe various properties that can be asked of a hidden-variable model. We present six such properties and a Venn diagram of how they are related. With two existence theorems and three no-go theorems (EPR, Bell, and Kochen-Specker), we show which properties of empirically equivalent hidden-variable models are possible and which are not. Formally, our treatment relies only on classical probability models, and physical phenomena are used only…
We focus on a data sequence produced by repetitive quantum measurement on an internal hidden quantum system, and call it a hidden Markovian process. Using a quantum version of the Perron-Frobenius theorem, we derive novel upper and lower bounds for the cumulant generating function of the sample mean of the data. Using these bounds, we derive the central limit theorem and large and moderate deviations for the tail probability. Then, we give the asymptotic variance is given by using the second derivative of the cumulant generating function. We also derive another expression for the asymptotic va…
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…
Basing on the Chetaev's theorem on stable trajectories in dynamics in the presence of dissipative forces we obtain a generalized stability condition for Hamiltonian systems that has the form of the Schrodinger equation. We show that the energy of the dissipative forces generating generalized Chetaev's stability condition exactly coincides with Bohm's "quantum" potential. Using the principle of least action of perturbation we prove that the Bohmian quantum mechanics complemented with the Chetaev's generalized theorem does not have hidden variables.
Unconditionally secure bit commitment is forbidden by quantum mechanics. We extend this no-go theorem to continuous-variable protocols where both players are restricted to use Gaussian states and operations, which is a reasonable assumption in current-state optical implementations. Our Gaussian no-go theorem also provides a natural counter-example to a conjecture that quantum mechanics can be rederived from the assumption that key distribution is allowed while bit commitment is forbidden in Nature.
Unconditionally secure two-party bit commitment based solely on the principles of quantum mechanics (without exploiting special relativistic signalling constraints, or principles of general relativity or thermodynamics) has been shown to be impossible, but the claim is repeatedly challenged. The quantum bit commitment theorem is reviewed here and the central conceptual point, that an `Einstein-Podolsky-Rosen' attack or cheating strategy can always be applied, is clarified. The question of whether following such a cheating strategy can ever be disadvantageous to the cheater is considered and an…
Forty years ago, Wiesner pointed out that quantum mechanics raises the striking possibility of money that cannot be counterfeited according to the laws of physics. We propose the first quantum money scheme that is (1) public-key, meaning that anyone can verify a banknote as genuine, not only the bank that printed it, and (2) cryptographically secure, under a "classical" hardness assumption that has nothing to do with quantum money. Our scheme is based on hidden subspaces, encoded as the zero-sets of random multivariate polynomials. A main technical advance is to show that the "black-box" versi…
Hidden variables theories for quantum mechanics are usually assumed to satisfy the KS condition. The Bell-Kochen-Specker theorem then shows that these theories are necessarily contextual. But the KS condition can be criticized from an operational viewpoint, which suggests that a weaker condition (MGP) should be adopted in place of it. This leads one to introduce a class of hidden parameters theories in which contextuality can, in principle, be avoided, since the proofs of the Bell-Kochen-Specker theorem break down. A simple model recently provided by the author for an objective interpretation …
Grassmannian local hidden variables are shown to generate all possible quantum correlations in a bipartite quantum system. Grassmann representation of fermions, common in field theory, opens a related perspective. Although Grassmann hidden variables can not challange Bell's locality theorem, they can become an interesting mathematical tool to investigate entanglement.
John Bell's inequalities have already been considered by Boole in 1862. Boole established a one-to-one correspondence between experimental outcomes and mathematical abstractions of his probability theory. His abstractions are two-valued functions that permit the logical operations AND, OR and NOT and are the elements of an algebra. Violation of the inequalities indicated to Boole an inconsistency of definition of the abstractions and/or the necessity to revise the algebra. It is demonstrated in this paper, that a violation of Bell's inequality by Einstein-Podolsky-Rosen type of experiments can…
Although skeptical of the prohibitive power of no-hidden-variables theorems, John Bell was himself responsible for the two most important ones. I describe some recent versions of the lesser known of the two (familar to experts as the "Kochen-Specker theorem") which have transparently simple proofs. One of the new versions can be converted without additional analysis into a powerful form of the very much better known "Bell's Theorem", thereby clarifying the conceptual link between these two results of Bell.
We prove the existence of a unitary transformation that enables two arbitrarily given Hamiltonians in the same Hilbert space to be transformed into one another. The result is straightforward yet, for example, it lays the foundation to implementing or mimicking dynamics with the most controllable Hamiltonian. As a promising application, this existence theorem allows for a rapidly evolving realization of adiabatic quantum computation by transforming a Hamiltonian where dynamics is in the adiabatic regime into a rapidly evolving one. We illustrate the theorem with examples.
In all local realistic theories worked out till now, locality is considered as a basic assumption. Most people in the field consider the inconsistency between local realistic theories and quantum mechanics to be a result of non-local nature of quantum mechanics. In this Paper, we derive the Greenberger-Horne-Zeilinger type theorem for particles with instantaneous (non-local) interactions at the hidden-variable level. Then, we show that the previous contradiction still exists between quantum mechanics and non-local hidden variable models.
The paper argues that far from challenging - or even refuting - Bohm's quantum theory, the no-hidden-variables theorems in fact support the Bohmian ontology for quantum mechanics. The reason is that (i) all measurements come down to position measurements and (ii) Bohm's theory provides a clear and coherent explanation of the measurement outcome statistics based on an ontology of particle positions, a law for their evolution and a probability measure linked with that law. What the no-hidden-variables theorems teach us is that (i) one cannot infer the properties that the physical systems possess…
The theorem known from Pauli equation about operators that anticommute with Dirac's $K$-operator is generalized to the Dirac equation. By means of this theorem the operator is constructed which governs the hidden symmetry in relativistic Coulomb problem (Dirac equation). It is proved that this operator coincides with the familiar Johnson-Lippmann one and is intimately connected to the famous Laplace-Runge-Lenz (LRL) vector. Our derivation is very simple and informative. It does not require a longtime and tedious calculations, as is offten underlined in most papers.
Tests of Bell's theorem rule out local hidden variables theories. But any theorem is only as good as the assumptions that go into it, and one of these assumptions is that the experimenter can freely chose the detector settings. Without this assumption, one enters the realm of superdeterministic hidden variables theories and can no longer use Bell's theorem as a criterion. One can like or not like such superdeterministic hidden variables theories and their inevitable nonlocality, the real question is how one can test them. Here, we propose a possible experiment that could reveal superdeterminis…
Quantum key distribution is the most well-known application of quantum cryptography. Previous proposed proofs of security of quantum key distribution contain various technical subtleties. Here, a conceptually simpler proof of security of quantum key distribution is presented. The new insight is the invariance of the error rate of a teleportation channel: We show that the error rate of a teleportation channel is independent of the signals being transmitted. This is because the non-trivial error patterns are permuted under teleportation. This new insight is combined with the recently proposed qu…
We discuss a class of proofs of Bell-type inequalities that are based on tables of potential outcomes. These proofs state in essence: if one can only imagine (or write down in a table) the potential outcome of a hidden parameter model for EPR experiments then a contradiction to experiment and quantum mechanics follows. We show that these proofs do not contain hidden variables that relate to time or, if they do, lead to logical contradictions that render them invalid.
We analyze the assumptions that are made in the proofs of Bell-type inequalities for the results of Einstein-Podolsky-Rosen type of experiments. We find that the introduction of time-like random variables permits the construction of a broader mathematical model which accounts for all correlations of variables that are contained in the time dependent parameter set of the backward light cone. It also permits to obtain the quantum result for the spin pair correlation, a result that contradicts Bell's inequality. Two key features of our mathematical model are (i) the introduction of time operators…
Four critical elementary mathematical mistakes in Joy Christian's counterexample to Bell's theorem are presented. Consequently, Joy Christian's hidden variable model cannot reproduce any quantum mechanics results and cannot be used as a counterexample to Bell's theorem. The mathematical investigation is followed by a short discussion about the possibility to construct other hidden variable theories. A tutorial section on relevant Clifford algebra topics was added at the end to help interested readers decide for themselves the validity of Joy's claims. Also an appendix section discusses recent …
Contrary to what Lambare [arXiv:2008.00369] assumes, in non-Newtonian calculus (a calculus based on non-Diophantine arithmetic) an integral is typically given by a nonlinear map. This is the technical reason why all the standard proofs of Bell-type inequalities fail if non-Newtonian hidden variables are taken into account. From the non-Newtonian perspective, Bell's inequality is a property of a limited and unphysical class of hidden-variable models. An explicit counterexample to Bell's theorem can be easily constructed.
