Related papers: Unifying Hidden-Variable Problems from Quantum Mec…
Hamiltonian mechanics describes the evolution of a system through its Hamiltonian. The Hamiltonian typically also represents the energy observable, a Noether-conserved quantity associated with the time-invariance of the law of evolution. In…
We give a mathematical framework to describe the evolution of an open quantum systems subjected to finitely many interactions with classical apparatuses. The systems in question may be composed of distinct, spatially separated subsystems…
The title refers to the Free Will Theorem by Conway and Kochen whose flashy formulation is: if experimenters possess free will, then so do particles. In more modest terms, the theorem says that individual pairs of spacelike separated…
This paper furthers the long historical examination of and debate on the foundations of quantum mechanics (QM) by presenting two local hidden variable (LHV) rules in the context of the EPRB experiment which violate Bell's inequality, but…
Previously suggested hidden time interpretation of quantum mechanics allows to reproduce the same predictions as standard quantum mechanics provides, since it is based on Feynman many - paths formulation of QM. While new experimental…
One of the conclusions that Bell drew from his famous inequality was that any hidden variable theory that satisfies Local Causality is incompatible with the predictions of Quantum Mechanics for Bell's Experiment. However, Local Causality…
Under a standard set of assumptions for a hidden-variables model for quantum events, we show that all observables must commute simultaneously. And, despite Bell's complaint that a key condition of von Neumann's was quite unrealistic, we…
We provide a mechanism by which, from a background independent model with no quantum mechanics, quantum theory arises in the same limit in which spatial properties appear. Starting with an arbitrary abstract graph as the microscopic model…
We study a class of determinantal ideals that are related to conditional independence (CI) statements with hidden variables. Such CI statements correspond to determinantal conditions on a matrix whose entries are probabilities of events…
Bell inequalities rely on an assumption that the probabilities of adopting configurations of hidden variables describing a system prior to measurement are independent of the choice of measured physical property, also known as measurement…
The Kochen-Specker theorem theoretically shows evidence of the incompatibility of noncontextual hidden variable theories with quantum mechanics. Quantum contextuality is a more general concept than quantum non-locality which is quite well…
Bayesian networks provide a powerful tool for reasoning about probabilistic causation, used in many areas of science. They are, however, intrinsically classical. In particular, Bayesian networks naturally yield the Bell inequalities.…
We present a type theory combining both linearity and dependency by stratifying typing rules into a level for logics and a level for programs. The distinction between logics and programs decouples their semantics, allowing the type system…
We present an AI-assisted framework for predicting individual runs of complex quantum experiments, including contextuality and causality (adaptive measurements), within our long-term programme of discovering a local hidden-variable theory…
Causal multiteam semantics is a framework where probabilistic dependencies arising from data and causation between variables can be together formalized and studied logically. We consider several logics in the setting of causal multiteam…
John Bell showed that a big class of local hidden-variable models stands in conflict with quantum mechanics and experiment. Recently, there were suggestions that empirical adequate hidden-variable models might exist, which presuppose a…
We define and study logics in the framework of probabilistic team semantics and over metafinite structures. Our work is paralleled by the recent development of novel axiomatizable and tractable logics in team semantics that are closed under…
We investigate the notion of independence, which is at the basis of many, seemingly unrelated, properties of logic like Rational Monotony in non-monotonic logics, and interpolation theorems.
A central feature of quantum mechanics is the non-commutativity of operators used to describe physical observables. In this article, we present a critical analysis on the role of non-commutativity in quantum theory, focusing on its…
We consider symmetries and reduction in non-relativistic many-body quantum mechanics, with the aim of identifying physically meaningful observables in systems such as molecules and crystalline solids. To this end, we propose a unified…