Abstract
This paper investigates the non-Markovian cost function in quantum error mitigation (QEM) and employs Dirac Gamma matrices to illustrate two-qubit operators, significant in relativistic quantum mechanics. Amid the focus on error reduction in noisy intermediate-scale quantum (NISQ) devices, understanding non-Markovian noise, commonly found in solid-state quantum computers, is crucial. We propose a non-Markovian model for quantum state evolution and a corresponding QEM cost function, using simple harmonic oscillators as a proxy for environmental noise. Owing to their shared algebraic structure with two-qubit gate operators, Gamma matrices allow for enhanced analysis and manipulation of these operators. We evaluate the fluctuations of the output quantum state across various input states for identity and SWAP gate operations, and by comparing our findings with ion-trap and superconducting quantum computing systems' experimental data, we derive essential QEM cost function parameters. Our findings indicate a direct relationship between the quantum system's coupling strength with its environment and the QEM cost function. The research highlights non-Markovian models' importance in understanding quantum state evolution and assessing experimental outcomes from NISQ devices.
Similar content being viewed by others
Introduction
Decoherence and gate errors are crucial noise sources in quantum computing systems, imposing practical constraints1. Yet, shallow quantum circuits, deployed in hybrid quantum–classical algorithms2,3, can yield significant results, even amidst finite error rates, thanks to their error resilience4,5. Given the high cost of full-scale fault-tolerant quantum computing6,7,8, it's vital to maximize error suppression while minimizing qubits, necessitating a solid understanding of the physical basis of these errors.
Current Quantum Error Mitigation (QEM) strategies involve gate models to describe quantum circuits and time-dependent Hamiltonian dynamics, employing the Lindblad operator6 as a noise source9.
A quantum system is considered as an open quantum system, coupled to an environment that induces decoherence and dissipation. The dynamics of an open quantum system can be described, in many cases, with a Markov approximation, which assumes that the environment recovers instantly from the interaction, leading to a continuous flow of information from the system to the environment. However, with the increasing capability of controlling quantum systems, a large separation between system and environment time scale can no longer be assumed, leading to non-Markovian behavior and eventually a back flow of information from the environment to the system. It is therefore crucial to develop an accurate but efficient description of the system-environment interaction that goes beyond the Markovian approximation10,11,12.
While most studies focus on Markovian noise affecting Noisy Intermediate-Scale Quantum (NISQ) computers, it's essential to investigate non-Markovian noise sources, which exhibit memory effects and are prevalent in solid-state quantum computing devices10,11,12. Non-Markovian noise poses more complex modeling and error mitigation challenges, emphasizing the need for a deeper understanding for effective strategy implementation.
This research introduces a non-Markovian method for assessing quantum state fluctuations in near-term quantum computing devices to calculate the QEM cost function. Considering the ubiquity of non-Markovian noise effects in these devices, understanding their impact is crucial for effective error mitigation.
By employing this non-Markovian method and modeling the environment with simple harmonic oscillators, we can explore the correlation between noise sources and system performance. This is key to determining the QEM cost function, which measures the success of error reduction techniques in a quantum system.
The knowledge derived from this method aids in crafting custom QEM strategies, enabling researchers to address non-Markovian noise challenges more effectively. This leads to enhanced performance and reliability of quantum computing devices amidst various environmental disturbances.
Dirac Gamma matrices are a set of matrices that play a central role in the formulation of the relativistic quantum mechanics known as the Dirac equation, which describes the behavior of spin-1/2 particles such as electrons13,14. These matrices possess unique algebraic properties, including anticommutativity and a specific representation in terms of the Pauli matrices. The Gamma matrices form a Clifford algebra and are employed in various areas of physics, including quantum field theory and supersymmetry.
Most two-qubit quantum gate operations can be described by the SU(2) group which is a mathematical structure widely used in physics, especially in the context of quantum mechanics, where it describes spin-1/2 particles like electrons. It is a special case of the special unitary group of degree 2 and is isomorphic to the group of quaternions of norm 1. Expanding SU(2) by Dirac gamma matrices usually refers to expressing SU(2) generators in terms of the gamma matrices. The purpose of doing this is to relate the mathematical structures of spin more explicitly. This expansion allows one to interrelate the spin and internal symmetries and can lead to a richer understanding of the underlying physics. Also when the SU(2) algebra is represented using the Dirac gamma matrices, it can help to connect different areas of theoretical physics, revealing new insights into the relationships between spin, isospin, and the behavior of fermions.
The connection between two-qubit gate operators and Dirac Gamma matrices arises from their shared algebraic structure. By expressing the two-qubit gate operators using Dirac Gamma matrices, we can exploit the properties of Gamma matrices to analyze and manipulate the operators more effectively. This representation can offer valuable insights into the behavior of two-qubit gates, especially in the presence of noise and decoherence. Furthermore, leveraging the algebraic properties of Dirac Gamma matrices can facilitate the development of novel error mitigation techniques and robust quantum gate designs, ultimately enhancing the performance of quantum computers.
Dissipation in quantum dynamics of a two-state or qubit system is widely encountered in physics and chemistry, and its description remains a significant theoretical challenge, especially when considering non-Markovian processes10,11,12,15. These non-Markovian processes related to dissipation are closely linked to the low-frequency noise spectrum16,17,18. It has been suggested that low-frequency noise plays a crucial role in decoherence processes in ion trap or superconducting systems for near-term quantum computers3. Understanding non-Markovian quantum dynamics of a two-state system is also important for evaluating the performance of an adiabatic quantum computer in the presence of noise19. This is because, for many difficult problems, the computation bottleneck involves passing through a point where the gap between the ground state and the first excited state is small, and the system is strongly coupled to the environment. One of the authors previously developed a time-convolutionless reduced-density operator theory of noisy quantum-state evolution20,21. This time-convolutionless formulation was shown to incorporate both non-Markovian relaxation and memory effects22. The time-convolutionless equations of motion were initially suggested by Tokuyama and Mori in the Heisenberg picture23, and later developed in the Schrödinger picture using the projection operator technique24,25,26.
In this work, we refine the reduced-density operator theory to create an adaptable expression for the quantum Liouville equation for a two-state system. This makes it more amenable to perturbational analysis, facilitating the derivation of the master equation in the context of low-frequency noise and strong environmental coupling.
This approach enables a deeper exploration of the impact of non-Markovian noise on quantum computing devices. By understanding how diverse noise sources affect system dynamics, researchers can pinpoint major error contributors and devise effective mitigation strategies.
The study of non-Markovian noise sources is pivotal to advancing quantum computing technologies. A non-Markovian approach to analyzing QEM cost function from the Dirac Gamma matrices representation of a recovery operation can lead to tailored error mitigation strategies, enhancing the performance and reliability of near-term quantum computing devices. This work will contribute to harnessing quantum computing's potential across various applications, including cryptography and materials science.
Theoretical formulation
The total Hamiltonian for an open two-state system is given by20,21,27
where \(\widehat{H}_{S} (t)\) is the system Hamiltonian for a two-state system, \(\widehat{H}_{B}\) the Hamiltonian acting on the reservoir or an environment, \(\widehat{H}_{{\text{int}}}\) is the interaction between the system and the environment (as depicted in Fig. 1).
The equation of motion for the total density operator \(\rho_{T} (t)\) of the total system is given by a quantum Liouville equation20
where
is the Liouville super operator in one-to-one correspondence with the Hamiltonian. Here, we use the unit in which \(\hbar = 1\). In order to derive an equation and to solve for a system alone, it is convenient to use the projection operators which decompose the total system by eliminating the degrees of freedom for the reservoir. We define thine-independent projection operator \(\underline {P}\) and \(\underline {Q}\) given by20
for any dynamical variable \(X\). Here \(tr_{B}\) denotes a partial trace over the quantum reservoir and \(\rho_{B}\) is the density matrix of the reservoir.
The information of the system is then contained in the reduced density operator
We assume that the system was turned on at \(t = 0\) and the input state prepared at \(t = 0\) was isolated with the reservoir such that \(\underline {Q} \rho_{T} (0) = 0\).
The formal solution of Eq. (2) is given by (Supplementary Information)
or
Here \(\widehat{U}_{S} (t,s)\) is the propagator of the system defined by
If we define \(\widehat{W}(t)\) by
Then, the evolution operator for the reduced density operator \(\rho (t)\) is given by
where the super-operator \(\widehat{V}(t)\) for the evolution of the reduced density operator is defined by \(\widehat{V}(t) = \widehat{W}^{ - 1} (t)\widehat{U}_{S} (t,0)\). Within the Born approximation, we have (Supplementary Information)
where
After some mathematical manipulations, \(\widehat{V}^{(2)} (t)\rho (0)\) becomes
Here \(\widehat{H}_{{\text{int}}} (\tau - s)\) and \(\rho ( - s)\) are Heisenberg operators defined by
respectively.
Results
In this work, we focus on the two-qubit gate operations and model the interaction of the quantum system with the environment during the gate operation by a Caldeira-Leggett model11,12,15,27 where a set of harmonic oscillators are coupled linearly with the system spin by
where \(\sigma_{i}^{j}\) are the Pauli matrices \(\sigma_{i}^{1} = X_{i} ,\;\sigma_{i}^{2} = Y_{i} ,\;\sigma_{i}^{3} = Z_{i} ,\) and \(b_{i}^{j}\) is the fluctuating quantum field associated the ith qubit, whose motion is governed by the harmonic-oscillator Hamiltonian. We model the system by the Hubbard Hamiltonian
where \(J(t)\) is the time-dependent Heisenberg coupling for electron spin operators \(\mathop{S}\limits^{\rightharpoonup} _{1} \cdot \mathop{S}\limits^{\rightharpoonup} _{2}\).
If we turn on \(J(t)\) for \(\int {dt} \;J(t) = \pi\), the unitary operator associated with Eq. (14b) gives the SWAP operation up to the overall phase20,27
In the evaluation of Eq. (13), we obtain the following relations20:
where
Here \(J(\omega )\) is the ohmic damping given by \(J(\omega ) = \theta (\omega_{c} - \omega )\eta \omega\), \(\Gamma\) is the decoherence rate of the qubit system, \(\eta\) is \(\frac{{\omega_{c} }}{T}\) and \(\omega_{c}\) is the cutoff frequency.
Evaluation of a reduced-density-operator in the multiplet basis representation
We evaluate the reduced-density-operator in the multiplet basis representation20
where \(e_{ab}\) is the multiplet states (basis). The inner product between the multiplet basis is defined by
Then, from Eqs. (16)–(21), we obtain the matrix component of the reduced-density-operator as (Supplementary Information)
where
and
Here \(\omega_{c}\) is the high frequency cutoff, \(\tau\) is the switching time, \(\Gamma_{0} = \lambda^{2} \eta k_{B} T\tau_{s}\) and \(\Delta_{o} = \frac{{\lambda^{2} \eta \omega_{c} \tau_{s} }}{\pi }\).
We now study the non-Markovian errors associated with two-qubit gate operations. In Eq. (21), \(Si(x) = \int_{0}^{x} {dt} \frac{\sin t}{t}\), is a sine integral29.
In Eq. (19), \(V_{{ab\left| {cd} \right.}} (t)\) is the quantum evolution operator for the reduced density operator containing the effects of non-Markovian noise sources. The quantum evolution operator \(V_{{ab\left| {cd} \right.}} (t)\) is defined in the multiplet basis \(e_{ab} = \left| {a > < b} \right|\) by \(V_{{ab\left| {cd} \right.}} (t) = \left( {e_{ab} ,\;V(t)e_{cd} } \right) = Tr(e_{ab}^{\dag } V(t)e_{cd} )\) where \(V(t)\) is deined by Eq. (10). In Eq. (19), \(E_{a} ,E_{b}\) are the steady-state eigenvalues (energy) of the system Hamiltonian \(H_{S} (t)\) for the states \(\left| {a > } \right.,\;\left| {b > } \right.\), respectively.
The interaction between the qubit system and the environment defined in Eq. (15) is assumed to be a local interaction. When qubits are entangled one may need to consider the non-local interactions as well. Recent experiments have demonstrated significant non-local noise across different qubits in the spin qubit platforms30,31,32 and relevant theoretical exploration33.
Schematics of quantum error mitigation process
The purpose of QEM is to restore the ideal quantum evolution without noisy processes. We denote the ideal quantum volution and QEM based recovery operation as \(\varepsilon_{I} (t)\) and \(R_{QEM} (t)\) , respectively, such that6,10
and
Here, \(c(t) = \sum\limits_{i} {\left| {\mu_{i} } \right|}\) is the QEM cost function, \(p_{i} = \frac{{\left| {\mu_{i} } \right|}}{c(t)}\), and \(\left\{ {O_{i} } \right\}\) is the set of physical operations applied for QEM.
Equation (22) can be rewritten as.
\(\varepsilon_{I} (t) = R_{QEM} (t)V(t)\) or \(R_{QEM} (t) = \varepsilon_{I} (t)V^{ - 1} (t)\).
Therefore, we can interpret \(R_{QEM} (t)\) as a recovery operator and \(\mu_{i}\) is the expansion coefficient of a recovery operator for given basis i such as Dirac matrices and can be interpreted as quasi-probability. As a result, \(c(t)\) can be interpreted as probabilistic error cancellation or cost function.
Non-Markovian noise of SWAP operation
We first consider the SWAP operation.
For SWAP operation, the multiple basis is given by
Assuming that the initial state is given by \(\rho_{cd} (0) = \left| {00 > < 00} \right| = \rho_{11}^{m} (0)\), we obtain
In Eq. (25), \(M_{2112}\) is, for example, given by
from Eq. (20).
In NISQ machines, the input and out states are represented by the computational basis:
Then the reduce-density-operator in the computational basis is given by
By substituting, Eqs. (27), (28) into Eq. (25), we obtain ‘
Here \(1 - {\text{Re}} \;k(t),\;{\text{Re}} \;k(t),\;{\text{Re}} \;k(t),\;0\) are the probabilities of finding the output states of the system in \(|00 > ,|01 > ,|10 > ,|11 >\) states at time t, respectively.
It is interesting to note that the \({\text{Re}}\;k(t)\) can be approximated as
In Fig. 2, we show the plot of \({\text{Re}} \;k(t)\) vs \(\frac{t}{{\tau_{s} }}\), where \(\tau_{s}\) is the switching time for the parameters \(\Gamma_{0} \omega_{c} \tau_{s}\) in the range \(7.0 \times 10^{ - 4} \le \Gamma_{0} \omega_{c} \tau_{s} \le 7.0 \times 10^{ - 3}\).
The comprehensive summary provided in Table 1 encapsulates the theoretical forecasts concerning fluctuations in quantum states that are inherent in the execution of the SWAP operation, particularly when these operations are subject to non-Markovian noise sources. These predictions, drawn from theoretical work, detail the dynamic behaviors and potential variations of quantum states when a SWAP operation—a fundamental quantum gate operation used to exchange the quantum states of two qubits—is applied. The aspect of non-Markovian noise underlines the consideration of more complex noise patterns, where the system's future states depend not just on its present state, but also on its past, introducing memory effects and making the noise process more intricate and challenging to manage.
In an effort to gauge the fluctuations in quantum states during the execution of the SWAP operation on practical NISQ devices, two distinct platforms were utilized: 'ibm_guadalupe' via IBM Quantum, and IonQ facilitated by Amazon Braket and QLab. The data derived from these platforms offer critical insights into the behavior of quantum states under the SWAP operation. After conducting 1,000 iterations on each platform, the resulting probabilities of each quantum state have been meticulously recorded and presented in Table 2 for 'ibm_guadalupe' and Table 3 for IonQ Harmony. These tables provide a comparative analysis of the two platforms, aiding in understanding the influence of different NISQ devices on quantum state fluctuations during the SWAP operation.
From the above table, the decoherence function \({\text{Re}} \;k(t)\) at switching time \(\tau_{s}\) can be estimated for each NISQ machine as in the range \(6.0 \times 10^{ - 3} \le {\text{Re}} \;k\left( {\tau_{S}^{IonQ} } \right) \le 1.8 \times 10^{ - 2}\) for IonQ Harmony, and \(1.5 \times 10^{ - 2} \le {\text{Re}} \;k\left( {\tau_{s}^{IBM} } \right) \le 5.6 \times 10^{ - 2}\) for ibm-guadrupe, respectively.
Non-Markovian noise of an Identity operation
For identity operation, the input and out states are represented by the computational basis:
Table 4 offers an encapsulation of theoretical projections concerning the fluctuations in quantum states during the execution of an Identity operation, an essential quantum gate operation. Contrary to the previous section, the Identity operation does not interchange the states of two qubits, but rather leaves the state of a qubit unchanged. This becomes increasingly crucial when these operations are impacted by non-Markovian noise sources. These predictions explore the possible alterations and dynamic responses of quantum states during the Identity operation. Non-Markovian noise, representing a more intricate noise pattern, highlights the system's dependence not merely on its current state, but also its past states. This inclusion of historical states introduces memory effects into the system, subsequently complicating the noise process and intensifying the challenge of managing it.
To examine the variability in quantum states during the execution of the Identity operation on practical NISQ devices, two platforms were used as before: 'ibm_guadalupe' provided by IBM Quantum, and IonQ accessible via Amazon Braket. The information gathered from these platforms delivers crucial understanding regarding the behavior of quantum states amidst the Idenitity operation. After performing 1,000 iterations on each platform, the probabilities of the respective quantum states have been scrupulously documented and depicted in Table 5 for 'ibm_guadalupe' and Table 6 for IonQ Harmony. These tables facilitate a side-by-side analysis of the two platforms, thereby assisting in the comprehension of how different NISQ devices can affect the fluctuations in quantum states during the Identity operation.
From the above table, the decoherence function \({\text{Re}}\;k(t)\) at switching time \(\tau_{s}\) can be estimated for each NISQ machine as in the range \(2.0 \times 10^{ - 3} \le {\text{Re}} k\left( {\tau_{s}^{IonQ} } \right) \le 2.4 \times 10^{ - 2}\) for IonQ Harmony, and \(6.0 \times 10^{ - 3} \le {\text{Re}} k\left( {\tau_{s}^{IBM} } \right) \le 2.8 \times 10^{ - 2}\) for ibm-guadrupe, respectively.
Derivation of QEM recovery operator for a SWAP operation
The noisy SWAP evolution operator \(V_{SWAP} (t)\) represented by the multiplet basis of Eq. (24) is given by
from Eqs. (72), (74), (76) ad (78) of the Supplementary Information.
Then the QEM recovery operator \(R_{SWAP\;QEM} (t)\) is obtained from Eqs. (22) and (33) and is given by
where
and \(\alpha = {\text{Re}}\;k(t)\).
The QEM recovery operator can be expanded by 16 Dirac Gamma matrices \(\gamma_{r} = I,\gamma_{\mu } ,\gamma_{\mu } \gamma_{\nu } (\mu < \nu ),\gamma_{5} \gamma_{\mu } ,\gamma_{5} = \gamma_{0} \gamma_{1} \gamma_{2} \gamma_{3}\) for \(\mu = 0,1,2,3\)13,14.
Here \(\gamma_{i} = \left( {\begin{array}{*{20}c} 0 & {\sigma_{i} } \\ {\sigma_{i} } & 0 \\ \end{array} } \right)(i = 1,2,3)\) and \(\gamma_{0} = i\left( {\begin{array}{*{20}c} I & 0 \\ 0 & { - I} \\ \end{array} } \right)\). Details of Gamma matrices are given in the “Methods” section.
After some mathematical manipulations, we expand the QEM recovery operator as
From Eq. (36), we obtain the QEM cost function as
Figure 3 graphically depicts the quantum error mitigation cost function for the SWAP operation, considering the normalized gate operation time \(\frac{t}{{\tau_{s} }}\) and varying coupling strengths \(\Gamma_{0} \omega_{c} \tau_{s}\) between a quantum system and its modeled environment of simple harmonic oscillators. The normalized gate operation time \(\frac{t}{{\tau_{s} }}\) is a dimensionless parameter that compares the actual gate operation time (t) to a characteristic time scale \(\left( {\tau_{s} } \right)\) of the system. This normalization enables the comparison of quantum error mitigation strategies across various systems and gate operation times.
The simple harmonic oscillators offer a convenient method to model these interactions and their impact on the quantum system's behavior. The cost function measures the deviation between expected and actual outcomes of quantum computations, assessing the efficacy of error reduction strategies. By normalizing gate operation time, the comparison of these strategies across different systems is possible.
Coupling strength, indicating the intensity of quantum system-environment interaction, reveals an increase in the cost function with higher strength, suggesting higher susceptibility to non-Markovian noise and environmental influences. This underscores the need for efficient error mitigation strategies for quantum systems with stronger environmental interactions. Figure 3 emphasizes the need to account for system-environment coupling strength when developing quantum error mitigation techniques, aiding in the design of tailored approaches for improved performance amidst varying environmental disturbances.
Derivation of QEM recovery operator for a Identity operation
The noisy Identity evolution operator \(V_{Id} (t)\) represented by the computational basis is given by
from Eqs. (72), (74), (76) ad (78) of the Supplementary Information.
Then the QEM recovery operator \(R_{Id\;QEM} (t)\) is obtained from Eqs. (22) and (33) and is given by
where
and \(\alpha = {\text{Re}}\;k(t)\).
After some mathematical manipulations, we expand the QEM recovery operator as
From Eq. (36), we obtain the QEM cost function as
Figure 4 visually presents the cost function for quantum error mitigation in the Identity operation, factoring in normalized gate operation time \(\frac{t}{{\tau_{s} }}\) and various coupling strengths \(\Gamma_{0} \omega_{c} \tau_{s}\) between a quantum system and its environment, modeled by simple harmonic oscillators. This cost function quantifies the divergence between predicted and actual quantum computation results, which helps evaluate error reduction strategies28. The graph suggests that stronger system-environment interactions, represented by higher coupling strengths, increase the cost function, implying a greater vulnerability to non-Markovian noise and environmental factors. Therefore, Fig. 4 highlights the importance of considering system-environment coupling strength when designing effective error mitigation strategies for diverse environmental conditions.
Discussion
This study investigates the non-Markovian cost function for quantum error mitigation (QEM) and the representation of two-qubit operators using Dirac Gamma matrices, integral components of relativistic quantum mechanics. Our primary objective is to quantify the errors specific to individual logical gates caused by non-Markovian noise in quantum circuits, and to establish the cost function for QEM.
Our examination yielded a robust correlation between theoretical predictions and experimental data derived from a Noisy Intermediate-Scale Quantum (NISQ) device based on ion-trap technology. We discerned that the non-Markovian methodology offers a reasonably accurate depiction of the fluctuations in the output quantum states during both identity and SWAP gate operations. This evidence implies that the non-Markovian approach can be an instrumental tool for scrutinizing the impact of errors and decoherence on the output quantum states of NISQ devices. We also observed an increase in the QEM cost function as the coupling strength intensifies.
Dirac Gamma matrices constitute a collection of matrices that significantly contribute to the formulation of the relativistic quantum mechanics known as the Dirac equation. This equation outlines the behavior of spin-1/2 particles, such as electrons. The matrices showcase unique algebraic traits, encompassing anticommutativity and a distinct representation in terms of the Pauli matrices. They form a Clifford algebra and are utilized in diverse physics areas, including quantum field theory and supersymmetry.
The correlation between two-qubit gate operators and Dirac Gamma matrices stems from their mutual algebraic structure. By representing the two-qubit gate operators through Dirac Gamma matrices, we can exploit the matrices' properties to analyze and manipulate the operators more effectively. This approach could provide valuable insights into the behavior of two-qubit gates, particularly under the influence of noise and decoherence. Moreover, harnessing the algebraic properties of Dirac Gamma matrices could aid in formulating innovative error mitigation techniques and robust quantum gate designs, ultimately boosting quantum computer performance.
Our theoretical model for non-Markovian errors, premised on the Caldeira-Leggett model, aligns more accurately with the IonQ machine for the SWAP and Identity operations than the ibm_guadalupe. The likely reason is the inherent fluctuations of the qubit state in an ion trap, which align better with the Caldeira-Leggett interaction model.
To conclude, this study offers a non-Markovian approach to scrutinizing quantum state fluctuations in NISQ devices that interact with their environment, represented by simple harmonic oscillators as a source of noise. We also propose a quantitative model of a cost function for QEM using a projection operator method and advanced and retarded time propagators. This formalism can be adapted to any quantum system, contingent on the specific forms of the system, reservoir, and interaction Hamiltonians.
We have derived an analytical form of the reduced-density-operator for the output quantum states in a time-convolutionless form and juxtaposed the results with experimental data from both ion-trap and superconducting quantum computing systems. The results affirm a strong concordance between the theory and experimental outcomes. The error model and cost function, generated from the time-convolutionless equation and encompassing non-Markovian effects, could serve as bedrock elements for QEM in noisy quantum circuits.
Methods
The Dirac Gamma matrices
The γ-matrices are defined by the anti-commutation relations
where \(g_{\mu \nu }\) is a metric tensor defined by
From the Pauli matrices \(\sigma_{i}\), \(\sigma_{1} = X,\;\sigma_{2} = Y,\;\sigma_{3} = Z,\) we construct the \(4 \times 4\) Gamma matrices
We introduce the 16 matrices
Which are subdivided into the five sets \(\Gamma_{\ell } (\ell = 1,2, \ldots ,5)\):
The sets \(\Gamma_{1}\) and \(\Gamma_{5}\) contain one matrix each, \(\Gamma_{2}\) and \(\Gamma_{4}\) contain four matrices each, and \(\Gamma_{3}\) contains six matrices. It was shown that these sixteen matrices comprising \(\Gamma_{\ell }\) are linearly independent and therefore can represent any \(4 \times 4\) matrix. Detailed expressions for 16 Gamma matrices are as follows:
Data availability
The data generated during the current study are available from the corresponding author on reasonable request.
References
Unruh, W. G. Maintaining coherence in quantum computers. Phys. Rev. A 51, 992 (1995).
Bauer, B., Wecker, D., Millis, A. J., Hastings, M. B. & Troyer, M. Hybrid quantum-classical approach to correlated materials. Phys. Rev. X 6, 031045 (2016).
Li, Y. & Benjamin, S. C. Efficient variational quantum simulator incorporating active error minimization. Phys. Rev. X 7, 021050 (2017).
McClean, J. R., Kimchi-Schwartz, M. E., Carter, J. & De Jong, W. A. Hybrid quantum-classical hierarchy for mitigation of decoherence and determination of excited states. Phys. Rev. A 95, 042308 (2017).
Colless, J. I. et al. Computation of molecular spectra on a quantum processor with an error-resilient algorithm. Phys. Rev. X 8, 011021 (2018).
Temme, K., Bravyi, S. & Gambetta, J. M. Error mitigation for short-depth quantum circuits. Phys. Rev. Lett. 119, 180509 (2017).
Endo, S., Benjamin, S. C. & Li, Y. Practical quantum error mitigation for near-future applications. Phys. Rev. X 8, 031027 (2018).
Cai, Z. et al. Quantum Error Mitigation. https://arxiv.org/abs/2210.00921 (2022).
van Vliet, K. M. Markov approach to density fluctuations due to transport and scattering. I. Mathematical formalism. J. Math. Phys. 12, 1981–1998 (1971).
Hakoshima, H., Matsuzaki, Y. & Endo, S. Relationship between costs for quantum error mitigation and non-Markovian measures. Phys. Rev. A 103, 012611 (2021).
Hall, M. J. W. Canoniacal form of master equations and characterization of non-Markovianity. Phys. Rev. A 89, 042120 (2014).
De Vega, I. & Alonso, D. Dynamics of non-Markovian quantum systems. Rev. Mod. Phys. 89, 015001 (2017).
Jauch, J. M. & Rohrlich, F. The Theory of Photons and Electrons (Springer-Verlag, 1976).
Ahn, D., Moon, Y. H., Mann, R. B. & Fuentes-Schuller, I. The black hole final state for the Dirac Fields In Schwartzschild spacetime. J. High Energy Phys. 6, 062 (2008).
Leggett, A. J. et al. Dynamics of the dissipative two-state system. Rev. Mod. Phys. 59, 1 (1987).
Amin, M. H. S., Love, P. J. & Truncik, C. J. S. Thermally assisted adiabatic quantum computation. Phys. Rev. Lett. 100, 060503 (2008).
Amin, M. H. S. & Brito, F. Non-Markovian incoherent quantum dynamics of a two-state system. Phys. Rev. B 80, 214302 (2009).
Johnson, M. W. et al. Quantum annealing with manufactured spins. Nature 473, 194–198 (2011).
Farhi, E. et al. A quantum adiabatic evolution algorithm applied to random instances of an NP-complete problem. Science 292, 472–475 (2001).
Ahn, D., Oh, J. H., Kimm, K. & Hwang, S. W. Time-convolutionless reduced-density-operator theory of a noisy quantum channel: Two-bit quantum gate for quantum-information processing. Phys. Rev. A 61, 052310 (2000).
Ahn, D., Lee, J., Kim, M. S. & Hwang, S. W. Self-consistent non-Markovian theory of a quantum-state evolution for quantum-information processing. Phys. Rev. A 66, 012302 (2002).
Ahn, D. Time-convolutionless reduced-density-operator theory of an arbitrary driven system coupled to a stochastic reservoir: Quantum kinetic equations for semiconductors. Phys. Rev. B 50, 8310 (1994).
Tokuyama, M. & Mori, H. Statistical-mechanical theory of random frequency modulations and generalized Brownian motions. Prog. Theor. Phys. 55, 411–429 (1976).
Hashitsumae, N., Shibata, F. & Shingu, M. Quantal master equation valid for any time scale. J. Stat. Phys. 17, 155–169 (1977).
Saeki, M. A generalized equation of motion for the linear response. I: General theory. Prog. Theor. Phys. 67, 1313–1331 (1982).
Saeki, M. Generalized master equations for driven system. J. Phys. Soc. Jpn. 55, 1846–1860 (1986).
Loss, D. & DiVincenzo, D. P. Quantum computation with quantum dots. Phys. Rev. A 57, 120 (1998).
van den Berg, E., Minev, Z. K. & Temme, K. Model-free readout-error mitigation for quantum expectation values. Phys. Rev. A 105, 032620 (2022).
Gradshteyn, I. S. & Ryzhik, I. M. Table of Integrals, Series, and Products. (Academic Press, 2007).
Yoneda, J. et al. Noise-Correlation Spectrum for a Pair of Spin Qubits in Silicon. arXiv:2208.14150 (2022).
Rojas-Arias, J. S. et al. Spatial Noise Correlations Beyond Nearest-Neighbor in 28Si/SiGe Spin Qubits. arXiv:2302.11717 (2023).
Undseth, B. et al. Hotter is Easier: Unexpected Temperature Dependence of Spin Qubit Frequencies. arXiv:2304.12984 (2023).
Zou, J., Bosco, S. &Loss, D. Spatially Correlated Classical and Quantum Noise in Driven Qubits: The Good, the Bad, and the Ugly. arXiv:2308.03054 (2023).
Acknowledgements
The author thanks Mr. Byeongyong Park for his help with the experiment. This work was supported by Korea National Research Foundation (NRF) grant No. NRF-2023R1A2C1003570, ICT R&D program of MSIT/IITP 2021-0-01810, RS-2023-00225385, AFOSR grant FA2386-21-1-0089, AFOSR grant FA2386-22-1-4052, and Amazon Web Services. We acknowledge the use of IBM Quantum services for this work. The views expressed are those of the author, and do not reflect the official policy or position of IBM or the IBM Quantum team. This work was also supported by the National Quantum Laboratory at Maryland (QLab). We also acknowledge IonQ for providing quantum computing resources for this work. The views expressed are those of the author, and do not reflect the official policy or position of IonQ.
Author information
Authors and Affiliations
Contributions
D.A. wrote the main manuscript and prepared all figures.
Corresponding author
Ethics declarations
Competing interests
The author declares no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ahn, D. Non-Markovian cost function for quantum error mitigation with Dirac Gamma matrices representation. Sci Rep 13, 20069 (2023). https://doi.org/10.1038/s41598-023-45053-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-023-45053-y
- Springer Nature Limited