The $n$ -qubit Pauli group is an essential ingredient to most quantum applications, from computing and error correction to benchmarking and simulation. Despite comprising merely a discrete set of operators, it exhibits many quintessential features of quantum theory, including contextuality, which has been identified as a key resource to quantum advantage in a variety of different flavours. Here, we extend this analysis, introducing the notion of a `noncontextual property' whose nonexistence proves the Kochen-Specker theorem, similarly to and generalising common arguments based on the nonexistence of valuations. We relate this notion formally to the existence of Boolean-valued frame functions, and characterise all such frame functions in the case of the $n$ -qubit Pauli group. For two qubits, we show that the Pauli group admits noncontextual properties, despite admitting no valuations. We then establish this as the only nontrivial such case with $n\geq 2$ , by proving that any Boolean-valued frame function on stabiliser states is constant for more than two qubits. We also perform a similar analysis for the symplectic theory underlying the $n$ -qubit Pauli group, for which nonconstant Boolean-valued frame functions exist for all $n$ , yet only in restricted form. By comparison, this shows that contextuality in the $n$ -qubit Pauli group is not only a consequence of the projective nature of the Pauli group as a representation of its underlying symplectic vector space, but of the geometry of symplectic polar spaces itself. In geometric terms, our result determines all Cameron-Liebler sets of maximal totally isotropic flats in the binary affine-symplectic space.The $n$-qubit Pauli group is an essential ingredient to most quantum applications, from computing and error correction to benchmarking and simulation. Despite comprising merely a discrete set of operators, it exhibits many quintessential features of quantum theory, including contextuality, which has been identified as a key resource to quantum advantage in a variety of different flavours. Here, we extend this analysis, introducing the notion of a `noncontextual property' whose nonexistence proves the Kochen-Specker theorem, similarly to and generalising common arguments based on the nonexistence of valuations. We relate this notion formally to the existence of Boolean-valued frame functions, and characterise all such frame functions in the case of the $n$-qubit Pauli group. For two qubits, we show that the Pauli group admits noncontextual properties, despite admitting no valuations. We then establish this as the only nontrivial such case with $n\geq 2$, by proving that any Boolean-valued frame function on stabiliser states is constant for more than two qubits. We also perform a similar analysis for the symplectic theory underlying the $n$-qubit Pauli group, for which nonconstant Boolean-valued frame functions exist for all $n$, yet only in restricted form. By comparison, this shows that contextuality in the $n$-qubit Pauli group is not only a consequence of the projective nature of the Pauli group as a representation of its underlying symplectic vector space, but of the geometry of symplectic polar spaces itself. In geometric terms, our result determines all Cameron-Liebler sets of maximal totally isotropic flats in the binary affine-symplectic space.

quant-pharXiv:2608.11993Aug 13, 20260 citations

Affine Eikonal, Wavization and Wigner Function

Akihiro Ogura

The aim in this paper is to construct an affine transformation using the classical physics analogy between the fields of optics and mechanics. Since optics and mechanics both have symplectic structures, the concept of optics can be replaced by that of mechanics and vice versa. We list the four types of eikonal (generating functions). We also introduce a unitary operator for the affine transformation. Using the unitary operator, the kernel (propagator) is calculated and the wavization (quantization) of the Gabor function is discussed. The dynamic properties of the affine transformed Wigner function are also discussed.The aim in this paper is to construct an affine transformation using the classical physics analogy between the fields of optics and mechanics. Since optics and mechanics both have symplectic structures, the concept of optics can be replaced by that of mechanics and vice versa. We list the four types of eikonal (generating functions). We also introduce a unitary operator for the affine transformation. Using the unitary operator, the kernel (propagator) is calculated and the wavization (quantization) of the Gabor function is discussed. The dynamic properties of the affine transformed Wigner function are also discussed.

Journal of Modern PhysicsJan 1, 20160 citations

Symplectic Invariance of Weyl Transforms

Springer eBooksMar 31, 20060 citations

Symplectic models of n-particle systems

Karol Grudziński, B. G. Wybourne

Reports on Mathematical PhysicsOct 1, 19968 citations

The

n

-qubit Pauli group is an essential ingredient to most quantum applications, from computing and error correction to benchmarking and simulation. Despite comprising merely a discrete set of operators, it exhibits many quintessential features of quantum theory, including contextuality, which has been identified as a key resource to quantum advantage in a variety of different flavours. Here, we extend this analysis, introducing the notion of a `noncontextual property' whose nonexistence proves the Kochen-Specker theorem, similarly to and generalising common arguments based on the nonexistence of valuations. We relate this notion formally to the existence of Boolean-valued frame functions, and characterise all such frame functions in the case of the

n

-qubit Pauli group. For two qubits, we show that the Pauli group admits noncontextual properties, despite admitting no valuations. We then establish this as the only nontrivial such case with

n\geq 2

, by proving that any Boolean-valued frame function on stabiliser states is constant for more than two qubits. We also perform a similar analysis for the symplectic theory underlying the

n

-qubit Pauli group, for which nonconstant Boolean-valued frame functions exist for all

n

, yet only in restricted form. By comparison, this shows that contextuality in the

n

-qubit Pauli group is not only a consequence of the projective nature of the Pauli group as a representation of its underlying symplectic vector space, but of the geometry of symplectic polar spaces itself. In geometric terms, our result determines all Cameron-Liebler sets of maximal totally isotropic flats in the binary affine-symplectic space.