thanks: corresponding author: [email protected]

Continuously Expanding the Response Frequency of Rydberg Atom-Based Microwave Sensor by Using Quantum Mixer

Sheng-Xian Xiao Chongqing Key Laboratory for Strongly Coupled Physics, Chongqing University, Chongqing, 401331, China Center of Modern Physics, Institute for Smart City of Chongqing University in Liyang, Liyang 213300, China    Tao Wang Chongqing Key Laboratory for Strongly Coupled Physics, Chongqing University, Chongqing, 401331, China Center of Modern Physics, Institute for Smart City of Chongqing University in Liyang, Liyang 213300, China
Abstract

Microwave electric (MW) field measurements utilizing Rydberg atoms have witnessed significant advancements, achieving remarkable sensitivity, albeit limited to discrete MW frequencies resonant with Rydberg states. Recently, various continuous-frequency measurement schemes have emerged. However, when the MW detuning surpasses 1 GHz, the sensitivity degrades by over an order of magnitude compared to resonant measurements. In this paper, we successfully extend the response frequency range by harnessing a controlled driving field in conjunction with a quantum mixer and heterodyne technology, theoretically enabling infinite scalability. Notably, second-order effects stemming from quantum mixing necessitate careful consideration to ensure accurate electric field measurements. In addition, compared to resonant measurements, the sensitivity decline for far-detuned MW fields exceeding 1 GHz is less than twice, representing a significant improvement of several orders of magnitude over alternative schemes. Furthermore, the sensitivity of far-detuned MW fields can be efficiently enhanced by augmenting the intensity and frequency of the controlled field. For detunings ranging from 100 MHz to 2 GHz, we present optimal sensitivity values and the corresponding methods to achieve them. Our findings pave the way for Rydberg atom-based MW receivers characterized by both high sensitivity and an exceptionally broad bandwidth.

I INTRODUCTION

Over the past decade, microwave (MW) field sensing based on Rydberg atoms has rapidly developed due to their exceptional sensitivity to electric fields [1, 2, 3]. This technology leverages the four-level electromagnetically induced transparency (EIT) [4] and Autler–Townes (AT) splitting [5] to realize MW sensors. Compared with traditional methods, Rydberg atom-based MW sensors offer advantages in repeatability, high sensitivity, self-calibration, and large bandwidth, making them promising candidates for the next generation of MW measurements [3]. They also exhibit broad application prospects in wireless communication [6, 7, 8], polarization measurements [9], MW imaging [10]and beyond.

However, achieving remarkable sensitivity is limited to discrete MW frequencies that are resonant or near-resonant with Rydberg states [11, 12, 13, 14, 15, 16]. This constraint is inconsistent with the continuous frequencies required for many practical applications, thereby limiting the further utilization of Rydberg atomic microwave sensors. To address this issue, various schemes have been proposed, including the use of far-detuning AC Stark effects [17, 18], adjacent Rydberg resonance tuning [19, 20], two-photon microwave transitions [21, 22], and the application of auxiliary microwave fields [23, 24]. Although these methods enable continuous frequency measurement, their sensitivity is generally reduced compared to resonance measurements, particularly for extended ranges beyond 1 GHz, with some cases observing a decrease in sensitivity by an order of magnitude. Notably, a scheme that achieves a large frequency extension range while maintaining high sensitivity over this range remains elusive.

In this paper, we propose an extended frequency scheme by incorporating quantum mixer [25] with atomic heterodyne methods [12], facilitated by the application of an additional driving controlled field. The controlled field arises from the AC Stark shift induced by a low-frequency, weak radio-frequency (RF) field on the Rydberg state [26, 27, 28, 29, 30]. Given the prevalence of quantum mixing in our approach, second-order effects stemming from the RF field cannot be overlooked, in contrast to their frequent neglect in other frameworks [27, 30]. By precisely adjusting the RF field, our scheme attains high sensitivity, a substantial extended frequency range, and maintains a sensitivity drop of less than a factor of three over an extended range of 2 GHz, representing at least an order of magnitude improvement over existing schemes.

The remainder of this article is organized as follows. In Sec.II, we introduce our scheme in detail. In Sec.III,by using the theory of quantum frequency mixing, we derive the effective Hamiltonian. Base on this, the condition of controlled field is obtained. And we emphasize the significance of second-order terms arising from quantum mixing. Sec.IV delves into the relationship between the extended frequency range and sensitivity. Finally, in Sec.V, we summarize our key findings and discuss potential avenues for future work.

II THE SCHEME

Our proposed scheme is a typical four-level system as depicted in Fig.1, in which the weak probe laser with frequency ωpsubscript𝜔𝑝\omega_{p}italic_ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT is scanned through resonance with the transition between the ground state |1ket1\left|1\right\rangle| 1 ⟩, and the excited state |2ket2\left|2\right\rangle| 2 ⟩, and the coupling laser with frequency ωcsubscript𝜔𝑐\omega_{c}italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT is coupled the excited state |2ket2\left|2\right\rangle| 2 ⟩ and the Rydberg state |3ket3\left|3\right\rangle| 3 ⟩. Notably, unlike in the resonant case, the two Rydberg states |3ket3\left|3\right\rangle| 3 ⟩ and |4ket4\left|4\right\rangle| 4 ⟩ are dressed by a far-detuning MW electric field, which renders the measurement of MW electric field based on EIT-AT splitting ineffective.

To restore the resonant response in the EIT-AT spectrum, we introduce an additional RF field, whose frequency and intensity are significantly smaller than the energy level difference utilized. This RF field can be regarded as a perturbation term, inducing a time-dependent energy shift in the atomic states due to the AC Stark effect. Given the negligible polarizability of the ground and excited states, their energy shifts can be disregarded. Consequently, we focus solely on the energy shifts of the two Rydberg states, which exhibit heightened sensitivity to electric fields. These shifts are given by α3e2(t)/2subscript𝛼3superscript𝑒2𝑡2-\alpha_{3}e^{2}(t)/2- italic_α start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_t ) / 2 and α4e2(t)/2subscript𝛼4superscript𝑒2𝑡2-\alpha_{4}e^{2}(t)/2- italic_α start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_t ) / 2 [27, 30] , where α3(4)subscript𝛼34\alpha_{3(4)}italic_α start_POSTSUBSCRIPT 3 ( 4 ) end_POSTSUBSCRIPT is the polarizability of the Rydberg state |3(|4)ket3ket4\left|3\right\rangle(\left|4\right\rangle)| 3 ⟩ ( | 4 ⟩ ) and e(t)=Ecos(ωRFt)𝑒𝑡𝐸subscript𝜔𝑅𝐹𝑡e(t)=E\cos(\omega_{RF}t)italic_e ( italic_t ) = italic_E roman_cos ( italic_ω start_POSTSUBSCRIPT italic_R italic_F end_POSTSUBSCRIPT italic_t ) represents the electric component of the RF field. Therefore, the controlled Hamiltonian HC(t)subscript𝐻𝐶𝑡H_{C}(t)italic_H start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( italic_t ) can be written as:

HC(t)=subscript𝐻𝐶𝑡absent\displaystyle H_{C}(t)=italic_H start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( italic_t ) = A(1+cosωt)|33|Planck-constant-over-2-pi𝐴1𝜔𝑡ket3bra3\displaystyle\hbar A(1+\cos\omega t)\left|3\right\rangle\left\langle 3\right|roman_ℏ italic_A ( 1 + roman_cos italic_ω italic_t ) | 3 ⟩ ⟨ 3 | (1)
+A(1+cosωt)|44|.Planck-constant-over-2-pisuperscript𝐴1𝜔𝑡ket4bra4\displaystyle+\hbar A^{\prime}(1+\cos\omega t)\left|4\right\rangle\left\langle 4% \right|.+ roman_ℏ italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( 1 + roman_cos italic_ω italic_t ) | 4 ⟩ ⟨ 4 | .

The parameters A=α3E2/4𝐴subscript𝛼3superscript𝐸24Planck-constant-over-2-piA=-\alpha_{3}E^{2}/4\hbaritalic_A = - italic_α start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 roman_ℏ, A=α4E2/4superscript𝐴subscript𝛼4superscript𝐸24Planck-constant-over-2-piA^{\prime}=-\alpha_{4}E^{2}/4\hbaritalic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = - italic_α start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT italic_E start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 4 roman_ℏ and ω=2ωRF𝜔2subscript𝜔𝑅𝐹\omega=2\omega_{RF}italic_ω = 2 italic_ω start_POSTSUBSCRIPT italic_R italic_F end_POSTSUBSCRIPT can be adjusted by RF field. Planck-constant-over-2-pi\hbarroman_ℏ is reduced Planck’s constant. Then, in the interaction representation, we can write the far-detuning Hamiltonian of the system after rotating wave approximation (RWA) as :

H(t)=𝐻𝑡absent\displaystyle H(t)=italic_H ( italic_t ) = Ωp2eiΔpt|12|+h.c.formulae-sequencePlanck-constant-over-2-pisubscriptΩ𝑝2superscript𝑒𝑖subscriptΔ𝑝𝑡ket1bra2𝑐\displaystyle-\frac{\hbar\Omega_{p}}{2}e^{i\Delta_{p}t}\left|1\right\rangle% \left\langle 2\right|+h.c.- divide start_ARG roman_ℏ roman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_e start_POSTSUPERSCRIPT italic_i roman_Δ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT | 1 ⟩ ⟨ 2 | + italic_h . italic_c .
Ωc2eiΔct|23|+h.c.formulae-sequencePlanck-constant-over-2-pisubscriptΩ𝑐2superscript𝑒𝑖subscriptΔ𝑐𝑡ket2bra3𝑐\displaystyle-\frac{\hbar\Omega_{c}}{2}e^{i\Delta_{c}t}\left|2\right\rangle% \left\langle 3\right|+h.c.- divide start_ARG roman_ℏ roman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_e start_POSTSUPERSCRIPT italic_i roman_Δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT | 2 ⟩ ⟨ 3 | + italic_h . italic_c .
ΩM2eiΔMt|34|+h.c.formulae-sequencePlanck-constant-over-2-pisubscriptΩ𝑀2superscript𝑒𝑖subscriptΔ𝑀𝑡ket3bra4𝑐\displaystyle-\frac{\hbar\Omega_{M}}{2}e^{i\Delta_{M}t}\left|3\right\rangle% \left\langle 4\right|+h.c.- divide start_ARG roman_ℏ roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_e start_POSTSUPERSCRIPT italic_i roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT | 3 ⟩ ⟨ 4 | + italic_h . italic_c .
+HC(t),subscript𝐻𝐶𝑡\displaystyle+H_{C}(t),+ italic_H start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( italic_t ) , (2)

where ΩpsubscriptΩ𝑝\Omega_{p}roman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT, ΩcsubscriptΩ𝑐\Omega_{c}roman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT and ΩMsubscriptΩ𝑀\Omega_{M}roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT are the Rabi frequencies corresponding to the transition |1|2ket1ket2\left|1\right\rangle\longleftrightarrow\left|2\right\rangle| 1 ⟩ ⟷ | 2 ⟩, |2|3ket2ket3\left|2\right\rangle\longleftrightarrow\left|3\right\rangle| 2 ⟩ ⟷ | 3 ⟩ and |3|4ket3ket4\left|3\right\rangle\longleftrightarrow\left|4\right\rangle| 3 ⟩ ⟷ | 4 ⟩, respectively. The detunings of the probe laser, coupling laser, and MW electric field are denoted by Δp=ωpω21subscriptΔ𝑝subscript𝜔𝑝subscript𝜔21\Delta_{p}=\omega_{p}-\omega_{21}roman_Δ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT, Δc=ωcω32subscriptΔ𝑐subscript𝜔𝑐subscript𝜔32\Delta_{c}=\omega_{c}-\omega_{32}roman_Δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT 32 end_POSTSUBSCRIPT and ΔM=ω34ωMsubscriptΔ𝑀subscript𝜔34subscript𝜔𝑀\Delta_{M}=\omega_{34}-\omega_{M}roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT 34 end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT, respectively, where ωij=ωiωjsubscript𝜔𝑖𝑗subscript𝜔𝑖subscript𝜔𝑗\omega_{ij}=\omega_{i}-\omega_{j}italic_ω start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_ω start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT is the energy level transition frequency. In this paper, we focus on the far-detuning MW, i.e., ΩMΔMmuch-less-thansubscriptΩ𝑀subscriptΔ𝑀\Omega_{M}\ll\Delta_{M}roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ≪ roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT.

Refer to caption
Figure 1: The scheme of Rydberg atom-based microwave sensor by combining quantum mixer and atomic heterodyne.

In addition, to enhance the sensitivity of detecting the far-detuning MW electric field, we combine the quantum mixer and atomic heterodyne. As shown in Fig.1, a strong local MW field is also applied. Consequently, ΩMsubscriptΩ𝑀\Omega_{M}roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT consists of two parts,namely, ΩM=ΩL+ΩseiδftsubscriptΩ𝑀subscriptΩ𝐿subscriptΩ𝑠superscript𝑒𝑖subscript𝛿𝑓𝑡\Omega_{M}=\Omega_{L}+\Omega_{s}e^{i\delta_{f}t}roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT = roman_Ω start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + roman_Ω start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_δ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT, where ΩLΩsmuch-greater-thansubscriptΩ𝐿subscriptΩ𝑠\Omega_{L}\gg\Omega_{s}roman_Ω start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ≫ roman_Ω start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT and δfsubscript𝛿𝑓\delta_{f}italic_δ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT is the frequency difference of the local field and signal field [12]. Since δfsubscript𝛿𝑓\delta_{f}italic_δ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT is much smaller than the dynamic energy characteristic scale of the four-level EIT system, we can derive the EIT spectrum in the adiabatic limit.

III The effective model

Since HC(t)subscript𝐻𝐶𝑡H_{C}(t)italic_H start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( italic_t ) doesn’t commute with the third term of Eq.(2), which describes the MW field, the mixing of these two high-frequency terms causes the resonant response of the system to reappear. This is the core of our method. According to the theory of quantum frequency mixing [25], we can expand the system’s response frequency to the MW field by precisely adjusting the controlled field, that is, the RF filed. In this section, by obtaining the effective Hamiltonian of our scheme, we can determine the parameters of the RF field that restore the resonant response in the EIT-AT spectrum.

A𝐴Aitalic_A or Asuperscript𝐴A^{\prime}italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is generally as large as or even much larger than ω𝜔\omegaitalic_ω in the laboratory. Therefore, to satisfy the high-frequency condition for using the theory of quantum frequency mixing, we need to perform a unitary transformation on Eq.(2):

HR(t)=subscript𝐻𝑅𝑡absent\displaystyle H_{R}(t)=italic_H start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_t ) = U(t)(H(t)it)U(t)superscript𝑈𝑡𝐻𝑡𝑖Planck-constant-over-2-pi𝑡𝑈𝑡\displaystyle U^{\dagger}(t)\left(H(t)-i\hbar\frac{\partial}{\partial t}\right% )U(t)italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_t ) ( italic_H ( italic_t ) - italic_i roman_ℏ divide start_ARG ∂ end_ARG start_ARG ∂ italic_t end_ARG ) italic_U ( italic_t )
=\displaystyle== Ωp2eiΔpt|12|+h.c.formulae-sequencePlanck-constant-over-2-pisubscriptΩ𝑝2superscript𝑒𝑖subscriptΔ𝑝𝑡ket1bra2𝑐\displaystyle-\frac{\hbar\Omega_{p}}{2}e^{i\Delta_{p}t}\left|1\right\rangle% \left\langle 2\right|+h.c.- divide start_ARG roman_ℏ roman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_e start_POSTSUPERSCRIPT italic_i roman_Δ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT | 1 ⟩ ⟨ 2 | + italic_h . italic_c .
nΩc𝐉n(A/ω)2ei(ΔcAnω)t|23|+h.c.formulae-sequencesubscript𝑛Planck-constant-over-2-pisubscriptΩ𝑐subscript𝐉𝑛𝐴𝜔2superscript𝑒𝑖subscriptΔ𝑐𝐴𝑛𝜔𝑡ket2bra3𝑐\displaystyle-\sum_{n}\frac{\hbar\Omega_{c}\mathbf{J}_{n}(A/\omega)}{2}e^{i(% \Delta_{c}-A-n\omega)t}\left|2\right\rangle\left\langle 3\right|+h.c.- ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT divide start_ARG roman_ℏ roman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_A / italic_ω ) end_ARG start_ARG 2 end_ARG italic_e start_POSTSUPERSCRIPT italic_i ( roman_Δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_A - italic_n italic_ω ) italic_t end_POSTSUPERSCRIPT | 2 ⟩ ⟨ 3 | + italic_h . italic_c .
mΩM𝐉m(a/ω)2ei(ΔMamω)t|34|+h.c.formulae-sequencesubscript𝑚Planck-constant-over-2-pisubscriptΩ𝑀subscript𝐉𝑚𝑎𝜔2superscript𝑒𝑖subscriptΔ𝑀𝑎𝑚𝜔𝑡ket3bra4𝑐\displaystyle-\sum_{m}\frac{\hbar\Omega_{M}\mathbf{J}_{m}(a/\omega)}{2}e^{i(% \Delta_{M}-a-m\omega)t}\left|3\right\rangle\left\langle 4\right|+h.c.- ∑ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT divide start_ARG roman_ℏ roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_a / italic_ω ) end_ARG start_ARG 2 end_ARG italic_e start_POSTSUPERSCRIPT italic_i ( roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT - italic_a - italic_m italic_ω ) italic_t end_POSTSUPERSCRIPT | 3 ⟩ ⟨ 4 | + italic_h . italic_c . (3)

where a=AA𝑎superscript𝐴𝐴a=A^{\prime}-Aitalic_a = italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - italic_A and U(t)=exp[i0tHC(t)𝑑τ]𝑈𝑡𝑖Planck-constant-over-2-pisuperscriptsubscript0𝑡subscript𝐻𝐶𝑡differential-d𝜏U(t)=\exp\left[-\frac{i}{\hbar}\int_{0}^{t}H_{C}(t)d\tau\right]italic_U ( italic_t ) = roman_exp [ - divide start_ARG italic_i end_ARG start_ARG roman_ℏ end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ( italic_t ) italic_d italic_τ ]. In the deriving, we use the identity relation : eizsinωt=n𝐉n(z)einωtsuperscript𝑒𝑖𝑧𝜔𝑡subscript𝑛subscript𝐉𝑛𝑧superscript𝑒𝑖𝑛𝜔𝑡e^{iz\sin\omega t}=\sum_{n}\mathbf{J}_{n}(z)e^{in\omega t}italic_e start_POSTSUPERSCRIPT italic_i italic_z roman_sin italic_ω italic_t end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_z ) italic_e start_POSTSUPERSCRIPT italic_i italic_n italic_ω italic_t end_POSTSUPERSCRIPT with the Bessel functions of the first kind 𝐉n(z)subscript𝐉𝑛𝑧\mathbf{J}_{n}(z)bold_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_z ).

The heterodyne detection requires fixed frequencies of probe laser and coupling laser, meaning that we should chose one of the Floquet side bands [27] to detect. In our scheme, we can set ΔpsubscriptΔ𝑝\Delta_{p}roman_Δ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT, ΔcAsubscriptΔ𝑐𝐴\Delta_{c}-Aroman_Δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_A (i.e., n=0𝑛0n=0italic_n = 0) to be low frequencies by adjusting the coupled laser, and we suppose RF field satisfies the condition ΔMakω0subscriptΔ𝑀𝑎𝑘𝜔0\Delta_{M}-a-k\omega\approx 0roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT - italic_a - italic_k italic_ω ≈ 0. Hence, considering second-order effects and using the energy scale analysis of multi-mode Floquet theory to keep the low-frequency terms (see Appendix.A), i.e., ωΩp,Ωc𝐉n(A/ω),ΩM𝐉m(a/ω)much-greater-than𝜔subscriptΩ𝑝subscriptΩ𝑐subscript𝐉𝑛𝐴𝜔subscriptΩ𝑀subscript𝐉𝑚𝑎𝜔\omega\gg\Omega_{p},\Omega_{c}\mathbf{J}_{n}(A/\omega),\Omega_{M}\mathbf{J}_{m% }(a/\omega)italic_ω ≫ roman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT , roman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_A / italic_ω ) , roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_a / italic_ω ), we can obtain the time-dependent effective Hamiltonian:

HReff(t)=subscriptsuperscript𝐻𝑒𝑓𝑓𝑅𝑡absent\displaystyle H^{eff}_{R}(t)=italic_H start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( italic_t ) = Ωp2eiΔpt|12|+h.c.formulae-sequencePlanck-constant-over-2-pisubscriptΩ𝑝2superscript𝑒𝑖subscriptΔ𝑝𝑡ket1bra2𝑐\displaystyle-\frac{\hbar\Omega_{p}}{2}e^{i\Delta_{p}t}\left|1\right\rangle% \left\langle 2\right|+h.c.- divide start_ARG roman_ℏ roman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG italic_e start_POSTSUPERSCRIPT italic_i roman_Δ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT | 1 ⟩ ⟨ 2 | + italic_h . italic_c .
Ωc𝐉0(A/ω)2ei(ΔcA)t|23|+h.c.formulae-sequencePlanck-constant-over-2-pisubscriptΩ𝑐subscript𝐉0𝐴𝜔2superscript𝑒𝑖subscriptΔ𝑐𝐴𝑡ket2bra3𝑐\displaystyle-\frac{\hbar\Omega_{c}\mathbf{J}_{0}(A/\omega)}{2}e^{i(\Delta_{c}% -A)t}\left|2\right\rangle\left\langle 3\right|+h.c.- divide start_ARG roman_ℏ roman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_A / italic_ω ) end_ARG start_ARG 2 end_ARG italic_e start_POSTSUPERSCRIPT italic_i ( roman_Δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_A ) italic_t end_POSTSUPERSCRIPT | 2 ⟩ ⟨ 3 | + italic_h . italic_c .
ΩM𝐉k(a/ω)2ei(ΔMakω)t|34|+h.c.formulae-sequencePlanck-constant-over-2-pisubscriptΩ𝑀subscript𝐉𝑘𝑎𝜔2superscript𝑒𝑖subscriptΔ𝑀𝑎𝑘𝜔𝑡ket3bra4𝑐\displaystyle-\frac{\hbar\Omega_{M}\mathbf{J}_{k}(a/\omega)}{2}e^{i(\Delta_{M}% -a-k\omega)t}\left|3\right\rangle\left\langle 4\right|+h.c.- divide start_ARG roman_ℏ roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ) end_ARG start_ARG 2 end_ARG italic_e start_POSTSUPERSCRIPT italic_i ( roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT - italic_a - italic_k italic_ω ) italic_t end_POSTSUPERSCRIPT | 3 ⟩ ⟨ 4 | + italic_h . italic_c .
+H0(2),Rsubscriptsuperscript𝐻2𝑅0\displaystyle+H^{(2),R}_{0}+ italic_H start_POSTSUPERSCRIPT ( 2 ) , italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT (4)

The second-order term H0(2),Rsubscriptsuperscript𝐻2𝑅0H^{(2),R}_{0}italic_H start_POSTSUPERSCRIPT ( 2 ) , italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT comes from the mixing of the high-frequency terms, and is given by Eq.(15):

H0(2),R=subscriptsuperscript𝐻2𝑅0absent\displaystyle H^{(2),R}_{0}=italic_H start_POSTSUPERSCRIPT ( 2 ) , italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = n0[Ωc𝐉n(A/ω)2|32|,Ωc𝐉n(A/ω)2|23|]ΔcAnωsubscript𝑛0subscriptΩ𝑐subscript𝐉𝑛𝐴𝜔2ket3bra2subscriptΩ𝑐subscript𝐉𝑛𝐴𝜔2ket2bra3subscriptΔ𝑐𝐴𝑛𝜔\displaystyle-\sum_{n\neq 0}\frac{\left[\frac{\Omega_{c}\mathbf{J}_{n}(A/% \omega)}{2}\left|3\right\rangle\left\langle 2\right|,\frac{\Omega_{c}\mathbf{J% }_{n}(A/\omega)}{2}\left|2\right\rangle\left\langle 3\right|\right]}{\Delta_{c% }-A-n\omega}- ∑ start_POSTSUBSCRIPT italic_n ≠ 0 end_POSTSUBSCRIPT divide start_ARG [ divide start_ARG roman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_A / italic_ω ) end_ARG start_ARG 2 end_ARG | 3 ⟩ ⟨ 2 | , divide start_ARG roman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_A / italic_ω ) end_ARG start_ARG 2 end_ARG | 2 ⟩ ⟨ 3 | ] end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_A - italic_n italic_ω end_ARG
mk[ΩM𝐉m(a/ω)2|43|,ΩM𝐉m(a/ω)2|34|]ΔMA+Amωsubscript𝑚𝑘subscriptΩ𝑀subscript𝐉𝑚𝑎𝜔2ket4bra3subscriptΩ𝑀subscript𝐉𝑚𝑎𝜔2ket3bra4subscriptΔ𝑀superscript𝐴𝐴𝑚𝜔\displaystyle-\sum_{m\neq k}\frac{\left[\frac{\Omega_{M}\mathbf{J}_{m}(a/% \omega)}{2}\left|4\right\rangle\left\langle 3\right|,\frac{\Omega_{M}\mathbf{J% }_{m}(a/\omega)}{2}\left|3\right\rangle\left\langle 4\right|\right]}{\Delta_{M% }-A^{\prime}+A-m\omega}- ∑ start_POSTSUBSCRIPT italic_m ≠ italic_k end_POSTSUBSCRIPT divide start_ARG [ divide start_ARG roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_a / italic_ω ) end_ARG start_ARG 2 end_ARG | 4 ⟩ ⟨ 3 | , divide start_ARG roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_a / italic_ω ) end_ARG start_ARG 2 end_ARG | 3 ⟩ ⟨ 4 | ] end_ARG start_ARG roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT - italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_A - italic_m italic_ω end_ARG
=\displaystyle== n0Ωc2𝐉n2(A/ω)4(ΔcAnω)(|22||33|)subscript𝑛0superscriptsubscriptΩ𝑐2superscriptsubscript𝐉𝑛2𝐴𝜔4subscriptΔ𝑐𝐴𝑛𝜔ket2bra2ket3bra3\displaystyle\sum_{n\neq 0}\frac{\Omega_{c}^{2}\mathbf{J}_{n}^{2}(A/\omega)}{4% (\Delta_{c}-A-n\omega)}(\left|2\right\rangle\left\langle 2\right|-\left|3% \right\rangle\left\langle 3\right|)∑ start_POSTSUBSCRIPT italic_n ≠ 0 end_POSTSUBSCRIPT divide start_ARG roman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_A / italic_ω ) end_ARG start_ARG 4 ( roman_Δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_A - italic_n italic_ω ) end_ARG ( | 2 ⟩ ⟨ 2 | - | 3 ⟩ ⟨ 3 | )
mkΩM2𝐉m2(a/ω)4(ΔMA+Amω)(|33||44|)subscript𝑚𝑘superscriptsubscriptΩ𝑀2superscriptsubscript𝐉𝑚2𝑎𝜔4subscriptΔ𝑀superscript𝐴𝐴𝑚𝜔ket3bra3ket4bra4\displaystyle\sum_{m\neq k}\frac{\Omega_{M}^{2}\mathbf{J}_{m}^{2}(a/\omega)}{4% (\Delta_{M}-A^{\prime}+A-m\omega)}(\left|3\right\rangle\left\langle 3\right|-% \left|4\right\rangle\left\langle 4\right|)∑ start_POSTSUBSCRIPT italic_m ≠ italic_k end_POSTSUBSCRIPT divide start_ARG roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_J start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_a / italic_ω ) end_ARG start_ARG 4 ( roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT - italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_A - italic_m italic_ω ) end_ARG ( | 3 ⟩ ⟨ 3 | - | 4 ⟩ ⟨ 4 | ) (5)
\displaystyle\approx mkΩM2𝐉m2(a/ω)4(ΔMA+Amω)(|33||44|)subscript𝑚𝑘superscriptsubscriptΩ𝑀2superscriptsubscript𝐉𝑚2𝑎𝜔4subscriptΔ𝑀superscript𝐴𝐴𝑚𝜔ket3bra3ket4bra4\displaystyle\sum_{m\neq k}\frac{\Omega_{M}^{2}\mathbf{J}_{m}^{2}(a/\omega)}{4% (\Delta_{M}-A^{\prime}+A-m\omega)}(\left|3\right\rangle\left\langle 3\right|-% \left|4\right\rangle\left\langle 4\right|)∑ start_POSTSUBSCRIPT italic_m ≠ italic_k end_POSTSUBSCRIPT divide start_ARG roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_J start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_a / italic_ω ) end_ARG start_ARG 4 ( roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT - italic_A start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_A - italic_m italic_ω ) end_ARG ( | 3 ⟩ ⟨ 3 | - | 4 ⟩ ⟨ 4 | )
=\displaystyle== δM2(|33||44|)subscript𝛿𝑀2ket3bra3ket4bra4\displaystyle\frac{\delta_{M}}{2}(\left|3\right\rangle\left\langle 3\right|-% \left|4\right\rangle\left\langle 4\right|)divide start_ARG italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ( | 3 ⟩ ⟨ 3 | - | 4 ⟩ ⟨ 4 | ) (6)

From Eq.(5) to Eq.(6), we use the low-frequency condition ΔcA0subscriptΔ𝑐𝐴0\Delta_{c}-A\approx 0roman_Δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_A ≈ 0. This also explains why we chose n=0𝑛0n=0italic_n = 0 in Eq.(4), that is, to ignore the second-order term brought by the coupling laser.

Then, through the rotation transformation, we can obtain the time-independent effective Hamiltonian Heffsuperscript𝐻𝑒𝑓𝑓H^{eff}italic_H start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT corresponding to Eq.(4):

(0Ωp200Ωp2Δp𝐉0(A/ω)Ωc200𝐉0(A/ω)Ωc2Δp+δc𝐉k(a/ω)ΩM200𝐉k(a/ω)ΩM2Δp+δc+ΔMeff),Planck-constant-over-2-pi0subscriptΩ𝑝200subscriptΩ𝑝2subscriptΔ𝑝subscript𝐉0𝐴𝜔subscriptΩ𝑐200subscript𝐉0𝐴𝜔subscriptΩ𝑐2subscriptΔ𝑝subscript𝛿𝑐subscript𝐉𝑘𝑎𝜔subscriptΩ𝑀200subscript𝐉𝑘𝑎𝜔subscriptΩ𝑀2subscriptΔ𝑝subscript𝛿𝑐superscriptsubscriptΔ𝑀𝑒𝑓𝑓-\hbar\left(\begin{array}[]{cccc}0&\frac{\Omega_{p}}{2}&0&0\\ \frac{\Omega_{p}}{2}&\Delta_{p}&\frac{\mathbf{J}_{0}(A/\omega)\Omega_{c}}{2}&0% \\ 0&\frac{\mathbf{J}_{0}(A/\omega)\Omega_{c}}{2}&\Delta_{p}+\delta_{c}&\frac{% \mathbf{J}_{k}(a/\omega)\Omega_{M}}{2}\\ 0&0&\frac{\mathbf{J}_{k}(a/\omega)\Omega_{M}}{2}&\Delta_{p}+\delta_{c}+\Delta_% {M}^{eff}\end{array}\right),- roman_ℏ ( start_ARRAY start_ROW start_CELL 0 end_CELL start_CELL divide start_ARG roman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL divide start_ARG roman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_CELL start_CELL roman_Δ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_CELL start_CELL divide start_ARG bold_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_A / italic_ω ) roman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL divide start_ARG bold_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_A / italic_ω ) roman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_CELL start_CELL roman_Δ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT + italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_CELL start_CELL divide start_ARG bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ) roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL 0 end_CELL start_CELL divide start_ARG bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ) roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_CELL start_CELL roman_Δ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT + italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT + roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT end_CELL end_ROW end_ARRAY ) , (7)

where δc=ΔcAδM2subscript𝛿𝑐subscriptΔ𝑐𝐴subscript𝛿𝑀2\delta_{c}=\Delta_{c}-A-\frac{\delta_{M}}{2}italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = roman_Δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_A - divide start_ARG italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG and ΔMeff=ΔMakω+δMsuperscriptsubscriptΔ𝑀𝑒𝑓𝑓subscriptΔ𝑀𝑎𝑘𝜔subscript𝛿𝑀\Delta_{M}^{eff}=\Delta_{M}-a-k\omega+\delta_{M}roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT = roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT - italic_a - italic_k italic_ω + italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT are the effective detunings of coupling laser and MW field, respectively.

Refer to caption
Refer to caption
Refer to caption
Figure 2: (a) The Upper bound of |δM/(𝐉k(a/ω)ΩM)|subscript𝛿𝑀subscript𝐉𝑘𝑎𝜔subscriptΩ𝑀|\delta_{M}/(\mathbf{J}_{k}(a/\omega)\Omega_{M})|| italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT / ( bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ) roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ) | changes with a/ω𝑎𝜔a/\omegaitalic_a / italic_ω for k=1𝑘1k=1italic_k = 1. (b) The imaginary part of ρ21subscript𝜌21\rho_{21}italic_ρ start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT changing with ΔpsubscriptΔ𝑝\Delta_{p}roman_Δ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT. System parameters: Ωp=0.1×2πsubscriptΩ𝑝0.12𝜋\Omega_{p}=0.1\times 2\piroman_Ω start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 0.1 × 2 italic_π MHz, Ωc=10×2πsubscriptΩ𝑐102𝜋\Omega_{c}=10\times 2\piroman_Ω start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 10 × 2 italic_π MHz, Δc=(5+1.8135/2)×2πsubscriptΔ𝑐51.813522𝜋\Delta_{c}=(5+1.8135/2)\times 2\piroman_Δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = ( 5 + 1.8135 / 2 ) × 2 italic_π MHz, γ1=0subscript𝛾10\gamma_{1}=0italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0, γ2=5×2πsubscript𝛾252𝜋\gamma_{2}=5\times 2\piitalic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 5 × 2 italic_π MHz, γ3=γ4=0.003×2πsubscript𝛾3subscript𝛾40.0032𝜋\gamma_{3}=\gamma_{4}=0.003\times 2\piitalic_γ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = italic_γ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = 0.003 × 2 italic_π MHz. MW field parameters: ΩM=40×2πsubscriptΩ𝑀402𝜋\Omega_{M}=40\times 2\piroman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT = 40 × 2 italic_π MHz, ΔM=600×2πsubscriptΔ𝑀6002𝜋\Delta_{M}=600\times 2\piroman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT = 600 × 2 italic_π MHz. RF field parameters: ω=401.209×2π𝜔401.2092𝜋\omega=401.209\times 2\piitalic_ω = 401.209 × 2 italic_π MHz for k=1𝑘1k=1italic_k = 1, A=5×2π𝐴52𝜋A=5\times 2\piitalic_A = 5 × 2 italic_π MHz, a=0.5ω𝑎0.5𝜔a=0.5\omegaitalic_a = 0.5 italic_ω. δM=1.8135×2πsubscript𝛿𝑀1.81352𝜋\delta_{M}=1.8135\times 2\piitalic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT = 1.8135 × 2 italic_π MHz. (c) The heterodyne EIT signal of the effective mode and the model ignoring δMsubscript𝛿𝑀\delta_{M}italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT. Ωs=1×2πsubscriptΩ𝑠12𝜋\Omega_{s}=1\times 2\piroman_Ω start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = 1 × 2 italic_π MHz, δf=1×2πsubscript𝛿𝑓12𝜋\delta_{f}=1\times 2\piitalic_δ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT = 1 × 2 italic_π kHz, and the other parameters are same as those in (b).

By precisely adjusting the coupling laser and the RF field, δcsubscript𝛿𝑐\delta_{c}italic_δ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT and ΔMeffsuperscriptsubscriptΔ𝑀𝑒𝑓𝑓\Delta_{M}^{eff}roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT can be set to 0. Therefore, the EIT spectrum of the system described by Eq.(7) recovers the resonant response to MW field and the EIT-AT spectrum describes the effective Rabi frequency of MW signal field, 𝐉k(a/ω)Ωssubscript𝐉𝑘𝑎𝜔subscriptΩ𝑠\mathbf{J}_{k}(a/\omega)\Omega_{s}bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ) roman_Ω start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT. This completely proves the reliability of our scheme. Based on this analysis, we can get the extended frequency of the resonant response:

ΔM=a+kωδM.subscriptΔ𝑀𝑎𝑘𝜔subscript𝛿𝑀\Delta_{M}=a+k\omega-\delta_{M}.roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT = italic_a + italic_k italic_ω - italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT . (8)

Namely, the extended frequency range is theoretically infinite due to the integer k𝑘kitalic_k. Furthermore, it also indicates that the control field, i.e., the RF field must strictly satisfy this relation.

From Eq.(8), it can be seen that the second order term affects the parameter adjustment of the RF field. In previous studies [27, 30], the second-order term was typically not considered because of their small value. However, it can’t be ignored under certain parameter conditions in EIT-based heterodyne detection. To prove it, we calculate the ratio of δMsubscript𝛿𝑀\delta_{M}italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT and ΩM𝐉k(a/ω)subscriptΩ𝑀subscript𝐉𝑘𝑎𝜔\Omega_{M}\mathbf{J}_{k}(a/\omega)roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ):

|δM/(𝐉k(a/ω)ΩM)|subscript𝛿𝑀subscript𝐉𝑘𝑎𝜔subscriptΩ𝑀absent\displaystyle\left|\delta_{M}/(\mathbf{J}_{k}(a/\omega)\Omega_{M})\right|\approx| italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT / ( bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ) roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ) | ≈ |mkΩM𝐉m2(a/ω)2(mk)ω𝐉k(a/ω)|subscript𝑚𝑘subscriptΩ𝑀superscriptsubscript𝐉𝑚2𝑎𝜔2𝑚𝑘𝜔subscript𝐉𝑘𝑎𝜔\displaystyle\left|\sum_{m\neq k}\frac{\Omega_{M}\mathbf{J}_{m}^{2}(a/\omega)}% {-2(m-k)\omega\mathbf{J}_{k}(a/\omega)}\right|| ∑ start_POSTSUBSCRIPT italic_m ≠ italic_k end_POSTSUBSCRIPT divide start_ARG roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_a / italic_ω ) end_ARG start_ARG - 2 ( italic_m - italic_k ) italic_ω bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ) end_ARG |
\displaystyle\leq |mk0.1𝐉m2(a/ω)2(mk)𝐉k2(a/ω)|subscript𝑚𝑘0.1superscriptsubscript𝐉𝑚2𝑎𝜔2𝑚𝑘superscriptsubscript𝐉𝑘2𝑎𝜔\displaystyle\left|\sum_{m\neq k}\frac{0.1\mathbf{J}_{m}^{2}(a/\omega)}{-2(m-k% )\mathbf{J}_{k}^{2}(a/\omega)}\right|| ∑ start_POSTSUBSCRIPT italic_m ≠ italic_k end_POSTSUBSCRIPT divide start_ARG 0.1 bold_J start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_a / italic_ω ) end_ARG start_ARG - 2 ( italic_m - italic_k ) bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_a / italic_ω ) end_ARG | (9)

In the above deriving, we regard ΩM𝐉k(a/ω)ωmuch-less-thansubscriptΩ𝑀subscript𝐉𝑘𝑎𝜔𝜔\Omega_{M}\mathbf{J}_{k}(a/\omega)\ll\omegaroman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ) ≪ italic_ω as ΩM𝐉k(a/ω)0.1ωsubscriptΩ𝑀subscript𝐉𝑘𝑎𝜔0.1𝜔\Omega_{M}\mathbf{J}_{k}(a/\omega)\leq 0.1\omegaroman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ) ≤ 0.1 italic_ω. This sets an upper bound on the ratio of δMsubscript𝛿𝑀\delta_{M}italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT and ΩM𝐉k(a/ω)subscriptΩ𝑀subscript𝐉𝑘𝑎𝜔\Omega_{M}\mathbf{J}_{k}(a/\omega)roman_Ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ). As shown in Fig.2 (a), the upper bound is not always much less than 1, especially for certain values of a/ω𝑎𝜔a/\omegaitalic_a / italic_ω, such as 0.1, 3.83, 7, \dots, where these upper bounds exceed 1. Since δMsubscript𝛿𝑀\delta_{M}italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT is one part of the effective detuning ΔMsubscriptΔ𝑀\Delta_{M}roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT, ignoring δMsubscript𝛿𝑀\delta_{M}italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT will lead asymmetrical EIT-AT splitting [19]. These cases would be possible because the intensity and frequency of RF are not arbitrary and need to meet the conditions of weak field and low frequency with relative to the energy level difference.

For further verification, using the master equation for the four-level density matrix ρ𝜌\rhoitalic_ρ [31]:

ρ˙=i[ρ,H]+𝒟(ρ),˙𝜌𝑖Planck-constant-over-2-pi𝜌𝐻𝒟𝜌\dot{\rho}=\frac{i}{\hbar}\left[\rho,H\right]+\mathcal{D}(\rho),over˙ start_ARG italic_ρ end_ARG = divide start_ARG italic_i end_ARG start_ARG roman_ℏ end_ARG [ italic_ρ , italic_H ] + caligraphic_D ( italic_ρ ) , (10)

we numerically calculate the steady-state solutions of the original model, the effective model and the model ignoring the second-order terms. The matrix 𝒟(ρ)𝒟𝜌\mathcal{D}(\rho)caligraphic_D ( italic_ρ ) is given by:

[γ2ρ22γ12ρ12γ13ρ13γ14ρ14γ21ρ21γ3ρ33γ2ρ22γ23ρ23γ24ρ24γ31ρ31γ32ρ32γ4ρ44γ3ρ33γ34ρ34γ41ρ41γ42ρ42γ43ρ43γ4ρ44],delimited-[]subscript𝛾2subscript𝜌22subscript𝛾12subscript𝜌12subscript𝛾13subscript𝜌13subscript𝛾14subscript𝜌14subscript𝛾21subscript𝜌21subscript𝛾3subscript𝜌33subscript𝛾2subscript𝜌22subscript𝛾23subscript𝜌23subscript𝛾24subscript𝜌24subscript𝛾31subscript𝜌31subscript𝛾32subscript𝜌32subscript𝛾4subscript𝜌44subscript𝛾3subscript𝜌33subscript𝛾34subscript𝜌34subscript𝛾41subscript𝜌41subscript𝛾42subscript𝜌42subscript𝛾43subscript𝜌43subscript𝛾4subscript𝜌44\left[\begin{array}[]{cccc}\gamma_{2}\rho_{22}&-\gamma_{12}\rho_{12}&-\gamma_{% 13}\rho_{13}&-\gamma_{14}\rho_{14}\\ -\gamma_{21}\rho_{21}&\gamma_{3}\rho_{33}-\gamma_{2}\rho_{22}&-\gamma_{23}\rho% _{23}&-\gamma_{24}\rho_{24}\\ -\gamma_{31}\rho_{31}&-\gamma_{32}\rho_{32}&\gamma_{4}\rho_{44}-\gamma_{3}\rho% _{33}&-\gamma_{34}\rho_{34}\\ -\gamma_{41}\rho_{41}&-\gamma_{42}\rho_{42}&-\gamma_{43}\rho_{43}&-\gamma_{4}% \rho_{44}\end{array}\right],[ start_ARRAY start_ROW start_CELL italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_CELL start_CELL - italic_γ start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT end_CELL start_CELL - italic_γ start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT end_CELL start_CELL - italic_γ start_POSTSUBSCRIPT 14 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 14 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - italic_γ start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT end_CELL start_CELL italic_γ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 33 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT end_CELL start_CELL - italic_γ start_POSTSUBSCRIPT 23 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 23 end_POSTSUBSCRIPT end_CELL start_CELL - italic_γ start_POSTSUBSCRIPT 24 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 24 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - italic_γ start_POSTSUBSCRIPT 31 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 31 end_POSTSUBSCRIPT end_CELL start_CELL - italic_γ start_POSTSUBSCRIPT 32 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 32 end_POSTSUBSCRIPT end_CELL start_CELL italic_γ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 44 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 33 end_POSTSUBSCRIPT end_CELL start_CELL - italic_γ start_POSTSUBSCRIPT 34 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 34 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - italic_γ start_POSTSUBSCRIPT 41 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 41 end_POSTSUBSCRIPT end_CELL start_CELL - italic_γ start_POSTSUBSCRIPT 42 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 42 end_POSTSUBSCRIPT end_CELL start_CELL - italic_γ start_POSTSUBSCRIPT 43 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 43 end_POSTSUBSCRIPT end_CELL start_CELL - italic_γ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 44 end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ] , (11)

where γij=(γi+γj)/2subscript𝛾𝑖𝑗subscript𝛾𝑖subscript𝛾𝑗2\gamma_{ij}=(\gamma_{i}+\gamma_{j})/2italic_γ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = ( italic_γ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT + italic_γ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) / 2 and γ1,2,3,4subscript𝛾1234\gamma_{1,2,3,4}italic_γ start_POSTSUBSCRIPT 1 , 2 , 3 , 4 end_POSTSUBSCRIPT are the decay rate of the four levels. The imaginary part of ρ21subscript𝜌21\rho_{21}italic_ρ start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT varying with ΔpsubscriptΔ𝑝\Delta_{p}roman_Δ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT is shown in Fig.2 (b). The numerical results clearly demonstrate that the results of the original Hamiltonian Eq.(2) and the effective Hamiltonian Eq.(7) agree very well, while the result of ignoring δMsubscript𝛿𝑀\delta_{M}italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT deviates from the first two.

Since Im[ρ21]delimited-[]subscript𝜌21[\rho_{21}][ italic_ρ start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT ] actually reflects the probe laser transmission T𝑇Titalic_T and the heterodyne method aims to detect the changes of the transmission ΔTΔ𝑇\Delta Troman_Δ italic_T, ignoring the second-order term will lead to serious distortion of measurement veracity. To prove this, based on the parameters of the cesium atoms in a vapour cell at room temperature, we simulate heterodyne signal ΔT(t)Δ𝑇𝑡\Delta T(t)roman_Δ italic_T ( italic_t ) in the adiabatic limit. As shown in Fig.2 (c), for the same signal field strength ΩssubscriptΩ𝑠\Omega_{s}roman_Ω start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, the amplitudes of ΔT(t)Δ𝑇𝑡\Delta T(t)roman_Δ italic_T ( italic_t ) differ significantly between the effective model and the modle ignoring δMsubscript𝛿𝑀\delta_{M}italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT. Therefore, the second-order term should be seriously considered in the scheme combining quantum mixer and atomic heterodyne for detecting far-detuning MW fields.

IV Sensitivity and extended frequency range

Refer to caption
Refer to caption
Figure 3: The relationship between the modification coefficient of sensitivity ηmsubscript𝜂𝑚\eta_{m}italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT and extended frequency range ΔMsubscriptΔ𝑀\Delta_{M}roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT. (a) ωmax=500×2πsubscript𝜔𝑚𝑎𝑥5002𝜋\omega_{max}=500\times 2\piitalic_ω start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT = 500 × 2 italic_π MHz. (b) amax=500×2πsubscript𝑎𝑚𝑎𝑥5002𝜋a_{max}=500\times 2\piitalic_a start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT = 500 × 2 italic_π MHz. ωmin=100×2πsubscript𝜔𝑚𝑖𝑛1002𝜋\omega_{min}=100\times 2\piitalic_ω start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT = 100 × 2 italic_π MHz both in (a) and (b).

Compared to the case of resonance, the sensitivity of our scheme for measuring the far-detuning MW field is somewhat weakened, as the effective Rabi frequency of MW field is modified by 𝐉k(a/ω)subscript𝐉𝑘𝑎𝜔\mathbf{J}_{k}(a/\omega)bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ) according to Eq.(7). This is the necessary compromise for continuously extending the response frequency range and is also an inevitable consequence of quantum mixing technology. In this section, we present the correspondence between the extended frequency range and the optimal sensitivity that can be achieved.

The sensitivity of our scheme can be obtained by dividing the resonance sensitivity by 𝐉k(a/ω)subscript𝐉𝑘𝑎𝜔\mathbf{J}_{k}(a/\omega)bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ), provided that systematic errors due to the introduction of RF fields are not considered. Therefore, within the allowable range of parameters, the best sensitivity can be achieved by identifying the RF field parameters that maximize 𝐉k(a/ω)subscript𝐉𝑘𝑎𝜔\mathbf{J}_{k}(a/\omega)bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ), that is, a𝑎aitalic_a and ω𝜔\omegaitalic_ω. In our scheme, the frequency and the intensity of RF field are very small compared to the energy level difference used, leading to practical limitations on the maximum values of ω𝜔\omegaitalic_ω and a𝑎aitalic_a that can be achieved in the laboratory. Furthermore, due to the high-frequency requirements of quantum mixing theory, there exists a minimum value for ω𝜔\omegaitalic_ω. Under such conditions, for a given MW detuning ΔMsubscriptΔ𝑀\Delta_{M}roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT, the optimal modification coefficient ηmsubscript𝜂𝑚\eta_{m}italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT is calculated as follows:

ηm=Max{|𝐉k(a/ω)|}.subscript𝜂𝑚𝑀𝑎𝑥subscript𝐉𝑘𝑎𝜔\eta_{m}=Max\left\{\left|\mathbf{J}_{k}(a/\omega)\right|\right\}.italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = italic_M italic_a italic_x { | bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ) | } . (12)

By considering all ω𝜔\omegaitalic_ω, a𝑎aitalic_a and k𝑘kitalic_k that satisfy the condition 0<aamax0𝑎subscript𝑎𝑚𝑎𝑥0<a\leq a_{max}0 < italic_a ≤ italic_a start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT, ωminωωmaxsubscript𝜔𝑚𝑖𝑛𝜔subscript𝜔𝑚𝑎𝑥\omega_{min}\leq\omega\leq\omega_{max}italic_ω start_POSTSUBSCRIPT italic_m italic_i italic_n end_POSTSUBSCRIPT ≤ italic_ω ≤ italic_ω start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT and ΔM=a+kωsubscriptΔ𝑀𝑎𝑘𝜔\Delta_{M}=a+k\omegaroman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT = italic_a + italic_k italic_ω to find the maximum of |𝐉k(a/ω)|subscript𝐉𝑘𝑎𝜔|\mathbf{J}_{k}(a/\omega)|| bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ) | and corresponding a𝑎aitalic_a and ω𝜔\omegaitalic_ω, we can determine ηmsubscript𝜂𝑚\eta_{m}italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT and the optimal RF filed parameters. Here, we ignore the δMsubscript𝛿𝑀\delta_{M}italic_δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT because it is at least one order of magnitude smaller than ω𝜔\omegaitalic_ω, resulting in a negligible impact on the modification coefficient 𝐉k(a/ω)subscript𝐉𝑘𝑎𝜔\mathbf{J}_{k}(a/\omega)bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ).

In Fig.3, we exhibit the relationship between the sensitivity modification coefficient and the extended frequency range. As can be seen, when ωmaxsubscript𝜔𝑚𝑎𝑥\omega_{max}italic_ω start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT is fixed, with the increase of amaxsubscript𝑎𝑚𝑎𝑥a_{max}italic_a start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT, there is a significant enhancement in sensitivity, especially at the large detunings ΔMsubscriptΔ𝑀\Delta_{M}roman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT. Similarly, when ωmaxsubscript𝜔𝑚𝑎𝑥\omega_{max}italic_ω start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT is fixed, increasing ωmaxsubscript𝜔𝑚𝑎𝑥\omega_{max}italic_ω start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT also improves sensitivity. Therefore, increasing the intensity and frequency limit of the applied RF field will aid in realizing the MW field measurement with high sensitivity and highly wide bandwidth. In addition, it can be seen that the sensitivity changes abruptly at certain detuning points, primarily due to changes in the integer k𝑘kitalic_k. For example, for amax=500×2πsubscript𝑎𝑚𝑎𝑥5002𝜋a_{max}=500\times 2\piitalic_a start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT = 500 × 2 italic_π in Fig.3(a), k𝑘kitalic_k changes from 0 to 1,1 to 2,2 to 3 at ΔM=500,100,1500×2πsubscriptΔ𝑀50010015002𝜋\Delta_{M}=500,100,1500\times 2\piroman_Δ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT = 500 , 100 , 1500 × 2 italic_π MHz, respectively. It can also be seen that the sensitivity remains constant over a range, because the best RF parameter a/ω𝑎𝜔a/\omegaitalic_a / italic_ω takes the maximum value of the Bessel function 𝐉k(a/ω)subscript𝐉𝑘𝑎𝜔\mathbf{J}_{k}(a/\omega)bold_J start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_a / italic_ω ).

According to Fig.3(a), the worst sensitivity in the extended frequency Range of 2GHz achieved by our scheme is only reduced by a factor of three times compared to resonance. Due to the abundance of Rydberg levels, we can find many pairs of Rydberg states that satisfy amax=1000×2πsubscript𝑎𝑚𝑎𝑥10002𝜋a_{max}=1000\times 2\piitalic_a start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT = 1000 × 2 italic_πMHz and ωmax=500×2πsubscript𝜔𝑚𝑎𝑥5002𝜋\omega_{max}=500\times 2\piitalic_ω start_POSTSUBSCRIPT italic_m italic_a italic_x end_POSTSUBSCRIPT = 500 × 2 italic_πMHz. Given the best sensitivity achieved so far [16], it is reasonable to assume that the optimal sensitivity based on resonance measurement is 20 nVcm1Hz12superscriptnVcm1superscriptHz12\mathrm{nVcm^{-1}Hz^{-\frac{1}{2}}}roman_nVcm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_Hz start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT. This implies that, theoretically, when the detuning is from 100MHz to 2GHz, the optimum sensitivity of our scheme is also 20 nVcm1Hz12superscriptnVcm1superscriptHz12\mathrm{nVcm^{-1}Hz^{-\frac{1}{2}}}roman_nVcm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_Hz start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT, and the worst sensitivity is astonishingly 54 nVcm1Hz12superscriptnVcm1superscriptHz12\mathrm{nVcm^{-1}Hz^{-\frac{1}{2}}}roman_nVcm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_Hz start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT, which is orders of magnitude better than other continuous frequency measurement schemes.

V conclusion

In summary, we have proposed a method for continuous MW field measurement utilizing quantum mixing technology in a Rydberg atom-based MW sensor, achieved by applying a driving control field. The control field, derived from a low-frequency weak radio-frequency (RF) field, induces an energy shift in the Rydberg state that oscillates with time due to the AC Stark effect. The distinct polarizabilities between two Rydberg states enable the control field and MW field to be non-commutative, fulfilling the requirements for quantum mixing. In our approach, the second-order effects arising from quantum mixing must be meticulously considered, as they can perturb the heterodyne signal and consequently compromise the accuracy of the electric field measurement.

When compared to resonance measurements, the sensitivity degradation for a 2.0 GHz far-detuned MW field is less than threefold, representing at least an order of magnitude improvement over alternative methods. We have demonstrated that by increasing the intensity and frequency of the RF field, the sensitivity of the far-detuned MW field can be substantially enhanced. Hence, future endeavors, particularly experimental implementations, should prioritize the selection of suitable Rydberg states that allow for the maximization of the RF field’s frequency and intensity. Given the abundance of Rydberg levels, we anticipate achieving the worst sensitivity of 54 nVcm1Hz12superscriptnVcm1superscriptHz12\mathrm{nVcm^{-1}Hz^{-\frac{1}{2}}}roman_nVcm start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT roman_Hz start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT within the extended frequency range of 100 MHz to 2 GHz. This work paves the way for high sensitivity and wide broadband MW field measurements using Rydberg atoms.

Acknowledgements.
This work is supported by National Science Foundation of China under Grant No. 12274045, No. 12274046 and No.12347101.

Appendix A the theory of quantum frequency mixing

We consider a time-dependent Hamiltonian that can be described by two frequency modes (ωa,ωb)subscript𝜔𝑎subscript𝜔𝑏(\omega_{a},\omega_{b})( italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT , italic_ω start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ):

H(t)=m,nHm,neimωateimωbt,𝐻𝑡subscript𝑚𝑛subscript𝐻𝑚𝑛superscript𝑒𝑖𝑚subscript𝜔𝑎𝑡superscript𝑒𝑖𝑚subscript𝜔𝑏𝑡\displaystyle H(t)=\sum_{m,n}H_{m,n}e^{im\omega_{a}t}e^{im\omega_{b}t},italic_H ( italic_t ) = ∑ start_POSTSUBSCRIPT italic_m , italic_n end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_m , italic_n end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_m italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_m italic_ω start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT , (13)

where ωasubscript𝜔𝑎\omega_{a}italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT and ωbsubscript𝜔𝑏\omega_{b}italic_ω start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT are much larger than other energy parameters. According to the theory of the quantum frequency mixing, the time-dependent effective Hamiltonian with low-frequency can be obtained as [25]:

Heff(t)=l,k(Hl,k+Hl,k(2)+)ei(lωa+kωb)t,superscript𝐻𝑒𝑓𝑓𝑡subscript𝑙𝑘subscript𝐻𝑙𝑘subscriptsuperscript𝐻2𝑙𝑘superscript𝑒𝑖𝑙subscript𝜔𝑎𝑘subscript𝜔𝑏𝑡\displaystyle H^{eff}(t)=\sum_{l,k}\left(H_{l,k}+H^{(2)}_{l,k}+\dots\right)e^{% i(l\omega_{a}+k\omega_{b})t},italic_H start_POSTSUPERSCRIPT italic_e italic_f italic_f end_POSTSUPERSCRIPT ( italic_t ) = ∑ start_POSTSUBSCRIPT italic_l , italic_k end_POSTSUBSCRIPT ( italic_H start_POSTSUBSCRIPT italic_l , italic_k end_POSTSUBSCRIPT + italic_H start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l , italic_k end_POSTSUBSCRIPT + … ) italic_e start_POSTSUPERSCRIPT italic_i ( italic_l italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + italic_k italic_ω start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ) italic_t end_POSTSUPERSCRIPT , (14)

where summation indices (l,k)𝑙𝑘(l,k)( italic_l , italic_k ) satisfy the condition that lωa+kωb𝑙subscript𝜔𝑎𝑘subscript𝜔𝑏l\omega_{a}+k\omega_{b}italic_l italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + italic_k italic_ω start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT is a low frequency. The second-order term Hl,k(2)subscriptsuperscript𝐻2𝑙𝑘H^{(2)}_{l,k}italic_H start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l , italic_k end_POSTSUBSCRIPT is given by:

12(p,q)(l,k)[Hlp,kq,Hp,q]pωa+qωb12subscript𝑝𝑞𝑙𝑘subscript𝐻𝑙𝑝𝑘𝑞subscript𝐻𝑝𝑞𝑝subscript𝜔𝑎𝑞subscript𝜔𝑏\displaystyle-\frac{1}{2}\sum_{(p,q)\neq(l,k)}\frac{\left[H_{l-p,k-q},H_{p,q}% \right]}{p\omega_{a}+q\omega_{b}}- divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∑ start_POSTSUBSCRIPT ( italic_p , italic_q ) ≠ ( italic_l , italic_k ) end_POSTSUBSCRIPT divide start_ARG [ italic_H start_POSTSUBSCRIPT italic_l - italic_p , italic_k - italic_q end_POSTSUBSCRIPT , italic_H start_POSTSUBSCRIPT italic_p , italic_q end_POSTSUBSCRIPT ] end_ARG start_ARG italic_p italic_ω start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + italic_q italic_ω start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT end_ARG (15)

where the summation excludes the case (p,q)=(l,k)𝑝𝑞𝑙𝑘(p,q)=(l,k)( italic_p , italic_q ) = ( italic_l , italic_k ) to avoid divergency. Non-commutation in second-order terms enables quantum frequency mixing: the non-commutation between high-frequency terms is crucial to quantum mixing theory, implying that the applied controlled field must not commute with the signal field. This theory can be generalized to the case of multiple frequency modes.

References