The Algebraic Landscape of Kochen-Specker Sets in Dimension Three
- URL: http://arxiv.org/abs/2603.16988v4
- Date: Wed, 25 Mar 2026 01:53:48 GMT
- Title: The Algebraic Landscape of Kochen-Specker Sets in Dimension Three
- Abstract summary: We present a computational survey of Kochen-Specker uncolorability in three-dimensional Hilbert space across two-symbol coordinate alphabets.<n>In every tested alphabet, KS sets arise only when $x$ supports one of two cancellation mechanisms.<n>Two yield potentially new KS graph types.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We present a computational survey of Kochen-Specker (KS) uncolorability in three-dimensional Hilbert space across two-symbol coordinate alphabets $\mathcal{A} = \{0, \pm 1, \pm x\}$ drawn from quadratic, cyclotomic, and golden-ratio number fields. In every tested alphabet, KS sets arise only when $x$ supports one of two cancellation mechanisms: modulus-2 cancellation (the generator satisfies $|x|^2 = 2$, as in $|\sqrt{2}|^2=2$, $|\sqrt{-2}|^2=2$, or $|α|^2=2$; the integer case $1+1=2$ is the degenerate additive instance) or phase cancellation (a vanishing sum of unit-modulus terms, as in $1+ω+ω^2=0$). Alphabets whose generators have $|x|^2 \geq 3$ and are not roots of unity produce orthogonal triples but not KS-uncolorability in our survey. This empirical pattern explains why constructions cluster into six discrete algebraic islands among the tested fields. Two yield potentially new KS graph types: the Heegner-7 ring $\mathbb{Z}[(1+\sqrt{-7})/2]$ (43 vectors) and the golden ratio field $\mathbb{Q}(\varphi)$ (52 vectors, revealed only by cross-product completion); $\mathbb{Z}[\sqrt{-2}]$ provides a new algebraic realization of a known Peres-type graph. Using SAT-based bipartite KS-uncolorability, we verify and extend the input counts of Trandafir and Cabello for bipartite perfect quantum strategies across all six islands. Whether the two-mechanism pattern extends to all number fields remains an open question.
Related papers
- SVP Is NP-Hard for Some Rank-2 Cyclotomic Modules [17.893655677334575]
We prove that the decision version of the Shortest Vector Problem ($mathrmSVP$) in the $ell binary$-norm is $mathrmNP$-complete on full-rank free sub-counts.<n>The construction also gives $mathrmNP$-hardness of search-$mathrmSVP$ under matrix-time Turing reductions.
arXiv Detail & Related papers (2026-09-01T16:04:35Z) - The Condition-Number Barrier in Sparse Least Squares [77.64108812086542]
In [AS21], Axiotis and Sviridenko conjectured that the linear dependence on the restricted condition number in convex optimization cannot be improved by a sparse-time algorithm.<n>We establish their conjectured lower bound for least-squares objectives, conditional on the randomized exact-volume Small-Set Expansion Hypothesis.
arXiv Detail & Related papers (2026-08-03T17:57:01Z) - The Geometry Underlying the Quantum Harmonic Oscillator [51.56484100374058]
We show that the eigenfunctions $_n$ of the quantum Hamiltonian correspond to complex radial coordinates in the reduced phase space $mathbb C2/mathbb Z_nsubsetmathbb C2$.<n>We show that in the Kepler/hydrogen atom problem there is a similar correspondence between classical and quantum states.
arXiv Detail & Related papers (2026-04-23T07:38:35Z) - Tripartite information of free fermions: a universal entanglement coefficient from the sine kernel [51.56484100374058]
We study the tripartite information I_3 of free fermions on two-dimensional lattices partitioned into three adjacent strips of width w.<n>We find that g(z) has a unique zero at z* = 1.329 +/- 0.001: modes with k_F w z* violate monogamy of mutual information.<n>Two exact cancellations -- of the z ln z area-law terms and of the z2 terms -- are intrinsic to the I_3 combination.
arXiv Detail & Related papers (2026-03-03T15:39:35Z) - Discrete symmetries in classical and quantum oscillators [51.56484100374058]
We show the eigenfunctions $_n=zn$ of the quantum Hamiltonian in the complex Bargmann-Fock-Segal representation.<n>The superposition $=sum_n c_n_n$ arises only with incomplete knowledge of the initial data for solving the Schrdinger equation.
arXiv Detail & Related papers (2026-01-05T10:04:39Z) - A Classifying Space for Phases of Matrix Product States [0.0]
A topological space $mathcalB$ is defined as the quotient of a contractible space $mathcalE$ of MPS tensors.<n>We prove that the projection map $p:mathcalE rightarrow mathcalB$ is a quasifibration.
arXiv Detail & Related papers (2025-01-24T04:58:32Z) - Antiparticles in non-relativistic quantum mechanics [55.2480439325792]
Non-relativistic quantum mechanics was originally formulated to describe particles.<n>We show how the concept of antiparticles can and should be introduced in the non-relativistic case without appealing to quantum field theory.
arXiv Detail & Related papers (2024-04-02T09:16:18Z) - Quantized charge polarization as a many-body invariant in (2+1)D
crystalline topological states and Hofstadter butterflies [14.084478426185266]
We show how to define a quantized many-body charge polarization $vecmathscrP$ for (2+1)D topological phases of matter, even in the presence of non-zero Chern number and magnetic field.
We derive colored Hofstadter butterflies, corresponding to the quantized value of $vecmathscrP$, which further refine the colored butterflies from the Chern number and discrete shift.
arXiv Detail & Related papers (2022-11-16T19:00:00Z) - Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
We provide a systematic treatment of boundaries based on subgroups $Ksubseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk.
The boundary sites are representations of a $*$-subalgebra $Xisubseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra.
As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=e$ vertically and show how these could be used in a quantum computer
arXiv Detail & Related papers (2022-08-12T15:05:07Z) - Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
We show how all properties of a quantum manifold of states are fully described by a gauge-invariant Bargmann.
We show how our results have immediate applications to the modern theory of polarization.
arXiv Detail & Related papers (2022-05-30T18:01:34Z) - A quantum number theory [0.0]
We build our QNT by defining pure quantum number operators ($q$-numbers) of a Hilbert space that generate classical numbers ($c$-numbers) belonging to discrete Euclidean spaces.
The eigenvalues of each $textbfZ$ component generate a set of classical integers $m in mathbbZcup frac12mathbbZ*$, $mathbbZ* = mathbbZ*$, albeit all components do not generate $mathbbZ3
arXiv Detail & Related papers (2021-08-18T17:26:03Z) - Quantum double aspects of surface code models [77.34726150561087]
We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry.
We show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$.
arXiv Detail & Related papers (2021-06-25T17:03:38Z) - Algebra for Fractional Statistics -- interpolating from fermions to
bosons [0.0]
This article constructs the Hilbert space for the algebra $alpha beta - ei theta beta alpha = 1 $ that provides a continuous between the Clifford and Heisenberg algebras.
arXiv Detail & Related papers (2020-05-02T18:04:47Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.