Challenging the Boundaries of Symbolic Computation, ed. by Peter Mitic, Philip Ramsden and Janet Carne (Imperial College Press, London 2003), pp. 215-222
Classical Pitowsky correlation polytopes are reviewed with particular emphasis on the Minkowski-Weyl representation theorem. The inequalities representing the faces of polytopes are Boole's ``conditions of possible experience.'' Many of these inequalities have been discussed in the context of Bell's inequalities. We introduce CddIF, a Mathematica package created as an interface between Mathematica and the cdd program by Komei Fukuda, which represents a highly efficient method to solve the hull problem for general classical correlation polytopes.
As shown by Pitowsky, the Bell inequalities are related to certain classes of probabilistic inequalities dealt with by George Boole, back in the 1850s. Here a short presentation of this relationship is given. Consequently, the Bell inequalities can be obtained without any assumptions of physical nature, and merely through mathematical argument.
We address the basic meaning of apparent contradictions of quantum theory and probability frameworks as expressed by Bell's inequalities. We show that these contradictions have their origin in the incomplete considerations of the premisses of the derivation of the inequalities. A careful consideration of past work, including that of Boole and Vorob'ev, has lead us to the formulation of extended Boole-Bell inequalities that are binding for both classical and quantum models. The Einstein-Podolsky-Rosen-Bohm gedanken experiment and a macroscopic quantum coherence experiment proposed by Leggett an…
Mainstream interpretations of quantum theory maintain that violations of the Bell inequalities deny at least either realism or Einstein locality. Here we investigate the premises of the Bell-type inequalities by returning to earlier inequalities presented by Boole and the findings of Vorob'ev as related to these inequalities. These findings together with a space-time generalization of Boole's elements of logic lead us to a completely transparent Einstein local counterexample from everyday life that violates certain variations of the Bell inequalities. We show that the counterexample suggests a…
The relation between the boolean functions and Bell inequalities for qubits is analyzed. The connection between the maximal quantum violation of a Bell inequality and the nonlinearity of the corresponding boolean function is discussed. A visualization scheme of boolean functions is proposed. An attempt to classify Bell inequalities for qubits is made, a weaker result (classification with respect to Jevons group) is obtained. The fractal structure of the classification is shown. All constructs are illustrated by Mathematica code.
The experimentally verified violation of Bell's inequalities apparently implies that at least one of two intuitive beliefs must be false: that effects propagating at infinite velocity do not exist, and that natural phenomena occur independently of being observed. Giving up any one of these two beliefs (usually known together as Local Realism) is controversial. Many theories have been proposed to reconcile the violation of Bell's inequalities with Local Realism, but none has been fully successful. In this paper, it is recalled that any theory aimed to violate Bell's inequalities must start by g…
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…
Let S be a set of states of a physical system and p(s) be the probability of the occurrence of an event when the system is in state s. A function p from S to [0,1] is called a numerical event or alternatively an S-probability. If a set P:={p(s)|s in S} is ordered by the order of real functions such that certain plausible requirements are fulfilled, P becomes an orthomodular poset in which properties can be described by the addition and comparison of functions. P is then called an algebra of S-probabilities or algebra of numerical events. We first answer the question under which circumstances i…
I review the relation of the Bell inequalities - characteristic of (classical) probabilities defined on Boolean logics - with noncontextual and local hidden variables theories of quantum mechanics and with quantum information.
In 1862, George Boole derived an inequality for variables, now known as Boolean variables, that in his opinion represents a demarcation line between possible and impossible experience. This inequality forms an important milestone in the epistemology of probability theory and probability measures. In 1985 Leggett and Garg derived a physics related inequality, mathematically identical to Boole's, that according to them represents a demarcation between macroscopic realism and quantum mechanics. Their formalism, constructed for the magnetic flux of SQUIDS, includes general features and applies als…
It is shown that the Bell inequalities are closely related to the triangle inequalities involving distance functions amongst pairs of random variables with values $\left\{ 0,1\right\} $. A hidden variables model may be defined as a mapping between a set of quantum projection operators and a set of random variables. The model is noncontextual if there is a joint probability distribution. The Bell inequalities are necessary conditions for its existence. The inequalities are most relevant when measurements are performed at space-like separation, thus showing a conflict between quantum mechanics a…
Many issues combine for consideration when speaking of Bell's Inequalities: nonlocality, realism, hidden variables, incompatible measures, wave function collapse, other. Each of these issues then may be viewed from several viewpoints: historical, theoretical, physical, experimental, statistical, communicational, cryptographical, and mathematical. From the mathematical viewpoint, much of the Bell theory is ``just geometry''.
Alternative partial Boolean structures, implicit in the discussion of classical representability of sets of quantum mechanical predictions, are characterized, with definite general conclusions on the equivalence of the approaches going back to Bell and Kochen-Specker. An algebraic approach is presented, allowing for a discussion of partial classical extension, amounting to reduction of the number of contexts, classical representability arising as a special case. As a result, known techniques are generalized and some of the associated computational difficulties overcome. The implications on the…
A hidden variables model complying with the simplest form of Local Realism was recently introduced, which reproduces Quantum Mechanics' predictions for an even ideally perfect Bell's experiment. This is possible thanks to the use of a non-Boolean vector hidden variable. Yet, that model is as far as Quantum Mechanics from the goal of providing a complete description of physical reality in the EPR-sense. Such complete description includes the capacity to calculate, from the values taken by the hidden variables, the time values when particles are detected. This can be achieved by replacing Born's…
Three extensions and reinterpretations of nonclassical probabilities are reviewed. (i) We propose to generalize the probability axiom of quantum mechanics to self-adjoint positive operators of trace one. Furthermore, we discuss the Cartesian and polar decomposition of arbitrary normal operators and the possibility to operationalize the corresponding observables. Thereby we review and emphasize the use of observables which maximally represent the context. (ii) In the second part, we discuss Pitowsky polytopes for automaton logic as well as for generalized urn models and evaluate methods to find…
We show that Mermin's reasoning against our refutation of his non-technical proof for Bell-type inequalities is of limited significance or contains mathematical inconsistencies that, when taken into account, do not permit his proof to go forward. Our refutation therefore stands.
Marian Kupczynski(MK)is the author of a controversial paper published (2020) in the journal Frontiers in Physics. The work is built around a mathematical claim by MK which is actually false, and MK's logical reasoning around his claim is also incorrect. The same claim was made by him in several other recent papers published in other journals. A proof that the claimed result is false is the main content of our present "Comment". It is purely a mathematical counter-example to a mathematical claim in a number of MK's papers.
We discuss general Bell inequalities for bipartite and multipartite systems, emphasizing the connection with convex geometry on the mathematical side, and the communication aspects on the physical side. Known results on families of generalized Bell inequalities are summarized. We investigate maximal violations of Bell inequalities as well as states not violating (certain) Bell inequalities. Finally, we discuss the relation between Bell inequality violations and entanglement properties currently discussed in quantum information theory.
We formally prove the existence of an enduring incongruence pervading a widespread interpretation of the Bell inequality and explain how to rationally avoid it with a natural assumption justified by explicit reference to a mathematical property of Bell's probabilistic model. Although the amendment does not alter the relevance of the theorem regarding local realism, it brings back Bell theorem from the realm of philosophical discussions about counterfactual conditionals to the concrete experimental arena.
In this paper dedicated to the memory of Walter Philipp, we formalize the rules of classical$\to$ quantum correspondence and perform a rigorous mathematical analysis of the assumptions in Bell's NO-GO arguments.
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…
Quantum correlations exhibit behaviour that cannot be resolved with a local hidden variable picture of the world. In quantum information, they are also used as resources for information processing tasks, such as Measurement-based Quantum Computation (MQC). In MQC, universal quantum computation can be achieved via adaptive measurements on a suitable entangled resource state. In this paper, we look at a version of MQC in which we remove the adaptivity of measurements and aim to understand what computational abilities still remain in the resource. We show that there are explicit connections betwe…
Bell inequalities are derived for any number of observers, any number of alternative setups for each one of them, and any number of distinct outcomes for each experiment. It is shown that if a physical system consists of several distant subsystems, and if the results of tests performed on the latter are determined by local variables with objective values, then the joint probabilities for triggering any given set of distant detectors are convex combinations of a finite number of Boolean arrays, whose components are either 0 or 1 according to a simple rule. This convexity property is both necess…
The theorem of Bell states that certain results of quantum mechanics violate inequalities that are valid for objective local random variables. We show that the inequalities of Bell are special cases of theorems found ten years earlier by Bass and stated in full generality by Vorob'ev. This fact implies precise necessary and sufficient mathematical conditions for the validity of the Bell inequalities. We show that these precise conditions differ significantly from the definition of objective local variable spaces and as an application that the Bell inequalities may be violated even for objectiv…
Mermin states that his nontechnical version of Bell's theorem stands and is not invalidated by time and setting dependent instrument parameters as claimed in one of our previous papers. We identify deviations from well-established protocol in probability theory as well as mathematical contradictions in Mermin's argument and show that Mermin's conclusions are therefore not valid: his proof does not go forward if certain possible time dependencies are taken into account.
We explore correlation polytopes to derive a set of all Boole-Bell type conditions of possible classical experience which are both maximal and complete. These are compared with the respective quantum expressions for the Greenberger-Horne-Zeilinger (GHZ) case and for two particles with spin state measurements along three directions.
The extended semantic realism (ESR) model proposes a new theoretical perspective which embodies the mathematical formalism of standard (Hilbert space) quantum mechanics (QM) into a noncontextual framework, reinterpreting quantum probabilities as conditional instead of absolute. We provide in this review an overall view on the present status of our research on this topic. We attain in a new, shortened way a mathematical representation of the generalized observables introduced by the ESR model and a generalization of the projection postulate of elementary QM. Basing on these results we prove tha…
Bell inequality is a mathematical inequality derived using the assumptions of locality and realism. Its violation guarantees the existence of quantum correlations in a quantum state. Bell inequality acts as an entanglement witness in the sense that a pure bipartite quantum state, having nonvanishing entanglement, always violates a Bell inequality. We construct Bell-type inequalities for product states in quantum coherence theory for different measures of coherence, and find that the maximally entangled states violate these inequalities. We further show that Bell-type inequalities for relative …
Bell nonlocality and Einstein-Podolsky-Rosen (EPR) steering are every important quantum correlations of a composite quantum system. Bell nonlocality of a bipartite state is a quantum correlation demonstrated by some local quantum measurements, while EPR steering is another form of quantum correlations, observed firstly by Schrodinger in the context of famous EPR paradox. In this paper, we give some remarks on Bell nonlocality and EPR steering of bipartite states, including mathematical definitions and characterizations of these two quantum correlations, the convexity and closedness of the set …
Counterfactual definiteness must be used as at least one of the postulates or axioms that are necessary to derive Bell-type inequalities. It is considered by many to be a postulate that is not only commensurate with classical physics (as for example Einstein's special relativity), but also separates and distinguishes classical physics from quantum mechanics. It is the purpose of this paper to show that Bell's choice of mathematical functions and independent variables implicitly includes counterfactual definiteness and reduces the generality of the physics of Bell-type theories so significantly…
In this letter we show that the field of Operator Space Theory provides a general and powerful mathematical framework for arbitrary Bell inequalities, in particular regarding the scaling of their violation within quantum mechanics. We illustrate the power of this connection by showing that bipartite quantum states with local Hilbert space dimension n can violate a Bell inequality by a factor of order $\frac{\sqrt{n}}{\log^2n}$ when observables with n possible outcomes are used. Applications to resistance to noise, Hilbert space dimension estimates and communication complexity are given.
We analyze and compare the mathematical formulations of the criterion for separability for bipartite density matrices and the Bell inequalities. We show that a violation of a Bell inequality can formally be expressed as a witness for entanglement. We also show how the criterion for separability and a description of the state by a local hidden variable theory, become equivalent when we restrict the set of local hidden variable theories to the domain of quantum mechanics. This analysis sheds light on the essential difference between the two criteria and may help us in understanding whether there…
Initially motivated by their relevance in foundations of quantum mechanics and more recently by their applications in different contexts of quantum information science, violations of Bell inequalities have been extensively studied during the last years. In particular, an important effort has been made in order to quantify such Bell violations. Probabilistic techniques have been heavily used in this context with two different purposes. First, to quantify how common the phenomenon of Bell violations is; and secondly, to find large Bell violations in order to better understand the possibilities a…
We consider optical beams with topological singularities which possess Schmidt decomposition and show that such classical beams share many features of two mode entanglement in quantum optics. We demonstrate the coherence properties of such beams through the violations of Bell inequality for continuous variables using the Wigner function. This violation is a consequence of correlations between the $(x, p_x)$ and $(y, p_y)$ spaces which mathematically play the same role as nonlocality in quantum mechanics. The Bell violation for the LG beams is shown to increase with higher orbital angular momen…
In a couple of recent preprints Moldoveanu has suggested that there are errors in my disproof of Bell's theorem. Here I show that this claim is false. In particular, I show that my local-realistic framework is incorrectly and misleadingly presented in both of his preprints. In addition there are a number of serious mathematical and conceptual errors in his discussion of my framework. For example, contrary to his claim, my framework is manifestly non-contextual. In particular, quantum correlations are understood within it as purely topological effects, not contextual effects.
Bell's theorem has been widely argued to show that some of the predictions of quantum mechanics which are obtained by applying the {\it Born's rule} to a class of {\it entangled states}, are {\it not} compatible with {\it any} local-causal statistical model, via the violation of Bell's inequalities. On the other hand, in the previous work, we have shown that quantum dynamics and kinematics are {\it emergent} from a statistical model that is singled out {\it uniquely} by the principle of Locality. Here we shall show that the local-causal model supports entangled states and give the statistical …
Trade-offs and experimental feasibility of nonlocal polygamy with two-outcome Bell inequalities
CRISP – Centre de Recerca Independent de sa Pobla（萨波拉独立研究中心）；Systems Research Institute, Polish Academy of Sciences（波兰科学院系统研究所）；Nicolaus Copernicus Astronomical Center, Polish Academy of Sciences（波兰科学院尼古拉·哥白尼天文中心）；Center of Excellence in Artificial Intelligence, AGH University（AGH大学人工智能卓越中心）；Faculty of Physics, University of Warsaw（华沙大学物理学院）；Faculty of Physics and Applied Informatics, University of Lodz（罗兹大学物理与应用信息学院）
Last years, bounds on the maximal quantum violation of general Bell inequalities were intensively discussed in the literature via different mathematical tools. In the present paper, we analyze quantum violation of general Bell inequalities via the LqHV (local quasi hidden variable) modelling framework, correctly reproducing the probabilistic description of every quantum correlation scenario. The LqHV mathematical framework allows us to derive for all d and N a new upper bound (2d-1)^{N-1} on the maximal violation by an N-qudit state of all general Bell inequalities, also, new upper bounds on t…
Most of the standard proofs of the Bell theorem are based on the Kolmogorov axioms of probability theory. We show that these proofs contain mathematical steps that cannot be reconciled with the Kolmogorov axioms. Specifically we demonstrate that these proofs ignore the conclusion of a theorem of Vorob'ev on the consistency of joint distributions. As a consequence Bell's theorem stated in its full generality remains unproven, in particular, for extended parameter spaces that are still objective local and that include instrument parameters that are correlated by both time and instrument settings…
Based on the new general framework for the probabilistic description of experiments, introduced in quant-ph/0305126, quant-ph/0312199, we analyze in mathematical terms the link between the validity of Bell-type inequalities under joint experiments upon a system of any type and the physical concept of "local realism". We prove that the violation of Bell-type inequalities in the quantum case has no connection with the violation of "local realism". In a general setting, we formulate in mathematical terms a condition on "local realism" under a joint experiment and consider examples of quantum "loc…
The Platonic solids is the name traditionally given to the five regular convex polyhedra, namely the tetradron, the octahedron, the cube, the icosahedron and the dodecahedron. Perhaps strongly boosted by the towering historical influence of their namesake, these beautiful solids have, in well over two millenia, transcended traditional boundaries and entered the stage in a range of disciplines. Examples include natural philosophy and mathematics from classical antiquity, scientific modeling during the days of the european scientific revolution and visual arts ranging from the renaissance to mod…
We introduce the general class of symmetric two-qubit states guaranteeing the perfect correlation or anticorrelation of Alice and Bob outcomes whenever some spin observable is measured at both sites. We prove that, for all states from this class, the maximal violation of the original Bell inequality is upper bounded by 3/2 and specify the two-qubit states where this quantum upper bound is attained. The case of two-qutrit states is more complicated. Here, for all two-qutrit states, we obtain the same upper bound 3/2 for violation of the original Bell inequality under Alice and Bob spin measurem…
We discuss some mathematical aspects of photon antibunching and sub-Poisson photon statistics. It is known that Bell's inequalities for entangled states can be reduced to the Cauchy-Bunyakovsky inequalities. In this note some rigorous results on impossibility of classical hidden variables representations of certain quantum correlation functions are proved which are also based on the Cauchy-Bunyakovsky inequalities. The difference K between the variance and the mean as a measure of non-classicality of a state is discussed. For the classical case K is nonnegative while for the n-particle state i…
The Bell/CHSH inequalities of quantum physics are identical with the inequalities derived in mathematical psychology for the problem of selective influences in cases involving two bi- nary experimental factors and two binary random variables recorded in response to them. The following points are made regarding cognitive science applications: (1) compliance of data with these inequalities is informative only if the data satisfy the requirement known as marginal selectivity; (2) both violations of marginal selectivity and violations of the Bell/CHSH inequalities are interpretable as indicating t…
Quantum violation of Bell inequalities is now used in many quantum information applications and it is important to analyze it both quantitatively and conceptually. In the present paper, we analyze violation of multipartite Bell inequalities via the local probability model - the LqHV (local quasi hidden variable) model [Loubenets, J. Math. Phys. 53, 022201 (2012)], incorporating the LHV model only as a particular case and correctly reproducing the probabilistic description of every quantum correlation scenario, more generally, every nonsignaling scenario. The LqHV probability framework allows u…
