{"id":"8cdf62a7-43c1-44aa-9a2f-d35498a988b5","arxiv_id":"2607.09927","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.5,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"At fixed QAOA angles, feasible probability is a trigonometric polynomial in the penalty weight λ whose frequencies lie on the lattice generated by the trained γ's, so transfer feasibility is a resonance peaked at the training λ.","lead":"QAOA angles trained under a penalty weight remember that weight: feasibility under transfer is a trigonometric resonance in the deployment penalty, not an energetic trade-off. This gives a zero-cost fix (match the training λ, prefer low-|γ| angles) for a common failure mode of constrained quantum optimization.","discovery_kind":"first_principles","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified beyond the reader's already-flagged peak-placement gap; the theorem and spectral confirmation hold.","rationale":"The reader's weakest_assumption correctly identifies the only material soft spot: peak placement under training is empirical, not proven (Limitations §6). That does not undermine Theorem 1, which is deliberately training-independent and is corroborated by the spectral fingerprint that no energetic or structural account predicts. Empirical scope remains narrow (one family, p=2; 28q shot-based), which already justifies the CONDITIONAL verdict. No stronger load-bearing concern (e.g., a flaw in the path expansion, a missing hypothesis that would make the lattice claim false, or an internal contradiction with the reported spectra) surfaced on re-reading. Therefore the reader's verdict, confidence, and identified weakest link stand; no adjustment is warranted.","tokens_in":12939,"tokens_out":573,"duration_ms":6260,"concrete_test":"Independently re-derive the path expansion of ⟨y|ψ(λ)⟩ (Lemma 3) for a minimal one-hot instance (n=2, vmax=1, p=1) by hand, expand F(λ) explicitly, and verify that its Fourier support lies exactly on {0, ±γ1}; then check that the same expansion on the paper's sharp angles recovers the five strongest measured lines of Fig. 2 within frequency resolution. If either check fails, the spectral claim is broken; if both pass, the theorem stands.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 1 / Eq. 10) is a training-independent spectral-support statement: for any fixed angles, F(λ) is a real trigonometric polynomial whose frequencies lie on the integer lattice generated by the γ's. The path expansion (Lemma 3), grouping by violation profiles, and the resulting coefficient formula (Eq. 11) are elementary and appear correct under the stated hypotheses (integer-valued v with finite vmax). Bernstein width, revivals, and vmax narrowing follow immediately as corollaries. The 20-qubit exact-statevector experiment recovers the predicted lattice lines (Fig. 2), peak location, width contrast, and revivals, which is strong, parameter-free confirmation of the spectral claim itself. The only soft spot the paper itself flags—and the reader correctly isolates—is that training is only observed (not proven) to place λ0 on a high ridge of F; the theorem does not assert global maximality of the training point, and revival peaks can and do tie it. That gap affects the transfer-relevance narrative, not the correctness of the trigonometric-polynomial law. No deeper inconsistency or hidden assumption that would invalidate the theorem was found.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper proves that for any integer-valued penalty and arbitrary fixed QAOA angles (β, γ) of depth p, the feasible probability mass F(λ) is a finite real trigonometric polynomial in λ whose frequencies lie on the integer lattice generated by the trained γ’s (Theorem 1 / Eq. 10). From this spectral-support statement the authors derive three immediate corollaries: resonance peaked where the deployment penalty matches the training penalty, a Bernstein lower bound on resonance width scaling as 1/(v_max ∑|γ_k|), and revival peaks at spacings 2π/γ_k. Exact statevector experiments on a fixed 20-qubit multi-user resource-allocation QUBO recover the predicted peak location, width contrast between “sharp” and “blunt” angle sets, revivals, and—most decisively—the trained-γ lattice as the measured line spectrum of F(λ). The theorem is independent of how the angles were obtained and applies to any integer-penalty QUBO, recasting transfer failures under mismatched λ as deterministic phase interference rather than an energetic tuning problem.","tokens_in":13158,"tokens_out":932,"duration_ms":8666,"significance":"If the result holds, it supplies a previously missing, training-independent axis for parameter transfer of penalty-based QAOA: the angles memorize the product γ_k λ_train and transfer feasibility is a trigonometric resonance in the deployment weight. The derivation is elementary (path expansion, grouping by integer violation profiles) yet yields falsifiable, parameter-free predictions (lattice lines, revival locations, width scaling) that are confirmed by exact statevector spectroscopy. The practical protocol—record λ0 with the angles, match rather than strengthen the penalty, and prefer low-|γ| “blunt” donors—is zero-quantum-cost and immediately actionable. The work cleanly separates structural transfer from phase-matching and therefore strengthens both the transfer literature and the penalty literature by showing that their intersection is governed by interference.","major_comments":[{"comment":"Limitations §6 and the transfer narrative: the theorem itself does not assert that training places λ0 on a high ridge of F; the paper correctly flags this as observed, not proven, and notes that revival peaks can and do tie the trained point (Fig. 1). Because the transfer-relevance claim and the “λ-matching” protocol rest on this placement, a short variational argument or additional numerical evidence across angle sets would close the only soft spot that affects the practical interpretation (while leaving the spectral-support law intact).","section":null},{"comment":"§4.2 / Corollary 1: the measured half-width ratio (blunt/sharp ≈ 5.4) is reported against a predicted phase-budget ratio ≈ 7. The discrepancy is modest and the direction is correct, but a quantitative discussion of why the Bernstein bound is not saturated (or of the contribution of the DC pedestal A0) would strengthen the width-scaling claim that underpins the “prefer blunt donors” recommendation.","section":null}],"minor_comments":[{"comment":"Fig. 2 caption and table of measured lines: the frequency resolution of the λ ∈ [0,12] window should be stated explicitly so that the reader can judge the “within resolution” claim for the five strongest lines.","section":null},{"comment":"Notation: the same symbol F is used both for the feasible set and for the feasible fraction F(λ); a typographic distinction (e.g., script F for the set) would avoid momentary confusion in §2–3.","section":null},{"comment":"§2.2: the one-hot penalty formula (2) is clear, but a one-sentence remark that the theorem applies verbatim to any integer-valued v (not only pairwise products) would help readers who use different constraint encodings.","section":null},{"comment":"References: the recent literature on fixed-angle QAOA and on penalty scheduling is well covered; a pointer to the known γ-periodicity of integer-valued cost Hamiltonians (already cited as [2,8]) could be made more explicit in the Conclusion when the “shadow on the penalty axis” is discussed.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The central theorem is sound and the spectral fingerprint (Fig. 2) is unusually clean confirmation. The only load-bearing soft spot is the unproven peak-placement step that the authors themselves flag; it is a narrative rather than a correctness issue and can be handled by minor revision. Fit for a solid quant-ph journal is good."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The new piece is simple and useful: at fixed QAOA angles, the feasible mass F(λ) is a real trigonometric polynomial whose frequencies live on the integer lattice generated by the trained γ’s. That immediately gives resonance when deployment λ matches training λ, a Bernstein width bound ~1/(v_max ∑|γ_k|), and revivals at 2π/γ_k. Path expansion + grouping by violation profiles is elementary and correct; the theorem does not depend on how the angles were found.\n\nWhat the paper does well is isolate the mechanism. They hold the 20-qubit instance fixed, sweep only λ, and recover the predicted peak, the sharp/blunt width contrast, the two revivals, and—decisively—the measured line spectrum sitting on the trained γ-lattice (Fig. 2). That is parameter-free confirmation of the spectral claim itself. The practical protocol (record λ0 with the angles; prefer low-|γ| “blunt” donors) follows directly and costs nothing.\n\nSoft spots are real but limited. Peak placement at λ0 is observed, not proven; the theorem only says the frequencies exist, and revivals can and do tie the training point. Empirical scope is narrow (one family, p=2; 28q is shot-based). Neither undercuts the trigonometric-polynomial law. Citations are honest about known γ-periodicity and structural transfer; the contribution is the transfer-relevant shadow on the penalty axis.\n\nThis is for people who actually ship penalty-based QAOA transfer. The math is solid, the 20q fingerprint is strong, and the result reclassifies a common failure mode as phase interference. I would send it to referees; they will ask for broader replication and a variational argument for the ridge, but the core claim already deserves the airtime.","headline":"Clean, training-independent theorem that F(λ) is a γ-lattice trigonometric polynomial, with exact 20q spectral confirmation; the only real soft spot is that peak placement at λ0 is observed, not proven.","tokens_in":13827,"tokens_out":474,"would_cite":true,"duration_ms":5515,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Trained QAOA angles memorize their training penalty weight, so transfer feasibility is a resonance peaked when the deployment penalty matches.","keywords":["QAOA","parameter transfer","penalty methods","constrained quantum optimization","trigonometric polynomials","phase interference","QUBO"],"falsifier":"Fix trained angles, sweep the deployment penalty λ on the same instance, and check whether the measured line spectrum of F(λ) sits on the integer lattice generated by those γ angles and whether a high ridge sits at the training λ; absence of lattice lines or a peak far from the training value would refute the claim.","tokens_in":13772,"feed_emoji":"⚛️","tokens_out":937,"duration_ms":21712,"temperature":0.7,"pith_summary":"When QAOA angles trained on one constrained problem are reused on another, success is usually explained by structural similarity. This paper shows an independent, equally strong axis: the angles also memorize the penalty weight λ used during training. Because the penalty enters the circuit only as phases, the probability of measuring a feasible solution becomes a finite trigonometric polynomial in the deployment penalty, with frequencies fixed by the trained γ angles. That forces a resonance peak at the training λ, a minimum width set by the total phase budget, and revival peaks at regular spacings. Exact statevector experiments on a 20-qubit resource-allocation QUBO confirm the peak location, width scaling, and spectral fingerprint, turning a common failure mode of penalty-based QAOA into a deterministic, fixable interference effect.","feed_headline":"QAOA angles remember their training penalty","feed_subtitle":"Transfer feasibility is a resonance; match λ or the feasible shots collapse.","key_machinery":"The λ-resonance theorem: path expansion of the QAOA amplitude shows that λ appears only through phases e^{-iλ γ·v} for integer violation histories v, so F(λ) is a trigonometric polynomial supported exactly on the lattice {∑ γ_k m_k : |m_k| ≤ v_max}.","core_discovery":"For any integer-valued constraint penalty and any fixed QAOA angles of depth p, the feasible measurement probability F(λ) is a finite real trigonometric polynomial in the penalty weight λ whose angular frequencies lie on the integer lattice generated by the trained γ parameters. Transfer feasibility is therefore a resonance peaked where the deployment penalty matches the training penalty, with width scaling as 1/(v_max ∑|γ_k|) and revival peaks at spacings 2π/γ_k.","pith_inferences":["The same path-sum argument should produce analogous memory laws for any circuit parameter that multiplies a finitely-valued diagonal operator, including multi-penalty weights and multi-objective scalarization vectors.","On hardware with coherent phase noise the effective resonance width may shrink further, making strict λ-matching even more critical at scale.","If mild regularization or low-budget training systematically favors low-|γ| solutions, automatic blunt-donor selection could become a free transferability boost.","The spectral fingerprint can distinguish phase-mismatch failures from structural-transfer failures without larger simulators."],"forward_implications":["Match the donor’s training λ rather than retuning or strengthening the penalty when transferring angles.","Prefer low-|γ| (“blunt”) angle sets among near-equal training losses because they produce wider, more transferable resonances.","Expect revival peaks at λ spacings 2π/γ_k and progressive narrowing of the resonance as problem size (v_max) grows.","Record the training penalty as part of the transferable artifact (β, γ, λ0).","Diagnose unexplained transfer collapse by sweeping λ at fixed angles and looking for a two-sided peak at the training value."],"fun_headline_variants":["QAOA angles lock onto their training penalty λ","Transfer success is a λ-resonance of trained γ","Mismatch in penalty scale collapses feasible shots","Fixed QAOA angles memorize the training λ","Low-|γ| sets transfer farther across penalties"],"cache_read_input_tokens":128,"weakest_assumption_plain":"That training places the operating point on a high ridge of the resonance curve is observed in experiments but is not proved by the theorem itself.","fun_headline_variants_meta":{"raw":{"variants":["QAOA angles lock onto their training penalty λ","Transfer success is a λ-resonance of trained γ","Mismatch in penalty scale collapses feasible shots","Fixed QAOA angles memorize the training λ","Low-|γ| sets transfer farther across penalties"]},"model":"grok-4.5","effort":"low","cost_usd":0.005292,"raw_usage":{"total_tokens":1478,"prompt_tokens":846,"num_sources_used":0,"completion_tokens":73,"cost_in_usd_ticks":52920000,"prompt_tokens_details":{"text_tokens":846,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":559,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":846,"tokens_out":73,"duration_ms":4981,"temperature":1.0,"reasoning_tokens":559,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T14:32:26.427334+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Fix trained angles, sweep the deployment penalty λ on the same instance, and check whether the measured line spectrum of F(λ) sits on the integer lattice generated by those γ angles and whether a high ridge sits at the training λ; absence of lattice lines or a peak far from the training value would refute the claim.","supporting_citations":[],"review_version":1}