{"id":"99ad4013-ce4d-421f-b52a-4e8af480d829","arxiv_id":"2507.22822","paper_version":4,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Dipolar quantum optimal control via time-dependent magnetic-field orientation prepares entangled current states in ring lattices, with fidelities matching symmetry-imposed upper bounds.","lead":"This paper proposes steering ultracold dipolar atoms on a ring lattice into entangled current states by rotating the magnetic field orientation over time. The authors show numerically that this control method reaches the theoretically allowed fidelity limits, and they derive the symmetry-based bounds that set those limits.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The two-angle dipolar control is tested only against an upper bound computed with a much larger linear control envelope; whether it actually generates the full unitary algebra for odd-L systems, and thus whether symmetry fully determines the limits, remains unproven.","rationale":"The paper's central claim is that the two-angle dipolar control reaches the fundamental fidelity bounds for EC states, so the only possible limits are symmetry, protected-state, and hard-core projection constraints. The analytic derivations of those bounds (Eqs. 8, 10, and 11) are careful and internally consistent, and the GRAPE results match them for the tested cases. The weakest link is the inference from an upper bound computed with a much larger artificial control set to the actual controllability of the physical control. Table I's 'odd L full controllability' statement is about the Lie algebra generated by H0 and all independent pair-density operators, not about the Lie algebra generated by H0 and span{Hc(theta, phi)}, which is what the physical two-angle control actually generates. The numerical saturation for a handful of EC targets on small rings is suggestive but not a proof of the general claim in the abstract and conclusion. My recommended test directly computes the physically relevant Lie algebra; if it is full, the concern evaporates and the conclusion is much stronger. If it is not full, the paper needs to restrict its claim to the demonstrated target families. This is exactly the reader's weakest assumption, so I agree with the CONDITIONAL verdict and recommend no change. Minor points, such as the 0.999 GRAPE threshold versus the word 'perfect' and the use of only 10 optimization runs, are secondary and do not affect the verdict.","tokens_in":15052,"tokens_out":12721,"duration_ms":156512,"concrete_test":"Compute the dimension of the Lie algebra generated by H0 and S = span{Hc(theta, phi) : theta in [0, pi], phi in [0, 2 pi)} for representative odd-L systems such as L=7, N=2 (N_H = 28, full u-algebra dimension 784) and L=5, N=3 (N_H = 35, full dimension 1225), using the same numerical Lie-algebra algorithm as Table I. If the dimension reaches the full u(N_H) value, the actual two-angle control is fully controllable in those sectors and the main gap is closed algebraically; if it falls short, the expanded-control upper bound is not saturated and the EC-state results must be reinterpreted as target-specific rather than symmetry-determined.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section III computes the controllability upper bound using a control set containing all independent density-density operators n_j n_k (or inversion-symmetric combinations), not the actual control operators. The actual Hc(theta, phi) in Eq. (3) is a sum over pairs with coefficients that are functions of the two angles; expanding in spherical harmonics shows the image of the control map spans at most a 4-dimensional subspace S of the pair-operator space. For odd L the Lie algebra generated by H0 and the expanded set is reported to be the full u(N_H) (Table I), but full controllability of the expanded linear system does not imply the 2-parameter nonlinear system is fully controllable. The numerical GRAPE results in Section IV demonstrate saturation for selected EC states on small rings (L up to 9, N up to 3), but this does not rule out additional controllability restrictions for larger rings, other EC subsets, or other symmetry-allowed targets. The abstract's general claim ('perfect fidelity across a wide range of systems') and the conclusion that 'symmetry fully determines the controllability bounds' therefore rest on an extrapolation. The gap is not a contradiction; a direct Lie-algebra computation with the actual control span S would settle it.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes the use of time-dependent magnetic-field orientation as a two-parameter quantum optimal control for dipolar bosons on a lattice ring, aiming to prepare entangled current (EC) states. The authors derive three types of fidelity upper bounds: an inversion-symmetry bound (Eq. (8)) for even-length rings, a bound from the protected two-boson state |Ψ_DI⟩ (Eq. (10)) for L∈4ℤ and N=2, and a hard-core projection bound (Eq. (11)). They then use the GRAPE algorithm with M=30 piecewise-constant control steps to demonstrate numerically that these bounds are saturated for small systems (L≤9, N≤3) and selected EC targets, concluding that symmetry fully determines the controllability limits of the protocol.","tokens_in":15227,"tokens_out":11765,"duration_ms":143487,"significance":"If the claimed saturation is generic, the protocol would provide a physically feasible route to entangled current states in atomtronic circuits, and the explicit bounds would be a useful characterization of dipolar quantum control. The paper's strengths include the explicit derivations in Appendix E, the open data availability, and the use of standard, reproducible numerical tools. The significance is tempered, however, by the fact that the central controllability claim rests on an extrapolation from small systems: the upper bounds are computed from a linear control envelope that is much larger than the actual two-angle control, and the numerical validation covers only a limited parameter range.","major_comments":[{"comment":"The Lie-algebra controllability upper bound is computed for the set of all independent pair-density operators (or inversion-symmetric combinations), not for the actual two-parameter control Hamiltonian H_c(θ,φ) in Eq. (3). The image of the control map in the pair-operator space is at most four-dimensional when expanded in spherical harmonics, so full controllability of the expanded linear system does not imply that the two-angle system is fully controllable. The numerical GRAPE saturation in Section IV covers only L≤9, N≤3, and specific EC targets. The paper's conclusion in Section VII that \"symmetry fully determines the controllability bounds\" therefore requires additional support. Please compute the dynamical Lie algebra generated by H_0 and the actual span of {H_c(θ,φ)} (e.g., using H_c at several representative angles or a basis of the spherical-harmonic subspace) for the systems in Table I, and compare it with the algebra used to derive the bounds. If the two agree, state this explicitly; if not, the abstract's claim of perfect fidelity \"across a wide range of systems\" is not supported and should be qualified.","section":null},{"comment":"Even within the linear-envelope analysis, Table I shows for L=4,N=2 a Lie algebra dimension of 33, which is smaller than the inversion-symmetry-adapted block-diagonal algebra u(6)⊕u(4) of dimension 52, and also smaller than the dimension 42 expected if the only additional constraint were the invariant subspace of the protected state |Ψ_DI⟩. This indicates that additional conserved quantities or dynamical constraints exist beyond the inversion symmetry and the DI eigenstate, but the paper does not identify them. Consequently, the statement that \"symmetry fully determines the controllability bounds\" is not a consequence of the Lie-algebra computation; it is an assumption that is tested numerically only for the specific EC states in Section IV. The derivation of Eq. (10) as the maximum fidelity assumes the entire even-parity subspace orthogonal to |Ψ_DI⟩ is reachable, which is not established by the algebra. Please characterize these additional constraints or provide a direct proof that they do not lower the reachable fidelity for the EC targets considered.","section":null}],"minor_comments":[{"comment":"The control Hamiltonian is written as H_c(μ,t) while the text and Fig. 1(b) parameterize the control by θ(t)={θ(t),φ(t)}; please unify the notation for clarity.","section":null},{"comment":"In the experimental feasibility section, the word \"impedancy\" should be \"impedance\".","section":null},{"comment":"The fidelity shown is the best over 10 optimization runs. Since Appendix C documents that some runs converge to lower fidelities, reporting the median or the distribution (as in Fig. 4) along with the best would give a more complete picture of the expected performance of the protocol.","section":null},{"comment":"Please specify how the Lie algebra dimensions are computed (e.g., which numerical algorithm and whether using exact arithmetic) and provide a reference or code repository, given that the cost is stated to scale as (dim H)^8.","section":null}],"recommendation":"major_revision","confidential_remarks":"The core physical idea and the symmetry derivations are sound, and the paper is clearly written. The main gap is the gap between the linear-control upper bound and the actual two-angle control: the conclusion that the theoretical bounds are reachable across a wide range of systems is an extrapolation from small-system numerics. A direct Lie-algebra computation for the actual control span would substantially strengthen the claim, or the conclusions should be appropriately qualified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth reading: the paper derives clean fidelity bounds and shows a concrete dipolar QOC protocol that saturates them for small rings. The genuinely new pieces are the parity bound (Eq. 8), the protected two-boson state |Psi_DI> (Eqs. 9-10), and the hard-core-boson bound (Eq. 11). The derivations in Appendix E are explicit and internally consistent; the numerics are an independent check, not a fit. The GRAPE optimizations reproduce the bounds for L up to 9 and N up to 3, and the experimental estimates (30 steps, ~50 ms, coil rotation times) are realistic. This is the first combination of dipolar magnetostirring with QOC on ring lattices, and the paper is clearly written.\n\nThe soft spot is exactly the one flagged in the stress test. Section III computes an upper bound on controllability using a Lie algebra built from all independent density-density operators. The actual control Hamiltonian is a two-angle dipolar field whose image in operator space spans only a small subspace of pair operators. For odd L, full controllability of the expanded linear system does not imply full controllability of the two-parameter nonlinear system. The numerical saturation for selected EC states on small rings is evidence but not a proof. The abstract's 'perfect fidelity across a wide range of systems' and the conclusion that symmetry fully determines the controllability bounds are therefore extrapolations. This is not a fatal flaw, but it needs to be addressed: either compute the Lie algebra generated by H0 and the actual control span, or test larger systems and more target families. The 'perfect fidelity' language is also slightly stronger than the 0.999 threshold used in the numerics.\n\nWho gets value: people working on atomtronic circuits, persistent currents, and quantum state preparation in ultracold dipolar gases. The symmetry bounds are useful independently of the controllability question. I would cite it and I would bring it to a reading group. It deserves a serious referee; the clear next step is revision to close or qualify the controllability gap.","headline":"Useful paper with correct symmetry bounds and a concrete protocol, but the controllability headline outruns the proof.","tokens_in":15844,"tokens_out":3457,"would_cite":true,"duration_ms":40709,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper shows that time-dependent magnetic-field orientation alone can prepare entangled current states in ultracold dipolar rings, reaching perfect fidelity where symmetry allows and saturating the theoretical fidelity bounds elsewhere.","keywords":["quantum optimal control","dipolar ultracold atoms","Bose-Hubbard model","entangled current states","atomtronic circuits","magnetostirring","controllability","lattice ring"],"falsifier":"Run the same optimization on an odd-site ring with $L=11$ or $L=13$ and $N=4$, preparing an EC state not blocked by symmetry: if the best fidelity over many random initial trajectories falls below $0.999$, the claim that symmetry constraints fully determine the controllability limits would be falsified. Equivalently, a laboratory implementation of the optimized polarization schedule on a dipolar ring that systematically misses the ceilings in Eqs. (8), (10), and (11) would reveal an additional constraint.","tokens_in":14817,"feed_emoji":"🧲","tokens_out":12746,"duration_ms":130841,"temperature":0.7,"pith_summary":"This paper proposes a quantum-control scheme for atomtronic circuits: instead of shaping traps or interactions, it simply rotates the direction of the magnetic field that polarizes ultracold dipolar bosons on a lattice ring. With only two control functions — the two angles of the dipole orientation — the scheme drives the system into entangled current states, superpositions of different circulation directions such as NOON and W states. The paper's central finding is that the reachable fidelity is fully determined by a few symmetry and protection constraints, and that numerical optimal control hits those limits exactly: perfect fidelity on rings with an odd number of sites, and the exact theoretical ceiling on even-site rings where inversion symmetry or a protected two-boson state intervenes. If the result holds, it gives experimentalists a simple, feasible way to prepare the kind of circulating entangled states relevant for rotation sensing and qubit proposals in ultracold-atom circuits.","feed_headline":"Two field angles hit the fidelity ceiling for entangled currents","feed_subtitle":"Rotating a magnetic field alone prepares NOON and W current states, hitting the symmetry-imposed fidelity ceilings.","key_machinery":"The working mechanism is the anisotropic dipole-dipole interaction acting as a control: changing the two spherical angles $(\\theta,\\phi)$ of the dipole moment $\\mu(t)$ modulates the long-range density-density couplings $\\hat n_j \\hat n_k$ without moving the lattice. The reachable set is then bounded by three constraints. First, a Lie-algebra calculation on the linearized control operators $\\{\\hat n_j \\hat n_k\\}$ shows that odd-$L$ rings generate the full unitary algebra while even-$L$ rings do not, because site pairs related by inversion $j \\leftrightarrow j+L/2$ carry identical weights for every field orientation. Second, the inversion operator $\\hat I$ endows each EC state with a definite parity, so the even-parity ground state can only reach the even-parity part of the target. Third, the two-boson state $|\\Psi_{\\rm DI}\\rangle = (1/\\sqrt{2L})\\sum_j (-1)^j \\hat a_j^\\dagger \\hat a_j^\\dagger |\\mathrm{vac}\\rangle$ is an eigenstate of the full Hamiltonian with energy $U$ for every orientation, making it a protected, unreachable component; the hard-core projector $P_{\\rm HCB}$ plays the analogous role when strong on-site interactions project out multiply occupied sites.","core_discovery":"The paper establishes that the controllability of a dipolar Bose-Hubbard ring under magnetic-field-orientation control is set entirely by a small number of geometric constraints, and that these constraints are saturated by optimal control. For rings with an odd number of sites the Lie algebra generated by the drift and control operators spans the full unitary group, so any entangled current state is in principle reachable. For even rings, inversion symmetry splits the Hilbert space into parity sectors; starting from the even-parity ground state, only the even-parity component of the target can be prepared, giving $F_{\\max} = \\sum_{k \\in \\Omega} 1/K$ over modes with $Nk$ even, where $K$ is the number of winding modes in $\\Omega$. For two bosons on rings with $L=4,8,12,\\ldots$, an additional protected state $|\\Psi_{\\rm DI}\\rangle$ is an eigenstate for every field orientation, so its overlap with the target must be subtracted, $F_{\\max}=1-|\\langle\\Psi_{\\rm DI}|\\Psi_{\\rm EC}\\rangle|^2$. In the hard-core regime the maximum fidelity for any EC state is $F_{\\max}=L^{-N}L!/(L-N)!$. Gradient-ascent numerical optimizations reach these ceilings in every tested case.","pith_inferences":["Beyond the paper: the inversion-symmetry analysis should carry over to 2D lattice arrays and continuous rings, where the same parity blocking would define reachable-state boundaries; the paper leaves this untested.","Beyond the paper: because the bounds come from density-density operators, they should be nearly independent of the tunneling and on-site interaction strengths for a fixed ring geometry and boson number; a numerical scan of $U/J$ would be a cheap test of that prediction.","Beyond the paper: the protected state $|\\Psi_{\\rm DI}\\rangle$, being immune to the control field, could be used deliberately as a built-in 'dark' resource for error filtering or storage in an atomtronic qubit; the paper does not explore this."],"forward_implications":["Odd-site rings are fully controllable: every EC state, including NOON and W states, can be prepared with unit fidelity.","On even-site rings, the achievable fidelity is exactly the even-parity fraction of the target, computable from the windings in $\\Omega$ before any optimization.","For $N=2$ on rings with $L=4,8,12,\\ldots$, the protected two-boson state lowers the ceiling below the symmetry bound, so perfect NOON-state preparation is impossible there.","With experimental-like strong interactions ($U/J=74$), the physically allowed projected EC states can still be prepared at the hard-core fidelity ceiling $L^{-N}L!/(L-N)!$.","The minimum control time grows almost linearly with $L$, keeping the protocol practical as the ring grows."],"supporting_citations":[{"why":"Defines the entangled current (EC) states used as targets and motivates them as machine-engineered quantum currents.","marker":"[17]"},{"why":"Supplies the GRAPE algorithm used to optimize the field-orientation trajectories.","marker":"[20]"},{"why":"Gives the Lie-algebra controllability criterion used to set an upper bound on the reachable unitary group.","marker":"[47]"},{"why":"Explains how symmetry reduces controllability and defines invariant subspaces, the basis of the parity bound.","marker":"[52]"},{"why":"Introduces the dipolar magnetostirring protocol that this work adapts into an optimal-control state-preparation scheme.","marker":"[38]"},{"why":"Provides experimental extended Bose-Hubbard parameters (U/J=74, U_d/(d^3 J)=1.11) used in the hard-core regime tests.","marker":"[54]"},{"why":"Demonstrates the experimentally available magnetic-field rotation frequencies that make the control schedule feasible.","marker":"[56]"},{"why":"Perron-Frobenius argument used to prove the ground state is even under inversion symmetry.","marker":"[58]"}],"fun_headline_variants":["Odd-site rings fully controllable for entangled currents","Symmetry limits are exactly reachable for ring currents","Magnetic field orientation achieves optimal entangled currents","Optimal control reaches theoretical fidelities for currents","Dipolar ring control hits fidelity bounds for entangled states"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that rotating the field in just two angles can achieve everything that a much wider set of independent interaction knobs could achieve; the paper verifies this saturation numerically only for small rings, up to L=9 and N=3, and does not prove it for larger systems.","fun_headline_variants_meta":{"raw":{"variants":["Odd-site rings fully controllable for entangled currents","Symmetry limits are exactly reachable for ring currents","Magnetic field orientation achieves optimal entangled currents","Optimal control reaches theoretical fidelities for currents","Dipolar ring control hits fidelity bounds for entangled states"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001106,"raw_usage":{"total_tokens":4603,"prompt_tokens":929,"completion_tokens":3674,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":545,"completion_tokens_details":{"reasoning_tokens":3602}},"tokens_in":545,"tokens_out":3674,"duration_ms":28202,"temperature":1.0,"reasoning_tokens":3602,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T11:16:49.835729+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the same optimization on an odd-site ring with $L=11$ or $L=13$ and $N=4$, preparing an EC state not blocked by symmetry: if the best fidelity over many random initial trajectories falls below $0.999$, the claim that symmetry constraints fully determine the controllability limits would be falsified. Equivalently, a laboratory implementation of the optimized polarization schedule on a dipolar ring that systematically misses the ceilings in Eqs. (8), (10), and (11) would reveal an additional constraint.","supporting_citations":[{"cited_title":"Machnes, U","cited_arxiv_id":null,"evidence_quote":"Supplies the GRAPE algorithm used to optimize the field-orientation trajectories."},{"cited_title":"Ramakrishna, M","cited_arxiv_id":null,"evidence_quote":"Gives the Lie-algebra controllability criterion used to set an upper bound on the reachable unitary group."},{"cited_title":"Complete controllability of finite-level quantum systems","cited_arxiv_id":"quant-ph/0102017","evidence_quote":"Explains how symmetry reduces controllability and defines invariant subspaces, the basis of the parity bound."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the dipolar magnetostirring protocol that this work adapts into an optimal-control state-preparation scheme."},{"cited_title":"Quantum Optimal Control via Semi-Automatic Differentiation","cited_arxiv_id":"2205.15044","evidence_quote":"Provides experimental extended Bose-Hubbard parameters (U/J=74, U_d/(d^3 J)=1.11) used in the hard-core regime tests."}],"review_version":1}