The concept of Logical Entropy, $S_L = 1- \sum_{i=1}^n p_i^2$, where the $p_i$ are normalized probabilities, was introduced by David Ellerman in a series of recent papers. Although the mathematical formula itself is not new, Ellerman provided a sound probabilistic interpretation of $S_L$ as a measure of the distinctions of a partition on a given set. The same formula comes across as a useful definition of entropy in quantum mechanics, where it is linked to the notion of purity of a quantum state. The quadratic form of the logical entropy lends itself to a generalization of the probabilities that include negative values, an idea that goes back to Feynman and Wigner. Here, we analyze and reinterpret negative probabilities in the light of the concept of logical entropy. Several intriguing quantum-like properties of the logical entropy are derived and discussed in finite dimensional spaces. For infinite-dimensional spaces (continuum), we show that, under the sole hypothesis that the logical entropy and the total probability are preserved in time, one obtains an evolution equation for the probability density that is basically identical to the quantum evolution of the Wigner function in phase space, at least when one considers only the momentum variable. This result suggest that the logical entropy plays a profound role in establishing the peculiar rules of quantum physics.
The subjective and the objective aspects of probabilities are incorporated in a simple duality axiom inspired by observer participation in quantum theory. Transcending the classical notion of probabilities, it is proposed and demonstrated that all probabilities may be fundamentally quantum mechanical in the sense that they may all be derived from the corresponding amplitudes. The classical coin-toss and the quantum double slit interference experiments are discussed as illustrative prototype examples. Absence of multi-order quantum interference effects in multiple-slit experiments and the Exper…
Logical inference leads to one of the major interpretations of probability theory called logical interpretation, in which the probability is seen as a measure of the plausibility of a logical statement under incomplete information. In this paper, assuming that our usual inference procedure makes sense for every set of logical propositions represented in terms of commuting projectors on a given Hilbert space, we extend the logical interpretation to quantum mechanics and derive the Born rule. Our result implies that, from the epistemological viewpoints, we can regard quantum mechanics as a natur…
A factor-graph representation of quantum-mechanical probabilities is proposed. Unlike standard statistical models, the proposed representation uses auxiliary variables (state variables) that are not random variables.
We show how probabilities can be treated as truth values in suitable sheaf topoi. The scheme developed in this paper is very general and applies to both classical and quantum physics. On the quantum side, the results are a natural extension of our existing work on a topos approach to quantum theory. Earlier results on the representation of arbitrary quantum states are complemented with a purely logical perspective.
We propose mutant versions of quantum mechanics constructed on vector spaces over the finite Galois fields GF(3) and GF(9). The mutation we consider here is distinct from what we proposed in previous papers on Galois field quantum mechanics. In this new mutation, the canonical expression for expectation values is retained instead of that for probabilities. In fact, probabilities are indeterminate. Furthermore, it is shown that the mutant quantum mechanics over the finite field GF(9) exhibits super-quantum correlations (i.e. the Bell-Clauser-Horne-Shimony-Holt bound is 4). We comment on the fun…
The logical inference approach to quantum theory, proposed earlier [Ann. Phys. 347 (2014) 45-73], is considered in a relativistic setting. It is shown that the Klein-Gordon equation for a massive, charged, and spinless particle derives from the combination of the requirements that the space-time data collected by probing the particle is obtained from the most robust experiment and that on average, the classical relativistic equation of motion of a particle holds.
We show that quantum probabilities can be derived from statistical mechanics of classical fields. We consider Brownian motion in the space of fields and show that such a random field interacting with threshold type detectors produces clicks at random moments of time. And the corresponding probability distribution can be approximately described by the formalism of quantum mechanics. Hence, probabilities in quantum mechanics and classical statistical mechanics differ not so much as it is typically claimed. The temporal structure of the "prequantum random field" (which is the $L_2$-valued Wiener …
The concept of probability was prominent in the original foundations of quantum mechanics, and continues to be so today. Indeed, the controversies regarding objective and subjective interpretations of probability have again become active. I argue that, although both objective and subjective probabilities have domains of relevance in QM, their roles are quite distinct. Even where both are legitimate, the objective and subjective probabilities differ, both conceptually and numerically. There are quantum probabilities that have no useful subjective interpretations, and there are subjective probab…
I show that the application of the quantum-mechanical (QM) which-way weak measurement scheme of Vaidman may lead to logical inconsistencies. To this end, I study weak values of projection operators. Weak values are (normalized) amplitudes, operationally defined by a weak measurement followed by postselection. Projector weak values have a direct physical significance. This allows formulating an inconsistency in classical terms, viz., the contradiction in the readings of several measuring devices. To arrive at the contradiction, I also invoke the property of weak measurements not to collapse the…
The aim of this paper is to analyze the reconstructability of quantum mechanics from classical conditional probabilities representing measurement outcomes conditioned on measurement choices. We will investigate how the quantum mechanical representation of classical conditional probabilities is situated within the broader frame of noncommutative representations. To this goal, we adopt some parts of the quantum formalism and ask whether empirical data can constrain the rest of the representation to conform to quantum mechanics. We will show that as the set of empirical data grows conventional el…
We discuss how the apparently objective probabilities predicted by quantum mechanics can be treated in the framework of Bayesian probability theory, in which all probabilities are subjective. Our results are in accord with earlier work by Caves, Fuchs, and Schack, but our approach and emphasis are different. We also discuss the problem of choosing a noninformative prior for a density matrix.
In Quantum Physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projections on closed subspaces of a Hilbert space. The properties of such operators are justified on epistemological grounds. Commutation of measurements is a central topic of interest. Classical logical systems may be viewed as measurement algebras in which all measurements commute. Keywords: Quantum measurements, Measurement algebras, Quantum Logic. PACS: 02.10.-v.
Logical error estimation from syndrome data of surface-code experiments
Duke Quantum Center, Duke University（杜克量子中心，杜克大学）；Department of Electrical and Computer Engineering, Duke University（电气与计算机工程系，杜克大学）；Instituto de Fisica Teorica UAM-CSIC, Universidad Autonoma de Madrid（马德里自治大学-西班牙国家科研委员会理论物理研究所，马德里自治大学）；Department of Electrical & Computer Engineering, University of Southern California（电气与计算机工程系，南加州大学）；Center for Quantum Information Science & Technology, University of Southern California（量子信息与科技中心，南加州大学）；Quantum Elements, Inc.（量子元素公司）；Department of Physics & Astronomy, University of Southern California（物理与天文学系，南加州大学）；Department of Chemistry, University of Southern California（化学系，南加州大学）；Department of Physics, Duke University（物理系，杜克大学）；Department of Chemistry, Duke University（化学系，杜克大学）
This paper presents a novel explanation of the cause of quantum probabilities and the Born rule based on the intuitionistic interpretation of quantum mechanics where propositions obey constructive (intuitionistic) logic. The use of constructive logic makes it possible (through a replacement of the concept of truth with the concept of constructive probability) to abandon the law of excluded middle in the intuitionistic interpretation.
The most peculiar, specifically quantum, features of quantum mechanics --- quantum nonlocality, indeterminism, interference of probabilities, quantization, wave function collapse during measurement --- are explained on a logical-geometrical basis. It is shown that truths of logical statements about numerical values of quantum observables are quantum observables themselves and are represented in quantum mechanics by density matrices of pure states. Structurally, quantum mechanics is a result of applying non-Abelian symmetries to truth operators and their eigenvectors --- wave functions. Wave fu…
Quantum mechanics may be formulated as {\it Sensible Quantum Mechanics} (SQM) so that it contains nothing probabilistic except conscious perceptions. Sets of these perceptions can be deterministically realized with measures given by expectation values of positive-operator-valued {\it awareness operators}. Ratios of the measures for these sets of perceptions can be interpreted as frequency-type probabilities for many actually existing sets. These probabilities generally cannot be given by the ordinary quantum ``probabilities'' for a single set of alternatives. {\it Probabilism}, or ascribing pr…
The transition from the quantum to the classical is governed by randomizing devices (RD), i.e., dynamical systems that are very sensitive to the environment. We show that, in the presence of RDs, the usual arguments based on the linearity of quantum mechanics that lead to the measurement problem do not apply. RDs are the source of probabilities in quantum mechanics. Hence, the reason for probabilities in quantum mechanics is the same as the reason for probabilities in other parts of physics, namely our ignorance of the state of the environment. This should not be confused with decoherence. The…
In this paper we analyze the existence of joint probabilities for the Bell-type and GHZ entangled states. We then propose the usage of nonmonotonic upper probabilities as a tool to derive consistent joint upper probabilities for the contextual hidden variables. Finally, we show that for the extreme example of no error, the GHZ state allows for the definition of a joint upper probability that is consistent with the strong correlations.
Wigner's marginal probability theory is revisited, and systematically applied to n-particle correlation measurements. A set of Bell inequalities whose corollaries are Hardy contradiction and its generalisation are derived with intuitive graphical analysis.
Two problems will be considered: the question of hidden parameters and the problem of Kolmogorovity of quantum probabilities. Both of them will be analyzed from the point of view of two distinct understandings of quantum mechanical probabilities. Our analysis will be focused, as a particular example, on the Aspect-type EPR experiment. It will be shown that the quantum mechanical probabilities appearing in this experiment can be consistently understood as conditional probabilities without any paradoxical consequences. Therefore, nothing implies in the Aspect experiment that quantum theory is in…
The representation of numbers by product states in quantum mechanics can be extended to the representation of words and word sequences in languages by product states. This can be used to study quantum systems that generate text that has meaning. A simple example of such a system, based on an example described by Smullyan, is studied here. Based on a path interpretation for some word states, definitions of truth, validity, consistency and completeness are given and their properties studied. It is also shown that the relation between the meaning, if any, of word states and the algorithmic comple…
A modification and generalisation of von Plato's fix of the frequency theory of probability is presented. It is thermodynamic in nature. Von Plato already fixed the logical circle in the frequency theory, we generalise his results to not necessarily ergodic systems of classical and quantum mechanics. This turns out to be precisely what is needed for the problem of Quantum Measurement and the problem of induction.
At the onset of quantum mechanics, it was argued that the new theory would entail a rejection of classical logic. The main arguments to support this claim come from the non-commutativity of quantum observables, which allegedly would generate a non-distributive lattice of propositions, and from quantum superpositions, which would entail new rules for quantum disjunctions. While the quantum logic program is not as popular as it once was, a crucial question remains unsettled: what is the relationship between the logical structures of classical and quantum mechanics? In this essay we answer this q…
The Greenberger-Horne-Zeilinger (GHZ) argument against noncontextual local hidden variables is recast in quantum logical terms of fundamental propositions, states and probabilities. Unlike Kochen-Specker- and Hardy-like configurations, this operator based argument proceeds within four nonintertwining contexts. The nonclassical performance of the GHZ argument is due to the choice or filtering of observables with respect to a particular state. We study the varieties of GHZ games one could play in these four contexts, depending on the chosen state of the GHZ basis.
The quantum mechanics of closed systems such as the universe is formulated using an extension of familiar probability theory that incorporates negative probabilities. Probabilities must be positive for sets of alternative histories that are the basis of fair settleable bets. However, in quantum mechanics there are sets of alternative histories that can be described but which cannot be the basis for fair settleable bets. Members of such sets can be assigned extended probabilities that are sometimes negative. A prescription for extended probabilities is introduced that assigns extended probabili…
We determine a positive normalised phase space probability distribution $P$ with minimum mean square fractional deviation from the Wigner distribution $W$ .The minimum deviation, an invariant under phase space rotations, is a quantitative measure of the quantumness of the state.The positive distribution closest to $W$ will be useful in quantum mechanics and in time frequency analysis .
The problem of measurement in quantum mechanics is reanalyzed within a general, strictly probabilistic framework (without reduction postulate). Based on a novel comprehensive definition of measurement the natural emergence of objective events is demonstrated and their formal representation within quantum mechanics is obtained. In order to be objective an event is required to be observable or readable in at least two independent, mutually non-interfering ways with necessarily agreeing results. Consistency in spite of unrestricted validity of reversibility of the evolution or the superposition p…
A non-Boolean extension of the classical probability model is proposed. The non-Boolean probabilities reproduce typical quantum phenomena. The proposed model is more general and more abstract, but easier to interpret, than the quantum mechanical Hilbert space formalism and exhibits a particular phenomenon (state-independent conditional probabilities) which may provide new opportunities for an understanding of the quantum measurement process. Examples of the proposed model are provided, using Jordan operator algebras.
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…
It is proved that in non-relativistic quantum mechanics (without spin) the transition probability may be described in terms of particle paths, every path having a (positive) probability. This leads to a stochastic hidden variables theory providing an intuitive picture of particle motion. The change of velocity at every time has a probability that depends on the potential over a large region, at a difference with the local action of classical dynamics. Thus the hidden variables theory is non-local like Bohm's, but not deterministic.
The set of subsystems of a finite quantum system (with variables in Z(n)) together with logical connectives, is a distributive lattice. With regard to this lattice, the (where P(m) is the projector to) obeys a supermodularity inequality, and it is interpreted as a lower probability in the sense of the Dempster-Shafer theory, and not as a Kolmogorov probability. It is shown that the basic concepts of the Dempster-Shafer theory (lower and upper probabilities and the Dempster multivaluedness) are pertinent to the quantum formalism of finite systems.
The density operator of a quantum state can be represented as a complex joint probability of any two observables whose eigenstates have non-zero mutual overlap. Transformations to a new basis set are then expressed in terms of complex conditional probabilities that describe the fundamental relation between precise statements about the three different observables. Since such transformations merely change the representation of the quantum state, these conditional probabilities provide a state-independent definition of the deterministic relation between the outcomes of different quantum measureme…
We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements are capable of revealing whether or not a given proposition is logically dependent on the axiomatic system. Whenever a mathematical proposition is logically independent of the axioms encoded in the measured state, the measurement associated with the proposition gives random outcomes. This allows for an experimental test of logical independence. Conversely, it…
Classical mechanics is a singular theory in that real-energy classical particles can never enter classically forbidden regions. However, if one regulates classical mechanics by allowing the energy E of a particle to be complex, the particle exhibits quantum-like behavior: Complex-energy classical particles can travel between classically allowed regions separated by potential barriers. When Im(E) -> 0, the classical tunneling probabilities persist. Hence, one can interpret quantum tunneling as an anomaly. A numerical comparison of complex classical tunneling probabilities with quantum tunneling…
According to an argument proposed by Stapp, Quantum Mechanics violates the Locality Principle if the two hypotheses of {\sl Free Choices} and {\sl No backward-in-time influence} are assumed to hold, without the need of introducing hidden variables or criteria of reality. We develop an approach that endows the new hypotheses with a logico-mathematical formulation which allow us to perform an analysis of Stapp's argument, based on ordinary, not counterfactual, logic. According to our results, the analyzed argument is not able to conclude that Quantum Mechanics violates the Locality Principle.
The probability `measure' for measurements at two consecutive moments of time is non-additive. These probabilities, on the other hand, may be determined by the limit of relative frequency of measured events, which are by nature additive. We demonstrate that there are only two ways to resolve this problem. The first solution places emphasis on the precise use of the concept of conditional probability for successive measurements. The physically correct conditional probabilities define additive probabilities for two-time measurements. These probabilities depend explicitly on the resolution of the…
Many of the conceptual problems students have in understanding quantum mechanics arise from the way probabilities are introduced in standard (textbook) quantum theory through the use of measurements. Introducing consistent microscopic probabilities in quantum theory requires setting up appropriate sample spaces taking proper account of quantum incompatibility. When this is done the Schrodinger equation can be used to calculate probabilities independent of whether a system is or is not being measured, and the results usually ascribed to wave function collapse are obtained in a less misleading w…
The dynamical equation of hybrid systems, being the combination of Schrödinger and Liouville equations, produces noncausal evolution when the initial state of interacting quantum and classical mechanical systems is as it is demanded in discussions regarding the problem of measurement. It is found that state of quantum mechanical system instantaneously collapses due to the non-negativity of probabilities.
This note is sketching a simple and natural mathematical construction for explaining the probabilistic nature of quantum mechanics. It employs nonstandard analysis and is based on Feynman's interpretation of the Heisenberg uncertainty principle, i.e., of the quantum fluctuations, which was brought to the forefront in some fractal approaches. It results, as in Nelson's stochastic mechanics, in stochastic differential equations which are deduced from infinitesimal random walks. An extended english abstract gives most of the details.
Continuous-variable (CV) systems are attracting increasing attention in the realization of universal quantum computation. Several recent experiments have shown the feasibility of using CV systems to, e.g., encode a qubit into a trapped-ion mechanical oscillator and perform logic gates [Nature 566, 513-517 (2019)]. The essential next step is to protect the encoded qubit from quantum decoherence, e.g., the motional decoherence due to the interaction between a mechanical oscillator and its environment. Here we propose a scheme to suppress quantum decoherence of a single-mode harmonic oscillator u…
Following the renewed interest in the topic [1], we revisit the problem of assigning probabilities to classes of Feynman paths passing through specified space-time regions. We show that by assigning of probabilities to interfering alternatives, one already makes an assumption that the interference has been destroyed through interaction with an environment, or a meter. Including the effects of the meter allows to construct a consistent theory, free of logical 'pitfalls' identified in Ref. [1]. Wherever a meter cannot be constructed, or cannot be set to perform the desired decoherence, formally …
It is often stated that quantum mechanics only makes statistical predictions and that a quantum state is described by the various probability distributions associated with it. Can we describe a quantum state completely in terms of probabilities and then use it to describe quantum dynamics? What is the origin of the probability distribution for a maximally specified quantum state? Is quantum mechanics `local' or is there an essential nonlocality (nonseparability) inherent in quantum mechanics? These questions are discussed in this paper. The decay of an unstable quantum state and the time depen…
I show that probabilities in quantum mechanics are a measure of belief in the presence of human ignorance, just like all other probabilities. The Born interpretation of the square of modulus of the wave function arises from the interaction of a quantum system with an observer, and probabilities will not arise unless the observer is unable to access all the information available in the system's wave function. Quantum mechanics generally does not permit all the information to be obtained, even in principle, just as in relativity information from outside the past light cone cannot be obtained. Bu…
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 discuss some issues about probability in quantum mechanics, with particular emphasis on the GHZ theorem. We propose the usage of nonmonotonic upper probabilities as a tool to derive consistent joint upper probabilities for systems where only contextual hidden variables are possible.
By means of the examples of classical and Bohmian quantum mechanics, we illustrate the well-known ideas of Boltzmann as to how one gets from laws defined for the universe as a whole to dynamical relations describing the evolution of subsystems. We explain how probabilities enter into this process, what quantum and classical probabilities have in common and where exactly their difference lies.
Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences, and distinguishability, and is formalized using the distinctions (`dits') of a partition (a pair of points distinguished by the partition). All the definitions of simple, joint, conditional, and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purp…
In a quantum universe with a strong arrow of time, it is standard to postulate that the initial wave function started in a particular macrostate--the special low-entropy macrostate selected by the Past Hypothesis. Moreover, there is an additional postulate about statistical mechanical probabilities according to which the initial wave function is a "typical" choice in the macrostate (the Statistical Postulate). Together, they support a probabilistic version of the Second Law of Thermodynamics: typical initial wave functions will increase in entropy. Hence, there are two sources of randomness in…
Both the quantum mechanical and classical Bells experiment are within the focus of this paper. The fact that one measures different probabilities in both experiments is traced back to the superposition of two orthogonal but nonentangled substates in the quantum mechanical case. This superposition results in an interference term that can be splitted into two additional states representing a sink and a source of probabilities in the classical event space related to Bells experiment. As a consequence, a statistical operator can be related to the quantum mechanical Bells experiment that contains a…
We consider a model of an artificial neural network that uses quantum-mechanical particles in a two-humped potential as a neuron. To simulate such a quantum-mechanical system the Monte-Carlo integration method is used. A form of the self-potential of a particle and two potentials (exciting and inhibiting) interaction are proposed. The possibility of implementing the simplest logical elements, (such as AND, OR and NOT) based on introduced quantum particles is shown. Further we show implementation of a simplest convolutional network. Finally we construct a network that recognizes handwritten sym…
Algorithmic probability has shown some promise in dealing with the probability problem in the Everett interpretation, since it provides an objective, single-case probability measure. Many find the Everettian cosmology to be overly extravagant, however, and algorithmic probability has also provided improved models of subjective probability and Bayesian reasoning. I attempt here to generalize algorithmic Everettianism to more Bayesian and subjectivist interpretations. I present a general framework for applying generative probability, of which algorithmic probability can be considered a special c…
The predictions of quantum mechanics are probabilistic. Quantum probabilities are extracted using a postulate of the theory called the Born rule, the status of which is central to the "measurement problem" of quantum mechanics. Efforts to justify the Born rule from other physical principles, and thus elucidate the measurement process, have involved lengthy statistical or information-theoretic arguments. Here we show that Bohm's deterministic formulation of quantum mechanics allows the Born rule for measurements on a single system to be derived, without any statistical assumptions. We solve a s…
It is usually assumed that the quantum state is sufficient for deducing all probabilities for a system. This may be true when there is a single observer, but it is not true in a universe large enough that there are many copies of an observer. Then the probability of an observation cannot be deduced simply from the quantum state (say as the expectation value of the projection operator for the observation, as in traditional quantum theory). One needs additional rules to get the probabilities. What these rules are is not logically deducible from the quantum state, so the quantum state itself is i…
