On the Pauli graphs on N-qudits

A comprehensive graph theoretical and finite geometrical study of the commutation relations between the generalized Pauli operators of N-qudits is performed in which vertices/ points correspond to the operators and edges/lines join commuting pairs of them. As per two-qubits, all basic properties and partitionings of the corresponding Pauli graph are embodied in the geometry of the generalized quadrangle of order two. Here, one identifies the operators with the points of the quadrangle and groups of maximally commuting subsets of the operators with the lines of the quadrangle. The three basic partitionings are (a) a pencil of lines and a cube, (b) a Mermin's array and a bipartitepart and (c) a maximum independent set and the Petersen graph. These factorizations stem naturally from the existence of three distinct geometric hyperplanes of the quadrangle, namely a set of points collinear with a given point, a grid and an ovoid, which answer to three distinguished subsets of the Pauli graph, namely a set of six operators commuting with a given one, a Mermin's square, and set of five mutually noncommuting operators, respectively. The generalized Pauli graph for multiple qubits is found to follow from symplectic polar spaces of order two, where maximal totally isotropic subspaces stand for maximal subsets of mutually commuting operators. The substructure of the (strongly regular) N-qubit Pauli graph is shown to be pseudo-geometric, i. e., isomorphic to a graph of a partial geometry. Finally, the (not strongly regular) Pauli graph of a two-qutrit system is introduced; here it turns out more convenient to deal with its dual in order to see all the parallels with the two-qubit case and its surmised relation with the generalized quadrangle Q(4; 3), the dual of W(3).

[1]  H. Havlicek,et al.  Projective representations i. projective lines over rings , 2000, 1304.0098.

[2]  B. Polster.  A Geometrical Picture Book , 1998 .

[3]  Mermin,et al.  Simple unified form for the major no-hidden-variables theorems. , 1990, Physical review letters.

[4]  Projective line over the finite quotient ring GF(2)[x]/〈x3 ™ x〉 and quantum entanglement: The Mermin “magic” square/pentagram , 2006, quant-ph/0603206.

[5]  Gunnar Bjork,et al.  Mutually unbiased bases and discrete Wigner functions , 2007 .

[6]  Jay Lawrence.  Mutually unbiased bases and trinary operator sets for N qutrits (10 pages) , 2004, quant-ph/0403095.

[7]  Frank Harary,et al.  Graph Theory , 2016 .

[8]  Projective ring line encompassing two-qubits , 2006, quant-ph/0611063.

[9]  B. R. McDonald.  Finite Rings With Identity , 1974 .

[10]  Multiple Qubits as Symplectic Polar Spaces of Order Two , 2006, quant-ph/0612179.

[11]  H. Rosu,et al.  A Survey of Finite Algebraic Geometrical Structures Underlying Mutually Unbiased Quantum Measurements , 2004, quant-ph/0409081.

[12]  J. W. P. Hirschfeld.  FINITE GENERALIZED QUADRANGLES (Research Notes in Mathematics, 110) , 1985 .

[13]  M. Planat,et al.  Projective line over the finite quotient ring GF(2)[x]/〈x3 − x〉 and quantum entanglement: Theoretical background , 2006, quant-ph/0603051.

[14]  Gordon F. Royle,et al.  Algebraic Graph Theory , 2001, Graduate texts in mathematics.

[15]  A. Vourdas.  The Frobenius Formalism in Galois Quantum Systems , 2006, quant-ph/0605054.

[16]  Metod Saniga,et al.  Mutually unbiased bases and finite projective planes , 2004 .

[17]  Tomography of one and two qubit states and factorisation of the Wigner distribution in prime power dimensions , 2006, quant-ph/0604117.

[18]  Andreas Klappenecker,et al.  Mutually unbiased bases are complex projective 2-designs , 2005, Proceedings. International Symposium on Information Theory, 2005. ISIT 2005..

[19]  M. Planat,et al.  The Veldkamp Space of Two-Qubits , 2007, 0704.0495.

[20]  Carsten Thomassen,et al.  Graphs on Surfaces , 2001, Johns Hopkins series in the mathematical sciences.

[21]  Lynn Batten.  Combinatorics of Finite Geometries , 1986 .

[22]  Jacques Tits,et al.  Sur la trialité et certains groupes qui s’en déduisent , 1959 .

[23]  M. Planat,et al.  A Classification of the Projective Lines over Small Rings II. Non-Commutative Case , 2006, math/0606500.

[24]  M. Planat,et al.  Multi-Line Geometry of Qubit–Qutrit and Higher-Order Pauli Operators , 2007, 0705.2538.

[25]  J. Thas,et al.  Finite Generalized Quadrangles , 2009 .

[26]  P.K.Aravind.  Quantum Kaleidoscopes and Bell's theorem , 2005 .

[27]  Peter J. Cameron,et al.  Projective and Polar Spaces , 1992 .

[28]  Derek Allan Holton,et al.  The Petersen graph , 1993, Australian mathematical society lecture series.