Mermin-Peres magic rectangles modulo odd primes
π arXiv:2609.20746 Β· π₯ PDF Β· 2026-09-17 Β· quant-ph
Authors: Josse van Dobben de Bruyn [arXiv Β· scholar] , Remy van Dobben de Bruyn [arXiv Β· scholar] , Peter Zeman [arXiv Β· scholar]
π Abstract
The Mermin-Peres magic square provides a simple example of a system of linear equations over $\mathbb{Z}/2\mathbb{Z}$ which has no classical solutions but does have a finite-dimensional operator solution. For a long time, it was not known how to construct similar examples over $\mathbb{Z}/d\mathbb{Z}$ with $d$ odd. In this paper, we construct, for every integer $d\ge2$, a linear system over $\mathbb{Z}/d\mathbb{Z}$ that has a finite-dimensional operator solution but no classical solution. For an odd prime $p$, our operators act on two $p$-dimensional qudits and generate a finite $p$-group obtained by adjoining diagonal polynomial phase operators to the generalized Pauli group. Classical inconsistency follows from an elementary linearity argument comparing assignments on abelian subgroups.