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

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)