1 Introduction
Quantum computation, based on the laws of quantum mechanics, is promising in solving hard computational problems and has many potential applications in modern science and technology [
1]. However, noises, systematic errors and decoherence effects will inevitably affect a quantum gate operation, which can result in the deviation of the target evolution, i.e., infidelity of a quantum gate. Thus, for large scale quantum computation, noise-resistant and high-fidelity quantum gates are highly desired. Remarkably, geometric phases [
2–
4] only depend on the global properties of their evolution trajectories, and thus can naturally be used to induce quantum gates that are robust against certain local noises [
5–
10].
Recently, nonadiabatic holonomic quantum computation (NHQC), based on the non-Abelian geometric phase, has been proposed for high-fidelity quantum operation [
11,
12], and then significant theoretical [
13–
20] and experimental progresses [
21–
31] have been made. However, the above NHQC implementations are sensitive to the systematic error [
32,
33] caused by external control imperfections, which can lead to infidelity of the implemented gate. The main reason for this sensitivity is due to the fact that, in three-level quantum systems, the two coupling strengths in the above implementations need to be synchronized. This strong requirement leads to the fact that the two couplings are actually one independent variable, similar to the case of Rabi oscillation.
In implementing of NHQC, to improve the gate robustness against systematic control errors, various protocols have been proposed with preliminary experimental demonstrations. As the first stage, the conventional encoding methods have been proposed [
12,
34–
44], which require more resources of physical qubits. Then, other quantum control techniques are introduced in cooperating with NHQC, such as the composite scheme or dynamical decoupling strategy [
45–
47], the deliberately optimal pulse control technique [
48–
55], and complex pulses target to shorten the gate-time [
56–
60]. However, these kinds of enhancement of gate robustness either need deliberate control of experimental pulse or greatly lengthen the gate-time. Therefore, improving the holonomic gate robustness in NHQC with simplified control is highly desired.
Here, to further improve gate robustness in NHQC, we propose a fast and robust scheme to construct high-fidelity holonomic quantum gates based on resonant interaction of three-level quantum systems via shortcuts to adiabaticity (STA) [
61,
62]. Specifically, in our scheme, non-synchronous coupling strengths of the Hamiltonian for the target noncyclic holonomic quantum gates can be inversely engineered with the help of the Lewis-Riesenfeld invariant (LRI) [
63–
68]. Comparing with previous NHQC schemes, our scheme has the following merits. First, we only employ the conventional pulse shaping technique, which is experimentally friendly and can be readily realized in current experiments. Second, arbitrary optimized gate can be achieved with smaller pulse area, which can lead to shorter gate time and thus smaller decoherence-induced gate infidelity. Besides, the gate robustness is greatly enhanced via numerically evaluation. In addition, our scheme can be readily implemented in conventional physical systems for quantum computation, e.g., superconducting quantum circuits, nitrogen-vacancy centres and trapped ions, etc. Therefore, our proposal represents a promising way towards fault-tolerant quantum computation.
2 Hamiltonian engineering via STA
We now introduce how to construct the Hamiltonian for realizing a target evolution based on the LRI theory [
63–
68]. Here, we consider a Λ-type three-level system that is resonantly driven by two external fields, inducing the coupling between auxiliary state |
e〉 and qubit states |0〉, |1〉, respectively, as shown in Fig. 1(a). In addition, our protocol can also be applicable in the V- or Ξ-type configurations. Assuming
hereafter, under the rotating wave approximation, the driven system can be expressed in the subspace {|0〉, |
e〉, |1〉} as
where Ω
k (
t) with
k = 0, 1 represents time-dependent coupling strength between auxiliary state |
e〉 and qubit state |
k〉, and
ϕ is a constant relative phase. In general, this time-dependent Hamiltonian
is difficult to be solved, and thus it is hard to obtain the evolution operator by directly using
. Thus, the LRI theory [
63–
68] has been proposed to find exact solution of the time-dependent Schrödinger equation of
, and thus the corresponding evolution operator can be easily found. In the case of Hamiltonian
, there exists a LRI [
67]
where λ is a constant, and γ and β are time-dependent variables designed for a target task. Furthermore, by solving dI/dt≡∂I/∂t + (1/i)[I(t), ] = 0, constraint conditions between the coupling strength Ωk (t) and the invariant parameters can be obtained as
where and denote the time derivative of β(t) and γ(t), respectively.
In addition, eigenstates of I(t) can be chosen as
and
as a set of orthogonal dressed states, with the corresponding eigenvalues being 0 and ±λ/2, respectively. As an arbitrary evolution state |ψ(t)〉 under the driven Hamiltonian can be expanded as a linear superposition of dressed states as with Cn being time-independent amplitudes, according to the LRI theory, the corresponding LR phase is , which is the global phase accumulated on a dressed state. This LR phase includes both geometric (first term) and dynamical (second term) parts. Then, the time-evolution operator is
where /sin γ(t′)dt′ and α0 = 0. That is, according to the required properties of αn, after properly designing time-dependent variables β, γ and the time-independent ϕ, a target Hamiltonian can be inversely engineered according to Eq. (3), and the resulting time-evolution operator of the qubit system is determined by Eq. (6).
3 Holonomic quantum gates
In this section, we present the construction of fast and robust holonomic quantum gates based on the non-belian geometric phase, by applying the strategy of inverse-engineering Hamiltonian described above. Meanwhile, the gate performance is numerically evaluated, which proves that our scheme is more robust than the conventional NHQC scheme [
15], under same conditions.
3.1 Gate construction
We first proceed to the holonomic gate construction. A For the purpose of removing dynamical phase and realizing pure non-Abelian geometric evolution, we deliberately divide the evolution path into two equal parts, changing the driving parameters at the intermediate moment as shown in Fig. 1(b). To be specific, in the first part t∈[0, T/2], the boundary conditions are set to be ϕ1 = ϕ, γ(0) = γ(T/2) = 0, β(0) = θ/4 and β(T/2) = 0. By these settings, according to Eq. (6), the evolution operator of the first part is
Then, in the second part t∈[T/2, T ], to make sure that the target states still stay in the qubit subspace and the evolution time is as short as possible, we exchange the two evolution channels |φ+(t)〉 and |φ−(t)〉 by changing ϕ to ϕ + π in the intermediate moment. Besides, we also target to set α±(T) = −α∓(T/2) to fully eliminate the dynamical phase. Thus, the boundary conditions can be chosen as ϕ2 = ϕ + π, γ(T/2) = γ(T) = 0, β(T/2) = 0 and β(T) = θ/4, resulting in the evolution operator for the second part as
In this way, during the whole evolution time T, the non- Abelian geometric evolution operator within the quit subspace {|0〉, |1〉} is
which can be regarded as rotation around axis cos ϕσy − sin ϕσx by an angle θ∈[0, π] denoted as R[θ, ϕ]. Thus, by choosing different (θ, ϕ), universal holonomic single-qubit gates can be realized.
3.2 Gate performance
Here, we choose a proper set of time-dependent variables, which satisfy the boundary conditions [
66], to show the performance of the implemented holonomic quantum gates. That is, in the first time interval
t∈[0
, T/2], we set
where A is a tunable parameter. And, in the second time interval t∈[T/2, T ], we set
The above choice of the boundary conditions can ensure the time-dependent variables to be simple and realizable, and the shapes of parameters
γ(
t) and
β(
t) are shown in Fig. 2(a). Then, the corresponding form of Ω
k in Hamiltonian
can be reversely engineered according to Eq. (3). Notably, we can find that the pulse area
S, defined by
, of a fixed rotation operation is related to the tunable parameter
A directly. Therefore, for a certain rotation angle
θ, the minimum pulse area
Smin can be obtained by adjusting
A, as show in Fig. 2(b) for the gate with
θ = π/2. Moreover, as shown in Fig. 2(c), we also plot the minimum pulse area
Smin with respect to rotation angle
θ. In addition, we can obtain the average gate-time for all possible rotation angle, which indicate that the average gate-time of our scheme is shorter compared with the conventional NHQC case [
15] (i.e.,
S≡
π), resulting in higher gate fidelity.
To evaluate the performance of the constructed holonomic gates, we use the Lindblad master equation of
where
ρ is the density matrix of the qubit system and
is the Lindbladian of operator
;
σ1 = |0〉〈
e| + |1〉〈
e| and
σ2 = (|
e〉〈
e|−|0〉〈0|) + (|
e〉〈
e|−|1〉〈1|) with Γ
1 and Γ
2 being the corresponding decay and dephasing rates, respectively. Here, considering the energy cost [
69,
70] and experimental feasibility, we set the maximum coupling strength to be (Ω
k)
max = 2π × 20 MHz. In addition, the decay and dephasing rates are set as Γ
1 = Γ
2 = 2π × 5 kHz. For two typical gate operations
R[π/2, π/2] and
R[π/4, π/2], the minimum pulse area
Smin can be obtained with
A = 0.46 and 0.38, respectively. Assuming that the quantum system is initially prepared in |
ψ1〉 = |0〉, the obtained gate-fidelities of
R[π/2, π/2] and
R[π/4, π/2] are as high as
Fπ/2 = 99.91% and
Fπ/4 = 99.97%, as shown in Figs. 3(a) and (b), respectively, where the state fidelity is defined by
Fθ =
with
=
R[
θ, π/2]|0〉 being ideal final state. In addition, for a general initial state |
ψ1〉 = cos
θ′ |0〉 + sin
θ′ |1〉, gate operations
R[π/2, π/2] and
R[π/4, π/2] will result in ideal final state
= cos
θ′(cos(
θ/2)|0〉+i sin(
θ/2)|1〉)+ sin
θ′(−i sin(
θ/2)|0〉 + cos(
θ/2)|1〉). To fully evaluate the performance of these two gates, the gate-fidelity can be defined as
[
71], where the integration is numerically performed for 1001 input states with
θ′ being uniformly distributed over [0, 2π], and we obtain the fidelities of the two gates as
= 99.84% and
= 99.92%, respectively.
3.3 Gate robustness
Different to the conventional NHQC case, the holonomic gates here are implemented with non-synchronous coupling strengths Ωk. Therefore, we further numerically simulate the gate robustness of these two cases, against the static systematic Rabi errors. Under this error, the interaction Hamiltonian H(t) in Eq. (1) changes to
where ϵk are the static systematic Rabi error fractions. In the following, we use Hamiltonian and the Lindblad master equation in Eq. (12) to evaluate the robustness of the quantum gates for our scheme and the conventional NHQC scheme.
To compare our proposal with the NHQC case under the same conditions, we simulate gate performance in the NHQC case with the same pulse shape of Ω1, as shown in Fig. 2(d). Furthermore, the evolution operator of our scheme R[θ, π/2] is coincident with RX [θ] of the NHQC case, which is a rotating operator around the σx axis with an angle θ. As shown in Fig. 4(a) and Fig. 4(b), we simulate the fidelities of RX [π/2] and RX [π/4] gates for the NHQC case, with−0.2≤ϵk ≤0.2, respectively. And the fidelities of R[π/2, π/2] and R[π/4, π/2] gates in our scheme are shown in Fig. 4(c) and Fig. 4(d). It clearly indicates that our scheme is more robust than the NHQC case. Besides, R[θ, 0] corresponds to RY [θ], which is the rotation around the σy axis. And the numerical simulation results of the RY [π/2] and RY [π/4] gate-fidelities are shown in Figs. 5(a) and (b), respectively. For comparison purpose, as shown in Figs. 5(c) and (d), gate-fidelities of the evolution operator R[π/2, 0] and R[π/4, 0] are numerically evaluated, respectively. The simulation result also indicates that our scheme is more robust than the NHQC case. Notably, in the above simulations, we have set the pulse areas of all gates to be S = π, which is the best performance of NHQC but not ours. That is, Smin in our scheme can be smaller than π, i.e., our gate can be faster than the NHQC case and the gate-fidelities present here is not the best ones for our scheme. Therefore, our scheme can implement high-fidelity, robust and low area quantum gates.
4 Physical implementation
In this section, we present the implementation of our proposal on superconducting circuits and nitrogen-vacancy centres, which is directly realizable with current technology. On superconducting circuits, we consider the transmon device, a kind of well-known artificial atom, which possesses a series of nonequal energy levels. Here, our implementation involves the three lowest levels |
g〉, |
e〉 and |
f〉, with |
g〉 and |
f〉 being the qubit-states and |
e〉 is an auxiliary state [
21,
28]. Then, two microwave fields Ω
l(
t) cos(
ωlt +
ϕl) (
l = 1, 2) are resonantly coupled to sequential transitions of these three lowest levels, where Ω
l(
t),
ωl and
ϕl are time-dependent driving amplitudes, time-independent driving frequencies and phases, respectively. Setting the energy of |
g〉 as the zero point, the original Hamiltonian of the system can be written as
where
being the annihilation operator of the transmon. In this setting, in the interaction picture and under the rotating wave approximation, the Hamiltonian
in Eq. (1) of our proposal can be obtained. Moreover, the decay and dephasing rates of a transmon are both on the kHz level [
72], as used in our numerics.
In addition, a Hamiltonian for holonomic two-qubit gates is also realizable with auxiliary qubit or cavity coupled two qubits [
16,
38,
40,
51]. Specifically, we consider two transmon qubits with frequencies
(
k = 0, 1) dispersively coupled to an auxiliary transmon with frequency
with the detuning being
. Meanwhile, two qubits are respectively driven by two microwave fields Ω
k (
t) cos(
ωk (
t)
t +
ϕk) with
, where
ωk (
t) is time-dependently adjusted to compensat the interaction-induced ac Stark-shifts of the transmons. In the rotating framework with respect to the driving frequency, the Hamiltonian of the
kth qubit coupled to the auxiliary transmon can be written as
where is free Hamiltonian of the coupled system, and the first two terms are nonlinear energy levels of kth transmon with its anharmonicity being αk, and last two terms are nonlinear energy levels of the auxiliary transmon with the anharmonicity being αA, and , δA = −ωk, Nk = , NA = a†a, with bk and a being the annihilation operator of the qubit and auxiliary transmons, respectively. is the linear coupling term including the coupling between two transmons with strength gk and the driven induced interaction on qubit k with strength Ωk. Then, in the single-excitation subspace =span{|fgg〉, |ggf〉, |geg〉}, where |ijk〉≡|i〉⊗|j〉⊗|k〉 labels product states of two qubits and auxiliary transmon, the effective Hamiltonian can be described as
where . Thus, the Hamiltonian in Eq. (1) of our proposal can be achieved in this two-qubit subspaces, and thus holonomic two-qubit gates can also be obtained, similar to the single-qubit case.
For a nitrogen-vacancy centre in a diamond [
23], there is a spin-triplet ground state. The Zeeman components |
m = 0, ±1〉 induced by a magnetic field can be defined as |
m = −1〉≡|0〉 and |
m = 1〉≡|1〉 as the qubit basis and |
m = 0〉≡|
a〉 as an ancillary state. The transitions from the qubit basis |0〉 and |1〉 to the ancillary state |
a〉 are respectively induced by two resonant microwave pulses Ω
j (
t) cos(
ωj t +
ϕj) (
j = 1, 2), generated by the arbitrary waveform generator. Similar to the above transmon device case, in the interaction picture and within the rotating wave approximation, the Hamiltonian
in Eq. (1) can also be implemented.
Meanwhile, two-qubits gates for electron and nuclear spins can also be induced with an effective three-level configuration in their coupled system [
23]. In this case, a nearby nuclear spin serves as the control qubit with basis vectors being |↑〉 and |↓〉. By applying state-selective microwave pulses Ω
i(
t) cos(
ωit+
ϕi) (
i = 1, 2) for nuclear spin state |↑〉, in the interaction picture, the coupling Hamiltonian is
where |ij〉≡|i〉⊗|j〉 labels the product state of the electron and nuclear spins. Thus, the Hamiltonian in Eq. (1) can be achieved within this two-qubit subspace, and then holonomic two-qubit gates can be implemented.
5 Conclusion
In conclusion, we have proposed a fast and robust scheme to construct high-fidelity quantum gates for holonomic quantum computation based on resonant interaction of three-level quantum system via STA. In our scheme, combining the transitionless quantum driving with the LRI theory, we have inversely engineered the Hamiltonian with non-synchronous couplings for noncyclic holonomic quantum gates. Meanwhile, by choosing a special evolution path under proper boundary conditions, high-fidelity, robust and low area universal single-qubit gates can be constructed. Furthermore, as verified by numerical simulations, the implemented gates have very high fidelity, and their robustness is stronger than the NHQC case, under the same conditions. Moreover, our scheme can be readily implemented in physical systems, e.g., superconducting circuits and nitrogen-vacancy centres. Therefore, our proposal represents a promising way towards fault-tolerant quantum computation.