{"id":"d6670ac8-3952-4242-9b22-a880ba8900cf","arxiv_id":"2501.00196","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"(G,G')-invariant quantum Latin squares are classified by trace- and conjugate-transpose-preserving isomorphisms of group algebras, and exist exactly when the groups have matching irreducible-representation degrees.","lead":"This paper classifies (G,G')-invariant quantum Latin squares: grids of unit vectors where each row and column is an orthonormal basis and inner products are symmetric under two finite groups. Such squares exist if and only if the two groups have the same multiset of irreducible-representation degrees, giving a clean existence test and explicit constructions.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.5 condition (2) drops a complex conjugate; as printed it is false, and the paper's own Example 4.4 violates it, so the central transformation-matrix characterization needs correction.","rationale":"The paper presents a clean classification and the main idea is sound, but the formal statement of the transformation-matrix conditions is internally inconsistent: condition (2) of Theorem 4.5 is missing a complex conjugate. This is not a mere notational preference: the paper's own example violates the printed condition, and the proofs of Theorem 4.5, Lemma 6.1, and Lemma 6.4 use the conjugate version. Since Theorem 7.5's 'unitary isomorphism' condition is equivalent to the conjugate-flip condition, the stated Theorem 4.5 cannot be correct. The fix is a single conjugate on the right-hand side of condition (2), and with that correction the central classification appears to hold; thus the paper should be accepted conditionally rather than as-is. The reader's scope concern about inner-product invariance versus correlation invariance is valid but is a limitation, not the most load-bearing issue; the missing conjugate is a correctness defect in the central statement.","tokens_in":50186,"tokens_out":14840,"duration_ms":133492,"concrete_test":"Test condition (2) on Example 4.4: compute U_{1,2} = (1-i)/2 and U_{3,2} = (1+i)/2; since these are unequal, the stated theorem is contradicted. Independently re-derive condition (2) from Definition 4.2: U_{a^{-1},b^{-1}} = <ψ_{a,b}|ψ_{e,e}> = \\overline{<ψ_{e,e}|ψ_{a,b}>} = \\overline{U_{a,b}}. With this replacement, the example, the proof of Theorem 4.5, Lemma 6.1, and Theorem 7.5 all become consistent.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"From Definition 4.2/4.3, U_{a,b} = <ψ_{e,e}|ψ_{a,b}>. Since <ψ_{a,b}|ψ_{e,e}> = \\overline{<ψ_{e,e}|ψ_{a,b}>}, invariance gives U_{a^{-1},b^{-1}} = \\overline{U_{a,b}}, not U_{a,b}. The proof of Theorem 4.5 itself uses this conjugate relation in the line \\overline{U_{a,x^{-1}b}} = U_{a^{-1},b^{-1}x}. Example 4.4's matrix has U_{1,2} = (1-i)/2 and U_{3,2} = (1+i)/2, so condition (2) as stated fails. Lemma 6.1 has the same omission: tr(ρ(g)ρ'(h)^†) = \\overline{tr(ρ(g)^†ρ'(h))}, not equal. Theorem 7.5's 'commutes with conjugate transpose' implies the corrected condition U_{a,b} = \\overline{U_{a^{-1},b^{-1}}}; hence the printed condition is inconsistent with the main theorem. The intended definition is clear and Corollary 7.6 likely survives, but the formal statement of the central classification is wrong as written.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces (G,G')-invariant quantum Latin squares: quantum Latin squares indexed by finite groups G and G' whose inner products depend only on a^{-1}c and b^{-1}d. It defines the transformation matrix U of such a square, characterizes transformation matrices in Theorem 4.5, and then proves a structural classification: Theorem 7.5 identifies (G,G')-transformation matrices with trace- and conjugate-transpose-preserving isomorphisms of the group algebras Λ_G and Λ_{G'}, and Corollary 7.6 derives existence if and only if the multisets of degrees of irreducible representations of G and G' coincide. Sections 8 and 9 give explicit constructions using block-diagonalizing unitaries and, in the abelian case, character tables; Section 10 studies subgroups arising from sparse rows; Section 11 develops support graphs and decompositions; Section 12 presents computational examples, including a strongly nonlocal Z_2^4-invariant correlation and non-classical S_3-invariant correlations. The paper also connects these objects to quantum isomorphisms of Cayley (di)graphs via Theorems 3.17 and 3.18.","tokens_in":50397,"tokens_out":10093,"duration_ms":85779,"significance":"If the missing-conjugate issue identified below is fixed, this is a substantial contribution. The paper gives a complete classification of a natural class of highly symmetric quantum Latin squares up to global isometry, reduces existence to a very simple representation-theoretic criterion, and gives explicit constructions in the abelian and block-diagonalizable cases. The concrete computational examples are valuable and falsifiable: the Z_2^4 correlation matrix in Figure 2 can be checked directly, and the S_3 correlations are separated from the classical set by an explicit hyperplane. The paper also proves a useful structural result for support graphs and for the Cayley graphs for which a group-invariant correlation wins the isomorphism game. The authors are honest about the scope restriction: they classify inner-product-invariant quantum Latin squares, not the weaker and more general squared-modulus-invariant objects, and they state this limitation explicitly in Section 1.","major_comments":[{"comment":"Condition (2) of Theorem 4.5 is printed without a complex conjugate and is false as stated. The condition satisfied by a (G,G')-invariant quantum Latin square is U_{a,b} = \\overline{U_{a^{-1},b^{-1}}}, not U_{a,b} = U_{a^{-1},b^{-1}}. The forward proof uses the equality <ψ_{e,e}|ψ_{x,y}> = <ψ_{x,y}|ψ_{e,e}> without conjugating the inner product, and the paper's own Example 4.4 violates the printed condition: its entries α=(1-i)/2 and β=(1+i)/2 satisfy α = \\bar{β}, not α = β. The converse construction also drops a conjugate in the expansion of <ψ_{a,b}|ψ_{c,d}>. With the conjugate inserted, the converse works using condition (3) with indices a^{-1} and c. This is load-bearing because Theorem 4.5 is the foundational characterization on which Sections 6 and 7 rely.","section":"Theorem 4.5, Section 4"},{"comment":"The proof of Lemma 6.1 contains the incorrect identity tr(ρ(g)ρ'(h)^†) = tr(ρ(g)^†ρ'(h)). These two traces are complex conjugates of one another, not equal in general. The correct conclusion of the calculation is U_{g^{-1},h^{-1}} = \\overline{U_{g,h}}, which matches the corrected form of Theorem 4.5(2). Since Theorem 7.5 invokes Lemma 6.1, this part of the proof must be repaired together with the statement of Theorem 4.5.","section":"Lemma 6.1, Section 6"}],"minor_comments":[{"comment":"The scope restriction to inner-product invariance rather than squared-modulus invariance is stated clearly, but it may deserve a more prominent caveat in the abstract: the resulting connection to group-invariant correlations covers only a proper subclass, and Open Problem 13.2 concerns non-classicality within this restricted class.","section":"Section 1, Remark 4.6, Section 13"},{"comment":"The proofs of Lemmas 3.4 and 3.6 are deferred to the authors' earlier paper [18]. The text says the generalization is straightforward, but since these lemmas are used throughout Section 3, including the proof of Theorem 3.17, a short proof or a precise statement of the two-group version would improve self-containedness.","section":"Lemmas 3.4 and 3.6"},{"comment":"The displayed matrix for the (Z_4, Z_2 × Z_2) example would be easier to verify if the row/column ordering and the positions of α and β were explicitly tied to the group elements, since the corrected symmetry condition is immediately visible only when the indexing is made explicit.","section":"Example 4.4"},{"comment":"The non-classicality of the Z_2^4 example is found by a randomized search that is described in words but not accompanied by code, pseudocode, or a random seed. Because the explicit matrix is printed, the claim can be checked independently, but reproducibility would be improved by supplying the search procedure in more formal detail.","section":"Section 12.2"},{"comment":"There are a few minor typos (e.g., 'matarix' in Section 3.1). These do not affect the mathematics but should be cleaned up in revision.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The main issue is a correctable technical error in the central characterization, not an irreparable flaw: the intended conjugate-symmetry condition is clear, and the rest of the paper is consistent with it. I would not reject on this basis, but the theorem statements and proofs in Sections 4 and 6 must be corrected before the paper can be accepted. The dependence on [18] for several lemmas is acceptable given the relationship between the papers, though the editor may wish to ensure that [18] is readily available to readers."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper has a real bug in its central characterization. Theorem 4.5 condition (2) states U_{a,b} = U_{a^{-1},b^{-1}}, but the correct relation is U_{a,b} = \\overline{U_{a^{-1},b^{-1}}}. The forward proof writes <ψ_{x,y}|ψ_{e,e}> = U_{x^{-1},y^{-1}}, which should be the conjugate. Example 4.4 violates the printed condition: U_{1,2} = (1-i)/2 while U_{3,2} = (1+i)/2. Lemma 6.1 makes the same omission, and the converse construction in Theorem 4.5 drops conjugates in the inner product computation. The stress-test note is right.\n\nThat said, the intended fix is clear and the main architecture survives. The classification of (G,G')-invariant quantum Latin squares by trace- and conjugate-transpose-preserving isomorphisms of group algebras (Theorem 7.5) is a strong result, and the existence criterion (Corollary 7.6) via equal irreducible degree multisets is elegant. The abelian case is fully parametrized, and the Z_2^4 example answering the open question from [18] is a genuinely useful computational find. The paper also ships explicit constructions and a full proof of Lemma 8.3 in the appendix, which is real work.\n\nThe soft spots, in proportion: the conjugate error is the biggest issue. It is a formal error in the printed statement of the main characterization and it propagates into several proofs, so it is not just a cosmetic typo. But it is correctable, and the intended condition is unambiguous. Some lemmas (3.4, 3.6) are deferred to [18], which is acceptable but should be flagged more prominently. The computational claims are not code-backed, but the matrices are printed and checkable by hand. Self-citation is not a problem here because the cited results are directly used and extended.\n\nWho gets value from this: anyone working on quantum Latin squares, quantum isomorphism of Cayley graphs, or group-invariant correlations. The paper deserves a serious referee; it should go to peer review, not desk reject. The referee should ask for a full pass through the paper to restore the missing conjugates in Theorem 4.5, Lemma 6.1, and any downstream argument that relies on condition (2). Once that is done, the core mathematics looks solid.\n\nRecommendation: send to referees, with revision expected. The classification is worth publishing, but not in its current printed form.","headline":"Theorem 4.5's condition (2) drops a complex conjugate; the intended classification likely survives, but the printed statement and several proofs need correction.","tokens_in":50997,"tokens_out":6036,"would_cite":false,"duration_ms":50692,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05C60","20C05","20C15","05C25","81P45"],"pacs":[],"model":"deepseek-v4-flash","headline":"A group-invariant quantum Latin square exists exactly when the two groups have the same multiset of irreducible representation degrees.","keywords":["quantum Latin squares","group invariant correlations","group algebras","unitary isomorphisms","quantum graph isomorphism","Cayley graphs","representation degrees","transformation matrices"],"falsifier":"Compute a candidate (G,G′)-transformation matrix for groups whose irreducible representation degree multisets differ, such as S_3 and Z_6; Corollary 7.6 predicts no solution to the three conditions of Theorem 4.5, and finding a single such matrix would falsify the classification.","tokens_in":49948,"feed_emoji":"📐","tokens_out":6565,"duration_ms":65826,"temperature":0.7,"pith_summary":"The paper introduces a symmetry notion for quantum Latin squares with rows and columns indexed by finite groups G and G′: the inner product of the entries at (a,b) and (c,d) may depend only on $a^{{-1}}$c and $b^{{-1}}$d. Its aim is to classify these (G,G′)-invariant quantum Latin squares and to decide when they exist. The classification is complete up to global isometry: each such square is encoded by a transformation matrix, and these matrices are exactly the unitaries implementing trace- and conjugate-transpose-preserving isomorphisms between the group algebras of G and G′. It follows that a (G,G′)-invariant quantum Latin square exists exactly when the multisets of irreducible representation degrees of G and G′ coincide. The paper is explicit that this is a strengthening of group-invariant correlations, since only the squared moduli, not the full inner products, need be invariant for the motivating applications.","feed_headline":"Same irrep degrees decide group-invariant quantum Latin squares","feed_subtitle":"Up to isometry, invariant quantum Latin squares are exactly trace-preserving isomorphisms of group algebras.","key_machinery":"The central object is the transformation matrix U, the |G|×|G′| matrix whose entries are the inner products U_{x,y} = ⟨ψ_{a,b}|ψ_{c,d}⟩ for $a^{{-1}}$c=x and $b^{{-1}}$d=y; it determines the quantum Latin square up to a global isometry. Theorem 4.5 characterizes these matrices by three conditions—unitarity, the symmetry U_{a,b}=U_{$a^{{-1}}$,$b^{{-1}}$}, and the convolution identity U_{ab,c}=\\sum_{xy=c}U_{a,x}U_{b,y}. The argument turns on Corollary 6.5, which restates those conditions as Uλ′(b)U† = \\sum_a U_{a,b}λ(a), so that U is exactly the unitary performing an isomorphism between the left regular representations. This is what connects the combinatorial Latin-square data to representation theory: the left regular representation spans the group algebra, whose isomorphism type is governed by the degrees of irreducible representations.","core_discovery":"The core discovery is that a (G,G′)-invariant quantum Latin square exists if and only if the group algebras Λ_G and Λ_{G′} are isomorphic as trace-preserving, conjugate-transpose-commuting algebras. In matrix form, a G×G′ matrix U is the transformation matrix of such a square precisely when the map Ψ_U(λ′(b)) = \\sum_{a∈G} U_{a,b} λ(a) is a unitary isomorphism from Λ_{G′} to Λ_G, and every unitary isomorphism of the two group algebras arises from a unique such U. Since group algebras are semisimple, the Wedderburn–Artin theorem identifies them with direct sums of full matrix algebras, so this existence condition is equivalent to equality of the multisets of degrees of the irreducible representations. The same machinery shows that all (G,G′)-invariant quantum Latin squares can be constructed from block-diagonalizing unitaries, yielding finitely many squares in the abelian case and uncountably many in the non-abelian case.","pith_inferences":["A practical consequence the paper does not spell out: the degree-multiset condition is a fast filter for the search for quantum-isomorphic Cayley graphs; candidate pairs can be restricted to groups with the same irreducible representation degrees, and among those with equal degrees the constructive recipe of Section 8 gives explicit strategies to test.","The paper's open projective-representation generalization would preserve group-invariant correlations while relaxing inner-product invariance to invariance up to phases; if it holds, the phenomenon of group-invariant correlations would be exactly quasi-regular projective representation theory.","For abelian groups, Theorem 9.4 reduces the question 'is this correlation non-classical?' to comparing two explicit polytopes, so the problem becomes a finite combinatorial search over permutations of the character group; the Z_2^4 counterexample shows the threshold lies at dimension four."],"forward_implications":["If the classification is right, then the existence of a (G,G′)-invariant quantum Latin square is an equivalence relation on finite groups, and composing two such squares corresponds to multiplying their transformation matrices.","For abelian groups G and G′ of equal order, all transformation matrices are of the form C†P_πC′ for a permutation π of the character groups, where C and C′ are normalized character tables; in particular there are finitely many.","For non-abelian groups with isomorphic group algebras, there are uncountably many (G,G′)-invariant quantum Latin squares up to global isometry.","The correlation produced by a Z_2^4-invariant quantum Latin square can be strongly nonlocal, and the same construction lifts to Z_2^d for all d ≥ 4; this answers the question whether correlations from such squares are always classical.","Every (G,G′)-invariant quantum correlation wins the isomorphism game for exactly the pairs of Cayley (di)graphs whose connection sets are unions of the connected components of its support graph, so the support graph is a complete bookkeeping device for graph-isomorphism applications."],"supporting_citations":[{"why":"This reference introduces quantum Latin squares as arrays whose rows and columns are orthonormal bases, which is the object studied here.","marker":"[15]"},{"why":"This reference introduces group-invariant correlations and the projection p_G, and poses the question about Z_2^d that the paper answers negatively.","marker":"[18]"},{"why":"This reference establishes the isomorphism-game formulation and the quantum permutation matrix criterion that motivates the search for group-invariant strategies.","marker":"[2]"},{"why":"This reference supplies the representation-theoretic background on irreducible representations, degrees, and the regular representation used in the main theorem.","marker":"[19]"},{"why":"This reference supplies the Wedderburn–Artin structure theorem used to classify group algebras by the degrees of irreducible representations.","marker":"[4]"},{"why":"This reference provides the composition operation for quantum permutation matrices from which the paper's composition of quantum Latin squares takes its cue.","marker":"[9]"},{"why":"This reference supplies a doubly stochastic matrix support lemma used in the characterization of the support graphs of group-invariant correlations.","marker":"[12]"}],"fun_headline_variants":["Quantum Latin squares need matching irrep degrees","Invariant quantum Latin squares tie to equal irrep degrees","Group-invariant quantum squares exist iff irrep degrees match","Existence of invariant quantum Latin squares: irrep degrees decide","Irrep degrees dictate invariant quantum Latin square existence"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the group-invariance condition is imposed on the full inner products, not just their squared moduli, so the classification covers only a proper subclass of the group-invariant quantum correlations that motivate the study.","fun_headline_variants_meta":{"raw":{"variants":["Quantum Latin squares need matching irrep degrees","Invariant quantum Latin squares tie to equal irrep degrees","Group-invariant quantum squares exist iff irrep degrees match","Existence of invariant quantum Latin squares: irrep degrees decide","Irrep degrees dictate invariant quantum Latin square existence"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001068,"raw_usage":{"total_tokens":4548,"prompt_tokens":1090,"completion_tokens":3458,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":706,"completion_tokens_details":{"reasoning_tokens":3381}},"tokens_in":706,"tokens_out":3458,"duration_ms":25340,"temperature":1.0,"reasoning_tokens":3381,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:56:50.731241+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute a candidate (G,G′)-transformation matrix for groups whose irreducible representation degree multisets differ, such as S_3 and Z_6; Corollary 7.6 predicts no solution to the three conditions of Theorem 4.5, and finding a single such matrix would falsify the classification.","supporting_citations":[{"cited_title":"Quantum Latin squares and unitary er- ror bases","cited_arxiv_id":null,"evidence_quote":"This reference introduces quantum Latin squares as arrays whose rows and columns are orthonormal bases, which is the object studied here."},{"cited_title":"Roberson and Simon Schmidt","cited_arxiv_id":null,"evidence_quote":"This reference introduces group-invariant correlations and the projection p_G, and poses the question about Z_2^d that the paper answers negatively."},{"cited_title":"Linear representations of finite groups","cited_arxiv_id":null,"evidence_quote":"This reference supplies the representation-theoretic background on irreducible representations, degrees, and the regular representation used in the main theorem."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"This reference supplies the Wedderburn–Artin structure theorem used to classify group algebras by the degrees of irreducible representations."},{"cited_title":"Roberson","cited_arxiv_id":null,"evidence_quote":"This reference provides the composition operation for quantum permutation matrices from which the paper's composition of quantum Latin squares takes its cue."},{"cited_title":"Graph isomorphism: Physical resources, optimization models, and algebraic characterizations","cited_arxiv_id":"2004.10893","evidence_quote":"This reference supplies a doubly stochastic matrix support lemma used in the characterization of the support graphs of group-invariant correlations."}],"review_version":1}