1 Introduction
Recently, constructing the quantum computer based on the quantum mechanical theory, is highly desired, to deal with hard problems. However, quantum systems will inevitably interact with their surrounding environment. On the other hand, the precise quantum manipulation of a quantum system is limited by the precision of controlling the driving fields. Thus, fast and robust quantum manipulation is highly desired. To construct a fault-tolerant quantum computer, topological quantum computation strategy is one of the most exciting advances. However, the realization of an elementary quantum gate there is still an experimental difficulty currently. Notably, geometric phases [
1-
3] possess the intrinsic character of noise-resilience against certain local noises [
4-
7], and thus can naturally be used to construct robust quantum gates for constructing a fault-tolerant quantum computer.
Previously, geometric quantum computation (GQC) has been proposed based on adiabatic evolutions. However, adiabatic evolution requires long running time such that quantum state can be ruined by the decoherence effect. To overcome this problem, GQC with nonadiabatic evolutions has been proposed to achieve high-fidelity quantum gates based on both Abelian [
8-
13] with experimental demonstrations [
16-
22] and non-Abelian geometric phases [
14,
15]. Unfortunately, the existence of systematic errors will devastate the advantage of the robustness of geometric quantum gates [
23,
24]. Recently, theoretical [
25,
26] and experimental works [
27,
28] have been proposed to further enhance the robustness of nonadiabatic non-Abelian geometric quantum gates against the control errors, based on three-level systems, by combining the gate operations with optimal control technique (OCT) [
29-
34]. However, compared to the non-Abelian case, quantum gates induced from Abelian geometric phases based on two levels are easier to be realized, and the required two-qubit interaction is experimentally accessible.
Therefore, we here propose a fast GQC scheme that can be compatible with OCT on superconducting circuits, to further improve the robustness of the implemented quantum gates against control errors of the driving fields. Superconducting circuits [
35-
38] have shown the unique merits of the large-scale integrability and flexibility of operations [
39-
41], and thus are treated as one of the promising platforms for the physical implementation of scalable quantum computation. Meanwhile, a superconducting transmon device can be easily addressed to be a two-level system, i.e., the ground and first excited states
, which can serve as a qubit and can be operated by a resonant driving microwave field. Thus, arbitrary geometric single-qubit gates in our scheme can be accurately achieved after canceling the leakage to the higher excited states, mainly the second excited state
, by combing with the DRAG correction [
42-
44]. In addition, a recent experiment [
20] shows that the time-dependent effective resonant coupling can be induced in a two coupled superconducting qubits system, and thus our nontrivial geometric two-qubit control-phase gates can also be resonantly realized [
45,
46] in a simple experimental setup. Furthermore, by combining with OCT, the robustness of the implemented geometric gates against the static systematic error can be greatly enhanced.
2 Geometric single-qubit gates
In this section, we first explain how to construct arbitrary single-qubit gates on a transmon qubit, based on Abelian geometric phases induced from cyclic evolutions. Then, geometric rotations around the X and Z axes are discussed in detail by faithful numerical simulations with the DRAG correction. Finally, we show that the gate robustness can be further enhanced by combining with OCT.
2.1 Construction of the gates
We consider the construction of arbitrary single-qubit geometric gates in the computation basis . For a driving Hamiltonian in the S1, assuming hereafter, its dynamic evolution is governed by the time-dependent Schrödinger equation of
where
can be generally defined [
30] by two time-dependent angles
and
, and a parameterized phase
. Meanwhile, due to the linear character of the time-dependent Schrödinger equation, the orthogonal evolution state
of will also satisfy it. By modulating the parameters of the driving field, the system undergoes a cyclic evolution, and the initial state can acquire a global phase at the final time τ, which consists of a dynamical phase of
and a geometric phase of
where
. Therefore, by canceling the dynamical phase, i.e.,
, in the global phase at the end of the cyclic evolution, we will obtain a pure geometric evolution. Since the evolution here is not governed by the adiabatic condition, the geometric phases will be induced in a faster way than that of the adiabatic schemes [
3]. Especially, when the phase in Hamiltonian is a constant, our scheme will reduce to the conventional non-adiabatic schemes [
10,
11]. Then, the final geometric evolution operator in
S1 is
where , . It is a rotation around the axis of by an angle , from which arbitrary single-qubit gates can be induced.
2.2 Gate implementation
We now proceed to physical implementation of our scheme. As shown in Fig. 1(a), the two lowest levels and of a single transmon qubit can be resonantly coupled by a microwave field with time-dependent amplitude and phase . Into the interaction picture, neglecting the high-order oscillating terms by the rotating-wave approximation. Then, the Hamiltonian of the system in S1 is
In the following, to let fullfil Eq. (1) at any moment (see Appendix A for details), we can obtain the constraints of parameters as
Thus, we find that a target evolution path of the evolution state can be determined by designing the parameters and of the microwave field. For the purpose of constructing arbitrary single-qubit geometric gates, we set a single-loop evolution path by defining the evolution parameters and to fulfill a cyclic evolution, as illustrated in Fig. 1(b). Thus we can inversely determine the parameters and , i.e.,
In addition, we also need to ensure accumulated dynamical phases are zero at the end of cyclic evolution to achieve pure geometric operations.
Specifically, we consider rotations around the X and Z axes as two typical examples in detail. Firstly, to realize the geometric rotation operators around the X axis, we divide a single-loop evolution path into four equal parts, which aims to cancel dynamical phases at the end of cyclic evolution. The shape of and initial values of in each part are
where the shape of is set as for the jth part with . Therefore, we can obtain the shape of and in the different evolution parts according to Eq. (7). Meanwhile, in this setting, the dynamical phase is
and the geometric phase is due to the saltation of at the moment of and . In this way, the geometric rotation operations can be realized.
Similarly, to realize the geometric rotation operators around the Z axis, we divide a single-loop evolution path into only two equal parts, which also aims to cancel dynamical phases at the end of cyclic evolution. The shape of and initial values of in the each parts are
where the shape of is set to be for the jth part with . The shape of and can also be obtained in the different evolution parts according to Eq. (7). By only the saltation of at the moment of , the dynamical phase at the end of the cyclic evolution can be eliminated and the pure geometric phase can be accumulated. Therefore, the geometric rotations can be realized.
2.3 Gate performance
However, in the practical physical implementation, the effect of decoherence is a non-negligible factor to measure gate performance. Notably, due to the weak anharmonicity of the transmon qubit, here, the DRAG correction [
42-
44] is also introduced to suppress the leakage error beyond the qubit basis. Considering all effects of decoherence and dominant counter-rotating terms, we here use the Lindblad master equation
with
to evaluate the performance of the implemented single-qubit gates, where
is the density matrix of the considered system and
is the Lindblad operator
with
and
, and
and
are the decay and dephasing rates of the transmon qubit, respectively. We consider the case of
kHz [
38], which is easily accessible with current experimental technologies. The anharmonicity of the transmon is set to be
MHz, and the maximum amplitude
MHz. We next take the NOT (
N) and Phase (
T) gates as two typical examples, which can be realized by setting
,
and
,
with the same
, respectively. Under maximum amplitude
MHz, the cyclic evolution time
τ is about 102 ns for the NOT gate and 125 ns for the Phase gate. The corresponding shapes of
and
for the NOT and Phase gates are shown in Figs. 2(a) and (b), respectively. Assuming the initial states of quantum system are
and
for the cases of the NOT and Phase gates, these geometric gates can be evaluated by using the state fidelity defined by
with
and
being the corresponding ideal final states. The obtained fidelities are as high as
and
, as shown in Figs. 2(c) and (d), respectively. In addition, for the general initial state
, the NOT and Phase gates should result in the ideal final states
and
. To fully evaluate the gate performance, we define gate fidelity as
with the integration numerically performed for 1001 input states with
θ being uniformly distributed over
. We find that the gate fidelities of the NOT and Phase gates can, respectively, reach
and
.
2.4 Optimal control
In the above, we have presented and numerically demonstrated our scheme for implementing geometric single-qubit gates, where the evolution path are designed by choosing proper parameters in Hamiltonian
, which are inversely engineered. Here, we proceed to design the evolution path by combining it with OCT [
29,
30], to further enhance the robustness of our scheme against systematic error. Specifically, in the case of the geometric rotation operators around the
Z axis, we consider the existence of the static systematic error, i.e.,
. Due to the symmetry of the evolution path of the considered geometric rotations, we take the first path
to evaluate the gate robustness, which can be calculated by the perturbation theory with probability amplitude
P defined as
where is the state with the systematic error, and denotes the term of the perturbation at the nth order. Ignoring the high-order terms, we next just consider P to the second order, i.e., , which is calculated to be
Defining
,
and
, resulting in
, we can ensure
for
by setting
η to a non-zero integer, which directly demonstrates that the designed evolution path is combined with OCT. It is important to note that when
,
, the current implementation will reduce to the previous non-adiabatic schemes [
8-
11]. In the following numerical simulations, for a fair comparison, all the maximum value of
are set to be
MHz. That is the maximum value of the optimized pulse is bounded by
, and thus the improvement of the gate performance can only be attributed to OCT.
For a typical example, we simulate the Phase gate under the effect of the systematic error in the range of MHz. In Fig. 3(a), we plot the gate fidelity as a function of the systematic error for the cases of and without decoherence with the cyclic evolution time τ being 98 ns and 405 ns, respectively. We find that the robustness of our geometric gates in the case of can be significant improved comparing with the case of (previous implementations). Meanwhile, as shown in Figs. 3(b) and (c), considering both the systematic error and the decoherence effects, our geometric gate based on OCT still has the advantage of improving robustness in a certain decoherence range.
3 Nontrivial geometric two-qubit gates
In this section, we turn to the implementation of nontrivial two-qubit geometric gates based on two capacitively coupled transmons [
47-
49], which are respectively labeled by transmons A and B with qubit frequency
and anharmonicity
. However, the frequency difference
and coupling strength
g between this two transmons A and B are usually fixed and cannot be adjustable. Profitably, in a recent experimental setup [
20], as illustrated in in Fig. 4(a), time-dependent tunable coupling interaction can be realized by introducing a qubit-frequency driving
on transmon A, which can be experimentally induced by adding a longitudinal field
, where
with
ν and
being the frequency and phase of the longitudinal field, respectively. Then, in the interaction picture, see Appendix B for details, the effective Hamiltonian of the two coupled transmons is
The corresponding coupling configuration of these two coupled transmons is shown in Fig. 4(b). We consider the case of the resonant interaction in the subspace by choosing the driving frequency with , and then using Jacobi–Anger identity and neglecting the high-order oscillating terms, the obtained effective Hamiltonian can be reduced to
in the two-qubit subspace , where is effective time-dependent coupling strength between transmon qubits A and B, with being the Bessel function of the first kind.
We note that the Hamiltonian in Eq. (16) is in the same form as that of the single-qubit case in Eq. (5). Thus, within the two-qubit subspace , we can also use the effective Hamiltonian to acquire a pure geometric phase condition on two-qubit state of by a cyclic evolution, which is just like the way of constructing geometric rotation operations . The resulting nontrivial two-qubit geometric control-phase gates can be obtained as
Here, we also use the Lindblad master equation to evaluate the nontrivial two-qubit geometric control-phase gates with
as a typical example. We set the parameters of coupled transmon qubits as
MHz,
MHz,
MHz,
MHz and the driving frequency
MHz, and the decoherence rate of transmons is the same as the single-qubit case [
38]. Furthermore, we fix the evolution time
for the two-qubit gate to be 250 ns under a corresponding coupling strength of
MHz, and the form of the auxiliary parameters
,
being the same as that of the single-qubit case for the geometric rotation operators around Z axis. In this way, the shape of
and
can finally be determined. In addition, we can numerically define
as shown in Fig. 4(c), and then use the original Hamiltonian
to faithfully verify our proposal. For the general initial state of the two qubit as
with
being the ideal final state, we can define the two-qubit gate fidelity as
with the integration numerically done for 10001 input states with and uniformly distributed over . As shown in Fig. 4(d), we can get the gate fidelity . Finally, comparing the two-qubit Hamiltonian with the single-qubit Hamiltonian , one find that they are in the same form, both with the tunable coupling strength and phase. Thus, the OCT presented in the single-qubit case can be directly incorporated in this two-qubit gate implementation.
4 Conclusion
In summary, we have proposed a general method to construct fast universal GQC. Then, we physically implemented our proposal on superconducting circuits, where arbitrary single-qubit gates are realized by resonant driving on a transmon qubit with a microwave field, and nontrivial two-qubit gates can be implemented by ac driving on one of the transmon qubits, which leads to effectively resonant coupling between them. Finally, our scheme can combine with OCT to further enhance the gate robustness against the static systematic error. We note that our proposal can be expanded to a two-dimensional capacitively coupled lattice of transmon qubits, and thus provides a promising step towards fault-tolerant quantum computation on superconducting circuits.