Estimating multiple unknown parameters simultaneously is essential for practical quantum sensing. However, it faces a fundamental challenge: the optimal strategy for estimating one parameter is often incompatible with that for another, making it impossible to simultaneously achieve the ultimate precision limits for all parameters. Here we develop a general and efficient computational framework that jointly optimizes probe states, control operations, and measurements across different strategy families, including parallel, sequential, and those with indefinite causal order. Our approach provides exact semidefinite-program formulations for several precision bounds, including the Holevo, Nagaoka-Hayashi, and quantum Cramér-Rao bounds. We demonstrate the capabilities of the framework in multiparameter magnetometry and frequency estimation, identifying optimal protocols within each class and revealing a strict hierarchy among the achievable performances of different classes in the multiparameter regime. The framework also directly incorporates resource constraints, such as energy budgets, enabling systematic investigation of experimentally realistic sensing scenarios. Furthermore, we develop a finite-memory optimization method for sequential strategies with restricted ancillary-memory dimension. By decomposing the protocol into initial probe preparation and intermediate control operations, this method provides a practical route to designing resource-constrained sequential sensing schemes. Our work establishes a versatile computational tool for determining fundamental precision limits and designing optimal quantum-sensing protocols in complex multiparameter settings.
AI Summary
The paper addresses joint optimization of probes, intermediate controls, and measurements for locally unbiased multiparameter channel estimation, where measurement incompatibility prevents simultaneous saturation of single-parameter precision limits. It extends state-estimation conic methods to quantum-comb descriptions of parallel, sequential, and indefinite-causal-order strategies.
For definite causal order, a lifted variable combines the strategy and measurement–estimator operators, eliminating their bilinear coupling. Equivalence is established through forward contraction and reconstruction using purified combs. Different cone constraints yield exact SDP formulations for the optimized Holevo, Nagaoka–Hayashi, and SLD bounds. The tight locally unbiased measurement bound instead requires a separable cone and is not generally SDP-representable. The framework also incorporates process-matrix and causal-superposition constraints, together with energy budgets expressed through comb constraints.
Numerical demonstrations concern three-parameter qubit magnetometry with amplitude-damping noise, principally using $N=2$ channel accesses. They recover known noiseless precision benchmarks and optimal probe/control structures. In the examined noisy settings, the reported Holevo-bound ordering is $C^{\mathrm{Sup}}<C^{\mathrm{Seq}}<C^{\mathrm{Par}}<C^{\mathrm{SWI}}$, although causal-superposition and sequential performance are nearly identical; causal superposition and general ICO agree within $10^{-7}$.
A separate alternating-optimization method restricts sequential memory dimension, with a surrogate update and line search for identical repeated controls. A qubit-memory implementation approaches the unrestricted benchmark at low noise. Stated limitations include rapidly growing SDP dimensions, loss of global optimality under finite-memory iterative optimization, and instability or nonconvergence at high noise. General ICO strategies also lack an established physical implementation.
Little sign of AI-generated textUnclear noveltyOverclaimsPossible error
Central claim may not hold: The strategy contraction in Eq. (defination_omega) can map a positive operator to SWAP/4, invalidating its claimed positivity preservation and the exact SDP formulations as written.
The noiseless sequential optimum in Eq. (ana_adp) incorrectly multiplies the angular weights by sin² factors instead of dividing by them, contradicting the inverse of the optimal quantum Fisher information matrix.
The abstract claims a frequency-estimation demonstration that is absent from the supplied full text.
Written by gpt-6.1-sol from the paper's full text. Automated: it can be wrong.
Estimating multiple unknown parameters simultaneously is essential for practical quantum sensing. However, it faces a fundamental challenge: the optimal strategy for estimating one parameter is often incompatible with that for another, making it impossible to simultaneously achieve the ultimate precision limits for all parameters. Here we develop a general and efficient computational framework that jointly optimizes probe states, control operations, and measurements across different strategy families, including parallel, sequential, and those with indefinite causal order. Our approach provides exact semidefinite-program formulations for several precision bounds, including the Holevo, Nagaoka-Hayashi, and quantum Cramér-Rao bounds. We demonstrate the capabilities of the framework in multiparameter magnetometry and frequency estimation, identifying optimal protocols within each class and revealing a strict hierarchy among the achievable performances of different classes in the multiparameter regime. The framework also directly incorporates resource constraints, such as energy budgets, enabling systematic investigation of experimentally realistic sensing scenarios. Furthermore, we develop a finite-memory optimization method for sequential strategies with restricted ancillary-memory dimension. By decomposing the protocol into initial probe preparation and intermediate control operations, this method provides a practical route to designing resource-constrained sequential sensing schemes. Our work establishes a versatile computational tool for determining fundamental precision limits and designing optimal quantum-sensing protocols in complex multiparameter settings.
The paper addresses joint optimization of probes, intermediate controls, and measurements for locally unbiased multiparameter channel estimation, where measurement incompatibility prevents simultaneous saturation of single-parameter precision limits. It extends state-estimation conic methods to quantum-comb descriptions of parallel, sequential, and indefinite-causal-order strategies.
For definite causal order, a lifted variable combines the strategy and measurement–estimator operators, eliminating their bilinear coupling. Equivalence is established through forward contraction and reconstruction using purified combs. Different cone constraints yield exact SDP formulations for the optimized Holevo, Nagaoka–Hayashi, and SLD bounds. The tight locally unbiased measurement bound instead requires a separable cone and is not generally SDP-representable. The framework also incorporates process-matrix and causal-superposition constraints, together with energy budgets expressed through comb constraints.
Numerical demonstrations concern three-parameter qubit magnetometry with amplitude-damping noise, principally using N=2 channel accesses. They recover known noiseless precision benchmarks and optimal probe/control structures. In the examined noisy settings, the reported Holevo-bound ordering is CSup<CSeq<CPar<CSWI, although causal-superposition and sequential performance are nearly identical; causal superposition and general ICO agree within 10−7.
A separate alternating-optimization method restricts sequential memory dimension, with a surrogate update and line search for identical repeated controls. A qubit-memory implementation approaches the unrestricted benchmark at low noise. Stated limitations include rapidly growing SDP dimensions, loss of global optimality under finite-memory iterative optimization, and instability or nonconvergence at high noise. General ICO strategies also lack an established physical implementation.
Precise estimation of physical parameters underpins both scientific discovery and technological development. A central goal of quantum metrology and sensing is to exploit quantum resources like entanglement to devise optimal strategies for estimating physical parameters as precisely as possible. While substantial progress has been made in single-parameter quantum metrology, the multiparameter scenario remains significantly more challenging due to the issue of parameter incompatibility. In this work, we present a unified and computable approach for the simultaneous estimation of multiple parameters that attains the ultimate precision permitted by quantum mechanics. The core of our approach is to integrate the quantum tester formalism into the recently proposed tight Cramér-Rao type bound. This formulation enables us to figure out the highest achievable precision via upper and lower bounds that are computable via semidefinite programs. More importantly, within this formulation, diverse quantum resources, including entanglement, coherence, quantum control, and indefinite causal order, are treated on equal footing and systematically optimized for the purpose of achieving the ultimate precision in multiparameter estimation. As a result, our approach is applicable to various metrological strategies both in the presence and absence of noise. To demonstrate its utility, we revisit three-dimensional magnetic-field estimation, uncovering the strengths and limitations of existing analytical results and further establishing a strict hierarchy among different types of strategies.
The most general strategy for estimating parameters of a quantum channel is to probe the channel many times sequentially with the help of coherent ancillary systems. However, finding the strategy that minimizes the mean-squared error (MSE) is a notoriously hard problem, requiring optimization over the initial probe state, intermediate evolutions, final measurement, and classical postprocessing. In this work, we study how the minimum attainable MSE can be bounded from below in this setting. We propose a lower bound for the MSE of any physically implementable sequential sensing strategy that applies to estimating parameters of any physical quantum evolution, including quantum channels probed over multiple time steps under temporally correlated noise and general temporally correlated quantum processes. We show that this lower bound can be formulated as a semidefinite program (SDP). Our bound generalizes the Nagaoka-Hayashi lower bound (that applies to parameter estimation tasks with separable measurements) to the regime where the quantum channel can be accessed sequentially multiple times. For regular finite-dimensional single-parameter sequential estimation tasks admitting an optimal strategy, we show that our SDP bound is tight and provide a procedure to obtain a locally optimal strategy from the SDP optimizer. Using our optimization bound, we compute the MSE lower bound and derive new protocols for several other physically motivated problems including error-corrected quantum sensing under an unknown correlated noise model, multiparameter estimation, and estimation with qudit systems.
In this work, we study Bayesian quantum parameter estimation given a finite number of uses of the process encoding one or more unknown physical quantities. We analyze the performance of different kinds of quantum metrological protocols, including the conventional parallel, sequential, or general, which may involve an indefinite causal order. We also analyze a class of hybrid adaptive greedy strategies, which are based on classical feedforward between quantum protocols to optimize the next round. Within each class, the central question is to determine the optimal strategy -- namely, the choice of optimal input state, control operations, measurement, and estimators. Using the formalism of higher-order operations, we develop an algorithm that searches for the optimal solution, and we provide a numerical implementation based on semidefinite programming. Our benchmark cases, specifically those against existing analytical solutions, demonstrate how powerful and precise our method is. We further demonstrate the strength of our algorithm in several examples, from single to multiparameter estimation, and with various prior distributions. Particularly, we find examples where the adaptive greedy strategy matches the performance of general strategies with indefinite causal order, and at the same time examples that showcase a strict hierarchy between all different classes.
Nature imposes fundamental limits on how precisely we can probe the physical world. Quantum metrology is the study of achieving higher precision and accuracy in estimating the physical parameters by harnessing quantum resources. It is considered one of the most promising quantum technologies, offering significant advantages over classical ones in both near‑term and long‑term applications. However, existing theoretical research in quantum metrology often falls short of providing a unified and rigorous understanding of the ultimate precision under realistic experimental limitations on available quantum resources. In this thesis, we conduct a systematic investigation of the optimal precision limits in quantum metrology and identify the metrological strategies that achieve optimality under specified resource constraints. We primarily focus on the single-parameter estimation of quantum processes, a cornerstone task in quantum metrology. We first establish a general framework of strictly optimal quantum metrology using semidefinite programming within the formalism of higher-order quantum operations. This framework reveals a strict hierarchy for the performance of different families of strategies---parallel, sequential, and indefinite-causal-order ones---each subject to specific causal constraints. Our results rigorously demonstrate a quantum metrological advantage of indefinite causal order in finite-dimensional systems, which has recently aroused rapidly growing interest. In realistic scenarios, a fully optimized quantum metrology protocol may be experimentally demanding due to the complexity of state preparation and control. Tailored to practical constraints on the allowed ancilla and control operations, we propose a highly efficient tensor network algorithm to optimize the probe state and a long sequence of control for quantum metrology. When the number of control steps tends to infinity, we develop an asymptotic theory of quantum metrology for achieving the ultimate precision limit---Heisenberg limit---without ancilla. This contrasts with the traditional approach using quantum error correction for metrology that typically requires noiseless and controllable ancilla. Our results pave the way for exploiting the full potential of quantum resources in metrology. In the near term, our methods enable high-precision estimation with limited interaction with the unknown process using experimentally feasible control techniques. In the long term, they lay the foundation for scalable and fault-tolerant quantum metrology.
Quantum metrology achieves Heisenberg-limited precision in single-parameter estimation, but its multiparameter extension is fundamentally constrained by both parameter-encoding and measurement incompatibility. Noncommuting signal generators may cause incompatible parameter-encoding, preventing the quantum Fisher information matrix from simultaneously achieving the Heisenberg scale for all parameters. Due to incompatible optimal measurements, the classical Fisher information matrix represents the practical attainable precision. Here, we introduce a multiparameter metrology framework based on indefinite evolution (IE), in which different control operations and signal reversal are placed in a coherent superposition. For a single-qubit probe with mutually orthogonal signal generators, IE enables compatible parameter encoding and optimal measurement without the signal reversal. For parallel generators, where only signal reversal realized by its generator is available, IE can achieve the same performance. We further extend this mechanism to noisy, many-body, and high-dimensional probes, and establish general conditions for achieving the simultaneous Heisenberg-limit. In contrast, definite evolution cannot achieve the same performance under compatible optimal measurements, even when signal reversal is available. Our results identify IE as an operational resource for overcoming multiparameter incompatibility and open a route toward attainable Heisenberg-limited sensing in interferometric platforms.
Abstract This tutorial introduces a systematic approach for addressing the key question of quantum metrology: For a generic task of sensing an unknown parameter, what is the ultimate precision given a constrained set of admissible strategies. The approach outputs the maximal attainable precision (in terms of the maximum of quantum Fisher information) as a semidefinite program and optimal strategies as feasible solutions thereof. Remarkably, the approach can identify the optimal precision for different sets of strategies, including parallel, sequential, quantum SWITCH‐enhanced, causally superposed, and generic indefinite‐causal‐order strategies. The tutorial consists of a pedagogic introduction to the background and mathematical tools of optimal quantum metrology, a detailed derivation of the main approach, and various concrete examples. As shown in the tutorial, applications of the approach include, but are not limited to, strict hierarchy of strategies in noisy quantum metrology, memory effect in non‐Markovian metrology, and designing optimal strategies. Compared with traditional approaches, the approach here yields the exact value of the optimal precision, offering more accurate criteria for experiments and practical applications. It also allows for the comparison between conventional strategies and the recently discovered causally‐indefinite strategies, serving as a powerful tool for exploring this new area of quantum metrology.