Skip to content

Michael Kernaghan

Overview

Michael Kernaghan is a physicist who made significant contributions to the study of Kochen–Specker sets in the 1990s. His work focused on finding compact, finite proofs of the Kochen–Specker theorem in various dimensions, resulting in landmark constructions that remain important today.

Kernaghan's contributions demonstrated that elegant, minimal KS sets could be found through careful mathematical analysis, advancing the field's understanding of quantum contextuality in finite-dimensional Hilbert spaces.

Key Contributions

The 20-Vector KS Set (4D)

In 1994, Kernaghan published a 20-vector Kochen–Specker set in 4-dimensional Hilbert space (the two-qubit system). This was the first KS construction to achieve exactly 20 rays in 4D, significantly improving on prior constructions.

The 20-vector set:

  • Demonstrated that compact KS sets exist in the two-qubit Hilbert space
  • Exhibited a high degree of symmetry
  • Served as the foundation for Cabello's later 18-vector minimal construction

The 40-Vector KS Set (8D) with Asher Peres

In 1995, Kernaghan collaborated with Asher Peres on an 8-dimensional (three-qubit) KS construction using only 40 vectors. This set has a remarkable vector-to-dimension ratio of 5:1.

The 40-vector set:

  • Connected to GHZ-type quantum correlations in three-qubit systems
  • Related to Pauli group structure and Mermin-style parity arguments
  • Demonstrated that higher-dimensional KS sets could be surprisingly efficient

Significance

Kernaghan's constructions occupy an important place in the history of contextuality research:

  1. Bridging theory and computation: His finite KS sets made contextuality proofs concrete and verifiable

  2. Inspiring further work: The 20-vector set directly led to Cabello's 18-vector minimal construction

  3. Multi-qubit systems: His work with Peres connected KS arguments to multi-qubit quantum information

  4. Ongoing relevance: The KS sets remain reference constructions for researchers studying quantum foundations and quantum computation

The Algebraic Islands Discovery (2026)

In 2026, Kernaghan returned to contextuality research, now affiliated with Pacific Quantum Systems (Vancouver, Canada). Through systematic computational enumeration of algebraic number rings, he discovered:

  • Six algebraic islands: A complete classification of the number rings that produce KS-uncolorable ray pools in dimension 3, unified by the norm-\(\leq 2\) cancellation principle
  • Two genuinely new KS sets: The Heegner-7 (43 vectors) and Golden ratio (52 vectors) constructions — the first new 3D KS sets not in any prior catalogue
  • Sub-31 optimality evidence: Six independent strategies confirming CK-31 as the minimal 3D KS set, including an OCUS exhaustive proof
  • Graph universality: All 31-vertex KS sets share the same orthogonality graph
  • The 6|n cyclotomic theorem: A complete algebraic proof that cyclotomic ray pools are KS-uncolorable if and only if \(6|n\)
  • Rigidity classification: Jacobian null space analysis of all six islands, with new rigidity results for Heegner-7 and Golden sets

This work produced one main paper (~36 pages, target: PRA) and four PRL-style letters.

Key Works

  • M. Kernaghan, "Bell–Kochen–Specker theorem for 20 vectors," J. Phys. A: Math. Gen. 27, L829 (1994)

  • M. Kernaghan and A. Peres, "Kochen–Specker theorem for eight-dimensional space," Phys. Lett. A 198, 1 (1995)

  • M. Kernaghan, "The Algebraic Landscape of Kochen-Specker Sets in Dimension Three" (2026)

  • M. Kernaghan, "New KS Sets from Algebraic Number Fields with Enhanced Contextual Advantage" (2026, PRL letter)

  • M. Kernaghan, "Graph Universality of CK-31 and the Norm-2 Boundary" (2026, PRL letter)

  • M. Kernaghan, "Computational Evidence for the Optimality of CK-31" (2026, PRL letter)

  • M. Kernaghan, "Kochen-Specker Uncolorability in Cyclotomic Fields Requires Exactly 6|n" (2026, PRL letter)