{"id":"2cb5411f-e88c-406b-a3ce-415c3197a366","arxiv_id":"2411.17211","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The critical population bias and critical time of a two-junction atomic superfluid ring both modulate periodically with rotation speed at period Ω0/2, providing two new observables for rotation sensing.","lead":"This paper develops a theoretical model of a rotating ring of superfluid atoms split by two weak junctions, and shows that the boundary between self-trapping and Josephson oscillation shifts periodically with the rotation speed. The authors propose the critical population bias and the critical time as practical rotation-sensing observables for atomtronic devices.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (7) violates the Euler–Lagrange equations of the stated ansatz: the printed m± equations are internally inconsistent by a term ∝ K2 Z² sin(...), so the Zc and tc figures rest on an incorrect dynamical system.","rationale":"Reader's weakest assumption targets the six-variable ansatz; that is a legitimate concern about the closure of the model. However, there is a more immediate and more decisive problem that does not require testing the ansatz: the printed equations of motion do not satisfy the variational principle from which they are claimed to follow. The residual term is first order in K2 and proportional to Z², and it is nonzero in the exact regime used in the figures (e.g., K2=0.01E0, Zc≈0.14–0.3). Because Zc and tc are defined by numerical integration of these equations, the central quantitative claim is computed from a dynamical system different from the one derived in Sec. II. In good faith, this may be a correctable algebraic error rather than a fatal conceptual flaw; the qualitative periodic modulation could survive a corrected derivation. But as written, the manuscript's main result is not verifiable. This is why I recommend 'UNVERDICTED' rather than 'REJECT' or 'CONDITIONAL': until Eq. (7) is corrected and the figures recomputed, the rotation-sensing claim cannot be assessed. I partially agree with the reader: they identified the derivation gap for Eqs. (7) as a concern, but their stated weakest assumption (spatial deformation of the ansatz) is downstream; the printed equations fail even under the ansatz.","tokens_in":8787,"tokens_out":37782,"duration_ms":325604,"concrete_test":"Independently derive the Euler–Lagrange equations for m+ and m− from Eqs. (5)–(6) with symbolic algebra (e.g., Mathematica or SymPy), keeping all 1−Z² factors. If the resulting constraints are as above, evaluate them at the parameters of Fig. 3 (K1=K2=0.01E0, \tilde U=1, Z=0.14) and compare the printed Eq. (7): the two forms differ by −[8√(1−Z²)K2 Z²/(ℏΩ0)] sin(Φ+πm+/2). Then rerun the numerical protocol of Fig. 3 with the corrected equations and check whether the peak spacing of Zc(Ω) remains Ω0/2; if the corrected curves shift or lose the periodicity, the rotation-sensing claim fails.","verdict_should_be":"UNVERDICTED","load_bearing_attack":"Varying L in Eq. (6) with the ansatz of Eq. (5) gives two algebraic constraints for m±. In the notation of Eq. (7), they are m+ + Z m− = 4Ω/Ω0 + [8√(1−Z²)K2/(ℏΩ0)] sin(Φ+πm+/2) + 2πŻ/Ω0 and m− + Z m+ = 4ΩZ/Ω0. Eliminating m− between them yields m+ = 4Ω/Ω0 + {[8√(1−Z²)K2/(ℏΩ0)] sin(Φ+πm+/2) + 2πŻ/Ω0}/(1−Z²), and similarly m− = −Z{...}/(1−Z²). The printed Eq. (7) divides only the Ż term by 1−Z², leaving the K2 term un-divided. Substituting the printed expressions back into the first constraint leaves a residual −[8√(1−Z²)K2 Z²/(ℏΩ0)] sin(Φ+πm+/2). Thus the system actually integrated in Figs. 2–5 is not the Euler–Lagrange system of the model, independent of whether the six-variable ansatz itself is valid. All subsequent predictions—the Ω0/2 periodic modulation of Zc and the critical-time modulation—are therefore not established by this manuscript.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a mean-field model for an atomic superfluid quantum interference device (ASQUID) with two tunable Josephson junctions, using a six-parameter ansatz for the condensate wave functions in the two half-rings. From the resulting equations of motion, the authors numerically compute the critical population bias Zc that separates self-trapping from Josephson oscillations, and find that Zc is periodically modulated by the rotation rate Ω with period Ω0/2. They also study asymmetric junctions and time-dependent junctions, introducing a second observable, critical time tc, with the same period. The paper proposes Zc and tc as practical rotation sensors and argues that symmetric junctions are preferable to asymmetric ones.","tokens_in":9091,"tokens_out":20913,"duration_ms":134693,"significance":"If the central results were correct, the paper would provide a concrete and potentially useful scheme for rotation sensing in ring-geometry Bose–Einstein condensates, with two experimentally accessible observables (Zc and tc) and a simple analytical framework. The model is transparent and the numerics are straightforward to reproduce. However, the significance is strongly undercut by three issues: the equations of motion are not derived and appear inconsistent with the stated action principle; the central observable Zc is defined through a numerical threshold with no specified tolerance; and the only experimental comparison is a single value of Ω0 with about 15% agreement. These issues prevent the current manuscript from establishing the claimed periodic-modulation effect.","major_comments":[{"comment":"Equation (7) is not the Euler–Lagrange system derived from the ansatz (5) and the Lagrangian (6). Varying the Lagrangian with respect to m1 and m2 gives two algebraic constraints for m±. In the notation of Eq. (7), these constraints are m+ + Z m− = 4Ω/Ω0 + [8K2/(ℏΩ0)]√(1−Z²) sin(Φ + πm+/2) + 2πŻ/Ω0 and m− + Z m+ = 4ΩZ/Ω0. Substituting the printed expressions for m+ and m− from Eq. (7) into the first constraint leaves a residual 8K2 Z²/(ℏΩ0)√(1−Z²) sin(Φ + πm+/2). Thus the dynamical system actually integrated in Figs. 2–5 is not the model described in Sec. II, and all subsequent predictions for Zc and tc are not established. A corrected derivation of the equations of motion is required before the numerical results can be trusted.","section":"Sec. II, Eq. (7)"},{"comment":"The critical population bias Zc is defined operationally by a numerical threshold: Z(0)=0.14 gives self-trapping while Z(0)=0.139 gives Josephson oscillations, and Zc is then quoted as 0.139. The manuscript does not specify the tolerance or the precise criterion used to distinguish the two regimes. Because the periodic modulation in Fig. 3 is the central claim, it must be demonstrated that the period and peak positions are independent of the chosen tolerance rather than artifacts of the numerical definition.","section":"Sec. III, Fig. 2"},{"comment":"The only quantitative comparison to experiment is a single measurement of the fundamental rotation rate Ω0, which agrees with Eq. (8) at the 15% level. No experimental or independent numerical comparison is provided for the predicted periodic modulation of Zc or tc. The claim that these quantities can serve as practical rotation sensors therefore remains unvalidated; the modulation is predicted entirely within the same model used to define the observables.","section":"Sec. III, after Eq. (8)"}],"minor_comments":[{"comment":"Both panels in Fig. 4 are labeled (a); the second panel should be labeled (b). In addition, the text says 'In Fig.4 (a) we set K2 = 0.01E0' but the caption indicates that panel (a) fixes K1, so the text likely should refer to Fig. 4(b).","section":"Sec. IV, Fig. 4"},{"comment":"References [14] and [20] are identical (both are G. D. Pace et al., Phys. Rev. X 12, 041037 (2022)); one of them should be removed or replaced.","section":"References"},{"comment":"The title contains a typo: 'tuna ble' should be 'tunable'.","section":"Title"},{"comment":"The text states that the equations of motion are obtained by 'Straight forward calculation' but provides no intermediate steps. Given the inconsistency noted above, a full derivation (or a supplementary file with the derivation) is essential for verification.","section":"Sec. II, Eq. (7)"}],"recommendation":"major_revision","confidential_remarks":"The core problem is that Eq. (7) does not follow from the stated variational principle, so the entire numerical study is built on an incorrect dynamical system. This is a load-bearing error that can potentially be fixed by a correct derivation and re-running the numerics, but the current manuscript does not support its central claims. I recommend major revision rather than reject because the underlying idea is plausible and the numerical observations of periodicity might survive with the corrected equations, but the authors must also tighten the definition of Zc and provide experimental or independent validation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"I read the Tan–Liu ASQUID paper. The new idea is to use the critical population bias Zc and the critical time tc as rotation readouts for an isolated two-junction ring BEC, and the claim that both show periodic modulation with period Ω0/2. That is a sensible extension of two-mode Josephson physics, and the paper does a nice job of distinguishing the isolated-superfluid case from a conventional DC SQUID. The comparison to the Ryu et al. experiment for Ω0 (15% agreement) is a useful sanity check.\n\nThe problem is Eq. (7). The paper says \"straightforward calculation yields\" those equations, but they are not the Euler–Lagrange equations of the ansatz in Eq. (5). Varying the Lagrangian with respect to m1 and m2 gives two algebraic constraints. In the paper's own variables, the correct constraints are\n\nm+ + Z m− = 4Ω/Ω0 + (8√(1−Z²)K2/(ℏΩ0)) sin(Φ + π m+/2) + 2π Ż/Ω0,\nm− + Z m+ = 4ΩZ/Ω0.\n\nSolving these for m± gives the K2 term divided by √(1−Z²); the printed Eq. (7) has it multiplied by √(1−Z²). Substituting the printed expressions back into the first constraint leaves a residual proportional to K2 Z² sin(...). So the dynamical system actually integrated in Figs. 2–5 is not the model's dynamics. Every quantitative result—the Ω0/2 period of Zc, the critical-time modulation, the asymmetric-junction gaps—is therefore unsupported.\n\nI don't think this is a matter of interpretation. The paper claims a derivation and provides no intermediate steps, which is exactly why this slipped through. The operational definition of Zc is also fuzzy: it is picked from a threshold between Z(0)=0.14 and 0.139, with no tolerance specified. That is minor next to the equation bug, but it will need tightening.\n\nWho should care: atomtronics experimentalists interested in rotation sensing will find the proposal intuitive, but they should not trust the numerics until the equations are corrected and the scans re-run. The paper is not a desk reject: the idea is new and the framework is close to something usable. Send it to referees, but the referee should be asked to verify Eq. (7) from first principles. I would expect the authors to fix the algebraic error and re-examine whether the periodic modulation survives.","headline":"The rotation-sensing observables are worth a thought, but Eq. (7) does not follow from the paper's own Lagrangian, so the numeric results are not established.","tokens_in":9588,"tokens_out":22268,"would_cite":false,"duration_ms":154818,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that the critical population bias and the critical time of a ring-shaped atomic superfluid interferometer both respond to rotation with a fixed period, providing practical rotation-sensing observables.","keywords":["atomtronics","ASQUID","Josephson junctions","rotation sensing","critical population bias","self-trapping","tunneling Hamiltonian","ring Bose-Einstein condensate"],"falsifier":"A direct check is to simulate the same ring and barriers with the full one-dimensional Gross-Pitaevskii equation and locate the self-trapping-to-Josephson-oscillation boundary as a function of angular velocity; if the peak spacing of that boundary is not $\\Omega_0/2$, or if the boundary shifts with ramp history, the ansatz-based reduction is wrong. Experimentally, one could measure $Z_c$ for initial phase near $\\pi/2$ over $\\Omega$ from $0$ to $2\\Omega_0$ in a ring Bose-Einstein condensate and look for the predicted periodic modulation.","tokens_in":8603,"feed_emoji":"🌀","tokens_out":5781,"duration_ms":52519,"temperature":0.7,"pith_summary":"This paper develops an analytical theory for an atomic superfluid quantum interference device (ASQUID), a ring-shaped Bose-Einstein condensate divided by two weak links, and uses it to find observables for rotation sensing. The central result is that the critical population bias $Z_c$, the initial imbalance at which the system switches between self-trapped and Josephson-oscillating behavior, oscillates periodically with the rotation angular velocity, with adjacent peaks separated by $\\Omega_0/2$. The same period appears in a second observable, the critical time $t_c$, when the junctions are ramped up adiabatically. A reader should care because an ASQUID is an isolated neutral-atom system in which the usual DC-SQUID current readout is hard to observe; these two quantities give practical readouts tied directly to the fundamental rotation scale $\\Omega_0$.","feed_headline":"Critical population bias repeats every Ω0/2","feed_subtitle":"Critical time shows the same periodic signal, giving a practical rotation readout for atomic superfluid rings.","key_machinery":"The load-bearing object is the time-dependent plane-wave ansatz of Eq. (5), $\\psi_i(\\theta,t)=\\sqrt{n_i(t)}e^{i(m_i(t)\\theta+\\alpha_i(t))}$, which assumes that turning on the weak links only lets the density, winding number, and phase of each half-ring condensate evolve without changing the functional form of the wave function. Substituted into the Lagrangian for a uniformly rotating ring and varied with respect to the six collective variables, it produces the coupled equations of motion (7). These equations generate both the critical population bias and the critical time; in the limit of very weak symmetric links and frozen imbalance they reduce to $I=I_c\\sin\\Phi$ with $I_c\\propto\\cos(2\\pi\\Omega/\\Omega_0)$, the superfluid interference current relation that is the direct analogue of the conventional SQUID.","core_discovery":"The paper claims that in an isolated ring-trap ASQUID with two Josephson junctions, rotation imprints itself in the threshold between dynamical regimes rather than in a steady current. Starting from the tunneling Hamiltonian and a plane-wave ansatz for each half-ring condensate, the authors derive a closed set of equations of motion for the population imbalance, relative phase, and winding numbers. Solving these, they find that the critical population bias $Z_c$ is periodically modulated by the angular velocity with period $\\Omega_0/2$, and that the same period appears in the critical time $t_c$ defined by an adiabatic ramp of the junction strengths. They also show that symmetric junctions preserve the clean two-peak structure better than asymmetric ones, that initial relative phases near $\\pi/2$ or $3\\pi/2$ give the most sensitive response, and that the model reduces to the familiar sinusoidal superfluid interference current in the weak-link limit.","pith_inferences":["Beyond the paper's symmetric-versus-asymmetric comparison, the gap that opens at $\\Omega=(n+0.75)\\Omega_0$ when one junction is weaker suggests that deliberately detuning the two barriers could isolate a single junction's phase response, a testable route to local junction diagnostics.","Because $\\Omega_0$ scales inversely with trap area, the predicted periodicity could double as an in-situ calibration of the ring radius or the atomic mass, not only as a rotation readout.","The critical-time protocol is the more promising candidate for a practical atomtronic gyroscope, since a single adiabatic run returns a rotation value, whereas finding $Z_c$ requires repeated preparation of different initial conditions."],"forward_implications":["Symmetric junctions preserve the two adjacent peaks separated by $\\Omega_0/2$, while junction asymmetry blurs them and lowers the rotation-sensing sensitivity.","The sensitivity is set by the fundamental rotation rate $\\Omega_0=h/(m\\pi r_0^2)$, so increasing the ring radius $r_0$ improves the detectable angular-velocity scale.","Initial relative phases near $\\pi/2$ or $3\\pi/2$ give clear peak structure across the full rotation range, whereas phases near $0$ or $\\pi$ produce flat, insensitive regions.","When the junction strengths are ramped adiabatically, the critical time $t_c$ shows the same $\\Omega_0/2$ periodicity and can be found in a single experimental run, unlike $Z_c$ which requires many runs with different initial imbalances.","The model reduces to the standard superfluid interference current $I=I_c\\sin\\Phi$ in the weak symmetric limit, connecting the ASQUID rotation response to the established SQUID analogue."],"supporting_citations":[{"why":"Supplies the definition of the self-trapping and Josephson-oscillation regimes and the critical population bias that the paper uses as its main observable.","marker":"[15]"},{"why":"Provides the experimental observation of rotation response in a double-junction ring and the measured fundamental rotation rate used to benchmark $\\Omega_0$.","marker":"[8]"},{"why":"Gives the superfluid quantum interference current form to which the model reduces in the weak-link limit.","marker":"[22]"},{"why":"Demonstrates the Josephson effect in a double-junction ASQUID, the experimental setup the model is built around.","marker":"[5]"},{"why":"Provides the conventional SQUID current expression whose magnetic-field coupling is replaced by rotation in the ASQUID analogue.","marker":"[23]"}],"fun_headline_variants":["Rotation encoded in critical bias of atomic superfluid ring","Atomic interferometer detects rotation via critical time","Tunable junctions yield periodic rotation signal in ASQUID","Critical bias and time rotation sensing in atomic rings"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the ansatz of Eq. (5): when the weak links are switched on, the wave function in each half-ring keeps the plane-wave form $\\sqrt{n_i(t)}e^{i(m_i(t)\\theta+\\alpha_i(t))}$, so six collective variables capture all the dynamics; if the condensate deforms, nucleates vortices, or excites higher modes, the equations of motion and the predicted $\\Omega_0/2$ periodicity fail.","fun_headline_variants_meta":{"raw":{"variants":["Rotation encoded in critical bias of atomic superfluid ring","Atomic interferometer detects rotation via critical time","Tunable junctions yield periodic rotation signal in ASQUID","Critical bias and time rotation sensing in atomic rings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000566,"raw_usage":{"total_tokens":2660,"prompt_tokens":899,"completion_tokens":1761,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":515,"completion_tokens_details":{"reasoning_tokens":1699}},"tokens_in":515,"tokens_out":1761,"duration_ms":12899,"temperature":1.0,"reasoning_tokens":1699,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:22:31.739700+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct check is to simulate the same ring and barriers with the full one-dimensional Gross-Pitaevskii equation and locate the self-trapping-to-Josephson-oscillation boundary as a function of angular velocity; if the peak spacing of that boundary is not $\\Omega_0/2$, or if the boundary shifts with ramp history, the ansatz-based reduction is wrong. Experimentally, one could measure $Z_c$ for initial phase near $\\pi/2$ over $\\Omega$ from $0$ to $2\\Omega_0$ in a ring Bose-Einstein condensate and look for the predicted periodic modulation.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the definition of the self-trapping and Josephson-oscillation regimes and the critical population bias that the paper uses as its main observable."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the superfluid quantum interference current form to which the model reduces in the weak-link limit."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the conventional SQUID current expression whose magnetic-field coupling is replaced by rotation in the ASQUID analogue."}],"review_version":1}