Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Trandafir, Stefan, Cabello, Adán
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866912500595818496
author Trandafir, Stefan
Cabello, Adán
author_facet Trandafir, Stefan
Cabello, Adán
contents Recent results show that Kochen-Specker (KS) sets of observables are fundamental to quantum information, computation, and foundations beyond previous expectations. Among KS sets, those that are unique up to unitary transformations (i.e., "rigid") are especially important. The problem is that we do not know any rigid KS set in $\mathbb{C}^3$, the smallest quantum system that allows for KS sets. Moreover, none of the existing methods for constructing KS sets leads to rigid KS sets in $\mathbb{C}^3$. Here, we show that two fundamental structures of quantum theory define two rigid KS sets. One of these structures is the super-symmetric informationally complete positive-operator-valued measure. The other is the minimal state-independent contextuality set. The second construction provides a clue to solve the minimal KS problem, the most important open problem in this field. We prove that there is no KS set of 30 elements that can be obtained from the minimal state-independent contextuality set by completing bases and adding elements that are orthogonal to two previous elements. We conjecture that 31 is the solution to the minimal KS set problem.
format Preprint
id arxiv_https___arxiv_org_abs_2501_11640
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption
Trandafir, Stefan
Cabello, Adán
Quantum Physics
Recent results show that Kochen-Specker (KS) sets of observables are fundamental to quantum information, computation, and foundations beyond previous expectations. Among KS sets, those that are unique up to unitary transformations (i.e., "rigid") are especially important. The problem is that we do not know any rigid KS set in $\mathbb{C}^3$, the smallest quantum system that allows for KS sets. Moreover, none of the existing methods for constructing KS sets leads to rigid KS sets in $\mathbb{C}^3$. Here, we show that two fundamental structures of quantum theory define two rigid KS sets. One of these structures is the super-symmetric informationally complete positive-operator-valued measure. The other is the minimal state-independent contextuality set. The second construction provides a clue to solve the minimal KS problem, the most important open problem in this field. We prove that there is no KS set of 30 elements that can be obtained from the minimal state-independent contextuality set by completing bases and adding elements that are orthogonal to two previous elements. We conjecture that 31 is the solution to the minimal KS set problem.
title Two fundamental solutions to the rigid Kochen-Specker set problem and the solution to the minimal Kochen-Specker set problem under one assumption
topic Quantum Physics
url https://arxiv.org/abs/2501.11640