Related papers: Unifying Hidden-Variable Problems from Quantum Mec…

It is well known that dependence logic captures the complexity class NP, and it has recently been shown that inclusion logic captures P on ordered models. These results demonstrate that team semantics offers interesting new possibilities…

The paper defends the thesis that analysis of truth problem in the context of interpretations of quantum logic allows to reveal the prospect of elicitation of specifics of the relations between quantum mechanics and quantum logic in a…

For a simple set of observables we can express, in terms of transition probabilities alone, the Heisenberg Uncertainty Relations, so that they are proven to be not only necessary, but sufficient too, in order for the given observables to…

Uniqueness and independence are two fundamental properties of data. Their enforcement in database systems can lead to higher quality data, faster data service response time, better data-driven decision making and knowledge discovery from…

In this sequence of papers, noncommutative analysis is used to give a consistent axiomatic approach to a unified conceptual foundation of classical and quantum physics. The present Part I defines the concepts of observables, states and…

In this paper we concentrate on the nature of the liar paradox as a cognitive entity; a consistently testable configuration of properties. We elaborate further on a quantum mechanical model [Aerts, Broekaert, Smets 1999] that has been…

Bell's Theorem from 1964 and the (Strong) Free Will Theorem of Conway and Kochen from 2009 both exclude deterministic hidden variable theories (or, in modern parlance, `ontological models') that are compatible with some small fragment of…

We use separation of variables as a tool to identify and to analyze exactly soluble time-dependent quantum mechanical potentials. By considering the most general possible time-dependent re-definition of the spatial coordinate, as well as…

We present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known axioms and rules of independence for making inferences…

Certain concrete "ontological models" for quantum mechanics (models in which measurement outcomes are deterministic and quantum states are equivalent to classical probability distributions over some space of `hidden variables') are…

Quantum correlations that violate the Bell inequality cannot be explained by any (measurement independent) local hidden variable theory. However, the violation only implies incompatibility of the underlying assumptions of reality, locality,…

Deep latent variable models learn condensed representations of data that, hopefully, reflect the inner workings of the studied phenomena. Unfortunately, these latent representations are not statistically identifiable, meaning they cannot be…

We argue that it is logically possible to have a sort of both reality and locality in quantum mechanics. To demonstrate this, we construct a new quantitative model of hidden variables (HV's), dubbed solipsistic HV's, that interpolates…

We define criteria for a hidden variables theory to be Lorentz invariant and prove that it implies no signaling. As a result, we show that a Lorentz invariant and contextual theory (e.g., quantum field theory) must be genuinely stochastic,…

The rules of d-separation provide a framework for deriving conditional independence facts from model structure. However, this theory only applies to simple directed graphical models. We introduce relational d-separation, a theory for…

We show that the presented real-number quantum theories, compatible with the independent source assumption, require the inclusion of a nonlocal map. This means that if the independent source assumption holds, in these models, complex-number…

We show an example of benign non-separability in an apparently separable system consisting of $n$ free non-correlated quantum particles, solitonic solutions to the nonlinear phase modification of the Schr\"{o}dinger equation proposed…

Franson showed that Aspect's experiment to test Bell's inequality did not rule out local realistic theories with delayed determinism. A class of local, deterministic discrete mathematical models with delayed determinism is described that…

The theory of Lie systems has recently been applied to Quantum Mechanics and additionally some integrability conditions for Lie systems of differential equations have also recently been analysed from a geometric perspective. In this paper…

Dedicated to Tony Hoare. In a paper published in 1972 Hoare articulated the fundamental notions of hiding invariants and simulations. Hiding: invariants on encapsulated data representations need not be mentioned in specifications that…