Three Quantum Latin Squares of Order 6 with Cardinalities 13, 15, and 17

arxiv: 2605.15540 · v2 · pith:XZ5YATA6new · submitted 2026-05-15 · 🧮 math.CO

Three Quantum Latin Squares of Order 6 with Cardinalities 13, 15, and 17

Zhipeng Xu This is my paper

Pith reviewed 2026-05-19 14:26 UTC · model grok-4.3

classification 🧮 math.CO

keywords quantum Latin squaresorder 6cardinalitydirect-sum decompositionHadamard pairscomplex vector spacesorthogonal decompositions

0 comments p. Extension

pith:XZ5YATA6 Add to your LaTeX paper

What is a Pith Number?

\usepackage{pith}
\pithnumber{XZ5YATA6}

Prints a linked pith:XZ5YATA6 badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

The pith

Explicit constructions yield quantum Latin squares of order 6 with cardinalities 13 and 17.

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

The paper supplies two concrete examples of quantum Latin squares of order 6. One reaches a cardinality of 13 through an orthogonal decomposition of six-dimensional complex space into four- and two-dimensional parts. The other reaches 17 by placing two-dimensional Hadamard pairs on coordinate planes. Vectors that differ only by a global phase count as identical in both cases. These constructions furnish explicit sets that meet the defining conditions for quantum Latin squares at this order.

Core claim

We give two explicit quantum Latin squares of order 6, one with cardinality 13 and one with cardinality 17. Throughout, vectors differing only by a global phase are counted as identical. The first construction is based on an orthogonal direct-sum decomposition C^6 = C^4 ⊕ C^2. The second construction is based on two-dimensional Hadamard pairs supported on coordinate planes.

What carries the argument

Orthogonal direct-sum decomposition of C^6 into C^4 ⊕ C^2 together with two-dimensional Hadamard pairs on coordinate planes, each generating a set of vectors that satisfies the row and column conditions of a quantum Latin square.

If this is right

Quantum Latin squares of order 6 with cardinality 13 exist.
Quantum Latin squares of order 6 with cardinality 17 exist.
The direct-sum decomposition supplies one systematic route to such squares.
Hadamard pairs on coordinate planes supply a route to larger cardinalities.

Where Pith is reading between the lines

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

The same decomposition technique may extend to other even orders where explicit examples remain unknown.
These sets could be combined with existing combinatorial objects to produce larger quantum designs.
Computational enumeration starting from these examples could locate the maximum possible cardinality for order 6.

Load-bearing premise

The vector sets obtained from the direct-sum decomposition and the Hadamard pairs actually satisfy every property required of a quantum Latin square.

What would settle it

Direct checking of the listed vectors to confirm that each row and each column forms an orthonormal set up to the global-phase identification.

read the original abstract

We give three explicit quantum Latin squares of order $6$, with cardinalities $13$, $15$, and $17$. Throughout, vectors differing only by a global phase are counted as identical. The cardinality-$13$ construction is based on an orthogonal direct-sum decomposition $\C^6=\C^4\oplus\C^2$. The cardinality-$15$ and cardinality-$17$ constructions are based on two-dimensional Hadamard pairs supported on coordinate planes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Xu gives explicit constructions for quantum Latin squares of order 6 at cardinalities 13 and 17 via direct sums and Hadamard pairs, which add concrete examples if the orthogonality checks out in the details.

read the letter

The one thing to know is that this paper gives two explicit constructions for quantum Latin squares of order 6, achieving cardinalities 13 and 17. The first uses an orthogonal direct-sum decomposition of C^6 into C^4 and C^2, while the second places two-dimensional Hadamard pairs on coordinate planes. These are standard tools, and the paper applies them to build the 36 vectors per square, counting global phases as identical. If the details hold, they supply new concrete instances for n=6. The paper does well by being explicit rather than proving existence only. In quantum combinatorics, actual vector lists or assignments let others inspect the work directly and perhaps adapt the methods for nearby orders or related designs. That concreteness is the main value here. The soft spots center on verification. The stress-test note is right to ask whether row-wise and column-wise orthogonality holds simultaneously for all entries without the subspace supports or plane restrictions creating accidental non-orthogonality or phase collisions that would drop the effective cardinality. Because the paper supplies explicit constructions, this is checkable by direct computation, but the abstract gives no sample calculations or verification steps. This is a normal point for a construction paper rather than a serious flaw, yet it means the claims rest on the full details being correct. No circular reasoning appears, and the methods stand on their own. This work is for specialists in quantum Latin squares and combinatorial designs who track possible cardinalities at small orders. A reader building examples or testing bounds would find the constructions useful. It shows clear, direct engagement with the definitions and standard techniques. I recommend sending it to peer review so referees can examine the vector assignments and confirm the orthogonality and cardinalities. The explicit nature makes it worth the time rather than a desk rejection.

Referee Report

2 major / 2 minor

Summary. The manuscript presents two explicit constructions of quantum Latin squares of order 6. The first achieves cardinality 13 via an orthogonal direct-sum decomposition C^6 = C^4 ⊕ C^2 with vectors placed according to the summands. The second achieves cardinality 17 via two-dimensional Hadamard pairs supported on coordinate planes. Vectors differing only by global phase are identified throughout.

Significance. If the constructions satisfy the full set of quantum Latin square axioms (row-wise and column-wise orthogonality of the 36 cell vectors), the explicit examples would supply concrete data points on attainable cardinalities for order 6. This is a modest but useful contribution to the study of quantum combinatorial designs, as it moves beyond existence arguments to verifiable instances.

major comments (2)

[§3] §3 (first construction): the description of the C^4 ⊕ C^2 decomposition does not include an explicit verification that the inner products between distinct vectors assigned to the same row (or column) are zero. Because the subspaces are orthogonal by construction, cross-subspace inner products vanish, but intra-subspace overlaps arising from the specific choice of bases or coordinate embeddings must still be checked to confirm the full orthogonality condition holds simultaneously for all six rows and columns.
[§4] §4 (second construction): the two-dimensional Hadamard pairs on coordinate planes are asserted to produce the required orthogonality, yet the manuscript does not display the 36 explicit vectors or compute the inner-product matrix for any row or column. Without this check, it remains possible that phase collisions or plane restrictions reduce the effective cardinality below 17 or violate the definition.

minor comments (2)

[Abstract] The abstract and introduction would benefit from a one-sentence reminder of the precise definition of a quantum Latin square (including the orthogonality axioms) for readers outside the immediate subfield.
Consider adding a short table comparing the new cardinalities 13 and 17 against previously known bounds or examples for quantum Latin squares of order 6.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback on our manuscript. We address each major comment point by point below, agreeing that additional explicit verifications will strengthen the presentation of the constructions.

read point-by-point responses

Referee: [§3] §3 (first construction): the description of the C^4 ⊕ C^2 decomposition does not include an explicit verification that the inner products between distinct vectors assigned to the same row (or column) are zero. Because the subspaces are orthogonal by construction, cross-subspace inner products vanish, but intra-subspace overlaps arising from the specific choice of bases or coordinate embeddings must still be checked to confirm the full orthogonality condition holds simultaneously for all six rows and columns.

Authors: We agree that an explicit check of intra-subspace inner products is required to rigorously confirm the quantum Latin square axioms. While the orthogonal direct-sum decomposition guarantees vanishing cross-subspace inner products, we will add to the revised §3 a complete verification (via direct computation or a summary table) showing that all distinct vectors within each row and each column have inner product zero. This will simultaneously address the six rows and six columns. revision: yes
Referee: [§4] §4 (second construction): the two-dimensional Hadamard pairs on coordinate planes are asserted to produce the required orthogonality, yet the manuscript does not display the 36 explicit vectors or compute the inner-product matrix for any row or column. Without this check, it remains possible that phase collisions or plane restrictions reduce the effective cardinality below 17 or violate the definition.

Authors: We acknowledge the value of displaying the verification explicitly. In the revised manuscript we will include either the full set of 36 vectors (modulo global phase) or the inner-product matrices for each row and column. These additions will confirm that all required inner products vanish and that the cardinality remains 17, consistent with the Hadamard-pair construction on the coordinate planes. revision: yes

Circularity Check

0 steps flagged

Explicit constructions using standard decompositions show no circularity

full rationale

The paper supplies two explicit constructions of quantum Latin squares of order 6, one via orthogonal direct-sum decomposition C^6 = C^4 ⊕ C^2 and the other via 2D Hadamard pairs on coordinate planes. These rely on standard linear-algebraic operations and Hadamard matrices that are defined independently of the target cardinalities 13 and 17. No parameters are fitted to the output, no self-citations bear the central claim, and the orthogonality and cardinality properties are verified directly from the given vectors rather than by re-deriving the input assumptions. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper depends on the standard definition of quantum Latin squares and properties of complex vector spaces and Hadamard matrices, which are assumed from prior literature.

axioms (1)

domain assumption Vectors differing only by a global phase are counted as identical.
Explicitly stated in the abstract for the cardinality count.

pith-pipeline@v0.9.0 · 5585 in / 1206 out tokens · 67496 ms · 2026-05-19T14:26:13.258768+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The first construction is based on an orthogonal direct-sum decomposition C^6 = C^4 ⊕ C^2. The second construction is based on two-dimensional Hadamard pairs supported on coordinate planes.
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean embed_injective unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Definition 1 (Quantum Latin square). ... card(Φ) = #{[|ϕij⟩] ...}

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.