{"id":"f6639f7f-157f-48ac-a7c4-6d8084d4ca9c","arxiv_id":"2506.19003","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a squeezed bosonic sensor, fixed winding number n caps QFI at T^{4n+6}, while letting n grow with time attains the optimal exponential law F ~ e^{ΓωT} with Γ≈0.9745 via phase-dependent on-off control.","lead":"This paper derives a precision-time tradeoff in critical quantum metrology: the winding number of the probe's phase-space path sets how fast quantum Fisher information can grow. It gives a simple on-off control that reaches the optimal exponential growth, even away from the critical point and with thermal noise.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3's exponential bound is derived from the large-squeezing asymptotic model; the proof does not rule out larger exponents in the exact finite-r dynamics, so the 'fundamental' upper bound is not established.","rationale":"The reader's weakest assumption identifies the large-squeezing approximation as the least secure point, and I agree. The strongest claim is the exponential fundamental bound, and the proof of that bound is the least secure part of the paper. Theorem 3 is proved by maximizing the approximate large-r expression; it is not derived from the exact equations of motion, and the exact equations contain an r-dependent term (coth(2r) in φ̇) that is dropped before the optimization. Since the central claim is that no protocol can beat the exponent, the absence of an upper bound for the exact control system is a genuine gap. The paper has independent support: Theorems 1, 2, and 4 are proven from the exact equations, and the exact simulations in Fig. 2 support saturation of the proposed protocol. However, those simulations check a specific on-off schedule, not the optimality over all controls at finite r. The corrupted passage in the proof of Lemma 3 further blocks verification of the on-off optimality proof. These are correctness-risk issues, not merely disagreements with consensus, so they justify a conditional rather than an unconditional verdict. The proposed numerical optimal-control test would settle whether the finite-r corrections change the exponent or only complicate the proof.","tokens_in":29653,"tokens_out":16125,"duration_ms":185106,"concrete_test":"Solve the exact optimal-control problem for the full equations (Eq. 5) and the exact QFI (Eq. 6) for increasing total times, e.g. ωT = 20, 40, 80, 160, over piecewise-constant controls ε(t)∈[0,ω] with a modest number of switching times, and extract the large-T slope of log Fω vs T. If the slope exceeds Γω≈0.9745ω (equivalently r/T>0.2436ω), the asymptotic model is not an upper bound and Theorem 3 fails. If the slope is consistent with Γ, the finite-r gap reduces to a missing proof detail rather than a false claim.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim needing the most support is Theorem 3's assertion that Fω(T)∝e^{ΓωT}, Γ≈0.9745, is the fundamental scaling bound. The proof in Appendix D maximizes r(T,Φ) using the large-squeezing reduction of Appendix C (Eq. C1), namely coth(2r)→1 and θ̇→0. This is an optimization inside a reduced asymptotic model, not an upper bound for the original control system (Eq. 5). The exact phase equation is φ̇=2ω−ε(1−coth(2r)cosφ); for all finite r, coth(2r)>1, so the phase velocity in regimes where cosφ<0 is smaller than in the r→∞ model. A control could in principle exploit this to obtain more squeezing per cycle than the asymptotic expression r(T,Φ)=∫(2ω/φ̇−1)cot(φ/2)/2 dφ allows. No exchange-of-limits argument shows that all finite-r corrections contribute only O(1) over the whole time T; the text simply assumes r≫1 after a finite time. Additionally, the proof of the on-off optimality Lemma 3 contains an unreadable corrupted passage in Appendix C, so the optimality of the saturating schedule cannot be checked from the manuscript. The fixed-n polynomial bounds (Theorems 1, 2, 4) and the exact simulations are independent support, but they do not establish the exponential upper bound for arbitrary controls.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies the time-dependent quadratic bosonic Hamiltonian H(t)=ωa†a−ε(t)(a†+a)²/4 with 0≤ε(t)≤ω, starting from the vacuum state. It derives Gaussian dynamics for the squeezing parameter r and phase φ, and a closed-form expression for the quantum Fisher information. The central claims are Theorem 1 (fixed winding number n gives Fω≤c_n T^{4n+6+o(1)}), Theorem 2 (monotonically increasing ε cannot exceed T⁶), Theorem 3 (optimal winding number n≈0.169ωT yields Fω∝e^{ΓωT} with Γ≈0.9745), Theorem 4 (away from criticality, fixed n gives bounded squeezing and only T² QFI), Theorem 5 (exponential scaling with exponent Γ(εmax)), and Theorem 6 (dissipative exponent Γ(εmax)ω/2−γ). An on-off control depending on the phase is constructed to saturate the predicted scaling.","tokens_in":29955,"tokens_out":4968,"duration_ms":53887,"significance":"If the exponential bound is rigorously established, the paper provides a unified, parameter-free scaling theory for critical quantum metrology and an explicit, experimentally plausible protocol, unifying previous T⁴, T⁶, and periodic-driving results. The proofs of Theorems 1, 2, and 4 are detailed and internally consistent; the constants Γ≈0.9745 and n≈0.169ωT are derived from the displayed optimization equations and then confirmed by independent exact numerical simulation, with no fitted parameters. The main weakness is that the exponential 'fundamental limit' is proven only inside a large-squeezing asymptotic reduction, not as an upper bound for the original exact control system; this gap is load-bearing for the central claim.","major_comments":[{"comment":"The proof of Lemma 3, which establishes that the on-off schedule maximizes r(T,Φ), contains an unreadable corrupted expression at Eq. (C11). The text between Eq. (C10) and Eq. (C12) is not a valid mathematical derivation, so the optimality of the saturating protocol cannot be checked from the manuscript. Since Lemma 3 underlies both the fixed-n optimal protocol and the exponential-saturation claim, this must be repaired or replaced with a readable proof.","section":"Appendix C, Lemma 3 and Eq. (C11)"},{"comment":"The proof of Theorem 3 maximizes r(T,Φ) within the large-squeezing reduced model: coth(2r)→1 and θ̇≈0 (Eq. (C1) and main-text Eq. (10)). This is an optimization inside an asymptotic model, not an upper bound for the exact control system (Eq. (5)/(A15)). For every finite r, coth(2r)>1, which changes the phase equation and can in principle allow different squeezing-per-cycle behavior; no exchange-of-limits argument is given to show that all finite-r corrections contribute only O(1) over the full time T. Therefore the claim that Γ≈0.9745 is the fundamental exponential exponent for arbitrary admissible controls is not rigorously established. The exact simulations in Fig. 2 demonstrate that the specific on-off protocol achieves the claimed scaling, but they do not establish global optimality.","section":"Appendix D, proof of Theorem 3, Eqs. (D3)-(D9); main text Eq. (10)"},{"comment":"The same asymptotic-model issue affects Theorem 5 and the dissipative exponent. In Theorem 5, Γ(εmax) is obtained by maximizing Eq. (D19), which is derived from the large-squeezing expression for r(T,Φ) and the modified boundary condition; no proof is given that the exact finite-r dynamics cannot produce a larger exponent. In Theorem 6, the dissipative bound relies on reparameterizing s=(γt+ln(µ sinh 2r))/2 and then invoking the closed-system asymptotic scaling; again, corrections at finite r and the passage from s to r assume the r≫1 limit without a rigorous error estimate over the entire evolution time. These theorems should be restated as asymptotic optimization results within the reduced model, or supplemented with a rigorous finite-r upper bound, to support the phrase 'fundamental scaling limit.'","section":"Appendix D, proof of Theorem 5 and Theorem 6, Eqs. (D18)-(D20) and (D34)-(D47)"},{"comment":"The paper's abstract and Theorem 3 are phrased as fundamental bounds ('cannot exceed,' 'scaling bound'), while the proof establishes only achievability and optimality within the on-off class in the large-squeezing limit. The manuscript should either sharpen the proof to a genuine upper bound over all admissible controls or explicitly qualify the theorem as an asymptotic achievability and saturation result for the constructed protocol, with the fundamental-bound status clearly separated.","section":"General"}],"minor_comments":[{"comment":"'For larger limit' should read 'For the large squeezing limit, r≫1.'","section":"Appendix C, first sentence"},{"comment":"'we obatin' is a typo and should be 'we obtain.'","section":"Appendix D, after Eq. (D27)"},{"comment":"The two hypothetical Lindbladians are both written as L1; the second should be L2 for the construction to be understandable.","section":"Appendix D, proof of Lemma 4, around Eqs. (D52)-(D54)"},{"comment":"The displayed quantity Fω≈4|∫ dt sinh2(2r)| is confusing: Eq. (6) gives Fω=2|∫ dt sinh(2r)e^{iθ}|², so the intended expression is presumably 4|∫ dt sinh(2r)|² or an equivalent squared form; please correct the notation.","section":"Main text, after Eq. (13)"},{"comment":"The factor structure in Lemma 4 is stated as Fω(ρ(T))≤4T∫dt sinh²2r(t), but the derivation passes through B(ρ(t), i[ρ(t),a†a]) and Eq. (D74); the final factor is plausible, but the intermediate constants should be checked for consistency with the standard definition of B.","section":"Appendix D, Eq. (D32) and (D73)-(D75)"}],"recommendation":"major_revision","confidential_remarks":"The paper is likely correct in its achievability claims and its fixed-winding-number bounds, but the headline 'fundamental scaling limit' for the exponential exponent is not yet proven for the exact control system. I recommend major revision rather than rejection because the gap appears fixable either by a rigorous finite-r exchange-of-limits argument or by honestly reframing Theorems 3, 5, and 6 as asymptotic results for the on-off protocol. The corrupted Eq. (C11) must also be repaired before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague — you should know two things about this paper. First, it gives a genuinely new organizing principle: the winding number of the phase-space trajectory unifies the polynomial T^4/T^6 results and the prior exponential result in critical quantum metrology for the quadratic fully-connected bosonic model. Second, the headline exponential bound Γ≈0.9745 is derived inside a large-squeezing asymptotic reduction, not proven as an upper bound for the exact finite-r dynamics. The word \"fundamental\" overstates what is currently proven.\n\nThe fixed-winding-number bound (Theorem 1: F ≤ c_n T^{4n+6+o(1)}) and the monotonic-control no-go (Theorem 2: no more than T^6) are detailed, self-contained, and I found no gap. Theorem 4, the away-from-critical-point bounded-squeezing result, also checks out. The on-off protocol is simple and explicit, and the numerics in Fig. 2 use the exact equations (5)-(6), not the asymptotic reduction, so the achievable scaling is on solid ground. The constants Γ and n≈0.169ωT are derived from optimizing the asymptotic equations and then confirmed by exact simulation; there are no fitted parameters. The benchmark against Ref. [32] and the reported improvement by a factor of about seven are fair.\n\nSoft spots, in proportion. The first is exactly what the stress-test flagged: Theorem 3's \"ultimate bound\" is an optimization inside the r≫1 model (Appendix C, Eq. C1: coth 2r→1, θ̇→0). The exact phase equation has coth(2r)>1, so finite-r corrections could in principle be exploited to squeeze more per cycle than the asymptotic model allows. No exchange-of-limits argument is given. The claim that Γ≈0.9745 is the fundamental exponent is therefore a conjecture supported by strong numerics, not a proven upper bound. It should be labeled as such or proven. Second, the proof of optimality of the on-off schedule (Lemma 3, Appendix C) contains a corrupted, unreadable expression at Eq. (C11). A referee cannot verify that step from the manuscript. This is fixable but it must be fixed.\n\nThe citation pattern is fine; self-citations are background model inputs. The paper is worth serious refereeing — the winding-number framework and the fixed-n polynomial bounds are durable contributions even if the exponential optimality gets weakened. I would send it to review, with instructions to the authors to repair Appendix C and to state precisely what Theorem 3 does and does not prove.","headline":"A genuinely new winding-number framework for QFI scaling in critical quantum metrology, with solid fixed-n bounds and a plausible but not rigorously proven exponential optimality claim.","tokens_in":30470,"tokens_out":1771,"would_cite":true,"duration_ms":18434,"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":"For the quadratic critical Hamiltonian, the winding number of the phase-space trajectory sets a hard scaling bound on quantum Fisher information, and a phase-dependent on-off control saturates the resulting exponential limit.","keywords":["critical quantum metrology","quantum Fisher information","winding number","squeezing","on-off control","quantum phase transition","thermal dissipation","bosonic quadratic Hamiltonian"],"falsifier":"Run the exact equations of motion (Eqs. (5) and (6) of the paper) for the proposed on-off schedule at large but finite $T$ (say $\\omega T=10^3$ or $10^4$) and fit the exponent of $F_\\omega(T)$; if the fitted exponent departs from $0.9745$ as $r$ grows, or if $\\theta(t)$ in Eq. (6) drifts over time instead of staying constant, the asymptotic saturation claim fails.","tokens_in":29466,"feed_emoji":"⚛️","tokens_out":5755,"duration_ms":53262,"temperature":0.7,"pith_summary":"This paper asks how much estimation precision is physically possible in critical quantum metrology when the total evolution time is fixed, and answers in terms of a topological winding number. The authors prove that if the phase-space trajectory winds $n$ times, the quantum Fisher information cannot grow faster than $T^{4n+6}$; any protocol with monotonically increasing control is stuck at $T^6$. They then show that allowing the winding number to grow with time unlocks exponential scaling, $F_\\omega \\propto e^{0.9745\\,\\omega T}$, and that a phase-triggered on-off control saturates it. The same exponential form survives when the system never reaches the critical point and under thermal dissipation, with a reduced exponent. This turns a collection of special protocols into a single scaling law controlled by the winding number.","feed_headline":"Winding number sets precision limit in critical quantum metrology","feed_subtitle":"A phase-triggered on-off switch attains the exponential limit fixed by the winding number.","key_machinery":"The central object is the winding number $n=\\lfloor\\Phi/2\\pi\\rfloor$, where $\\Phi$ is the total phase accumulated by the squeezing angle $\\varphi$ of the Gaussian state. The argument runs through the exact quantum-Fisher-information formula $F_\\omega=2\\left|\\int_0^T dt\\,\\sinh 2r(t)\\,e^{i\\theta(t)}\\right|^2$, which in the large-squeezing limit $\\coth(2r)\\approx 1$ and $\\dot\\theta\\approx 0$ reduces to $F_\\omega\\approx 2\\left(\\int_0^T dt\\,\\sinh 2r(t)\\right)^2$. The winding number bounds how fast the squeezing $r$ can grow per cycle: Lemma 1 gives $\\cosh 2r(t_k+\\Delta_k)\\le(\\omega^2\\Delta_k^2+1)\\cosh 2r(t_k)$ for each non-winding interval, which yields the $T^{4n+6}$ power by repeated application, and the on-off protocol extremizes $r(T,\\Phi)$ in the large-$r$ asymptotic equations by saturating the bounds on $dt/d\\varphi$.","core_discovery":"For the single-mode squeezed Hamiltonian $\\hat H(t)=\\omega\\hat a^\\dagger\\hat a-\\epsilon(t)(\\hat a^\\dagger+\\hat a)^2/4$ with $0\\le\\epsilon(t)\\le\\omega$, the paper proves that the quantum Fisher information after total time $T$ is controlled by the winding number $n=\\lfloor\\Phi/2\\pi\\rfloor$ of the phase-space trajectory, where $\\Phi=\\int_0^T \\dot\\varphi\\,dt$ is the total accumulated phase of the squeezing angle. Theorem 1 bounds fixed-$n$ precision by $F_\\omega(T)\\le c_n T^{4n+6+o(1)}$; Theorem 2 shows that every monotonic protocol has $n=0$ and hence cannot beat $T^6$; Theorem 3 establishes the global bound $F_\\omega(T)\\propto e^{0.9745\\,\\omega T}$, saturated by the winding number $n\\approx 0.169\\,\\omega T$. The optimal protocol is a phase-dependent on-off switch alternating $\\epsilon=\\omega$ and $\\epsilon=0$, and the optimal phase jumps discontinuously whenever the optimal winding number increases, a behavior the authors interpret as a first-order transition in the squeezing. Theorems 4 through 6 extend the exponential law to controls with $\\epsilon_{\\max}<\\omega$ and to thermal dissipation, with exponents $\\Gamma(\\epsilon_{\\max})\\omega$ and $\\Gamma(\\epsilon_{\\max})\\omega/2-\\gamma$, respectively.","pith_inferences":["If the topological picture is robust beyond quadratic models, similar winding-number controls could improve parameter estimation in other driven Gaussian or spin systems.","A testable extension is to measure the QFI exponent at finite squeezing and moderate $T$; the asymptotic regime may require enormous squeezing before $\\Gamma\\approx 0.9745$ becomes visible.","The first-order jumps in the optimal phase suggest a continuous-variable analogue of topological phase transitions, where optimal strategies are labeled by topological sectors and switch discontinuously at critical times.","The theory suggests that fast, phase-locked modulation can circumvent critical slowing down in many-body sensing, but the transfer of the bound beyond the single-mode Gaussian setting would need to be checked."],"forward_implications":["Monotonic critical driving, whether adiabatic or quench-like, is provably capped at $T^6$; only non-monotonic control can do better.","The on-off schedule is specified entirely by the phase of the squeezed state, so it can be implemented without detailed model knowledge.","The universal exponential law $e^{0.9745\\,\\omega T}$ improves the exponent by roughly a factor of seven over the best previously reported periodic-driving protocol.","Since the same exponential scaling holds for $\\epsilon_{\\max}<\\omega$, reaching the critical point is not required; increasing the winding number is the dominant resource.","Thermal dissipation slows the exponent by $\\gamma$ per unit time but does not destroy the exponential scaling, and the exponent is independent of the bath occupation number."],"supporting_citations":[{"why":"Supplies the adiabatic critical-driving protocol whose $T^4$ scaling is the baseline that the monotonic no-go result caps at $T^6$.","marker":"[26]"},{"why":"Provides the sudden-quench framework whose $T^6$ scaling is rederived as the fixed-winding-number case $n=0$.","marker":"[27]"},{"why":"Establishes the earlier exponential scaling from periodic driving that Theorem 3 improves by a factor of about seven in the exponent.","marker":"[32]"},{"why":"Identifies the finite-component quantum phase transition whose effective quadratic bosonic Hamiltonian is the model studied here.","marker":"[39]"},{"why":"Provides the Gaussian-state formalism used to derive the exact QFI formula and the equations of motion.","marker":"[50]"},{"why":"Gives the quantum Fisher information of general single-mode Gaussian states used in the thermal-dissipation bound.","marker":"[52]"}],"fun_headline_variants":["Winding number sets exponential precision limit","On-off control attains exponential metrology scaling","Exponential limit in metrology fixed by winding number","Critical quantum metrology: exponential bound from winding number"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The exponential limit and its saturation rely on the large-squeezing asymptotic equations $\\coth(2r)\\approx 1$ and $\\dot\\theta\\approx 0$, so if the phase alignment of the on-off path degrades at finite squeezing or over many cycles, the exact dynamics need not realize the claimed $\\Gamma\\approx 0.9745$ exponent.","fun_headline_variants_meta":{"raw":{"variants":["Winding number sets exponential precision limit","On-off control attains exponential metrology scaling","Exponential limit in metrology fixed by winding number","Critical quantum metrology: exponential bound from winding number"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00036,"raw_usage":{"total_tokens":1973,"prompt_tokens":996,"completion_tokens":977,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":612,"completion_tokens_details":{"reasoning_tokens":918}},"tokens_in":612,"tokens_out":977,"duration_ms":8118,"temperature":1.0,"reasoning_tokens":918,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T18:40:42.007212+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the exact equations of motion (Eqs. (5) and (6) of the paper) for the proposed on-off schedule at large but finite $T$ (say $\\omega T=10^3$ or $10^4$) and fit the exponent of $F_\\omega(T)$; if the fitted exponent departs from $0.9745$ as $r$ grows, or if $\\theta(t)$ in Eq. (6) drifts over time instead of staying constant, the asymptotic saturation claim fails.","supporting_citations":[{"cited_title":"Critical Quantum metrology with a finite-component quantum phase transition","cited_arxiv_id":"1910.00604","evidence_quote":"Supplies the adiabatic critical-driving protocol whose $T^4$ scaling is the baseline that the monotonic no-go result caps at $T^6$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the sudden-quench framework whose $T^6$ scaling is rederived as the fixed-winding-number case $n=0$."},{"cited_title":"Garbe, O","cited_arxiv_id":null,"evidence_quote":"Establishes the earlier exponential scaling from periodic driving that Theorem 3 improves by a factor of about seven in the exponent."},{"cited_title":"Pinel, P","cited_arxiv_id":null,"evidence_quote":"Gives the quantum Fisher information of general single-mode Gaussian states used in the thermal-dissipation bound."}],"review_version":1}