{"id":"27d8af93-91e1-4553-8ba0-67b35e6d733f","arxiv_id":"2504.15401","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"An explicit two-unitary perfect tensor of order 6 is built from two quadratic phase functions over Z3, and all constructions in this ansatz are classified into exactly two orbits.","lead":"This paper presents the first hand-checkable construction of a quantum solution to Euler's 36 officers problem: a perfectly entangled state of four six-level systems. A smart generalist might read it because it replaces a computer search with a pencil-and-paper derivation in quantum combinatorics.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 16's rank-one conclusion uses the (r,s)=(0,0) case, which is vacuous after projection onto L0⊕R0, so the 'exactly two orbits' claim is unproven.","rationale":"The reader correctly identified Lemma 16 as the weakest point of the classification. My concern sharpens this: the issue is not merely that the proof is compressed, but that the specific case used (r=s=0) is vacuous after the projection onto L0⊕R0, so Lemma 16's rank-one conclusion is unsupported as written. This does not undermine the explicit sparse and symmetric examples, which are verified by direct calculation in Sec. IV C and by the later orbit-specific lemmas once the rank-one normal form is assumed. However, the theorem's stronger claim — exactly two orbits — is load-bearing for the paper's classification result, and it is not proven by the text as it stands. A corrected proof or an independent finite brute-force check of Eq. (54) over all Q0 would settle whether the classification is true; until then, ACCEPT goes beyond what the proof establishes. Hence I recommend CONDITIONAL rather than a full rejection, because the central existence and manual-verifiability claims remain intact and the classification may well be correct after a repair.","tokens_in":34696,"tokens_out":13222,"duration_ms":122558,"concrete_test":"Recompute the projection leading to Eq. (54) from Eq. (55), keeping the condition that w(l) lies in L0 or R0, and verify whether (r,s)=(0,0) is excluded. Independently, enumerate all 27 symmetric matrices Q0 over F3 and all m∈F3, and evaluate the left-hand side of Eq. (54) for all (r,s)≠(0,0). If any rank-2 Q0 passes, Theorem 1's 'exactly two orbits' is false; if none passes, the classification may be repairable, but Lemma 16's proof must be rewritten.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Lemma 16 is the only step forcing Q0 to have rank one in the classification proof, and its proof evaluates Eq. (54) at r=s=0, concluding that Σ_{k,l} ω^{Q0(k,l)} is pure imaginary and hence that one Gauss factor is trivial. But in the derivation of Eq. (54) (Lemma 15, Eq. (55)), the overlap is taken with elements of L0⊕R0. At r=s=0 the resulting Weyl operator w(l) has l=(p+q, -q, -p+q, -p), which lies in L or R only for p=q=0, i.e. the identity, which is excluded from L0⊕R0. Hence Eq. (54) is not imposed at r=s=0 and Lemma 16's premise fails. Moreover, if Eq. (54) were imposed at r=s=0 it would read 2Σω^{Q0}=0, which no homogeneous quadratic form over F3^2 satisfies (the sum is 9, ±3, or ±3√3 i), indicating a sign/projection error in Lemma 15/16. Since Lemmas 20–22 and the converse part of Theorem 1 assume Q0 rank one, the classification into exactly two orbits is not established by the given proof. The explicit sparse and symmetric solutions remain independently verified in Sec. IV C, so the existence claim is not affected.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs explicit order-6 two-unitary matrices (perfect tensors) using a two-sector ansatz that separates phase space into Z3^2 and Z3^3 components, following and generalizing Rather's doubly perfect function framework. It presents two 'artisanal' solutions, the symmetric and the sparse function, gives a direct Gauss-sum verification of the sparse solution, and claims a classification into exactly two GL(Z3^2)-orbits. It also derives infinite families of Hadamard two-unitaries from doubly perfect functions and sketches an algebraic characterization of two-unitaries via quasi-orthogonal subalgebras.","tokens_in":35001,"tokens_out":26352,"duration_ms":219500,"significance":"If the classification were fully established, the paper would provide the first human-checkable construction of order-6 perfect tensors and would explain the structure of previously computer-found solutions. The direct verification of the sparse solution in Section IV C, the explicit Clifford circuit implementation, the Hadamard connection in Theorem 2, and the algebraic perspective in Section VII are genuine contributions that do not depend on the disputed classification step. These parts are machine-checkable or hand-checkable and give the paper independent value. The classification claim, however, is load-bearing for Theorem 1 and is not supported by the proof as written.","major_comments":[{"comment":"The proof of Lemma 16 uses the r=s=0 case of Eq. (54) to conclude that Q0 has rank one, but that case is not enforced by the orthogonality derivation in Lemma 15. For r=s=0 the qutrit Weyl operator in Eq. (55) is the identity, which is excluded from the L0⊕R0 test space as used in Lemma 15; if instead the element 1⊗K_m were included in L0, the condition would read 2Σ_{k,l}ω^{Q0(k,l)}=0, which is satisfied by no homogeneous quadratic form over F3^2 and would contradict the direct verification of the sparse solution. In addition, Eq. (54) is displayed with a plus sign, but the calculation in Lemma 20 uses a minus sign. At r=s=0 the displayed equation would give 2Σω^{Q0}=0, whereas Lemma 16 states the sum is pure imaginary. Thus the rank-one reduction of Q0, on which the rest of the classification depends, is not proven by the manuscript.","section":"§VIII B, Lemma 16 and Eq. (54)"},{"comment":"Because Lemma 16 is the only argument forcing rank(Q0)=1, and Lemmas 20–22, together with the converse part of Theorem 1, assume this rank-one normal form, the conclusion that there are exactly two orbits of doubly perfect functions in the stated class is not established. The explicit sparse and symmetric solutions remain independently verified in Section IV C, so the existence part is unaffected; what is missing is a valid exclusion of rank-two Q0, which could in principle admit additional orbits. The statement 'exactly two orbits' should either be re-proven with a corrected and non-vacuous argument or replaced by a more limited claim.","section":"§VIII B, converse direction of Theorem 1"}],"minor_comments":[{"comment":"The text states 'r,s,m∈Z3^2' after Eq. (54), but r and s are summation variables over Z3 for a fixed m∈Z3; the domain notation appears to be a typo and should be corrected.","section":"§VIII B, Lemma 15"},{"comment":"The final sentence of the proof reads 'Since the trace is not real, trUλsym = trUλsparse≠ trUλsparse', which is not coherent; it should presumably state that the two traces are complex conjugates (or otherwise explicitly non-equal).","section":"§VIII B, Lemma 23"},{"comment":"The paper does not explicitly prove the 'only if' direction of Theorem 2 for the matrix G, only indicating that G arises as a partial transpose of H; a short sentence clarifying that the partial transpose of a two-unitary is two-unitary would improve readability.","section":"§II A 2"}],"recommendation":"major_revision","confidential_remarks":"The existence result appears sound and the paper is likely publishable after the classification proof is repaired. I would ask the authors to correct the sign inconsistency in Eq. (54) and either supply a valid non-vacuous proof of Lemma 16 (for example by deriving the rank-one condition from nonzero (r,s) cases) or weaken Theorem 1 to a statement that is actually proven. The current text should not be accepted with the 'exactly two orbits' classification as stated."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe constructive part of this paper is solid and worth your time. The sparse artisanal function is verified directly in Sec. IV C with explicit Gauss sums, giving the first genuinely hand-checkable order-6 two-unitary; the symmetric solution is reached from it by an explicit transformation. The Hadamard correspondence in Theorem 2 is clean, and the binary construction in Theorem 5 gives infinite families. If you care about perfect tensors or two-unitary Hadamard matrices, you should know these examples.\n\nThe classification claim, however, does not hold up. The stress-test note is correct: Lemma 16 derives that Q0 has rank one from Eq. (54) at r=s=0. But Eq. (54) emerges from orthogonality against L0⊕R0 in Lemma 15. At r=s=0, the only qutrit Weyl operator with nonzero overlap is the identity, which is excluded from L0⊕R0, so Eq. (54) is not imposed there. The Gauss-sum argument in Lemma 16 therefore has no premise. Consequently the 'exactly two orbits' statement and the count of 24 per orbit are not established by the given proof. The explicit constructions and the direct verification survive; only the converse classification is affected.\n\nMinor issues: Lemma 23 has a typo ('trU_λsym = trU_λsparse ≠ trU_λsparse') that looks like a copy-paste slip.\n\nOverall, the paper's constructive core is valuable, but the headline classification is unsupported at a load-bearing point. I would send this to a serious referee, with the expectation that the authors either prove Lemma 16 properly or weaken Theorem 1 to a statement about rank-one Q0, which is what the rest of the argument actually handles.","headline":"The explicit artisanal solutions and Hadamard families are real, but the 'exactly two orbits' classification is unproven because Lemma 16 evaluates a condition at r=s=0 that is not actually imposed there.","tokens_in":35480,"tokens_out":6162,"would_cite":true,"duration_ms":50123,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05B15","11T24","81P45"],"pacs":["03.67.-a"],"model":"deepseek-v4-flash","headline":"The paper constructs the first hand-checkable order-6 perfect tensors and classifies them, within a quadratic-form ansatz, as exactly two symmetry orbits.","keywords":["perfect tensors","two-unitary matrices","absolutely maximally entangled states","36 officers problem","orthogonal Latin squares","finite fields","quadratic Gauss sums","quasi-orthogonal subalgebras"],"falsifier":"Enumerate all pairs of quadratic forms $P$ on $\\mathbb{Z}_3^2$ and $Q$ on $\\mathbb{Z}_3^3$, a finite set, and evaluate the standard and twisted autocorrelations for every shift in $\\mathbb{Z}_6^2$; if any pair outside the $\\mathrm{GL}(\\mathbb{Z}_3^2)$-orbits of $\\lambda_{\\mathrm{sym}}$ and $\\lambda_{\\mathrm{sparse}}$ satisfies $\\lambda\\star\\lambda=d^{2n}\\delta$ and $\\lambda\\,\\tilde{\\star}\\,\\lambda=d^{2n}\\delta$, Theorem 1 is false. Such an enumeration would also directly verify the compressed rank-one lemma that the classification depends on.","tokens_in":34502,"feed_emoji":"🧩","tokens_out":12785,"duration_ms":105888,"temperature":0.7,"pith_summary":"The paper addresses the quantum version of the classic 36-officers puzzle: find a state of four six-level systems that is maximally entangled under every bipartition, the quantum analogue of two orthogonal Latin squares. Existence was settled only recently by computer search. Here the authors establish that order-six solutions can be constructed and verified by hand. Within a natural ansatz built from two quadratic forms over the three-element field, they classify all such solutions as exactly two symmetry orbits, the symmetric and the sparse solutions, and they show that every solution of this kind yields a two-unitary complex Hadamard matrix, giving infinite families. The result matters because it turns a computer-found exotic object into structured, checkable mathematics and suggests an algebraic route to further constructions.","feed_headline":"Two hand-built tensors solve the 36-officer puzzle","feed_subtitle":"The first hand-checkable quantum solution to the classic 36-officers puzzle exists, and it comes in exactly two symmetry classes.","key_machinery":"The load-bearing object is the doubly perfect function $\\lambda$ on the discrete phase space $V=\\mathbb{Z}_d^{2n}$: a unimodular function for which both the standard auto-correlation $\\lambda\\star\\lambda$ and the twisted auto-correlation $\\lambda\\,\\tilde{\\star}\\,\\lambda$ equal $d^{2n}\\delta$; this is exactly the condition for the Weyl–Heisenberg-diagonal unitary $U_\\lambda=\\sum_a\\lambda(a)|\\Phi_a\\rangle\\langle\\Phi_a|$ to be two-unitary. The order-six construction uses the Chinese-remainder decomposition of each $\\mathbb{Z}_6$ component into $\\mathbb{Z}_3\\times\\mathbb{Z}_2$, the embedding of the non-singlet sector into $\\mathbb{Z}_3^3$, and a two-quadratic-form ansatz $P$ on $\\mathbb{Z}_3^2$ plus $Q$ on $\\mathbb{Z}_3^3$. The argument is carried by a sequence of quadratic Gauss sums in the $\\mathfrak{so}(4)$ picture of the qubit sector, which forces $Q_0=Q(\\cdot,\\cdot,0)$ to have rank one and then narrows the remaining forms to the symmetric and sparse representatives. A parallel algebraic mechanism identifies two-unitarity with quasi-orthogonality of the image of the local observable algebra with both left and right algebras.","core_discovery":"On the paper's own terms, the central claim is Theorem 1: after decomposing the phase space $\\mathbb{Z}_6^2$ as a disjoint union of $\\mathbb{Z}_3^2$ and $\\mathbb{Z}_3^3$ via the Chinese-remainder isomorphism with an extra variable $m=\\hat{x}-\\hat{y}$, and writing $\\lambda(a)=\\omega_3^{\\varphi(a)}$ with $\\varphi=P(k,l)$ on the two-qutrit sector and $\\varphi=P(k,l)+Q(k,l,m)$ on the three-qutrit sector, the doubly perfect condition, meaning no standard or twisted autocorrelations, is satisfied by exactly two orbits under $\\mathrm{GL}(\\mathbb{Z}_3^2)$. The representatives are $\\lambda_{\\mathrm{sym}}: P=k^2+l^2,\\ Q=-(k+l+m)^2$ and $\\lambda_{\\mathrm{sparse}}: P=k^2+l^2,\\ Q=(l+m)^2$; each yields a two-unitary $U_\\lambda$ that is a direct sum of Clifford unitaries acting on the two-qutrit and three-qutrit sectors, and the two orbits are unitarily inequivalent. The paper further proves that a function is doubly perfect if and only if two associated complex Hadamard matrices are proportional to two-unitaries, and sketches a formulation in which two-unitaries correspond one-to-one to unital subalgebras isomorphic to $\\mathrm{M}_d$ and quasi-orthogonal to both local observable algebras.","pith_inferences":["The same Chinese-remainder strategy could plausibly be adapted to other composite orders left open by the paper, such as $d=10,14,22$, provided the qubit sector admits a finite-field embedding that bypasses the obstruction for dimensions $2\\bmod 4$.","If the quasi-orthogonal-algebra reformulation matures into a construction tool, it would replace a search over tensor entries with a search over subalgebras; the paper says this use is not yet realized, so the immediate test is to find such subalgebras in dimension six directly.","Because $U_\\lambda$ is diagonal in a stabilizer basis and built from a handful of Clifford gates, the hand-made solutions may be substantially easier to turn into gate sequences or physical realizations than the computer-found algebraic matrices; this is an inference about implementation, not a claim in the paper.","A natural follow-up is to decide whether every order-six doubly perfect function taking values in powers of $\\omega_3$ is equivalent to one of the two artisanal solutions; the paper's observation that a known computer solution maps to the symmetric one is suggestive but not a proof."],"forward_implications":["The two explicit solutions can be verified by a short string of quadratic Gauss sums, so existence of an order-six perfect tensor no longer depends on trusting a computer search.","The classification gives exactly 24 doubly perfect functions in each orbit, and the associated two-unitaries are not unitarily equivalent.","Every doubly perfect function produces two-unitary complex Hadamard matrices, so the two order-six solutions seed infinite families of such matrices.","The algebraic reformulation reduces the construction problem to finding unital subalgebras isomorphic to $\\mathrm{M}_d$ and quasi-orthogonal to both local observable algebras.","The Fourier transform is a symmetry of the doubly-perfect condition, so it can be used to move between solutions and to generate new ones."],"supporting_citations":[{"why":"Introduces the biunimodular-vector ansatz and the computer-found order-six doubly perfect functions that this paper re-derives by hand.","marker":"[60]"},{"why":"The computer search that first established existence of order-six perfect tensors; supplies the naming convention the paper follows.","marker":"[61]"},{"why":"Describes the $9\\times 4$ representation of the original computer solution, the context for the phase-space decomposition.","marker":"[79]"},{"why":"Observes that Clifford conjugation turns known order-six solutions into complex Hadamard two-unitaries, which Theorem 2 generalizes.","marker":"[13]"},{"why":"Provides the operator-overlap and Schatten-4-norm lemmas used to prove the quasi-orthogonality characterization of two-unitaries.","marker":"[29]"},{"why":"Provides the commutant and representation theorems used to prove the one-to-one correspondence with quasi-orthogonal subalgebras.","marker":"[69]"},{"why":"Establishes the Chinese-remainder factorization of Weyl–Heisenberg operators and Clifford unitaries, underlying the order-six decomposition.","marker":"[3]"}],"fun_headline_variants":["First hand-built perfect tensors for Euler's 36 officers","Hand-crafted tensors crack Euler's 36-officer puzzle","Quantum 36-officer solution found by hand","Exact two solutions to quantum 36-officers problem"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification of exactly two orbits depends on a compressed technical lemma that turns a Gauss-sum condition into a rank-one condition on a two-variable quadratic form; if that step gives way, additional orbits could exist, though the two explicit solutions would still be valid.","fun_headline_variants_meta":{"raw":{"variants":["First hand-built perfect tensors for Euler's 36 officers","Hand-crafted tensors crack Euler's 36-officer puzzle","Quantum 36-officer solution found by hand","Exact two solutions to quantum 36-officers problem"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000893,"raw_usage":{"total_tokens":3961,"prompt_tokens":1167,"completion_tokens":2794,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":783,"completion_tokens_details":{"reasoning_tokens":2723}},"tokens_in":783,"tokens_out":2794,"duration_ms":18336,"temperature":1.0,"reasoning_tokens":2723,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:27:44.544852+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Enumerate all pairs of quadratic forms $P$ on $\\mathbb{Z}_3^2$ and $Q$ on $\\mathbb{Z}_3^3$, a finite set, and evaluate the standard and twisted autocorrelations for every shift in $\\mathbb{Z}_6^2$; if any pair outside the $\\mathrm{GL}(\\mathbb{Z}_3^2)$-orbits of $\\lambda_{\\mathrm{sym}}$ and $\\lambda_{\\mathrm{sparse}}$ satisfies $\\lambda\\star\\lambda=d^{2n}\\delta$ and $\\lambda\\,\\tilde{\\star}\\,\\lambda=d^{2n}\\delta$, Theorem 1 is false. Such an enumeration would also directly verify the compressed rank-one lemma that the classification depends on.","supporting_citations":[{"cited_title":"Latorre, Arnau Riera, and Karol ˙Zyczkowski","cited_arxiv_id":null,"evidence_quote":"Introduces the biunimodular-vector ansatz and the computer-found order-six doubly perfect functions that this paper re-derives by hand."},{"cited_title":"Entanglement and quantum combinatorial designs.Physical Review A, 97(6), June 2018","cited_arxiv_id":null,"evidence_quote":"The computer search that first established existence of order-six perfect tensors; supplies the naming convention the paper follows."},{"cited_title":"Orthogonality for quantum Latin isometry squares.Electronic Proceedings in Theoretical Computer Science, 287:253–266, January 2019","cited_arxiv_id":null,"evidence_quote":"Describes the $9\\times 4$ representation of the original computer solution, the context for the phase-space decomposition."},{"cited_title":"Huber and N","cited_arxiv_id":null,"evidence_quote":"Provides the commutant and representation theorems used to prove the one-to-one correspondence with quasi-orthogonal subalgebras."}],"review_version":1}