{"id":"e845329a-7644-424d-b94f-bfca9e2c1732","arxiv_id":"2507.01188","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"A cavity-based readout can non-destructively detect Josephson oscillations and integer plus half-integer Shapiro steps in a ring-shaped atomic condensate.","lead":"This paper proposes a way to watch atoms sloshing between two halves of a ring-shaped cloud of ultracold atoms without destroying the cloud, using light in an optical cavity to read out the motion. The light signal shows regular plateaus (Shapiro steps), including half-integer ones, which could help build atom-based sensors and quantum devices.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claim that cavity-output peak splitting Δω equals the Josephson frequency is verified only in the undriven case; if this mapping fails under periodic drive, the reported fractional Shapiro plateaus may be readout artifacts rather than Josephson phenomena.","rationale":"The paper's central claim is a measurement protocol: the cavity-output phase-quadrature spectrum should reveal the Josephson frequency as a peak splitting, and under periodic barrier driving this splitting should exhibit integer and half-integer Shapiro plateaus. The reader's weakest-assumption analysis identifies precisely the most load-bearing point: the equality Δω = ω_J is validated only in the undriven case, while the driven and rotated cases—where the fractional Shapiro steps are claimed—never check Δω against the atomic tunneling-current spectrum. My independent reading agrees. The concern is not an external disagreement or a stylistic issue; it is a correctness risk internal to the argument. If the mapping fails under drive, then Fig. 4(b)-(c) and SM7-SM9 would still show plateaus in a cavity spectral feature, but they would not demonstrate Josephson synchronization. The paper does contain real supporting evidence: a direct GPE+cavity simulation, one direct undriven validation of the mapping, a fidelity check showing nondestructiveness in that case, and an RCSJ consistency check. The RCSJ comparison, however, is fitted to the same GPE data and uses Δμ/ℏ rather than Δω, so it cannot independently certify the optical readout. No code is provided, but that is a reproducibility limitation rather than the decisive flaw. The proposed concrete test—comparing Δω with the Fourier peak of the atomic current and with the time-averaged chemical potential difference in a driven, rotating run—would settle whether the fractional Shapiro plateaus are genuine. Because the fix is straightforward and the undriven result suggests the protocol is plausible, conditional acceptance remains the appropriate verdict; the concern strengthens the condition rather than overturning the paper.","tokens_in":16454,"tokens_out":7123,"duration_ms":88438,"concrete_test":"Re-run one integer-plateau case (Ω′ = 0, fm = 60 Hz, e.g. fbar/fc ≈ 1) and one half-integer-plateau case (Ω′ = 0.5, fm = 70 Hz, e.g. fbar = 0.47 Hz) from Fig. 4/SM8. In each run, compute I(t) = d(N2 − N1)/dt from the GPE wavefunction and take its Fourier transform to extract the dominant atomic Josephson frequency ω_J^atom; also compute Δμ(t) = μ2 − μ1 and its time average. Compare these with the cavity-output Δω reported as in Fig. 4. If Δω differs from ω_J^atom (or from Δμ̄/ℏ) by more than the spectral resolution (~2 Hz for the time window used), the readout mapping fails under drive. If the atomic current spectrum has no dominant component at fm (integer case) or fm/2 (half-integer case) while Δω shows those values, the plateaus are artifacts of the optical readout rather than Shapiro steps.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central identification is that the cavity-output phase-quadrature peak splitting Δω equals the atomic Josephson frequency ω_J. This is directly checked exactly once, in Fig. 2(d)-(e), for the undriven case fbar = 0.77 Hz, Ω′ = 0. All subsequent claims—the DC/AC transition in Fig. 3, the flux-periodic modulation in the Fig. 4(a) inset, and especially the integer and fractional Shapiro plateaus in Fig. 4(b)-(c) and SM7-SM9—read the Shapiro steps off Δω without ever comparing Δω to the actual tunneling-current spectrum I(t) = dN/dt from the same driven GPE run. The RCSJ comparison in SM6 is not an independent validation: its parameters (Ic, R, C) are fitted to the undriven GPE in SM5, and its y-axis is Δμ/ℏ, not the cavity-derived Δω, so it validates the GPE's voltage response, not the optical readout mapping. The barrier-position modulation at fm directly modulates the condensate density and hence the cavity field, so the sideband splitting under drive could in principle be dominated by drive-induced sidebands rather than by Josephson oscillations synchronized to fm (or fm/2). Until Δω is checked against the atomic oscillation spectrum in a driven, rotating configuration, the fractional Shapiro steps are not established as Josephson phenomena.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a nondestructive, in-situ, real-time optical readout of Josephson dynamics in a ring-shaped Bose-Einstein condensate with two rotating weak links (an AQUID), based on coupling the condensate to an optical cavity driven by Laguerre-Gaussian beams. The authors simulate the coupled stochastic Gross-Pitaevskii and cavity-field equations and show that the power spectrum of the phase quadrature of the cavity output exhibits a splitting whose magnitude equals the Josephson frequency in the undriven case. They then use this splitting as a proxy for the DC voltage across the junction to detect the DC-AC Josephson transition, the flux-periodic modulation of the critical current, and integer and half-integer Shapiro steps under periodic modulation of the barrier positions. The central claim is that this cavity readout provides a direct, nondestructive probe of Josephson oscillations and Shapiro steps, including fractional steps that have not yet been observed in cold atoms.","tokens_in":16712,"tokens_out":5070,"duration_ms":52436,"significance":"If the central identification holds under periodic drive, this would be a valuable contribution: it offers a realistic, experimentally motivated protocol for time-resolved detection of Josephson dynamics and Shapiro steps without destructive time-of-flight imaging or atom-number measurement. The simulations use plausible parameters for a 23Na ring condensate, and the undriven result in Fig. 2—where the cavity spectral splitting equals the independently computed Josephson frequency—is a clean and convincing proof of principle for that single parameter set. The extension to integer and half-integer Shapiro plateaus is an intriguing and potentially important prediction, especially because fractional Shapiro steps are highlighted as unobserved in ultracold gases. However, the manuscript does not yet provide sufficient evidence that the cavity splitting continues to track the atomic Josephson frequency under the periodic drive and rotation that generate the plateaus, and it lacks uncertainty quantification for the stochastic simulations.","major_comments":[{"comment":"The central mapping Δω = ω_J is validated only for the undriven case (Fig. 2(d)-(e), fbar = 0.77 Hz, Ω' = 0). For the driven, rotating runs that produce the integer and half-integer plateaus, the paper never compares Δω against the atomic tunneling-current spectrum I(t) = dN/dt from the same GPE simulation. Since the barrier modulation at frequency f_m directly modulates the condensate density and hence the cavity field, a splitting at f_m or f_m/2 in the cavity spectrum could in principle be a drive-induced sideband rather than evidence of Josephson oscillations synchronized to the drive. Please add, for representative points on the plateaus (e.g., the three half-integer points in SM9(a)-(c) and the integer points in SM9(d)-(f)), the Fourier spectrum of I(t) from the same driven run, and show that its dominant frequency equals the reported Δω.","section":"Observing Shapiro steps; Fig. 4(b)-(c); SM9"},{"comment":"All results appear to be from single stochastic trajectories of Eqs. (1)-(2) with delta-correlated noises ξ and α_in. No ensemble averaging, error bars, or noise-seed sensitivity is reported. The claims that the spectral peaks are 'well above the noise floor' and that the step heights H1 vary systematically with Ω' and f_m need uncertainty quantification to be convincing. I request ensemble averages over several noise realizations (or, at minimum, a sensitivity study) for the key curves: Fig. 4(b)-(c) and SM7-SM8.","section":"Eqs. (1)-(5); Fig. 4; SM7-SM9"},{"comment":"The RCSJ comparison does not independently validate the optical readout: the parameters Ic, R, and C are fitted to the undriven GPE data in SM5, and the y-axis in SM6 is Δμ/ℏ rather than the cavity-derived Δω. The RCSJ agreement therefore confirms the GPE's voltage response, but it leaves open whether Δω continues to equal the Josephson frequency under periodic drive. Closing this gap requires the check requested in the first major comment, or an analytic argument why the cavity sideband splitting tracks the synchronized Josephson frequency under drive.","section":"SM5-SM6"}],"minor_comments":[{"comment":"There are typographical errors: 'measurmement' should be 'measurement', and 'In this work We consider' should be 'In this work, we consider'.","section":"Abstract"},{"comment":"The step height H1 is used in the insets but never explicitly defined; please state how H1 is extracted from the plateau curves, and clarify whether the vertical axis Δω/fm is the same quantity as H1.","section":"Fig. 4(b)-(c) and SM7"},{"comment":"The units of the phase-quadrature spectrum S(ω) are labeled as 1/Hz, but the spectrum is computed from |Im[α_out(ω)]|^2; please specify the normalization or state that the vertical scale is arbitrary.","section":"Fig. 2(e)"},{"comment":"The red dashed line marking ω_J = 34.2×2π Hz in panel (e) is difficult to discern in the printed rendering; please make the marker explicit in the caption or on the plot.","section":"Fig. 2"},{"comment":"The optical detuning is written as Δ_c − U0⟨cos^2(ℓϕ)⟩_τ; a brief explanation of the sign convention for Δ_c and how it relates to the effective cavity detuning used in the simulations would improve readability.","section":"Eq. (2)"},{"comment":"The prefactor (i − Γ) multiplying dψ/dτ is unusual for a stochastic Gross-Pitaevskii equation; a short derivation or a reference to the convention used would help the reader reproduce the noise and damping implementation.","section":"Eq. (1)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's abstract and conclusion contain broad claims about metrology standards and quantum computation that go beyond what is demonstrated. If the requested validation of the Δω = ω_J mapping under drive and the uncertainty quantification are added, the paper would be a solid contribution to atomtronics and cavity optomechanics. The lack of a check against the atomic current spectrum under drive is the main technical hurdle; without it, the fractional Shapiro-step plateaus could be readout artifacts."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The real contribution here is a simulated cavity-readout protocol: the phase-quadrature spectrum of the cavity output shows a peak splitting that tracks the Josephson frequency, and the authors use that splitting to extract integer and half-integer Shapiro steps in a ring-condensate AQUID. If it works in the lab, it replaces destructive time-of-flight detection with a real-time, in situ signal. That is a useful enabling step for atomtronics, not a field reshaper, and the paper deserves credit for it.\n\nThe undriven demonstration is clean. For fbar = 0.77 Hz they show the cavity splitting Δω = 34.2 × 2π Hz matches the Fourier peak of the atomic tunneling current, and the fidelity plot supports the nondestructive claim. The DC-to-AC transition and the appearance of plateaus at integer multiples of the drive in the driven case are plausible, and the half-integer steps at half-flux quantum are a nice analogue of the DC SQUID result. The citation pattern is fine; they build on their own persistent-current work and cite the relevant cold-atom Shapiro-step papers.\n\nNow the soft spots. The load-bearing identification Δω = ωJ is checked exactly once, in the undriven case. In every driven or rotating run, the plateaus are read straight off the cavity spectrum without ever comparing Δω to the atomic tunneling-current spectrum from the same GPE simulation. That matters because the barrier-position modulation directly modulates the optical lattice and hence the cavity field; drive-induced sidebands could masquerade as Josephson splitting. The RCSJ comparison in SM6 is not an independent validation—Ic, R, and C are fitted to the same GPE data in SM5, and the plotted quantity is Δμ/ℏ, not the cavity-derived Δω. There are also no error bars or ensemble averages on the stochastic GPE-cavity runs, so we don't know how robust the plateaus are to noise. The abstract's line about challenging the conventional wisdom that quantum computations cannot be observed without being destroyed is overreach; the paper demonstrates readout of Josephson oscillations, not a quantum computation.\n\nThese are fixable, not fatal. The fix is straightforward: in a driven, rotating configuration, compute I(t) = dN/dt from the same run and confirm that the splitting in the cavity spectrum matches the Josephson peak in the atomic current. Also report statistics over a few noise realizations. Who is this for? Experimental cold-atom and atomtronics groups, and cavity-QED theorists. It deserves a serious referee; with the missing check supplied, it would be a solid PRL-class proposal.","headline":"A genuinely useful nondestructive cavity-readout proposal for atomtronic Josephson dynamics, with one load-bearing check missing: the mapping from peak splitting to Josephson frequency is only verified in the undriven case and is assumed under periodic drive.","tokens_in":17302,"tokens_out":1551,"would_cite":true,"duration_ms":19290,"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":"This paper proposes a nondestructive, in situ, real-time optical readout in which the splitting of cavity-output sideband peaks equals the Josephson frequency, revealing integer and half-integer Shapiro steps in a ring condensate.","keywords":["Josephson effect","Shapiro steps","fractional Shapiro steps","cavity optomechanics","ring Bose-Einstein condensate","atomtronic SQUID","nondestructive measurement","phase quadrature readout"],"falsifier":"Run the driven simulation at $\\Omega'=0.5$ with modulation frequency $f_m=70$ Hz, compute the cavity-output peak splitting $\\Delta\\omega$ and the Fourier peak of the atomic tunneling current $I(t)=dn/dt$ for the same barrier velocities, and check whether the $\\Delta\\omega$ values at the claimed half-integer plateaus (e.g. $f_{\\mathrm{bar}}=0.5$ Hz) coincide with the actual Josephson frequency; a disagreement would show that the spectral plateaus do not represent Shapiro steps.","tokens_in":1833,"feed_emoji":"⚛️","tokens_out":2568,"duration_ms":61565,"temperature":0.7,"pith_summary":"The authors aim to establish that the Josephson dynamics of a ring-shaped Bose-Einstein condensate with optical barriers can be read out nondestructively from the light leaving an optical cavity. They claim the cavity-output phase-quadrature spectrum develops a peak splitting equal to the Josephson oscillation frequency, so the AC and DC Josephson effects become visible without measuring atom number or destroying the gas. They further claim that periodically modulating the barriers produces plateaus in this splitting at integer multiples of the modulation frequency, and that rotating the barriers at half a flux quantum produces half-integer plateaus, i.e. fractional Shapiro steps. If correct, this gives cold-atom Josephson systems a metrology-style readout and a route to observing fractional Shapiro steps for the first time in ultracold gases.","feed_headline":"Cavity light reveals fractional Shapiro steps without destroying atoms","feed_subtitle":"Peak splitting in the cavity output tracks Josephson oscillations, with half-integer plateaus at half-flux rotation.","key_machinery":"The central observable is the phase-quadrature spectrum of the cavity output field, $S(\\omega)=|\\mathrm{Im}[\\alpha_{\\mathrm{out}}(\\omega)]|^2$, whose peak splitting $\\Delta\\omega$ is claimed to track the Josephson frequency. The dynamics are governed by a coupled Gross-Pitaevskii equation for the condensate wave function and a cavity-field equation, with two moving optical barriers acting as weak links; rotating the barriers in the co-rotating frame imposes a flux-quantization condition on the phase differences across the two junctions, and periodic barrier motion $\\phi_{b1,2}=\\pm(2\\pi f_{\\mathrm{bar}})t+\\phi_i\\sin(2\\pi f_m t)$ plays the role of the external microwave drive that produces Shapiro steps.","core_discovery":"The paper claims that in a ring condensate coupled to an optical cavity, the power spectrum of the phase quadrature of the cavity output, $S(\\omega)=|\\mathrm{Im}[\\alpha_{\\mathrm{out}}(\\omega)]|^2$, exhibits sideband peaks whose splitting $\\Delta\\omega$ equals the Josephson frequency $\\omega_J=\\Delta\\mu/\\hbar$ set by the chemical-potential difference across the junctions. Moving the two Josephson barriers toward each other creates that potential difference and triggers coherent population oscillations; the oscillating atomic current modulates the cavity field, splitting the spectral peaks by $\\omega_J$. The authors verify this mapping in the undriven case against the Fourier spectrum of the atomic tunneling current, and then use the same spectral splitting to identify the DC-to-AC Josephson transition, integer Shapiro steps under periodic barrier modulation, and half-integer Shapiro steps when the barrier pair is rotated at half the flux-quantum rotation rate $\\Omega'=0.5$.","pith_inferences":["The identification of Shapiro steps rests on the assumption that $\\Delta\\omega=\\omega_J$ persists under periodic barrier modulation and rotation; this equality is explicitly checked only for the undriven case, so a direct comparison against the atomic tunneling-current spectrum under drive would settle whether the plateaus are genuine.","Because the paper hints that asymmetric barriers or higher-harmonic modulation could access other fractions, the same cavity readout may generalize to $1/3$, $1/4$, or other rational Shapiro plateaus.","A nondestructive, in situ Josephson-frequency readout could be adapted to monitor the state of an atomtronic persistent-current qubit during operation, although the paper does not demonstrate a full qubit readout.","The phase-quadrature approach may transfer to other Josephson platforms such as momentum-space or supersolid condensates, where destructive measurement is equally limiting."],"forward_implications":["A Josephson oscillation frequency can be measured in real time without destructive time-of-flight imaging or counting atoms in each half-ring.","The onset of peak splitting marks the DC-to-AC Josephson transition, giving a spectral signature of the critical barrier velocity.","Plateaus in $\\Delta\\omega/f_m$ at integer values of the modulation frequency constitute integer Shapiro steps observable through the cavity output.","Rotating the atomtronic ring at $\\Omega'=0.5$ produces plateaus at half-integer multiples of $f_m$, i.e. fractional Shapiro steps not yet seen in cold atoms.","The periodic variation of $\\Delta\\omega$ with rotation rate, with period one flux quantum, provides a nondestructive rotation-sensing signal analogous to a SQUID magnetometer."],"supporting_citations":[{"why":"Introduces Shapiro steps as the phase-locking signature of a Josephson junction driven by an external periodic field, the phenomenon this protocol seeks to detect.","marker":"[25]"},{"why":"Demonstrates AC and DC Josephson effects in a Bose-Einstein condensate and defines the tunneling-current Fourier analysis used here as a benchmark.","marker":"[13]"},{"why":"Establishes the experimental realization of Josephson junctions in an atomtronic SQUID, the physical platform the cavity-coupled ring geometry builds on.","marker":"[15]"},{"why":"Provides the theoretical model of Shapiro steps in driven atomic Josephson junctions whose plateau structure the authors compare against.","marker":"[26]"},{"why":"Reports the experimental observation of integer Shapiro steps in an ultracold atomic Josephson junction, the cold-atom precedent this work extends to fractional steps.","marker":"[27]"},{"why":"Supplies the superconducting DC-SQUID observation of half-integer Shapiro steps that motivates the half-flux-quantum rotation condition for fractional plateaus.","marker":"[30]"},{"why":"Establishes the cavity-optomechanical detection scheme for persistent currents in a ring condensate on which the present phase-quadrature readout is built.","marker":"[54]"},{"why":"Provides the cavity optomechanics framework and input-output relations used to define the measured cavity-output field.","marker":"[58]"}],"fun_headline_variants":["Cavity light spies fractional Shapiro steps","Cavity probe tracks half-integer Shapiro steps","Nondestructive light spots fractional Shapiro steps","Cavity light exposes half-integer Shapiro steps","Fractional Shapiro steps exposed by cavity light"],"cache_read_input_tokens":19328,"weakest_assumption_plain":"The protocol assumes that the cavity-output peak splitting equals the atomic Josephson frequency in every driven and rotating configuration, but this equality is explicitly verified against the tunneling-current spectrum only in the undriven case.","fun_headline_variants_meta":{"raw":{"variants":["Cavity light spies fractional Shapiro steps","Cavity probe tracks half-integer Shapiro steps","Nondestructive light spots fractional Shapiro steps","Cavity light exposes half-integer Shapiro steps","Fractional Shapiro steps exposed by cavity light"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001615,"raw_usage":{"total_tokens":6417,"prompt_tokens":925,"completion_tokens":5492,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":541,"completion_tokens_details":{"reasoning_tokens":5422}},"tokens_in":541,"tokens_out":5492,"duration_ms":41611,"temperature":1.0,"reasoning_tokens":5422,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T20:57:55.822533+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the driven simulation at $\\Omega'=0.5$ with modulation frequency $f_m=70$ Hz, compute the cavity-output peak splitting $\\Delta\\omega$ and the Fourier peak of the atomic tunneling current $I(t)=dn/dt$ for the same barrier velocities, and check whether the $\\Delta\\omega$ values at the claimed half-integer plateaus (e.g. $f_{\\mathrm{bar}}=0.5$ Hz) coincide with the actual Josephson frequency; a disagreement would show that the spectral plateaus do not represent Shapiro steps.","supporting_citations":[{"cited_title":"Shapiro, Josephson currents in superconducting tun- neling: The effect of microwaves and other observations, Phys","cited_arxiv_id":null,"evidence_quote":"Introduces Shapiro steps as the phase-locking signature of a Josephson junction driven by an external periodic field, the phenomenon this protocol seeks to detect."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Demonstrates AC and DC Josephson effects in a Bose-Einstein condensate and defines the tunneling-current Fourier analysis used here as a benchmark."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the experimental realization of Josephson junctions in an atomtronic SQUID, the physical platform the cavity-coupled ring geometry builds on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the theoretical model of Shapiro steps in driven atomic Josephson junctions whose plateau structure the authors compare against."},{"cited_title":"Bernhart, M","cited_arxiv_id":null,"evidence_quote":"Reports the experimental observation of integer Shapiro steps in an ultracold atomic Josephson junction, the cold-atom precedent this work extends to fractional steps."},{"cited_title":"Vanneste, C","cited_arxiv_id":null,"evidence_quote":"Supplies the superconducting DC-SQUID observation of half-integer Shapiro steps that motivates the half-flux-quantum rotation condition for fractional plateaus."},{"cited_title":"Kumar, T","cited_arxiv_id":null,"evidence_quote":"Establishes the cavity-optomechanical detection scheme for persistent currents in a ring condensate on which the present phase-quadrature readout is built."}],"review_version":1}