{"id":"08e4be02-894f-43e6-addd-07b0eb8fa62b","arxiv_id":"2509.09807","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Coherent-state pulses with frequency equal to half the spontaneous emission rate achieve the optimal per-photon quantum Fisher information of 4 for dipole-moment estimation in the long-pulse limit.","lead":"This paper works out the best light-pulse shapes for measuring the dipole moment of a two-level atom from the light it scatters. For long pulses, a sine wave whose frequency is half the atom's natural decay rate gives the highest possible precision per photon, and the same bound holds for a detuned plane wave under periodic conditions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the long-pulse optimal-QFI result is internally consistent; the leading practical caveat is the explicit Gamma_perp = 0 assumption, which is a boundary of the model rather than a flaw in the derivation.","rationale":"The reader's weakest_assumption identifies Gamma_perp = 0, which is indeed the main threat to practical applicability and is explicitly flagged in the manuscript. I agree that this is the softest point of the paper as a guide to experiments, and I also agree that the complex-pulse arbitrary-width claim is numerical rather than proven. However, the central claim is explicitly conditioned on the lossless model, and within that model the derivation is coherent and corroborated by the single-photon comparison and the released code. The verdict of ACCEPT with moderate confidence is appropriate; my stress-test does not reveal an internal inconsistency or an unsupported step in the long-pulse theorem itself. I would therefore keep the verdict unchanged rather than upgrade to a conditional acceptance, since the lossless assumption is not an unstated or hidden premise.","tokens_in":39824,"tokens_out":27993,"duration_ms":212405,"concrete_test":"For a representative lossy case, set Gamma_perp = c Gamma_parallel with, say, c = 0.1 and recompute the optimal pulse for a fixed photon number using the tensor-network/MPO method of Refs. [33-35]. Compare the optimal frequency and the maximum QFI per photon with the Gamma_perp = 0 result; if the optimal frequency shifts by more than the linewidth, the lossless assumption is material to the claimed optimal waveform.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is a limit theorem derived under the explicitly stated condition Gamma_perp = 0 (Eq. 4, Fig. 1). Within that model, the double-sided master equation of Ref. [32] applies, and the perturbation-theoretic diagonalization in Appendices H and I supports the bound Gamma^2 F_infty/alpha^2 = 4 and the sine/plane-wave optima. The derivation is long but internally consistent, and the single-photon comparisons provide independent support. The real limitation is the lossless assumption itself: if Gamma_perp > 0, the accessible scattered light is no longer described by the two-sided master equation, so the QFI of the measured field and the optimizing waveform can change. The authors acknowledge this in the conclusion. This does not undermine the idealized theorem, but it does bound the claim's direct experimental applicability. A separate, peripheral overclaim is that complex pulses of arbitrary width also reach the value 4; this is based on numerical optimization, not proof, and should not be read as part of the rigorous long-pulse result.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies quantum-limited estimation of the dipole moment (spontaneous emission rate Γ) of a two-level atom coupled to a one-dimensional waveguide, when the probe is a coherent-state pulse and all emitted light is assumed accessible (Γ⊥=0). The main technical contribution is a set of coupled ordinary differential equations whose solution directly gives the global quantum Fisher information (QFI), avoiding finite-difference evaluation of the double-sided master equation. The authors analyze standard pulse shapes, derive analytic QFI expressions in the short- and long-pulse-width limits, and show that in the long-pulse limit the QFI per unit photon is at most 4. Under closed boundary conditions f(0)=f(T)=0 the optimizer is the harmonic sin(Γt/2) (with a detuning phase in the complex case), and under periodic boundary conditions it is the plane wave with frequency δ±Γ/2. Numerical optimization in harmonic and Hermite-Gaussian bases supports the value 4 in the long-pulse regime. The paper is careful to state that the lossless assumption is a boundary of the model and that a full treatment of losses is left for future work.","tokens_in":39927,"tokens_out":10633,"duration_ms":98964,"significance":"If the results hold, the paper provides a practically useful and analytically tractable prescription for waveform optimization in waveguide-QED spectroscopy, and it establishes a clean connection between coherent-state and single-photon pulse limits. The derivation is detailed and mostly self-contained: the ODE system is derived in Appendix B, the perturbation theory in Appendix F, and the kernel diagonalizations in Appendices H and I. The work uses no fitted constants, and the numerical results are supported by publicly available code. The main limitation is the explicit Γ⊥=0 assumption, which is acknowledged in the conclusion and bounds direct experimental applicability without undermining the idealized theorem. The paper is an honest mix of analytic limit theorems and numerical evidence, and the central long-pulse claim appears internally consistent.","major_comments":[],"minor_comments":[{"comment":"The stated optimal pulse is written inconsistently across the paper: Sec. IV D gives sqrt(2α²/T) sin(πt/2T), Sec. V gives sqrt(2/T)e^{-iδt} sin(Γt/2), and Appendix H4 gives sqrt(2α/T) sin(Γt/2). Only the form with sqrt(2α²/T) is consistent with the normalization ∫|f(t)|²dt=α² used in Eq. (13). The correct long-pulse optimal pulse should be sqrt(2α²/T) sin(Γt/2) for closed boundaries, and the text should state this normalization explicitly in every occurrence.","section":"Sec. IV D, Sec. V, App. H4"},{"comment":"For f(t)=sqrt(2α²/T) sin(Γt/2) to satisfy the closed boundary condition f(T)=0, the width must satisfy ΓT/2 = nπ for some integer n. The manuscript does not state this condition when presenting the optimal pulse for the long-pulse limit; please add this qualification so that the asymptotic statement is precise.","section":"Sec. IV D and App. H4"},{"comment":"The sentence 'In other words, the optimal pulse is given by ... with the maximum QFI, F∞/α²=4' overstates the result for arbitrary pulse width. The value 4 for complex pulses of arbitrary width is obtained from numerical optimization, not from the perturbation-theoretic proof that precedes it. Please qualify this statement as a numerical observation or restrict the definitive claim to the long-pulse limit.","section":"Sec. V, paragraph after Eq. (61)"},{"comment":"Appendix E is introduced as showing that Fp/α² is positive and bounded above by 4, but the appendix only proves positivity; the upper bound is established later in Appendix H1. Please adjust the cross-reference so that readers are not misled about where each part of the claim is proven.","section":"App. E"},{"comment":"Reference [49] is cited as 'in preparation' and cannot be checked. Please replace it with a published version or remove it from the bibliography.","section":"References"}],"recommendation":"minor_revision","confidential_remarks":"The derivation is sound within its stated model, and the required changes are local corrections and qualifications rather than new derivations. I see no concern about citation practice beyond the unverifiable 'in preparation' reference. The paper is within the scope of the journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe headline: for estimating a two-level atom's dipole moment with coherent pulses in a lossless waveguide, the paper works out the QFI exactly via a small set of ODEs and shows that in the long-pulse limit the per-photon QFI caps at 4, attained by f(t)=sqrt(2/T) sin(Gamma t/2) for real pulses (e^{-i delta t} times that with detuning) and by a plane wave with omega = delta ± Gamma/2 under periodic boundary conditions. The claim is supported by detailed appendices, and the real-pulse optimum matching the single-photon result from Albarelli et al. is a good check, not a flaw.\n\nWhat's genuinely new is the ODE formulation itself: computing the QFI without finite differences, plus the analytic treatment of short and long pulse limits and the extension to complex pulses and detuning. The paper is honest that the real-pulse long-time optimum coincides with the known single-photon optimum. The derivations in Appendices B, F, H, I are long but internally consistent, and the code is available; no fitted parameters or post-hoc exclusions appear.\n\nThe soft spots are real but manageable. First, the model assumes Gamma_perp = 0, i.e., all scattered light is collected. If any significant emission is lost, the measured-field QFI and the optimal waveform can change. The authors acknowledge this at the end, but it does bound direct experimental reach. Second, the statement in Sec. V that complex pulses of arbitrary width also achieve 4 is from finite-basis numerical optimization, not a proof. It may well be true, but it shouldn't be presented as part of the rigorous long-pulse theorem. Third, the proof of the universal 4 bound relies on the imported [32] QFI formula for two-sided master equations; that's standard, but the paper doesn't re-derive it. Those are minor caveats, not load-bearing flaws.\n\nWho benefits: people working in pulsed quantum spectroscopy and waveform optimization; also anyone who wants a finite-difference-free route to QFI for coherent-state waveguide QED. I'd send it out for peer review with a request to qualify the arbitrary-width complex-pulse claim and to add a sentence or two on what happens when Gamma_perp > 0. A serious referee can check the appendices; the algebra is dense but reproducible.","headline":"A careful, internally consistent ODE-based treatment of optimal coherent-state pulses for dipole estimation; the long-pulse theorem (QFI per photon ≤ 4 with sine/plane-wave optima) holds, with the lossless assumption and a numerically grounded claim about arbitrary-width complex pulses as the main caveats.","tokens_in":40544,"tokens_out":2252,"would_cite":true,"duration_ms":279666,"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":"A half-cycle sine pulse maximizes the precision with which a coherent light pulse can reveal an atom's dipole moment, reaching a per-photon quantum Fisher information of 4.","keywords":["quantum Fisher information","dipole moment estimation","coherent states","waveguide quantum electrodynamics","optical Bloch equations","pulse shaping","quantum sensing","spontaneous emission rate"],"falsifier":"Run the paper's ODE system for a long, lossless pulse expanded in many harmonic coefficients and optimize the coefficients: if any mixture yields $F_\\infty/\\alpha^2 > 4$, the central bound is wrong. An experiment that estimates the dipole moment with a per-photon precision better than the corresponding 4-per-photon QFI would also refute it; introducing a small loss rate $\\Gamma_\\perp>0$ and checking whether the sine pulse remains optimal would test the load-bearing lossless assumption.","tokens_in":39534,"feed_emoji":"🎯","tokens_out":11140,"duration_ms":86330,"temperature":0.7,"pith_summary":"The paper asks which temporal shape of a weak coherent light pulse best reveals the dipole moment of a two-level atom, i.e. its spontaneous emission rate $\\Gamma$, from the light the atom scatters. It derives a closed set of coupled ordinary differential equations whose solution gives the quantum Fisher information, the figure of merit that bounds estimation precision, directly and without finite-difference approximations. In the long-pulse limit the per-photon quantum Fisher information is bounded by 4, and the bound is reached by a pulse whose envelope is a half-cycle sine at frequency $\\Gamma/2$, with a phase set by detuning; with periodic boundary conditions the same value comes from a plane wave at frequency $\\delta \\pm \\Gamma/2$. This matters because it identifies both the ultimate precision limit and the explicit waveform that attains it for an experimentally relevant coherent-state probe.","feed_headline":"Half-sine pulse maximizes dipole-estimation precision","feed_subtitle":"Per-photon quantum Fisher information reaches 4; the optimal coherent pulse shape is sin(Γt/2) with a detuning phase.","key_machinery":"The central object is the generalized atomic density operator $\\mu_{\\theta_1,\\theta_2}(t)$, evolved under the double-sided master equation, whose trace gives the fidelity between two copies of the system with different parameter values; the QFI is obtained as the second derivative of that fidelity with respect to the parameter shift. The paper's main technical step is to convert that second derivative into a closed system of coupled real ODEs (four ODEs for real pulses, eight in general), whose solutions give the QFI directly and which contain the optical Bloch equations as a subsystem. In the long-pulse limit the QFI becomes a bilinear form in the pulse shape, and diagonalizing the associated kernel in a harmonic basis yields eigenvalues $64\\tilde n^2/(4\\tilde n^2+1)^2$; the largest eigenvalue is 4 and occurs at $\\tilde n=1/2$, i.e. frequency $\\omega=\\Gamma/2$. A three-term decomposition $F=F_p+F_z+F_x$ isolates the only potentially negative contribution $F_x$, which the optimal pulse cancels.","core_discovery":"The paper claims that for a two-level atom in a one-dimensional waveguide driven by a coherent-state pulse, with no losses and full access to the scattered light, the quantum Fisher information per input photon for estimating the atom's dipole moment saturates at 4 in the long-pulse limit. The waveform that reaches this value is $f(t)=\\sqrt{2/T}\\,e^{-i\\delta t}\\sin(\\Gamma t/2)$ when the pulse is required to vanish at its endpoints; under periodic boundary conditions the same value is obtained by a plane wave $f(t)=\\sqrt{\\alpha/T}\\,e^{i(\\delta\\pm\\Gamma/2)t}$. For real pulses with zero detuning the optimal shape is $\\sqrt{2/T}\\sin(\\Gamma t/2)$, and the per-photon QFI matches the single-photon QFI; for complex pulses a fourth-order term makes the coherent-state result differ from the single-photon result. The paper also establishes a set of coupled ODEs whose solution gives the QFI directly, decomposes the QFI into two positive contributions and one potentially negative contribution, and shows that in the short-pulse limit the rectangular pulse is optimal.","pith_inferences":["The same ODE reduction could be applied to estimating other atomic parameters, such as detuning or coupling strength, where the optimal waveform may differ from the dipole-moment one.","Because $F_x$ is the only negative contribution, waveforms engineered to keep $x(t)$ small, for example by avoiding sign flips, may be near-optimal in finite-width settings even when the exact sine shape is not reachable.","Adding a small loss rate $\\Gamma_\\perp>0$ is the immediate stress test: the paper's bound assumes perfect collection of scattered light, and the optimal pulse may need to be re-optimized when emission into unobserved modes is included.","The equality with single-photon QFI for real pulses suggests the per-photon optimum is set by the atom's excitation amplitude rather than by photon statistics; probes with non-classical light could reveal whether the bound changes."],"forward_implications":["The per-photon QFI bound of 4 means that, in the lossless long-pulse regime, no coherent pulse shape can improve dipole-estimation precision beyond a fixed amount per photon; adding photons is the only linear scaling lever.","The explicit optimal waveform gives a recipe: shape a coherent pulse as a half-cycle sine at frequency $\\Gamma/2$ (with a detuning phase) to saturate the bound.","Allowing complex pulse phases and detuning does not increase the achievable QFI per photon; real pulses already reach the same bound in the closed-boundary case.","The new ODE system replaces finite-difference QFI evaluation, so pulse optimization and multi-parameter estimation can be performed stably for arbitrary pulse shapes.","For very short pulses the rectangular pulse is optimal, and at large photon number the standard pulse families all approach the same per-photon QFI, so the precise shape matters less in that regime."],"supporting_citations":[{"why":"Defines the single-photon dipole-estimation QFI and its optimal pulse, which the coherent-state result generalizes and matches for real pulses.","marker":"[18]"},{"why":"Supplies the complex single-photon QFI formula whose fourth-order term the paper shows differs from the coherent-state result.","marker":"[19]"},{"why":"Shows how Fisher information for continuous measurements can be obtained from the two-sided master equation.","marker":"[31]"},{"why":"Provides the generalized density operator evolution from which the QFI is obtained as a second derivative.","marker":"[32]"},{"why":"Establishes the Mollow transformation expressing a coherent drive as a classical field plus vacuum interaction.","marker":"[39]"},{"why":"Gives the scattering-into-waveguides formalism for coherently driven quantum-optical systems.","marker":"[40]"},{"why":"Derives the coarse-grained master equation used to reduce the waveguide interaction to an atomic Lindblad equation.","marker":"[41]"}],"fun_headline_variants":["Half-sine pulse yields max dipole precision per photon","Optimal pulse: sin(Γt/2) for dipole estimation QFI","Plane wave optimal for dipole sensing with periodic BCs","QFI per photon saturates at 4 for optimal waveforms"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The calculation assumes the atom emits only into the measured waveguide mode ($\\Gamma_\\perp=0$), so all scattered light is collected; if any emission is missed, the QFI bound and the optimal waveform could change.","fun_headline_variants_meta":{"raw":{"variants":["Half-sine pulse yields max dipole precision per photon","Optimal pulse: sin(Γt/2) for dipole estimation QFI","Plane wave optimal for dipole sensing with periodic BCs","QFI per photon saturates at 4 for optimal waveforms"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000429,"raw_usage":{"total_tokens":2195,"prompt_tokens":950,"completion_tokens":1245,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":566,"completion_tokens_details":{"reasoning_tokens":1172}},"tokens_in":566,"tokens_out":1245,"duration_ms":10640,"temperature":1.0,"reasoning_tokens":1172,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:58:48.047531+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the paper's ODE system for a long, lossless pulse expanded in many harmonic coefficients and optimize the coefficients: if any mixture yields $F_\\infty/\\alpha^2 > 4$, the central bound is wrong. An experiment that estimates the dipole moment with a per-photon precision better than the corresponding 4-per-photon QFI would also refute it; introducing a small loss rate $\\Gamma_\\perp>0$ and checking whether the sine pulse remains optimal would test the load-bearing lossless assumption.","supporting_citations":[{"cited_title":"Albarelli, E","cited_arxiv_id":null,"evidence_quote":"Defines the single-photon dipole-estimation QFI and its optimal pulse, which the coherent-state result generalizes and matches for real pulses."},{"cited_title":"Darsheshdar, A","cited_arxiv_id":null,"evidence_quote":"Supplies the complex single-photon QFI formula whose fourth-order term the paper shows differs from the coherent-state result."},{"cited_title":"Gammelmark and K","cited_arxiv_id":null,"evidence_quote":"Shows how Fisher information for continuous measurements can be obtained from the two-sided master equation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the generalized density operator evolution from which the QFI is obtained as a second derivative."},{"cited_title":"Mollow, Pure-state analysis of resonant light scattering: Radiative damping, saturation, and multiphoton effects, Physical Review A12, 1919 (1975)","cited_arxiv_id":null,"evidence_quote":"Establishes the Mollow transformation expressing a coherent drive as a classical field plus vacuum interaction."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the scattering-into-waveguides formalism for coherently driven quantum-optical systems."},{"cited_title":"Fischer, Derivation of the quantum-optical master equation based on coarse-graining of time, Journal of Physics Communications2, 091001 (2018)","cited_arxiv_id":null,"evidence_quote":"Derives the coarse-grained master equation used to reduce the waveguide interaction to an atomic Lindblad equation."}],"review_version":2}