We consider the problem of estimating the ensemble average of an observable on an ensemble of equally prepared identical quantum systems. We show that, among all kinds of measurements performed jointly on the copies, the optimal unbiased estimation is achieved by the usual procedure that consists in performing independent measurements of the observable on each system and averaging the measurement outcomes.
Quantum estimation theory provides optimal observations for various estimation problems for unknown parameters in the state of the system under investigation. However, the theory has been developed under the assumption that every observable is available for experimenters. Here, we generalize the theory to problems in which the experimenter can use only locally accessible observables. For such problems, we establish a Cram{é}r-Rao type inequality by obtaining an explicit form of the Fisher information as a reciprocal lower bound for the mean square errors of estimations by locally accessible ob…
We study the optimal way to estimate the quantum expectation value of a physical observable when a finite number of copies of a quantum pure state are presented. The optimal estimation is determined by minimizing the squared error averaged over all pure states distributed in a unitary invariant way. We find that the optimal estimation is "biased", though the optimal measurement is given by successive projective measurements of the observable. The optimal estimate is not the sample average of observed data, but the arithmetic average of observed and "default nonobserved" data, with the latter c…
We investigate the optimal estimation of quantum expectation value of a physical observable, which minimizes a mean error with respect to general measure of deviation, when a finite number of copies of a pure state are prepared. If pure sates are uniformly distributed, the minimum value of mean error for any measure of deviation is achieved by projective measurement on each copy.
Any method for estimating the ensemble average of arbitrary operator (observables or not, including the density matrix) relates the quantity of interest to a complete set of observables, i.e. a quorum}. This corresponds to an expansion on an irreducible set of operators in the Liouville space. We give two general characterizations of these sets. All the known unbiased reconstruction techniques, i.e. ``quantum tomographies'', can be described in this framework. New operatorial resolutions are given that can be used to implement novel reconstruction schemes.
We present observable upper bounds of squared concurrence, which are the dual inequalities of the observable lower bounds introduced in [F. Mintert and A. Buchleitner, Phys. Rev. Lett. 98, 140505 (2007)] and [L. Aolita, A. Buchleitner and F. Mintert, Phys. Rev. A 78, 022308 (2008)]. These bounds can be used to estimate entanglement for arbitrary experimental unknown finite-dimensional states by few experimental measurements on a twofold copy $ρ\otimesρ$ of the mixed states. Furthermore, the degree of mixing for a mixed state and some properties of the linear entropy also have certain relations…
We introduce the quantum indirect estimation theory, which provides a general framework to address the problem of which ensemble averages can be estimated by means of an available set of measuring apparatuses, e. g. estimate the ensemble average of an observable by measuring other observable. A main ingredient in this approach is that of informationally complete (infocomplete in short) measurements, which allow to estimate the ensemble average of any arbitrary system operator, as for quantum tomography. This naturally leads to the more stringent concept of AB-informationally complete measureme…
Propagation of error is a widely used estimation tool in experiments, where the estimation precision of the parameter depends on the fluctuation of the physical observable. Thus which observable is chosen will greatly affect the estimation sensitivity. Here we study the optimal observable for the ultimate sensitivity bounded by the quantum Cramér-Rao theorem in parameter estimation. By invoking the Schrödinger-Robertson uncertainty relation, we derive the necessary and sufficient condition for the optimal observables saturating the ultimate sensitivity for single parameter estimate. By applyin…
We discuss how continuous probing of a quantum system allows estimation of unknown classical parameters embodied in the Hamiltonian of the system. We generalize the stochastic master equation associated with continuous observation processes to a Bayesian filter equation for the probability distribution of the desired parameters, and we illustrate its application by estimating the direction of a magnetic field. In our example, the field causes a ground state spin precession in a two-level atom which is detected by the polarization rotation of off-resonant optical probes, interacting with the at…
Various forms of optimality for quantum observables described as normalized positive operator valued measures (POVMs) are studied in this paper. We give characterizations for observables that determine the values of the measured quantity with probabilistic certainty or a state of the system before or after the measurement. We investigate observables which are free from noise caused by classical post-processing, mixing, or pre-processing of quantum nature. Especially, a complete characterization of pre-processing and post-processing clean observables is given, and necessary and sufficient condi…
Four common optimality criteria for measurements are formulated using relations in the set of observables, and their connections are clarified. As case studies, 1-0 observables, localization observables, and photon counting observables are considered.
We present observable lower and upper bounds for the entanglement of formation (EOF) and quantum discord (QD), which facilitates estimates of EOF and QD for arbitrary experimental unknown states in finite-dimensional bipartite systems. These bounds can be easily obtained by a few experimental measurements on a twofold copy $\varrho\otimes\varrho$ of the mixed states. Based on our results, we use the experimental measurement data of the real experiment given by Schmid \textit{et al.} [Phys. Rev. Lett. \textbf{101}, 260505 (2008)] to obtain the lower and upper bounds of EOF and QD for the experi…
Heisenberg's uncertainty relations for measurement quantify how well we can jointly measure two complementary observables and have attracted much experimental and theoretical attention recently. Here we provide an exact tradeoff between the worst-case errors in measuring jointly two observables of a qubit, i.e., all the allowed and forbidden pairs of errors, especially asymmetric ones, are exactly pinpointed. For each pair of optimal errors we provide an optimal joint measurement that is realizable without introducing any ancilla and entanglement. Possible experimental implementations are disc…
Recent works identified resolution limits for the distance between incoherent point sources. However, it remains unclear how to choose suitable observables and estimators to reach these limits in practical situations. Here, we show how estimators saturating the Cramér-Rao bound for the distance between two thermal point sources can be constructed using an optimally designed observable in the presence of practical imperfections, such as misalignment, crosstalk and detector noise.
By invoking quantum estimation theory we formulate bounds of errors in quantum measurement for arbitrary quantum states and observables in a finite-dimensional Hilbert space. We prove that the measurement errors of two observables satisfy Heisenberg's uncertainty relation, find the attainable bound, and provide a strategy to achieve it.
Machine learning of measurement schemes for efficient quantum observable estimation
University of Toronto(多伦多大学);Vector Institute for Artificial Intelligence(向量人工智能研究所);National Institute of Advanced Industrial Science and Technology (AIST)(产业技术综合研究所);Keio University(庆应义塾大学)
Quantum state estimation is an important task of many quantum information protocols. We consider two families of unitary evolution operators, one with a one-parameter and the other with a two-parameter, which enable the estimation of a single spin component and all spin components, respectively, of a two-level quantum system. To evaluate the tomographic performance, we use the quantum tomographic transfer function (qTTF), which is calculated as the average over all pure states of the trace of the inverse of the Fisher information matrix. Our goal is to optimize the qTTF for both estimation mod…
The accurate estimation of quantum observables is a critical task in science. With progress on the hardware, measuring a quantum system will become increasingly demanding, particularly for variational protocols that require extensive sampling. Here, we introduce a measurement scheme that adaptively modifies the estimator based on previously obtained data. Our algorithm, which we call AEQuO, continuously monitors both the estimated average and the associated error of the considered observable, and determines the next measurement step based on this information. We allow both for overlap and non-…
We show that the entanglement witnesses based on local orthogonal observables which are introduced in [S. Yu and N.-L. Liu, Phys. Rev. Lett. 95, 150504 (2005)] and [O. Gühne, M. Mechler, G. Tóth and P. Adam, Phys. Rev. A 74, 010301 (2006)] in linear and nonlinear forms can be optimized, respectively. As applications, we calculate the optimal nonlinear witnesses of pure bipartite states and show a lower bound on the I-concurrence of bipartite higher dimensional systems with our method.
Experimental determination of entanglement is important not only to characterize the state and use it in quantum information, but also in understanding complicated phenomena such as phase transitions. In this paper we show that in many cases, it is possible to determine entanglement of a two qubit state, as represented by concurrence, with a few observables, most of which are local. In particular, rank 1 and rank 2 states need exclusively measurement of local observables while rank 3 states need measurement of just one correlation observable in addition to local observables. Only the rank 4 st…
Entanglement does not correspond to any observable and its evaluation always corresponds to an estimation procedure where the amount of entanglement is inferred from the measurements of one or more proper observables. Here we address optimal estimation of entanglement in the framework of local quantum estimation theory and derive the optimal observable in terms of the symmetric logarithmic derivative. We evaluate the quantum Fisher information and, in turn, the ultimate bound to precision for several families of bipartite states, either for qubits or continuous variable systems, and for differ…
The uncertainty relations, pioneered by Werner Heisenberg nearly 90 years ago, set a fundamental limitation on the joint measurability of complementary observables. This limitation has long been a subject of debate, which has been reignited recently due to new proposed forms of measurement uncertainty relations. The present work is associated with a new error trade-off relation for compatible observables approximating two incompatible observables, in keeping with the spirit of Heisenberg's original ideas of 1927. We report the first \textsl{direct} test and confirmation of the tight bounds pre…
We propose a quantum algorithm to compute low-energy expectation values of a quantum Hamiltonian by sampling a partition function associated with the average energy of that Hamiltonian. For any given quantum circuit-Hamiltonian pair, there is an associated average energy. The sampling is done through an accept/reject Metropolis-style algorithm on the quantum gates of the circuit itself. Observables calculated under the canonical ensemble from these samples of circuits are extrapolated from higher-energies to the ground state.
We investigate the role of symmetric quantum cloning machines (QCMs) in quantifying the mutual incompatibility of quantum observables. Specifically, we identify a cloning-based incompatibility measure whereby the incompatibility of a set of observables maybe quantified in terms of how well a uniform ensemble of their eigenstates can be cloned via a symmetric QCM. We show that this new incompatibility measure $\mathcal{Q}_{c}$ is {\it faithful} since it vanishes only for commuting observables. We prove an upper bound for $\mathcal{Q}_{c}$ for any set of observables in a finite-dimensional syste…
Joint or simultaneous measurements of non-commuting quantum observables are possible at the cost of increased unsharpness or measurement uncertainty. Many different criteria exist for defining what an "optimal" joint measurement is, with corresponding different tradeoff relations for the measurements. Understanding the limitations of such measurements is of fundamental interest and relevant for quantum technology. Here, we experimentally test a tradeoff relation for the sharpness of qubit measurements, a relation which refers directly to the form of the measurement operators, rather than to er…
We introduce a technique to estimate error-mitigated expectation values on noisy quantum computers. Our technique performs shadow tomography on a logical state to produce a memory-efficient classical reconstruction of the noisy density matrix. Using efficient classical post-processing, one can mitigate errors by projecting a general nonlinear function of the noisy density matrix into the codespace. The subspace expansion and virtual distillation can be viewed as special cases of the new framekwork. We show our method is favorable in the quantum and classical resources overhead. Relative to sub…
We study the joint estimation of multiple Rabi frequencies in a multilevel system. By analytically identifying the optimal probe state and the optimal measurement, we obtain the highest precision limit for the joint estimation of multiple Rabi frequencies. We show that the joint estimation does not always outperform the separate estimation. In different regimes the joint estimation can either outperform or underperform the separate estimation. We further show that if additional adaptive quantum controls are allowed then the advantage of the joint estimation over the separate estimation can be …
We study the issue of simultaneous estimation of several phase shifts induced by commuting operators on a quantum state. We derive the optimal positive operator-valued measure corresponding to the multiple-phase estimation. In particular, we discuss the explicit case of the optimal detection of double phase for a system of identical qutrits and generalise these results to optimal multiple phase detection for d-dimensional quantum states.
We establish a connection between optimal quantum cloning and optimal state estimation for d-dimensional quantum systems. In this way we derive an upper limit on the fidelity of state estimation for d-dimensional pure quantum states and, furthermore, for generalized inputs supported on the symmetric subspace.
We identify optimal measurement strategies for phase estimation in different scenarios. For pure states of a single qubit, we show that optimal measurements form a broad set parametrized with a continuous variable. When the state is mixed this set reduces to merely two possible measurements. For two qubits, we focus on the symmetric Werner state. We find an optimal measurement and show that estimation from the population imbalance is optimal only if the state is pure. Finally, for a pure state of $N$ qubits, we finds under which conditions the estimation from the full $N$-body correlation and …
We address the problem of optimal estimation of the relative phase for two-dimensional quantum systems in mixed states. In particular, we derive the optimal measurement procedures for an arbitrary number of qubits prepared in the same mixed state.
We present the optimal estimation of an unknown squeezing transformation of the radiation field. The optimal estimation is unbiased and is obtained by properly considering the degeneracy of the squeezing operator. For coherent input states, the r.m.s. of the estimation scales as $(2\sqrt {\bar n})^{-1}$ versus the average photon number $\bar n$, while it can be enhanced to $(2\bar n)^{-1}$ by using displaced squeezed states.
We investigate simultaneous estimation of multi-parameter quantum estimation with time-dependent Hamiltonians. We analytically obtain the maximal quantum Fisher information matrix for two-parameter in time-dependent three-level systems. The optimal coherent control scheme is proposed to increase the estimation precisions. In a example of a spin-1 particle in a uniformly rotating magnetic field, the optimal coherent Hamiltonians for different parameters can be chosen to be completely same. However, in general, the optimal coherent Hamiltonians for different parameters are incompatibility. In th…
We describe algorithms, and experimental strategies, for the Pareto optimal control problem of simultaneously driving an arbitrary number of quantum observable expectation values to their respective extrema. Conventional quantum optimal control strategies are less effective at sampling points on the Pareto frontier of multiobservable control landscapes than they are at locating optimal solutions to single observable control problems. The present algorithms facilitate multiobservable optimization by following direct paths to the Pareto front, and are capable of continuously tracing the front on…
We consider the problem of jointly estimating expectation values of many Pauli observables, a crucial subroutine in variational quantum algorithms. Starting with randomized measurements, we propose an efficient derandomization procedure that iteratively replaces random single-qubit measurements with fixed Pauli measurements; the resulting deterministic measurement procedure is guaranteed to perform at least as well as the randomized one. In particular, for estimating any $L$ low-weight Pauli observables, a deterministic measurement on only of order $\log(L)$ copies of a quantum state suffices.…
We address quantum estimation in situations where one has at disposal data from the measurement of an incomplete set of observables and some a priori information on the state itself. By expressing the a priori information in terms of a bias toward a given state the problem may be faced by minimizing the quantum relative entropy (Kullback entropy) with the constraint of reproducing the data. We exploit the resulting minimum Kullback entropy principle for the estimation of a quantum state from the measurement of a single observable, either from the sole mean value or from the complete probabilit…
We present a versatile inequality of uncertainty relations which are useful when one approximates an observable and/or estimates a physical parameter based on the measurement of another observable. It is shown that the optimal choice for proxy functions used for the approximation is given by Aharonov's weak value, which also determines the classical Fisher information in parameter estimation, turning our inequality into the genuine Cram{é}r-Rao inequality. Since the standard form of the uncertainty relation arises as a special case of our inequality, and since the parameter estimation is avail…
We explore the task of optimal quantum channel identification, and in particular the estimation of a general one parameter quantum process. We derive new characterizations of optimality and apply the results to several examples including the qubit depolarizing channel and the harmonic oscillator damping channel. We also discuss the geometry of the problem and illustrate the usefulness of using entanglement in process estimation.
We address the problem of the optimal quantum estimation of the coupling parameter of a bilinear interaction, such as the transmittivity of a beam splitter or the internal phase-shift of an interferometer. The optimal measurement scheme exhibits Heisenberg scaling of the measurement precision versus the total energy.
We show that the stochastic Schrodinger equation for the filtered state of a system, with linear free dynamics, undergoing continual non-demolition measurement or either position or momentum, or both together, can be solved explicitly within a class of Gaussian states which we call extended coherent states. The asymptotic limit yields a class of relaxed states which we describe explicitly. Bellman's principle is then applied directly to optimal feedback control of such dynamical systems and the Hamilton Jacobi Bellman equation for the minimum cost is derived. The situation of quadratic perform…
We study various optimality criteria for quantum observables. Observables are represented as covariant positive operator valued measures and we consider the case when the symmetry group is compact. Phase observables are examined as an example.
We analyze the statistics of observables in continuous variable quantum teleportation in the formalism of the characteristic function. We derive expressions for average values of output state observables in particular cumulants which are additive in terms of the input state and the resource of teleportation. Working with Squeezed Bell-like states, which may be optimized in a free parameter for better teleportation performance we discuss the relation between resources optimal for fidelity and for different observable averages. We obtain the values of the free parameter which optimize the centra…
We present the experimental realization of the optimal estimation protocol for a Pauli noisy channel. The method is based on the generation of 2-qubit Bell states and the introduction of quantum noise in a controlled way on one of the state subsystems. The efficiency of the optimal estimation, achieved by a Bell measurement, is shown to outperform quantum process tomography.