Pith. sign in

REVIEW 3 major objections 3 minor 2 cited by

Quantum Latin squares of every order v ≥ 8, except 9, 11, and 23, realize every cardinality from v to v² except v+1.

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 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 11:11 UTC pith:PWK537AL

load-bearing objection The claimed classification is not proven: a false equality in Lemma 2.2 and affine-image interval errors break the main theorem, though the construction strategy may be salvageable. the 3 major comments →

arxiv 2607.19969 v2 pith:PWK537AL submitted 2026-07-22 math.CO

On the possible cardinalities of quantum Latin squares

Yuyuan Zhang , Mingzhen Lv , Haitao Cao This is my paper
classification math.CO MSC 05B15
keywords quantum Latin squarecardinalitysingular direct productdirect product constructionparameterized unit vectorsorthonormal basiscombinatorial designsquantum information
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

A quantum Latin square of order v is a v×v array of unit vectors whose rows and columns are orthonormal bases; its cardinality is the number of distinct vectors in the array. This paper tries to prove that for every v ≥ 8 with v not 9, 11, or 23, every integer c in the full range [v, v²], with the single exception c = v+1, is realized by some quantum Latin square. If true, this gives a near-complete answer to the possible-cardinality problem, leaving only orders 6, 7, 9, 11, and 23 unresolved. The proof builds on new product constructions for quantum Latin squares, using a family of parameterized vectors to rotate copies so that their intersections are controlled.

Core claim

The paper's central claim is Theorem 1.2: for every integer v ≥ 8 with v ∉ {9, 11, 23}, and for every integer c in [v, v²] except c = v+1, there exists a quantum Latin square of order v with cardinality c. The exclusion of c = v+1 is not accidental—earlier work shows that no quantum Latin square of order u can have cardinality u+1. Thus the theorem asserts that, apart from this one structural obstruction, the entire cardinality range is filled. The proof is split by residue classes, producing QLS(4u), QLS(4u+1), QLS(4u+2), and QLS(4u+7) through extended direct and singular direct products, with finitely many exceptional orders handled in tables.

What carries the argument

The engine is a family of parameterized unit vectors u_n(x) = (f_1(x), ..., f_{n-1}(x), g_n(x)), where f_k(x) = x^{(4k-1)/3}. These vectors are used to construct unitary matrices that rotate a given quantum Latin square so that its entries avoid any prescribed finite set of vectors. The crucial supporting lemma asserts that |(u_n(x), α)| = c has at most finitely many solutions in x, which relies on a claimed distinctness of the pairwise products f_i(x)f_j(x). Around this, the paper develops intersection-controlled copies of quantum Latin squares (overlaps of size 0, 1, or 2), an extended tensor product operation ⊗+ and parameterized tensor products ⊗_r for the singular direct product constru

Load-bearing premise

The proof's engine is Lemma 2.2(1), the claim that products f_i(x)f_j(x) of the parameter functions are pairwise distinct; this is false, since f_1(x)f_4(x) = f_2(x)f_3(x) = x^6, and the coefficient comparisons that power the rest of the construction depend on it.

What would settle it

Compute f_1(x)f_4(x) = x^{(3+15)/3} = x^6 and f_2(x)f_3(x) = x^{(7+11)/3} = x^6; this contradicts Lemma 2.2(1), on which Lemma 2.3's coefficient comparisons rest. Since those comparisons drive Lemmas 2.7–2.13 and the main constructions, the proof as written collapses at that point; the theorem could still be true, so a complementary test is to look for any cardinality in [8,64]\{9} for v=8 that is not realized.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The possible-cardinality problem for quantum Latin squares would be closed for all orders except 6, 7, 9, 11, and 23.
  • Every order of the form 4u would have a quantum Latin square for each cardinality in [4u, 16u²] except 4u+1.
  • The intersection-control lemmas provide a reusable way to force prescribed overlaps among many copies of a quantum Latin square, which is what powers the cardinality arithmetic.
  • The explicit tables for orders 6, 7, 9, 11, and 23 give concrete attainable sets and reduce the remaining uncertainties to short finite lists.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The false distinctness claim in Lemma 2.2(1) is a genuine gap in the proof as written, not a typo: the collision f_1 f_4 = f_2 f_3 = x^6 feeds directly into the coefficient comparisons of Lemma 2.3, which underpin the later disjoint-copy machinery.
  • A repair would likely require either a different parameterization of u_n(x) whose pairwise products are genuinely distinct, or a separate argument forcing equations (2.5)–(2.7) without relying on that distinctness.
  • Because the construction only needs finitely many x-values, the large-scale structure of the proof might survive a repair; a natural computational check would be to search for all cardinalities in [8, 64]\{9} for order 8, the smallest order covered by the theorem.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper claims to determine all possible cardinalities of quantum Latin squares of order v for every v ≥ 8 except v = 9, 11, 23, namely every c in [v, v^2] \ {v+1}. The approach adapts classical Latin-square direct-product constructions to the quantum setting: a parameterized vector lemma (Lemma 2.3), a sequence of disjoint-copy corollaries, and block-union cardinality formulas (Lemmas 3.7 and 3.8) are used to assemble QLS(v)s with prescribed cardinalities. The main theorem is then obtained by treating separately the residue classes of v modulo 4 via Lemmas 4.3, 4.8, 4.9, and 4.10.

Significance. If the main theorem were correct, it would essentially settle the possible-cardinality problem for quantum Latin squares, leaving only five open orders. The paper contains useful raw ingredients: explicit small-order examples, a quantum version of the singular direct product, and a framework for controlling intersections of blocks. These are potentially valuable. However, several load-bearing steps are invalid: a key algebraic distinctness lemma is false, and the cardinality formulas used in the residue-class constructions are affine images of parameter intervals rather than the intervals themselves. These are not presentation issues; the main theorem is not established by the submitted proofs.

major comments (3)
  1. [§2.2, Lemma 2.2(1)] Lemma 2.2(1) is false. With f_k(x) = x^{(4k-1)/3}, one has f_1(x)f_4(x) = x^{(3+15)/3} = x^6 and f_2(x)f_3(x) = x^{(7+11)/3} = x^6, yet {1,4} ≠ {2,3}. Lemma 2.3 relies on Lemma 2.2 to compare coefficients of distinct powers after substitution, specifically in deriving Eq. (2.5). Since equal powers can merge, the coefficient comparison 4a_n^2 a_k^2 = 0 is not justified. Consequently Lemma 2.3 and the dependent disjoint-copy results (Lemma 2.7, Lemma 2.10, Corollaries 2.8, 2.12, 2.13) are unsupported, and these are the tools used throughout §4 to control intersections of blocks.
  2. [§4, Lemma 4.8] The cardinality formulas in Lemma 4.8 do not produce the claimed intervals. Lemma 3.7 gives |M| = n(c0+c1-c2-1)+c3. In Case 1 with n=u, c1=5, c2=4, c3=1, this reduces to |M| = u c0 + 1. As c0 runs over [4,16(u-1)]\{5}, only values congruent to 1 modulo u are obtained, not the full interval [4u+1,16u(u-1)+1]\{4u+2}. Concretely, for u=4 (v=17), Case 1 gives the set {4c0+1} and Case 2 gives {4c0+97}; neither contains c=20, which lies in [17,289]\{18} and is required by Theorem 1.2. Since v=17 is handled only through Lemma 4.8, the main theorem is not proved by this argument. The identical affine-image gap recurs in Lemmas 4.9 and 4.10 and in Tables 3–5.
  3. [§4, Lemma 4.3] The proof of Lemma 4.3 as written is a non sequitur. It says that after applying Construction 3.9 with m=u and n=4, the 'u-fold sums' of the sets from Lemma 4.2 yield [4u,16u^2]\{4u+1}. But Construction 3.9 outputs cardinality mc, where c is the union cardinality of the m blocks, so with m=u and c0 in the Lemma 4.2 set the outputs are u c0, not arbitrary u-fold sums. For u=3 this produces only multiples of 3 from c0 ∈ [4,48]\{5}, so c=14 ∈ [12,144]\{13} is not obtained. The cited prior result [27] may imply Lemma 4.3, but the 'self-contained' derivation supplied here is invalid.
minor comments (3)
  1. [§2.3, Lemma 2.3 proof] The phase-normalization step implicitly assumes (a_n,b_n) ≠ (0,0). The case a_n = b_n = 0 is not separated; the conclusion may be easy there, but the proof as written skips it.
  2. [§4, Tables 3–5] Several table rows state intervals as 'attainable cardinalities' although the formulas displayed in the same row yield arithmetic progressions. For example, Table 3, u=3, first row gives values 3c0+1, which are only the numbers congruent to 1 modulo 3. The tables should distinguish intervals from the subsets actually established.
  3. [§4, Lemmas 4.5–4.6] The entry sets in Tables 1 and 2 are asserted without a complete derivation of the additions and intersections. A brief generating-function or induction verification would improve reproducibility.

Circularity Check

1 steps flagged

Moderate load-bearing self-citation in the singular direct product construction; no definitional circularity in the cardinality formulas.

specific steps
  1. self citation load bearing [Construction 3.6, Section 3 (proof of QLS property)]
    "Based on the above construction, it has been proven that M is a QLS(mn+h) [28]."

    All subsequent cardinality lemmas (3.7, 3.8, and their applications in Lemmas 4.8–4.10) depend on Construction 3.6 producing a genuine QLS. The paper does not prove this here; it defers to [28], a paper by the same authors (Y.Y. Zhang, Y.W. Zhang, M.Z. Lv, H.T. Cao). Thus the validity of the central construction is load-bearing on a self-citation. The cardinality-counting part is new and not definitionally identical to the target theorem, so this is partial rather than full circularity.

full rationale

The cardinality counting in Lemmas 3.7 and 3.8 is not circular: it derives |M| from the input union sizes c0,c1,c2,c3 by set-theoretic counting, and the later lemmas use those formulas to generate QLS(v)s of various sizes. The main theorem is not defined in terms of itself, and no fitted parameter is renamed as a prediction. The most serious defects in the proof are correctness failures rather than circularity: the affine-image errors (e.g., in Lemma 4.8, c = 4c0+1 only hits the residue class 1 mod 4 and misses the required c=20 for v=17) and the false distinctness claim in Lemma 2.2(1) (f1f4=f2f3=x^6). The only circularity-adjacent issue is the load-bearing self-citation in Construction 3.6, where the QLS property of the constructed matrix is cited to [28] instead of proved. Because the counting argument and the main theorem still have independent content beyond that citation, the circularity score is moderate rather than high.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The proof uses no fitted constants. Its load-bearing assumptions are existence results borrowed from the literature (some authored by the same group) and a false algebraic-distinctness premise introduced for the unitary-rotation lemma.

axioms (5)
  • domain assumption There exists a classical Latin square of order n with n pairwise disjoint transversals for n≠2,6.
    Invoked in §4 (Lemmas 4.8–4.10) to supply the transversals required by Construction 3.6; cited to [2].
  • domain assumption The possible cardinalities of QLS(4) are {4,6,8,16} and of QLS(5) are {5,7,12,21,24,25}.
    Base data for Lemmas 4.2 and 4.4; taken from [24] and [25].
  • domain assumption For m≥3 there exists a QLS(m+1) of maximal cardinality (m+1)².
    Used in Lemma 4.7 and Case 4 of Lemma 4.9; follows from earlier work [23] but assumed without proof here.
  • ad hoc to paper The products f_i(x)f_j(x) are distinct powers of x unless {i,j}={p,q}.
    Unstated but used for coefficient comparison in Lemma 2.3; false because f_1 f_4 = x^6 = f_2 f_3.
  • domain assumption Construction 3.6 yields a QLS(mn+h).
    The paper states 'it has been proven in [28]', i.e. it relies on a prior result by the authors' own group without reproducing the proof.

pith-pipeline@v1.3.0-alltime-deepseek · 22677 in / 27958 out tokens · 249862 ms · 2026-08-01T11:11:10.670527+00:00 · methodology

0 comments
read the original abstract

In this paper, we show that for any integer \(v \ge 8\) with \(v \ne 9,11,23\), a quantum Latin square of order $v$ exists for every cardinality \(c \in [v,\,v^{2}] \setminus \{\,v+1\,\}\).

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Quantum Latin Squares of Order Six with Cardinalities Nineteen, Twenty-One, Twenty-Three, Twenty-Five, and Twenty-Seven

    math.CO 2026-07 unverdicted novelty 6.0

    Explicit order-6 quantum Latin squares exist with cardinalities 19, 21, and 23, completing all values in 6–24 except the impossible 7.

  2. Quantum Latin Squares of Order Six with Cardinalities Nineteen, Twenty-One, Twenty-Three, Twenty-Five, and Twenty-Seven

    math.CO 2026-07 accept novelty 6.0

    Explicit six-by-six quantum Latin squares with 19, 21, 23, 25, and 27 distinct states are constructed, completing the order-six cardinality list through 28.

Reference graph

Works this paper leans on

30 extracted references · cited by 1 Pith paper

  1. [1]

    P. W. Claeys, A. Lamacraft, and J. Vicary. From dual-unit ary to biunitary: a 2-categorical model for exactly-solvable many-body quant um dynamics. Journal of Physics A: Mathematical and Theoretical, 57(2024), 335301

    2024

  2. [2]

    C. J. Colbourn and J. H. Dinitz. The CRC handbook of combin atorial designs. London: Chapman and Hall, 2007

    2007

  3. [3]

    A. D. Keedwell and J. D´ enes. Latin squares and their appl ications. Amsterdam: Else- vier, 2015

    2015

  4. [4]

    Goyeneche, Z

    D. Goyeneche, Z. Raissi, S. Di Martino, and K. ˙Zyczkowski. Entanglement and quantum combinatorial designs. Physical Review A, 97(2018), 06232 6

    2018

  5. [5]

    Heinrich and L

    K. Heinrich and L. Zhu. Existence of orthogonal Latin squ ares with aligned subsquares. Discrete Mathematics, 59(1986), 69-78

    1986

  6. [6]

    M. S. Li and Y. L. Wang. Masking quantum information in mul tipartite scenario. Physical Review A, 98(2018), 062306

    2018

  7. [7]

    B. Musto. Constructing mutually unbiased bases from qua ntum Latin squares. Elec- tronic Proceedings in Theoretical Computer Science, 236(2 017), 108-126

  8. [8]

    Musto and J

    B. Musto and J. Vicary. Quantum Latin squares and unitary error bases. Quantum Information and Computation, 16(2016), 1318-1332

    2016

  9. [9]

    Musto and J

    B. Musto and J. Vicary. Orthogonality for quantum Latin i sometry squares. Electronic Proceedings in Theoretical Computer Science, 287(2019), 2 53-266. 22

    2019

  10. [10]

    Nechita and J

    I. Nechita and J. Pillet. SudoQ — a quantum variant of the popular game. Quantum Information and Computation, 21(2021), 781-799

    2021

  11. [11]

    M. A. Nielsen and I. L. Chuang. Quantum computation and q uantum information. Cambridge: Cambridge University Press, 2010

    2010

  12. [12]

    Paczos, M

    J. Paczos, M. Wierzbi´ nski, G. Rajchel-Mieldzio´ c, A. Burchardt, and K. ˙Zyczkowski. Genuinely quantum solutions of the game Sudoku and their car dinality. Physical Re- view A, 104(2021), 042423

    2021

  13. [13]

    S. A. Rather, S. Aravinda, and A. Lakshminarayan. Const ruction and local equivalence of dual-unitary operators: from dynamical maps to quantum c ombinatorial designs. Physical Review X Quantum, 3(2022), 040331

    2022

  14. [14]

    S. A. Rather, A. Burchardt, W. Bruzda, G. Rajchel-Mield zio´ c, A. Lakshminarayan, and K. ˙Zyczkowski. Thirty-six entangled officers of Euler: quantum solution to a classically impossible problem. Physical Review Letters, 128(2022), 0 80507

    2022

  15. [15]

    S. A. Rather, N. Ramadas, V. Kodiyalam, and A. Lakshmina rayan. Absolutely max- imally entangled state equivalence and the construction of infinite quantum solutions to the problem of 36 officers of Euler. Physical Review A, 108(2 023), 032412

  16. [16]

    D. J. Reuttera and J. Vicary. Biunitary constructions i n quantum information. Higher Structures, 3(2019), 109-154

    2019

  17. [17]

    D. R. Stinson. A general construction for group-divisi ble designs. Discrete Mathematics, 33(1981), 89-94

    1981

  18. [18]

    Y. J. Zang, G. Z. Chen, K. J. Chen, and Z. H. Tian. Further r esults on 2-uniform states arising from irredundant orthogonal arrays. Advances in Ma thematics of Communica- tions, 16(2022), 231-247

    2022

  19. [19]

    Y. J. Zang, P. Facchi, and Z. H. Tian. Quantum combinator ial designs and k-uniform states. Journal of Physics A: Mathematical and Theoretical , 54(2021), 505204

    2021

  20. [20]

    Y. J. Zang, Z. H. Tian, S. M. Fei, and H. J. Zuo. Quantum k-uniform states from quantum orthogonal arrays. International Journal of Theor etical Physics, 62(2023), 73

    2023

  21. [21]

    Y. J. Zang, Z. H. Tian, H. J. Zuo, and S. M. Fei. Mutually un biased maximally entan- gled bases from difference matrices. Journal of Physics A: Mat hematical and Theoret- ical, 55(2022), 415204

    2022

  22. [22]

    Y. J. Zang, H. J. Zuo, and Z. H. Tian. 3-uniform states and orthogonal arrays of strength 3. International Journal of Quantum Information, 17(2019), 1950003

    2019

  23. [23]

    Y. J. Zang, M. H. Zheng, Z. H. Tian, and X. L. Shan. A novel c onstruction of quantum Latin square with maximum cardinality. Discrete Mathemati cs, 349(2026), 115126

    2026

  24. [24]

    Y. Y. Zhang and H. T. Cao. The maximal cardinality of quan tum Latin squares. Discrete Mathematics, 349(2026), 114863. 23

    2026

  25. [25]

    Y. W. Zhang and H. T. Cao. On the Possible Cardinalities o f Quantum Latin Squares of Order 5. Preprint

  26. [26]

    Zhang, and L

    Y. Zhang, and L. J. Ji. Quantum Latin squares of order 6 m with all possible cardinal- ities. arXiv: 2601.09132

    arXiv

  27. [27]

    Zhang, X

    Y. Zhang, X. Wang, and L. J. Ji. Quantum Latin squares wit h all possible cardinalities. Journal of Combinatorial Designs, 34(2026), 378-387

    2026

  28. [28]

    Y. Y. Zhang, Y. W. Zhang, M. Z. Lv, and H. T. Cao. The maxima l cardinality of Quantum Latin squares and Quantum Latin cubes. Journal of Co mbinatorial Designs, 34(2026), 169-183

    2026

  29. [29]

    H. J. Zuo, Z. Q. Li, and Y. J. Zang. Entanglement protecti on about four-particle cluster state. International Journal of Theoretical Physics, 60(2 021), 2193-2205

  30. [30]

    ˙Zyczkowski, W

    K. ˙Zyczkowski, W. Bruzda, G. Rajchel-Mieldzio´ c, A. Burchard t, S. A. Rather, and A. Lakshminarayan. 9 × 4 = 6 × 6: understanding the quantum solution to Euler’s problem of 36 officers. Journal of Physics: Conference Series , 2448(2023), 012003. 24

    2023