{"id":"e606db0c-981c-4ce6-8092-a3eede72d386","arxiv_id":"2607.02997","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"Parent Hamiltonians built from a universal branch term plus state-dependent constraints uniquely select GHZ-, cluster-, and W-type multimode cat states and reduce to logical stabilizers or exchange models at large |α|.","lead":"The paper constructs explicit parent Hamiltonians for multimode entangled bosonic cat states (GHZ, cluster, W) by stacking a universal coherent-branch selector with correlation and symmetry constraints. This gives a systematic operator recipe that links continuous-variable cat engineering to logical stabilizer and exchange Hamiltonians.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The Reader correctly isolates the only idealization present (branch non-orthogonality) and correctly notes that the authors already flag it. That idealization is confined to the interpretive Sec. V mapping; the constructive claim of Sec. IV and the uniqueness proofs of Appendix A are exact algebraic statements inside the bosonic Hilbert space and do not rely on it. No hidden assumption, missing term, or internal inconsistency was found that would undermine the one-dimensional-kernel statement. The paper therefore remains a clean, self-contained theory contribution meriting ACCEPT.","tokens_in":13304,"tokens_out":501,"duration_ms":4875,"concrete_test":"Independently recompute the action of H_GHZ,± (Eq. 23), H_C (Eq. 32) and H_W3 (Eq. 45) on a truncated Fock basis (e.g. n_max=2|α|^{2}+10) for a moderate |α| (say |α|=2) and verify that the numerical ground-state fidelity to the analytic target exceeds 1-e^{-2M|α|^{2}}; if the gap remains open and the fidelity saturates the known overlap bound, the exact-kernel claim is confirmed beyond the formal Appendix A argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim holds under the paper's own scope. H_br exactly annihilates every coherent branch |s\rangle (a_j^{2}|±α\rangle=α^{2}|±α\rangle), so ker H_br = B_α is exact, not approximate. Appendix A then shows that the additional positive-semidefinite constraints (alignment/parity for GHZ, pair+stabilizer for cluster, defect+mixing for W) reduce that kernel to a one-dimensional span of the target state by elementary linear algebra on the finite set of branch labels; those uniqueness arguments never require the branches to be orthogonal. The large-|α| dictionary of Table I and the encoded Hamiltonians of Sec. V are presented only as an asymptotic reduction (overlap e^{-2|α|^{2}} already noted by the authors), not as a prerequisite for the parent-Hamiltonian construction itself. Consequently the finite-overlap idealization flagged by the Reader is a limitation of the logical-qubit interpretation, not a load-bearing flaw in the strongest claim.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript constructs positive-semidefinite parent Hamiltonians for multimode bosonic cat resource states (GHZ-, cluster-, and W-type). A universal branch Hamiltonian H_br = sum_j (a_j^{2} - α^{2})†(a_j^{2} - α^{2}) first restricts each mode to the two-dimensional coherent support span{|±α⟩}, after which state-dependent constraints (alignment + parity for GHZ; pair-alignment + stabilizer selectors for cluster; fixed-defect + exchange mixing for W) progressively reduce the 2^M-dimensional branch manifold to a unique target ground state. Explicit operators are given in Sec. IV; uniqueness of the kernels is proved by elementary linear algebra on branch labels in Appendix A. In the large-|α| limit the same operators reduce, via the dictionary of Table I, to logical stabilizer or exchange Hamiltonians on an effective qubit basis (Sec. V).","tokens_in":13565,"tokens_out":688,"duration_ms":11262,"significance":"If the constructions hold, the work supplies a systematic, algebraic route from coherent-state engineering to stabilizer-type resources, with explicit bosonic operators whose common kernel is the desired entangled cat state. The separation into universal branch confinement and state-dependent constraints is clean and reusable; the uniqueness proofs in Appendix A and the operator dictionary of Table I are concrete, machine-checkable contributions that strengthen the bridge claimed in the abstract. The discussion of dissipative counterparts further indicates a practical path toward stabilization protocols. These elements make the paper a useful reference for modular bosonic architectures.","major_comments":[],"minor_comments":[{"comment":"Sec. IV.C and Eq. (39): the phrase “understood after projection to the fixed-defect branch sector” should be made fully explicit (e.g., by writing the projected operator once) so that the reader does not have to reconstruct the domain of H_mix from Appendix A.","section":null},{"comment":"Fig. 1 caption and panel (c): the spectral evolution is illustrative but the vertical scale and the precise values of λ, γ used for the plot are not stated; a short sentence or inset would make the figure self-contained.","section":null},{"comment":"Table I, last row: the factor α^{-1} in front of the sum is conventional but the overall scale of the encoded defect operator is left free; a parenthetical remark that the scale is absorbed into η would avoid a minor notational inconsistency with Eq. (62).","section":null},{"comment":"References: the recent catability papers [22,23] are central; a one-sentence clarification of how the present multimode parent Hamiltonians extend (rather than merely restate) those single-mode operators would help the reader place the novelty.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is technically solid and well within the scope of a specialized quantum-information journal. The algebraic constructions and uniqueness proofs are the main assets; the large-|α| reduction is correctly presented as asymptotic. No hidden circularity or load-bearing idealization undermines the central claim. I see no reason to request further technical work beyond the minor clarifications listed."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper gives explicit positive-semidefinite parent Hamiltonians for GHZ-, cluster-, and W-type multimode cat states. The organizing idea is simple and useful: a universal branch term H_br that kills every coherent configuration |±α\rangle in each mode, plus state-dependent constraints that cut the 2^M-dimensional branch manifold down to a unique target. Appendix A proves uniqueness by elementary linear algebra on the branch labels; those arguments never need the branches to be orthogonal. That is the real result.\n\nWhat is new is the concrete multimode operators and the hierarchy (branch → alignment/pair/defect → parity/stabilizer/mixing). The single-mode catability papers already had the branch-plus-parity split; here it is turned into a reusable template that also covers graph correlations and fixed-defect W states. Table I and Sec. V then show the large-|α| reduction to ordinary stabilizer or exchange Hamiltonians on logical qubits. The dictionary is standard once you accept approximate orthogonality, and the authors flag the overlap e^{-2|α|^{2}} themselves.\n\nSoft spots are minor and already stated. The W mixing term is understood after projection onto the fixed-defect sector; the logical-qubit map is asymptotic only. Neither undercuts the parent-Hamiltonian claim. Constraint weights are free positive scales that set spectral gaps; no fitting is involved. Citations look appropriate (own prior catability work plus the usual cat-qubit and stabilizer literature).\n\nThis is for people who design bosonic resources or dissipative stabilization protocols in circuit QED. It does not invent a new experimental platform, but it supplies the algebraic constraints those platforms would need to enforce. The math is solid, the proofs are short and complete, and the paper is self-contained. I would send it to referees without hesitation and would cite the explicit operators if I were writing about multimode cat stabilization.","headline":"Clean algebraic parent Hamiltonians for multimode cat resources; uniqueness is exact on the branch manifold, large-α qubit map is only asymptotic.","tokens_in":14133,"tokens_out":486,"would_cite":true,"duration_ms":4539,"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":"Parent Hamiltonians built from oscillator operators pin multimode cat states by first locking each mode to coherent branches, then applying correlation and symmetry constraints that leave a unique ground state.","keywords":["bosonic cat states","parent Hamiltonians","multimode entanglement","GHZ cat states","cluster cat states","W cat states","stabilizer Hamiltonians","coherent-state resources"],"falsifier":"Compute or measure the low-energy spectrum of any of the explicit three- or four-mode parent Hamiltonians at moderate |α| (say |α|≈2); if the gap above the claimed unique ground state collapses or additional near-zero states appear that are not accounted for by the residual branch overlap, the uniqueness claim fails.","tokens_in":14242,"feed_emoji":"⚛️","tokens_out":761,"duration_ms":6540,"temperature":0.7,"pith_summary":"The paper shows how to write explicit positive-semidefinite Hamiltonians whose unique zero-energy ground states are entangled multimode cat resources of GHZ, cluster, and W type. A universal branch term first forces every oscillator into the two-dimensional span of |+α⟩ and |-α⟩; state-dependent alignment, stabilizer, defect, and mixing terms then successively remove the remaining degeneracies until only the desired superposition survives. In the large-|α| limit the same operators become ordinary stabilizer or exchange Hamiltonians on an effective logical-qubit basis, giving a concrete dictionary between bosonic coherent-state engineering and qubit-style resource-state constructions. The construction therefore supplies both a design principle for entangled cat resources and a clear list of algebraic constraints that future coherent or dissipative stabilization protocols would need to enforce.","feed_headline":"Oscillator Hamiltonians lock multimode cats into unique ground states","feed_subtitle":"Branch plus correlation constraints give GHZ, cluster and W cat parents that map to logical stabilizers","key_machinery":"The hierarchical parent Hamiltonian H_target = H_br + ∑_µ H_µ, whose kernel is the successive intersection ker H_br ∩ ∩_µ ker H_µ. Each H_µ is a positive-semidefinite constraint that removes one layer of unwanted degeneracy inside the 2^M-dimensional branch manifold.","core_discovery":"Positive-semidefinite parent Hamiltonians of the form H_target = H_br + ∑_µ H_µ have a one-dimensional kernel equal to a chosen multimode cat state (GHZ, cluster or W). The universal branch Hamiltonian H_br confines each mode to the coherent support |+α⟩, |-α⟩; the remaining positive-semidefinite terms select the desired inter-mode correlations and symmetry sector inside that branch manifold. In the large-|α| limit these bosonic operators reduce exactly to the corresponding logical stabilizer or exchange Hamiltonians.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Parent Hamiltonians pin multimode cats as unique ground states","Branch plus constraints isolate GHZ cluster and W cat kernels","Oscillator parents for bosonic cats reduce to logical stabilizers","Multimode cat resources get explicit positive-semidefinite parents","Coherent cats confined then correlated into unique ground states"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The construction treats the two coherent branches of each mode as exactly orthogonal, so that the branch manifold is a clean logical-qubit space and residual overlap corrections can be ignored.","fun_headline_variants_meta":{"raw":{"variants":["Parent Hamiltonians pin multimode cats as unique ground states","Branch plus constraints isolate GHZ cluster and W cat kernels","Oscillator parents for bosonic cats reduce to logical stabilizers","Multimode cat resources get explicit positive-semidefinite parents","Coherent cats confined then correlated into unique ground states"]},"model":"grok-4.5","effort":"low","cost_usd":0.005536,"raw_usage":{"total_tokens":1462,"prompt_tokens":713,"num_sources_used":0,"completion_tokens":66,"cost_in_usd_ticks":55360000,"prompt_tokens_details":{"text_tokens":713,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":683,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":713,"tokens_out":66,"duration_ms":5290,"temperature":1.0,"reasoning_tokens":683,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-12T05:32:55.282875+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Compute or measure the low-energy spectrum of any of the explicit three- or four-mode parent Hamiltonians at moderate |α| (say |α|≈2); if the gap above the claimed unique ground state collapses or additional near-zero states appear that are not accounted for by the residual branch overlap, the uniqueness claim fails.","supporting_citations":[],"review_version":1}