Abstract The ultimate precision in quantum sensing could be achieved using optimal quantum probe states. However, current quantum sensing protocols do not use probe states optimally. Indeed, the calculation of optimal probe states remains an outstanding challenge. Here, we present an algorithm that efficiently calculates a probe state for correlated and uncorrelated measurement strategies. The algorithm involves a conic program, which minimizes a linear objective function subject to conic constraints on a operator-valued variable. Our algorithm outputs a probe state that is a simple function of the optimal variable. We prove that our algorithm finds the optimal probe state for channel estimation problems, even in the multiparameter setting. For many noiseless quantum sensing problems, we prove the optimality of maximally entangled probe states. We also analyze the performance of 3D-field sensing using various probe states. Our work opens the door for a plethora of applications in quantum metrology.
Abstract The ultimate precision in quantum sensing could be achieved using optimal quantum probe states. However, current quantum sensing protocols do not use probe states optimally. Indeed, the calculation of optimal probe states remains an outstanding challenge. Here, we present an algorithm that efficiently calculates a probe state for correlated and uncorrelated measurement strategies. The algorithm involves a conic program, which minimizes a linear objective function subject to conic constraints on a operator-valued variable. Our algorithm outputs a probe state that is a simple function of the optimal variable. We prove that our algorithm finds the optimal probe state for channel estimation problems, even in the multiparameter setting. For many noiseless quantum sensing problems, we prove the optimality of maximally entangled probe states. We also analyze the performance of 3D-field sensing using various probe states. Our work opens the door for a plethora of applications in quantum metrology.
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.
In the quest to unlock the maximum potential of quantum sensors, it is of paramount importance to have practical measurement strategies that can estimate incompatible parameters with best precisions possible. However, it is still not known how to find practical measurements with optimal precisions, even for uncorrelated measurements over probe states. Here, we give a concrete way to find uncorrelated measurement strategies with optimal precisions. We solve this fundamental problem by introducing a framework of conic programming that unifies the theory of precision bounds for multiparameter estimates for uncorrelated and correlated measurement strategies under a common umbrella. Namely, we give precision bounds that arise from linear programs on various cones defined on a tensor product space of matrices, including a particular cone of separable matrices. Subsequently, our theory allows us to develop an efficient algorithm that calculates both upper and lower bounds for the ultimate precision bound for uncorrelated measurement strategies, where these bounds can be tight. In particular, the uncorrelated measurement strategy that arises from our theory saturates the upper bound to the ultimate precision bound. Also, we show numerically that there is a strict gap between the previous efficiently computable bounds and the ultimate precision bound.
The choice of probe state is essential to achieving ultimate precision in quantum metrology. For a single parameter, an equal superposition of eigenstates associated with the largest and smallest generator eigenvalues is optimal. This simple construction does not directly extend to multiple parameters, since different parameters can favor different probes. We address this difficulty through a geometric construction of optimal probes for multiparameter estimation in distributed quantum sensing. In this setting, the generators commute and share a common eigenbasis, so each common eigenstate defines a vector of generator eigenvalues. We show that the minimal enclosing balls and ellipsoids of these vectors determine the maximal total quantum Fisher information and the minimum weighted covariance, respectively. In both cases, the boundary of the convex body identifies the common eigenstates that can contribute to an optimal probe, and its center and shape specify the conditions that their populations must satisfy. Our results provide a systematic approach to designing optimal probe states, linking the structure of the parameter generators directly to the attainable precision in multiparameter quantum metrology.
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.
We present a novel strategy for obtaining optimal probe states and measurement schemes in a class of noiseless multiparameter estimation problems with symmetry among the generators. The key to the framework is the introduction of a set of quantum metrology conditions, analogous to the quantum error correction conditions of Knill and Laflamme, which are utilized to identify probe states that saturate the multiparameter quantum Cramér-Rao bound. Similar to finding two-dimensional irreps for encoding a logical qubit in error correction, we identify trivial irreps of finite groups that guarantee the satisfaction of the quantum metrology conditions. To demonstrate our framework, we analyze the SU(2) estimation with symmetric states in which three parameters define a global rotation of an ensemble of N qubits. For even N, we find that tetrahedral symmetry and, with fine-tuning, S3 symmetry, are minimal symmetry groups providing optimal probe states for SU(2) estimation, but that the quantum metrology conditions can also be satisfied in an entanglement-assisted setting by using a maximally entangled state of two spin-N/2 representations for any N. By extending the multiparameter method of moments to non-commuting observables, we use the quantum metrology conditions to construct a measurement scheme that saturates the multiparameter quantum Cramér-Rao bound for small rotation angles.
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.