Related papers: Kochen-Specker theorem for a single qubit using po…
The Kochen-Specker (KS) theorem is a fundamental result in quantum foundations that has spawned massive interest since its inception. We present state-independent non-contextuality inequalities with large violations, in particular, we…
For the case of two spin-1/2 particles in the singlet state, we provide a GHZ-type proof of Bell's theorem by using the idea of postselected measurements. Furthermore, we show that in spite of the low efficiency of the detectors one can…
Extensions of the Kochen-Specker theorem use quantum logics whose classical interpretation suggests a true-implies-value indefiniteness property. This can be interpreted as an indication that any view of a quantum state beyond a single…
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…
An arbitrarily dense discretisation of the Bloch sphere of complex Hilbert states is constructed, where points correspond to bit strings of fixed finite length. Number-theoretic properties of trigonometric functions (not part of the…
We describe a system of axioms that, on one hand, is sufficient for constructing the standard mathematical formalism of quantum mechanics and, on the other hand, is necessary from the phenomenological standpoint. In the proposed scheme, the…
Standard quantum mechanics unquestionably violates the separability principle that classical physics (be it point-like analytic, statistical, or field-theoretic) accustomed us to consider as valid. In this paper, quantum nonseparability is…
Each platonic solid defines a single-qubit positive operator valued measure (POVM) by interpreting its vertices as points on the Bloch sphere. We construct simple circuits for implementing this kind of measurements and other simple types of…
I discuss a set of strong, but probabilistically intelligible, axioms from which one can {\em almost} derive the appratus of finite dimensional quantum theory. Stated informally, these require that systems appear completely classical as…
A very simple illustration of the Bell-Kochen-Specker contradiction is presented using continuous observables in infinite dimensional Hilbert space. It is shown that the assumption of the \emph{existence} of putative values for position and…
Proofs of Bell-Kochen-Specker contextuality demonstrate that there exists sets of projectors that cannot each be assigned either 0 or 1 such that each basis formed from them contains exactly one 1-assigned projector. Instead, at least some…
A suitable generalized measurement described by a 4-element positive operator-valued measure (POVM) on each particle of a two-qubit system in the singlet state is, from the point of view of Einstein, Podolsky, and Rosen's (EPR's) criterion…
We show that a one-dimensional discrete time quantum walk can be used to implement a generalized measurement in terms of positive operator value measure (POVM) on a single qubit. More precisely, we show that for a single qubit any set of…
We use elementary methods to prove an incidence theorem for points and spheres in $\mathbb{F}_q^n$. As an application, we show that any point set of $P\subset \mathbb{F}_q^2$ with $|P|\geq 5q$ determines a positive proportion of all…
Partial Boolean algebra underlies the quantum logic as an important tool for quantum contextuality. We propose the notion atom graphs to reveal the graph structure of partial Boolean algebra for finite dimensional quantum systems by proving…
In this article we consider means of positive operators on a Hilbert space. We extend the theory of matrix power means to arbitrary operator means in the sense of Kubo-Ando. The basis of the extension is relying on ideas coming from…
An ability to describe quantum states directly by average values of measurement outcomes is provided by the Bloch vector. For an informationally complete set of measurements one can construct unique Bloch vector for any quantum state.…
The epsilon operator is a term-forming operator which replaces quantifiers in ordinary predicate logic. The application of this undervalued formalism has been hampered by the absence of well-behaved proof systems on the one hand, and…
We show that an experimental demonstration of quantum contextuality using 2 degrees of freedom of single neutrons based on a violation of an inequality derived from the Peres-Mermin proof of the Kochen-Specker theorem would be more…
We prove that universal quantum computation is possible using only (i) the physically natural measurement on two qubits which distinguishes the singlet from the triplet subspace, and (ii) qubits prepared in almost any three different…