HTML conversions sometimes display errors due to content that did not convert correctly from the source. This paper uses the following packages that are not yet supported by the HTML conversion tool. Feedback on these issues are not necessary; they are known and are being worked on.

  • failed: extarrows
  • failed: tensor

Authors: achieve the best HTML results from your LaTeX submissions by following these best practices.

License: arXiv.org perpetual non-exclusive license
arXiv:2404.07054v1 [quant-ph] 10 Apr 2024

Quantum Mechanics of Open Systems in Non-Inertial Motion

Zi-Fan Zhu    Yu Su [email protected]    Yao Wang [email protected]    Rui-Xue Xu [email protected]    Yi**g Yan Hefei National Research Center for Physical Sciences at the Microscale and Department of Chemical Physics, University of Science and Technology of China, Hefei, Anhui 230026, China Hefei National Laboratory, University of Science and Technology of China, Heifei 230088, China
(April 10, 2024)
Abstract

The study of quantum mechanics in non-inertial reference frames, particularly in the context of open systems, introduces several intriguing phenomena and challenges. This paper presents a comprehensive framework for analyzing the quantum mechanics of open systems undergoing non-inertial motion. Our methodology leverages the concept of dissipatons, statistical quasi-particles that capture collective dissipative effects from the environment. We demonstrate that our approach offers a natural understanding of the intricate dynamics among non-inertial effects, decoherence, dissipation, and system-bath entanglement. Specifically, we conduct demonstrations focusing on the Lamb shift phenomenon within a rotating ring cavity. Through theoretical exposition and practical applications, our framework elucidates the profound interplay between open quantum dynamics and non-inertial motion, paving the way for advancements in quantum information processing and sensing technologies.

I Introduction

In quantum physics, exploring open quantum systems has become a captivating research frontier [1, 2, 3, 4, 5]. Open systems, which interact with their surrounding environment, exhibit diverse phenomena spanning quantum optics [6, 7, 8, 9, 10], nuclear magnetic resonance [11, 12, 13], condensed matter [14, 15, 16, 17, 18], quark-gluon plasma [19, 20, 21, 22], nonlinear spectroscopy [23, 24, 25, 26, 27, 28, 29, 30], and chemical and biological physics [31, 32, 33, 34, 35, 36]. The interaction between open quantum system and its environment often induces decoherence, a process in which the system’s quantum coherence diminishes gradually, leading to classical-like behavior. Decoherence stems from the unavoidable entanglement with the environment, causing a rapid loss of delicate quantum superposition states. Consequently, the system is driven towards a mixed state, making it more susceptible to classical statistical treatments. In open quantum systems, decoherence plays a vital role in understanding the fundamental limits of quantum technologies and the boundary between classical and quantum behaviors [37].

Non-inertial effects, arising from the acceleration or rotation of the system, introduce novel dynamics and unique features that set them apart from their inertial counterparts [38]. Non-inertial effects complicate the dynamics of open quantum systems, including the quantum decoherence. Such effects have garnered significant attention in recent years, primarily due to their potential applications in various fields, including quantum information processing, precision measurements, and quantum metrology [39, 40, 41, 42].

Furthermore, non-inertial effects have also been investigated in the context of quantum entanglement dynamics [43, 44]. Entanglement describes the correlation between two or more distant quantum systems. The acceleration or rotation of an open quantum system can lead to remarkable changes in the entanglement structure between the system and its environment. Understanding these dynamics is crucial in various scenarios such as quantum teleportation, quantum cryptography, and quantum communication protocols [45, 46, 47].

In this paper, we aim to provide a comprehensive framework for analyzing the quantum mechanics of open systems undergoing non-inertial motion. In Sec. II and III, we will delve into the mathematical formalism necessary to describe the non-inertial effects in open quantum systems, followed by a comprehensive framework, leverages the concept of dissipatons, statistical quasi-particles that capture collective dissipative effects from the environment [48, 49]. Finally, we provide a concise summary of this paper and deliver a preview of our future research endeavors. Throughout this paper, we set =c=1Planck-constant-over-2-pi𝑐1\hbar=c=1roman_ℏ = italic_c = 1 and β=1/(kBT)𝛽1subscript𝑘𝐵𝑇\beta=1/(k_{B}T)italic_β = 1 / ( italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT italic_T ), with kBsubscript𝑘𝐵k_{B}italic_k start_POSTSUBSCRIPT italic_B end_POSTSUBSCRIPT being the Boltzmann constant and T𝑇Titalic_T the temperature. Besides, we denote the space–time coordinate as xμ=(t,𝒓)=(t,ri)superscript𝑥𝜇𝑡𝒓𝑡superscript𝑟𝑖x^{\mu}=(t,\bm{r})=(t,r^{i})italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT = ( italic_t , bold_italic_r ) = ( italic_t , italic_r start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT ) with μ{0,1,2,3}𝜇0123\mu\in\{0,1,2,3\}italic_μ ∈ { 0 , 1 , 2 , 3 } and i{1,2,3}𝑖123i\in\{1,2,3\}italic_i ∈ { 1 , 2 , 3 } and the Minkowski metric as ημν=diag{1,1,1,1}superscript𝜂𝜇𝜈diag1111\eta^{\mu\nu}={\rm diag}\{-1,1,1,1\}italic_η start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = roman_diag { - 1 , 1 , 1 , 1 }. The Einstein summation convention is also adopted for the space–time indices.

II Non-inertial quantum mechanics

II.1 Non-inertial unitary transformation

In this section, we briefly review the non-inertial quantum mechanics [50]. Let us start with the Hamiltonian,

H(𝒓^,𝒑^)=[𝒑^e𝑨(𝒓^,t)]22m+V(𝒓^,t)+eϕ(𝒓^,t),𝐻^𝒓^𝒑superscriptdelimited-[]^𝒑𝑒𝑨^𝒓𝑡22𝑚𝑉^𝒓𝑡𝑒italic-ϕ^𝒓𝑡\displaystyle H(\hat{\bm{r}},\hat{\bm{p}})=\frac{\left[\hat{\bm{p}}-e\bm{A}(% \hat{\bm{r}},t)\right]^{2}}{2m}+V(\hat{\bm{r}},t)+e\phi(\hat{\bm{r}},t),italic_H ( over^ start_ARG bold_italic_r end_ARG , over^ start_ARG bold_italic_p end_ARG ) = divide start_ARG [ over^ start_ARG bold_italic_p end_ARG - italic_e bold_italic_A ( over^ start_ARG bold_italic_r end_ARG , italic_t ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG + italic_V ( over^ start_ARG bold_italic_r end_ARG , italic_t ) + italic_e italic_ϕ ( over^ start_ARG bold_italic_r end_ARG , italic_t ) , (1)

where m𝑚mitalic_m and e𝑒eitalic_e are the mass and charge of the particle, respectively. We use the hat accent ^^absent\hat{}over^ start_ARG end_ARG to distinguish operators and c-numbers for 𝒓𝒓\bm{r}bold_italic_r and 𝒑𝒑\bm{p}bold_italic_p. Here, 𝑨(𝒓^,t)𝑨^𝒓𝑡\bm{A}(\hat{\bm{r}},t)bold_italic_A ( over^ start_ARG bold_italic_r end_ARG , italic_t ) and ϕ(𝒓^,t)italic-ϕ^𝒓𝑡\phi(\hat{\bm{r}},t)italic_ϕ ( over^ start_ARG bold_italic_r end_ARG , italic_t ) are the electromagnetic (EM) potentials, while V(𝒓^,t)𝑉^𝒓𝑡V(\hat{\bm{r}},t)italic_V ( over^ start_ARG bold_italic_r end_ARG , italic_t ) is the potential energy. All of them possibly contain non-inertial effects as elaborated below.

To be concrete, we set

V(𝒓^,t)=V0(𝒓^(t)),𝑉^𝒓𝑡subscript𝑉0superscript^𝒓𝑡\displaystyle V(\hat{\bm{r}},t)=V_{0}\big{(}\hat{\bm{r}}^{\prime}(t)\big{)},italic_V ( over^ start_ARG bold_italic_r end_ARG , italic_t ) = italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_r end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_t ) ) , (2)

with 𝒓^=𝖱t1(𝒓^𝜻t)superscript^𝒓superscriptsubscript𝖱𝑡1^𝒓subscript𝜻𝑡\hat{\bm{r}}^{\prime}=\mathsf{R}_{t}^{-1}\left(\hat{\bm{r}}-{\bm{\zeta}}_{t}\right)over^ start_ARG bold_italic_r end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( over^ start_ARG bold_italic_r end_ARG - bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ), and V0subscript𝑉0V_{0}italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT being a specific potential in the body-fixed coordinate system. Here, 𝖱tSO(3)subscript𝖱𝑡SO3\mathsf{R}_{t}\in{\rm SO}(3)sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∈ roman_SO ( 3 ) and 𝜻t3subscript𝜻𝑡superscript3\bm{\zeta}_{t}\in\mathbb{R}^{3}bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT. By convention, we set the initial conditions: 𝖱0=𝖨subscript𝖱0𝖨\mathsf{R}_{0}=\mathsf{I}sansserif_R start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = sansserif_I, and 𝜻0=0subscript𝜻00\bm{\zeta}_{0}={0}bold_italic_ζ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0; See Fig. 1 for the illustration.

Refer to caption
Figure 1: Coordinate transformation of the mixed accelerating and rotational motions.

Special cases include:

  1. 1.

    Pure acceleration: 𝖱t𝖨subscript𝖱𝑡𝖨\mathsf{R}_{t}\equiv\mathsf{I}sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ≡ sansserif_I, V(𝒓^,t)=V0(𝒓^𝜻t)𝑉^𝒓𝑡subscript𝑉0^𝒓subscript𝜻𝑡V(\hat{\bm{r}},t)=V_{0}(\hat{\bm{r}}-\bm{\zeta}_{t})italic_V ( over^ start_ARG bold_italic_r end_ARG , italic_t ) = italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_r end_ARG - bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ). Especially, 𝜻t=𝒗tsubscript𝜻𝑡𝒗𝑡\bm{\zeta}_{t}=\bm{v}tbold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = bold_italic_v italic_t and 𝜻t=(1/2)𝒂t2subscript𝜻𝑡12𝒂superscript𝑡2\bm{\zeta}_{t}=(1/2)\bm{a}t^{2}bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = ( 1 / 2 ) bold_italic_a italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT correspond to the boost and the constant acceleration, respectively;

  2. 2.

    Pure rotation: 𝜻t0subscript𝜻𝑡0\bm{\zeta}_{t}\equiv 0bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ≡ 0, V(𝒓^,t)=V0(𝖱t1𝒓^)𝑉^𝒓𝑡subscript𝑉0superscriptsubscript𝖱𝑡1^𝒓V(\hat{\bm{r}},t)=V_{0}(\mathsf{R}_{t}^{-1}\hat{\bm{r}})italic_V ( over^ start_ARG bold_italic_r end_ARG , italic_t ) = italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT over^ start_ARG bold_italic_r end_ARG ). Generally, 𝖱tsubscript𝖱𝑡\mathsf{R}_{t}sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT can be expressed as,

    exp+[0tdτΩ(τ)𝐧(τ)𝐉].subscriptsuperscriptsubscript0𝑡differential-d𝜏Ω𝜏𝐧𝜏𝐉\exp_{+}\bigg{[}\int_{0}^{t}\!\!{\mathrm{d}}\tau\ \Omega(\tau){\bf n}(\tau)% \cdot{\mathbf{J}}\bigg{]}.roman_exp start_POSTSUBSCRIPT + end_POSTSUBSCRIPT [ ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_d italic_τ roman_Ω ( italic_τ ) bold_n ( italic_τ ) ⋅ bold_J ] . (3)

    Here, exp+subscript\exp_{+}roman_exp start_POSTSUBSCRIPT + end_POSTSUBSCRIPT denotes the exponential with time-ordering, Ω(t)Ω𝑡\Omega(t)roman_Ω ( italic_t ) is the transient angular velocity, 𝐧^(t)^𝐧𝑡\hat{\bf n}(t)over^ start_ARG bold_n end_ARG ( italic_t ) is the unit vector along the rotational direction, and 𝐉(𝖩x,𝖩y,𝖩z)𝐉subscript𝖩𝑥subscript𝖩𝑦subscript𝖩𝑧\mathbf{J}\equiv(\mathsf{J}_{x},\mathsf{J}_{y},\mathsf{J}_{z})bold_J ≡ ( sansserif_J start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , sansserif_J start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT , sansserif_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) with (𝖩i)jk=ϵijksubscriptsubscript𝖩𝑖𝑗𝑘subscriptitalic-ϵ𝑖𝑗𝑘(\mathsf{J}_{i})_{jk}=-\epsilon_{ijk}( sansserif_J start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_j italic_k end_POSTSUBSCRIPT = - italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT is the generator of the SO(3)SO3{\rm SO}(3)roman_SO ( 3 ) group. Especially, exp(Ωt𝖩z)Ω𝑡subscript𝖩𝑧\exp(\Omega t{\mathsf{J}}_{z})roman_exp ( roman_Ω italic_t sansserif_J start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) represents the rotation around the z𝑧zitalic_z-axis with a constant angular velocity ΩΩ\Omegaroman_Ω.

Consider the time–dependent unitary transformation

|ψ|ψ=U(t)|ψ,ket𝜓ketsuperscript𝜓𝑈𝑡ket𝜓|\psi\rangle\longrightarrow|\psi^{\prime}\rangle=U(t)|\psi\rangle,| italic_ψ ⟩ ⟶ | italic_ψ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ⟩ = italic_U ( italic_t ) | italic_ψ ⟩ , (4)

with

U(t)𝑈𝑡\displaystyle U(t)italic_U ( italic_t ) =exp[i0tdτΩ(τ)𝐧(τ)𝑳^]exp(im0tdτ𝜻˙τ22)absentsubscript𝑖superscriptsubscript0𝑡differential-d𝜏Ω𝜏𝐧𝜏^𝑳𝑖𝑚superscriptsubscript0𝑡differential-d𝜏superscriptsubscript˙𝜻𝜏22\displaystyle=\exp_{-}\bigg{[}i\int_{0}^{t}\!{\mathrm{d}}\tau\,\Omega(\tau){% \bf n}(\tau)\cdot\hat{\bm{L}}\bigg{]}\exp\bigg{(}\!-im\!\int_{0}^{t}\!{\mathrm% {d}}\tau\,\frac{\dot{\bm{\zeta}}_{\tau}^{2}}{2}\bigg{)}= roman_exp start_POSTSUBSCRIPT - end_POSTSUBSCRIPT [ italic_i ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_d italic_τ roman_Ω ( italic_τ ) bold_n ( italic_τ ) ⋅ over^ start_ARG bold_italic_L end_ARG ] roman_exp ( - italic_i italic_m ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_d italic_τ divide start_ARG over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG )
×exp(im𝜻˙t𝒓^)exp(i𝜻t𝒑^).absent𝑖𝑚subscript˙𝜻𝑡^𝒓𝑖subscript𝜻𝑡^𝒑\displaystyle\quad\times\exp\big{(}-im\dot{\bm{\zeta}}_{t}\cdot\hat{\bm{r}}% \big{)}\exp\big{(}i\bm{\zeta}_{t}\cdot\hat{\bm{p}}\big{)}.× roman_exp ( - italic_i italic_m over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⋅ over^ start_ARG bold_italic_r end_ARG ) roman_exp ( italic_i bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⋅ over^ start_ARG bold_italic_p end_ARG ) . (5)

Here, 𝑳^=𝒓^×𝒑^^𝑳^𝒓^𝒑\hat{\bm{L}}=\hat{\bm{r}}\times\hat{\bm{p}}over^ start_ARG bold_italic_L end_ARG = over^ start_ARG bold_italic_r end_ARG × over^ start_ARG bold_italic_p end_ARG is the angular momentum and expsubscript\exp_{-}roman_exp start_POSTSUBSCRIPT - end_POSTSUBSCRIPT denotes the exponential with anti-time-ordering, . The Hamiltonian transforms accordingly as

HH=UHU+iU˙U.𝐻superscript𝐻𝑈𝐻superscript𝑈𝑖˙𝑈superscript𝑈H\longrightarrow H^{\prime}=UHU^{\dagger}+i\dot{U}U^{\dagger}.italic_H ⟶ italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_U italic_H italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT + italic_i over˙ start_ARG italic_U end_ARG italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT . (6)

As a result, the new Hamiltonian reads

Hsuperscript𝐻\displaystyle H^{\prime}italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT =[𝖱t𝒑^e𝑨(𝒙^t,t)]22m+V0(𝒓^)+e[ϕ(𝒙^t,t)𝜻˙𝑨(𝒙^t,t)]absentsuperscriptdelimited-[]subscript𝖱𝑡^𝒑𝑒𝑨subscript^𝒙𝑡𝑡22𝑚subscript𝑉0^𝒓𝑒delimited-[]italic-ϕsubscript^𝒙𝑡𝑡˙𝜻𝑨subscript^𝒙𝑡𝑡\displaystyle=\frac{[\mathsf{R}_{t}\hat{\bm{p}}\!-\!e{\bm{A}}(\hat{\bm{x}}_{t}% ,t)]^{2}}{2m}\!+\!V_{0}(\hat{\bm{r}})+e[\phi(\hat{\bm{x}}_{t},t)-\!\dot{\bm{% \zeta}}\!\cdot{\bm{A}}(\hat{\bm{x}}_{t},t)]= divide start_ARG [ sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_p end_ARG - italic_e bold_italic_A ( over^ start_ARG bold_italic_x end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_t ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG + italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_r end_ARG ) + italic_e [ italic_ϕ ( over^ start_ARG bold_italic_x end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_t ) - over˙ start_ARG bold_italic_ζ end_ARG ⋅ bold_italic_A ( over^ start_ARG bold_italic_x end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_t ) ]
Ω(t)𝐧(t)[(𝖱t𝒓^)×(𝖱t𝒑^)]+m𝜻¨t(𝖱t𝒓^).Ω𝑡𝐧𝑡delimited-[]subscript𝖱𝑡^𝒓subscript𝖱𝑡^𝒑𝑚subscript¨𝜻𝑡subscript𝖱𝑡^𝒓\displaystyle\quad-\Omega(t){\bf n}(t)\cdot\big{[}(\mathsf{R}_{t}\hat{\bm{r}})% \times(\mathsf{R}_{t}\hat{\bm{p}})\big{]}+m\ddot{\bm{\zeta}}_{t}\cdot(\mathsf{% R}_{t}\hat{\bm{r}}).- roman_Ω ( italic_t ) bold_n ( italic_t ) ⋅ [ ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_r end_ARG ) × ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_p end_ARG ) ] + italic_m over¨ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⋅ ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_r end_ARG ) . (7)

where 𝒙^t𝖱t𝒓^+𝜻tsubscript^𝒙𝑡subscript𝖱𝑡^𝒓subscript𝜻𝑡\hat{\bm{x}}_{t}\equiv\mathsf{R}_{t}\hat{\bm{r}}+\bm{\zeta}_{t}over^ start_ARG bold_italic_x end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ≡ sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_r end_ARG + bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT. See detailed derivations in Appendix A.

II.2 Electromagnetic field transformation

The dynamics of the electromagnetic (EM) field in the non-inertial frame is governed by the covariant Maxwell’s equation,

F(x)μ;μν=0andFμν;λ+Fλμ;ν+Fνλ;μ=0.\displaystyle\tensor{F}{{}^{\mu}{}^{\nu}_{;\mu}}(x)=0\quad\text{and}\quad F_{% \mu\nu;\lambda}+F_{\lambda\mu;\nu}+F_{\nu\lambda;\mu}=0.over⃡ start_ARG italic_F end_ARG start_FLOATSUPERSCRIPT italic_μ end_FLOATSUPERSCRIPT start_FLOATSUPERSCRIPT italic_ν end_FLOATSUPERSCRIPT start_POSTSUBSCRIPT ; italic_μ end_POSTSUBSCRIPT ( italic_x ) = 0 and italic_F start_POSTSUBSCRIPT italic_μ italic_ν ; italic_λ end_POSTSUBSCRIPT + italic_F start_POSTSUBSCRIPT italic_λ italic_μ ; italic_ν end_POSTSUBSCRIPT + italic_F start_POSTSUBSCRIPT italic_ν italic_λ ; italic_μ end_POSTSUBSCRIPT = 0 . (8)

Here we define the covariant derivative as

V;νμV+,νμΓλνμVλ\displaystyle\tensor{V}{{}^{\mu}_{;\nu}}\equiv\tensor{V}{{}^{\mu}_{,\nu}}+% \Gamma^{\mu}_{\lambda\nu}V^{\lambda}over⃡ start_ARG italic_V end_ARG start_FLOATSUPERSCRIPT italic_μ end_FLOATSUPERSCRIPT start_POSTSUBSCRIPT ; italic_ν end_POSTSUBSCRIPT ≡ over⃡ start_ARG italic_V end_ARG start_FLOATSUPERSCRIPT italic_μ end_FLOATSUPERSCRIPT start_POSTSUBSCRIPT , italic_ν end_POSTSUBSCRIPT + roman_Γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_λ italic_ν end_POSTSUBSCRIPT italic_V start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT (9a)
and
Vμ;νVμ,νΓμνλVλ\displaystyle\tensor{V}{{}_{\mu}{}_{;\nu}}\equiv\tensor{V}{{}_{\mu}{}_{,\nu}}-% \Gamma^{\lambda}_{\mu\nu}V_{\lambda}over⃡ start_ARG italic_V end_ARG start_FLOATSUBSCRIPT italic_μ end_FLOATSUBSCRIPT start_FLOATSUBSCRIPT ; italic_ν end_FLOATSUBSCRIPT ≡ over⃡ start_ARG italic_V end_ARG start_FLOATSUBSCRIPT italic_μ end_FLOATSUBSCRIPT start_FLOATSUBSCRIPT , italic_ν end_FLOATSUBSCRIPT - roman_Γ start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT italic_V start_POSTSUBSCRIPT italic_λ end_POSTSUBSCRIPT (9b)
for any 4-vector Vμsuperscript𝑉𝜇V^{\mu}italic_V start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT and VμgμνVνsubscript𝑉𝜇subscript𝑔𝜇𝜈superscript𝑉𝜈V_{\mu}\equiv g_{\mu\nu}V^{\nu}italic_V start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ≡ italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT italic_V start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT with gμνsubscript𝑔𝜇𝜈g_{\mu\nu}italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT being the Riemann metric. In Eq. (II.2), we defines f,μ(x)xμf(x)f_{,\mu}(x)\equiv\frac{\partial}{\partial x^{\mu}}f(x)italic_f start_POSTSUBSCRIPT , italic_μ end_POSTSUBSCRIPT ( italic_x ) ≡ divide start_ARG ∂ end_ARG start_ARG ∂ italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT end_ARG italic_f ( italic_x ) for any function f(x)𝑓𝑥f(x)italic_f ( italic_x ) and the Christoffel connection
Γμνλ=12gλρ(gμρ,ν+gνρ,μgμν,ρ).subscriptsuperscriptΓ𝜆𝜇𝜈12superscript𝑔𝜆𝜌subscript𝑔𝜇𝜌𝜈subscript𝑔𝜈𝜌𝜇subscript𝑔𝜇𝜈𝜌\displaystyle\Gamma^{\lambda}_{\mu\nu}=\frac{1}{2}g^{\lambda\rho}(g_{\mu\rho,% \nu}+g_{\nu\rho,\mu}-g_{\mu\nu,\rho}).roman_Γ start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_g start_POSTSUPERSCRIPT italic_λ italic_ρ end_POSTSUPERSCRIPT ( italic_g start_POSTSUBSCRIPT italic_μ italic_ρ , italic_ν end_POSTSUBSCRIPT + italic_g start_POSTSUBSCRIPT italic_ν italic_ρ , italic_μ end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_μ italic_ν , italic_ρ end_POSTSUBSCRIPT ) . (10)

The Maxwell’s equation [Eq. (8)] enables us to introduce the 4-vector potential Aμ(ϕ,𝑨)superscript𝐴𝜇italic-ϕ𝑨A^{\mu}\equiv(\phi,\bm{A})italic_A start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ≡ ( italic_ϕ , bold_italic_A ), such that

Fμν=Aν;μAμ;ν=Aν,μAμ,ν,subscript𝐹𝜇𝜈subscript𝐴𝜈𝜇subscript𝐴𝜇𝜈subscript𝐴𝜈𝜇subscript𝐴𝜇𝜈\displaystyle F_{\mu\nu}=A_{\nu;\mu}-A_{\mu;\nu}=A_{\nu,\mu}-A_{\mu,\nu},italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT = italic_A start_POSTSUBSCRIPT italic_ν ; italic_μ end_POSTSUBSCRIPT - italic_A start_POSTSUBSCRIPT italic_μ ; italic_ν end_POSTSUBSCRIPT = italic_A start_POSTSUBSCRIPT italic_ν , italic_μ end_POSTSUBSCRIPT - italic_A start_POSTSUBSCRIPT italic_μ , italic_ν end_POSTSUBSCRIPT , (11)

where the second equality holds due to the symmetry Γμνλ=ΓνμλsubscriptsuperscriptΓ𝜆𝜇𝜈subscriptsuperscriptΓ𝜆𝜈𝜇\Gamma^{\lambda}_{\mu\nu}=\Gamma^{\lambda}_{\nu\mu}roman_Γ start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT = roman_Γ start_POSTSUPERSCRIPT italic_λ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν italic_μ end_POSTSUBSCRIPT. Consequently, we have

A;μν;μA+;μμ;νRAρρν=0.\displaystyle\tensor{A}{{}^{\nu}_{;\mu}{}^{;\mu}}-\tensor{A}{{}^{\mu}_{;\mu}{}% _{;\nu}}+\tensor{R}{{}_{\rho}{}_{\nu}}A^{\rho}=0.over⃡ start_ARG italic_A end_ARG start_FLOATSUPERSCRIPT italic_ν end_FLOATSUPERSCRIPT start_POSTSUBSCRIPT ; italic_μ end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT ; italic_μ end_FLOATSUPERSCRIPT - over⃡ start_ARG italic_A end_ARG start_FLOATSUPERSCRIPT italic_μ end_FLOATSUPERSCRIPT start_POSTSUBSCRIPT ; italic_μ end_POSTSUBSCRIPT start_FLOATSUBSCRIPT ; italic_ν end_FLOATSUBSCRIPT + over⃡ start_ARG italic_R end_ARG start_FLOATSUBSCRIPT italic_ρ end_FLOATSUBSCRIPT start_FLOATSUBSCRIPT italic_ν end_FLOATSUBSCRIPT italic_A start_POSTSUPERSCRIPT italic_ρ end_POSTSUPERSCRIPT = 0 . (12)

Besides, the gauge condition is applied together to determine the dynamics of the 4-vector potential.

We consider the transformation as

t~=tand𝒓~=𝖱~t1(𝒓𝜻~t)formulae-sequence~𝑡𝑡and~𝒓superscriptsubscript~𝖱𝑡1𝒓subscript~𝜻𝑡\displaystyle\widetilde{t}=t\quad\text{and}\quad\widetilde{\bm{r}}=\widetilde{% \mathsf{R}}_{t}^{-1}({\bm{r}}-\widetilde{\bm{\zeta}}_{t})over~ start_ARG italic_t end_ARG = italic_t and over~ start_ARG bold_italic_r end_ARG = over~ start_ARG sansserif_R end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( bold_italic_r - over~ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) (13)

with gμν(𝒓,t)=gμν(x)=ημνsubscript𝑔𝜇𝜈𝒓𝑡subscript𝑔𝜇𝜈𝑥subscript𝜂𝜇𝜈g_{\mu\nu}(\bm{r},t)=g_{\mu\nu}(x)=\eta_{\mu\nu}italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT ( bold_italic_r , italic_t ) = italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT ( italic_x ) = italic_η start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT. The 4-vector potential transforms as

A~0(x~)=A0(x),𝑨~(x~)=𝖱~t1𝑨(x)+[𝖱~˙t(𝒓𝜻~t)1𝖱~t1𝜻~˙t]A0(x).\displaystyle\begin{split}\widetilde{A}^{0}(\widetilde{x})&=A^{0}(x),\\ \widetilde{\bm{A}}(\widetilde{x})&=\widetilde{\mathsf{R}}^{-1}_{t}\bm{A}(x)+% \big{[}\dot{\widetilde{\mathsf{R}}}_{t}{}^{\!\!-1}(\bm{r}-\widetilde{\bm{\zeta% }}_{t})-\widetilde{\mathsf{R}}_{t}^{-1}\dot{\widetilde{\bm{\zeta}}}_{t}\big{]}% A^{0}(x).\end{split}start_ROW start_CELL over~ start_ARG italic_A end_ARG start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( over~ start_ARG italic_x end_ARG ) end_CELL start_CELL = italic_A start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( italic_x ) , end_CELL end_ROW start_ROW start_CELL over~ start_ARG bold_italic_A end_ARG ( over~ start_ARG italic_x end_ARG ) end_CELL start_CELL = over~ start_ARG sansserif_R end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT bold_italic_A ( italic_x ) + [ over˙ start_ARG over~ start_ARG sansserif_R end_ARG end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_FLOATSUPERSCRIPT - 1 end_FLOATSUPERSCRIPT ( bold_italic_r - over~ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) - over~ start_ARG sansserif_R end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT over˙ start_ARG over~ start_ARG bold_italic_ζ end_ARG end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ] italic_A start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( italic_x ) . end_CELL end_ROW (14)

Special cases include:

  1. 1.

    If the field is comoving with the particle, 𝖱~t=𝖱tsubscript~𝖱𝑡subscript𝖱𝑡\tilde{\mathsf{R}}_{t}=\mathsf{R}_{t}over~ start_ARG sansserif_R end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT, 𝜻~t=𝜻tsubscript~𝜻𝑡subscript𝜻𝑡\tilde{\bm{\zeta}}_{t}=\bm{\zeta}_{t}over~ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT, leading to 𝒓~=𝒓~𝒓superscript𝒓\tilde{\bm{r}}={\bm{r}}^{\prime}over~ start_ARG bold_italic_r end_ARG = bold_italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT [cf. Eq. (2)];

  2. 2.

    If the field is static, 𝖱~t=I^subscript~𝖱𝑡^𝐼\tilde{\mathsf{R}}_{t}=\hat{I}over~ start_ARG sansserif_R end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = over^ start_ARG italic_I end_ARG, 𝜻~t=0subscript~𝜻𝑡0\tilde{\bm{\zeta}}_{t}={0}over~ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = 0, leading to 𝒓~=𝒓~𝒓𝒓\tilde{\bm{r}}={\bm{r}}over~ start_ARG bold_italic_r end_ARG = bold_italic_r.

In this work, we quantize the electromagnetic field under the Coulomb gauge, reading

~𝑨~(𝒓~,t)=0.~bold-∇~𝑨~𝒓𝑡0\displaystyle\widetilde{\bm{\nabla}}\cdot\widetilde{\bm{A}}(\widetilde{\bm{r}}% ,t)=0.over~ start_ARG bold_∇ end_ARG ⋅ over~ start_ARG bold_italic_A end_ARG ( over~ start_ARG bold_italic_r end_ARG , italic_t ) = 0 . (15)

This leads to ϕ~(𝒓~,t)=0~italic-ϕ~𝒓𝑡0\widetilde{\phi}(\widetilde{\bm{r}},t)=0over~ start_ARG italic_ϕ end_ARG ( over~ start_ARG bold_italic_r end_ARG , italic_t ) = 0 and

𝑨~(𝒓~,t);μ;μ=0.\displaystyle\tensor{\widetilde{\bm{A}}}{{}_{;\mu}^{;\mu}}(\widetilde{\bm{r}},% t)=0.over⃡ start_ARG over~ start_ARG bold_italic_A end_ARG end_ARG start_FLOATSUBSCRIPT ; italic_μ end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT ; italic_μ end_POSTSUPERSCRIPT ( over~ start_ARG bold_italic_r end_ARG , italic_t ) = 0 . (16)

The general solution of Eq. (16) allows us to quantize the vector potential as

𝑨~(𝒓~,t)~𝑨~𝒓𝑡\displaystyle\!\!\!\widetilde{\bm{A}}(\tilde{\bm{r}},t)over~ start_ARG bold_italic_A end_ARG ( over~ start_ARG bold_italic_r end_ARG , italic_t ) =k,sZ¯kϵks(a^kseiωkt+i𝒌𝒓~+a^kseiωkti𝒌𝒓~).absentsubscript𝑘𝑠subscript¯𝑍𝑘superscriptsubscriptbold-italic-ϵ𝑘𝑠superscriptsubscript^𝑎𝑘𝑠superscripte𝑖subscript𝜔𝑘𝑡𝑖𝒌~𝒓subscriptsuperscript^𝑎𝑠𝑘superscripte𝑖subscript𝜔𝑘𝑡𝑖𝒌~𝒓\displaystyle=\!\sum_{k,s}\bar{Z}_{k}{\bm{\epsilon}}_{k}^{s}\Big{(}\hat{a}_{k}% ^{s}{\mathrm{e}}^{-i\omega_{k}t+i{\bm{k}}\cdot\tilde{\bm{r}}}+\hat{a}^{s% \dagger}_{k}{\mathrm{e}}^{i\omega_{k}t-i{\bm{k}}\cdot\tilde{\bm{r}}}\Big{)}.= ∑ start_POSTSUBSCRIPT italic_k , italic_s end_POSTSUBSCRIPT over¯ start_ARG italic_Z end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT bold_italic_ϵ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ( over^ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT roman_e start_POSTSUPERSCRIPT - italic_i italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_t + italic_i bold_italic_k ⋅ over~ start_ARG bold_italic_r end_ARG end_POSTSUPERSCRIPT + over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT italic_s † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT roman_e start_POSTSUPERSCRIPT italic_i italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_t - italic_i bold_italic_k ⋅ over~ start_ARG bold_italic_r end_ARG end_POSTSUPERSCRIPT ) . (17)

Here, Z¯ksubscript¯𝑍𝑘\bar{Z}_{k}over¯ start_ARG italic_Z end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is the normalization constant, s=1,2𝑠12s=1,2italic_s = 1 , 2 labels the two polarizing states of photon, and ϵ𝒌ssuperscriptsubscriptbold-italic-ϵ𝒌𝑠{\bm{\epsilon}_{\bm{k}}^{s}}bold_italic_ϵ start_POSTSUBSCRIPT bold_italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT are the polarization vectors perpendicular to the wave vector 𝒌𝒌{\bm{k}}bold_italic_k. Note that we can determine Z¯ksubscript¯𝑍𝑘\bar{Z}_{k}over¯ start_ARG italic_Z end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT in Eq. (16) via the canonical quantization condition. Substituting Eq. (17) into Eq. (16), we can obtain the dispersion relation ω𝒌subscript𝜔𝒌\omega_{\bm{k}}italic_ω start_POSTSUBSCRIPT bold_italic_k end_POSTSUBSCRIPT. One may directly apply the discussions and results of this subsection to other types of environments such as phonons.

III Non-inertial effects in open quantum systems

III.1 Total Hamiltonian with non-inertial motion

Combining the results in Sec. II, we arrive at the total system–plus–bath composite Hamiltonian, reading

H=HS+HSEsuperscript𝐻subscript𝐻Ssubscript𝐻SE\displaystyle H^{\prime}=H_{\mbox{\tiny S}}+H_{\mbox{\tiny S}\mbox{\tiny E}}italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_H start_POSTSUBSCRIPT S end_POSTSUBSCRIPT + italic_H start_POSTSUBSCRIPT roman_S roman_E end_POSTSUBSCRIPT (18)

with the system Hamiltonian and the system–environment interaction being

HS=𝒑^22m+V0(𝒓^)Ω(t)𝐧(t)𝖱t𝑳^+m𝜻¨t(𝖱t𝒓^)subscript𝐻Ssuperscript^𝒑22𝑚subscript𝑉0^𝒓Ω𝑡𝐧𝑡subscript𝖱𝑡^𝑳𝑚subscript¨𝜻𝑡subscript𝖱𝑡^𝒓\displaystyle H_{\mbox{\tiny S}}=\frac{\hat{\bm{p}}^{2}}{2m}+V_{0}(\hat{\bm{r}% })-\Omega(t){\bf n}(t)\cdot\mathsf{R}_{t}\hat{\bm{L}}+m\ddot{\bm{\zeta}}_{t}% \cdot(\mathsf{R}_{t}\hat{\bm{r}})italic_H start_POSTSUBSCRIPT S end_POSTSUBSCRIPT = divide start_ARG over^ start_ARG bold_italic_p end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG + italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_r end_ARG ) - roman_Ω ( italic_t ) bold_n ( italic_t ) ⋅ sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_L end_ARG + italic_m over¨ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⋅ ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_r end_ARG ) (19)

and

HSE=e𝖱~t1(𝖱t𝒑^m+𝜻˙t)𝑨~(𝖱~t1(𝖱t𝒓^+𝜻t𝜻~t)),subscript𝐻SE𝑒superscriptsubscript~𝖱𝑡1subscript𝖱𝑡^𝒑𝑚subscript˙𝜻𝑡~𝑨superscriptsubscript~𝖱𝑡1subscript𝖱𝑡^𝒓subscript𝜻𝑡subscript~𝜻𝑡H_{\mbox{\tiny S}\mbox{\tiny E}}=-e\tilde{\mathsf{R}}_{t}^{-1}\bigg{(}\frac{% \mathsf{R}_{t}\hat{\bm{p}}}{m}+\dot{\bm{\zeta}}_{t}\bigg{)}\cdot\widetilde{\bm% {A}}\big{(}\tilde{\mathsf{R}}_{t}^{-1}(\mathsf{R}_{t}\hat{\bm{r}}+\bm{\zeta}_{% t}-\tilde{\bm{\zeta}}_{t})\big{)},italic_H start_POSTSUBSCRIPT roman_S roman_E end_POSTSUBSCRIPT = - italic_e over~ start_ARG sansserif_R end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( divide start_ARG sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_p end_ARG end_ARG start_ARG italic_m end_ARG + over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) ⋅ over~ start_ARG bold_italic_A end_ARG ( over~ start_ARG sansserif_R end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_r end_ARG + bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - over~ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) ) , (20)

respectively. Here, we express Hsuperscript𝐻H^{\prime}italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT in the environment Hamiltonian HEsubscript𝐻EH_{\mbox{\tiny E}}italic_H start_POSTSUBSCRIPT E end_POSTSUBSCRIPT-interaction picture and we ignore the terms with order of e2superscript𝑒2e^{2}italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. We further adopt the long wavelength approximation for the EM field, i.e., 𝒌𝒓~1much-less-than𝒌~𝒓1{\bm{k}}\cdot\tilde{\bm{r}}\ll 1bold_italic_k ⋅ over~ start_ARG bold_italic_r end_ARG ≪ 1. This leads to

𝑨~(𝒓~,t)~𝑨~𝒓𝑡\displaystyle\widetilde{\bm{A}}(\tilde{\bm{r}},t)over~ start_ARG bold_italic_A end_ARG ( over~ start_ARG bold_italic_r end_ARG , italic_t ) k,sZ¯kϵks(a^kseiωkt+a^kseiωkt),similar-to-or-equalsabsentsubscript𝑘𝑠subscript¯𝑍𝑘superscriptsubscriptbold-italic-ϵ𝑘𝑠superscriptsubscript^𝑎𝑘𝑠superscripte𝑖subscript𝜔𝑘𝑡subscriptsuperscript^𝑎𝑠𝑘superscripte𝑖subscript𝜔𝑘𝑡\displaystyle\simeq\sum_{k,s}\bar{Z}_{k}{\bm{\epsilon}}_{k}^{s}\Big{(}\hat{a}_% {k}^{s}{\mathrm{e}}^{-i\omega_{k}t}+\hat{a}^{s\dagger}_{k}{\mathrm{e}}^{i% \omega_{k}t}\Big{)},≃ ∑ start_POSTSUBSCRIPT italic_k , italic_s end_POSTSUBSCRIPT over¯ start_ARG italic_Z end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT bold_italic_ϵ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT ( over^ start_ARG italic_a end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT roman_e start_POSTSUPERSCRIPT - italic_i italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT + over^ start_ARG italic_a end_ARG start_POSTSUPERSCRIPT italic_s † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT roman_e start_POSTSUPERSCRIPT italic_i italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT ) , (21)

which is independent of the coordinate.

III.2 Spectral density

This subsection gives a comprehensive account on the settings of open quantum system and calculates the environment spectral density. By using the long wavelength approximation, Eq. (20) can be recast into

HSEsubscript𝐻SE\displaystyle H_{\mbox{\tiny S}\mbox{\tiny E}}italic_H start_POSTSUBSCRIPT roman_S roman_E end_POSTSUBSCRIPT =𝑸^(t)𝑨~(t),absent^𝑸𝑡~𝑨𝑡\displaystyle=-\hat{\bm{Q}}(t)\cdot\widetilde{\bm{A}}(t),= - over^ start_ARG bold_italic_Q end_ARG ( italic_t ) ⋅ over~ start_ARG bold_italic_A end_ARG ( italic_t ) , (22)

where we denote 𝑸^(t)e𝖱~t1(𝖱t𝒑^m+𝜻˙)^𝑸𝑡𝑒superscriptsubscript~𝖱𝑡1subscript𝖱𝑡^𝒑𝑚˙𝜻\hat{\bm{Q}}(t)\equiv e\tilde{\mathsf{R}}_{t}^{-1}\Big{(}\frac{\mathsf{R}_{t}% \hat{\bm{p}}}{m}+\dot{\bm{\zeta}}\Big{)}over^ start_ARG bold_italic_Q end_ARG ( italic_t ) ≡ italic_e over~ start_ARG sansserif_R end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( divide start_ARG sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_p end_ARG end_ARG start_ARG italic_m end_ARG + over˙ start_ARG bold_italic_ζ end_ARG ). The environmental influence on the system is fully characterized by the autocorrelation functions of the vector potential:

Cij(t)A~i(t)A~j(0)E,subscript𝐶𝑖𝑗𝑡subscriptdelimited-⟨⟩subscript~𝐴𝑖𝑡subscript~𝐴𝑗0E\begin{split}C_{ij}(t)\equiv\langle{\widetilde{A}}_{i}(t){\widetilde{A}}_{j}(0% )\rangle_{\mbox{\tiny E}},\end{split}start_ROW start_CELL italic_C start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_t ) ≡ ⟨ over~ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) over~ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( 0 ) ⟩ start_POSTSUBSCRIPT E end_POSTSUBSCRIPT , end_CELL end_ROW (23)

where A~isubscript~𝐴𝑖\widetilde{A}_{i}over~ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT represents the i𝑖iitalic_i-component of 𝑨~~𝑨\widetilde{\bm{A}}over~ start_ARG bold_italic_A end_ARG in a particular spatial coordinate system. For example, i=r𝑖𝑟i=ritalic_i = italic_r, θ𝜃\thetaitalic_θ, z𝑧zitalic_z in the cylindrical coordinate system. Here, ()EtrE[()ρE0]=trE[()eβhE/ZE]subscriptdelimited-⟨⟩EsubscripttrEdelimited-[]subscriptsuperscript𝜌0EsubscripttrEdelimited-[]superscript𝑒𝛽subscriptEsubscript𝑍E\langle(\,\cdot\,)\rangle_{\mbox{\tiny E}}\equiv{\rm tr}_{\mbox{\tiny E}}[(\,% \cdot\,)\rho^{0}_{\mbox{\tiny E}}]={\rm tr}_{\mbox{\tiny E}}[(\cdot)e^{-\beta h% _{\mbox{\tiny E}}}/Z_{\mbox{\tiny E}}]⟨ ( ⋅ ) ⟩ start_POSTSUBSCRIPT E end_POSTSUBSCRIPT ≡ roman_tr start_POSTSUBSCRIPT E end_POSTSUBSCRIPT [ ( ⋅ ) italic_ρ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT E end_POSTSUBSCRIPT ] = roman_tr start_POSTSUBSCRIPT E end_POSTSUBSCRIPT [ ( ⋅ ) italic_e start_POSTSUPERSCRIPT - italic_β italic_h start_POSTSUBSCRIPT E end_POSTSUBSCRIPT end_POSTSUPERSCRIPT / italic_Z start_POSTSUBSCRIPT E end_POSTSUBSCRIPT ] with ZEtrE(eβhE)subscript𝑍EsubscripttrEsuperscript𝑒𝛽subscriptEZ_{\mbox{\tiny E}}\equiv{\rm tr}_{\mbox{\tiny E}}(e^{-\beta h_{\mbox{\tiny E}}})italic_Z start_POSTSUBSCRIPT E end_POSTSUBSCRIPT ≡ roman_tr start_POSTSUBSCRIPT E end_POSTSUBSCRIPT ( italic_e start_POSTSUPERSCRIPT - italic_β italic_h start_POSTSUBSCRIPT E end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ).

Or equivalently, it can be characterized by the environment spectral density:

Jij(ω)subscript𝐽𝑖𝑗𝜔\displaystyle\!\!\!\!\!J_{ij}(\omega)italic_J start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_ω ) 12dteiωt[A~i(t),A~j(0)]Eabsent12subscriptsuperscriptdifferential-d𝑡superscript𝑒𝑖𝜔𝑡subscriptdelimited-⟨⟩subscript~𝐴𝑖𝑡subscript~𝐴𝑗0E\displaystyle\equiv\frac{1}{2}\int^{\infty}_{-\infty}{\mathrm{d}}t\,e^{i\omega t% }\langle[\widetilde{A}_{i}(t),\widetilde{A}_{j}(0)]\rangle_{\mbox{\tiny E}}≡ divide start_ARG 1 end_ARG start_ARG 2 end_ARG ∫ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - ∞ end_POSTSUBSCRIPT roman_d italic_t italic_e start_POSTSUPERSCRIPT italic_i italic_ω italic_t end_POSTSUPERSCRIPT ⟨ [ over~ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) , over~ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( 0 ) ] ⟩ start_POSTSUBSCRIPT E end_POSTSUBSCRIPT
=πksZ¯k2ϵkisϵkjs[δ(ωωk)δ(ω+ωk)].absent𝜋subscript𝑘𝑠superscriptsubscript¯𝑍𝑘2superscriptsubscriptitalic-ϵ𝑘𝑖𝑠superscriptsubscriptitalic-ϵ𝑘𝑗𝑠delimited-[]𝛿𝜔subscript𝜔𝑘𝛿𝜔subscript𝜔𝑘\displaystyle=\pi\sum_{ks}\bar{Z}_{k}^{2}{\epsilon}_{ki}^{s}{\epsilon}_{kj}^{s% }\Big{[}\delta(\omega-\omega_{k})-\delta(\omega+\omega_{k})\Big{]}.= italic_π ∑ start_POSTSUBSCRIPT italic_k italic_s end_POSTSUBSCRIPT over¯ start_ARG italic_Z end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_k italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_k italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT [ italic_δ ( italic_ω - italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) - italic_δ ( italic_ω + italic_ω start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) ] . (24)

Here, ()EtrE[()ρE0]=trE[()eβhE/ZE]subscriptdelimited-⟨⟩EsubscripttrEdelimited-[]subscriptsuperscript𝜌0EsubscripttrEdelimited-[]superscript𝑒𝛽subscriptEsubscript𝑍E\langle(\,\cdot\,)\rangle_{\mbox{\tiny E}}\equiv{\rm tr}_{\mbox{\tiny E}}[(\,% \cdot\,)\rho^{0}_{\mbox{\tiny E}}]={\rm tr}_{\mbox{\tiny E}}[(\cdot)e^{-\beta h% _{\mbox{\tiny E}}}/Z_{\mbox{\tiny E}}]⟨ ( ⋅ ) ⟩ start_POSTSUBSCRIPT E end_POSTSUBSCRIPT ≡ roman_tr start_POSTSUBSCRIPT E end_POSTSUBSCRIPT [ ( ⋅ ) italic_ρ start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT E end_POSTSUBSCRIPT ] = roman_tr start_POSTSUBSCRIPT E end_POSTSUBSCRIPT [ ( ⋅ ) italic_e start_POSTSUPERSCRIPT - italic_β italic_h start_POSTSUBSCRIPT E end_POSTSUBSCRIPT end_POSTSUPERSCRIPT / italic_Z start_POSTSUBSCRIPT E end_POSTSUBSCRIPT ] with ZEtrE(eβhE)subscript𝑍EsubscripttrEsuperscript𝑒𝛽subscriptEZ_{\mbox{\tiny E}}\equiv{\rm tr}_{\mbox{\tiny E}}(e^{-\beta h_{\mbox{\tiny E}}})italic_Z start_POSTSUBSCRIPT E end_POSTSUBSCRIPT ≡ roman_tr start_POSTSUBSCRIPT E end_POSTSUBSCRIPT ( italic_e start_POSTSUPERSCRIPT - italic_β italic_h start_POSTSUBSCRIPT E end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ). They satisfy the positivity relations, Jii(ω)/ω0subscript𝐽𝑖𝑖𝜔𝜔0J_{ii}(\omega)/\omega\geq 0italic_J start_POSTSUBSCRIPT italic_i italic_i end_POSTSUBSCRIPT ( italic_ω ) / italic_ω ≥ 0 and |Jij(ω)|2Jii(ω)Jjj(ω)superscriptsubscript𝐽𝑖𝑗𝜔2subscript𝐽𝑖𝑖𝜔subscript𝐽𝑗𝑗𝜔|J_{ij}(\omega)|^{2}\leq J_{ii}(\omega)J_{jj}(\omega)| italic_J start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_ω ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ italic_J start_POSTSUBSCRIPT italic_i italic_i end_POSTSUBSCRIPT ( italic_ω ) italic_J start_POSTSUBSCRIPT italic_j italic_j end_POSTSUBSCRIPT ( italic_ω ), and the symmetry relations,

Jij(ω)=Jij(ω)=Jji(ω).subscriptsuperscript𝐽𝑖𝑗𝜔subscript𝐽𝑖𝑗𝜔subscript𝐽𝑗𝑖𝜔J^{\ast}_{ij}(\omega)=-J_{ij}(-\omega)=J_{ji}(\omega).italic_J start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_ω ) = - italic_J start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( - italic_ω ) = italic_J start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT ( italic_ω ) . (25)

Together with the detailed balance relation, one can readily obtain [51, 2, 52]

A~i(t)A~j(0)E=1πdωeiωtJij(ω)1eβω.subscriptdelimited-⟨⟩subscript~𝐴𝑖𝑡subscript~𝐴𝑗0E1𝜋subscriptsuperscriptdifferential-d𝜔superscript𝑒𝑖𝜔𝑡subscript𝐽𝑖𝑗𝜔1superscript𝑒𝛽𝜔\langle{\widetilde{A}}_{i}(t){\widetilde{A}}_{j}(0)\rangle_{\mbox{\tiny E}}=% \frac{1}{\pi}\int^{\infty}_{-\infty}\!\!{\mathrm{d}}\omega\frac{e^{-i\omega t}% J_{ij}(\omega)}{1-e^{-\beta\omega}}.⟨ over~ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) over~ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( 0 ) ⟩ start_POSTSUBSCRIPT E end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_π end_ARG ∫ start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - ∞ end_POSTSUBSCRIPT roman_d italic_ω divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_i italic_ω italic_t end_POSTSUPERSCRIPT italic_J start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_ω ) end_ARG start_ARG 1 - italic_e start_POSTSUPERSCRIPT - italic_β italic_ω end_POSTSUPERSCRIPT end_ARG . (26)

This is the bosonic fluctuation–dissipation theorem, which relates the bath correlation function to the spectral density function.

According to expression of HSE(II)(t)superscriptsubscript𝐻SEII𝑡H_{\mbox{\tiny S}\mbox{\tiny E}}^{(\rm II)}(t)italic_H start_POSTSUBSCRIPT roman_S roman_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( roman_II ) end_POSTSUPERSCRIPT ( italic_t ), the bath can be seen as driven by an external classical field, 𝖱~t1𝜻˙superscriptsubscript~𝖱𝑡1˙𝜻\tilde{\mathsf{R}}_{t}^{-1}\dot{\bm{\zeta}}over~ start_ARG sansserif_R end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT over˙ start_ARG bold_italic_ζ end_ARG.

III.3 Dissipaton theory: An exact framework

The HEOM starts with an exponential expansion of Eq. (23),

Cij(t)=κ=1Kηijκeγκt,subscript𝐶𝑖𝑗𝑡superscriptsubscript𝜅1𝐾subscript𝜂𝑖𝑗𝜅superscript𝑒subscript𝛾𝜅𝑡C_{ij}(t)=\sum_{\kappa=1}^{K}\eta_{ij\kappa}e^{-\gamma_{\kappa}t},italic_C start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_t ) = ∑ start_POSTSUBSCRIPT italic_κ = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT italic_η start_POSTSUBSCRIPT italic_i italic_j italic_κ end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_γ start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT , (27)

where we set γijκ=γκsubscript𝛾𝑖𝑗𝜅subscript𝛾𝜅\gamma_{ij\kappa}=\gamma_{\kappa}italic_γ start_POSTSUBSCRIPT italic_i italic_j italic_κ end_POSTSUBSCRIPT = italic_γ start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT for simplicity. This can generally be achieved via certain sum–over–poles expansion on the Fourier integrand of Eq. (26), followed by the Cauchy’s contour integration in the low–half plane.

From the definition of Eq. (23), we obtain the Time-reversal relation,

Cji(t)=[Cij(t)]*=κ=1Kηijκ*eγκ*t=κ=1Kηijκ¯*eγκ¯t.subscript𝐶𝑗𝑖𝑡superscriptdelimited-[]subscript𝐶𝑖𝑗𝑡superscriptsubscript𝜅1𝐾superscriptsubscript𝜂𝑖𝑗𝜅superscript𝑒superscriptsubscript𝛾𝜅𝑡superscriptsubscript𝜅1𝐾superscriptsubscript𝜂𝑖𝑗¯𝜅superscript𝑒subscript𝛾¯𝜅𝑡\displaystyle C_{ji}(-t)=[C_{ij}(t)]^{*}=\sum_{\kappa=1}^{K}\eta_{ij\kappa}^{*% }e^{-\gamma_{\kappa}^{*}t}=\sum_{\kappa=1}^{K}\eta_{ij\bar{\kappa}}^{*}e^{-% \gamma_{\bar{\kappa}}t}.italic_C start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT ( - italic_t ) = [ italic_C start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( italic_t ) ] start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_κ = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT italic_η start_POSTSUBSCRIPT italic_i italic_j italic_κ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_γ start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_κ = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT italic_η start_POSTSUBSCRIPT italic_i italic_j over¯ start_ARG italic_κ end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_γ start_POSTSUBSCRIPT over¯ start_ARG italic_κ end_ARG end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT . (28)

The DEOM theory explicitly identifies all involved dynamical variables, {ρ𝐧(n)(t)}subscriptsuperscript𝜌𝑛𝐧𝑡\{\rho^{(n)}_{\textbf{n}}(t)\}{ italic_ρ start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT n end_POSTSUBSCRIPT ( italic_t ) }, as follows. First of all, according to the Gaussian–Wick’s thermodynamics theorem [52, 51], the influences of the linearly coupled bath environment are completely characterized by the bare bath correlation functions, Eqs. (27) and (28). Consider now the dissipaton decomposition on the hybridization bath operator [48, 53],

A~i=κ=1Kf^iκ.subscript~𝐴𝑖superscriptsubscript𝜅1𝐾subscript^𝑓𝑖𝜅\widetilde{A}_{i}=\sum_{\kappa=1}^{K}\hat{f}_{i\kappa}.over~ start_ARG italic_A end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_κ = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT . (29)

The involving dissipatons that recover Eqs. (27) and (28) are statistically independent quasi–particles, with [48, 53]

f^iκ(t)f^jκ(0)B=δκκηijκeγκt,f^jκ(0)f^iκ(t)B=δκκηijκ¯eγκt.formulae-sequencesubscriptdelimited-⟨⟩subscript^𝑓𝑖𝜅𝑡subscript^𝑓𝑗superscript𝜅0Bsubscript𝛿𝜅superscript𝜅subscript𝜂𝑖𝑗𝜅superscript𝑒subscript𝛾𝜅𝑡subscriptdelimited-⟨⟩subscript^𝑓𝑗superscript𝜅0subscript^𝑓𝑖𝜅𝑡Bsubscript𝛿𝜅superscript𝜅subscriptsuperscript𝜂𝑖𝑗¯𝜅superscript𝑒subscript𝛾𝜅𝑡\begin{split}\langle\hat{f}_{i\kappa}(t)\hat{f}_{j\kappa^{\prime}}(0)\rangle_{% \mbox{\tiny B}}&=\delta_{\kappa\kappa^{\prime}}\eta_{ij\kappa}e^{-\gamma_{% \kappa}t},\\ \langle\hat{f}_{j\kappa^{\prime}}(0)\hat{f}_{i\kappa}(t)\rangle_{\mbox{\tiny B% }}&=\delta_{\kappa\kappa^{\prime}}\eta^{\ast}_{ij{\bar{\kappa}}}e^{-\gamma_{% \kappa}t}.\end{split}start_ROW start_CELL ⟨ over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ( italic_t ) over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( 0 ) ⟩ start_POSTSUBSCRIPT B end_POSTSUBSCRIPT end_CELL start_CELL = italic_δ start_POSTSUBSCRIPT italic_κ italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT italic_i italic_j italic_κ end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_γ start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT , end_CELL end_ROW start_ROW start_CELL ⟨ over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( 0 ) over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ( italic_t ) ⟩ start_POSTSUBSCRIPT B end_POSTSUBSCRIPT end_CELL start_CELL = italic_δ start_POSTSUBSCRIPT italic_κ italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j over¯ start_ARG italic_κ end_ARG end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_γ start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT italic_t end_POSTSUPERSCRIPT . end_CELL end_ROW (30)

The above expressions, where t>0𝑡0t>0italic_t > 0, highlight the basic feature of dissipatons, whose forward and backward correlations functions in the bare bath ensemble share a common exponent. This feature leads to the generalized diffusion equation [48, 53],

trB[(tf^iκ)BρT(t)]=γκtrB[f^iκρT(t)].subscripttrBdelimited-[]subscript𝑡subscript^𝑓𝑖𝜅Bsubscript𝜌T𝑡subscript𝛾𝜅subscripttrBdelimited-[]subscript^𝑓𝑖𝜅subscript𝜌T𝑡{\rm tr}_{\mbox{\tiny B}}\Big{[}\Big{(}\frac{\partial}{\partial t}\hat{f}_{i% \kappa}\Big{)}_{\mbox{\tiny B}}\rho_{\mbox{\tiny T}}(t)\Big{]}=-\gamma_{\kappa% }\,{\rm tr}_{\mbox{\tiny B}}\big{[}\hat{f}_{i\kappa}\rho_{\mbox{\tiny T}}(t)% \big{]}.roman_tr start_POSTSUBSCRIPT B end_POSTSUBSCRIPT [ ( divide start_ARG ∂ end_ARG start_ARG ∂ italic_t end_ARG over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT B end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT ( italic_t ) ] = - italic_γ start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT roman_tr start_POSTSUBSCRIPT B end_POSTSUBSCRIPT [ over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT ( italic_t ) ] . (31)

While γκsubscript𝛾𝜅\gamma_{\kappa}italic_γ start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT can be complex, the total composite ρT(t)subscript𝜌T𝑡\rho_{\mbox{\tiny T}}(t)italic_ρ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT ( italic_t ) is non-Gaussian in general.

The dynamical variables in DEOM are called the dissipaton density operators (DDOs), defined as [48, 53]:

ρ𝐧(n)(t)trB[(iκf^iκniκ)ρT(t)].subscriptsuperscript𝜌𝑛𝐧𝑡subscripttrBdelimited-[]superscriptsubscriptproduct𝑖𝜅subscriptsuperscript^𝑓subscript𝑛𝑖𝜅𝑖𝜅subscript𝜌T𝑡\rho^{(n)}_{\textbf{n}}(t)\equiv{\rm tr}_{\mbox{\tiny B}}\Big{[}\Big{(}\prod_{% i\kappa}\hat{f}^{n_{i\kappa}}_{i\kappa}\Big{)}^{\circ}\rho_{\mbox{\tiny T}}(t)% \Big{]}.italic_ρ start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT n end_POSTSUBSCRIPT ( italic_t ) ≡ roman_tr start_POSTSUBSCRIPT B end_POSTSUBSCRIPT [ ( ∏ start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT italic_ρ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT ( italic_t ) ] . (32)

Here, n=iκniκ𝑛subscript𝑖𝜅subscript𝑛𝑖𝜅n=\sum_{i\kappa}n_{i\kappa}italic_n = ∑ start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT and 𝐧={niκ}𝐧subscript𝑛𝑖𝜅\textbf{n}=\{n_{i\kappa}\}n = { italic_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT } that is an ordered set of the occupation numbers, niκ=0,1,subscript𝑛𝑖𝜅01n_{i\kappa}=0,1,\cdotsitalic_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT = 0 , 1 , ⋯, on individual dissipatons. The circled parentheses, ()superscript(\cdots)^{\circ}( ⋯ ) start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT, is irreducible notation, so that all the c𝑐citalic_c-numbers in the normal ordering of dissipatons product vanish. For bosonic dissipatons it follows that (f^iκf^jκ)=(f^jκf^iκ)superscriptsubscript^𝑓𝑖𝜅subscript^𝑓𝑗superscript𝜅superscriptsubscript^𝑓𝑗superscript𝜅subscript^𝑓𝑖𝜅(\hat{f}_{i\kappa}\hat{f}_{j\kappa^{\prime}})^{\circ}=(\hat{f}_{j\kappa^{% \prime}}\hat{f}_{i\kappa})^{\circ}( over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT = ( over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT. In other words, the irreducible product of dissipatons inside ()superscript(\cdots)^{\circ}( ⋯ ) start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT in Eq. (32) resembles the second–quantization representation of a bosonic permanent. The DDOs for fermionic coupled environment are similar, but resemble a Slater determinant, having the occupation number of 00 or 1111 only, due to the antisymmetric permutation relation [48, 53]. Therefore, ρ𝐧(n)(t)subscriptsuperscript𝜌𝑛𝐧𝑡\rho^{(n)}_{\textbf{n}}(t)italic_ρ start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT n end_POSTSUBSCRIPT ( italic_t ) of Eq. (32) specifies an n𝑛nitalic_n–dissipaton configuration, with ρ𝟎(0)(t)=ρS(t)superscriptsubscript𝜌00𝑡subscript𝜌S𝑡\rho_{\bf 0}^{(0)}(t)=\rho_{\mbox{\tiny S}}(t)italic_ρ start_POSTSUBSCRIPT bold_0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT ( italic_t ) = italic_ρ start_POSTSUBSCRIPT S end_POSTSUBSCRIPT ( italic_t ) being just the reduced system density operator. Denote also ρ𝐧iκ±(n±1)subscriptsuperscript𝜌plus-or-minus𝑛1subscriptsuperscript𝐧plus-or-minus𝑖𝜅\rho^{(n\pm 1)}_{{\bf n}^{\pm}_{i\kappa}}italic_ρ start_POSTSUPERSCRIPT ( italic_n ± 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_n start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT end_POSTSUBSCRIPT as the associated (n±1)plus-or-minus𝑛1(n\pm 1)( italic_n ± 1 )-dissipatons configuration, with 𝐧ik±subscriptsuperscript𝐧plus-or-minus𝑖𝑘{\bf n}^{\pm}_{ik}bold_n start_POSTSUPERSCRIPT ± end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_k end_POSTSUBSCRIPT differing from 𝐧𝐧{\bf n}bold_n only at the specified f^iksubscript^𝑓𝑖𝑘\hat{f}_{ik}over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_k end_POSTSUBSCRIPT-disspaton occupation number, niκsubscript𝑛𝑖𝜅n_{i\kappa}italic_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT, by ±1plus-or-minus1\pm 1± 1.

The most important ingredient in the dissipaton algebra is the generalized Wick’s theorem [48, 53]:

trB[(iκf^iκniκ)f^jκρT(t)]subscripttrBdelimited-[]superscriptsubscriptproduct𝑖𝜅subscriptsuperscript^𝑓subscript𝑛𝑖𝜅𝑖𝜅subscript^𝑓𝑗superscript𝜅subscript𝜌T𝑡\displaystyle\quad{\rm tr}_{\mbox{\tiny B}}\Big{[}\Big{(}\prod_{i\kappa}\hat{f% }^{n_{i\kappa}}_{i\kappa}\Big{)}^{\circ}\hat{f}_{j\kappa^{\prime}}\rho_{\mbox{% \tiny T}}(t)\Big{]}roman_tr start_POSTSUBSCRIPT B end_POSTSUBSCRIPT [ ( ∏ start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT ( italic_t ) ]
=ρ𝐧jκ+(n+1)(t)+iκniκf^iκf^jκB>ρ𝐧iκ(n1)(t),absentsubscriptsuperscript𝜌𝑛1subscriptsuperscript𝐧𝑗superscript𝜅𝑡subscript𝑖𝜅subscript𝑛𝑖𝜅subscriptsuperscriptdelimited-⟨⟩subscript^𝑓𝑖𝜅subscript^𝑓𝑗superscript𝜅Bsubscriptsuperscript𝜌𝑛1subscriptsuperscript𝐧𝑖𝜅𝑡\displaystyle=\rho^{(n+1)}_{{\bf n}^{+}_{j\kappa^{\prime}}}(t)+\sum_{i\kappa}n% _{i\kappa}\langle\hat{f}_{i\kappa}\hat{f}_{j\kappa^{\prime}}\rangle^{>}_{\mbox% {\tiny B}}\rho^{(n-1)}_{{\bf n}^{-}_{i\kappa}}(t),= italic_ρ start_POSTSUPERSCRIPT ( italic_n + 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_n start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) + ∑ start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ⟨ over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ⟩ start_POSTSUPERSCRIPT > end_POSTSUPERSCRIPT start_POSTSUBSCRIPT B end_POSTSUBSCRIPT italic_ρ start_POSTSUPERSCRIPT ( italic_n - 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_n start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) , (33)

and

trB[(iκf^iκniκ)ρT(t)f^jκ]subscripttrBdelimited-[]superscriptsubscriptproduct𝑖𝜅subscriptsuperscript^𝑓subscript𝑛𝑖𝜅𝑖𝜅subscript𝜌T𝑡subscript^𝑓𝑗superscript𝜅\displaystyle\quad{\rm tr}_{\mbox{\tiny B}}\Big{[}\Big{(}\prod_{i\kappa}\hat{f% }^{n_{i\kappa}}_{i\kappa}\Big{)}^{\circ}\rho_{\mbox{\tiny T}}(t)\hat{f}_{j% \kappa^{\prime}}\Big{]}roman_tr start_POSTSUBSCRIPT B end_POSTSUBSCRIPT [ ( ∏ start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT italic_ρ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT ( italic_t ) over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ]
=ρ𝐧jκ+(n+1)(t)+iκniκf^jkf^iκB<ρ𝐧iκ(n1)(t).absentsubscriptsuperscript𝜌𝑛1subscriptsuperscript𝐧𝑗superscript𝜅𝑡subscript𝑖𝜅subscript𝑛𝑖𝜅subscriptsuperscriptdelimited-⟨⟩subscript^𝑓𝑗superscript𝑘subscript^𝑓𝑖𝜅Bsubscriptsuperscript𝜌𝑛1subscriptsuperscript𝐧𝑖𝜅𝑡\displaystyle=\rho^{(n+1)}_{{\bf n}^{+}_{j\kappa^{\prime}}}(t)+\sum_{i\kappa}n% _{i\kappa}\langle\hat{f}_{jk^{\prime}}\hat{f}_{i\kappa}\rangle^{<}_{\mbox{% \tiny B}}\rho^{(n-1)}_{{\bf n}^{-}_{i\kappa}}(t).= italic_ρ start_POSTSUPERSCRIPT ( italic_n + 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_n start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) + ∑ start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ⟨ over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_k start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ⟩ start_POSTSUPERSCRIPT < end_POSTSUPERSCRIPT start_POSTSUBSCRIPT B end_POSTSUBSCRIPT italic_ρ start_POSTSUPERSCRIPT ( italic_n - 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_n start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_t ) . (34)

The involved forward f^iκf^jκB>subscriptsuperscriptdelimited-⟨⟩subscript^𝑓𝑖𝜅subscript^𝑓𝑗superscript𝜅B\langle\hat{f}_{i\kappa}\hat{f}_{j\kappa^{\prime}}\rangle^{>}_{\mbox{\tiny B}}⟨ over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ⟩ start_POSTSUPERSCRIPT > end_POSTSUPERSCRIPT start_POSTSUBSCRIPT B end_POSTSUBSCRIPT and backward f^jκf^iκB<subscriptsuperscriptdelimited-⟨⟩subscript^𝑓𝑗superscript𝜅subscript^𝑓𝑖𝜅B\langle\hat{f}_{j\kappa^{\prime}}\hat{f}_{i\kappa}\rangle^{<}_{\mbox{\tiny B}}⟨ over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ⟩ start_POSTSUPERSCRIPT < end_POSTSUPERSCRIPT start_POSTSUBSCRIPT B end_POSTSUBSCRIPT coefficients are related to the correlation functions in Eq. (30) as

f^iκf^jκB>f^iκ(0+)f^jκ(0)B=ηijκδκκ,f^jκf^iκB<f^jκ(0)f^iκ(0+)B=ηijκ¯δκκ.formulae-sequencesubscriptsuperscriptdelimited-⟨⟩subscript^𝑓𝑖𝜅subscript^𝑓𝑗superscript𝜅Bsubscriptdelimited-⟨⟩subscript^𝑓𝑖𝜅limit-from0subscript^𝑓𝑗superscript𝜅0Bsubscript𝜂𝑖𝑗𝜅subscript𝛿𝜅superscript𝜅subscriptsuperscriptdelimited-⟨⟩subscript^𝑓𝑗superscript𝜅subscript^𝑓𝑖𝜅Bsubscriptdelimited-⟨⟩subscript^𝑓𝑗superscript𝜅0subscript^𝑓𝑖𝜅limit-from0Bsubscriptsuperscript𝜂𝑖𝑗¯𝜅subscript𝛿𝜅superscript𝜅\begin{split}\langle\hat{f}_{i\kappa}\hat{f}_{j\kappa^{\prime}}\rangle^{>}_{% \mbox{\tiny B}}&\equiv\langle\hat{f}_{i\kappa}(0+)\hat{f}_{j\kappa^{\prime}}(0% )\rangle_{\mbox{\tiny B}}=\eta_{ij\kappa}\delta_{\kappa\kappa^{\prime}},\\ \langle\hat{f}_{j\kappa^{\prime}}\hat{f}_{i\kappa}\rangle^{<}_{\mbox{\tiny B}}% &\equiv\langle\hat{f}_{j\kappa^{\prime}}(0)\hat{f}_{i\kappa}(0+)\rangle_{\mbox% {\tiny B}}=\eta^{\ast}_{ij{\bar{\kappa}}}\delta_{\kappa\kappa^{\prime}}.\end{split}start_ROW start_CELL ⟨ over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ⟩ start_POSTSUPERSCRIPT > end_POSTSUPERSCRIPT start_POSTSUBSCRIPT B end_POSTSUBSCRIPT end_CELL start_CELL ≡ ⟨ over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ( 0 + ) over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( 0 ) ⟩ start_POSTSUBSCRIPT B end_POSTSUBSCRIPT = italic_η start_POSTSUBSCRIPT italic_i italic_j italic_κ end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_κ italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT , end_CELL end_ROW start_ROW start_CELL ⟨ over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ⟩ start_POSTSUPERSCRIPT < end_POSTSUPERSCRIPT start_POSTSUBSCRIPT B end_POSTSUBSCRIPT end_CELL start_CELL ≡ ⟨ over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_j italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( 0 ) over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ( 0 + ) ⟩ start_POSTSUBSCRIPT B end_POSTSUBSCRIPT = italic_η start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j over¯ start_ARG italic_κ end_ARG end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_κ italic_κ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT . end_CELL end_ROW (35)

The DEOM can now be readily constructed by applying ρ˙T(t)=i[H(t),ρT(t)]subscript˙𝜌T𝑡𝑖superscript𝐻𝑡subscript𝜌T𝑡\dot{\rho}_{\mbox{\tiny T}}(t)=-i[H^{\prime}(t),\rho_{\mbox{\tiny T}}(t)]over˙ start_ARG italic_ρ end_ARG start_POSTSUBSCRIPT T end_POSTSUBSCRIPT ( italic_t ) = - italic_i [ italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_t ) , italic_ρ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT ( italic_t ) ], to the total composite density operator in Eq. (32); i.e.,

ρ˙𝐧(n)(t)=itrB{(iκf^iκniκ)[H(t),ρT(t)]}.subscriptsuperscript˙𝜌𝑛𝐧𝑡𝑖subscripttrBsuperscriptsubscriptproduct𝑖𝜅subscriptsuperscript^𝑓subscript𝑛𝑖𝜅𝑖𝜅superscript𝐻𝑡subscript𝜌T𝑡\dot{\rho}^{(n)}_{\textbf{n}}(t)=-i\,{\rm tr}_{\mbox{\tiny B}}\Big{\{}\Big{(}% \prod_{i\kappa}\hat{f}^{n_{i\kappa}}_{i\kappa}\Big{)}^{\circ}[H^{\prime}(t),% \rho_{\mbox{\tiny T}}(t)]\Big{\}}.over˙ start_ARG italic_ρ end_ARG start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT n end_POSTSUBSCRIPT ( italic_t ) = - italic_i roman_tr start_POSTSUBSCRIPT B end_POSTSUBSCRIPT { ( ∏ start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT over^ start_ARG italic_f end_ARG start_POSTSUPERSCRIPT italic_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT [ italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_t ) , italic_ρ start_POSTSUBSCRIPT T end_POSTSUBSCRIPT ( italic_t ) ] } . (36)

To proceed, we express the total composite Hamiltonian, Eq. (18) with Eqs. (19), (20), (22) and (29), as

H(t)=HS(t)+iκQ^i(t)f^iκ.superscript𝐻𝑡subscript𝐻S𝑡subscript𝑖𝜅subscript^𝑄𝑖𝑡subscript^𝑓𝑖𝜅H^{\prime}(t)=H_{\mbox{\tiny S}}(t)+\sum_{i\kappa}\hat{Q}_{i}(t)\hat{f}_{i% \kappa}.italic_H start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_t ) = italic_H start_POSTSUBSCRIPT S end_POSTSUBSCRIPT ( italic_t ) + ∑ start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) over^ start_ARG italic_f end_ARG start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT . (37)

Equation (36) is then evaluated by using Eq. (31) , and Eqs. (III.3)–(35) for the action of the last term in Eq. (37). We obtain [48, 53]

ρ˙𝐧(n)=subscriptsuperscript˙𝜌𝑛𝐧absent\displaystyle\dot{\rho}^{(n)}_{\bf n}=over˙ start_ARG italic_ρ end_ARG start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_n end_POSTSUBSCRIPT = i[HS(t),ρ𝐧(n)]iκniκγκρ𝐧(n)iiκ[Qi(t),ρ𝐧iκ+(n+1)]𝑖subscript𝐻S𝑡subscriptsuperscript𝜌𝑛𝐧subscript𝑖𝜅subscript𝑛𝑖𝜅subscript𝛾𝜅subscriptsuperscript𝜌𝑛𝐧𝑖subscript𝑖𝜅subscript𝑄𝑖𝑡subscriptsuperscript𝜌𝑛1superscriptsubscript𝐧𝑖𝜅\displaystyle-i[H_{\mbox{\tiny S}}(t),\rho^{(n)}_{\bf n}]-\sum_{i\kappa}n_{i% \kappa}\gamma_{\kappa}\rho^{(n)}_{\bf n}-i\sum_{i\kappa}[Q_{i}(t),\rho^{(n+1)}% _{{\bf n}_{i\kappa}^{+}}]- italic_i [ italic_H start_POSTSUBSCRIPT S end_POSTSUBSCRIPT ( italic_t ) , italic_ρ start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_n end_POSTSUBSCRIPT ] - ∑ start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT italic_ρ start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_n end_POSTSUBSCRIPT - italic_i ∑ start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT [ italic_Q start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) , italic_ρ start_POSTSUPERSCRIPT ( italic_n + 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ]
iijκniκ[ηijκQ^j(t)ρ𝐧iκ(n1)ηijκ¯ρ𝐧iκ(n1)Q^j(t)].𝑖subscript𝑖𝑗𝜅subscript𝑛𝑖𝜅delimited-[]subscript𝜂𝑖𝑗𝜅subscript^𝑄𝑗𝑡subscriptsuperscript𝜌𝑛1superscriptsubscript𝐧𝑖𝜅subscriptsuperscript𝜂𝑖𝑗¯𝜅subscriptsuperscript𝜌𝑛1superscriptsubscript𝐧𝑖𝜅subscript^𝑄𝑗𝑡\displaystyle-i\sum_{ij\kappa}n_{i\kappa}\Big{[}\eta_{ij\kappa}\hat{Q}_{j}(t)% \rho^{(n-1)}_{{\bf n}_{i\kappa}^{-}}-\eta^{\ast}_{ij\bar{\kappa}}\rho^{(n-1)}_% {{\bf n}_{i\kappa}^{-}}\hat{Q}_{j}(t)\Big{]}.- italic_i ∑ start_POSTSUBSCRIPT italic_i italic_j italic_κ end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT [ italic_η start_POSTSUBSCRIPT italic_i italic_j italic_κ end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_t ) italic_ρ start_POSTSUPERSCRIPT ( italic_n - 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - italic_η start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j over¯ start_ARG italic_κ end_ARG end_POSTSUBSCRIPT italic_ρ start_POSTSUPERSCRIPT ( italic_n - 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT bold_n start_POSTSUBSCRIPT italic_i italic_κ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT end_POSTSUBSCRIPT over^ start_ARG italic_Q end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_t ) ] . (38)

This is a temperature–independent real parameter. The contributing coefficients, ηijκsubscript𝜂𝑖𝑗𝜅\eta_{ij\kappa}italic_η start_POSTSUBSCRIPT italic_i italic_j italic_κ end_POSTSUBSCRIPT and ηijκ¯subscriptsuperscript𝜂𝑖𝑗¯𝜅\eta^{\ast}_{ij{\bar{\kappa}}}italic_η start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i italic_j over¯ start_ARG italic_κ end_ARG end_POSTSUBSCRIPT, arise solely from the poles of the bath spectral density; see the comments after Eq. (27).

IV Summary

This work presents a universal formalism of open system quantum mechanics with non-inertial motions. We establish the theory based on a charged system interacting with the electromagnetic field environment. The formulation allows the non-inertial motions of the system and environment to be different. Under the non-inertial unitary transformation, the electromagnetic field still satisfies the Gauss–Wick’s statistics, leading to the validity of the dissipaton decomposition of the vector potential 𝑨~~𝑨\widetilde{\bm{A}}over~ start_ARG bold_italic_A end_ARG. The corresponding dissipaton equation of motion presents an exact numerical approach to the reduced system dynamics and correlations [48, 53]. Further developments may include extending the formalism to the relativistic Poincaré transformation and applying to exploring the non-inertial effects on open quantum systems, including the cavity QED and chemical reactions.

Acknowledgements.
Support from the Ministry of Science and Technology of China (Grant No.  2021YFA1200103), the National Natural Science Foundation of China (Grant Nos. 22103073, 22173088, and 22373091) and the Innovation Program for Quantum Science and Technology (Grant No. 2021ZD0303301) is gratefully acknowledged.

Appendix A Derivation of Eq. (18)

Firstly, we rewrite the unitary transformation in Eq. (II.1) as

U(t)=exp(im0tdτ𝜻˙τ22)U1(t)U2(t),𝑈𝑡𝑖𝑚superscriptsubscript0𝑡differential-d𝜏superscriptsubscript˙𝜻𝜏22subscript𝑈1𝑡subscript𝑈2𝑡U(t)=\exp\bigg{(}\!-im\!\int_{0}^{t}\!{\mathrm{d}}\tau\,\frac{\dot{\bm{\zeta}}% _{\tau}^{2}}{2}\bigg{)}\cdot U_{1}(t)\cdot U_{2}(t),italic_U ( italic_t ) = roman_exp ( - italic_i italic_m ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_d italic_τ divide start_ARG over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ) ⋅ italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t ) ⋅ italic_U start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_t ) , (39)

where

U1(t)=exp[i0tdτΩ(τ)𝐧(τ)𝑳^],subscript𝑈1𝑡subscript𝑖superscriptsubscript0𝑡differential-d𝜏Ω𝜏𝐧𝜏^𝑳U_{1}(t)=\exp_{-}\bigg{[}i\int_{0}^{t}\!{\mathrm{d}}\tau\,\Omega(\tau){\bf n}(% \tau)\cdot\hat{\bm{L}}\bigg{]},italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t ) = roman_exp start_POSTSUBSCRIPT - end_POSTSUBSCRIPT [ italic_i ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_d italic_τ roman_Ω ( italic_τ ) bold_n ( italic_τ ) ⋅ over^ start_ARG bold_italic_L end_ARG ] , (40a)
and
U2(t)=exp(im𝜻˙t𝒓^)exp(i𝜻t𝒑^).subscript𝑈2𝑡𝑖𝑚subscript˙𝜻𝑡^𝒓𝑖subscript𝜻𝑡^𝒑U_{2}(t)=\exp\Big{(}-im\dot{\bm{\zeta}}_{t}\cdot\hat{\bm{r}}\Big{)}\cdot\exp% \Big{(}i\bm{\zeta}_{t}\cdot\hat{\bm{p}}\Big{)}.italic_U start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_t ) = roman_exp ( - italic_i italic_m over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⋅ over^ start_ARG bold_italic_r end_ARG ) ⋅ roman_exp ( italic_i bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⋅ over^ start_ARG bold_italic_p end_ARG ) . (40b)

Consider the UHU𝑈𝐻superscript𝑈UHU^{\dagger}italic_U italic_H italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT term. Evidently,

U(t)HU(t)=U1(t)U2(t)HU2(t)U1(t),𝑈𝑡𝐻superscript𝑈𝑡subscript𝑈1𝑡subscript𝑈2𝑡𝐻superscriptsubscript𝑈2𝑡superscriptsubscript𝑈1𝑡\displaystyle U(t)HU^{\dagger}(t)=U_{1}(t)U_{2}(t)HU_{2}^{\dagger}(t)U_{1}^{% \dagger}(t),italic_U ( italic_t ) italic_H italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_t ) = italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t ) italic_U start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_t ) italic_H italic_U start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_t ) italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_t ) , (41)

since exp(im0tdτ𝜻˙τ2/2)𝑖𝑚superscriptsubscript0𝑡differential-d𝜏superscriptsubscript˙𝜻𝜏22\exp\big{(}\!-im\!\int_{0}^{t}\!{\mathrm{d}}\tau\,\dot{\bm{\zeta}}_{\tau}^{2}/% 2\big{)}roman_exp ( - italic_i italic_m ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT roman_d italic_τ over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_τ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 ) is a pure phase factor. Then by using

U2(t)𝒓^U2(t)subscript𝑈2𝑡^𝒓superscriptsubscript𝑈2𝑡\displaystyle U_{2}(t)\hat{\bm{r}}U_{2}^{\dagger}(t)italic_U start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_t ) over^ start_ARG bold_italic_r end_ARG italic_U start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_t ) =𝒓^+𝜻t,absent^𝒓subscript𝜻𝑡\displaystyle=\hat{\bm{r}}+\bm{\zeta}_{t},= over^ start_ARG bold_italic_r end_ARG + bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , (42a)
U2(t)𝒑^U2(t)subscript𝑈2𝑡^𝒑superscriptsubscript𝑈2𝑡\displaystyle U_{2}(t)\hat{\bm{p}}U_{2}^{\dagger}(t)italic_U start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_t ) over^ start_ARG bold_italic_p end_ARG italic_U start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_t ) =𝒑^+m𝜻˙t,absent^𝒑𝑚subscript˙𝜻𝑡\displaystyle=\hat{\bm{p}}+m\dot{\bm{\zeta}}_{t},= over^ start_ARG bold_italic_p end_ARG + italic_m over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , (42b)

we obtain

U(t)HU(t)=U1(t)H(𝒓^+𝜻t,𝒑^+m𝜻˙t)U1(t).𝑈𝑡𝐻superscript𝑈𝑡subscript𝑈1𝑡𝐻^𝒓subscript𝜻𝑡^𝒑𝑚subscript˙𝜻𝑡superscriptsubscript𝑈1𝑡\displaystyle U(t)HU^{\dagger}(t)=U_{1}(t)H(\hat{\bm{r}}+\bm{\zeta}_{t},\hat{% \bm{p}}+m\dot{\bm{\zeta}}_{t})U_{1}^{\dagger}(t).italic_U ( italic_t ) italic_H italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_t ) = italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t ) italic_H ( over^ start_ARG bold_italic_r end_ARG + bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , over^ start_ARG bold_italic_p end_ARG + italic_m over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_t ) . (43)

Further noting

U1(t)(𝒓^+𝜻t)U1(t)=𝖱t𝒓^+𝜻t,subscript𝑈1𝑡^𝒓subscript𝜻𝑡superscriptsubscript𝑈1𝑡subscript𝖱𝑡^𝒓subscript𝜻𝑡\displaystyle U_{1}(t)(\hat{\bm{r}}+\bm{\zeta}_{t})U_{1}^{\dagger}(t)=\mathsf{% R}_{t}\hat{\bm{r}}+\bm{\zeta}_{t},italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t ) ( over^ start_ARG bold_italic_r end_ARG + bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_t ) = sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_r end_ARG + bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , (44a)
U1(t)(𝒑^+m𝜻˙t)U1(t)=𝖱t𝒑^+m𝜻˙t,subscript𝑈1𝑡^𝒑𝑚subscript˙𝜻𝑡superscriptsubscript𝑈1𝑡subscript𝖱𝑡^𝒑𝑚subscript˙𝜻𝑡\displaystyle U_{1}(t)(\hat{\bm{p}}+m\dot{\bm{\zeta}}_{t})U_{1}^{\dagger}(t)=% \mathsf{R}_{t}\hat{\bm{p}}+m\dot{\bm{\zeta}}_{t},italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t ) ( over^ start_ARG bold_italic_p end_ARG + italic_m over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_t ) = sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_p end_ARG + italic_m over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , (44b)

we have

U(t)HU(t)𝑈𝑡𝐻superscript𝑈𝑡\displaystyle U(t)HU^{\dagger}(t)italic_U ( italic_t ) italic_H italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ( italic_t ) =12m[𝖱t𝒑^+m𝜻˙te𝑨(𝖱t𝒓^+𝜻t,t)]2absent12𝑚superscriptdelimited-[]subscript𝖱𝑡^𝒑𝑚subscript˙𝜻𝑡𝑒𝑨subscript𝖱𝑡^𝒓subscript𝜻𝑡𝑡2\displaystyle=\frac{1}{2m}\big{[}\mathsf{R}_{t}\hat{\bm{p}}+m\dot{\bm{\zeta}}_% {t}-e\bm{A}(\mathsf{R}_{t}\hat{\bm{r}}+\bm{\zeta}_{t},t)\big{]}^{2}= divide start_ARG 1 end_ARG start_ARG 2 italic_m end_ARG [ sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_p end_ARG + italic_m over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT - italic_e bold_italic_A ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_r end_ARG + bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_t ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
+V0(𝒓^)+eϕ(𝖱t𝒓^+𝜻t,t).subscript𝑉0^𝒓𝑒italic-ϕsubscript𝖱𝑡^𝒓subscript𝜻𝑡𝑡\displaystyle\quad+V_{0}(\hat{\bm{r}})+e\phi(\mathsf{R}_{t}\hat{\bm{r}}+\bm{% \zeta}_{t},t).+ italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_r end_ARG ) + italic_e italic_ϕ ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_r end_ARG + bold_italic_ζ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_t ) . (45)

For the iU˙U𝑖˙𝑈superscript𝑈i\dot{U}U^{\dagger}italic_i over˙ start_ARG italic_U end_ARG italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT term, according to Eq. (39), we have

iU˙U𝑖˙𝑈superscript𝑈\displaystyle i\dot{U}U^{\dagger}italic_i over˙ start_ARG italic_U end_ARG italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT =m𝜻˙t2/2+m𝜻¨t(𝖱t𝒓^)𝜻˙t(𝖱t𝒑^)absent𝑚superscriptsubscript˙𝜻𝑡22𝑚subscript¨𝜻𝑡subscript𝖱𝑡^𝒓subscript˙𝜻𝑡subscript𝖱𝑡^𝒑\displaystyle=-m\dot{\bm{\zeta}}_{t}^{2}/2+m\ddot{\bm{\zeta}}_{t}\cdot(\mathsf% {R}_{t}\hat{\bm{r}})-\dot{\bm{\zeta}}_{t}\cdot(\mathsf{R}_{t}\hat{\bm{p}})= - italic_m over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 + italic_m over¨ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⋅ ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_r end_ARG ) - over˙ start_ARG bold_italic_ζ end_ARG start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ⋅ ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_p end_ARG )
Ω(t)𝐧(t)[(𝖱t𝒓^)×(𝖱t𝒑^)],Ω𝑡𝐧𝑡delimited-[]subscript𝖱𝑡^𝒓subscript𝖱𝑡^𝒑\displaystyle\quad-\Omega(t){\bf n}(t)\cdot\big{[}(\mathsf{R}_{t}\hat{\bm{r}})% \times(\mathsf{R}_{t}\hat{\bm{p}})\big{]},- roman_Ω ( italic_t ) bold_n ( italic_t ) ⋅ [ ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_r end_ARG ) × ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_p end_ARG ) ] , (46)

where we have used Eqs. (A) and (A) with noting that U1𝑳^U1=(𝖱t𝒓^)×(𝖱t𝒑^)=𝖱t𝑳^subscript𝑈1^𝑳subscriptsuperscript𝑈1subscript𝖱𝑡^𝒓subscript𝖱𝑡^𝒑subscript𝖱𝑡^𝑳U_{1}\hat{\bm{L}}U^{\dagger}_{1}=(\mathsf{R}_{t}\hat{\bm{r}})\times(\mathsf{R}% _{t}\hat{\bm{p}})=\mathsf{R}_{t}\hat{\bm{L}}italic_U start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT over^ start_ARG bold_italic_L end_ARG italic_U start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_r end_ARG ) × ( sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_p end_ARG ) = sansserif_R start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT over^ start_ARG bold_italic_L end_ARG. The combination of Eqs. (43) and (A) gives rise to the expression of Eq. (18).

References

  • [1] U. Weiss, Quantum Dissipative Systems, World Scientific, Singapore, 2021, 5th edition.
  • [2] H. Kleinert, Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets, World Scientific, Singapore, 5th edition, 2009.
  • [3] H. P. Breuer and F. Petruccione, The Theory of Open Quantum Systems, Oxford University Press, New York, 2002.
  • [4] H.-P. Breuer, E.-M. Laine, J. Piilo, and B. Vacchini, “Colloquium: Non-Markovian dynamics in open quantum systems,” Rev. Mod. Phys. 88, 021002 (2016).
  • [5] I. de Vega and D. Alonso, “Dynamics of non-Markovian open quantum systems,” Rev. Mod. Phys. 89, 015001 (2017).
  • [6] M. O. Scully and M. S. Zubairy, Quantum Optics, Cambridge University Press, Cambridge, 1997.
  • [7] W. H. Louisell, Quantum Statistical Properties of Radiation, Wiley, New York, 1973.
  • [8] F. Haake, “Statistical treatment of open systems by generalized master equations,” in Quantum Statistics in Optics and Solid State Physics: Springer Tracts in Modern Physics, Vol. 66, edited by G. Höhler, pages 98–168, Springer, Berlin, 1973.
  • [9] H. Haken, Laser Theory, Springer, Berlin, 1970.
  • [10] M. Sargent III, M. O. Scully, and J. W. E. Lamb, Laser Physics, Addison-Wesley, Reading, MA, 1974.
  • [11] P. Reineker, Exciton Dynamics in Molecular Crystals and Aggregates: Stochastic Liouville Equation Approach: Coupled Coherent and Incoherent Motion, Optical Line Shapes, Magnetic Resonance Phenomena, Springer, Berlin, 1982.
  • [12] C. P. Slichter, Principles of Magnetic Resonance, Springer Verlag, New York, 1990.
  • [13] L. M. K. Vandersypen and I. L. Chuang, “NMR techniques for quantum control and computation,” Rev. Mod. Phys. 76, 1037 (2005).
  • [14] M. Born and K. Huang, Dynamical Theory of Crystal Lattices, Oxford University Press, New York, 1985.
  • [15] T. Holstein, “Studies of polaron motion Part I. The molecular-crystal model,” Ann. Phys. 8, 325 (1959).
  • [16] T. Holstein, “Studies of polaron motion Part II. The “small” polaron,” Ann. Phys. 8, 343 (1959).
  • [17] C. F. Klingshirn, Semiconductor Optics, Springer-Verlag, Heidelberg, 1997.
  • [18] J. Rammer, Quantum Transport Theory, Perseus Books, Reading, Mass., 1998.
  • [19] Y. Akamatsu, “Heavy quark master equations in the Lindblad form at high temperatures,” Phys. Rev. D 91, 056002 (2015).
  • [20] J.-P. Blaizot and M. A. Escobedo, “Quantum and classical dynamics of heavy quarks in a quark-gluon plasma,” J. High Energy Phys. 2018, 1 (2018).
  • [21] T. Miura, Y. Akamatsu, M. Asakawa, and A. Rothkopf, “Quantum Brownian motion of a heavy quark pair in the quark-gluon plasma,” Phys. Rev. D 101, 034011 (2020).
  • [22] X. Yao, “Open quantum systems for quarkonia,” Int. J. Mod. Phys. A 36, 2130010 (2021).
  • [23] S. Mukamel, The Principles of Nonlinear Optical Spectroscopy, Oxford University Press, New York, 1995.
  • [24] Y. R. Shen, The Principles of Nonlinear Optics, Wiley, New York, 1984.
  • [25] S. Mukamel, “Reduced equations of motion for collisionless molecular multiphoton processes,” Adv. Chem. Phys. 47, 509 (1981).
  • [26] Y. J. Yan and S. Mukamel, “Electronic dephasing, vibrational relaxation, and solvent friction in molecular nonlinear optical lineshapes,” J. Chem. Phys. 89, 5160 (1988).
  • [27] Y. J. Yan and S. Mukamel, “Photon echoes of polyatomic molecules in condensed phases,” J. Chem. Phys. 94, 179 (1991).
  • [28] V. Chernyak and S. Mukamel, “Collective coordinates for nuclear spectral densities in energy transfer and femtosecond spectroscopy of molecular aggregates,” J. Chem. Phys. 105, 4565 (1996).
  • [29] Y. Tanimura and S. Mukamel, “Two-dimensional femtosecond vibrational spectroscopy of liquids,” J. Chem. Phys. 99, 9496 (1993).
  • [30] Y. Tanimura and S. Mukamel, “Multistate quantum Fokker-Planck approach to nonadiabatic wave packet dynamics in pump-probe spectroscopy,” J. Chem. Phys. 101, 3049 (1994).
  • [31] A. Nitzan, Chemical Dynamics in Condensed Phases: Relaxation, Transfer and Reactions in Condensed Molecular Systems, Oxford University Press, New York, 2006.
  • [32] H. Lee, Y.-C. Cheng, and G. R. Fleming, “Coherence dynamics in photosynthesis: Protein protection of excitonic coherence,” Science 316, 1462 (2007).
  • [33] G. S. Engel, T. R. Calhoun, E. L. Read, T. K. Ahn, T. Mančal, Y. C. Cheng, R. E. Blankenship, and G. R. Fleming, “Evidence for wavelike energy transfer through quantum coherence in photosynthetic systems,” Nature 446, 782 (2007).
  • [34] K. E. Dorfman, D. V. Voronine, S. Mukamel, and M. O. Scully, “Photosynthetic reaction center as a quantum heat engine,” Proc. Natl. Acad. Sci. 110, 2746 (2013).
  • [35] C. Creatore, M. A. Parker, S. Emmott, and A. W. Chin, “Efficient biologically inspired photocell enhanced by delocalized quantum states,” Phys. Rev. Lett. 111, 253601 (2013).
  • [36] S. Kundu, R. Dani, and N. Makri, “B800-to-B850 relaxation of excitation energy in bacterial light harvesting: All-state, all-mode path integral simulations,” J. Chem. Phys. 157, 015101 (2022).
  • [37] M. Schlosshauer, “Quantum decoherence,” Phys. Rep. 831, 1 (2019).
  • [38] M. Ghorashi, S.A.A.and Aminjavaheri and M. Bagheri Harouni, “Quantum decoherence of Dirac fields in non-inertial frames beyond the single-mode approximation,” Quantum Inf Process 13, 527–545 (2014).
  • [39] Y. Yu and L. Ye, “Protecting entanglement from amplitude dam** in non-inertial frames by weak measurement and reversal,” Quantum Information Processing 14, 321 (2015).
  • [40] M. Ahmadi, D. E. Bruschi, and G. Adesso, “Relativistic Quantum Metrology: Exploiting relativity to improve quantum measurement technologies,” Scientific Reports 4, 4996 (2014).
  • [41] S.-W. Li, Z. H. Wang, L. Zhou, and C. P. Sun, “Quantum optics in a non-inertial reference frame: the Rabi splitting in a rotating ring cavity,” arXiv:1507.08790 (2015).
  • [42] N. Arya and S. K. Goyal, “Lamb shift as a witness for quantum noninertial effects,” Phys. Rev. D 108, 085011 (2023).
  • [43] R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, “Quantum entanglement,” Rev. Mod. Phys. 81, 865 (2009).
  • [44] W.-Y. Sun, D. Wang, J. Yang, and L. Ye, “Enhancement of multipartite entanglement in an open system under non-inertial frames,” Quantum Information Processing 16, 90 (2017).
  • [45] J. G. Ren et al., “Ground-to-satellite quantum teleportation,” Nature 549, 70 (2017).
  • [46] S. Pirandola, U. L. Andersen, L. Banchi, M. Berta, D. Bunandar, R. Colbeck, D. Englund, T. Gehring, C. Lupo, C. Ottaviani, J. L. Pereira, M. Razavi, J. S. Shaari, M. Tomamichel, V. C. Usenko, G. Vallone, P. Villoresi, and P. Wallden, “Advances in quantum cryptography,” Adv. Opt. Photon. 12, 1012 (2020).
  • [47] N. Metwally and A. Sagheer, “Quantum coding in non-inertial frames,” Quantum Information Processing 13, 771–780 (2014).
  • [48] Y. J. Yan, “Theory of open quantum systems with bath of electrons and phonons and spins: Many-dissipaton density matrixes approach,” J. Chem. Phys. 140, 054105 (2014).
  • [49] Y. Wang and Y. J. Yan, “Quantum mechanics of open systems: Dissipaton theories,” J. Chem. Phys. 157, 170901 (2022).
  • [50] S. Takagi, “Quantum dynamics and non-Inertial frames of reference. I: Generality,” Prog. Theor. Phys. 85, 463 (1991).
  • [51] U. Weiss, Quantum Dissipative Systems, World Scientific, Singapore, 2012, 4rdrd{}^{\rm rd}start_FLOATSUPERSCRIPT roman_rd end_FLOATSUPERSCRIPT ed.
  • [52] Y. J. Yan and R. X. Xu, “Quantum mechanics of dissipative systems,” Annu. Rev. Phys. Chem. 56, 187 (2005).
  • [53] Y. J. Yan, J. S. **, R. X. Xu, and X. Zheng, “Dissipaton equation of motion approach to open quantum systems,” Frontiers Phys. 11, 110306 (2016).