Optical homodyne tomography is discussed in the context of classical image processing. Analogies between these two fields are traced and used to formulate an iterative numerical algorithm for reconstructing the Wigner function from homodyne statistics.
We propose a refined iterative likelihood-maximization algorithm for reconstructing a quantum state from a set of tomographic measurements. The algorithm is characterized by a very high convergence rate and features a simple adaptive procedure that ensures likelihood increase in every iteration and convergence to the maximum-likelihood state. We apply the algorithm to homodyne tomography of optical states and quantum tomography of entangled spin states of trapped ions and investigate its convergence properties.
The principle of maximum likelihood reconstruction has proven to yield satisfactory results in the context of quantum state tomography for many-body systems of moderate system sizes. Until recently, however, quantum state tomography has been considered to be infeasible for systems consisting of a large number of subsystems due to the exponential growth of the Hilbert space dimension with the number of constituents. Several reconstruction schemes have been proposed since then to overcome the two main obstacles in quantum many-body tomography: experiment time and postprocessing resources. Here w…
Maximum likelihood quantum state tomography yields estimators that are consistent, provided that the likelihood model is correct, but the maximum likelihood estimators may have bias for any finite data set. The bias of an estimator is the difference between the expected value of the estimate and the true value of the parameter being estimated. This paper investigates bias in the widely used maximum likelihood quantum state tomography. Our goal is to understand how the amount of bias depends on factors such as the purity of the true state, the number of measurements performed, and the number of…
When performing maximum-likelihood quantum-state tomography, one must find the quantum state that maximizes the likelihood of the state given observed measurements on identically prepared systems. The optimization is usually performed with iterative algorithms. This paper provides a gradient-based upper bound on the ratio of the true maximum likelihood and the likelihood of the state of the current iteration, regardless of the particular algorithm used. This bound is useful for formulating stopping rules for halting iterations of maximization algorithms. We discuss such stopping rules in the c…
I propose an iterative expectation maximization algorithm for reconstructing a quantum optical ensemble from a set of balanced homodyne measurements performed on an optical state. The algorithm applies directly to the acquired data, bypassing the intermediate step of calculating marginal distributions. The advantages of the new method are made manifest by comparing it with the traditional inverse Radon transformation technique.
Quantum state tomography aims to determine the quantum state of a system from measured data and is an essential tool for quantum information science. When dealing with continuous variable quantum states of light, tomography is often done by measuring the field amplitudes at different optical phases using homodyne detection. The quadrature-phase homodyne measurement outputs a continuous variable, so to reduce the computational cost of tomography, researchers often discretize the measurements. We show that this can be done without significantly degrading the fidelity between the estimated state …
Coherent-state quantum process tomography (csQPT) is a method of completely characterizing a quantum-optical "black box" by probing it with coherent states and performing homodyne measurements on the output [M. Lobino et al, Science 322, 563 (2008)]. We present a technique for csQPT that is fully based on statistical inference, specifically, quantum expectation-maximization. The method relies on the Jamiolkowski isomorphism and iteratively reconstructs the process tensor in the Fock basis directly from the experimental data. This approach permits incorporation of a priori constraints into the …
There exists, in general, a convex set of quantum state estimators that maximize the likelihood for informationally incomplete data. We propose an estimation scheme, catered to measurement data of this kind, to search for the exact maximum-likelihood-maximum-entropy estimator using semidefinite programming and a standard multi-dimensional function optimization routine. This scheme can be used to infer the expectation values of a set of entanglement witnesses that can be used to verify the entanglement of the unknown quantum state for composite systems. Next, we establish an alternative numeric…
We introduce and demonstrate experimentally: (1) a framework called "gate set tomography" (GST) for self-consistently characterizing an entire set of quantum logic gates on a black-box quantum device; (2) an explicit closed-form protocol for linear-inversion gate set tomography (LGST), whose reliability is independent of pathologies such as local maxima of the likelihood; and (3) a simple protocol for objectively scoring the accuracy of a tomographic estimate without reference to target gates, based on how well it predicts a set of testing experiments. We use gate set tomography to characteriz…
Quantum state tomography on a d-dimensional system demands resources that grow rapidly with d. They may be reduced by using model selection to tailor the number of parameters in the model (i.e., the size of the density matrix). Most model selection methods typically rely on a test statistic and a null theory that describes its behavior when two models are equally good. Here, we consider the loglikelihood ratio. Because of the positivity constraint $ρ\geq 0$, quantum state space does not generally satisfy local asymptotic normality, meaning the classical null theory for the loglikelihood ratio …
Whenever we do not have an informationally complete set of measurements, the estimate of a quantum state can not be uniquely determined. In this case, among the density matrices compatible with the available data, it is commonly preferred that one which is the most uncommitted with the missing information. This is the purpose of the Maximum Entropy estimation (MaxEnt) and the Variational Quantum Tomography (VQT). Here, we propose a variant of Variational Quantum Tomography and show its relationship with Maximum Entropy methods in quantum tomographies with incomplete set of measurements. We pro…
A statistically feasible data post-processing method for the conventional qubit state tomography is studied from an information geometrical point of view. It is shown that the space $(-1,1)^3$ of the Stokes parameters $(ξ_1, ξ_2,ξ_3)$ that specify qubit states should be regarded as a Riemannian manifold endowed with a metric $g_{ij}:=δ_{ij}/(1-(ξ_i)^2)$, and that the data processing based on the maximum likelihood method is realized by the orthogonal projection from the empirical distribution onto the Bloch sphere with respect to the metric $g_{ij}$. An efficient algorithm for computing the ma…
Conventional methods for computing maximum-likelihood estimators (MLE) often converge slowly in practical situations, leading to a search for simplifying methods that rely on additional assumptions for their validity. In this work, we provide a fast and reliable algorithm for maximum likelihood reconstruction that avoids this slow convergence. Our method utilizes the state-of-the-art convex optimization scheme---an accelerated projected-gradient method---that allows one to accommodate the quantum nature of the problem in a different way than in the standard methods. We demonstrate the power of…
I present a novel algorithm for reconstructing the Wigner function from homodyne statistics. The proposed method, based on maximum-likelihood estimation, is capable of compensating for detection losses in a numerically stable way.
We propose an iterative algorithm that computes the maximum-likelihood estimate in quantum state tomography. The optimization error of the algorithm converges to zero at an $O ( ( 1 / k ) \log D )$ rate, where $k$ denotes the number of iterations and $D$ denotes the dimension of the quantum state. The per-iteration computational complexity of the algorithm is $O ( D ^ 3 + N D ^2 )$, where $N$ denotes the number of measurement outcomes. The algorithm can be considered as a parameter-free correction of the $R ρR$ method [A. I. Lvovsky. Iterative maximum-likelihood reconstruction in quantum homod…
National Taiwan University(国立台湾大学);Hon Hai (Foxconn) Quantum Computing Centre(鸿海(富士康)量子计算中心)
In maximum-likelihood quantum state tomography, both the sample size and dimension grow exponentially with the number of qubits. It is therefore desirable to develop a stochastic first-order method, just like stochastic gradient descent for modern machine learning, to compute the maximum-likelihood estimate. To this end, we propose an algorithm called stochastic mirror descent with the Burg entropy. Its expected optimization error vanishes at a $O ( \sqrt{ ( 1 / t ) d \log t } )$ rate, where $d$ and $t$ denote the dimension and number of iterations, respectively. Its per-iteration time complex…
Quantum states are successfully reconstructed using the maximum likelihood estimation on the subspace where the measured projectors reproduce the identity operator. Reconstruction corresponds to normalization of incompatible observations. The proposed approach handles the noisy data corresponding to realistic incomplete observation with finite resolution.
Maximum likelihood estimation (MLE) is the most common approach to quantum state tomography. In this letter, we investigate whether it is also optimal in any sense. We show that MLE is an inadmissible estimator for most of the commonly used metrics of accuracy, i.e., some other estimator is more accurate for every true state. MLE is inadmissible for fidelity, mean squared error (squared Hilbert-Schmidt distance), and relative entropy. We prove that almost any estimator that can report both pure states and mixed states is inadmissible. This includes MLE, compressed sensing (nuclear-norm regular…
Maximum likelihood estimation is one of the most used methods in quantum state tomography, where the aim is to reconstruct the density matrix of a physical system from measurement results. One strategy to deal with positivity and unit trace constraints is to parameterize the matrix to be reconstructed in order to ensure that it is physical. In this case, the negative log-likelihood function in terms of the parameters, may have several local minima. In various papers in the field, a source of errors in this process has been associated to the possibility that most of these local minima are not g…
We report on an intrinsic relationship between the maximum-likelihood quantum-state estimation and the representation of the signal. A quantum analogy of the transfer function determines the space where the reconstruction should be done without the need for any ad hoc truncations of the Hilbert space. An illustration of this method is provided by a simple yet practically important tomography of an optical signal registered by realistic binary detectors.
Quantum state tomography (QST) aims at estimating a quantum state from averaged quantum measurements made on copies of the state. Most quantum algorithms rely on QST at some point and it is a well explored topic in the literature, mostly for mixed states. In this paper we focus on the QST of a pure quantum state using parallel unentangled measurements. Pure states are a small but useful subset of all quantum states, their tomography requires fewer measurements and is essentially a phase recovery problem. Parallel unentangled measurements are easy to implement in practice because they allow the…
In this paper, we derive analytic expressions for the starting (initial) values of the parameters of the T-matrix that is frequently employed in the construction of a theoretical density matrix in a Maximum Likelihood Estimate (MLE) procedure; this optimization procedure is used to fit the experimental data pertaining to single qubit state tomography. Appropriate starting values are critical in achieving a global minimum in the fitting process. We also indicate an analytic way of making the experimentally determined density matrix physical without resorting to the MLE process, if optimality in…
We describe quantum tomography as an inverse statistical problem and show how entropy methods can be used to study the behaviour of sieved maximum likelihood estimators. There remain many open problems, and a main purpose of the paper is to bring these to the attention of the statistical community.
Common tools for obtaining physical density matrices in experimental quantum state tomography are shown here to cause systematic errors. For example, using maximum likelihood or least squares optimization for state reconstruction, we observe a systematic underestimation of the fidelity and an overestimation of entanglement. A solution for this problem can be achieved by a linear evaluation of the data yielding reliable and computational simple bounds including error bars.
In quantum tomography, a quantum state or process is estimated from the results of measurements on many identically prepared systems. Tomography can never identify the state or process exactly. Any point estimate is necessarily "wrong" -- at best, it will be close to the true state. Making rigorous, reliable statements about the system requires region estimates. In this article, I present a procedure for assigning likelihood ratio (LR) confidence regions, an elegant and powerful generalization of error bars. In particular, LR regions are almost optimally powerful -- i.e., they are as small as …
We have performed the first experimental tomographic reconstruction of a three-photon polarization state. Quantum state tomography is a powerful tool for fully describing the density matrix of a quantum system. We measured 64 three-photon polarization correlations and used a "maximum-likelihood" reconstruction method to reconstruct the GHZ state. The entanglement class has been characterized using an entanglement witness operator and the maximum predicted values for the Mermin inequality was extracted.
In this paper, we focus on alternate forms of the T-matrix used in the Maximum Likelihood Estimate (MLE) procedure for fitting the experimental data collected in quantum state tomography experiments. In particular, we analyze the single quantum state tomography case, deriving in the process three new valid alternate forms for achieving optimality. These alternative forms then serve as a consistency check, thus enhancing the robustness of the MLE fitting process. One form, in particular, serves as a useful compliment to the standard form normally employed. We subsequently provide a generalizati…
Quantum state tomography (QST), the task of estimating an unknown quantum state given measurement outcomes, is essential to building reliable quantum computing devices. Whereas computing the maximum-likelihood (ML) estimate corresponds to solving a finite-sum convex optimization problem, the objective function is not smooth nor Lipschitz, so most existing convex optimization methods lack sample complexity guarantees; moreover, both the sample size and dimension grow exponentially with the number of qubits in a QST experiment, so a desired algorithm should be highly scalable with respect to the…
We propose an iterative algorithm for incomplete quantum process tomography, with the help of quantum state estimation, based on the combined principles of maximum-likelihood and maximum-entropy. The algorithm yields a unique estimator for an unknown quantum process when one has less than a complete set of linearly independent measurement data to specify the quantum process uniquely. We apply this iterative algorithm adaptively in various situations and so optimize the amount of resources required to estimate the quantum process with incomplete data.
Maximum likelihood estimation is applied to the determination of an unknown quantum measurement. The measuring apparatus performs measurements on many different quantum states and the positive operator-valued measures governing the measurement statistics are then inferred from the collected data via Maximum-likelihood principle. In contrast to the procedures based on linear inversion, our approach always provides physically sensible result. We illustrate the method on the case of Stern-Gerlach apparatus.
We apply a general method for the estimation of completely positive maps to the 1-to-2 universal covariant cloning machine. The method is based on the maximum-likelihood principle, and makes use of random input states, along with random projective measurements on the output clones. The downhill simplex algorithm is applied for the maximisation of the likelihood functional.
The data of the experiment of Schiller et al., Phys. Rev. Lett. 77 (1996) 2933, are alternatively evaluated using the maximum likelihood estimation. The given data are fitted better than by the standard deterministic approach. Nevertheless, the data are fitted equally well by a whole family of states. Standard deterministic predictions correspond approximately to the envelope of these maximum likelihood solutions.
Using a Bayesian methodology, we introduce the maximum a posteriori~(MAP) estimator for quantum state and process tomography. The maximum likelihood, hedged maximum likelihood, maximum likelihood-maximum entropy estimator, and estimators of this general type, can be viewed as special cases of the MAP estimator. The MAP, like the Bayes mean estimator includes prior knowledge, however for cases of interest to tomography can take advantage of convex optimization tools making it numerically easier to compute. We show how the MAP and other Bayesian quantum state estimators can be corrected for nois…
The maximum-likelihood method for quantum estimation is reviewed and applied to the reconstruction of density matrix of spin and radiation as well as to the determination of several parameters of interest in quantum optics.
In quantum-state tomography on sources with quantum degrees of freedom of large Hilbert spaces, inference of quantum states of light for instance, a complete characterization of the quantum states for these sources is often not feasible owing to limited resources. As such, the concepts of informationally incomplete state estimation becomes important. These concepts are ideal for applications to quantum channel/process tomography, which typically requires a much larger number of measurement settings for a full characterization of a quantum channel. Some key aspects of both quantum-state and qua…
This review covers latest developments in continuous-variable quantum-state tomography of optical fields and photons, placing a special accent on its practical aspects and applications in quantum information technology. Optical homodyne tomography is reviewed as a method of reconstructing the state of light in a given optical mode. A range of relevant practical topics are discussed, such as state-reconstruction algorithms (with emphasis on the maximum-likelihood technique), the technology of time-domain homodyne detection, mode matching issues, and engineering of complex quantum states of ligh…
Quantum state tomography (QST) is typically performed from a frequentist viewpoint using maximum likelihood estimation (MLE) which seeks to find the best plausible state consistent with the data by maximizing a likelihood function / distribution. The likelihood function holds an implicit assumption that there is suitable data to infer frequency. In data-starved experiments, this may or may not be a feasible assumption. Moreover, MLE returns no error estimates on the final solution and users are forced to rely on alternative approaches involving either additional measurements or simulated data.…
Bayesian estimation of a mixed quantum state can be approximated via maximum likelihood (MaxLike) estimation when the likelihood function is sharp around its maximum. Such approximations rely on asymptotic expansions of multi-dimensional Laplace integrals. When this maximum is on the boundary of the integration domain, as it is the case when the MaxLike quantum state is not full rank, such expansions are not standard. We provide here such expansions, even when this maximum does not belong to the smooth part of the boundary, as it is the case when the rank deficiency exceeds two. These expansio…