{"id":"bfa642be-6844-4dd3-8cd6-8c0a17e5b293","arxiv_id":"2607.16846","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"For an exactly solvable Higgs-oscillator model of atomic trimers, the minimum-energy relative-stationary states at fixed angular momentum are supported on two adjacent spectral sites, giving candidate geometric qubits.","lead":"A theoretical paper proposes encoding quantum information in the collective shape of three atoms in optical tweezers, using an exactly solvable model on a shape sphere. It derives two-state 'geometric qubits' with a protected energy gap and sketches control and entanglement operations, but does not prove the link to real atomic physics.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The two-state encoding requires exact U(1) shape-rotation symmetry; real trimer potentials have only discrete symmetry, so the physical bridge is unverified.","rationale":"I checked the derivation of the claimed minimizer. The identity preceding Eq. (6) is exact for the Hamiltonian (1): for k < ell < k+1, lambda_N and lambda_J selected by the adjacent pair give E_n - lambda_N - lambda_J m = 2(n-k)(n-k-1) + (4k+6+sqrt(5))(n-m). Since n and k are integers, the first term is a product of consecutive integers and thus nonnegative; admissibility gives n >= |m|, so n-m >= 0 and the second term is also nonnegative. Equality occurs only at the two support points. The support-parabola argument in Supplement C is also sound for irrational alpha_g = sqrt(5). So the two-state encoding and finite branch gap are valid within the model. The weakest point is the physical bridge: the construction relies on exact U(1) symmetry and the associated quantum number m. Real atomic trimers are not guaranteed to have this continuous symmetry; the equilateral point has only discrete permutation symmetry, so anharmonic terms generically break the U(1) rotation. Supplement A acknowledges this by introducing U_aniso and g_n as symmetry-breaking terms, but no estimate or robustness analysis is provided. This makes the applicability to programmable atomic trimers conditional, matching the reader's CONDITIONAL verdict. I therefore see no reason to change the verdict, though the concern is more sharply about the U(1) symmetry requirement than the reader's broader statement about the shape potential.","tokens_in":10961,"tokens_out":29407,"duration_ms":262317,"concrete_test":"Numerically diagonalize the perturbed Hamiltonian H_eps = -2(1+|z|^2)^2 d_z d_zbar + (1/2)|z|^2/(1-|z|^2)^2 + eps * Re(z^3)/(1+|z|^2)^3 on the hemisphere for eps = 0.01, 0.1, and 1. For fixed expectation of J at t=0, compute the lowest-energy state and its support in the J eigenbasis. If the support spreads beyond |k,k> and |k+1,k+1> for eps > 0, or if the branch gap to the next relative-stationary pair drops below eps, the exact encoding is not robust to the U(1)-breaking anharmonicities generic in real trimers.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central mathematical result is internally consistent for the isotropic Higgs oscillator: the lower-bound identity in Eq. (6) factors exactly as 2(n-k)(n-k-1)+(4k+6+sqrt(5))(n-m), which is nonnegative for all admissible lattice points with equality only at (k,k) and (k+1,k+1); the support-parabola argument in Supplement C is valid for alpha_g = sqrt(5), an irrational number. The load-bearing weakness is the step from this exactly solvable model to a real atomic trimer. The proof uses simultaneous eigenstates of H and J, so it requires the full continuous U(1) shape-rotation symmetry [H,J]=0. A real three-atom shape potential—tweezer anharmonicities plus Rydberg interactions—has at most discrete permutational symmetry about the equilateral point; the quadratic term is isotropic by symmetry, but cubic and higher-order terms generically break U(1) (e.g., through cos(3 phi) couplings). Supplement A explicitly states that U_aniso breaks the axial U(1) and that for generic g_n, U_aniso the model is no longer exactly solvable. The paper neither bounds the size of such terms nor shows that the two-point support and finite branch gap survive them. Thus the headline claim is conditional on an unverified global form of the shape potential, not just on the local harmonic frequency.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an exactly solvable shape-space model for near-equilateral atomic trimers, based on the isotropic Higgs oscillator on Kendall's shape sphere. For this model, it proves that among normalized states with fixed angular-momentum expectation ℓ, the energy is minimized by relatively stationary superpositions supported on the two adjacent extremal lattice states |k,k⟩ and |k+1,k+1⟩ (Eq. (6)). It computes the branch gap to the next-higher relatively stationary branches, proposes a Raman-type drive for single-qubit rotations, and sketches a two-trimer entangling gate based on linked Wilczek–Zee cycles from a companion paper.","tokens_in":11297,"tokens_out":7132,"duration_ms":74862,"significance":"The mathematical core of the paper is sound and explicit: the variational identity in Eq. (6) is exact, the nonnegativity argument correctly identifies the unique minimizer, and the support-parabola argument in Supplement C is valid for the irrational α_g=√5. The branch-gap formulas (Eqs. (8)–(9)) are internally consistent. If the physical bridge to real atomic trimers could be established, the construction would offer an interesting route to collective-shape qubits with a finite leakage gap. The paper is also commendably transparent about the exact solvability conditions in Supplement A. However, the physical input—the global isotropic Higgs Hamiltonian (Eq. (1))—is assumed rather than derived, and the control and entanglement sections stop at the level of a sketch with several undetermined parameters. These gaps currently prevent the central claim from being fully realized.","major_comments":[{"comment":"The central two-state support and branch-gap results are proven only for the isotropic Higgs oscillator with exact U(1) shape-rotation symmetry, [H,J]=0. Supplement A explicitly states that generic anharmonic terms U_aniso(X,Y) break this U(1) and that the model is then no longer exactly solvable. A real tweezer/Rydberg trimer potential has at most discrete permutational symmetry about the equilateral point, and generic cubic and higher terms break the continuous U(1) symmetry. The manuscript neither derives Eq. (1) from a microscopic potential, nor bounds the symmetry-breaking terms, nor shows that the two-point support and finite branch gap survive such terms. This is load-bearing because the abstract and introduction frame the result as applying to programmable atomic trimers. A perturbative analysis with, e.g., a cos(3φ) term and a quantitative estimate for concrete tweezer/Rydberg p","section":"Model, Eq. (1); Supplement A, Eqs. (S4)–(S6)"},{"comment":"The single-qubit Rabi frequency is defined as Ω e^{−iφ_d} = E e^{−iχ0} ⟨1,1|Q_+|0,0⟩, but this matrix element is never evaluated. Without its value — or at least a demonstration that it is nonzero — the drive strength, the rotating-wave-approximation validity condition, and the leakage to states outside H_L are not quantified. The overlap can be computed explicitly from the eigenfunctions in Supplement B (Eq. (S7)); this should be done and the resulting Rabi frequency stated.","section":"On control, Eq. for Ω"},{"comment":"The two-qubit entangling gate is imported from Ref. [27] rather than derived within the present model. The quantities q_{a,μ}, κ, L_{12}, and the 'diagonal Cartan sector' are introduced as free or assumed data, with no calculation connecting them to the Higgs-oscillator logical states |k,k⟩, |k+1,k+1⟩. No explicit construction shows that closed shape cycles in this model have the required holonomy, nor that the linked-cycle invariant Φ_ent takes the stated form. Since the abstract promises entangling operations, this section needs either a concrete derivation or an explicit statement that the multi-qubit part is a speculative outlook.","section":"On arrays"},{"comment":"The final paragraph acknowledges that a microscopic treatment of realistic tweezer potentials, anharmonic dressing, finite-size effects, and dynamical leakage is required. This is an honest limitation, but it also confirms that the advertised 'geometric qubits in programmable atomic trimers' are conditional on unverified assumptions. The manuscript would be significantly strengthened by moving this caveat into the abstract and by adding either a concrete microscopic estimate or a clear reframing as an exactly solvable model study rather than a realized qubit proposal.","section":"Summary and outlook"}],"minor_comments":[{"comment":"The citation numbering for the Higgs oscillator is inconsistent: in the text, 'Higgs oscillator [1, 2, 31]' points to experimental tweezer papers and the Supplemental Material, while the actual Higgs and Leemon references appear as duplicate numbered entries [1] and [2] after [28]. The reference list and in-text citations need to be renumbered consistently.","section":"References"},{"comment":"The caption describes a 'yellow curve' as an opposite-chirality minimizer for −1<ℓ<2, while the text focuses on positive ℓ. The chirality and ℓ ranges in the caption should be reconciled with the main text.","section":"Figure 2 caption"},{"comment":"Typo: 'can be dound' should read 'can be found'.","section":"Supplement F"},{"comment":"The notation 'U_aniso' and 'X_n' is sometimes printed without spacing ('Uaniso'), which makes the equations harder to read. Please format consistently.","section":"Supplement A"}],"recommendation":"major_revision","confidential_remarks":"The paper's mathematical core is sound and publishable as a model study, but the physical bridge is the main weakness. The authors should either substantially justify Eq. (1) for real trimers, add a perturbative treatment of U(1)-breaking terms, or explicitly narrow the claims to the isotropic Higgs model. The control and entanglement sections also need to be made quantitative or clearly labeled as speculative. The reference numbering issue should be fixed before resubmission."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe thing to know about this paper is that it contains a real, checkable mathematical result, wrapped in a speculative physical wrapper. The result: for the isotropic Higgs oscillator on Kendall's shape sphere, the minimal-energy state at fixed angular-momentum expectation ell is supported on exactly two adjacent spectral states, and the subleading branches are ordered with explicit gaps. The proof is straightforward and correct; I checked the factorization and the support-parabola argument in the Supplement. That is new and worth having.\n\nThe wrapper: the same shape space is proposed as the low-energy model of a programmable atomic trimer, with g=1 chosen so the tangent-plane limit is a unit-frequency 2D harmonic oscillator. This is where the paper is conditional. Real trimer potentials have discrete, not continuous, rotational symmetry about the equilateral point. Cubic and higher terms break the U(1) that the whole relative-stationarity construction requires. The paper says this explicitly in Supplement A and again in the summary, but it does not bound those terms or show the two-state support and gap survive. The stress-test note is correct on that point.\n\nOther soft spots are minor by comparison. The drive matrix element <1,1|Q_+|0,0> is not evaluated, so the Raman control is schematic. The array-entanglement section is a sketch that imports the Wilczek–Zee/Chern–Simons construction from a co-authored preprint, with free parameters for the Cartan weights and level. As a gate proposal it is not yet a concrete protocol.\n\nNone of that damages the core derivation. The paper is honest that it is a candidate mechanism, and the math is solid on its own terms. A reader who wants a physical implementation will need the perturbation analysis; a reader who cares about shape-space quantum mechanics gets a clean theorem.\n\nI'd send this to a serious referee. The right outcome is likely a revision that either supplies a perturbation estimate or clearly frames the model as an exactly solvable idealization. It should not be desk-rejected.","headline":"Clean two-site support theorem for the Higgs oscillator, wrapped in a speculative and unverified bridge to real atomic trimers.","tokens_in":11753,"tokens_out":3351,"would_cite":true,"duration_ms":36384,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The lowest-energy shape doublet of a near-equilateral atomic trimer is an exact two-state qubit, protected by a finite gap in the Higgs-oscillator spectrum.","keywords":["atomic trimers","Kendall shape sphere","Higgs oscillator","relative stationary states","geometric qubit","spectral lattice","Rydberg arrays","holonomic quantum computation"],"falsifier":"Spectroscopically address the k=0, 0<ℓ<1 branch of a single trapped trimer: if the transition frequency between the two support states is not Δ_0 = 6+√5 (in oscillator units), if a third state is resonantly coupled on the same support parabola, or if the next-branch gap does not match min{2ℓ, (6+√5)(1−ℓ)}, then the central claim fails.","tokens_in":10851,"feed_emoji":"🔺","tokens_out":6088,"duration_ms":55964,"temperature":0.7,"pith_summary":"This paper tries to establish that a near-equilateral trimer of trapped atoms can encode a qubit in its collective shape, rather than in individual atomic internal states. The evidence comes from an exactly solvable shape Hamiltonian—the Higgs oscillator on Kendall's shape sphere—whose spectrum forms a nonresonant lattice. Among all states with fixed shape angular momentum ℓ, the energy minimum is attained by a two-state superposition of adjacent extremal states |k,k⟩ and |k+1,k+1⟩; for a generic coupling, the support parabola through two lattice points contains no other states, so the encoding is exactly two-state. The paper argues these doublets are separated from all higher branches by a finite gap and can be coherently driven, and that linked shape cycles in arrays generate entangling phases. A sympathetic reader would care because this suggests a route to geometric qubits in programmable neutral-atom arrays using the triangle's shape as the quantum degree of freedom.","feed_headline":"A triangle's shape becomes a two-state qubit","feed_subtitle":"Finite spectral gap shields the shape doublet, enabling geometric gates in neutral-atom arrays.","key_machinery":"The engine is the Higgs oscillator on Kendall's shape sphere, with Hamiltonian −2(1+|z|²)² ∂_z∂_z̄ + (1/2)|z|²/(1−|z|²)², whose tangent-plane limit at the equilateral point is the unit-frequency two-dimensional harmonic oscillator. Its exactly solvable spectrum E_n = 2(n+1)² + √5(n+1) organizes states into (n,m) shells and makes the relative-stationarity condition E_n = λ_N + λ_J m a parabola in the spectral lattice; the parabola's nonresonant property enforces two-state support. The geometric phase from cyclic evolution and the linked-cycle Wilson-loop phase provide the control and entangling machinery.","core_discovery":"At fixed angular momentum ℓ with k<ℓ