REVIEW 3 major objections 1 minor
A set of n-2 mutually orthogonal quantum Latin squares of order n must be classical; larger non-classical sets exist for prime-power orders.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-15 02:12 UTC pith:DJMSL3CJ
load-bearing objection Abstract-only: n−2 classicality threshold plus improved prime-power MOQLS bounds look like real progress, but nothing is checkable yet. the 3 major comments →
Large sets of mutually orthogonal quantum Latin squares
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Any set of n-2 mutually orthogonal quantum Latin squares of order n is classical, while for every prime-power order there exist non-classical sets whose size improves the previously best lower bound.
What carries the argument
The classicality criterion for sets of MOQLS: a size-n-2 collection of mutually orthogonal quantum Latin squares must arise from ordinary Latin squares, together with explicit constructions of larger non-classical families over prime-power orders.
Load-bearing premise
The paper’s notions of quantum Latin square, mutual orthogonality and classicality coincide with the standard definitions used in earlier literature, so that the reduction “size n-2 implies classical” is not an artifact of a non-standard definition.
What would settle it
Exhibit a set of n-2 mutually orthogonal quantum Latin squares of some order n that cannot be obtained from ordinary Latin squares, or show that every non-classical construction for a prime-power order is smaller than or equal to the previous lower bound.
If this is right
- No non-classical set of MOQLS can exceed size n-3.
- For prime-power orders the gap between the largest known non-classical set and the new upper bound is strictly smaller than before.
- Classical maximality of mutually orthogonal Latin squares is recovered as soon as the quantum set reaches size n-2.
- Any future construction aiming for a quantum advantage must stay strictly below n-2.
Where Pith is reading between the lines
- The same classicality threshold may hold for other quantum combinatorial designs (quantum nets, quantum projective planes) once analogous size bounds are established.
- An exact determination of the maximal size of a non-classical set for a given prime power would settle whether the new lower-bound constructions are optimal.
- The proof technique that forces classicality at size n-2 could be adapted to show that certain intermediate sizes already force partial classical structure.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the maximum cardinality of a set of mutually orthogonal quantum Latin squares (MOQLS) of order n. From the abstract, the central claims are twofold: (i) any set of n−2 MOQLS of order n is necessarily classical, and (ii) for prime-power orders there exist large non-classical sets of MOQLS that improve both the previously known lower bounds (via explicit constructions) and upper bounds. The work is presented as a combination of a classicality theorem and constructive existence results measured against the existing literature bounds.
Significance. If the theorems and constructions hold under standard definitions of quantum Latin squares and mutual orthogonality, the paper would sharpen the classical/quantum boundary for MOQLS by establishing that size n−2 forces classicality, while simultaneously supplying improved non-classical examples at prime-power orders. That combination of an upper-bound classicality result and better lower-bound constructions is of genuine interest in combinatorial design theory and in the quantum-information literature that uses mutually orthogonal arrays and related objects. The abstract frames the contribution in the expected theorem-and-construction style of the field.
major comments (3)
- [Abstract] Abstract only: the load-bearing classicality claim (“a set of n−2 MOQLS of order n is necessarily classical”) cannot be checked. Its validity depends on the precise definitions of quantum Latin square, mutual orthogonality, and the embedding of classical Latin squares. If any of these deviate from the standard literature (e.g., relaxed unitarity of rows/columns or a non-standard orthogonality condition), both the n−2 theorem and the claimed improvement over prior bounds become definition-dependent rather than genuine advances. Full definitions and the proof entry point are required.
- [Abstract] Abstract only: the claimed constructions of large non-classical MOQLS for prime-power orders, and the asserted improvement of both lower and upper bounds, are stated without matrices, parameter tables, or comparison with the previous best bounds. Without the explicit constructions and a verification that they are non-classical under the usual criteria, the improvement claim cannot be assessed.
- [Abstract] Abstract only: no intermediate lemmas, proof sketches, or references to the precise prior bounds being improved are supplied. Consequently it is impossible to judge whether the classicality reduction and the prime-power constructions survive under the standard MOQLS definitions that the literature uses.
minor comments (1)
- [Abstract] The abstract is concise and clearly states the two main claims, but a full manuscript would need explicit pointers to the definitions of MOQLS and classicality (and to the prior bounds being improved) so that readers can locate the load-bearing arguments.
Circularity Check
Abstract-only pure-math note: no circularity detectable; claims are existence/uniqueness theorems against prior bounds, not fitted or self-definitional.
full rationale
Only the abstract is available. It states two mathematical claims: (1) any set of n-2 mutually orthogonal quantum Latin squares of order n is necessarily classical, and (2) large non-classical sets exist for prime-power orders, improving previously known lower and upper bounds. These are framed as theorems and constructions, not as parameter fits, renamings of empirical patterns, or results forced by self-citation uniqueness theorems. No equations, definitions, or internal citations appear in the supplied text, so none of the six circularity patterns can be exhibited by quotation and reduction. Under the hard rules, absence of quotable circular steps yields score 0; the abstract is self-contained against external benchmarks in the sense that it asserts independent combinatorial statements rather than recycling fitted inputs. Full-text verification of definitions would be needed for correctness risk, but that is outside the circularity pass.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Standard definition of a quantum Latin square (rows/columns form orthonormal bases of C^n) and of mutual orthogonality of such squares.
- standard math Standard finite-field and vector-space constructions over prime-power orders used to build Latin squares and their quantum analogues.
read the original abstract
How large can a set of mutually orthogonal quantum Latin squares (MOQLS) get? We show that a set of n - 2 MOQLS of order n is necessarily classical and construct large non-classical sets of MOQLS of orders that are prime powers, improving both the previously known lower and upper bounds.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.