Related papers: Non-contextuality and free will in modal quantum t…
We explore the relationship between Kochen-Specker quantum contextuality and Bell-nonclassicality for ensembles of two-qubit pure states. We present a comparative analysis showing that the violation of a noncontextuality inequality on a…
Quantum theory makes the most accurate empirical predictions and yet it lacks simple, comprehensible physical principles from which the theory can be uniquely derived. A broad class of probabilistic theories exist which all share some…
Is entanglement an exclusive feature of quantum systems, or is it common to all non-classical theories? And if this is the case, how strong is quantum mechanical entanglement as compared to that exhibited by other theories? The first part…
In this paper, we extend the standard formalism of quantum mechanics to a quantum theory for a total system including one internal measuring apparatus. The internality of the measuring apparatus implies that different decomposition of a…
The Kochen-Specker theorem has been discussed intensely ever since its original proof in 1967. It is one of the central no-go theorems of quantum theory, showing the non-existence of a certain kind of hidden states models. In this paper, we…
Contextuality is a key signature of quantum non-classicality, which has been shown to play a central role in enabling quantum advantage for a wide range of information-processing and computational tasks. We study the logic of contextuality…
In this article we discuss the contextual character of quantum mechanics in the framework of modal interpretations. We investigate its historical origin and relate contemporary modal interpretations to those proposed by M. Born and W.…
Quantum Information Theory, the standard formalism used to represent information contained in quantum systems, is based on complex Hilbert spaces (CQT). It was recently shown that it predicts correlations in quantum networks which cannot be…
In this conceptual paper, we discuss quantum formalisms which do not use the famous Axiom of Choice. We also consider the fundamental problem which addresses the (in)correctness of having the complex numbers as the base field for Hilbert…
In this thesis we explore the questions of what should be considered a "classical" theory, and which aspects of quantum theory cannot be captured by any theory that respects our intuition of classicality. This exploration is divided in two…
The restrictions that nature places on the distribution of correlations in a multipartite quantum system play fundamental roles in the evolution of such systems, and yield vital insights into the design of protocols for the quantum control…
The no-communication theorem states that the observation of a subsystem of an entangled state does not affect another subsystem. Nevertheless, this theorem is based on the assumption that all quantum processes are unitary. We examine a…
Contextuality is a key feature of quantum mechanics, as was first brought to light by Bohr and later realised more technically by Kochen and Specker. Isham and Butterfield put contextuality at the heart of their topos-based formalism and…
The Kochen-Specker theorem shows that it is impossible to assign sharp values to all dynamical variables in quantum mechanics in such a way that the algebraic relations among the values of dynamical variables whose self-adjoint operators…
General relativity required the abandonment of Euclidean geometry. Here we show that quantum theory requires the abandonment of classical logic. We show that the Hilbert space representation of quantum theory is logically inevitable. There…
In the paper, a value assignment for projection operators relating to a quantum system is equated with assignment of truth-values to the propositions associated with these operators. In consequence, the Kochen-Specker theorem (its localized…
In the paper it is shown that the Kochen-Specker theorem follows from Burnside's theorem on noncommutative algebras. Accordingly, contextuality (as an impossibility of assigning binary values to projection operators independently of their…
It is shown that in two-state quantum theory, a generic quantum state can be described by a non-computable real number. In terms of this, the criterion for measurement outcome is simply and deterministically defined. This demonstration is…
We investigate the relationship between two properties of quantum transformations often studied in popular subtheories of quantum theory: covariance of the Wigner representation of the theory and the existence of a transformation…
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled transition systems can be distinguished by a modal formula.…