Related papers: Kochen-Specker theorem for 8-dimensional space

We compute the K-theory of complex projective spaces. There are three major ingredients: the exact sequence of K-groups, the theory of Chern character and the Bott Periodicity Theorem.

Employing five commuting sets of five-qubit observables, we propose specific 160-661 and 160-21 state proofs of the Bell-Kochen-Specker theorem that are also proofs of Bell's theorem. A histogram of the 'Hilbert-Schmidt' distances between…

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…

We give a method for exhaustive generation of a huge number of Kochen-Specker contextual sets, based on the 600-cell, for possible experiments and quantum gates. The method is complementary to our previous parity proof generation of these…

We investigate the possibility of constructing Kochen-Specker uncolorable sets of idempotent matrices whose entries lie in various rings, including the rational numbers, the integers, and finite fields. Most notably, we show that there is…

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…

There is a Rota-Baxter algebra structure on the field $A=\mathbf{k}((t))$ with $ P$ being the projection map $A=\mathbf{k}[[t]]\oplus t^{-1}\mathbf{k}[t^{-1}]$ onto $ \mathbf{k}[[ t]]$. We study the representation theory and…

In the weakened 16th Hilbert's Problem one asks for a bound of the number of limit cycles which appear after a polynomial perturbation of a planar polynomial Hamiltonian vector field. It is known that this number is finite for an individual…

Mermin's pentagram, a specific set of ten three-qubit observables arranged in quadruples of pairwise commuting ones into five edges of a pentagram and used to provide a very simple proof of the Kochen-Specker theorem, is shown to be…

The Kochen-Specker theorem is a fundamental result in quantum foundations that has spawned massive interest since its inception. We show that within every Kochen-Specker graph, there exist interesting subgraphs which we term $01$-gadgets,…

Let $\mathcal{K}_n$ be the so-called wild Kronecker quiver, i.e., a quiver with one source and one sink and $n\geq 3$ arrows from the source to the sink. The following problems will be studied for an arbitrary regular component…

The various ways to reduce number of vectors describing condition of particles for high energy physics problems are presented. In particular decomposition of any vector with respect to the basis, consisting of any four linearly independent…

The necessity of complex numbers in quantum mechanics has long been debated. This paper develops a real Kahler space formulation of quantum mechanics [19], asserting equivalence to the standard complex Hilbert space framework. By mapping…

A recent claim that finite precision in the design of real experiments ``nullifies'' the impact of the Kochen-Specker theorem, is shown to be unsupportable, because of the continuity of probabilities of measurement outcomes under slight…

Some years ago Koutras presented a method of constructing a conformal Killing tensor from a pair of orthogonal conformal Killing vectors. When the vector associated with the conformal Killing tensor is a gradient, a Killing tensor (in…

We compactify the pure spinor formalism on a K3 surface. The pure spinor splits into a six-dimensional pure spinor, a projective superspace harmonic, and 6 non-covariant variables. A homological algebra argument reduces the calculation of…

Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement allows to refer…

Zeckendorf's Theorem says that for all $k \geq 3$, every nonnegative integer has a unique $k$-Zeckendorf representation as a sum of distinct $k$-bonacci numbers, where no $k$ consecutive $k$-bonacci numbers are present in the…

Under mild assumptions, we characterise modules with projective resolutions of length n in the target category of filtrated K-theory over a finite topological space in terms of two conditions involving certain Tor-groups. We show that the…

We construct an infinite family of 4-polytopes whose realization spaces have dimension smaller or equal to 96. This in particular settles a problem going back to Legendre and Steinitz: whether and how the dimension of the realization space…