Abstract
We briefly review singlequbit quantum process tomography for tracepreserving and nontracepreserving processes, and derive explicit forms of the general constraints for fitting experimental data. These forms provide additional insight into the structure of the process matrix. We illustrate this with several examples, including a discussion of qubit leakage error models and the intuition which can be gained from their process matrices.
Introduction
Despite recent successes in developing new methods such as gateset tomography (GST)^{1,2} to fully and accurately characterize a given quantum process, as well as simplified methods^{3,4} to avoid scalability limitations, quantum process tomography (QPT)^{5,6} remains a benchmark standard to which the results of the new evolving methods must be compared. In this paper, we review single qubit process tomography and present some new findings on the properties of the process matrix in the familiar χ representation and demonstrate their utility via application to nontracepreserving processes such as qubit leakage errors. In particular, we examine the general form of constraints for numerical fitting of experimental data, and extract simplified forms, which indicate explicit relationships among the various elements of the process matrix, one of which is the familiar one, Tr(χ) = 1 (in the Pauli basis) for a tracepreserving process. The other three derived relationships for a tracepreserving process, exclusively involve the offdiagonal elements and thus provide further insight into the structure of the process matrix. Knowledge of these can thus serve as useful tools for an experimentalist interested in measuring quantum gates to determine error models. We illustrate their utility with several example process matrices, including some models of leakage errors.
Figure 1 shows a device under test (DUT) upon which qubits impinge in a quantum state described by the density matrix ρ. The output qubits’ density matrix is denoted by ρ′. Ordinarily, quantum state tomography produces normalized states; however, the measurement rates contain additional information on the loss to characterize a nontracepreserving process. To use the loss information, the density matrix of the output state ρ′ includes a scaling factor (≤1) to account for any loss of qubits as they traverse the DUT.
Results
Following^{5,7}, the output state in Fig. 1, ρ′, can then be written as
where ε is an operator representing the effect of the DUT on the input state. This can be further expanded as^{7}
where E_{i}’s comprise a set of at most four operators describing the effect of the DUT. Now these operational elements can be expressed in terms of a fixed set of basis operators, , i.e., we can write
As a result,
where . Since indices m and n each run from 1 through 4, χ_{mn} is a 4 × 4 matrix, called the process matrix. This matrix is Hermitian. Therefore, it has at most 4^{2} = 16 independent parameters. Additionally, it is nonnegative definite, i.e., its eigenvalues are zero or greater.
Now, invoking the fact that for a tracepreserving process, Tr(ρ′) = 1, one obtains from Eq. 4
These are, in effect, four constraints on the elements, χ_{mn}. These constraints then reduce the number of independent parameters of the χ matrix from 16 to 12. In general, including nontracepreserving processes^{7,8},
where
Note that the matrix P is nonegativedefinite Hermitian.
In what follows, we choose the Pauli basis, i.e., we set , where σ_{1} = I, σ_{2} = σ_{x}, σ_{3} = σ_{y}, and σ_{4} = σ_{z}. It can be shown that for this fixed set of basis operators, Tr(χ) = Tr(P)/2, which then equals one for a tracepreserving process because in that case, P = I. Eq. 6 further implies that the eigenvalues of the P matrix (defined in Eq. 7) are each greater than or equal to zero and also less than or equal to one. For the choice , we find
where
Tr(χ) ± F are the two Pmatrix eigenvalues appearing in the above inequalities, Eqs. 8 and 9, which the χ matrix must, in general, satisfy (we assume a positive sign for the radical sign in Eq. 10). Adding Eqs. 8 and 9 yields Tr(χ) ≤ 1, which is normally quoted in literature; however, Eq. 8 indicates a much tighter constraint, involving both the diagonal elements and the offdiagonal elements. When the process is trace preserving, the equality holds, which then requires that all three terms under the radical sign in Eq. 10 be individually equal to zero because Tr(χ) = 1. In other words, not just Tr(χ) = 1, but the entire set
must hold in any numerical fit to the experimental data to yield a physical χ matrix. To our knowledge, this explicit form of constraints has not been cited or discussed in the past, although sets of equations of the form, Eq. 5, typically have been employed directly as constraints in numerical optimization procedures to obtain a fitted physical (tracepreserving) process matrix from experimental data (see, e.g.,^{9}). Note that this set of constraints can also be derived directly by solving the linear equations embodied in Eq. 5.
From Eq. 9, it further follows that Tr(χ) ≥ F. Using the fact that both Tr(χ) and F are nonnegative, Eqs. 8 and 9 can now be rewritten as
These two inequalities serve as general constraints that must be satisfied in a quantum process.
Discussion
Below we give some some examples to corroborate the above results:
Hadamard Gate
The process matrix for the Hadamard gate is given by
Eq. 11 is satisfied as Tr(χ_{H}) = 1. Further there are no complex coefficients, and the firstrow elements are all zero, so Eqs. 12, 13, 14 are all true and identically zero, as is F. Therefore, Eqs. 15 and 16 are satisfied as well.
Polarizer at an angle θ
This is a nontracepreserving process. The χ matrix is given by
Tr(χ) = 1/2, which is less than 1, as expected. Additionally, the value of F, using Eq. 10, is also equal to 1/2. The constraints, Eqs. 15 and 16, are satisfied. Violations occur in Eqs. 12, and 14.
In addition to Tr(χ) < 1 for a nontracepreserving process, what specific violations occur in Eqs. 12, and 14 can also be an indication of the type of nontracepreserving process. We illustrate this with respect to a leakage error model for quantum computing.
Leakage Error Model
Qubit leakage is of two types: 1) coherent leakage, where the qubit represented by a twolevel subsystem of a multilevel system like the trapped ion, leaks out of its Hilbert space and then transitions back to it; 2) loss, where the qubit permanently transitions out of its Hilbert space, i.e., never returns to it and is thus considered lost. In this paper, we focus on the latter, where, for example, the qubit in the first excited state (1〉) of the multilevel system, may be further excited outside of the qubit’s computational Hilbert space, and never returns to it (or returns to it after a very long time, so for practical purposes it is considered lost). The process is therefore nontrace preserving. Following^{10},
where represents the error operation, ρ is the input state, ρ′ is the output state and p is the leakage error probability. It follows from above that
indicating that the qubit is lost with a probability p when it is in the excited state and remains stable when it is in the ground state (0〉). Using Eq. 4 and Eq. 19, the process matrix is
for p ≥ 0. In this case, when p > 0, this is no longer a tracepreserving process, so Eq. 14 is violated in proportion to the leakage probability p. In fact, all the nonzero, nonidentity elements deviate from the corresponding elements of the ideal identity gate by an amount identical in magnitude (p/4), which is proportional to the leakage probability p.
Consider now the case where in Eq. 19, the Pauli operator, σ_{z} is replaced by σ_{x}. This is a nontracepreserving process with given by Eq. 20, but with σ_{z} replaced with σ_{x}. This corresponds to a noisy environment where the state stays stable, and the state leaks out with probability p. On the other hand, 0〉 and 1〉, which comprise the +〉 and the −〉 states, leak out with the same probability, 1 − p/2. The corresponding process matrix is given by
Here the violation, indicative of a nontracepreserving process, occurs in Eq. 12, instead of Eq. 14, signifying a different nontracepreserving process, even though 1 − Tr(χ) remains unchanged. The positioning of the nonzero elements, except the first diagonal element here, has shifted within the χ matrix, suggestive of the change in the nature of the nontracepreserving process. This manner of shift is predictable if one is specifically working with a general leakage error model in which σ_{z} in Eq. 19 is replaced with .
We further extend the model of Eq. 19 to qubits, where the ground state (0〉) may also leak out, although with a low probability compared to the excited state (1〉) as, for example, in superconducting phase qubits^{11}. The leakage process here can be represented by the following equation:
where an extra term has been added to Eq. 19 to account for the leakage of the ground state as seen below:
The ground state leakage probability, from Eq. 24, is ε. While the excited state leakage probability is p − ε. The process matrix is the same as the one given in Eq. 21, except that the nonzero offdiagonal elements are now changed to (p − 2ε)/4, an indication of the change of the nature of the nontracepreserving process, namely, the presence of leakage from the ground state as well. We also note here that the left hand side of Eq. 15, Tr(χ) + F evaluates to 1 − ε for this model in contrast to the value of 1 obtained for Eqs. 21 and 22, which can be another distinguishing feature.
Thus, we see that simplification of the constraints, Eq. 7 into the set, Eqs. 11, 12, 13, 14, can provide insight into the structure of the tracepreserving process matrix; the three newly derived explicit forms, Eqs. 12, 13, 14, express clear relationships among the offdiagonal elements; we have not seen these relationships mentioned or discussed in the literature before. Violations of these constraints is an indication of a nontracepreserving process, and the nature of the violations, as we have illustrated above, can help discriminate one type of a nontracepreserving process from another. Furthermore, it must be emphasized that for a quantum process known to be nontracepreserving like the polarizer (where Tr(χ) = 1/2, ideally), or for a process suspected to be not strictly tracepreserving like a quantum gate with leakage errors, or simply for a DUT whose behavior is not known a priori (a true black box), the general constraints, Eqs. 15 and 16, must be invoked in the fitting of data.
In summary, we have revisited the theoretical aspects of single qubit quantum process tomography to determine the behavior of a quantum device. More specifically, we have reexamined the wellknown constraints for the process matrix (in the χ representation), and recast them into more insightful forms. In the case of a tracepreserving process, specific relationships among the various elements of the process matrix emerge that then shed light on its basic generic structure. Knowledge of these new constraint relationships permit an enhanced understanding of the interpretation and analysis of the experimental data. We have illustrated their validity and utility with several examples, with specific attention to leakage errors, which are of significant importance in quantum computing.
Methods
We tested the efficacy of constraints, Eqs. 15 and 16, in fitting data by adding noise to the above ideal χ matrices for the Hadamard gate, the polarizer, and the leakage error models considered in this paper. We simulated Gaussian Hermitian complex noise using the MATLAB R2015b function randn which returns a number from a normal distribution with zero mean and a standard deviation equal to 1. This noise is then scaled by a variable scaler ranging from 10^{−4} to 10^{−1} and added to the process matrix, after which the process matrix is optimized; one fixed value of the scaler is used at one time. We use toolboxes YALMIP Version 19Sep2015^{12} with SeDuMi 1.32^{13} for optimization within Matlab.
In the numerical simulations, we frequently observed the noisy χ matrices to have negative eigenvalues, eigenvalues exceeding unity, and/or trace exceeding unity. Imposing the requirements of nonnegative definiteness, Hermiticity and the constraints, Eqs. 15 and 16 to fit these noisy χ matrices always restored physicality; the eigenvalues were then nonnegative and less than or equal to 1. Improperly constraining the system, e.g., imposing only Tr(χ) ≤ 1, without Eqs. 15 and 16, led to unphysical output states computed from χ, even though the requirements of nonnegative definiteness and Hermiticity for the χ matrix were still in place. Further it is worth noting that in many examples examined, the fidelity between the target process matrix and each of the two types of optimizations is similar, especially when it is high, and in this case does not aid one in detecting optimization errors.
Next we give two specific examples showing an initial noisy process matrix and the results after applying the complete constraints. First we consider the Hadamard gate as given by Eq. 17. After adding noise scaled by 10^{−3}, we obtain, as an example, the following:
This initial matrix has one eigenvalue greater than one and two negative eigenvalues and is therefore unphysical. We also note that the set of Eqs. 11, 12, 13, 14 is violated here. Here and in the following examples, we show rounded results, while full precision is used to compute reported derived quantities.
Under the assumption of a tracepreserving process, we perform numerical fitting using Eqs. 11, 12, 13, 14, as constraints. The result is
Eqs. 11, 12, 13, 14 are now satisfied. If, on the other hand, the quantum process is suspected to be not strictly tracepreserving (due to the possibility of leakage errors), one must replace the constraints, Eqs. 11, 12, 13, 14, with the the general constraints, Eqs. 15 and 16. The result, after fitting with these constraints, is
Eqs. 26 and 27 are very similar, however, the latter’s trace is 0.9999, so it is not trace preserving, but it is a valid physical process.
As a second example, we consider the leakage error model described by Eq. 23 (a nontracepreserving process) with p = 10^{−2}, ε = 3 * 10^{−3}, and the Gaussian noise scaler equal to 10^{−3}. An instance of the noisy process matrix is
It has two negative eigenvalues, and is therefore unphysical. In addition, Eq. 15 is violated as the lefthand side evaluates to a value of 1.0034. After optimization with constraints, Eqs. 15 and 16, the process matrix is
The optimized result is nonnegative definite and satisfies the required constraints, Eqs. 15 and 16.
Additional Information
How to cite this article: Bhandari, R. and Peters, N. A. On the general constraints in single qubit quantum process tomography. Sci. Rep. 6, 26004; doi: 10.1038/srep26004 (2016).
References
Merkel, S. T. et al. Selfconsistent quantum process tomography. Phys. Rev. A 87, 062119 (2013).
BlumeKahout, R. et al. Robust, selfconsistent, closedform tomography of quantum logic gates on a trapped ion qubit. Preprint at http://arXiv.org/abs/1310.4492 (2013).
Heilmann, R., Gräfe, M., Nolte, S. & Szameit, A. A novel integrated quantum circuit for highorder Wstate generation and its highly precise characterization. Science Bulletin 60, 96–100 (2015).
Lu, D. et al. Experimental estimation of average fidelity of a Clifford gate on a 7qubit quantum processor. Phys. Rev. Lett. 114, 140505 (2015).
Chuang, I. L. & Nielsen, M. A. Prescription for experimental determination of the dynamics of a quantum black box. J. Mod. Opt. 44, 2455–2467 (1997).
Poyatos, J., Cirac, J. & Zoller, P. Complete characterization of a quantum process: the twobit quantum gate. Phys. Rev. Lett. 78, 390 (1997).
Nielsen, M. A. & Chuang, I. L. in Quantum Computation and Quantum Information 10th edn, Ch. 8, 389–393 (Cambridge Univ. Press, 2011).
Bongioanni, I., Sansoni, L., Sciarrino, F., Vallone, G. & Mataloni, P. Experimental quantum process tomography of nontracepreserving maps. Phys. Rev. A 82, 042307 (2010).
O’Brien, J. L. et al. Quantum process tomography of a controllednot gate. Phys. Rev. Lett. 93, 080502 (2004).
Wallman, J., Barnhill, M. & Emerson, J. Robust characterization of leakage errors. Preprint at http://arXiv.org/abs/1412.4126v2 (2015).
Martinis, J. Superconducting phase qubits. Quantum Inf. Process. 8, 81–103 (2009).
Löifberg, J. Yalmip: a toolbox for modeling and optimization in matlab. In Proc. CACSD Conf. (Taipei, Taiwan, 2004).
Lab, A. O. & Sturm, J. F. Sedumi: a linear/quadratic/semidefinite solver for matlab and octave. Available at: https://github.com/sqlp/sedumi. (Accessed: 4th November 2015).
Acknowledgements
One of us (NAP) acknowledges research sponsored by the Laboratory Directed Research and Development Program of Oak Ridge National Laboratory, managed by UTBattelle, LLC, for the U. S. Department of Energy. RB acknowledges useful communications with Joel Wallman, Joseph Emerson, Andrzej Veitia, and Robin BlumeKahout.
Author information
Authors and Affiliations
Contributions
R.B. and N.A.P. contributed to the conception, implementation, and analysis of these results. All authors have reviewed the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Rights and permissions
This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
About this article
Cite this article
Bhandari, R., Peters, N. On the general constraints in single qubit quantum process tomography. Sci Rep 6, 26004 (2016). https://doi.org/10.1038/srep26004
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/srep26004
This article is cited by

Encoding a qubit in a trappedion mechanical oscillator
Nature (2019)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.