{"id":"e2f85a9a-f3b4-44f3-a620-30193743a092","arxiv_id":"2411.17797","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A didactic review of Cramér-Rao bounds and Fisher information in quantum metrology, ending with a restatement of the author's published Gaussian squeezing-estimation formulas.","lead":"This paper is a didactic review of classical and quantum estimation theory, centered on the Cramér-Rao bound and Fisher information, ending with the author's own previously published formulas for squeezing estimation in Gaussian states. A general reader can use it as an introduction to why quantum resources improve measurement precision, but it contains no new results.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (36) contradicts Eqs. (25)/(34): as E_N→∞ it gives H≈8n_A^2+8n_A+2, above the claimed upper bound 4n_A^2+4n_A+2, and it does not reduce to that bound on two-mode squeezed vacuum states.","rationale":"The paper is a didactic review; Sections 2–4 present standard material accurately enough for a teaching resource. The original contribution is Section 5, which summarizes the author's own prior work. The reader's verdict was CONDITIONAL, based partly on the phase-averaging assumption and partly on an apparent conflict between Eq. (36) and the upper bound. My stress-test confirms the conflict is the more serious load-bearing issue. The phase assumption is a stated condition of the strategy; if the phase is not known or not uniformly distributed, the definitions simply do not apply, which is a limitation but not an internal contradiction. By contrast, Eq. (36) is inconsistent with Eqs. (25)/(34) even within the stated domain. For a fixed n_A, the formula's E_N→∞ limit violates the upper bound; and for the canonical two-mode squeezed vacuum, the formula fails to reproduce the bound it should attain. Because the paper gives no derivation of Eq. (36), citing Refs. [20,21] instead, the reader cannot tell whether Eq. (36) is a misprint or a substantive error. The proposed direct computation settles this. Therefore the manuscript should be CONDITIONAL—the didactic core can stand after correcting or deriving Eq. (36) and stating its domain of validity.","tokens_in":16403,"tokens_out":9964,"duration_ms":82237,"concrete_test":"Evaluate the phase-averaged QFI for the two-mode squeezed vacuum states directly from the Gaussian-state QFI formula (e.g., from Ref. [21]) for n_A = 0.1, 1, 2, 5. For these states, E_N = 2asinh(sqrt{n_A}) and the CM is given by Eq. (33). Compare the computed values with Eq. (36) and with the upper bound Eq. (34). If the direct values coincide with Eq. (34) at every n_A, Eq. (36) is wrong; if they coincide with Eq. (36), Eq. (34)/(25) is wrong. Either conclusion settles the internal inconsistency and determines which formula should appear in a corrected version.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"I cannot accept the central quantitative claim of §5.3.6 as printed. Equation (36), H = 2 + 8n_A(1+n_A) / [1 + (2+4n_A - e^{-E_N})e^{-E_N}], is said to give the upper envelope of the phase-averaged QFI for entangled two-mode Gaussian states. But the paper's own upper bound for entangled states, Eq. (34) (and the single-mode bound Eq. (25)), is H = 4n_A^2 + 4n_A + 2. For fixed n_A > 0, as E_N → ∞ the denominator in Eq. (36) tends to 1, so H → 2 + 8n_A(1+n_A) = 8n_A^2+8n_A+2, which exceeds the claimed upper bound by 4n_A^2+4n_A. More sharply, for the two-mode squeezed vacuum with n_A = 1, E_N = 2asinh(1) ≈1.7627, and Eq. (36) evaluates to H = 9, whereas Eq. (34) gives 10; the formula does not even return the boundary value it is supposed to describe. Since this section provides no derivation and merely cites Refs. [20,21], the reader cannot determine which equation is erroneous; until this is resolved, the paper's headline conclusion that Eq. (36) quantifies the entanglement enhancement of precision is unsupported.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper is a didactic review, written in Portuguese, of classical and quantum parameter-estimation theory. It introduces the Cramér-Rao bound and Fisher information, the Bures/Hellinger distance perspective, the quantum Cramér-Rao bound, the standard quantum limit and the Heisenberg limit, and then devotes Section 5 to the author's prior work on estimating an unknown squeezing parameter encoded in a mode of a Gaussian state. The original part reports average quantum Fisher information bounds for single-mode, separable, discordant, and entangled Gaussian states, culminating in Eq. (36), which is claimed to give an analytical relation between the average QFI and the logarithmic negativity E_N.","tokens_in":16709,"tokens_out":8182,"duration_ms":66348,"significance":"If the Section 5 results were correct, the paper would offer a useful educational entry point into continuous-variable quantum metrology and a compact statement of an analytical relation between estimation precision and entanglement. The didactic Sections 2–4 are mostly standard and clearly written, and the numerical scans over 10^5 random Gaussian states in Figures 5, 7–11 are a useful visual summary. However, the central quantitative claim of §5.3.6 is internally inconsistent: Eq. (36) exceeds the paper's own upper bound (25)/(34) in the large-E_N limit and does not reduce to that bound for two-mode squeezed vacuum states. Since Eqs. (25)–(36) are asserted without derivation and depend on Refs. [20,21], the validity of the headline entanglement–precision relation is currently unsupported. The significance of the paper therefore hinges on correcting or deriving Eq. (36) and reconciling it with Eq. (34).","major_comments":[{"comment":"Equation (36), Hθ = 2 + 8n_A(1+n_A) / [1 + (2+4n_A - e^{-E_N}) e^{-E_N}], is claimed to give the upper envelope of the phase-averaged QFI for entangled two-mode Gaussian states. This contradicts Eqs. (25) and (34), which state the upper bound Hθ = 4n_A^2 + 4n_A + 2. For fixed n_A>0, as E_N→∞ the denominator tends to 1 and the right-hand side tends to 2 + 8n_A(1+n_A) = 8n_A^2 + 8n_A + 2, which exceeds the bound by 4n_A^2 + 4n_A. More sharply, for a two-mode squeezed vacuum with n_A = 1 and E_N = 2asinh(1) ≈ 1.7627, Eq. (36) gives Hθ = 9, while Eq. (34) gives Hθ = 10; the formula does not return the boundary value it is supposed to describe. This is a load-bearing inconsistency in the paper's central analytical result.","section":"§5.3.6, Eq. (36) vs. Eqs. (25) and (34)"},{"comment":"All formulas in Section 5.3 are quoted from Refs. [20,21] without derivation in this manuscript, and §5.3 states only that the results 'também constam na referência [20]'. Because Eq. (36) is internally inconsistent with Eq. (34), the reader cannot determine from the text whether Eq. (35), Eq. (36), or the bound (34) is erroneous. Please provide a self-contained derivation of the phase-averaged QFI for the covariance matrix (33), or at least a precise statement of which published equation is being reproduced, and show explicitly how Eq. (36) is compatible with the upper bound.","section":"§5.3, Eqs. (25)–(36)"},{"comment":"The strategy and the definition H_ε(ρ) = (1/2π)∫ H_ε^{(θ)}(ρ) dθ presuppose that the dynamical phase θ_{A,B}(t) is known, so that the local unitary (R_A^{†2}⊗R_B^{†2}) can be applied before measurement. If θ is unknown or its distribution is not uniform over [0,2π], the reported bounds and Eq. (36) do not directly apply. This is a stated assumption in the text, but it should be listed as a limitation of the result in the conclusions, because the abstract and §6 advertise technological applications without this qualification.","section":"§5.2, phase-knowledge assumption"}],"minor_comments":[{"comment":"Equation (35) introduces the symplectic eigenvalue \\tildeν but contains no explicit dependence on the parameter d of the covariance matrix (33); please clarify how \\tildeν is computed from a, b, c, d and how Eq. (36) follows from Eq. (35).","section":"§5.3.6, Eq. (35)"},{"comment":"The text states that the two-mode upper and lower bounds are given 'pelas equações 25 e 26', but Eq. (26) was introduced as a single-mode thermal-state bound; please explain why the same expression bounds two-mode Gaussian states.","section":"§5.3.2, Eqs. (25)–(26)"},{"comment":"The vertical axes are labelled inconsistently as 'H' or 'H θ' across Figures 5, 7, 8, 9, 10, and 11; using a single symbol, e.g., H_ε(ρ), would improve readability.","section":"Figures 5–11"},{"comment":"There are several grammatical slips in the conclusion (e.g., 'este evidenciamos') and the sentence structure is at places repetitive; a careful language revision is recommended.","section":"§6"}],"recommendation":"major_revision","confidential_remarks":"The didactic portions of this manuscript are serviceable, but the original research section depends heavily on the author's own published work and contains a numerical/analytical inconsistency in Eq. (36). Before any further consideration, the editor may wish to verify Eq. (36) against Refs. [20,21] and require the author either to correct the formula or to state explicitly that Eq. (36) is not an upper bound but some other quantity. The paper's fit as a journal article would be improved by moving the 'possible technological applications' claims to a clearly qualified discussion."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a teaching review, not a research paper. The first four sections are standard quantum estimation theory, clearly written and mostly correct. The author is honest that the Section 5 results were published before (Refs. [20,21]) and are being re-presented for a school audience. That is the right approach for a review.\n\nThe problem is in Section 5.3.6. The paper's own upper bound for entangled two-mode squeezed states, Eq. (34), is H = 4n_A^2 + 4n_A + 2. But Eq. (36), which is claimed to give the analytic dependence on logarithmic negativity, reduces to H = 8n_A^2 + 8n_A + 2 in the large-E_N limit, and for the two-mode squeezed vacuum with n_A = 1 it gives H = 9 instead of 10. So the formula contradicts the bound it is supposed to describe. Since no derivation is given, the reader cannot tell which expression is correct. This is a load-bearing flaw because the paper's conclusion about entanglement-enhanced precision rests on this formula. The qualitative point (entanglement helps) is plausibly true and supported by the original papers, but this version is not internally consistent.\n\nOther issues are minor by comparison. The figures use 10^5 randomly sampled Gaussian states but give no distribution parameter values, so the plots are not reproducible. The Portuguese language and the journal scope limit the audience, but that is not a scientific defect.\n\nWhat the paper does well: the exposition of classical and quantum Fisher information, Bures distance, Braunstein-Caves inequality, and the SQL vs Heisenberg limit is accurate and accessible. The examples are well chosen. For a student or a researcher new to quantum metrology, this is a usable introduction.\n\nBottom line: the didactic material deserves to be read, but Section 5 needs correction. I would send this to a referee, with a specific request to verify Eqs. (35)–(36) against the author's prior papers and against the bound in Eq. (34). After that, it is acceptable as a review article.","headline":"A didactic review with a sound first half and a quantitative inconsistency in the final section that must be fixed before the paper can be trusted.","tokens_in":17248,"tokens_out":3543,"would_cite":false,"duration_ms":29626,"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":"For Gaussian optical probes, the best possible precision in squeezing estimation is set by photon number and, for two-mode states, by entanglement; the paper gives an exact formula for the quantum Fisher information.","keywords":["quantum metrology","Cramér-Rao bound","quantum Fisher information","Gaussian states","squeezing estimation","logarithmic negativity","entanglement-enhanced precision","parameter estimation"],"falsifier":"Prepare a two-mode squeezed vacuum state with known mean photon number $n_A$ and measured logarithmic negativity $E_N$, estimate the squeezing parameter by near-optimal homodyne measurements, and compare the observed variance with $1/(M H_\\epsilon(\\rho))$ using Eq. (36). If the variance falls below this bound, or if a direct computation of $H_\\epsilon(\\rho)=\\mathrm{Tr}[\\rho L_\\epsilon^2]$ for a Gaussian state outside the standard form exceeds $4n_A^2+4n_A+2$ at fixed $n_A$, the central claim is falsified.","tokens_in":16143,"feed_emoji":"🎯","tokens_out":10990,"duration_ms":94496,"temperature":0.7,"pith_summary":"This article gives a didactic tour of classical and quantum parameter-estimation theory, from the Cramér-Rao bound and Fisher information to their quantum counterparts, and then applies it to a concrete question: how precisely can an unknown squeezing parameter encoded in one mode of a Gaussian optical state be estimated? The paper's contribution is a set of precision bounds: for a single mode the phase-averaged quantum Fisher information is at most $4n_A^2+4n_A+2$, reached by pure squeezed states, while coherent states give only $4n_A+2$. For two-mode entangled Gaussian states the paper derives an exact analytic formula relating this Fisher information to the mode energy $n_A$ and the logarithmic negativity $E_N$, showing that entanglement raises the achievable precision. Since the quantum Cramér-Rao bound turns this Fisher information directly into a minimum estimation error, the result gives a concrete benchmark for quantum metrology with Gaussian states.","feed_headline":"Entanglement directly boosts squeezing-estimation precision","feed_subtitle":"The best achievable error now has a closed formula in terms of photon number and entanglement for Gaussian probes.","key_machinery":"The load-bearing object is the phase-averaged quantum Fisher information, $H_\\epsilon(\\rho)=\\frac{1}{2\\pi}\\int_0^{2\\pi} H_\\epsilon^{(\\theta)}(\\rho)\\,d\\theta$, computed from the symmetric logarithmic derivative $L_\\theta$ through $H=\\mathrm{Tr}[\\rho L_\\theta^2]$. The parameter is encoded by the single-mode squeezing operator $S_\\epsilon^{(A)}=\\exp[\\tfrac{\\epsilon}{2}(a^2-(a^\\dagger)^2)]$, while local rotations $R_A$ and $R_B$ are used to remove the known dynamic phase; averaging over the phase makes the figure of merit independent of that detail. The Gaussian-state machinery, covariance matrices in standard form, symplectic spectra, and the logarithmic negativity $E_N=\\max(0,-\\ln \\tilde{\\nu})$ with $\\tilde{\\nu}$ the smallest symplectic eigenvalue of the partially transposed covariance matrix, enters through the symplectic invariants that appear in Eq. (36). This machinery reduces the state space to the two resource variables, photon number $n_A$ and entanglement $E_N$, that the final formula depends on.","core_discovery":"The paper claims that the phase-averaged quantum Fisher information $H_\\epsilon(\\rho)$, obtained by averaging over all propagation phases $\\theta$, is a faithful figure of merit for estimating the squeezing parameter $\\epsilon$, and that for Gaussian states this figure is controlled entirely by energy and quantum correlations. For single-mode probes, $H_\\epsilon(\\rho)$ lies between $4(2n_A+1)^2/(1+(2n_A+1)^2)$ for thermal states and $4n_A^2+4n_A+2$ for pure squeezed states, so squeezing is what buys the quadratic scaling. For two-mode entangled Gaussian states, the paper reports the closed expression $H_\\epsilon(\\rho)=2+\\frac{8n_A(1+n_A)}{1+(2+4n_A-e^{-E_N})e^{-E_N}}$, which increases monotonically with the logarithmic negativity $E_N$ at fixed photon number $n_A$. The claim is that entanglement is therefore a practical metrological resource: more entanglement means a smaller error bound for detecting the same squeezing parameter.","pith_inferences":["Not stated by the paper: in Eq. (36), as $E_N$ grows the factor $e^{-E_N}$ drives $H_\\epsilon(\\rho)$ toward $2+8n_A(1+n_A)$, so the return on extra entanglement saturates; most of the precision gain comes at low to moderate entanglement.","A natural testable extension is to optimize over all two-mode Gaussian states with fixed $n_A$ and $E_N$, going beyond the paper's random sampling, to check whether Eq. (36) is truly the upper bound.","Because the phase-dependent Fisher information can exceed its uniform average, the phase-averaged bound is likely conservative for phase-locked experiments; this is an interpretation of the paper's construction, not one of its results."],"forward_implications":["For single-mode Gaussian probes, no state can beat the pure-squeezed upper bound $H=4n_A^2+4n_A+2$, so the best squeezing-estimation accuracy at a given mean photon number is fixed and known.","Coherent states are limited to $4n_A+2$, meaning the advantage from squeezing grows quadratically with photon number rather than linearly.","For two-mode entangled states, Eq. (36) provides a direct trade-off: at fixed energy, increasing logarithmic negativity increases the quantum Fisher information, and the paper shows this bound is attained by pure two-mode squeezed states.","The lower bounds for thermal and separable states identify the penalty for noise and lack of correlations, so the same figure of merit quantifies how much entanglement is needed to reach a target precision.","Because the quantum Cramér-Rao bound converts $H_\\epsilon(\\rho)$ into the minimal variance of any unbiased estimator, the formulas are directly usable as benchmarks for quantum sensing protocols based on Gaussian states."],"supporting_citations":[{"why":"Supplies the estimation strategy the paper follows: squeezing on mode A, free propagation of mode B, local unitary removal of the dynamic phase, and uniform phase averaging.","marker":"[21]"},{"why":"The source of the results reviewed in Section 5, including the upper bounds and the analytic dependence on logarithmic negativity in Eq. (36).","marker":"[20]"},{"why":"Provides the general framework for ultimate precision limits in noisy quantum metrology, used to connect the $H\\sim n^2$ scaling with the Heisenberg limit.","marker":"[19]"},{"why":"Lays out the Gaussian-state formalism, including covariance matrices and the Gaussian-preserving dynamics used throughout Section 5.","marker":"[22]"},{"why":"Supplies the symplectic invariants and logarithmic negativity construction needed to express Eq. (36) in terms of $E_N$.","marker":"[23]"}],"fun_headline_variants":["Entanglement tightens squeezing-estimation error bounds","Closed formula: entanglement boosts squeezing precision","More entanglement, sharper squeezing estimates","Quantum metrology: entanglement beats classical limits","Exact precision bound for Gaussian squeezing from entanglement"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The results assume the dynamic phase accumulated by the modes is known well enough to be removed by local unitary operations, and that uniform averaging over all phases is the correct figure of merit; if either fails, Eq. (36) and the stated bounds need not govern the actual estimation error.","fun_headline_variants_meta":{"raw":{"variants":["Entanglement tightens squeezing-estimation error bounds","Closed formula: entanglement boosts squeezing precision","More entanglement, sharper squeezing estimates","Quantum metrology: entanglement beats classical limits","Exact precision bound for Gaussian squeezing from entanglement"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000137,"raw_usage":{"total_tokens":1132,"prompt_tokens":910,"completion_tokens":222,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":526,"completion_tokens_details":{"reasoning_tokens":157}},"tokens_in":526,"tokens_out":222,"duration_ms":2593,"temperature":1.0,"reasoning_tokens":157,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:53:56.663177+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Prepare a two-mode squeezed vacuum state with known mean photon number $n_A$ and measured logarithmic negativity $E_N$, estimate the squeezing parameter by near-optimal homodyne measurements, and compare the observed variance with $1/(M H_\\epsilon(\\rho))$ using Eq. (36). If the variance falls below this bound, or if a direct computation of $H_\\epsilon(\\rho)=\\mathrm{Tr}[\\rho L_\\epsilon^2]$ for a Gaussian state outside the standard form exceeds $4n_A^2+4n_A+2$ at fixed $n_A$, the central claim is falsified.","supporting_citations":[{"cited_title":"Introduction to quantum mechanics","cited_arxiv_id":null,"evidence_quote":"Supplies the estimation strategy the paper follows: squeezing on mode A, free propagation of mode B, local unitary removal of the dynamic phase, and uniform phase averaging."},{"cited_title":"Estudo de estados de variáveis contínuas Gaussianos e não-Gaussianos monomodais sob efeito de um canal dissipativo","cited_arxiv_id":null,"evidence_quote":"The source of the results reviewed in Section 5, including the upper bounds and the analytic dependence on logarithmic negativity in Eq. (36)."},{"cited_title":"Formulation of uncertainty relation between error and disturbance in quan- tum measurement by using quantum estimation theory","cited_arxiv_id":null,"evidence_quote":"Provides the general framework for ultimate precision limits in noisy quantum metrology, used to connect the $H\\sim n^2$ scaling with the Heisenberg limit."},{"cited_title":"Quantum Mechanics Volume 1","cited_arxiv_id":null,"evidence_quote":"Lays out the Gaussian-state formalism, including covariance matrices and the Gaussian-preserving dynamics used throughout Section 5."},{"cited_title":"Quantum mechanics","cited_arxiv_id":null,"evidence_quote":"Supplies the symplectic invariants and logarithmic negativity construction needed to express Eq. (36) in terms of $E_N$."}],"review_version":1}