Related papers: Unifying Hidden-Variable Problems from Quantum Mec…
The combination of various physically plausible properties, such as no signaling, determinism, and experimental free will, is known to be incompatible with quantum correlations. Hence, these properties must be individually or jointly…
Building on the Pusey-Barrett-Rudolph theorem, we derive a no-go theorem for a vast class of deterministic hidden-variables theories, including those consistent on their targeted domain. The strength of this result throws doubt on seemingly…
We consider an ontology, in which contextual nonlocal hidden variables are stored as pre-existing possibilities in a repository outside space-time; and in which the context can be chosen ``freely'' (measurement independence) by each agent,…
We propose a semantic foundation for logics for reasoning in settings that possess a distinction between equality of variables, a coarser equivalence of variables, and a notion of conditional independence between variables. We show that…
The question of whether quantum phenomena can be explained by classical models with hidden variables is the subject of a long lasting debate. In 1964, Bell showed that certain types of classical models cannot explain the quantum mechanical…
We consider dynamics of hidden variables for measurements in a generalized bell-type model for a single spin using natural assumptions. The evolution of the system, which can be expressed as dynamic chaos is studied. The equilibrium state…
An ambiguity is pointed out in J.S. Bell's argument that the distinction between quantum mechanics and hidden variable theories cannot be found in the behavior of single-particle beams. Within the context of theories for which states are…
This paper introduces modal independence logic MIL, a modal logic that can explicitly talk about independence among propositional variables. Formulas of MIL are not evaluated in worlds but in sets of worlds, so called teams. In this vein,…
Quantum mechanics admits correlations that cannot be explained by local realistic models. Those most studied are the standard local hidden variable models, which satisfy the well-known Bell inequalities. To date, most works have focused on…
Recently, Roger Colbeck and Renato Renner (C&R) have claimed that '[n]o extension of quantum theory can have improved predictive power'. If correct, this is a spectacular impossibility theorem for hidden variable theories, which is more…
It has recently been questioned whether the Kochen-Specker theorem is relevant to real experiments, which by necessity only have finite precision. We give an affirmative answer to this question by showing how to derive hidden-variable…
Though John Bell had claimed that his spin-1/2 example of a hidden-variable theory(HV) is an \emph{explicit} counterexample to von Neumann's proof of the non-existence of hidden variable theories empirically equivalent to quantum mechanics,…
Logical relations are one of the most powerful techniques in the theory of programming languages, and have been used extensively for proving properties of a variety of higher-order calculi. However, there are properties that cannot be…
A version of quantum theory is derived from a set of plausible assumptions related to the following general setting: For a given system there is a set of experiments that can be performed, and for each such experiment an ordinary…
We give an overview of some developments in dependence and independence logic. This is a tiny selection, intended for a newcomer, from a rapidly growing literature on the topic. Furthermore, we discuss conditional independence atoms and we…
An exact invariant operator of time-dependent coupled oscillators is derived using the Liouville-von Neumann equation. The unitary relation between this invariant and the invariant of two uncoupled simple harmonic oscillators is…
Many seemingly paradoxical effects are known in the predictions for outcomes of measurements made on pre- and post-selected quantum systems. A class of such effects, which we call ``logical pre- and post-selection paradoxes'', bear a…
In contrast to conventional, dynamical entanglement, in which particles with definite identity have uncertain properties, in so-called statistical entanglement, which arises between indistinguishable particles because of quantum symmetry…
This paper argues that several canonical puzzles in quantum mechanics, including spin measurement, the double slit, entanglement correlations, and Wigner's friend, share a common origin in a semantic error and the illicit promotion of…
In the quantum mechanical Hilbert space formalism, the probabilistic interpretation is a later ad-hoc add-on, more or less enforced by the experimental evidence, but not motivated by the mathematical model itself. A model involving a clear…