Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1210.6870 · Physical Review A

Negative probabilities, Fine's theorem, and linear positivity

J. J. Halliwell, James M. Yearsley

Published Feb 19, 2013• 32 citations
arXivHTMLPDF

Abstract

Many situations in quantum theory and other areas of physics lead to quasiprobabilities which seem to be physically useful but can be negative. The interpretation of such objects is not at all clear. In this paper, we show that quasiprobabilities naturally fall into two qualitatively different types, according to whether their non-negative marginals can or cannot be matched to a non-negative probability. The former type of quasiprobabilities, which we call viable, are qualitatively similar to true probabilities, but the latter type, which we call nonviable, may not have a sensible interpretation. Determining the existence of a probability matching given marginals is a nontrivial question in general. In simple examples, Fine's theorem indicates that inequalities of the Bell and Clauser-Horne-Shimony-Holt (CHSH) types provide criteria for its existence, and these examples are considered in detail. Our results have consequences for the linear positivity condition of Goldstein and Page in the context of the histories approach to quantum theory. Although it is a very weak condition for the assignment of probabilities, it fails in some important cases where our results indicate that probabilities clearly exist. We speculate that our method, of matching probabilities to a given set of marginals, provides a general method of assigning probabilities to histories and we show that it passes the Di\'osi test for the statistical independence of subsystems.

DOI
10.1103/physreva.87.022114

Related papers

Incompatible multiple consistent sets of histories and measures of quantumness

J. J. Halliwell

In the consistent histories approach to quantum theory probabilities are assigned to histories subject to a consistency condition of negligible interference. The approach has the feature that a given physical situation admits multiple sets of consistent histories that cannot in general be united into a single consistent set, leading to a number of counterintuitive or contrary properties if propositions from different consistent sets are combined indiscriminately. An alternative viewpoint is proposed in which multiple consistent sets are classified according to whether or not there exists any unifying probability for combinations of incompatible sets which replicates the consistent histories result when restricted to a single consistent set. A number of examples are exhibited in which this classification can be made, in some cases with the assistance of the Bell, Clauser-Horne-Shimony-Holt, or Leggett-Garg inequalities together with Fine's theorem. When a unifying probability exists logical deductions in different consistent sets can in fact be combined, an extension of the ``single framework rule.'' It is argued that this classification coincides with intuitive notions of the boundary between classical and quantum regimes and in particular, the absence of a unifying probability for certain combinations of consistent sets is regarded as a measure of the ``quantumness'' of the system. The proposed approach and results are closely related to recent work on the classification of quasiprobabilities and this connection is discussed.

arXiv:1704.01783•Physical Review A•Jul 25, 2017•5 citations

Bounding Classical and Quantum Correlations in Bayesian Networks with Quasiprobabilities

Paul Becsi, Matty J. Hoban

Bell's theorem reveals that quantum theory is in tension with classical causal reasoning and, in particular, the notion of local causality. This is now understood as a particular example of non-classicality in the study of correlations in (Bayesian) networks with both unobserved and observed nodes: the correlations are probability distributions over the observed nodes. There is a great deal of work aiming to understand the bounds on quantum and classical correlations in such networks and one approach is to consider outer approximations to the former. Along these lines, we consider quasiprobabilistic models for Bayesian networks, which can be seen as classical models but the probability distributions involving unobserved nodes are "replaced" with quasiprobabilities that respect normalisation but not positivity. We denote the set of correlations resulting from these models as the quasi set. Such models have a history in the study of Bell-type non-classicality where it has been shown that they can produce all non-signalling correlations. We show a generalisation of this result for a broad class of networks, which motivates a conjecture that the quasi set recovers the so called nested Markov model. Our work utilises a connection to tensor network decompositions, which may be of independent interest.

quant-pharXiv:2606.23372•Jun 23, 2026•0 citations

Linear positivity and virtual probability

James B. Hartle

We investigate the quantum theory of closed systems based on the linear positivity decoherence condition of Goldstein and Page. The objective of any quantum theory of a closed system, most generally the universe, is the prediction of probabilities for the individual members of sets of alternative coarse-grained histories of the system. Quantum interference between members of a set of alternative histories is an obstacle to assigning probabilities that are consistent with the rules of probability theory. A quantum theory of closed systems therefore requires two elements: (1) a condition specifying which sets of histories may be assigned probabilities and (2) a rule for those probabilities. The linear positivity condition of Goldstein and Page is the weakest of the general conditions proposed so far. Its general properties relating to exact probability sum rules, time neutrality, and conservation laws are explored. Its inconsistency with the usual notion of independent subsystems in quantum mechanics is reviewed. Its relation to the stronger condition of medium decoherence necessary for classicality is discussed. The linear positivity of histories in a number of simple model systems is investigated with the aim of exhibiting linearly positive sets of histories that are not decoherent. The utility of extending the notion of probability to include values outside the range of 0--1 is described. Alternatives with such virtual probabilities cannot be measured or recorded, but can be used in the intermediate steps of calculations of real probabilities. Extended probabilities give a simple and general way of formulating quantum theory. The various decoherence conditions are compared in terms of their utility for characterizing classicality and the role they might play in further generalizations of quantum mechanics.

arXiv:quant-ph/0401108•Physical Review A•Aug 16, 2004•49 citations

Partial Decoherence of Histories and the Diosi Test

J. J. Halliwell

In the decoherent histories approach to quantum theory, attention focuses on the conditions under which probabilities may be assigned to sets of quantum histories. A variety of conditions have been proposed, but the most important one is decoherence, which means that the interference between every pair of histories in the set is zero. Weaker conditions have been considered, such as consistency, or linear positivity, but these are ruled out by the requirement of consistent composition of subsystems, proposed by Diosi. Here we propose a new condition which we call partial decoherence, and is the requirement that every history has zero interference with its negation. This is weaker than decoherence and stronger than linear positivity (but its relation to consistency is less simply defined -- it is neither stronger nor weaker). Most importantly, it satisfies the Diosi condition. A strengthened Diosi condition is proposed, which partial decoherence narrowly fails, due to an unusual property of inhomogeneous histories. In an appendix an example is given of a set of histories which are consistent but not decoherent.

arXiv:0904.4388•Apr 28, 2009•1 citation

Witnessing Bell violations through probabilistic negativity

Benjamin Morris, Lukas J. Fiderer, Ben Lang +1 more

Bell's theorem shows that no local hidden-variable model can explain the measurement statistics of a quantum system shared between two parties, thus ruling out a classical (local) understanding of nature. In this paper we demonstrate that by relaxing the positivity restriction in the hidden-variable probability distribution it is possible to derive quasiprobabilistic Bell inequalities whose sharp upper bound is written in terms of a negativity witness of said distribution. This provides an analytic solution for the amount of negativity necessary to violate the Clauser-Horne-Shimony-Holt inequality by an arbitrary amount, therefore revealing the amount of negativity required to emulate the quantum statistics in a Bell test.

arXiv:2105.01685•Physical Review A•Mar 2, 2022•3 citations

Bell's Theorem - Why Inequalities, Correlations?

Noam Erez A

It is shown that Bell's counterfactuals admit joint quasiprobability distributions (i.e. joint distributions exist, but may not be non-negative). A necessary and sufficient condition for the existence among them of a true probability distribution (i.e. no-nnegative) is Bell's inequalities. This, in turn, is a necessary condition for the existence of local hidden variables. The treatment is amenable to generalization to examples of 'nonlocality without inequalities'.

arXiv:quant-ph/0407085•Jul 13, 2004•0 citations
Many situations in quantum theory and other areas of physics lead to quasiprobabilities which seem to be physically useful but can be negative. The interpretation of such objects is not at all clear. In this paper, we show that quasiprobabilities naturally fall into two qualitatively different types, according to whether their non-negative marginals can or cannot be matched to a non-negative probability. The former type of quasiprobabilities, which we call viable, are qualitatively similar to true probabilities, but the latter type, which we call nonviable, may not have a sensible interpretation. Determining the existence of a probability matching given marginals is a nontrivial question in general. In simple examples, Fine's theorem indicates that inequalities of the Bell and Clauser-Horne-Shimony-Holt (CHSH) types provide criteria for its existence, and these examples are considered in detail. Our results have consequences for the linear positivity condition of Goldstein and Page in the context of the histories approach to quantum theory. Although it is a very weak condition for the assignment of probabilities, it fails in some important cases where our results indicate that probabilities clearly exist. We speculate that our method, of matching probabilities to a given set of marginals, provides a general method of assigning probabilities to histories and we show that it passes the Di'osi test for the statistical independence of subsystems.
In the consistent histories approach to quantum theory probabilities are assigned to histories subject to a consistency condition of negligible interference. The approach has the feature that a given physical situation admits multiple sets of consistent histories that cannot in general be united into a single consistent set, leading to a number of counterintuitive or contrary properties if propositions from different consistent sets are combined indiscriminately. An alternative viewpoint is proposed in which multiple consistent sets are classified according to whether or not there exists any unifying probability for combinations of incompatible sets which replicates the consistent histories result when restricted to a single consistent set. A number of examples are exhibited in which this classification can be made, in some cases with the assistance of the Bell, Clauser-Horne-Shimony-Holt, or Leggett-Garg inequalities together with Fine's theorem. When a unifying probability exists logical deductions in different consistent sets can in fact be combined, an extension of the ``single framework rule.'' It is argued that this classification coincides with intuitive notions of the boundary between classical and quantum regimes and in particular, the absence of a unifying probability for certain combinations of consistent sets is regarded as a measure of the ``quantumness'' of the system. The proposed approach and results are closely related to recent work on the classification of quasiprobabilities and this connection is discussed.
Bell's theorem reveals that quantum theory is in tension with classical causal reasoning and, in particular, the notion of local causality. This is now understood as a particular example of non-classicality in the study of correlations in (Bayesian) networks with both unobserved and observed nodes: the correlations are probability distributions over the observed nodes. There is a great deal of work aiming to understand the bounds on quantum and classical correlations in such networks and one approach is to consider outer approximations to the former. Along these lines, we consider quasiprobabilistic models for Bayesian networks, which can be seen as classical models but the probability distributions involving unobserved nodes are "replaced" with quasiprobabilities that respect normalisation but not positivity. We denote the set of correlations resulting from these models as the quasi set. Such models have a history in the study of Bell-type non-classicality where it has been shown that they can produce all non-signalling correlations. We show a generalisation of this result for a broad class of networks, which motivates a conjecture that the quasi set recovers the so called nested Markov model. Our work utilises a connection to tensor network decompositions, which may be of independent interest.
We investigate the quantum theory of closed systems based on the linear positivity decoherence condition of Goldstein and Page. The objective of any quantum theory of a closed system, most generally the universe, is the prediction of probabilities for the individual members of sets of alternative coarse-grained histories of the system. Quantum interference between members of a set of alternative histories is an obstacle to assigning probabilities that are consistent with the rules of probability theory. A quantum theory of closed systems therefore requires two elements: (1) a condition specifying which sets of histories may be assigned probabilities and (2) a rule for those probabilities. The linear positivity condition of Goldstein and Page is the weakest of the general conditions proposed so far. Its general properties relating to exact probability sum rules, time neutrality, and conservation laws are explored. Its inconsistency with the usual notion of independent subsystems in quantum mechanics is reviewed. Its relation to the stronger condition of medium decoherence necessary for classicality is discussed. The linear positivity of histories in a number of simple model systems is investigated with the aim of exhibiting linearly positive sets of histories that are not decoherent. The utility of extending the notion of probability to include values outside the range of 0--1 is described. Alternatives with such virtual probabilities cannot be measured or recorded, but can be used in the intermediate steps of calculations of real probabilities. Extended probabilities give a simple and general way of formulating quantum theory. The various decoherence conditions are compared in terms of their utility for characterizing classicality and the role they might play in further generalizations of quantum mechanics.
In the decoherent histories approach to quantum theory, attention focuses on the conditions under which probabilities may be assigned to sets of quantum histories. A variety of conditions have been proposed, but the most important one is decoherence, which means that the interference between every pair of histories in the set is zero. Weaker conditions have been considered, such as consistency, or linear positivity, but these are ruled out by the requirement of consistent composition of subsystems, proposed by Diosi. Here we propose a new condition which we call partial decoherence, and is the requirement that every history has zero interference with its negation. This is weaker than decoherence and stronger than linear positivity (but its relation to consistency is less simply defined -- it is neither stronger nor weaker). Most importantly, it satisfies the Diosi condition. A strengthened Diosi condition is proposed, which partial decoherence narrowly fails, due to an unusual property of inhomogeneous histories. In an appendix an example is given of a set of histories which are consistent but not decoherent.
Bell's theorem shows that no local hidden-variable model can explain the measurement statistics of a quantum system shared between two parties, thus ruling out a classical (local) understanding of nature. In this paper we demonstrate that by relaxing the positivity restriction in the hidden-variable probability distribution it is possible to derive quasiprobabilistic Bell inequalities whose sharp upper bound is written in terms of a negativity witness of said distribution. This provides an analytic solution for the amount of negativity necessary to violate the Clauser-Horne-Shimony-Holt inequality by an arbitrary amount, therefore revealing the amount of negativity required to emulate the quantum statistics in a Bell test.