We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence

Abstract: We study hidden-variable models from quantum mechanics, and their abstractions in purely probabilistic and relational frameworks, by means of logics of dependence and independence, based on team semantics. We show that common desirable properties of hidden-variable models can be defined in an elegant and concise way in dependence and independence logic. The relationship between different properties, and their simultaneous realisability can thus been formulated and a proved on a purely logical level, as problems of entailment and satisfiability of logical formulae. Connections between probabilistic and relational entailment in dependence and independence logic allow us to simplify proofs. In many cases, we can establish results on both probabilistic and relational hidden-variable models by a single proof, because one case implies the other, depending on purely syntactic criteria. We also discuss the no-go theorems by Bell and Kochen-Specker and provide a purely logical variant of the latter, introducing non-contextual choice as a team-semantical property.
Comments: 32 pages
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
MSC classes: 03C80, 81P10
ACM classes: F.4.1
Cite as: arXiv:2102.10931 [cs.LO]
  (or arXiv:2102.10931v2 [cs.LO] for this version)

Submission history

From: Erich Grädel [view email]
[v1] Mon, 22 Feb 2021 12:04:36 GMT (48kb,D)
[v2] Thu, 27 Jan 2022 11:54:20 GMT (48kb,D)

Link back to: arXiv, form interface, contact.