Peres Test in Quantum Diagnostics

• Peres Test is a family of diagnostic constructs that assess quantum predictions against noncontextual realist models, hyper-complex phase effects, and spectral characteristics.
• The Peres–Mermin test employs a 3x3 array of two-qubit Pauli observables to generate state-independent contradictions, challenging deterministic hidden-variable theories.
• Peres interferometry and lattice methods serve as practical probes for distinguishing complex quantum behavior from quaternionic theories and for mapping spectral regularity versus chaos.

In the literature surveyed here, the term Peres test labels several distinct constructions associated with Asher Peres. The best-known usage is the state-independent test of noncontextual realist models based on the Peres–Mermin square for a two-qubit system (Pan, 2010). A second usage denotes Peres’s interferometric proposal for probing whether phase shifts behave as ordinary complex quantities or as hyper-complex ones such as quaternions (Adler, 2016). A third usage appears in quantum chaos, where Peres lattices visualize regularity and chaos by plotting expectation values of observables across eigenstates or Floquet modes (Bastarrachea-Magnani et al., 2013). Across these settings, the common role of the test is diagnostic: a compact algebraic, interferometric, or spectral structure is used to separate quantum predictions from an alternative description.

1. Terminological scope and principal senses

The expression Peres test is not confined to one protocol. In the sources considered here, it refers to several technically distinct constructions.

Usage	Core object	Diagnostic target
Peres–Mermin test	$3\times 3$ array of commuting two-qubit observables	Noncontextual realist models
Peres interferometric test	Order of two phase-shifting devices in an interferometer	Hyper-complex or quaternionic phase noncommutativity
Peres test on quantum hardware	Quantity $F$ built from pairwise overlaps in a three-level superposition	Whether amplitudes behave as complex numbers
Peres lattices	Scatter plots of expectation values across eigenstates or Floquet modes	Regularity, resonances, and chaos

A related but not identical vocabulary also appears in later work. The literature uses Peres-type criterion for steering tests based on the spectrum of the partial transpose (Zhang et al., 17 Jan 2026), Peres conjecture for contextuality minimality (Xu et al., 2020), and Peres conjecture for Bell nonlocality versus distillability (Vértesi et al., 2014). These developments are part of the broader Peres lineage, but they are not the same construction as the Peres–Mermin square or the interferometric phase-order test.

2. The Peres–Mermin contextuality test

For a two-qubit system, the original Peres–Mermin argument uses nine Pauli-product observables arranged as

$$\begin{array}{ccc} \sigma_x^{(1)}\otimes I^{(2)} & I^{(1)}\otimes \sigma_x^{(2)} & \sigma_x^{(1)}\otimes \sigma_x^{(2)} \ I^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes I^{(2)} & \sigma_y^{(1)}\otimes \sigma_y^{(2)} \ \sigma_x^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes \sigma_x^{(2)} & \sigma_z^{(1)}\otimes \sigma_z^{(2)} \end{array}.$$

In each row and each column, the three observables are mutually commuting, so each row or column can be measured jointly. Quantum mechanically, the products of the three observables in the rows and columns satisfy

$R_1 = R_2 = R_3 = C_1 = C_2 = +I,\qquad C_3 = -I,$

equivalently,

$$R_1|\psi\rangle=R_2|\psi\rangle=R_3|\psi\rangle=C_1|\psi\rangle=C_2|\psi\rangle=|\psi\rangle,$$

$C_3|\psi\rangle=-|\psi\rangle$

for any state $|\psi\rangle$ in the four-dimensional space. The contradiction with a noncontextual model is generated by the product rule

$v(AB)=v(A)v(B),$

with predetermined values $v(A)=\pm1$ for commuting observables. Applying the rule to all six row and column products yields mutually inconsistent constraints: multiplying the hidden-variable assignments gives $+1$, while the operator identities force an overall minus sign. The contradiction is therefore state-independent (Pan, 2010).

The experimentally testable form cited in this context is Cabello’s inequality,

$F$0

whereas quantum mechanics predicts

$F$1

for any state of the two-qubit system (Pan, 2010).

The 2010 variant replaces the four identity-containing observables by four new holistic observables, yielding a more symmetric $F$2 array built entirely from two-qubit Pauli products. In that variant, the row and column products satisfy

$F$3

again for any quantum state, and the associated noncontextual inequality becomes

$F$4

with the same quantum value $F$5 (Pan, 2010). The conceptual change is not the logical structure of the contradiction, but the choice of observables and the resulting inequality.

3. Operationalization, robustness, and interpretive caveats

The algebraic contradiction by itself is not a complete experimental framework. A generalized treatment derives noise-robust noncontextuality inequalities by replacing ideal observables with operational equivalence classes of measurements and by introducing source procedures so that generalized noncontextuality constrains both measurements and preparations (Krishna et al., 2017). In that approach, the relevant experimentally accessible quantities are the nine source-measurement correlations

$F$6

and the set of noncontextual correlations forms a polytope with 184 facet inequalities. This produces inequalities that are necessary and sufficient for the restricted nine-correlation scenario to admit a noncontextual model (Krishna et al., 2017).

That same work criticizes earlier Cabello-style tests based directly on the six triple products. The reason is operational rather than algebraic: if the compatibility structure is realized, then the triple-product expectations already satisfy

$F$7

so

$F$8

regardless of noise. On this analysis, the inequality $F$9 is not a robust test of generalized noncontextuality (Krishna et al., 2017).

A different caveat concerns the physical realization of the square. It has been argued that the Peres–Mermin square does not necessarily rule out a value-definite deterministic noncontextual hidden-variable model unless two extra assumptions are satisfied: (i) unique realization, meaning each operator is represented by exactly one physical measurement, and (ii) simultaneous measurability, meaning commuting operators are represented by measurements that can be performed together in the same run (Hofer-Szabó, 2020). Three explicit hidden-variable models were constructed for three physical realizations of the square: one violating (i), another violating (ii), and a third violating both. The point is not that quantum mechanics is noncontextual, but that the operator square becomes a contextuality proof only when the measurement realization matches the operator algebra in the required way (Hofer-Szabó, 2020).

A further operational question is the classical memory cost of simulating the Peres–Mermin scenario. For sequences of compatible measurements, a classical sequential automaton with exactly three internal states is sufficient to reproduce all quantum sequential correlations for any quantum state, and this is also optimal because three states are already necessary for the deterministic predictions (Fagundes et al., 2016). In that precise sense, the Peres–Mermin scenario is contextual but not memory-expensive.

4. Peres interferometry and tests of complex versus quaternionic phases

In another established usage, the Peres test is an interferometric proposal concerning hyper-complex quantum theories. Peres’s idea is to send a beam through two materials $$\begin{array}{ccc} \sigma_x^{(1)}\otimes I^{(2)} & I^{(1)}\otimes \sigma_x^{(2)} & \sigma_x^{(1)}\otimes \sigma_x^{(2)} \ I^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes I^{(2)} & \sigma_y^{(1)}\otimes \sigma_y^{(2)} \ \sigma_x^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes \sigma_x^{(2)} & \sigma_z^{(1)}\otimes \sigma_z^{(2)} \end{array}.$$0 and $$\begin{array}{ccc} \sigma_x^{(1)}\otimes I^{(2)} & I^{(1)}\otimes \sigma_x^{(2)} & \sigma_x^{(1)}\otimes \sigma_x^{(2)} \ I^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes I^{(2)} & \sigma_y^{(1)}\otimes \sigma_y^{(2)} \ \sigma_x^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes \sigma_x^{(2)} & \sigma_z^{(1)}\otimes \sigma_z^{(2)} \end{array}.$$1 in opposite orders along two interferometer arms, compare the accumulated phases, and ask whether the order matters. In ordinary complex quantum theory the phases commute, so the order does not change observable outcomes; in a quaternionic theory, noncommuting phases could in principle produce a measurable difference (Adler, 2016).

A central analysis of this proposal considers standard quaternionic Hilbert-space quantum theory with a spatially localized scattering interaction. Under those assumptions, the Hamiltonian is written as

$$\begin{array}{ccc} \sigma_x^{(1)}\otimes I^{(2)} & I^{(1)}\otimes \sigma_x^{(2)} & \sigma_x^{(1)}\otimes \sigma_x^{(2)} \ I^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes I^{(2)} & \sigma_y^{(1)}\otimes \sigma_y^{(2)} \ \sigma_x^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes \sigma_x^{(2)} & \sigma_z^{(1)}\otimes \sigma_z^{(2)} \end{array}.$$2

the $$\begin{array}{ccc} \sigma_x^{(1)}\otimes I^{(2)} & I^{(1)}\otimes \sigma_x^{(2)} & \sigma_x^{(1)}\otimes \sigma_x^{(2)} \ I^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes I^{(2)} & \sigma_y^{(1)}\otimes \sigma_y^{(2)} \ \sigma_x^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes \sigma_x^{(2)} & \sigma_z^{(1)}\otimes \sigma_z^{(2)} \end{array}.$$3-matrix commutes with the free Hamiltonian,

$$\begin{array}{ccc} \sigma_x^{(1)}\otimes I^{(2)} & I^{(1)}\otimes \sigma_x^{(2)} & \sigma_x^{(1)}\otimes \sigma_x^{(2)} \ I^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes I^{(2)} & \sigma_y^{(1)}\otimes \sigma_y^{(2)} \ \sigma_x^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes \sigma_x^{(2)} & \sigma_z^{(1)}\otimes \sigma_z^{(2)} \end{array}.$$4

and on the energy shell one finds

$$\begin{array}{ccc} \sigma_x^{(1)}\otimes I^{(2)} & I^{(1)}\otimes \sigma_x^{(2)} & \sigma_x^{(1)}\otimes \sigma_x^{(2)} \ I^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes I^{(2)} & \sigma_y^{(1)}\otimes \sigma_y^{(2)} \ \sigma_x^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes \sigma_x^{(2)} & \sigma_z^{(1)}\otimes \sigma_z^{(2)} \end{array}.$$5

The conclusion is that the observable scattering matrix is complex-valued, not quaternionic. Because the refractive index is tied to the forward scattering amplitude, and that amplitude is built from the $$\begin{array}{ccc} \sigma_x^{(1)}\otimes I^{(2)} & I^{(1)}\otimes \sigma_x^{(2)} & \sigma_x^{(1)}\otimes \sigma_x^{(2)} \ I^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes I^{(2)} & \sigma_y^{(1)}\otimes \sigma_y^{(2)} \ \sigma_x^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes \sigma_x^{(2)} & \sigma_z^{(1)}\otimes \sigma_z^{(2)} \end{array}.$$6-matrix, the refractive index relevant for the optical experiment is also complex, not quaternionic. On this analysis, the optical Peres-type experiment of Procopio et al. does not test quaternionic quantum mechanics within the standard Hilbert-space framework; genuine quaternionic effects would have to be sought in the near-zone field, not in the radiation-zone field (Adler, 2016).

A reply from a black-box / instrumentalist generalized probabilistic theory perspective makes a different claim. In that view, the experiment does not assume a microscopic quaternionic mechanism; it tests whether effective transformations commute in the way complex quantum theory predicts. The authors therefore maintain that the experiment places meaningful bounds on possible post-quantum theories, including quaternionic ones, and they exhibit a relativistic Klein–Gordon scattering example in which quaternionic components survive in transmission, with $$\begin{array}{ccc} \sigma_x^{(1)}\otimes I^{(2)} & I^{(1)}\otimes \sigma_x^{(2)} & \sigma_x^{(1)}\otimes \sigma_x^{(2)} \ I^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes I^{(2)} & \sigma_y^{(1)}\otimes \sigma_y^{(2)} \ \sigma_x^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes \sigma_x^{(2)} & \sigma_z^{(1)}\otimes \sigma_z^{(2)} \end{array}.$$7 outside the pure complex limit. They emphasize that this relativistic example lies outside Adler’s assumptions because the Klein–Gordon Hamiltonian formulation has an indefinite metric (Procopio et al., 2016).

The same foundational question has been repurposed as a hardware benchmark. On a quantum computer, the Peres test is implemented by preparing a three-level superposition and constructing

$$\begin{array}{ccc} \sigma_x^{(1)}\otimes I^{(2)} & I^{(1)}\otimes \sigma_x^{(2)} & \sigma_x^{(1)}\otimes \sigma_x^{(2)} \ I^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes I^{(2)} & \sigma_y^{(1)}\otimes \sigma_y^{(2)} \ \sigma_x^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes \sigma_x^{(2)} & \sigma_z^{(1)}\otimes \sigma_z^{(2)} \end{array}.$$8

followed by

$$\begin{array}{ccc} \sigma_x^{(1)}\otimes I^{(2)} & I^{(1)}\otimes \sigma_x^{(2)} & \sigma_x^{(1)}\otimes \sigma_x^{(2)} \ I^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes I^{(2)} & \sigma_y^{(1)}\otimes \sigma_y^{(2)} \ \sigma_x^{(1)}\otimes \sigma_y^{(2)} & \sigma_y^{(1)}\otimes \sigma_x^{(2)} & \sigma_z^{(1)}\otimes \sigma_z^{(2)} \end{array}.$$9

The ideal prediction is

$R_1 = R_2 = R_3 = C_1 = C_2 = +I,\qquad C_3 = -I,$0

which is interpreted as the signature that complex numbers are sufficient for quantum mechanics (2207.13585). In this implementation, readout noise, depolarizing noise, and thermal relaxation noise affect the value of $R_1 = R_2 = R_3 = C_1 = C_2 = +I,\qquad C_3 = -I,$1 differently. For the particular state studied, readout error shows a threshold behavior around $R_1 = R_2 = R_3 = C_1 = C_2 = +I,\qquad C_3 = -I,$2, depolarizing noise drives $R_1 = R_2 = R_3 = C_1 = C_2 = +I,\qquad C_3 = -I,$3 away from and then back toward $R_1 = R_2 = R_3 = C_1 = C_2 = +I,\qquad C_3 = -I,$4, and thermal relaxation leads $R_1 = R_2 = R_3 = C_1 = C_2 = +I,\qquad C_3 = -I,$5 toward its ideal value as $R_1 = R_2 = R_3 = C_1 = C_2 = +I,\qquad C_3 = -I,$6 becomes much larger than all gate times (2207.13585).

5. Peres lattices as a spectral test of regularity and chaos

Peres lattices adapt the diagnostic idea to spectral analysis. In a stationary system, one chooses an operator $R_1 = R_2 = R_3 = C_1 = C_2 = +I,\qquad C_3 = -I,$7 that is a constant of motion for some unperturbed Hamiltonian $R_1 = R_2 = R_3 = C_1 = C_2 = +I,\qquad C_3 = -I,$8, computes $R_1 = R_2 = R_3 = C_1 = C_2 = +I,\qquad C_3 = -I,$9 in the eigenstates of the full Hamiltonian, and plots

$$R_1|\psi\rangle=R_2|\psi\rangle=R_3|\psi\rangle=C_1|\psi\rangle=C_2|\psi\rangle=|\psi\rangle,$$0

If the system is integrable or nearly regular, the points form an ordered lattice; if chaos sets in, the lattice becomes irregular. In this sense the Peres lattice is a qualitative quantum analogue of a Poincaré section (Bastarrachea-Magnani et al., 2013).

For the Dicke model,

$$R_1|\psi\rangle=R_2|\psi\rangle=R_3|\psi\rangle=C_1|\psi\rangle=C_2|\psi\rangle=|\psi\rangle,$$1

the observables used were $$R_1|\psi\rangle=R_2|\psi\rangle=R_3|\psi\rangle=C_1|\psi\rangle=C_2|\psi\rangle=|\psi\rangle,$$2, $$R_1|\psi\rangle=R_2|\psi\rangle=R_3|\psi\rangle=C_1|\psi\rangle=C_2|\psi\rangle=|\psi\rangle,$$3, and $$R_1|\psi\rangle=R_2|\psi\rangle=R_3|\psi\rangle=C_1|\psi\rangle=C_2|\psi\rangle=|\psi\rangle,$$4. The analysis showed that regular and irregular regions can coexist in the spectrum, even below the superradiant critical coupling $$R_1|\psi\rangle=R_2|\psi\rangle=R_3|\psi\rangle=C_1|\psi\rangle=C_2|\psi\rangle=|\psi\rangle,$$5 (Bastarrachea-Magnani et al., 2013). The $$R_1|\psi\rangle=R_2|\psi\rangle=R_3|\psi\rangle=C_1|\psi\rangle=C_2|\psi\rangle=|\psi\rangle,$$6 lattice also reveals two excited-state quantum phase transitions: a static ESQPT at $$R_1|\psi\rangle=R_2|\psi\rangle=R_3|\psi\rangle=C_1|\psi\rangle=C_2|\psi\rangle=|\psi\rangle,$$7, associated with saturation of the atomic subsystem, and a dynamic ESQPT at $$R_1|\psi\rangle=R_2|\psi\rangle=R_3|\psi\rangle=C_1|\psi\rangle=C_2|\psi\rangle=|\psi\rangle,$$8, associated with the state $$R_1|\psi\rangle=R_2|\psi\rangle=R_3|\psi\rangle=C_1|\psi\rangle=C_2|\psi\rangle=|\psi\rangle,$$9 and with the superradiant rearrangement of the spectrum (Bastarrachea-Magnani et al., 2013).

The method has been extended from stationary systems to periodically driven ones by replacing stationary eigenstates with Floquet modes. If

$C_3|\psi\rangle=-|\psi\rangle$0

the Floquet modes are defined by

$C_3|\psi\rangle=-|\psi\rangle$1

with quasienergies $C_3|\psi\rangle=-|\psi\rangle$2 taken in a Floquet-Brillouin zone such as

$C_3|\psi\rangle=-|\psi\rangle$3

The driven-system lattice plots expectation values of two observables in the Floquet modes, because periodic driving increases the effective number of degrees of freedom by one (Honsa et al., 18 Jun 2026). In this form, Peres lattices efficiently detect resonances, monitor the onset of chaos, identify critical properties of Floquet modes, compare different driving Hamiltonians, and test iterative approximation techniques based on effective stationary Hamiltonians (Honsa et al., 18 Jun 2026). The lattices are therefore not merely visual aids; they provide a compact map of spectral organization, resonance structure, and ergodic spreading.

6. Related Peres-type descendants and conjectures

The broader Peres program generated several influential descendants. In four-dimensional Hilbert space, the 24 rays of Peres form 24 orthonormal bases and contain exactly 512 parity proofs of the Kochen–Specker theorem, of types $C_3|\psi\rangle=-|\psi\rangle$4-$C_3|\psi\rangle=-|\psi\rangle$5, $C_3|\psi\rangle=-|\psi\rangle$6-$C_3|\psi\rangle=-|\psi\rangle$7, $C_3|\psi\rangle=-|\psi\rangle$8-$C_3|\psi\rangle=-|\psi\rangle$9, and $|\psi\rangle$0-$|\psi\rangle$1 (Waegell et al., 2011). These parity proofs sharpen the contextuality content of the Peres construction by reducing the contradiction to odd-versus-even counting of value assignments across bases.

The combinatorial minimization problem behind this program was settled when the Peres conjecture for contextuality was proved: the smallest possible Kochen–Specker vector set in any dimension has 18 vectors, namely the Cabello–Estebaranz–García-Alcaine construction (Xu et al., 2020). That result uses a graph-theoretic framework involving the stable set polytope $|\psi\rangle$2 for classical assignments and the theta body $|\psi\rangle$3 for quantum assignments, and it shows that no GHZ-type proof exists with fewer than 10 events (Xu et al., 2020).

A different conjecture of Peres concerned Bell nonlocality and distillability. It was disproved by constructing an explicit two-qutrit PPT state that is bound entangled and yet violates a Bell inequality. In that example, the state satisfies $|\psi\rangle$4, hence is undistillable, but still yields a strictly positive Bell value $|\psi\rangle$5 (Vértesi et al., 2014). The conceptual consequence is that Bell nonlocality implies neither entanglement distillability nor non-positivity under partial transposition (Vértesi et al., 2014).

Finally, a recent Peres-type criterion has been proposed for EPR steering in two qubits. Writing the eigenvalues of $|\psi\rangle$6 as $|\psi\rangle$7 and the corresponding elementary symmetric polynomials as $|\psi\rangle$8, the steering functional is

$|\psi\rangle$9

with steerability detected by

$v(AB)=v(A)v(B),$0

This criterion is claimed to be necessary and sufficient for the two-qubit Werner state, for all two-qubit pure states, and for all two-qubit rank-2 states (Zhang et al., 17 Jan 2026). It extends the Peres strategy of using the partial transpose as a compact spectral diagnostic, but now for the intermediate nonlocality notion of steering rather than entanglement itself.

The term Peres test therefore designates a family of diagnostic constructions rather than a single object. Its central historical form is the Peres–Mermin state-independent test of noncontextuality, but the same label also covers phase-order interferometry for hyper-complex quantum theories, hardware tests of the complex-amplitude postulate, and lattice-based spectral diagnostics of regularity and chaos. The later Peres-type criteria and Peres conjectures show how this style of reasoning migrated into steering, Bell nonlocality, and the combinatorics of contextuality, while preserving the characteristic Peres strategy: isolate a small, rigid structure whose empirical realization sharply constrains any competing model.