Abstract
Analysis of quantum error correcting codes is typically done using a stochastic, Pauli channel error model for describing the noise on physical qubits. However, it was recently found that coherent errors (systematic rotations) on physical data qubits result in both physical and logical error rates that differ significantly from those predicted by a Pauli model. Here we examine the accuracy of the Pauli approximation for noise containing coherent errors (characterized by a rotation angle ) under the repetition code. We derive an analytic expression for the logical error channel as a function of arbitrary code distance d and concatenation level n, in the small error limit. We find that coherent physical errors result in logical errors that are partially coherent and therefore non-Pauli. However, the coherent part of the logical error is negligible at fewer than error correction cycles when the decoder is optimized for independent Pauli errors, thus providing a regime of validity for the Pauli approximation. Above this number of correction cycles, the persistent coherent logical error will cause logical failure more quickly than the Pauli model would predict, and this may need to be combated with coherent suppression methods at the physical level or larger codes.
Export citation and abstract BibTeX RIS
Original content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.
1. Introduction
Progress in fault-tolerant quantum computation relies on the ability to simulate the performance of quantum error correcting codes. For example, the numerical prediction of a high fault-tolerant error threshold for the surface code [1] is one of the motivating factors in the significant recent experimental effort to realize topological codes [2–4]. Numerical predictions of performance metrics such as the fault tolerant threshold and the logical failure rate typically assume a stochastic (incoherent) and uncorrelated Pauli channel model for physical qubit errors, since this model is easiest to simulate. However, recent findings indicate that a Pauli channel significantly underestimates the diamond norm error rate of coherent errors—errors that are both unitary and slowly varying relative to the gate time [5–8]. Such errors can occur, for example, due to systematic control noise, cross-talk, global external fields, and unwanted qubit–qubit interactions. It is therefore important to examine the accuracy of the Pauli approximation for coherent errors in the context of quantum error correction (QEC).
A variety of results have recently appeared that evaluate the impact of realistic noise on QEC. The numerical work of [9–11] has lent support to using a Pauli model for certain types of incoherent errors. These authors performed simulations of QEC for amplitude and phase damping and the corresponding Pauli-twirl approximations, finding no significant difference in logical error rates. This is consistent with a recent result of Wallman which states that non-unital deviations from Pauli channels (as in amplitude damping) do not significantly impact the error rate [7].
A different result was obtained by Fern et al [12] in the case of coherent errors. Using a formalism developed by Rahn et al [13] for general noise, these authors found that coherent errors in the physical error channel can lead to coherent errors in the logical channel, as manifested by off-diagonal elements in the superoperators for these channels. For the specific example of the d = 3 Steane code, [12] found that an off-diagonal element of order in the unencoded error superoperator leads to an encoded (logical) error superoperator with off-diagonals of order and diagonals of order . This leads to a diamond-distance logical error rate of order greater than would be obtained by replacing the physical error by its Pauli twirl. The same result was also obtained numerically recently [14].
Another recent paper has reported diamond-distance logical error rates for surface codes up to distance d = 10 for coherent physical errors [15]. That work also finds discrepancies between coherent physical errors and their Pauli twirl approximation that are consistent with coherent errors at the logical level.
Despite these insights, it remains a challenge to obtain analytic expressions for the logical error map for general noise as a function of arbitrary code distance and (for concatenated codes) concatenation (i.e., for arbitrarily large codes). Such information can be useful for determining parameter regimes where a Pauli model is valid, and for providing independent validation of numerical results. Indeed, [12] considered general channels, deriving upper bounds on superoperator coefficients for the logical error, but not their actual value except for the d = 3 Steane code. The results of [13] were limited to diagonal channels, while [14, 15] evaluated the logical noise maps numerically, a technique which does not make explicit the scaling of the logical error parameters with d. The latter references also considered coherent and incoherent errors individually but not simultaneously.
Our aim in the present work is to obtain analytic expressions for the logical error map due to a combination of coherent and incoherent physical noise, since both are present in real qubits. We work with the repetition code, which, though not a full quantum code in that it cannot correct both X and Z errors, has the advantage of being analytically tractable and yet nontrivial. Indeed, we find that it reproduces the key features of generic codes, saturating the bounds on error channel parameters under concatenation given in [12].
Our analysis is restricted to the case of a quantum memory (or of gate-independent errors) and perfect syndrome extraction. Consideration of gate-dependent and syndrome extraction errors is left for future work. We also do not consider coherent leakage errors [6, 16] or coherent errors due to residual qubit–qubit interactions.
We derive an analytic expression for the logical error channel for arbitrary code distance d and concatenation level n, in the small error limit. (By small error limit we mean that the error rate is much less than one, irrespective of the threshold. In practice, our results apply to error rates below threshold. We give more precise definitions below.) We use a decoder optimized for independent Pauli errors—i.e., a decoder that selects the minimum-weight Pauli error consistent with the syndrome and associates a corresponding Pauli recovery operator. We find that the coherent contribution to the logical error—as quantified by the infidelity of the entire quantum computation—becomes important only after a timescale (number of QEC cycles) that increases exponentially with the size of the code. (See equation (25) and the accompanying discussion.)
Our analysis predicts the same scaling of the failure rate with the error model parameters as one obtains using the diamond norm error metric. However it emphasizes the nature of the error process as it unfolds in time. In particular, the coherent error will not be important at modest code distances for which is longer than the correlation time of the physical error. When this is the case, replacing the physical error by its Pauli-twirl accurately determines the logical error probability for quantum computations of arbitrary length. When it is not the case, there will be a critical number of correction cycles above which the persistent coherent logical error will cause logical failure more quickly than the Pauli model would predict, and this may need to be mitigated with coherent suppression methods at the physical level or larger codes. One promising way to do this is by randomization over gate sequences, which several recent papers have shown can help to combat the coherence problem [17–22].
1.1. Repetition code
We begin with a brief review of the repetition code. For more details see, e.g., [23]. The repetition code on N qubits (code distance d = N) is defined by the encoding , . The logical X operator, which flips to and vice versa, is denoted and is equal to
(Tensor product signs between X's are implied; they have been omitted for notational simplicity.) Bit flips (X errors) are detected by measuring the parity of neighboring qubits, which is given by the eigenvalues of the stabilizer operators , , ..., . Stabilizer eigenvalues are±1 corresponding to even or odd parity, and the set of eigenvalues is called the syndrome. stabilizers are required to encode a single logical qubit.
When the syndrome is measured, the state is projected onto the subspace of the Hilbert space corresponding to that syndrome. E.g., if the syndrome is then the state after syndrome extraction is in the error-free subspace, known as the codespace. If on the other hand a faulty syndrome is detected, the error can be corrected by flipping (applying the X operator to) the faulty qubit(s), thereby returning the state to the codespace. We do not pause to discuss the procedure for syndrome measurement since we assume this is done without error. Importantly, we note that the association of a syndrome to a particular error is done in a maximum likelihood rather than deterministic sense—multiple errors can have the same syndrome (e.g., X1 and for the N = 3 code) and we choose the one which is most likely given the syndrome. In this way we minimize the error of the encoded (logical) bits.
1.2. Error model
For an N-qubit register, we consider the error
where each is a single-qubit error channel. This form of error describes many of the physically relevant noise processes affecting qubits, such as cross-talk, systematic control errors, relaxation, dephasing, and external fields. An important noise source not described by equation (2) is that due to qubit–qubit interactions.
We assume the following form for the single-qubit error acting on an arbitrary input state ρ per QEC cycle.
where q is the probability of a stochastic bit-flip and is the angle of a small rotation error that is constant in time. We can relate these parameters to a physical dephasing rate γ and systematic rotation at rate ω (e.g., from cross-talk or an external field) through the master equation
by setting and for a gate time (QEC cycle time) τ [24].
Equation (3) describes the composition of a coherent process, , and an incoherent process, . The latter is an appropriate description for environmentally induced decoherence as well as for random coherent rotations, such as those due to fluctuating control noise. These are described by the average over many instances of the operator applied to the quantum state, where the angle θ fluctuates from one QEC cycle to the next. (Hence q is the infidelity of the operator U, which can be related [25] to the rms rotation angle as .) Therefore and are suitable for describing the high and low-frequency components of a stochastic X rotation error. Although this error model is somewhat restrictive in that the channels and commute, it captures the relevant impact of coherent errors on qubit error metrics [5, 6].
We note that in general, it is possible to have a different rotation angle and a different bit-flip rate qj for each qubit. We are interested in capturing the properties of errors that have broad spatial extent such as external fields. It is therefore only important that these parameters have similar (non-zero) magnitude. Choosing them all identical as in equation (2) simplifies the calculations without sacrificing any significant generality. The sign of is also not important for this discussion, and so we choose throughout.
2. Analysis
Upon logical encoding with the repetition code and using a decoder optimized for correcting independent Pauli errors, we obtain an effective error model for the logical qubit that has the same form as equation (3) but with renormalized parameters and . This mirrors the general transformation found in [12], and stems from the fact that unital and trace preserving physical errors lead to unital, trace preserving logical errors. Such channels can be expressed as Pauli times a unitary. Non-unital deviations from Pauli channels were found in [7] to not change the error rate significantly so we do not consider them here.
We focus on low physical error rates, , as modern qubits routinely operate with an average error per single-qubit gate of 10−3 [3] down to 10−6 [26]. In this regime, we find the following expressions for the parameters and of the logical qubit to leading order in the physical parameters q and .
Here d = N is the code distance. The computation is elementary but lengthy. Details are given in the appendix.
Equations (5) and (6) saturate the bounds in [12]. In terms of our parameters, these bounds are: is at most and is at most . The second of these bounds is not tight when q = 0, and so cannot be used to determine the impact of on the logical error rate.
We note that the condition of low physical error rates, , that was used to derive equations (5) and (6), is independent of the QEC threshold. However, for the analysis to make sense the error rate must also be below threshold. We shall see below (see figure 2) that the error rate found from equations (5) and (6) decreases with increasing code distance and/or concatenation level for small enough and q. This indicates the existence of a threshold for our error model and the consistency of the small error condition with a below-threshold regime.
2.1. Discussion of decoding protocol
The logical error parameters, equations (5) and (6), were found using the standard Pauli decoder, which selects a recovery operator corresponding to the smallest-weight Pauli error that is consistent with the measured sydrome [23]. Since the stabilizers of a repetition code of distance d concatenated n times are the same as those of a repetition code of distance dn concatenated once (a fact that can be readily verified by writing out the stabilizers as defined in section 1.1) it follows that the optimal Pauli decoder for n levels of concatenation of a distance d repetition code yields equations (5) and (6) with d replaced by the total number of qubits (in this case, ):
For a generic concatenated code, the optimal decoding could be computed using a message passing algorithm [27]. However, for generic codes it is also possible that a hard decoder (an algorithm that computes recovery operations independently at each concatenation level) would in some cases be preferable to the optimal one, for example if the computational resources for decoding are limited [28]. The result of a hard decoder optimized for Pauli errors at each concatenation level also follows from equations (5) and (6). In this case the equations give a recursion relation for the logical error between concatenation levels n and (n = 0 is the physical level):
The number of qubits is dn for each logical qubit at level n.
We note that a fully optimal decoder for the error model equation (3) (not just optimal for Pauli errors) would include coherent rotations to compensate for the parameter in equation (3). In this paper we do not consider such a decoder, and restrict ourselves to Pauli decoders, for the following reasons. (1) We do not assume the parameters q and are known. If they were, it is possible the physical qubits could be tuned in advance to the minimum level of allowed by hardware. Assuming such a tuning has been done, it would not be possible to implement the coherent parts of recovery operations intended to reduce further, as this would require a finer level of tunability than available. (2) A decoder compensating for coherent errors directly would give results that are highly specific to our particular choice of code, which would make the analysis less general.
2.2. Coherent errors and code concatenation
We now compare the dependence of coherence and logical error rates on code concatenation for the optimal Pauli decoder, equations (7) and (8) and the hard Pauli decoder, equations (9) and (10). As discussed in [6], a convenient metric for quantifying the coherence of the error is the ratio D/r of the diamond distance D [29] to the average infidelity r [25, 30] of the channel. For the error channel, equation (3), these quantities are [6]
For the purely incoherent case, , we have . Therefore the ratio D/r should tend to 3/2 from above as the coherent contribution becomes negligible.
We define a coherence metric,
which is 0 when the channel is incoherent and increases with increasing coherence in the channel. In figure 1 we plot the coherence metric c for d = 3, and a broad range of initial values of . (For illustration, we choose a range that is well beyond the capabilities of present-day qubits.) At the physical level (n = 0) and first logical concatenation level (n = 1), both the optimal and hard decoders give the same results. For the hard decoder, the lower left panel of figure 1 shows that the error is effectively incoherent (c = 0) in the entire range of and q for n = 2. For the optimal decoder, d = 3, n = 2 is equivalent to d = 9, n = 1, and the lower right panel of figure 1 shows that the logical error contains some level of coherence at n = 2 for a range of and q.
These results can be understood as follows. In the limit of low error rate that we are interested in () we have that in equations (7) and (8) or equations (9) and (10) for any n. Equations (11) and (12) then give
Therefore the error channel is incoherent if . For the hard decoder, equations (9) and (10) show that this occurs when both and for any initial . Hence only two levels of concatenation are necessary to obtain a logical error channel that is effectively stochastic (i.e., c = 0), for any size repetition code. For the optimal decoder on the other hand, taking the ratio of and in equations (7) and (8) shows that can fail to hold when . The region where the N = 9 logical error has non-negligible coherence (lower-right panel in figure 1) satisfies this inequality. When , for example, we have , which is much greater than one for .
It would therefore appear that the hard decoder is better at mitigating coherent errors than the optimal decoder. Figure 2 sheds additional light on the matter. Here the logical rotation angle and the diamond norm logical error rate for both decoders are plotted versus the total number of qubits for a range of distance d and concatenation level n. The values shown are for a single choice of physical parameters, and q = 0. This choice was made because both and are largest when q = 0 for a given total physical error rate . Also, it satisfies our requirement that and gives a total physical error rate that is below threshold, as can be seen in Figure 2, where the logical error rate decreases with code size.
Download figure:
Standard image High-resolution imageBoth decoders show a similar suppression of with N. Indeed, equations (7) and (9) show that for both decoders. However, the optimal decoder suppresses the logical error rate much more rapidly with N than the hard decoder. The reason is that the optimal decoder is more effective at suppressing incoherent errors, as may be expected from a decoder optimized for Pauli errors.
Hence, while the hard decoder practically eliminates the relative coherence of the error for , the optimal decoder provides a better logical error rate for a given number of qubits N. This illustrates the types of performance tradeoffs that can play a role when selecting a particular decoder and values of d and n for a given total number of qubits N.
2.3. Logical time to failure
We now examine the logical time to failure of the encoded qubit. As a failure metric we use the diamond norm and also the worst-case infidelity [7], since the latter naturally arises in a simulation of the time evolution. We show that both metrics give the same result for the failure time. The worst-case infidelity after m QEC cycles is defined as
This is the maximum probability of logical failure over all initial states. Here is the state of the logical qubit after m QEC cycles,
The noise operator is the single qubit operator, equation (3), with , q replaced by , from equations (5) and (6). Equation (15) is satisfied for some initial state . For the noise operator , is any state of the form . This is a state whose Bloch vector is in the y–z plane and is therefore maximally affected by the X-rotation in equation (3).
Using equation (3) and the fact that and commute, we have
where denotes the composition of Λ with itself m times and , are the effective error model parameters for m compositions of the error channel. (We use the notation , .)
Since the parameter q (or ) in equation (3) can be parameterized as (see comments after equation (4)), for some time interval τ, we can write . Rearranging this expression and using instead of q we find
Since is simply the rotation angle for the composition of m rotations, each by angle , we have
The worst-case infidelity, equation (15), of the error channel, equation (17), is
This formula can be derived by expressing equation (15) in terms of the Liouville representation [31] and using equations (A.33), (A.34) in the appendix for the error channel, equation (3), in this representation. We note that the worst-case infidelity is 3/2 the average infidelity, see equation (11).
Equation (20) predicts logical failure when or . According to equations (18), (19), this occurs when or , whichever gives the smaller value for m. The second condition is clear from equation (19). One way to derive the condition involving is as follows. Assuming , the quantity is well approximated by . Equation (18) then becomes , which is when the quantity in the exponent is . Our assumption that is therefore justified, since (which follows from equation (6) and our initial assumption that ). Denoting the number of QEC cycles to logical failure as , we therefore have
The same result is found using the diamond distance as an error metric. Indeed, putting equation (11) in equation (12) gives the diamond distance after m QEC cycles as
Therefore when either or , as before.
Equation (20) also predicts a crossover from stochastic behavior, , to coherent behavior, , above a critical number of QEC cycles, which satisfies . In the limit , equation (20) becomes
This is a sum of two error rates, the first, , from the incoherent channel and the second, , from the coherent rotation, . Setting these error rates equal to each other gives
Inserting the values of , from equations (5) and (6) into (24) we find that the crossover from stochastic to coherent behavior of the logical error occurs at
where is the number of qubits, which holds when q = 0. In contrast, the number of QEC cycles to logical failure occurs at , which is cycles greater than the crossover point. Therefore our initial assumption that for m below was valid.
It is instructive to compare these results to the stochastic error model defined by the Pauli-twirl of equations (2) and (3). This gives in equation (5). The worst-case logical failure probability is then equal to the first term in equation (23), which is approximately the stochastic part of the full error probability. This model predicts a logical time to failure proportional to . This is longer (more QEC cycles) than when the coherent part of the error was included.
We conclude that a stochastic error model would correctly predict the logical failure rate up to QEC cycles, beyond which it is necessary to take account of the coherence of the error. If the correlation time of the coherent error is less than , where is the duration of a QEC cycle, then the logical error is effectively stochastic and can be obtained by replacing the physical error, equation (3), by its Pauli twirl.
Figure 3 plots the worst-case failure probability vs number of QEC cycles for physical error parameters , q = 0 and for . The blue curve is the result of a Monte Carlo simulation of three data qubits initialized to , each subject to the error operator, equation (3), once per QEC cycle. This is compared to the theoretical curve, equation (20), as well as the coherent and incoherent parts of equation (23). The simulation results show good agreement with equation (20). The crossover from stochastic to coherent behavior occurs at , consistent with the discussion above.
Download figure:
Standard image High-resolution image3. Conclusion
Implementing QEC for coherent errors will be an important challenge for realizing scalable fault-tolerant quantum computing. It is now understood that despite the projective nature of QEC stabilizer measurements, coherent physical errors give rise to a logical error that is also coherent to some extent [12, 14, 15]. Several strategies for mitigating coherent errors have been proposed, including averaging over random gate sequences [17–22], and optimization of the decoding algorithm [28]. Our goal in this paper was to investigate another possibility, namely whether there exist parameter regimes in standard stabilizer QEC for which the logical error is Pauli even when the physical error is coherent. This would enable the use of existing techniques for correcting Pauli errors, and justify numerical simulations of QEC based on a Pauli error model.
To this end, we analyzed repetition code QEC for an error model containing coherent and incoherent errors. Focusing on the repetition code allowed us to obtain quantitative analytic results on the scaling of coherent and incoherent logical error rates with code distance d and concatenation level n.
We found that coherent physical errors result in logical errors that are partially coherent and therefore non-Pauli, in agreement with recent numerical studies [14, 15], but that the degree of coherence depends on the code distance and concatenation level. An analysis of the time to logical failure, based on a decoder optimized for independent Pauli errors, showed that the coherent part of the logical error is not important at fewer than error correction cycles, where is the rotation angle error per cycle for a single physical qubit and is the total number of qubits. Logical failure occurs at QEC cycles, which is faster than predicted by the Pauli-twirl approximation of the error. Furthermore, with a hard Pauli decoder the coherent part of the logical error is not important at any number of error correction cycles for two or more concatenation levels and small initial error rates. However, this needs to be traded against the larger total logical error which results from hard decoding as compared with optimal decoding.
Our findings lend support to using stochastic Pauli error models in the presence of low-frequency coherent errors under conditions of large enough code distance or concatenation. However, several questions remain to be addressed to justify the use of Pauli models for general coherent errors. Our error model was limited to a tensor product of single-qubit errors on data qubits only. Future work must include syndrome qubit and measurement errors, coherent leakage errors [6, 16], and gate dependence. In addition, unwanted couplings between qubits cause coherent errors that need to be included in the analysis.
Finally, while the calculations presented here are suggestive, the real test lies in their applicability to the particular QEC codes that will be implemented in real devices. To this end, we hope these results may inform further studies of, e.g., the surface code, which at present can only be done numerically. Recently, the work of Bravyi et al [32] has evaluated the impact of coherent errors on the logical error rate of quantum memory in large surface codes.
Acknowledgments
We are grateful to Marcus P da Silva for valuable discussions and to anonymous referees for their helpful comments. This document does not contain technology or technical data controlled under either US International Traffic in Arms Regulations or the US Export Administration Regulations.
: Appendix. Derivation of the logical error map
We derive the logical error parameters equations (5) and (6), for the repetition code under the error model, equations (2) and (3), and a decoder optimized for independent Pauli errors. Throughout this section we will use a bold font to indicate a channel that acts in complex conjugate on the right and left of the density matrix, for example:
Following the notation of Rahn et al [13], the effective logical error map is the composition of encoding, noise, and decoding,
The encoding map for the repetition code is
The decoding map includes syndrome measurement and recovery, followed by the inverse of encoding. It can be expressed as a sum over all syndromes,
where
projects the state onto the space corresponding to the syndrome , is the ith stabilizer, and is the recovery operation that maps the logical state back to the codespace.
To simplify the notation, we work directly in terms of the physical qubit density matrix , which is initialized by the encoding, . The logical error map is then given by , where
Defined in this way, is a state in the codespace, , and we restrict the map to act only on such states.
We begin by factoring the stochastic and coherent parts of the channel :
where the tensor product over all qubits denotes the application of Λ to each qubit. The incoherent part can be written
Here is the sum over all weight-k products of 's:
where we have defined as in equation (A.1). The channel is the lowest-weight undetectable error, and is also the logical bit-flip channel [23]. The second line of equation (A.8) comes from the identity .
We note that, since is restricted to a stabilizer eigenspace (it is in the codespace, as noted above), does not have matrix elements between states of different syndromes. We can write this compactly as
Continuing, we can write the coherent part of equation (A.7) as
where
If does not have matrix elements between states of different syndromes, as will be the case if per equation (A.10), we find upon expanding equation (A.11) and projecting out a single syndrome σ that
where we have defined
and
The rotation angle is given by
Combining now the coherent, equation (A.14), and incoherent, equation (A.8), part of the error channel, and using equation (A.7) we obtain
Since each term in the product is a product of 's, it follows that
for some coefficients mjkn. It is straightforward to calculate these coefficients. Consider a single term in and select n of the 's in this term to coincide with terms in . The appropriate terms in are chosen by selecting from possible 's for the remaining j − n 's in that contribute to the RHS of equation (A.19). This gives terms. Next there are ways to pick n 's in the given term of . Finally there are terms in . Since each term on the LHS of equation (A.19) contributes to the RHS of equation (A.19) and there are terms on the RHS, we obtain
Substituting equation (A.19) into (A.18) gives
From this result, the logical error map can be derived given the decoding algorithm. We choose a decoder optimized for independent Pauli errors, which selects a recovery operator equal to the smallest weight Pauli consistent with the syndrome.
The syndrome, and hence recovery operator, is determined entirely by the term in the above equation. It is therefore straightforward write down the error map, equation (A.6), which includes projection and recovery operations. If then the recovery operation transforms each of the terms in to the identity, while if then the recovery operation transforms each term in to . Substituting equation (A.20) for mjkn and collecting terms, we find
where
The sum over n runs over all values for which the combinatorial coefficients are defined. Here is a Heaviside step function which takes the value 1 when the statement x is true and 0 when it is false.
Using Vandermonde's identity,
we find
Returning now to the full error map we obtain for the effective 1-qubit logical error channel
where
with Uj as in equation (A.16) with X replacing .
Equations (A.27)–(A.29) show that the effective logical error is an incoherent sum of terms, each of which is the composition of a stochastic bit flip and coherent rotation.
To enable further simplification it is helpful to use the Liouville, or Pauli transfer matrix (PTM) representation of quantum channels [31]. For an N-qubit channel this is defined as
where Vi, are basis vectors in the vector space spanned by all tensor products of N Pauli matrices (including the identity).
The PTMs are linear functions of the channels they represent. The following identities hold for arbitrary quantum channels , and constants a, b.
The logical error channel, equation (A.27), is a single-qubit channel. It contains only identity and X operators, leaving the space spanned by invariant. By analogy to the notation in [14] for process matrices, we can therefore write R in terms of 2 × 2 blocks,
The matrices satisfy the same composition properties, equations (A.31) and (A.32), as the full matrix R. Using these definitions, the matrix for the single-qubit error channel, equation (3), evaluates to
We now write equation (A.27) as
We are interested in the leading order terms in this equation in , q. From equation (A.15) and the identity , we find to lowest order in ,
and from equation (A.24) we find, to lowest order in q,
The last equation is found by observing that the lowest order term in q comes from the 2nd term in equation (A.24) when k takes its minimal value. This happens when n = 0 and . Finally, from equation (A.17) we find
to leading order in .
We now calculate the diagonal and off-diagonal terms in equation (A.36). The diagonal terms are
Expanding and keeping the lowest order terms in q and , the above equation reduces to , where
This proves equation (6).
Next we calculate the off-diagonals in equation (A.36).
The sum in the last equation is straightforward to simplify by writing the sums over even and odd j separately and using Pascal's rule. The result is
This proves equation (5).
At this level of approximation (linear in and ), which is accurate when , we can write the reduced PTM as
This shows that has the same form as (see equation (3)) with renormalized parameters , .