Related papers: The generalized Kochen-Specker theorem
Fully revealing the mathmatical structure of quantum contextuality is a significant task, while some known contextuality theories are only applicable for rank-1 projectors. That is because they adopt the observable-based definitions. This…
The construction of oscillator-like systems connected with the given set of orthogonal polynomials and coherent states for such systems developed by authors is extended to the case of the systems with finite-dimensional state space. As…
We analyze the validity of Bell and Kochen-Specker theorems under local (or noncontextual) realism but avoiding an assumption of the existence of a joint probability distribution for incompatible observables. We formulate a realist model…
According to Pavi\v{c}i{\'c}, Kochen and Specker's 117-observable set is not a ``Kochen-Specker set''. By the same reason, in arXiv:2502.13787, Pavi\v{c}i{\'c} claims that 10 statements in our paper ``Optimal conversion of Kochen-Specker…
Following and developing ideas of R. Karasev (Covering dimension using toric varieties, arXiv:1307.3437), we extend the Lebesgue theorem (on covers of cubes) and the Knaster-Kuratowski-Mazurkiewicz theorem (on covers of simplices) to…
A "magic rectangle" of eleven observables of four qubits, employed by Harvey and Chryssanthacopoulos (2008) to prove the Bell-Kochen-Specker theorem in a 16-dimensional Hilbert space, is given a neat finite-geometrical reinterpretation in…
Kochen-Specker (KS) sets are key tools for proving some fundamental results in quantum theory and also have potential applications in quantum information processing. However, so far, their intrinsic complexity has prevented experimentalists…
Quantum contextuality takes an important place amongst the concepts of quantum computing that bring an advantage over its classical counterpart. For a large class of contextuality proofs, aka. observable-based proofs of the Kochen-Specker…
We develop a general, non-probabilistic model of prediction which is suitable for assessing the (un)predictability of individual physical events. We use this model to provide, for the first time, a rigorous proof of the unpredictability of…
Since the enlightening proofs of quantum contextuality first established by Kochen and Specker, and also by Bell, various simplified proofs have been constructed to exclude the non-contextual hidden variable theory of our nature at the…
In [1] it was shown that the Kochen Specker theorem can be written in terms of the non-existence of global elements of a certain varying set over the partially ordered set of boolean subalgebras of projection operators on some Hilbert…
This article delves into the concept of quantum contextuality, specifically focusing on proofs of the Kochen-Specker theorem obtained by assigning Pauli observables to hypergraph vertices satisfying a given commutation relation. The…
Quantum contextuality plays a significant role in supporting quantum computation and quantum information theory. The key tools for this are the Kochen--Specker and non-Kochen--Specker contextual sets. Traditionally, their representation has…
Generalized coherent states are developed for SU(n) systems for arbitrary $n$. This is done by first iteratively determining explicit representations for the SU(n) coherent states, and then determining parametric representations useful for…
We prove an extension of the well-known combinatorial-topological lemma of E. Sperner to the case of infinite-dimensional cubes. It is obtained as a corollary to an infinitary extension of the Lebesgue Covering Dimension Theorem.
The Local Friendliness argument is an extended Wigner's friend no-go theorem that provides strong constraints on the nature of reality -- stronger even than those imposed by Bell's theorem or by noncontextuality arguments. In this work, we…
Erd\H{o}s-Beck theorem states that $n$ points in the plane with at most $n-x$ points collinear define at least $c xn$ lines for some positive constant $c$. In this paper, we will present two ways to extend this result to higher dimensions.…
The Kochen-Specker theorem rules out models of quantum theory wherein projective measurements are assigned outcomes deterministically and independently of context. This notion of noncontextuality is not applicable to experimental…
We derive a single general Bell inequality which is a necessary and sufficient condition for the correlation function for N particles to be describable in a local and realistic picture, for the case in which measurements on each particle…
The Bell-Kochen-Specker conditions (BKS) for a deterministic noncontextual hidden-variable model are wonderfully simple to state, deal with just one-dimensional projectors on a Hilbert space H and make no reference to a probabilistic phase…