Abstract

In this paper, we focus on high-order approximate solutions to two-level systems with quasi-resonant control. Firstly, we develop a high-order renormalization group (RG) method for Schrödinger equations. By this method, we get the high-order RG approximate solution in both resonance case and out of resonance case directly. Secondly, we introduce a time transformation to avoid the invalid expansion and get the high-order RG approximate solution in near resonance case. Finally, some numerical simulations are presented to illustrate the effectiveness of our RG method. We aim to provide a mathematically rigorous framework for mathematicians and physicists to analyze the high-order approximate solutions of quasi-resonant control problems.

1. Introduction

The dynamics of a two-level system interacting with a weak electromagnetic field is a relevant field of study in quantum optics. Scientists have been working to search for a satisfactory long-time approximation for such systems. Rotating wave approximation (RWA), which neglects the fast oscillating terms, is the most commonly used method for physicists (see [1]). Amazingly, slow oscillating terms are often removed by RWA in some models. For example, in RWA, where the neglected term is only two times speed away from (see [2]). Is it fast enough to be neglected? Despite RWA is a “rude” method, it usually gives a good approximation for some important models in quantum optics. However, if we can construct a more reliable approximation is an important issue in quantum optics. Scientists are always looking for the methods without RWA (for example [35]). In this paper, we aim to provide a mathematically rigorous framework for mathematicians and physicists to get satisfactory long-time approximate solutions for such systems.

Suppose that the open quantum systems are composed of a stable states and an excited state with . The free Hamiltonian and the coupling Hamiltonian are defined bywhere and are the eigenvalues of the free Hamiltonian with respect to and , respectively. The evolution of the state of a quantum system with quasi-resonant control can be described by the following Schrödinger equationswhere the wave function belongs to a finite-dimensional Hilbert space, and the quasi-resonant control is a weak electromagnetic field control. Here, the quasi-resonant control includes the resonance case, near resonance case, and out of resonance case.

Rotating wave approximation is an effective method to deal with the quantum system with resonant control (see [6]). However, to our knowledge, it is not clear how to get the high-order approximate solutions rigorously for the quasi-resonant control. The renormalization group (RG) method proposed by Chen, Goldenfeld and Oono in [7, 8] is a unified asymptotic analysis tool which reduces a singular perturbation problem to a more simple equation called the RG equation. Ziane in [9], DeVille et al. in [10], and Chiba in [11] gave the error estimate of RG approximate solutions rigorously. Chiba in [1113] defined the high-order RG equation and the RG transformation to improve error estimate. The RG method has been further developed in [1418].

In the present paper, we develop a high-order RG method for Schrödinger equations with quasi-resonant control. Compared to the pioneering work in [12], we adjust the construction of the -order RG approximate solution by getting rid of the -order oscillation part, which is more reasonable to give an explicit form. Our proof is concise and rigorous. The selection of integral constant in our method is also the most suitable for numerical calculation. As a direct application, we apply the high-order RG method to two-level systems in and out of resonance. The numerical simulation shows that the first-order RG approximate solution is usually good enough in the case of resonance, but the second-order RG approximate solution plays a key role in the two-level systems out of resonance.

The dynamic behavior of two-level systems near resonance is the most concerned problem, which is also the original intention of developing the high-order RG method. On the one hand, we need to find out whether the approximate solutions of the two-level systems near resonance have a consistent representation when there are more than one “” relationships in a physics article; on the other hand, we hope to find out how to avoid an invalid expansion to appear in the case of near resonance. Here, we call the expansion with small parameters in coefficients the invalid expansion. This paper introduces a time transformation technique to avoid the invalid expansion near resonance. Near resonance problems with two-scale case, high-order near resonant case, and high-order weak driving case are discussed carefully. The numerical simulations are presented to illustrate that the first-order RG approximate solution is usually good enough in the high-order near resonant case, but the second-order RG approximate solution plays a fundamental role in the two-scale case and high-order weak driving case.

This paper is organized as follows. In Section 2, we develop a high-order RG method for Schrödinger equations with quasi-resonant control. In Section 3, high-order RG approximate solutions both in and out of resonance are presented. In Section 4, we introduce a time transformation technique to avoid the invalid expansion near resonance. High-order RG approximate solutions in several types of near resonance are discussed in detail.

2. Renormalization Group Method

In this section, we generalize the high-order RG method in [12] to Schrödinger equationswhere is a real diagonal matrix with different eigenvalues, is a continuous quasiperiodic Hermitian matrix, is the order of near resonance and weak drive, respectively, and is the detuning parameter. Equation (3) can be rewritten aswhere is the quasiperiodic skew-Hermitian matrix with the same quasiperiodic frequency. Put . Equating the coefficients of each , we have

Define the resonant part and oscillating part by

Assumption 1. Suppose that , appearing in the finite step RG process are quasiperiodic skew-Hermitian matrices, whose Fourier exponent has no accumulation points.
Define the th-order RG equationand the th-order RG transformationLet is the solution of (3) with initial value . Then satisfying is the th-order approximate solution of (3) with the following error estimate.

Theorem 2. Let Assumption 1 hold. There exist positive constants , , and such that for any ,

Proof. Firstly, we calculate the differential of with respect to ,It is easy to know thatSincewe havewhereSecondly, we prove that is the -order approximate solution satisfying (10). Define , we havewhere . The convergence of is guaranteed by the form of (3). Since and are quasiperiodic matrices, is the unitary matrix, and there exist and such thatholds. By Grönwall inequality, we havewith
Finally, is the th-order approximate solution satisfying (10). Since is a quasiperiodic matrix, it is easy to know that

Remark 3. Chiba defined with arbitrary integral constant as the -order RG approximate solution for a more general system (see [12]). Here, we use as the -order approximate solution for the Schrödinger equation (3), which is easier to get the explicit expression for two-level systems. The selection of integral constant is suitable for numerical calculation.

3. Two-Level Systems in and out of Resonance

In this section, we show how to apply the RG method to two-level systems in and out of resonance directly.

3.1. In Resonance

Let the quasi-resonant control withwhere is the transition frequency, and is the complex amplitude. The two-level systems (2) becomes

Let Equating the coefficients of each , we havewhere .

Firstly, we calculate the first-order RG approximate solution. Sincethe first-order resonant part is equal to

The first-order RG approximate solution iswhere is the solution of the first-order RG equation with .

Secondly, we calculate the second-order RG approximate solution. By (7),

Since

Now, the second-order resonant part is equal to by (6),

Thus, the second-order RG approximate solution iswhere is the solution of the second-order RG equation with .

Example 4. Consider the two-level system (21) with initial value . Let , , , and . The simulations of Figure 1 illustrate that first-order RG approximate solution is as good as the second-order RG approximate solution.

3.2. Out of Resonance

We take the quasi-resonant control withwhere is the transition frequency, is the detuning frequency, and is the complex amplitude. The two-level system (2) becomes

Let Equating the coefficients of each , we havewhere .

Firstly, we calculate the first-order RG approximate solution. Sincethe first-order resonant part is equal to

The first-order RG approximate solution iswhere is the solution of the first-order RG equation with .

Secondly, we calculate the second-order RG approximate solution. By (7),

Sincethe second-order resonant part is equal to

Thus, the second-order RG approximate solution iswhere is the solution of the second-order RG equation with .

Example 5. Consider the two-level system (31) with initial value . Let , , , , and . The simulations of Figure 2 illustrate that the first-order approximate solution is not a reliable one in the two-level system out of resonance, while the second-order approximate solution is a better one.

4. Near Resonance Problems with Two Scales

In this section, we will discuss how to apply RG method reasonably to near resonance problem with two scales. Take the quasi-resonant control withwhere is the transition frequency, is the detuning frequency, and is the complex amplitude. The two-level system (2) becomes

4.1. Invalid Expansion

An intuitive way to deal with such problems is to divide into two parts:

Let , , and Formally, we have the following expansionwith , where . Because there are actually small parameters in and , we call the above expression invalid expansion.

If we calculate the first-order RG approximate solution formally, we have the first-order resonant part which is exactly the result obtained by RWA (see [19]). Here, the first-order RG approximate solution can be expressed as follows.where is the solution of the first-order RG equation with .

4.2. Valid Expansion

Although the so-called invalid expansion is sometimes a good approximation, shall we construct a valid expansion and find a more reliable long-time higher-order approximate solution? Here, we introduce a quasi-resonant time transformation technique with . Now, the system (41) is equal towhere is the resonant control with respect to :

Let Equating the coefficients of each , we havewhere .

Firstly, we calculate the first-order RG approximate solution.where . Thus, the first-order RG equation and first-order RG approximate solution arerespectively, where , and .

Secondly, we calculate the second-order RG approximate solution. By (7),

Sincethe second-order resonant part is equal to

Thus, the second-order RG equation and the second-order RG approximate solution arerespectively, where , and .

Example 6. Consider the two-level system (41) with initial value . Let , , , , and . The simulations of Figure 3 illustrate that the first-order approximate solution is not good enough in two-level systems near resonance. But the second-order approximate solution is a more reliable one.

Example 7. Consider a spin-half systemwhere and are real numbers, , , and is the energy difference between and . Let , and , we haveThe first-order RG equation is equal towhere , , and are Rabi frequency and detuning, respectively. The first-order generalized Rabi frequency isFurthermore, we have the second-order RG equation

Remark 8. Our method can be applied to the spin-half system directly. In this article, we only take near resonance problems with two scales as an example.

5. Near Resonance Problems with Three Scales

Physicists like to use “” to indicate different time scales. If there are more than one “” relationships in near resonance problems, how can we analyze the long-time dynamic behavior reasonably? In this section, we shall apply our method to two-level systems in high-order near resonant case and high-order weak driving case.

5.1. High-Order Near Resonant Case

Let with

Introduce a quasi-resonant time transformation with . The two-level system (2) becomeswhere is the resonant control with respect to :

Let Equating the coefficients of each , we havewhere , and .

Firstly, we calculate the first-order RG approximate solution.

Thus, the first-order RG equation and the first-order RG approximate solution arerespectively, where , and .

Secondly, we calculate the second-order RG approximate solution. By (7)

The second-order resonant part is equal to

Thus, the second-order RG equation and the second-order RG approximate solution arerespectively, where , and .

Example 9. Consider the two-level system in high-order near resonance case with initial value . Let , , , , and . The simulations of Figure 4 illustrate that the first-order approximate solution is reliable in two-level systems with high-order near resonant control.

5.2. High-Order Weak Driving Case

Let with

Introduce a quasi-resonant time transformation with . The two-level system (2) becomes

Now is the resonant control with respect to :

Let Equating the coefficients of each , we havewhere , and .

Firstly, we calculate the first-order RG approximate solution.

Thus, the first-order RG equation and the first-order RG approximate solution arerespectively, where , and .

Secondly, we calculate the second-order RG approximate solution. By (7),the second-order resonant part is equal to

Thus, the second-order RG equation and the second-order RG approximate solution arerespectively, where , and .

Example 10. Consider the two-level system in high-order weak driving case with initial value . Let , , , , and . The simulations of Figure 5 illustrate that the first-order approximate solution is not reliable in two-level systems with the high-order weak driving control. But the second-order approximate solution is a more accurate one.

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

The first author was supported by NSFC (grant numbers 11901052, 11626043) and the Scientific and Technological Project of Jilin Province Education Department in Thirteenth Five-Year (grant number JJKH20170535KJ). The second author was supported by NSFC (grant numbers 11871140, 11401089).