We introduce maximum likelihood fragment tomography (MLFT) as an improved circuit cutting technique for running clustered quantum circuits on quantum devices with a limited number of qubits. In addition to minimizing the classical computing overhead of circuit cutting methods, MLFT finds the most likely probability distribution for the output of a quantum circuit, given the measurement data obtained from the circuit's fragments. We demonstrate the benefits of MLFT for accurately estimating the output of a fragmented quantum circuit with numerical experiments on random unitary circuits. Finally, we show that circuit cutting can estimate the output of a clustered circuit with higher fidelity than full circuit execution, thereby motivating the use of circuit cutting as a standard tool for running clustered circuits on quantum hardware.
We investigate an error mitigated tomographic approach to the quantum circuit cutting problem in the presence of gate and measurement noise. We explore two tomography specific error mitigation techniques; readout error mitigated conditional fragment tomography, which uses knowledge of readout errors on all cut and conditional qubit measurements in the tomography reconstruction procedure; and dominant eigenvalue truncation (DEVT), which aims to improve the performance of circuit cutting by performing truncation of the individual conditional tomography fragments used in the reconstruction. We fi…
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.
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.
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 …
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.
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.
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…
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…
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…
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…
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…
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.
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…
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…
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…
Precise reconstruction of unknown quantum states from measurement data, a process commonly called quantum state tomography, is a crucial component in the development of quantum information processing technologies. Many different tomography methods have been proposed over the years. Maximum likelihood estimation is a prominent example, being the most popular method for a long period of time. Recently, more advanced neural network methods have started to emerge. Here, we go back to basics and present a method for continuous variable state reconstruction that is both conceptually and practically …
Tomography of a quantum state is usually based on positive operator-valued measure (POVM) and on their experimental statistics. Among the available reconstructions, the maximum-likelihood (MaxLike) technique is an efficient one. We propose an extension of this technique when the measurement process cannot be simply described by an instantaneous POVM. Instead, the tomography relies on a set of quantum trajectories and their measurement records. This model includes the fact that, in practice, each measurement could be corrupted by imperfections and decoherence, and could also be associated with …
A simple yet efficient method of linear regression estimation (LRE) is presented for quantum state tomography. In this method, quantum state reconstruction is converted into a parameter estimation problem of a linear regression model and the least-squares method is employed to estimate the unknown parameters. The asymptotic mean squared error (MSE) bound of the estimate can be given analytically, which can guide one to choose optimal measurement sets. The LRE is asymptotically optimal in the sense that the MSE may achieve the Cramér-Rao bound asymptotically. The computational complexity of LRE…
We demonstrate complete characterization of a two-qubit entangling process - a linear optics controlled-NOT gate operating with coincident detection - by quantum process tomography. We use maximum-likelihood estimation to convert the experimental data into a physical process matrix. The process matrix allows accurate prediction of the operation of the gate for arbitrary input states, and calculation of gate performance measures such as the average gate fidelity, average purity and entangling capability of our gate, which are 0.90, 0.83 and 0.73, respectively.
Quantum process tomography is a necessary tool for verifying quantum gates and diagnosing faults in architectures and gate design. We show that the standard approach of process tomography is grossly inaccurate in the case where the states and measurement operators used to interrogate the system are generated by gates that have some systematic error, a situation all but unavoidable in any practical setting. These errors in tomography can not be fully corrected through oversampling or by performing a larger set of experiments. We present an alternative method for tomography to reconstruct an ent…
Quantum state reconstruction on a finite number of copies of a quantum system with informationally incomplete measurements does, as a rule, not yield a unique result. We derive a reconstruction scheme where both the likelihood and the von Neumann entropy functionals are maximized in order to systematically select the most-likely estimator with the largest entropy, that is the least-bias estimator, consistent with a given set of measurement data. This is equivalent to the joint consideration of our partial knowledge and ignorance about the ensemble to reconstruct its identity. An interesting st…
Given an experimental set-up and a fixed number of measurements, how should one take data in order to optimally reconstruct the state of a quantum system? The problem of optimal experiment design (OED) for quantum state tomography was first broached by Kosut et al. [arXiv:quant-ph/0411093v1]. Here we provide efficient numerical algorithms for finding the optimal design, and analytic results for the case of 'minimal tomography'. We also introduce the average OED, which is independent of the state to be reconstructed, and the optimal design for tomography (ODT), which minimizes tomographic bias.…
We reconstruct the polarization sector of a bright polarization squeezed beam starting from a complete set of Stokes measurements. Given the symmetry that underlies the polarization structure of quantum fields, we use the unique SU(2) Wigner distribution to represent states. In the limit of localized and bright states, the Wigner function can be approximated by an inverse three-dimensional Radon transform. We compare this direct reconstruction with the results of a maximum likelihood estimation, finding an excellent agreement.
Because of the constraint that the estimators be bona fide physical states, any quantum state tomography scheme - including the widely used maximum likelihood estimation - yields estimators that may have a bias, although they are consistent estimators. Schwemmer et al. (arXiv:1310.8465 [quant-ph]) illustrate this by observing a systematic underestimation of the fidelity and an overestimation of entanglement in estimators obtained from simulated data. Further, these authors argue that the simple method of linear inversion overcomes this (perceived) problem of bias, and there is the suggestion t…
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.…
We report a technique for experimental characterization of an $M$-mode quantum optical process, generalizing the single-mode coherent-state quantum-process tomography method [M. Lobino et al., Science 322, 563 (2008); A. Anis and A.I. Lvovsky, New J. Phys. 14, 105021 (2012)]. By measuring effect of the process on multi-mode coherent states via balanced homodyne tomography, we obtain the process tensor in the Fock basis. This rank-$4M$ tensor, which predicts the effect of the process on an arbitrary density matrix, is iteratively reconstructed directly from the experimental data via the maximum…
In quantum state tomography, the estimated frequencies do not correspond directly to a physical quantum state, due to statistical fluctuations. Thus, one resorts to point estimators that return the state that matches observations the best, and a variety of estimators have been proposed -- linear inversion, least squares, maximum likelihood (ML) -- each making different trade-offs. In this short note, we investigate an alternative approach inspired by device-independent quantum information protocols. We embed a tomographic complete set of measurement operators within the framework of a Bell sce…
Learning quantum tomography from incomplete measurements
Wrocław University of Science and Technology（弗罗茨瓦夫科技大学）；Institute of Physics of the Czech Academy of Sciences（捷克科学院物理研究所）；Institute of Theoretical Physics, Wrocław University of Science and Technology（弗罗茨瓦夫科技大学理论物理研究所）
Characterisation protocols have so far played a central role in the development of noisy intermediate-scale quantum (NISQ) computers capable of impressive quantum feats. This trajectory is expected to continue in building the next generation of devices: ones that can surpass classical computers for particular tasks -- but progress in characterisation must keep up with the complexities of intricate device noise. A missing piece in the zoo of characterisation procedures is tomography which can completely describe non-Markovian dynamics over a given time frame. Here, we formally introduce a gener…
