Contextuality in the $n$-qubit Pauli group

Technical Summary: Contextuality in the n-qubit Pauli Group

Problem Statement
The paper addresses the characterization of contextuality within the $n$-qubit Pauli group, a fundamental structure in quantum computing, error correction, and simulation. While the Kochen-Specker (KS) theorem establishes that quantum observables cannot be represented by noncontextual functions on a classical phase space (specifically, that no valuations exist for $n \ge 2$), the paper seeks to extend this analysis. The central problem is to determine whether the nonexistence of valuations (maps assigning unique spectral values to commuting operators) is the sole indicator of contextuality, or if a broader class of "noncontextual properties" exists. Specifically, the author investigates the existence of nontrivial noncontextual properties—defined via the existence of context connections with restricted holonomy—in the $n$-qubit Pauli group and its underlying symplectic theory.

Methodology
The analysis proceeds by formalizing the relationship between noncontextual properties and Boolean-valued frame functions.

1. Definitions: The paper distinguishes between KS noncontextuality (equivalent to the existence of a global context connection with trivial holonomy) and the existence of valuations (equivalent to a connection fixing a single atom). It introduces a "noncontextual property" as an event $p_0$ such that a context connection exists where the holonomy group fixes $p_0$.
2. Equivalence: It establishes (Theorem 1) that the existence of a nontrivial noncontextual property is equivalent to the existence of a nonconstant Boolean-valued frame function $f: P_{\min} \to \{0, 1\}$ of a specific weight $k$. A frame function is a finitely additive map selecting exactly $k$ atoms in every maximal context.
3. Structural Analysis: The author analyzes two distinct but related structures:
   • The $n$-qubit Pauli Group ($\tilde{P}_n$): Represented via the Weyl representation, involving Hermitian Pauli operators and their stabilizer subgroups. The context poset is generated by isotropic subspaces of the underlying symplectic vector space $V = \mathbb{Z}_2^{2n}$.
   • The Underlying Symplectic Theory: A projective setting where the phase cocycle is trivialized, treating the structure purely as a symplectic vector space with associated Lagrangian subspaces.
4. Classification: The paper classifies all Boolean-valued frame functions for both structures using Fourier analysis on the symplectic space, properties of quadratic refinements, and inductive arguments on the number of qubits $n$.

Key Contributions and Results

• Generalization of the KS Theorem: The paper proves that for $n \ge 3$, the $n$-qubit Pauli group admits no nontrivial noncontextual properties. This implies that every Boolean-valued frame function on the stabilizer states of $n \ge 3$ qubits is constant. This result generalizes the known nonexistence of valuations (which corresponds to weight $k=1$) to all possible weights.
• The Exceptional Case ($n=2$): For two qubits, the paper demonstrates that while no valuations exist (weight $k=1$), nontrivial noncontextual properties do exist. Specifically, there exist nonconstant Boolean-valued frame functions of weight $k=2$. These correspond to specific geometric configurations (related to the Mermin-Peres square) and are characterized by quadratic refinements of Witt index $n-1$.
• Symplectic vs. Pauli Contextuality: The analysis extends to the underlying symplectic theory (where phase factors are ignored).
  • Unlike the Pauli group, the symplectic theory does admit valuations (linear functionals) and generalized noncontextual properties for all $n$.
  • However, these properties are highly restricted. For $n \ge 3$, the only nonconstant Boolean-valued frame functions in the symplectic theory are of specific forms involving linear functionals and quadratic refinements (Theorem 3).
• Geometric Characterization: The results provide a complete classification of Cameron–Liebler sets of maximal totally isotropic flats in the binary affine-symplectic space.

Significance and Claims
The paper claims that the contextuality of the $n$-qubit Pauli group is not merely a consequence of its group-cohomological nature (as a central extension of its underlying symplectic vector space). Instead, the results indicate that contextuality arises fundamentally from the geometry of symplectic polar spaces themselves.

By comparing the Pauli group (which is contextual for $n \ge 2$ regarding valuations and for $n \ge 3$ regarding all noncontextual properties) with its underlying symplectic theory (which admits valuations but remains contextual in a restricted sense), the author concludes that the projective nature of the Pauli group is not the sole source of its contextuality. The geometry of the underlying space imposes constraints that prevent noncontextual descriptions even when the phase cocycle is trivialized, except in the specific, restricted cases identified in the symplectic theory.

The work thus refines the understanding of contextuality as a resource, showing that for $n \ge 3$, the $n$-qubit Pauli group is "fully" contextual in the sense that no non-trivial noncontextual properties exist, whereas the $n=2$ case remains a unique exception where noncontextual properties persist despite the absence of valuations.