{"id":"1844042f-ce06-4f8f-abca-fa31accc4171","arxiv_id":"2411.18896","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A control scheme is derived that minimizes the precision trade-off caused by incompatible optimal controls in two-parameter quantum estimation within SU(2) dynamics.","lead":"The paper introduces a measure of control incompatibility in multiparameter quantum metrology and derives a control sequence that reduces the precision trade-off when estimating two parameters with a single qubit sensor. It is relevant because simultaneous estimation of vector fields is a practical goal in quantum sensing, and the method gives an explicit recipe for the control pulses.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq.37 fixes α_t from one reference time, so stationarity Eq.36 is not enforced for all (t1,t2); Eq.43's claimed minimal G is unproven, and Eq.37 is undefined for the paper's example at t=0.","rationale":"The reader's weakest assumption correctly identifies the consistency problem: Eq. (37) is obtained from Eq. (36) at a single reference time, and no proof is given that the resulting single-angle control satisfies the stationarity condition for all pairs. My reading sharpens the concern: for the paper's central numerical example, the reference-time velocities vanish, so Eq. (37) is literally undefined at t=0, and even with a different reference time the all-pairs stationarity condition imposes an additional functional constraint that is not verified. This makes the central claim that Eq. (43) is the minimum control incompatibility unproven. However, the paper does contain independent supporting evidence: the known DC and orthogonal-AC cases reduce to previously established controls, and the numerical example may still show an improvement over single-parameter controls even if not optimal. Those positives justify a conditional rather than a reject verdict: the authors should either prove the consistency condition for the proposed α_t, restrict the claim to cases where it holds, or explicitly reframe the control as near-optimal. Since the reader's verdict is already CONDITIONAL, no verdict change is needed.","tokens_in":10235,"tokens_out":7265,"duration_ms":63845,"concrete_test":"For the two-frequency example, discretize [0,T], compute A(t1,t2) and B(t1,t2) from the velocity components, define α_t via Eq. (37) using a small nonzero reference time τ (since t=0 is singular), and evaluate the stationarity residual R = max_{t1,t2} |A(t1,t2) sin(α_t1−α_t2) − B(t1,t2) cos(α_t1−α_t2)|. Then compute the actual G obtained by substituting this α_t into Eq. (41) and compare it with the claimed G from Eq. (43). If R is not at machine-precision level, or if the actual G exceeds the claimed value, the stated control does not satisfy the stationarity condition and the claimed minimal incompatibility is not achieved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Equation (36) is a necessary stationarity condition that must hold for every pair (t1,t2). The paper 'solves' it by fixing t2=0 and defining α_t in Eq. (37). For a single function α_t to satisfy Eq. (36) for all pairs, it must obey tan(α_t1−α_t2)=B(t1,t2)/A(t1,t2) identically. Substituting the Eq. (37) expression imposes a nontrivial functional constraint on the velocity components: B(t1,0)A(t2,0)−B(t2,0)A(t1,0) over A(t1,0)A(t2,0)+B(t1,0)B(t2,0) must equal B(t1,t2)/A(t1,t2) for all t1,t2. This is not proved for arbitrary f and g, and it fails in general. In the paper's own two-frequency example, both instantaneous velocities vanish at t=0, making B(t,0)/A(t,0) a 0/0 indeterminate form, so Eq. (37) is not even well defined at the reference time. Since Eq. (42) is obtained by substituting the all-pairs relation into the integrand, Eq. (43) does not follow as an achieved minimum; the proposed control may not be a stationary point of the full functional. The paper's caveat that the solution is only an extremum, not a minimum, does not repair this gap, because the stated α_t may fail the stronger necessary condition (36) away from t2=0. The main text also states that global minimality is 'formally proved' in the Supplementary Material, but the included supplement derives only the necessary conditions (30), not a proof that the constructed control minimizes G.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper addresses multiparameter estimation of a qubit Hamiltonian H = F·σ using a maximally entangled probe-ancilla state. It introduces a control-incompatibility gap G = Σ_i(J_opt_xi − J_xi), argues that joint controls should keep all instantaneous velocity vectors in a fixed plane, and proposes a decomposition U_c = U_a2 U_a1 U_x^†. For two-parameter estimation restricted to a plane, the paper derives an explicit control U(t → t+δt) = e^{−iα_t δt σ_z} U_x^† with α_t defined by Eq. (37), and claims this achieves the minimal G given by Eq. (43). The paper illustrates the scheme on time-dependent frequency estimation and claims generalization to more than two parameters in a two-dimensional vector field. The main result is an analytic prescription for reducing control incompatibility rather than a full precision-optimality theorem.","tokens_in":10594,"tokens_out":7591,"duration_ms":66357,"significance":"If correct, the proposed control would be a concrete, experimentally implementable recipe for easing control incompatibility in two-parameter SU(2) estimation, with a transparent geometric interpretation and a natural extension to weighted cost functions. The problem is timely, and the explicit two-frequency example is a useful demonstration that applying controls optimized for one parameter can be suboptimal for the pair. The paper also correctly acknowledges that minimizing G is not equivalent to maximizing joint precision when off-diagonal QFIM terms are significant. However, the central optimality claim is not backed by a proof: the stationarity condition is only necessary and is solved at a single reference time, and the included supplementary material contains no global-minimality argument. The significance of the paper is therefore prospective; it establishes a plausible heuristic and numerical evidence, but not the claimed minimal incompatibility.","major_comments":[{"comment":"The stationarity condition Eq. (36) is required for every pair (t1,t2), but Eq. (37) defines α_t by setting t2=0. No consistency proof is given that the resulting single function α_t satisfies tan(α_t1−α_t2)=B(t1,t2)/A(t1,t2) for all t1,t2. Since Eq. (42) is obtained by substituting this all-pairs relation into the integrand, the claimed minimum G in Eq. (43) is not established.","section":"Supplementary Material, Eqs. (36)-(37)"},{"comment":"For H=(cos xn t + cos xm t)σx + (sin xn t − sin xm t)σz, both instantaneous velocities vanish at t=0, e.g. ∂_{xm}F_x=−t sin(xm t) and ∂_{xm}F_z=−t cos(xm t), making the numerator and denominator in Eq. (37) an indeterminate 0/0. The paper does not provide a limiting prescription, so the control U(t→t+δt)=e^{−iα_t δt σ_z}U_x^† in Eq. (38) is undefined at the initial time for the paper's own flagship example.","section":"Main text two-frequency example, Eq. (37)"},{"comment":"The universal lower bound on G is derived from a closest-orthogonal-matrix problem, but the text immediately notes that the optimal Q cannot always be written as R^T(t2)R(t1). The subsequent Euler-angle derivation works within the ansatz U_c=U_a2 U_a1 U_x^†, and no argument shows that this ansatz is lossless for the original problem. Thus Eq. (43) is at best a minimum within the restricted family, not the global minimum stated in the main text.","section":"Supplementary Material, Eqs. (24)-(25)"},{"comment":"The main text states that the fixed-plane intuition and the global minimality of G are 'formally proved' in the Supplementary Material, but the supplement only derives the necessary stationarity conditions (30) and does not contain a second-order or global comparison. The paper's own caveat that α_t only guarantees an extremum and that an additional π-pulse may be required [23,30] is not reconciled with the claim of a proven minimum in Eq. (43).","section":"Main text and Supplementary Material, Eq. (30)"}],"minor_comments":[{"comment":"The term 'cos(αt1 − α2)' should read 'cos(α_{t1}−α_{t2})'; the subscript 'α2' is an obvious typo and is inconsistent with the sine term in the same equation.","section":"Eq. (40)"},{"comment":"The summation index 'N' with lower limit i=0 is confusing; the parameters are x_i with i=1,...,m elsewhere, and the indices in the double integrals should be made consistent.","section":"Eqs. (41)-(43)"},{"comment":"The displayed definition of the quantum Fisher information matrix is garbled; the bra-ket and partial-derivative notation needs to be reformatted to be readable.","section":"Eq. (2)"},{"comment":"The caption refers to panels (a) and (c), whereas the figure in the text appears to contain only two panels labeled (a) and (b); the panel labels and the axis labels '1e6 1e7' should be fixed.","section":"Fig. 3"},{"comment":"References [9] and [25] are the same Hou et al. paper; please consolidate the duplicate.","section":"References [9] and [25]"},{"comment":"The sentence saying U_a2 forces V_xi to rotate in the fixed plane and 'reach the minimal incompatibility' presupposes the result that the paper is trying to prove; this phrasing should be reworded.","section":"Text after Eq. (6)"}],"recommendation":"major_revision","confidential_remarks":"To the editor: The paper is within scope and addresses a worthwhile problem, but the key optimality claim needs substantive mathematical work. The undefined α_0 in the flagship example is a concrete defect that must be fixed before publication. If the authors cannot provide a consistency proof or a corrected control, the claims should be reduced to a heuristic with numerical support."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know about this paper. First, it introduces a clean and intuitive measure of control incompatibility (the gap G) and a concrete recipe for two-parameter SU(2) estimation: rotate the free-evolution control by an angle α_t around the fixed plane. Second, the derivation that this recipe actually minimizes G does not hold up as written. The angle α_t is defined by imposing the stationarity condition at one reference time (t2=0), and there is no proof that the resulting function satisfies the required condition for all pairs (t1,t2). In the paper's own two-frequency example the velocity components vanish at t=0, so Eq. (37) is literally undefined at the reference point. This is not a minor technicality; it is the step that turns Eq. (42) from an upper bound into an achieved value.\n\nWhat is genuinely new and useful: the gap function G itself, the geometric picture of velocities needing to stay in a fixed plane, and the explicit, experimentally plausible control structure Ua2 Ua1 U†_x. The paper correctly recovers known time-independent and orthogonal-velocity limits. The discussion of when minimizing G helps (off-diagonal QFIM small) is honest. The numerical example does suggest the recipe outperforms single-parameter-optimal control, even if it doesn't substitute for a proof.\n\nThe main weakness is the unproven consistency of α_t, as the stress-test note identifies. The authors say the supplementary gives a formal proof of minimality; the supplement only derives necessary conditions. They also only claim an extremum, not a minimum, but that doesn't address the stronger problem: the proposed α_t may fail the stationarity equation away from the reference time. A second, lesser weakness is reproducibility: no code or data for the numerical example.\n\nWho is this for? Researchers working on control-based multiparameter quantum metrology, especially qubit vector-field sensing. They will find the framing and the control ansatz valuable even if they treat the optimality claim with caution. The paper deserves a serious referee; a revision that either proves the consistency condition or rephrases the result as a near-optimal control construction would be much stronger.\n\nMy recommendation: send it out for peer review, but flag the consistency gap prominently. With that fixed, or with the claims softened, this could be a solid contribution.","headline":"A useful new figure of merit and a plausible control recipe, but the proof that the recipe is optimal has a gap that needs real repair.","tokens_in":11147,"tokens_out":3493,"would_cite":true,"duration_ms":30558,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P15","81P50","81P73"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a qubit sensor with an ancilla, the paper shows that the control incompatibility in estimating two Hamiltonian parameters is minimized by a joint control whose only time-dependent ingredient is a closed-form z-rotation angle, and it…","keywords":["quantum metrology","multiparameter estimation","control incompatibility","quantum Fisher information","optimal control","qubit sensor","ancilla-assisted sensing","time-dependent Hamiltonian"],"falsifier":"For a concrete two-parameter Hamiltonian, test whether Eq. (36) can hold with $\\alpha_t$ determined by Eq. (37) for all pairs $(t_1,t_2)$; if not, numerically optimize the joint control and compute G. A numerical G strictly smaller than Eq. (43) would falsify the claimed minimality. Experimentally, apply the proposed control on a qubit-plus-ancilla sensor, estimate the QFIM by tomography, and compare the sum of diagonal entries with Eq. (42); a significant shortfall would also refute the claim.","tokens_in":10002,"feed_emoji":"🎯","tokens_out":10026,"duration_ms":77387,"temperature":0.7,"pith_summary":"In quantum metrology, estimating several parameters at once forces a compromise because the control that is optimal for one parameter is not optimal for the others. This paper introduces the gap function G, the total loss in quantum Fisher information relative to each parameter's single-parameter-optimal control, and shows that for a qubit probe entangled with an ancilla, G can be explicitly minimized for two parameters by a joint control. The joint control is a time-reversal of the free evolution followed by a single time-dependent rotation around the z-axis, with the rotation angle given by a closed-form formula built from the instantaneous velocity vectors of the two parameters. The minimal G is shown to be a difference between integrated velocity lengths and a singular-value sum of a velocity correlation matrix, and the recipe reduces to known optimal controls for time-independent and rotating-field Hamiltonians. The result provides an experimentally implementable strategy for reducing control-induced trade-offs in multiparameter quantum sensing.","feed_headline":"Closed-form control minimizes multiparameter quantum sensing trade-offs","feed_subtitle":"A single time-dependent rotation angle recovers precision lost when two parameters need incompatible optimal controls.","key_machinery":"The central object is the gap function $G$ and its companion velocity correlation matrix $\\mathbb{V}(t_1,t_2)=\\sum_i V_{x_i}(t_1) V_{x_i}^T(t_2)$. The mechanism is a geometric identity: with optimal probe and measurement, $J_{x_i} = 4\\langle S_{x_i}^2\\rangle$ where $S_{x_i} = \\int R(t) V_{x_i}(t)\\,dt$, and $R(t)$ is the rotation implemented by the control. Maximizing $\\sum_i J_{x_i}$ is equivalent to minimizing $G$, and the double integral $4\\int\\int \\mathrm{Tr}[R^T(t_2)R(t_1)\\mathbb{V}(t_1,t_2)]\\,dt_1\\,dt_2$ is the quantity to bound. The SVD of $\\mathbb{V}(t_1,t_2)$ gives $\\mathrm{Tr}[Q^T\\mathbb{V}] \\le \\sum_i \\sigma_i$, attained only by $Q = U V^T$, which yields a universal lower bound for $G$. The analytical construction then restricts controls to rotations in a fixed plane, reducing the Euler-angle degrees of freedom to one time-dependent angle $\\alpha_t$; the stationarity condition $\\partial F/\\partial\\alpha = 0$ produces the tangent identity for $\\alpha_{t_1}-\\alpha_{t_2}$, and the final minimal $G$ is Eq. (43).","core_discovery":"On the paper's own terms, the central discovery is that for two parameters encoded in a qubit Hamiltonian $H = F(x,t)\\cdot\\sigma$, with the probe maximally entangled with an ancilla, the joint control $U(t\\to t+\\delta t) = e^{-i\\alpha_t \\delta t \\sigma_z} U_x^\\dagger$ minimizes the gap $G = \\sum_i (J^{\\mathrm{opt}}_{x_i} - J_{x_i})$. The angle $\\alpha_t$ is fixed by the stationarity condition $\\tan(\\alpha_{t_1}-\\alpha_{t_2}) = [\\sum_i (a_i(t_1)b_i(t_2)-a_i(t_2)b_i(t_1))] / [\\sum_i (a_i(t_1)a_i(t_2)+b_i(t_1)b_i(t_2))]$, where $a_i$ and $b_i$ are the components of the velocity vectors $\\partial_{x_i} H$; taking $t_2=0$ yields $\\alpha_t$ in closed form. Under this control the sum of diagonal QFIM entries reaches Eq. (42), so the minimal $G$ is Eq. (43), which subtracts the singular-value sum of the velocity correlation matrix from the integrated speed of each velocity vector. The argument combines a geometric picture---optimal control straightens each velocity trajectory into a line---with an SVD bound that limits how much any joint control can align the two velocity fields at once. The paper also proves that with the maximally entangled probe, measurements exist making the multiparameter QCRB attainable for $SU(2)$ dynamics, so control incompatibility is the sole remaining obstacle.","pith_inferences":["The paper does not prove that a single $\\alpha_t$ can satisfy the pairwise stationarity condition for all pairs of times; a search for Hamiltonians where this consistency fails would delimit exactly when the closed-form recipe is optimal.","The SVD bound in Eq. (24) is algebraic and the paper notes the maximizing orthogonal matrix need not be realizable as $R^T(t_2)R(t_1)$; a natural continuation is to characterize the velocity correlation matrices for which the bound is dynamically attainable, a problem connected to rank-one decompositions of matrix-valued functions.","Because G omits the off-diagonal QFIM terms, minimizing G is only equivalent to minimizing total estimation error when those terms vanish; a generalized gap based on $\\mathrm{Tr}(J^{-1})$ rather than the diagonal sum would handle correlated generators and is a direct next step.","Experimentally, the predicted advantage could be tested on solid-state spin qubits or trapped-ion sensors by measuring the QFIM under the proposed control and comparing with single-parameter-optimal and numerically optimal controls; a deviation from Eq. (43) would show where the analytic solution breaks down."],"forward_implications":["For two-parameter estimation of time-dependent qubit Hamiltonians, the proposed closed-form control can be implemented directly in experiments, without numerical search over the control space, and yields a smaller G than controls optimized for a single parameter alone.","Because the method admits weights by rescaling the velocity amplitudes, it extends to weighted multiparameter estimation, giving a way to prioritize parameters in a controlled trade-off.","In the regime where the off-diagonal QFIM terms are zero or small, minimizing G directly improves the total estimation precision; Eq. (7) shows when off-diagonal correlations can undermine this.","The method generalizes to measuring more than two parameters whenever the instantaneous velocities remain confined to a two-dimensional plane, covering a useful class of vector-field sensing problems.","The special cases of time-independent Hamiltonians and AC fields with orthogonal velocities reproduce previously known optimal controls, providing consistency checks."],"supporting_citations":[{"why":"Supplies the single-parameter time-dependent optimal-control construction and the adaptive-coherent-control form that the joint control extends to two parameters.","marker":"[23]"},{"why":"Gives the Hamiltonian-engineering result $H_c = -H_x$ for time-independent parameters, which the proposed control recovers in that limit.","marker":"[26]"},{"why":"Provides the zero-trade-off multiparameter estimation scheme used to check the time-independent case.","marker":"[27]"},{"why":"Offers the rotating-field amplitude-and-frequency example where the joint control reduces to $H_c = -H_x - (\\omega/2)\\sigma_y$.","marker":"[28]"},{"why":"Defines the QFIM and its diagonal conditions, used to explain when minimizing G improves precision.","marker":"[22]"},{"why":"Frames multi-parameter estimation beyond QFI and establishes the optimal-control incompatibility problem addressed here.","marker":"[24]"},{"why":"Provides the weak-commutation condition proving the multiparameter QCRB is attainable with an ancilla.","marker":"[29]"}],"fun_headline_variants":["Closed-form control recovers precision in multiparameter metrology","Single angle minimizes control incompatibility in multiparameter metrology","Closed-form protocol resolves control incompatibility in quantum metrology","Optimal joint control for incompatible parameters in qubit sensing","Minimizing trade-offs from control incompatibility in multiparameter sensing"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a single time-dependent angle $\\alpha_t$ exists that satisfies the pairwise stationarity condition for all pairs of times, with the paper fixing one time at zero and only claiming an extremum rather than a minimum; if such a global $\\alpha_t$ does not exist, the proposed control is not actually the minimizer of G.","fun_headline_variants_meta":{"raw":{"variants":["Closed-form control recovers precision in multiparameter metrology","Single angle minimizes control incompatibility in multiparameter metrology","Closed-form protocol resolves control incompatibility in quantum metrology","Optimal joint control for incompatible parameters in qubit sensing","Minimizing trade-offs from control incompatibility in multiparameter sensing"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000213,"raw_usage":{"total_tokens":1463,"prompt_tokens":1027,"completion_tokens":436,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":643,"completion_tokens_details":{"reasoning_tokens":350}},"tokens_in":643,"tokens_out":436,"duration_ms":4668,"temperature":1.0,"reasoning_tokens":350,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:46:19.117940+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete two-parameter Hamiltonian, test whether Eq. (36) can hold with $\\alpha_t$ determined by Eq. (37) for all pairs $(t_1,t_2)$; if not, numerically optimize the joint control and compute G. A numerical G strictly smaller than Eq. (43) would falsify the claimed minimality. Experimentally, apply the proposed control on a qubit-plus-ancilla sensor, estimate the QFIM by tomography, and compare the sum of diagonal entries with Eq. (42); a significant shortfall would also refute the claim.","supporting_citations":[{"cited_title":"Pang and A","cited_arxiv_id":null,"evidence_quote":"Supplies the single-parameter time-dependent optimal-control construction and the adaptive-coherent-control form that the joint control extends to two parameters."},{"cited_title":"Yuan, Sequential Feedback Scheme Outperforms the Parallel Scheme for Hamiltonian Parameter Estimation, Physical Review Letters 117, 160801 (2016)","cited_arxiv_id":null,"evidence_quote":"Gives the Hamiltonian-engineering result $H_c = -H_x$ for time-independent parameters, which the proposed control recovers in that limit."},{"cited_title":"Hou, J.-F","cited_arxiv_id":null,"evidence_quote":"Provides the zero-trade-off multiparameter estimation scheme used to check the time-independent case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Offers the rotating-field amplitude-and-frequency example where the joint control reduces to $H_c = -H_x - (\\omega/2)\\sigma_y$."},{"cited_title":"Demkowicz-Dobrza´ nski, W","cited_arxiv_id":null,"evidence_quote":"Frames multi-parameter estimation beyond QFI and establishes the optimal-control incompatibility problem addressed here."},{"cited_title":"Helstrom, Quantum detection and estimation theory, 5 ser, Mathematics in Science and Engineering","cited_arxiv_id":null,"evidence_quote":"Provides the weak-commutation condition proving the multiparameter QCRB is attainable with an ancilla."}],"review_version":1}