{"id":"8925c599-972c-4d27-a7f3-0bf2582d8d6b","arxiv_id":"2607.10518","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.5,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"MMFS of an ideal laser is the RMS of spontaneous-emission phase diffusion and vacuum shot noise; optimized UMZI, FPC, and heterodyne sensors can reach ~sqrt(measurement bandwidth times STL).","lead":"The paper claims the minimum measurable frequency shift of an ideal laser is set by both spontaneous-emission phase diffusion and vacuum-mode shot noise, not the geometric mean of measurement bandwidth and Schawlow-Townes linewidth alone. Optimal operating points for three common sensors can make the vacuum contribution negligible, recovering that geometric mean.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified beyond the reader's already-flagged quadrature-addition step.","rationale":"The central claim is that MMFS = xi Gamma_0 with xi >=1 and that xi can be driven to ~1/sqrt(n_LC) by optimal choice of measurement bandwidth for three common sensors. The only place this claim could fail is if the two noise sources cannot be treated as independent and then combined in RMS fashion. That is precisely the assumption the reader already flagged. The manuscript's analytic steps (phase-diffusion PDF, visibility reduction, hopping-technique SNR, and the CRB appendix) are internally consistent under that assumption, and the paper itself notes that the optimal delays are experimentally extreme. No stronger, previously unremarked flaw (algebraic error, missing term, or contradictory limit) is present. Therefore the existing CONDITIONAL verdict with MODERATE confidence remains appropriate; no adjustment is required.","tokens_in":12931,"tokens_out":467,"duration_ms":5928,"concrete_test":"Re-derive the Cramer-Rao bound of the Appendix starting from a single master equation that retains both spontaneous-emission Lindblad terms and the vacuum input operators of the output coupler; if the resulting bound on frequency estimation still factors as sqrt( (Delta omega_SE)^2 + (Delta omega_VM)^2 ) to leading order in 1/n_LC, the quadrature formula is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest_assumption already isolates the single load-bearing point: whether residual correlations between spontaneous-emission phase diffusion and vacuum-mode shot noise invalidate the clean separation that lets the two contributions be added in quadrature (Eq. 6) and then optimized independently for each sensor (Eqs. 9, 14, 19). Within the paper's own framework the separation is standard (random-walk phase diffusion treated as classical, coherent-state vacuum treated as additive shot noise, CRB recovered in the Appendix), and no internal inconsistency appears. The practical unreachability of the optimal delays (path lengths ~10^6 m or equivalent slow-light) is acknowledged by the authors and does not undermine the formal claim. Thus the concern does not rise above the conditional already issued.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript argues that the minimum measurable frequency shift (MMFS) of a single-mode ideal laser is not simply the geometric mean Γ_{0} = √(γ_m γ_STL) of measurement bandwidth and Schawlow–Townes linewidth. Instead, MMFS is set by the root-mean-square combination of spontaneous-emission phase diffusion and vacuum-mode shot noise (Eq. 6), yielding ξ Γ_{0} where the dimensionless factor ξ can be ≫ 1 for practical sensors. The authors derive the two contributions separately (Secs. 2.1–2.2), combine them, and then optimize ξ for three concrete modalities—unbalanced Mach–Zehnder interferometer (Sec. 3.1), passive Fabry–Perot cavity (Sec. 3.2), and heterodyne detection against a reference laser (Sec. 3.3)—showing that under optimal delay or cavity parameters ξ can be reduced to ~1/√n_LC. An Appendix sketches a Fisher-information/Cramér–Rao argument that recovers the same limits.","tokens_in":13137,"tokens_out":1186,"duration_ms":12031,"significance":"If the quadrature combination and the subsequent optimizations are correct, the work supplies a unified quantum limit that supersedes the conventional Γ_{0} claim of Dorschner et al. and the pure shot-noise FPC formula of Ezekiel & Balsamo. The explicit optimal operating points (delay = 2 \tau_STL for UMZI, \rho = 2 for FPC, SA bandwidth = \tau_STL/2 for heterodyne) and the demonstration that ξ_min ~ 1/√n_LC are concrete, falsifiable predictions that could guide high-precision laser metrology, ring-laser gyroscopes, and ultralight-dark-matter searches. The algebraic consistency of the three sensor calculations and the recovery of known limits in the appropriate regimes are strengths; the practical difficulty of realizing the optimal path lengths is acknowledged and does not diminish the formal result.","major_comments":[{"comment":"Sec. 2.2–2.3 and Eq. (6): the central claim rests on treating spontaneous-emission phase diffusion and vacuum-mode shot noise as independent and adding them in quadrature. The equality case of the number-phase uncertainty relation is invoked only after spontaneous emission has been “separated out,” yet residual correlations between the two processes are not shown to vanish. The Appendix CRB sketch is too brief to close this gap. A short derivation (or citation of a full quantum-optical calculation) demonstrating that the cross term is negligible under the stated ideal-laser assumptions is needed before the optimized ξ values can be regarded as rigorous.","section":null},{"comment":"Sec. 3.2, Eqs. (12)–(17): the FPC optimization yields a global minimum B \to 2.6 at \rho = 2, R \to 1. The analytic reduction of g(R,\rho) and B(R,\rho) for R \to 1 is presented without intermediate steps, and the numerical confirmation in Fig. 4 is shown only for a limited range. Explicit intermediate expressions (or a short supplemental derivation) would allow independent verification of the claimed minimum.","section":null}],"minor_comments":[{"comment":"Throughout: “Schwalow-Townes” is misspelled; the standard spelling is Schawlow–Townes.","section":null},{"comment":"Eq. (1) and surrounding text: the random-walk variance is written σ^{2} = 2 \tau / \tau_STL; a one-sentence reminder that this convention yields the usual Lorentzian half-width γ_STL = 1/(2 \tau_STL) would help non-specialist readers.","section":null},{"comment":"Fig. 4 caption: the asymptotic value ~2.6 is stated but the precise analytic expression 3√3/2 is not written next to the figure; adding it would improve clarity.","section":null},{"comment":"References [24] and [26] are the authors’ own arXiv preprints on slow-light implementations; they are cited only as possible future routes and do not affect the formal claims, but the distinction should be made explicit in the text.","section":null},{"comment":"Sec. 3.1: the numerical example (path difference ~3\times10^8 m) is useful; stating the corresponding free-space delay in the same sentence would make the impracticality immediately transparent.","section":null}],"recommendation":"major_revision","confidential_remarks":"The load-bearing issue is the quadrature-addition assumption already flagged by the reader. If the authors can supply a short, self-contained argument (or a clear reference) that residual correlations vanish for an ideal single-mode laser, the paper becomes a solid contribution; otherwise the central formula remains conditional. The practical unreachability of the optima is not a scientific flaw. Fit for a quant-ph or optics journal is good once the separation is tightened."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real claim here is that the usual MMFS = Γ0 = sqrt(γ_m γ_STL) undercounts the floor once vacuum-mode shot noise is kept, so the practical number is ξ Γ0 with ξ often ≫ 1, but that three common sensors (UMZI, FPC, heterodyne) can be tuned so ξ drops to O(1/sqrt(n_LC)). That is new relative to Dorschner/Ezekiel/Schawlow-Townes, and the algebra is clean.\n\nWhat they do well: the spontaneous-emission random-walk piece (Eqs. 1–2) and the coherent-state number-phase bound (Eq. 4) are textbook; the RMS combination (Eq. 6) is then applied consistently to each modality. The optimized points—τ_D = 2 τ_STL for UMZI, ρ = 2 for FPC, τ_SA = 2 τ_STL for heterodyne—are derived without free parameters and recover the claimed minimum. The Appendix CRB sketch recovers the same limits, which is reassuring. Self-citations are only for slow-light implementations, not load-bearing inputs.\n\nSoft spots are modest. The clean separation that lets the two noises be added in quadrature is the usual quantum-optics move (classical phase diffusion + additive vacuum), but residual correlations could spoil it; the paper does not close that door experimentally or with a full master-equation treatment. The optimal delays are impractically long (~10^6 m or equivalent slow light), which the authors themselves flag, so the formal optimum is more a theoretical bound than a lab recipe. No data or numerics, so everything rests on the model.\n\nThis is for people who design laser gyros, cavity dark-matter searches, or optical-frequency sensors and who still quote the pure Schawlow-Townes floor. It deserves a serious referee; the math is reproducible and the literature gap is real. I would send it out.","headline":"Solid incremental correction of the laser MMFS floor: vacuum shot noise can dominate, and three sensors can be optimized back to ~Γ0 when delay ~ τ_STL.","tokens_in":13740,"tokens_out":508,"would_cite":true,"duration_ms":5352,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"The true quantum floor for measuring a laser's frequency shift is set by spontaneous emission and vacuum shot noise together, not by the Schawlow-Townes geometric mean alone.","keywords":["minimum measurable frequency shift","Schawlow-Townes linewidth","phase diffusion","vacuum shot noise","unbalanced Mach-Zehnder","Fabry-Perot cavity","heterodyne detection","quantum limit"],"falsifier":"Build an unbalanced interferometer or high-finesse Fabry-Perot whose free-spectral-range delay equals twice the laser coherence time and measure whether the observed frequency floor falls to the pure spontaneous-emission value Γ_{0} rather than remaining at the larger vacuum-dominated value predicted by the conventional shot-noise formula.","tokens_in":13843,"feed_emoji":"⚛️","tokens_out":861,"duration_ms":11086,"temperature":0.7,"pith_summary":"Conventional treatments claim that the smallest frequency shift one can resolve in a single-mode laser is simply the geometric mean of the measurement bandwidth and the Schawlow-Townes linewidth. This paper argues that claim is incomplete. The actual minimum measurable frequency shift (MMFS) always contains two contributions: phase diffusion from spontaneous emission into the lasing mode, and photon-number shot noise from the vacuum that accompanies a coherent state. Their root-sum-square combination yields a factor ξ that multiplies the familiar geometric mean; under ordinary laboratory conditions ξ is often much larger than one, so the true floor is higher than previously assumed. By optimizing the delay time of an unbalanced interferometer, the decay time of a Fabry-Perot cavity, or the resolution bandwidth of a heterodyne spectrum analyzer, the authors show that ξ can be driven down to roughly 1 over the square root of the mean photon number inside the laser cavity, recovering the pure spontaneous-emission limit. The result matters for every precision sensor that tracks laser frequency—ring-laser gyroscopes, dark-matter cavity searches, and frequency standards—because it both explains why some experiments have under-performed the old formula and supplies the design rules needed to approach the ultimate quantum floor.","feed_headline":"Laser frequency floor is two noises, not one","feed_subtitle":"Spontaneous emission plus vacuum shot noise set the true limit; optimized sensors can still reach the pure phase-diffusion floor.","key_machinery":"The combined MMFS formula Δω_MIN = ξ Γ_{0} (Eq. 6), obtained by adding the spontaneous-emission and vacuum contributions in quadrature after the number-phase uncertainty relation is applied to the coherent-state component; optimization of the measurement-system bandwidth then drives the prefactor ξ to its global minimum.","core_discovery":"The MMFS of a single-mode ideal laser is the root-sum-square of two independent uncertainties: the spontaneous-emission phase-diffusion term Γ_{0} = √(γ_m γ_STL) and a vacuum-mode shot-noise term that equals ε Γ_{0} with ε ≥ γ_S / γ_LC. The overall factor ξ = √(1+ε^{2}) can therefore be ≫1 for practical sensors, yet can be minimized to ~1/√n_LC when the single-measurement integration time is tuned to approximately the laser coherence time.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Laser MMFS set by phase diffusion plus vacuum shot noise","Quantum laser frequency limit is root-sum-square of two noises","MMFS equals geometric mean of bandwidth and ST linewidth times ξ","Optimized laser sensors reach near pure phase-diffusion floor","True minimum measurable frequency shift needs both spontaneous and shot noise"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The two noise sources can be treated as statistically independent so that their contributions simply add in quadrature after the number-phase uncertainty equality is imposed on the coherent-state part alone.","fun_headline_variants_meta":{"raw":{"variants":["Laser MMFS set by phase diffusion plus vacuum shot noise","Quantum laser frequency limit is root-sum-square of two noises","MMFS equals geometric mean of bandwidth and ST linewidth times ξ","Optimized laser sensors reach near pure phase-diffusion floor","True minimum measurable frequency shift needs both spontaneous and shot noise"]},"model":"grok-4.5","effort":"low","cost_usd":0.004642,"raw_usage":{"total_tokens":1323,"prompt_tokens":728,"num_sources_used":0,"completion_tokens":85,"cost_in_usd_ticks":46420000,"prompt_tokens_details":{"text_tokens":728,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":510,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":728,"tokens_out":85,"duration_ms":4313,"temperature":1.0,"reasoning_tokens":510,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T11:06:00.536689+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Build an unbalanced interferometer or high-finesse Fabry-Perot whose free-spectral-range delay equals twice the laser coherence time and measure whether the observed frequency floor falls to the pure spontaneous-emission value Γ_{0} rather than remaining at the larger vacuum-dominated value predicted by the conventional shot-noise formula.","supporting_citations":[],"review_version":1}