One paper: a Lean 4 proof of the spectral floor for Pauli contextuality; exact contextuality degrees for new 4-, 5- and 7-qubit configurations; a four-qubit cospectral pair with different completion spectra; reproducible Tsotchke-stack experiments and independent verification
TeX Updated 2 days ago 1 commits
vortex-ai|Mirror: 0thernes/hoggar-bound-lab (⭐0)
2 days agoAbout
One paper: a Lean 4 proof of the spectral floor for Pauli contextuality; exact contextuality degrees for new 4-, 5- and 7-qubit configurations; a four-qubit cospectral pair with different completion spectra; reproducible Tsotchke-stack experiments and independent verification
Readme