Two Proofs of Fine's Theorem
arXiv:1403.7136 · doi:10.1016/j.physleta.2014.08.012
Abstract
Fine's theorem concerns the question of determining the conditions under which a certain set of probabilities for pairs of four bivalent quantities may be taken to be the marginals of an underlying probability distribution. The eight CHSH inequalities are well-known to be necessary conditions, but Fine's theorem is the striking result that they are also a sufficient condition. It has application to the question of finding a local hidden variables theory for measurements of pairs of spins for a system in an EPRB state. Here we present two simple and self-contained proofs of Fine's theorem in which the origins of this non-obvious result can be easily seen. The first is a physically motivated proof which simply notes that this matching problem is solved using a local hidden variables model given by Peres. The second is a straightforward algebraic proof which uses a representation of the probabilities in terms of correlation functions and takes advantage of certain simplifications naturally arising in that representation. A third, unsuccessful attempt at a proof, involving the maximum entropy technique is also briefly described
17 pages, latex. Revised argument for setting average spins to zero. References added. Corrected figure
Cited by in corpus (24)
- The Leggett-Garg Inequalities and No-Signalling in Time: A Quasi-Probability Approach
- Comparing Conditions for Macrorealism: Leggett-Garg Inequalities vs No-Signaling in Time
- Violations of locality and free choice are equivalent resources in Bell experiments
- A quasi-probability for the arrival time problem with links to backflow and the Leggett-Garg inequalities
- Leggett-Garg tests of macrorealism: checks for non-invasiveness and generalizations to higher-order correlators
- Quantum Measurements and Contextuality
- No-signaling-in-time as a condition for macrorealism: the case of neutrino oscillations
- Fine's Theorem for Leggett-Garg tests with an arbitrary number of measurement times
- Optimal violation of Leggett-Garg inequality for arbitrary spin and emergence of classicality through unsharp measurement
- Necessary and sufficient conditions for macrorealism using two and three-time Leggett-Garg inequalities
- Probing inequivalent forms of Legget-Garg inequality in subatomic systems
- Conditions for Macrorealism for Systems Described by Many-Valued Variables
- Influence of equilibrium and nonequilibrium environments on macroscopic realism through the Leggett-Garg inequalities
- Motivated proofs: What they are, why they matter and how to write them
- Three-players conflicting interest games and nonlocality
- Violation of Bell inequality based on symmetry
- Breaking of Bell inequalities from symmetry: the three orbits case
- Incompatible Multiple Consistent Sets of Histories and Measures of Quantumness
- Detector self-tomography
- An Effective Way of Characterizing the Quantum Nonlocality
- Resolving game theoretical dilemmas with quantum states
- Note on Güney-Hillery approach to Bell inequalities
- Tests of macrorealism in meson oscillation physics
- Examining the effect of quantum strategies on symmetric conflicting interest games