{"id":"615c02e0-88fc-411c-b1e0-e25dead2cbc3","arxiv_id":"2412.17917","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Two qubit-adding and qubit-removing protocols on Dicke states realize the Weyl algebra W(2), and their composition yields su(2) with Krawtchouk-polynomial eigenstates.","lead":"The paper shows that two basic measurement protocols that respectively remove and add a qubit to a fully symmetric n-qubit state generate the Weyl algebra W(2), and that their composition acts like su(2) angular momentum. This gives a compact algebraic vocabulary for building and manipulating Dicke states, which are used in many quantum algorithms.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Composition identity and su(2) diagonalization contain a missing central term; the W(2) picture survives, but the stated eigenvalues and operator identifications are false as written.","rationale":"The reader's stated weakest assumption is the experimental availability of the total angular momentum measurement in Protocol 2. That assumption is nontrivial but is supported by a concrete circuit proposal in Appendix B using QPE on the cyclic permutation operator, and it does not threaten the internal algebra. The more load-bearing issue is internal: the paper's own composition formulas and diagonalization contain a systematic missing central term. This is checkable purely by algebra and directly affects the claimed representation of su(2) and the fixed-point eigenvalues. The W(2) identification itself is robust: the operators a1,a2,a1-dagger,a2-dagger defined in (49)-(50) satisfy the Weyl algebra, and P1,P2 are their linear combinations. The su(2) structure also survives because the missing term is central on each D_n; it shifts the eigenvalues but not the commutators or the eigenvectors. Thus the paper's conceptual contribution is sound, but several displayed results are false as written and must be corrected, especially before the asymptotic formulas in Section 6.2 are used. The appropriate disposition is therefore the same conditional acceptance already given by the reader: the paper should be revised, not rejected. I do not agree that the measurement assumption is the weakest point, since the algebraic inconsistency is both more concrete and more directly tied to the central claims.","tokens_in":15254,"tokens_out":15956,"duration_ms":150082,"concrete_test":"Independently recompute P1P2 on |D_i^n> from (37) and (44) for n=2,i=1 and alpha=gamma=1, beta=delta=0: P2 sends |D_1^2> to sqrt(2)|D_1^3>, then P1 sends it to 2|D_1^2>, so the eigenvalue is n+1-i=2, not n-i=1. Then re-derive the diagonal part of P1P2 = (alpha*a1+beta*a2)(gamma*a1-dagger+delta*a2-dagger) using [ai,aj-dagger]=delta_ij and compare with Eq. (60); the missing central term alpha*gamma+beta*delta must appear. Finally, verify whether the corrected equation B^{-1}P1P2B = (alpha*gamma+beta*delta)(J_z+N/2+1) leaves the stated eigenvectors unchanged while changing only the eigenvalues; if so, Eqs. (46), (60), (65), and (67) require correction but the Krawtchouk basis remains valid.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central algebraic claim is that P1 and P2 generate W(2) and that their product P1(alpha,beta)P2(gamma,delta) acts on each D_n as an element of the complexification of su(2). The W(2) commutation relations in Eqs. (49)-(56) are correct. However, Eqs. (46), (60), (65), and (67) are not correct as written. Using (37) and (44), one obtains on |D_i^n>: P1P2|D_i^n> = [alpha*gamma*(n+1-i) + beta*delta*(i+1)] |D_i^n> + cross terms, not [alpha*gamma*(n-i)+delta*beta*i]|D_i^n> as in Eq. (46). Equivalently, since a1*a1-dagger = N1+1 and a2*a2-dagger = N2+1, the product equals v_x J_x + v_y J_y + v_z J_z + v0(N+2I) on D_n, not v_x J_x + v_y J_y + v_z J_z + v0 N as in Eq. (60). Consequently Eq. (65) should read B^{-1}P1P2B = (alpha*gamma+delta*beta)(J_z + N/2 + 1), and the eigenvalue in Eq. (67) should be lambda_i = (alpha*gamma+beta*delta)(n+1-i), not (alpha*gamma+beta*delta)(n-i). The simple check alpha=gamma=1, beta=delta=0 gives eigenvalue n+1-i on |D_i^n>, not n-i. Because the missing term is central, the eigenvectors B|D_i^n> and the Krawtchouk expansion in Eq. (69) are not invalidated: the recurrence (68) uses the wrong diagonal term and the wrong lambda_j simultaneously, so the two errors cancel for the eigenvectors. What is invalidated is the exact operator identification with su(2) and all eigenvalue-dependent statements, including the asymptotic iteration formulas (77)-(79). This is the load-bearing soft spot: the paper's main structural claim survives only after adding a central shift, and the stated fixed-point eigenvalues are false.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper considers two measurement-based protocols acting on the subspace of totally symmetric n-qubit states spanned by Dicke states: Protocol 1 removes a qubit after a single-qubit gate and post-selects the |0> outcome, and Protocol 2 adds a qubit in |0>, applies a single-qubit gate, and post-selects on maximal total angular momentum. The authors derive explicit operators P1(alpha,beta) and P2(gamma,delta) for these successful transformations, show that they realize a representation of the two-mode Weyl algebra W(2), and argue that their number-preserving composition yields an action of the complexification of su(2). They diagonalize P1P2 on each Dicke subspace using a basis whose expansion coefficients are Krawtchouk polynomials, and they give applications to Dicke-state preparation from the vacuum and to asymptotic states under repeated iteration. The paper also connects the construction to the Hamming association scheme and the Hadamard transform.","tokens_in":15622,"tokens_out":17757,"duration_ms":146807,"significance":"The paper is a worthwhile algebraic contribution: it identifies a clean W(2) representation behind simple Dicke-state operations, and the explicit formulas for the operators, the Krawtchouk eigenbasis, and the state-preparation construction are transparent and self-contained. The derivation of the W(2) commutation relations in Section 5.1 is sound, and the eigenvector calculation is not invalidated by the issues below. However, the precise operator identification with su(2) and all eigenvalue-dependent statements contain a missing central term, so the central claims need correction before the results can be used as stated. With those corrections, the paper would provide a useful framework for symmetric-state manipulation and a nice illustration of Krawtchouk polynomials in a quantum-information context.","major_comments":[{"comment":"The two composition formulas are interchanged relative to the stated operator order, and Eq. (46) is not the coefficient formula for P1(alpha,beta)P2(gamma,delta). Using Eqs. (37) and (44), one obtains P1P2|D_i^n> = [alpha gamma (n+1-i) + beta delta (i+1)] |D_i^n> + beta gamma sqrt{(n-i)(i+1)} |D_{i+1}^n> + alpha delta sqrt{i(n-i+1)} |D_{i-1}^n>, whereas P2P1|D_i^n> has the same off-diagonal terms but diagonal alpha gamma (n-i) + beta delta i. The diagonal written in Eq. (46) is the P2P1 value, and the diagonal written in Eq. (48) is the P1P2 value. The labels and the formula in Eq. (46) should be corrected; this error propagates into the identification made in Eq. (60).","section":"Section 4.3, Eqs. (45)-(48)"},{"comment":"A central constant is omitted in the su(2) identification and in the eigenvalues. Since a1 a1-dagger = N1 + 1 and a2 a2-dagger = N2 + 1, and on D_n one has N1 = N/2 + J_z and N2 = N/2 - J_z, the correct restriction is P1P2|D_n = (alpha gamma - beta delta) J_z + (alpha gamma + beta delta)(N/2 + 1) + off-diagonal terms. Thus Eq. (60) should contain v0 (N + 2I) rather than v0 N. Consequently Eq. (65) should read B^{-1} P1P2 B = (alpha gamma + delta beta)(J_z + N/2 + 1), and Eq. (67) should read lambda_i = (alpha gamma + beta delta)(n + 1 - i). The elementary check alpha = gamma = 1, beta = delta = 0 gives eigenvalue n + 1 - i on |D_i^n>, not n - i. This is load-bearing because Eqs. (77)-(79) and all fixed-point eigenvalue statements depend on lambda_i; the eigenvectors B|D_i^n> and the Krawtchouk coefficients in Eq. (69) survive because the omitted constant cancels in the recurrence (68).","section":"Section 5.2, Eqs. (60), (65), (67)"},{"comment":"The commutator [P2, P1] has the wrong sign. Since [a_i-dagger, a_i] = -1, one has [P2(gamma,delta), P1(alpha,beta)] = [gamma a1-dagger + delta a2-dagger, alpha a1 + beta a2] = -(alpha gamma + delta beta). The displayed plus sign is a typographical error, but it should be corrected because this relation is part of the Weyl-algebra identification around Eq. (57).","section":"Eq. (56)"}],"minor_comments":[{"comment":"The notation C^{2N} in Eq. (2) should be (C^2)^{otimes n} or C^{2^n}; the symbol N is used for the length in Eq. (1) and for the number operator later, which is confusing.","section":"Eqs. (1)-(3)"},{"comment":"The two-mode Weyl algebra W(2) is the tensor product W(1) otimes W(1) of two single-mode Weyl algebras, not the direct sum W(1) oplus W(1); the wording should be adjusted to avoid a mathematically incorrect statement.","section":"Section 5.1"},{"comment":"The definitions of theta and phi involve sqrt{alpha beta gamma delta} and branch choices. Since the parameters are complex in general, the domain should be specified, or the Euler angles should be expressed directly in terms of the vector (v_x, v_y, v_z) to avoid ambiguity.","section":"Eq. (63)"},{"comment":"The quantum phase estimation implementation assumes that phase 0 can be distinguished from the phases 2 pi ell/(n+1) with errors below the gap approx 2 pi/(n+1); the resulting fidelity and qubit overhead are not analyzed. This is an implementation assumption rather than a mathematical error, but it should be stated explicitly as a resource requirement.","section":"Appendix B"},{"comment":"The relation B = (-i U(mu,nu))^{otimes n} should be checked for overall phases; with the stated definitions of mu and nu, the tensor-product form may differ from B on D_n by a global phase.","section":"Eq. (70)"}],"recommendation":"major_revision","confidential_remarks":"The paper is mathematically salvageable and the main W(2) construction is correct, but the missing central term and the mislabeled composition formulas affect the paper's central su(2) identification and all eigenvalue-dependent results. These should be corrected before publication; the Krawtchouk eigenbasis result appears to survive the corrections."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I'll cut to it: the central algebraic observation is right and the paper does a real service by making it explicit. The two protocols' success maps are exactly ladder operators, and the W(2) representation is derived cleanly. The link to the Hamming scheme and Krawtchouk polynomials is a nice unification, and the preparation result—any symmetric n-qubit state from n successful applications of Protocol 2—is a genuinely useful organizing fact.\n\nThe soft spots are concentrated in Section 5, and the reader's stress-test is correct. Eq (46) misses the diagonal term (αγ + δβ)ψ_{n,i}; Eq (56) has the sign of [P2,P1] wrong; and Eqs (65)/(67) are missing a central shift: the correct diagonalized operator is (αγ+δβ)(J_z + N/2 + 1), with eigenvalues (αγ+βδ)(n+1-i), not n-i. These are not cosmetic. They invalidate the exact su(2) identification and all eigenvalue-dependent claims, including the asymptotic formulas (77)-(79). The saving grace is that the eigenbasis itself survives: the recurrence (68) uses the wrong diagonal term and the wrong eigenvalue simultaneously, so the two errors cancel and the Krawtchouk expansion (69) stands. So the main structural claim holds after adding a central term, but as written the paper is wrong on several stated results.\n\nThe experimental assumption in Protocol 2—that total angular momentum can be measured via QPE on the cyclic permutation—is nontrivial. The paper doesn't analyze the cost or the effect of errors. That's a moderate practical gap, not a fatal one. The bosonic algebra is independent of the implementation.\n\nCitations look fine. The self-citations are to standard facts that are used independently. This is the kind of paper I'd want to discuss in reading group: it's short, the core is accessible, and the errors are instructive. It deserves a serious referee. My bet: after the authors fix the central terms and sign errors, this is a solid small contribution to the Dicke-state toolkit. Send it to peer review.","headline":"A genuinely useful W(2) framing of two Dicke-state protocols, undercut by missing central and sign terms in the composition and diagonalization results; worth review after correction.","tokens_in":16233,"tokens_out":3504,"would_cite":false,"duration_ms":32158,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P65","22E60","81V72","05E30"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper shows that two elementary measurement protocols for adding or removing a qubit from a symmetric state induce ladder operators realizing the Weyl algebra $W(2)$, and that their composition yields an $\\mathfrak{su}(2)$…","keywords":["Dicke states","Weyl algebra","dynamical algebra","su(2) representation","Krawtchouk polynomials","Hamming scheme","Hadamard transform","quantum protocols"],"falsifier":"Run Protocol 2 on the two-qubit Dicke state $|D_0^2\\rangle$ with the Hadamard gate as the one-qubit operation and implement the total-angular-momentum post-selection through quantum phase estimation on the cyclic permutation. The paper's formulas predict the post-selected three-qubit state $(\\sqrt{3}/2)|D_0^3\\rangle+(1/2)|D_1^3\\rangle$; measuring the Dicke-basis populations and comparing them to $3/4$ and $1/4$ would settle the claim. A mismatch would show that the claimed representation is not what the protocol implements.","tokens_in":14970,"feed_emoji":"⚛️","tokens_out":13843,"duration_ms":105932,"temperature":0.7,"pith_summary":"Totally symmetric $n$-qubit states, the Dicke states, are needed in quantum algorithms but are awkward to move between different qubit numbers. This paper examines two elementary protocols, one that measures a qubit away and one that adds a qubit while post-selecting on maximal total angular momentum, and characterizes exactly what these operations do when they succeed. The successful operations act as ladder operators on the Dicke basis, and together they realize a representation of the two-mode Weyl algebra $W(2)$. Composing the two protocols preserves the number of qubits and yields a representation of the complexification of $\\mathfrak{su}(2)$; the common eigenvectors, the fixed points, have Krawtchouk-polynomial coefficients in the Dicke basis. If this algebraic picture is right, Dicke-state manipulation reduces to a small set of annihilation and creation moves, with the fixed-point basis describing the states that repeated application drives a system toward.","feed_headline":"Qubit add/remove protocols generate the Weyl algebra W(2)","feed_subtitle":"Composing the two moves preserves qubit number, acts as su(2), and fixes Krawtchouk-labeled states.","key_machinery":"The central object is the two-mode Weyl algebra $W(2)$, with generators $a_1,a_2,a_1^\\dagger,a_2^\\dagger$ acting on the Dicke basis as $a_1|D_i^n\\rangle=\\sqrt{n-i}|D_i^{n-1}\\rangle$, $a_2|D_i^n\\rangle=\\sqrt{i}|D_{i-1}^{n-1}\\rangle$, $a_1^\\dagger|D_i^n\\rangle=\\sqrt{n+1-i}|D_i^{n+1}\\rangle$, $a_2^\\dagger|D_i^n\\rangle=\\sqrt{i+1}|D_{i+1}^{n+1}\\rangle$. These obey $[a_i,a_j^\\dagger]=\\delta_{ij}$ and all other commutators vanish, so Protocol 1 is a combination of annihilators and Protocol 2 a combination of creators. The algebra carries the argument because it turns the probabilistic protocol outcomes into linear operators on $\\mathcal{D}$, and its $\\mathfrak{su}(2)$ subalgebra supplies the diagonalization of $P_1P_2$ whose eigenvectors are Krawtchouk-labeled fixed points.","core_discovery":"Protocol 1 (apply a one-qubit gate, measure one qubit, keep the rest if the outcome is $|0\\rangle$) induces, up to normalization, the operator $P_1(\\alpha,\\beta)=\\alpha a_1+\\beta a_2$ on the space $\\mathcal{D}$ of all Dicke states. Protocol 2 (attach a fresh $|0\\rangle$, apply a one-qubit gate, keep the result only if the total angular momentum of the $n+1$ qubits is maximal) induces $P_2(\\gamma,\\delta)=\\gamma a_1^\\dagger+\\delta a_2^\\dagger$. The four generators obey $[a_i,a_j^\\dagger]=\\delta_{ij}$ with all other commutators zero, so the protocols generate a representation of $W(2)$; the number operator $N=a_1^\\dagger a_1+a_2^\\dagger a_2$ counts qubits. The composition $P_1P_2$ fixes $N$ and, restricted to the $n$-qubit sector, equals $v_xJ_x+v_yJ_y+v_zJ_z+v_0N$, a complexified $\\mathfrak{su}(2)$ action. Diagonalizing this composition yields a basis $B|D_i^n\\rangle$ whose Dicke expansion coefficients are Krawtchouk polynomials; when the combined operator is Hermitian, $B$ is a tensor product of identical single-qubit gates.","pith_inferences":["The authors do not compute the success probabilities of the two protocols, but the algebraic normalization constants contain those acceptance rates; a direct extension is to express the success probability of each composed sequence in terms of $(\\alpha,\\beta,\\gamma,\\delta)$ and $n$ and compare it with experiment.","Because the fixed-point basis is Krawtchouk, a testable application is to engineer symmetric states with a prescribed Hamming-distance profile by choosing gate parameters so that the target lies near a fixed point and letting iteration concentrate the state.","If Protocol 2 is implemented through quantum phase estimation on the cyclic permutation, the resource count grows with the number of controlled Fredkin gates; the paper does not analyze that overhead, but the algebraic description implies the same circuit can act as a deterministic Dicke-state synthesizer when combined with the root-based preparation.","The same ladder-operator structure may extend to $q$-Dicke or qudit Dicke states, as the authors suggest; a concrete test would be whether the deformed commutation relations still close into a (possibly $q$-deformed) Weyl algebra."],"forward_implications":["Any totally symmetric $n$-qubit state can be prepared from the vacuum by $n$ successful applications of Protocol 2, with each gate chosen from the roots of the generating polynomial of the target state's Dicke coefficients.","Repeatedly alternating the two protocols with fixed gates drives an arbitrary symmetric state, up to exponentially small corrections, onto the fixed-point basis $B|D_i^n\\rangle$.","When $P_1P_2$ is proportional to a Hermitian operator, its diagonalizing basis is realized by a tensor product of identical single-qubit gates, $B=(-iU)^{\\otimes n}$.","The Hadamard case, in which all four gate parameters are $1/\\sqrt{2}$, recovers the statement that $H^{\\otimes n}$ diagonalizes the protocol composition and that the fixed-point basis is the Hadamard transform of Dicke states.","The algebra gives a parameter dictionary between the gate choices $(\\alpha,\\beta,\\gamma,\\delta)$ and the $\\mathfrak{su}(2)$ rotation parameters, so composing protocols corresponds to composing rotations."],"supporting_citations":[{"why":"Defines the Dicke states that are the objects being transformed.","marker":"[1]"},{"why":"Provides the prior universal-gate setting for transforming multipartite Dicke states that motivates the protocol-level approach.","marker":"[10]"},{"why":"Supplies the Hamming-scheme and q-hypercube formalism used to place Dicke states in the Krawtchouk framework.","marker":"[11]"},{"why":"Gives the distance-regularity and perfect state transfer facts behind the three-term recurrence used to diagonalize the adjacency matrix.","marker":"[12]"},{"why":"Identifies the Terwilliger algebra of the hypercube, linking the graph picture to su(2).","marker":"[13]"},{"why":"Provides the definition and three-term recurrence of the Krawtchouk polynomials used for the fixed-point expansion coefficients.","marker":"[19]"}],"fun_headline_variants":["Dicke state protocols generate the Weyl algebra W(2)","Two qubit moves on Dicke states yield W(2) algebra","Composing Dicke protocols acts as su(2), fixes Krawtchouk states","Weyl algebra emerges from Dicke add/remove operations","Dicke transformations: creation and annihilation operators form W(2)"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole construction rests on being able to measure the total angular momentum of the enlarged qubit system and keep only the maximal outcome; if that measurement cannot be done reliably for arbitrary $n$, the operator $P_2$ and the Weyl-algebra description stop describing what the protocol actually does.","fun_headline_variants_meta":{"raw":{"variants":["Dicke state protocols generate the Weyl algebra W(2)","Two qubit moves on Dicke states yield W(2) algebra","Composing Dicke protocols acts as su(2), fixes Krawtchouk states","Weyl algebra emerges from Dicke add/remove operations","Dicke transformations: creation and annihilation operators form W(2)"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000251,"raw_usage":{"total_tokens":1563,"prompt_tokens":959,"completion_tokens":604,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":575,"completion_tokens_details":{"reasoning_tokens":510}},"tokens_in":575,"tokens_out":604,"duration_ms":17856,"temperature":1.0,"reasoning_tokens":510,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T05:10:35.825604+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run Protocol 2 on the two-qubit Dicke state $|D_0^2\\rangle$ with the Hadamard gate as the one-qubit operation and implement the total-angular-momentum post-selection through quantum phase estimation on the cyclic permutation. The paper's formulas predict the post-selected three-qubit state $(\\sqrt{3}/2)|D_0^3\\rangle+(1/2)|D_1^3\\rangle$; measuring the Dicke-basis populations and comparing them to $3/4$ and $1/4$ would settle the claim. A mismatch would show that the claimed representation is not what the protocol implements.","supporting_citations":[{"cited_title":"Coherence in spontaneous radiation processes,","cited_arxiv_id":null,"evidence_quote":"Defines the Dicke states that are the objects being transformed."},{"cited_title":"Universal gates for transforming multipartite entangled Dicke st ates,","cited_arxiv_id":null,"evidence_quote":"Provides the prior universal-gate setting for transforming multipartite Dicke states that motivates the protocol-level approach."},{"cited_title":"A q-version of the relation between the hypercube, the Krawtchouk chain and Dicke states,","cited_arxiv_id":null,"evidence_quote":"Supplies the Hamming-scheme and q-hypercube formalism used to place Dicke states in the Krawtchouk framework."},{"cited_title":"A graph with fractional revival,","cited_arxiv_id":null,"evidence_quote":"Gives the distance-regularity and perfect state transfer facts behind the three-term recurrence used to diagonalize the adjacency matrix."},{"cited_title":"The Terwilliger algebra of the hypercube,","cited_arxiv_id":null,"evidence_quote":"Identifies the Terwilliger algebra of the hypercube, linking the graph picture to su(2)."},{"cited_title":"Koekoek, P","cited_arxiv_id":null,"evidence_quote":"Provides the definition and three-term recurrence of the Krawtchouk polynomials used for the fixed-point expansion coefficients."}],"review_version":1}