Editing Quantum Gate Set Tomography

Quantum gate set tomography is a robust and powerful method for self-consistently characterizing an entire set of quantum logic gates on a black-box quantum device.  This method arose from the observation that [[Full Quantum Process Tomography with Linear inversion]] is inaccurate in the presence of state preparation and measurement errors. This procedure estimates the complete process matrices of Pauli transfer matrices for the gate set based on experimental data.

'''Tags:''' [[Certification protocol]], [[Tomography]], [[Quantum process density matrix reconstruction]], [[Maximum Likelihood estimation]], [[Linear Inversion]], [[Gate set]]

==Assumptions==

* The selected measurement basis should be tomographically complete. 
* For the calculation of the likelihood function we assume that the noise on the coincidence measurements has a Gaussian probability distribution. We also assume that each of our measurements is taken for the same amount of time.
* The SPAM gates are composed of gates in the gate set and therefore the minimal gate set must include sufficient gates to create a complete set of states and measurements.
* In the gate set, the first gate is always selected to be the null gate.
* We assume no knowledge about the gate set.

==Outline==

[[Quantum state tomography]] and [[Quantum process tomography]] assume that the initial states and measurements are known. But if the [[state preparation and measurement]] (SPAM) gates are faulty then the estimates provided using these techniques are faulty as well. Quantum gate set tomography solves this problem by including the SPAM gates self-consistently in the gate set to be estimated.


The goal of this method is to completely characterize a gate set, which includes an unknown set of gates and an initial state and 2-outcome [[POVM]]. For self-consistency, the SPAM gates are treated on the same footing as the original gates. The SPAM gates are composed of gates in the gate set and therefore the minimal gate set must include sufficient gates to create a complete set of states and measurements. When these gates are applied to our unknown fixed state and measurement, a complete set of initial states and final state is produced. The experimental requirement for GST is the ability to measure the expectation values for the gate set.

Two techniques are shown here, which are Linear inversion (LGST) and maximum likelihood estimation (MLE). The linear inversion protocol is fairly easy to implement numerically and is useful for providing quick diagnostics without resorting to more computationally intensive estimation via constrained optimization. The LGST estimate is not generally physical, the information obtained is somewhat qualitative, and hence MLE is preferred. LGST is a useful starting point for MLE. Since the starting point must be physical, while LGST is not, we should use the closest physical gate set to the LGST estimate. 

This method consists of the following steps:

* Initialize the qubit to a particular state. In most systems, the natural choice for this state is the ground state of the qubit.
* For a particular choice of SPAM gates and a gate from the Gate set, the corresponding gate sequence is applied to the qubit. As the SPAM gates are composed of the gates from the gate set, the sequence only contains the gates from the gate set.
* The 2-outcome POVM is measured. This POVM is required to be a positive semi-definite Hermitian operator. The natural choice for this POVM in most systems is <math>|0\rangle\langle 0|</math>. (Sometimes <math>|1\rangle\langle 1|</math> is used)
* The above 1-3 steps are repeated a large number of times (10000 to 100000). For every repetition, the measurement is success (i.e., the measured state is <math>|0\rangle\langle 0|</math>) is recorded as 1 and the measurement failure  (i.e., the measured state is not <math>|0\rangle\langle 0|</math>) is recorded as 0.
* The measurement results in the step above are averaged over the number of times the measurement was repeated and the expectation value is calculated.
* The above 1-5 steps are repeated for every SPAM gates and every gate in the gate set. This gives us the probability of all the possible gate set and SPAM gate combinations.
* Repeat steps 1-5 to measure the expectation values of only the SPAM gates. This is used to form a matrix known as the Gram matrix. If the first gate of the gate set is a null gate, then this step is not needed as this data already exists due to the step performed above.
* To find the gate set estimate from the measurement data, there are two techniques:
** Linear inversion method (LGST): 
*** We should check that the gram matrix is invertible and after certain calculations with the inverted gram matrix, the gate set can be estimated. The LGST estimate is not generally physical, the information obtained is somewhat qualitative.
*** The gate set estimated in this way is in a different gauge from the actual gate set.  To compensate, we transform to a more useful gauge. Since we do not know the actual gate set, only the target one, the most useful gauge is the one that brings the estimated gate set as close as possible based, on some distance metric, to the target. The gauge transformation is found by solving an optimization problem and the resulting gauge matrix is then applied to the gate set found in the step above.
** Maximum likelihood estimation (MLE): LGST is a useful starting point for MLE. The goal in this method is to find the true probabilities corresponding to the measurements, subject to physical constraints. In this method, the best estimate is found by fitting to experimental data a theoretical model of the probability of obtaining that data.
*** This method begins by parameterizing the estimate, state and measurement matrices in terms of a vector of parameters. A number of constraints reduce the total number of independent parameters.
*** Putting everything together, the probability estimates are written in terms of the parameter vector and Depending on the parameterization choice each of the gates and states is either a linear or quadratic function of its parameters. Each of the gates and states is either a linear or quadratic function of its parameters. The estimator is, therefore, a homogeneous function of order 5 (linear parameterization) or 10 (quadratic parameterization).
*** MLE proceeds by finding the set of parameters that minimizes an objective function. The objective, or likelihood function, is the probability distribution we assume produced the data.
*** There are two kinds of parameterizations for gates that are commonly used:  The Pauli Process Matrix representation and The Pauli transfer Matrix Representation.

==Hardware Requirements==

* Measurement device.

==Notation==

* <math>d</math>: Dimension of Hilbert space
* <math>G</math>: Gate set. <math>G = \{G_0, G_1, .. G_K\}</math>. Generally <math>G_0 = {}</math> null gate.  
* <math>F</math>: SPAM gate set. <math>F = \{F_0, ... , F_N\}</math>. <math>F</math> is composed of gates in <math>G</math>.
* <math>|\rho\rangle</math>: Initial quantum state. Generally the natural choice for <math>\rho</math> is <math>|0\rangle\langle 0|</math>
* <math>E</math>: 2-outcome POVM.
* <math>n</math>: Number of times the measurement is repeated.
* <math>n_r</math>: Result of <math>r^{th}</math> measurement.
* <math>m_{ijk}</math>: measurement of the expectation value <math>p_{ijk}</math>
* <math>p_{ijk}</math>: Expectation value. <math>p_{ijk} = \langle E|F_iG_kF_j|\rho\rangle</math>
* <math>g_{ij}</math>: Gram matrix
* <math>B_{ij}</math>: Gauge matrix
* <math>\vec{t}</math>: Parameter vector
* <math>\hat{G}(\vec{t})</math>: Parameterised estimate matrix. This has <math>d^4</math> parameters.
* <math>|\hat{p}(\vec{t})\rangle</math>: Parameterised state matrix. This has <math>d^2</math> parameters.
* <math>\langle \hat{E}(\vec{t})|</math>: Parameterised measurement matrix. This has <math>d^2</math> parameters.
* <math>l(\hat{G})</math>: likelihood function.
* <math>\sigma_{ijk}</math>: The sampling variance in the measurement <math>m</math>. <math>\sigma^2 = p(1-p)/n</math>
* <math>\chi_G</math>: Process matrix for gate <math>G</math> is defined in terms of the gate’s action on an arbitrary state <math>\rho</math> to produce a new state <math>G(p)</math>. <math>G(p) = \sum_{i,j=1}^{d^2}(\chi_G)_{ij}P_i\rho P_j</math>. <math>\chi</math> is a  Hermitian positive semidefinite matrix, written in terms of <math>\chi = T^{\dagger}T</math>
* <math>T</math>: a lower-diagonal complex matrix, <math>
         \hat{T}(t) = \begin{bmatrix}
             t_1 & 0 & ... & 0 \\
             t_{2^n + 1} + it_{2^n+2} & t_2 & ... & 0 \\
             ... & ... & ... & 0 \\ 
             t_{4^n -1} + it_{4^n} &  t_{4^n -3} + it_{4^n - 2} &  t_{4^n - 5} + it_{4^n - 4} &  t_{2^n}
           \end{bmatrix}
     </math>
* <math>P_i</math>: Pauli operator <math>i</math> acting on the state
* <math>R_G</math>: Pauli tranfer matrix for a gate G is defined in terms of the gate’s action on Pauli matrices. <math>(R_G)_{ij} = Tr\{P_iG(P_j)\}. |G(\rho)\rangle = R_G|\rho\rangle</math>

==Properties==

* Figure of merit: Gate set
* Multiple copies of the quantum state are required in this method.
* <math>E_j</math> should be tomographically complete.
* In contrast to QPT, it is not possible in GST to characterize one gate at a time. Instead, GST estimates every gate in the gate set simultaneously.
* SPAM gates are included in the gate set for self-consistency.
* The limitation of linear-inversion GST (or LGST) is that it does not constrain the estimates to be physical. However, LGST provides a convenient method for diagnosing gate errors and also gives a good starting point for the constrained maximum likelihood estimation.
* In the gate set, the first gate is generally selected to be the null gate.
* The simulated errors are of three different types, representing coherent and incoherent gate errors as well as intrinsic SPAM errors.

==Procedure Description==

'''Output''': Gate set, <math>G</math>

* Initialize system to <math>|\rho\rangle</math>
* For <math>i = 1, 2, ..., N</math>:
** For <math>j = 1, 2, ..., N</math>:
*** For <math>k = 1, 2, ..., K</math>:
**** For <math>r = 1, 2, ..., n</math>
***** Apply gate sequence <math>F_i \circ G_k \circ F_j</math>
***** Measure with POVM <math>E</math>, get <math>n_r = 1</math> or <math>n_r = 0</math>
**** <math>m_{ijk} = \sum_{r=1}^{n} \frac{n_r}{n}</math>
**** <math>(\tilde{G}_k)_{ij} = p_{ijk} = m_{ijk} =  \langle E|F_iG_kF_j|\rho\rangle</math>
**** if <math>k==0</math> (null gate), <math>g_{ij} = \langle E|F_iF_j|\rho\rangle</math>
** <math>|\tilde{\rho}\rangle_i = \langle E|F_i|\rho\rangle</math>
** <math>B_{ij} = \langle i |F_j |\rho\rangle</math>
* For Linear inversion:
** Check that the Gram matrix <math>g_{ij}</math> is non singular, so that it may be inverted
** For the gate set, the estimate is <math>|\hat{\rho}\rangle = g^{-1}|\tilde{\rho}\rangle, \langle \hat{E}| = \langle \tilde{E} |, \hat{G_k} = g^{-1} \tilde{G}_k</math>
** Apply gauge optimization, by minimizing:
<div style="text-align: center;"><math>\hat{B}^* = argmin_{\hat{B}}\sum^{K+1}_{k=1}Tr\{(\hat{G}_k - \hat{B}^{-1}T_k\hat{B})^T(\hat{G}_k - \hat{B}^{-1}T_k\hat{B})\}
</math></div>
** Final gate set is: <math>\hat{G}_k^{*} = \hat{B}^*\hat{G}_k(\hat{B}^*)^{-1}, |\hat{p}^*\rangle = \hat{B}^*|\hat{p}\rangle, \langle \hat{E}^*| = \langle \hat{E}|(\hat{B}^*)^{-1}</math>
* For Maximum Likelihood Estimation:
** <math>\hat{p}_{ijk} = \langle \hat{E}(\vec{t})|\hat{F}_i(\vec{t})\hat{G}_k(\vec{t})\hat{F}_j(\vec{t})|\hat{\rho}(\vec{t})\rangle</math> 
**  Find the set of parameters <math>\vec{t}</math> where <math>l(\hat{G})</math> is minimized.
           <div style="text-align: center;">Minimize: <math>
               l(\hat{G}) = \sum_{ijk} (m_{ijk} - \hat{p}_{ijk}(\vec{t}))^2 / \sigma^2_{ijk}
           </math></div>
** Minimize the above function with two different commonly used types of parameterisation of gates:
*** Pauli Process Matrix Optimization problem:
       <div style="text-align: center;">Minimize: <math>
                 l(\hat{G}) = \sum_{ijk} (m_{ijk} - \sum_{mnrstu}(\chi_{F_i})_{tu}  (\chi_{G_k})_{rs} (\chi_{F_j})_{mn} Tr\{EP_t P_r P_m \rho P_n P_s P_u\} )^2 / \sigma^2_{ijk}
      </math></div>
      <div style="text-align: center;">Subject to: <math>
                   \sum_{mn}(\chi_G)_{mn}Tr\{P_mP_rP_n\} - \delta_{0r} = 0, (r = 1, .. , d^2), \forall G \in Gateset
               </math></div>
      <div style="text-align: center;"><math>
                   Tr\{\rho\} = 1
               </math></div>
      <div style="text-align: center;"><math>
                   1 - E \geqslant 0
               </math></div>
*** Pauli Transfer Matrix Representation
<div style="text-align: center;">   Minimize: <math>
                 l(\hat{G}) = \sum_{ijk} (m_{ijk} - \langle \hat{E}(\vec{t})|\hat{R}_{F_i}(\vec{t})\hat{R}_{G_k}(\vec{t})\hat{R}_{F_j}(\vec{t})|\hat{\rho}(\vec{t})\rangle )^2 / \sigma^2_{ijk}
               </math></div>
<div style="text-align: center;">Subject to: <math>
                   \rho_G = \frac{1}{d^2} \sum_{i,j=1}^{d^2}(R_G)_{ij}P^T_G \otimes P_i \geqslant 0, \forall G \in Gateset
               </math></div>
<div style="text-align: center;"><math>
                   (R_G)_{0i} = \delta_{0i}, \forall G \in Gateset
               </math></div>
<div style="text-align: center;"><math>
                   (R_G)_{ij} \in [-1, 1], \forall G, i, j
               </math></div>
<div style="text-align: center;"><math>
                   Tr\{\rho\} = 1
              </math></div>
<div style="text-align: center;"><math>
                   1 - E \geqslant 0
               </math></div>

==Further Information==

==Related Papers== 
* Daniel Greenbaum (2015) arXiv:1509.02921v1: Introduction to Quantum Gate Set Tomography

<div style='text-align: right;'>''*contributed by Rhea Parekh''</div>