Preprint
Short Note

This version is not peer-reviewed.

Illustrative Overview of Reaction Coordinate Mapping and Derivation of Quantum Master Equation with RCPT Techniques

Submitted:

17 November 2025

Posted:

18 November 2025

Read the latest preprint version here

Abstract
In this tutorial we want to present a thorough overview about the well known technique known as the Reaction Coordinate Mapping which is one of the most used theoretical tool in the context of Open quantum system and Quantum thermodynamics of quantum systems which is not weakly coupled to the reservoir. Here we discuss different aspects of the Reaction Coordinate mapping along with detailed mathematical derivations for the Bosonic and Fermionic mappings which can be achieved through the Symplectic and unitary transformations. In the later part of this article we discuss the derivation of the Quantum master equation for the extended systems (System+Reaction Coordinate) coupled to the residual reservoir in the weak coupling limit described by the usual Redfield Quantum Master equation. We observe that though the dynamics of the Extended system is Markovian in nature because of the weak coupling between the extended system and the Residual reservoir but the Reaction coordinate transformation enables us to analyses the dynamics of the system which is essentially non-Markovian.
Keywords: 
;  ;  ;  ;  ;  ;  

1. Reaction Coordinate Mapping

Let us consider the hamiltonian of the supersystem describing the interaction of a quantum system coupled with a single bath described by,
H ^ = H ^ S + H ^ B + H ^ S B
H ^ B = m ν m c ^ m c ^ m
H ^ S B = S ^ m g m ( c ^ m + c ^ m )
The bath spectral function can be defined as,
J 0 ( ω ) = 2 π m | g m | 2 δ ( ω ν m )
Let us consider an example of Reaction coordinate mapping before returning to the present context. Let us consider a quantum system coupled to a bath which itself has infinite number of degrees of freedom described by infinite number of bath modes (energy levels) with each of them is represented by a harmonic oscillator. With s ^ being any arbitrary system operator the Hamiltonian of the entire supersystem i.e. system coupled to the bath can be written as,
H ^ = H ^ S ( t ) + 1 2 m p ^ m 2 + ν m 2 x ^ m c m ν m 2 S ^ 2
In general the system Hamiltonian can be time independent. After decomposing the above Hamiltonian we get,
H ^ = H ^ S ( t ) + S ^ 2 m c m 2 ω m 2 + H ^ B + H ^ S B
H ^ B = 1 2 m p ^ m 2 + ν m 2 x ^ m 2
H ^ S B = S ^ m c m x ^ m
The usual commutation relations are,
x ^ m , x ^ n = 0 = p ^ m , p ^ n and x ^ m , p ^ n = i ^ δ m n I ^
Let us define the spectral function of the bath as,
J 0 ( ω ) = π 2 m c m 2 ν m δ ( ω ν m )
Now let us consider the Reaction Coordinate mapping which enables us to separate one of the modes called the reaction mode or reaction coordinate from the infinite number of bath modes such that the system is now interacting with that particular segregated reaction coordinate which in turn coupled to the rest of the modes of the bath which we call residual bath modes. In this way we can visualise the system is interacting with one reaction coordinate which is connected or coupled to the residual bath. The situation after one such steps of Reaction coordinate mapping the hamiltonian will be as follows,
H ^ R = U ^ R H ^ U ^ R
H ^ R = H ^ S ( t ) + δ Ω 0 2 2 S ^ 2 + H ^ R C + H ^ S R C + H ^ R E + H ^ R C R E
H ^ R C = 1 2 P ^ 1 2 + ω 1 2 X ^ 1 2
H ^ S R C = λ 0 S ^ X ^ 1
H ^ R E = 1 2 m 1 P ^ m 2 + ω m 2 X ^ m 2
H ^ R C R E = X ^ 1 m 1 C m X ^ m
H ^ R describes the Hamiltonian of the system after one step of reaction coordinate mapping which can be treated as an unitary transformation of the Hamiltonian before the RC mapping i.e. H ^ . Now, the exactness of the mapping which depicts the equivalence between the situation before and after the reaction coordinate mapping is given by,
λ 0 S ^ X ^ 1 = S ^ m c m x ^ m λ 0 X ^ 1 = m c m x m
The above reaction coordinate mapping can be visualized as a transformation from one set of normal modes (coordinates) say ( x ^ 1 , x ^ 2 , . . . , x ^ n ; p ^ 1 , p ^ 2 , . . . , p ^ n ) to ( X ^ 1 , X ^ 2 , . . . , X ^ n ; P ^ 1 , P ^ 2 , . . . , P ^ n ) defined by an orthogonal transformation the later being required to preserve the usual commutation relations of the newly defined normal mode coordinates. And as the bath has been represented by infinite number of modes in a discreet sense then later we will take the thermodynamic limit i.e. n . Let us define the following transformation X ^ = Λ x ^ and P ^ = Λ p ^ with a claim that Λ has to be an orthogonal matrix which we are going to derive. From now on-wards we will use the natural unit system with = k B = c = 1 .
We need X ^ m , X ^ n = 0 = P ^ m , P ^ n with X ^ m , P ^ n = i δ m n I ^
X ^ m , X ^ n = α β Λ m α Λ n β x ^ α , x ^ β = 0
similarly P ^ m , P ^ n = α β Λ m α Λ n β p ^ α , p ^ β = 0
X ^ m , P ^ n = α β Λ m α Λ n β x ^ α , p ^ β = i α β Λ m α Λ n β δ α β
X ^ m , P ^ n = i δ m n α Λ m α Λ n α = δ m n α ( Λ ) m α ( Λ T ) α n = I m n
Hence we can see that to preserve the commutation relations of the newly defined set of normal mode coordinates i.e. ( X ^ α , P ^ β ) the transformation has to be orthogonal with Λ Λ T = Λ T Λ = I . The condition of orthogonality along with λ 0 X ^ 1 = m c m x ^ m leads to,
with X ^ 1 = α Λ 1 α x ^ α
λ 0 α Λ 1 α x ^ α = α c α x ^ α λ 0 Λ 1 α = c α
λ 0 2 α Λ 1 α 2 = α c α 2 with α Λ 1 α 2 = 1 . λ 0 2 = α c α 2
Now applying the inverse orthogonal transformation by writing x ^ m = α Λ α m X ^ α and p ^ m = α Λ α m P ^ α the hamiltonian becomes,
H ^ = H ^ S ( t ) + δ Ω 0 2 2 S ^ 2 λ 0 S ^ X ^ 1 + 1 2 P ^ 1 2 + ω 1 2 X ^ 1 2 + 1 2 m 1 P ^ m 2 + ω m 2 X ^ m 2 X ^ 1 m 1 C m X ^ m
where δ Ω 0 2 = m c m 2 ν m 2 = m ν m 2 c m 2
The mathematical deduction of the above is as follows.
sec ond term : 1 2 m p ^ m 2 + ν m 2 x ^ m 2 1 2 m α β Λ α m Λ β m P ^ α P ^ β + 1 2 m α β ν m 2 Λ α m Λ β m X ^ α X ^ β = 1 2 α β P ^ α P ^ β δ α β + 1 2 m ν m 2 Λ 1 m 2 X ^ 1 2 + 1 2 m α 1 ν m 2 Λ α m 2 X ^ α 2 + m α 1 ν m 2 Λ α m Λ 1 m X ^ α X ^ 1 + m α , β α β ν m 2 Λ α m Λ β m X ^ α X ^ β = 1 2 P ^ 1 2 + ω 1 2 X ^ 1 2 + 1 2 m 1 P ^ m 2 + ω m 2 X ^ m 2 X ^ 1 m C m X ^ m interaction term : S ^ m c m x ^ m = S ^ m α c m Λ α m X ^ α = S ^ m c m Λ 1 m X ^ 1 + S ^ m α 1 c m Λ α m X ^ α λ 0 S ^ X ^ 1 with H ^ H ^ R = H ^ S ( t ) + δ Ω 0 2 2 S ^ 2 + 1 2 P ^ 1 2 + ω 1 2 X ^ 1 2 + 1 2 m 1 P ^ m 2 + ω m 2 X ^ m 2 λ 0 S ^ X ^ 1 X ^ 1 m C m X ^ m
Using the fact that, λ 0 Λ 1 m = c m we get,
λ 0 2 ω 1 2 = m ν m 2 c m 2
where we have identified the following,
δ Ω 0 2 = m c m 2 ν m 2 ω 1 2 = m ν m 2 Λ 1 m 2 ω m 2 = α ν α 2 Λ m α 2 for m 1 for m n we have α ν α 2 Λ m α Λ n α = 0 together we get α ν α 2 Λ m α Λ n α = ω m 2 δ m n
Now, by using the definition of the Bath spectral function i.e. J 0 ( ω ) we can express the new parameters mainly, λ 0 , ω 1 , δ Ω 0 2 in terms of the old bath spectral function i.e. the one we have defined before the Reaction Coordinate mapping. Just to note that, λ 0 defines the new system-bath coupling strength alternatively we can call it the coupling strength quantifying the interaction between the system and the reaction coordinate. Similarly, ω 1 defines the frequency of the Reaction coordinate. The idea is to express the newly defined quantities in terms of the older (known) quantities. We have defined,
J 0 ( ω ) = π 2 m c m 2 δ ( ω ν m )
We get,
δ Ω 0 2 = 2 π 0 J 0 ( ω ) ω d ω
λ 0 2 = m c m 2 = 2 π 0 ω J 0 ( ω ) d ω
λ 0 2 ω 1 2 = 2 π 0 ω 3 J 0 ( ω ) d ω ω 1 2 = 2 π λ 0 2 0 ω 3 J 0 ( ω ) d ω
ω 1 2 = 0 ω 3 J 0 ( ω ) d ω 0 ω J 0 ( ω ) d ω
One important property of this RC mapping is the Scaling transformation property. If the interaction coefficient c m is transformed to α c m , α R before the reaction coordinate mapping then only λ 0 and δ Ω 0 2 will be affected by this scaling transformation. To show it mathematically we can write,
λ 0 Λ 1 m = c m λ 0 Λ 1 m = α c m such that λ 0 2 = α 2 m c m 2
λ 0 2 = 2 α 2 π 0 ω J 0 ( ω ) d ω
δ Ω 0 2 = m c m 2 ν m 2 α 2 m ν m 2 c m 2 = 2 α 2 π 0 J 0 ( ω ) ω d ω
ω 1 2 = m ν m 2 Λ 1 m 2 λ 0 2 ω 1 2 = α 2 m ν m 2 c m 2 2 α 2 ω 1 2 π 2 0 ω J 0 ( ω ) d ω = 2 α 2 π 0 ω 3 J 0 ( ω ) d ω
ω 1 2 = 0 ω 3 J 0 ( ω ) d ω 0 ω J 0 ( ω ) d ω
From the above calculation it is evident that the on site energy of the reaction coordinate i.e. ω 1 remains unaffected by the scaling parameter α . Similarly we can show that the new coupling coefficient describing the coupling between the reaction coordinate and residual reservoir will be unaffected by the parameter α . Now let us define the spectral function of the residual bath or residual reservoir as,
J 1 ( ω ) = π 2 m C m 2 δ ( ω ω m )
Now the job is to express the spectral function of the residual bath i.e. J 1 ( ω ) with the older bath spectral function (one before the RC mapping) i.e. J 0 ( ω ) .
Now we would like to extend the above idea of reaction coordinate mapping in the general situation described by,
H ^ = H ^ S + H ^ B + H ^ S B H ^ B = m ν m c ^ m c ^ m H ^ S B = S ^ m g m ( c ^ m + c ^ m )
Where, S ^ being any arbitrary hermitian operator corresponding to the system. An alternative scenario of the system bath coupling can be described by,
H ^ S B = m ( g m S ^ c ^ m + g m S ^ c ^ m )
. In this situation S ^ is non-hermitian. Lets illustrate it by an example with the spin boson model hamiltonian dsescribed by,
H ^ 1 = ω 0 2 σ ^ z + m ν m c ^ m c ^ m + σ ^ x m g m ( c ^ m + c ^ m )
H ^ 2 = ω 0 2 σ ^ z + m ν m c ^ m c ^ m + m ( g m σ ^ + c ^ m + g m σ ^ c ^ m )
The hamiltonians H ^ 1 and H ^ 2 describes the above two situations. The only difference between the two hamiltonians is that for the first case scenario with H ^ 1 does not commute with the total excitation number operator i.e. N ^ e x c = σ ^ + σ ^ + m c ^ m c ^ m which means that N ^ e x c is not a conserved quantity in this case. But in the second case we can write, H ^ 2 , N ^ e x c = 0 which means that N ^ e x c is a conserved quantity which is the outcome of the Global U(1) symmetry. Now we can define the normal mode coordinate transformation as follows,
c ^ m = u m q b ^ q + v m q b ^ q
c m = u m q b ^ q + v m q b ^ q
This kind of transformation is called a symplectic transformation. There is another way to define the transformation defined as,
c ^ m = u m q b ^ q and c m = u m q b ^ q
The difference between the transformations of two kinds are noteworthy. In the first case the transformation mix up the creation and annihilation operators of the bath modes before and after the reaction coordinate mapping where as in the second case such mixing doesn’t happen. The later case is just an unitary transformation. The condition of unitarity and symplecticity are hereby imposed to preserve the commutation (anti-commutation) relations of the bosonic (fermionic) creation and annihilation operators.
Derivation of Symplecticity and Unitarity: For bosons and fermionic mapping case we must have,
c ^ m , c n ^ ± = δ m n with b ^ α , b ^ β ± = δ α β
The condition essentially preserve the necessary commutation (anti-commutation) relations for the bosonic and fermionic mapping case for the creation and annihilation operators corresponding to the new and older normal modes. We have defined in general for any two operator A ^ and B ^ ,
A ^ , B ^ ± = A ^ B ^ ± B ^ A ^
Now for the fermionic case we have,
c ^ m , c ^ n = α β u m α u n β b ^ α , b ^ β + u m α v n β b ^ α , b ^ β + u n β v m α b ^ β , b ^ α + v m α v n β b ^ α , b ^ β
α β u m α v n β b ^ α , b ^ β + u n β v m α b ^ β , b ^ α = 0
α ( u ) m α ( v T ) α n + ( v ) m α ( u T ) α n = 0 u v T + v u T = 0
c ^ m , c ^ n = α β u m α u n β b ^ α , b ^ β + v m α v n β b ^ α , b ^ β
α ( u ) m α ( u ) α n + ( v ) m α ( v ) α n = ( I ) m n u u + v v = I
 
For the bosonic case the same calculation as above keeping in mind that the commutation relations holds we get,
c ^ m , c ^ n = 0 α ( u ) m α ( v T ) α n ( v ) m α ( u T ) α n = 0 u v T v u T = 0
c ^ m , c ^ n = α ( u ) m α ( u ) α n ( v ) m α ( v ) α n = ( I ) m n u u v v = I
Summing up those results we can write
u v T ± v u T = 0 and u u ± v v = I
plus (minus) signs appears in the case of fermionic (bosonic) mapping case respectively. The mapping enables us to achieve a reaction coordinate mapping of the following form given below with u m α , v m α being real such that with a Bogoliubov transformation,
u m α = 1 2 a m b α + b α a m Λ m α
v m α = 1 2 a m b α b α a m Λ m α
we can establish a mapping of the following type,
H ^ = H ^ S + m ν m c ^ m c ^ m + S ^ m g m ( c ^ m + c ^ m )
H ^ R = U ^ R H ^ U R ^ = H ^ S + ω 1 b ^ 1 b ^ 1 + λ S ^ ( b ^ 1 + b ^ 1 ) + m 1 ω m b ^ m b ^ m + ( b ^ 1 + b ^ 1 ) m 1 h m ( b ^ m + b ^ m )
such that H ^ R = H ^ S + H ^ R C + H ^ S R C + H ^ R E + H ^ R C R E = H ^ E S + H ^ R E + H ^ R C R E
H ^ R C = ω 1 b ^ 1 b ^ 1 , H ^ R E = m 1 ω m b ^ m b ^ m , H ^ S R C = λ S ^ ( b ^ 1 + b ^ 1 )
H ^ R C R E = ( b ^ 1 + b ^ 1 ) m 1 h m ( b ^ m + b ^ m )
H ^ e x t = H ^ S + H ^ R C + H ^ S R C = H ^ S + ω 1 b ^ 1 b ^ 1 + λ S ^ ( b ^ 1 + b ^ 1 )
The exactness of the mapping is given by the condition that,
S ^ m g m ( c ^ m + c ^ m ) = λ S ^ ( b ^ 1 + b ^ 1 ) λ ( b ^ 1 + b ^ 1 ) = m g m ( c ^ m + c ^ m )
The above is true for both the bosonic and fermionic case. In order to prove further results related to the symplectic case let us consider the relatively easy case of unitary mapping which is obtained by putting, v m α = 0 . Then the transformations will be,
c ^ m = u m α b ^ α
c ^ m = u m α b ^ α
c ^ m , c ^ n ± = α β u m α u n β b ^ α , b ^ β ± α u m α u n α = δ m n
which gives α ( u ) m α ( u ) α n = ( I ) m n u u = I
Which gives the condition of unitarity which holds for both the fermionic and bosonic mapping. This kind of transformation maps the hamiltonian H ^ with H ^ R such that,
H ^ = H ^ S + m ν m c ^ m c ^ m + m g m S ^ c ^ m + g m S ^ c ^ m
H ^ R = U ^ R H ^ U ^ R = H ^ S + ω 1 b ^ 1 b ^ 1 + λ S ^ b ^ 1 + λ S ^ b ^ 1 + m 1 ω m b ^ m b ^ m + m 1 h m b ^ 1 b ^ m + h m b ^ 1 b ^ m
H ^ R = H ^ S + H ^ R C + H ^ S R C + H ^ R E + H ^ R C R E
H ^ R C = ω 1 b ^ 1 b ^ 1 , H ^ S R C = λ S ^ b ^ 1 + λ S ^ b ^ 1
 
H ^ R E = m 1 ω m b ^ m b ^ m , H ^ R C R E = m 1 h m b ^ 1 b ^ m + h m b ^ 1 b ^ m
Now for the bosonic case with the unitary mapping from the exactness condition of mapping we can write,
m g m S ^ c ^ m + g m S ^ c ^ m = λ S ^ b ^ 1 + λ S ^ b ^ 1 λ b ^ 1 = m g m c ^ m , λ b ^ 1 = m g m c ^ m
λ 2 b ^ 1 , b ^ 1 = m n g m g n c ^ m , c ^ n = m n g m g n δ m n = m | g m | 2 λ 2 = m | g m | 2
H ^ B = m ν m c ^ m c ^ m m α β ν m u m α u m β b ^ α b ^ β = m ν m | u m 1 | 2 b ^ 1 b ^ 1
+ m α 1 ν m | u m α | 2 b ^ α b ^ α + m α 1 ν m u m α u m 1 b ^ α b ^ 1 + ( other   terms )
which gives ω 1 = m ν m | u m 1 | 2 and m ν m | u m α | 2 = ω α for α 1
Now, we can write ,
λ b ^ 1 = m g m c ^ m with b ^ 1 = u m 1 c ^ m gives λ u m 1 = g m
| u m 1 | 2 = | g m | 2 | λ | 2 | λ | 2 ω 1 = m | g m | 2 ν m
Let us define the bath spectral function of the original bath before the RC mapping as ,
J 0 ( ω ) = 2 π m | g m | 2 δ ( ω ν m )
We can express the new quantities i.e. λ , ω 1 in terms of J 0 ( ω ) .We can write assuming λ being real that,
λ 2 = m | g m | 2 = 1 2 π 0 J 0 ( ω ) d ω
λ 2 ω 1 = m | g m | 2 ν m = 1 2 π 0 ω J 0 ( ω ) d ω
ω 1 = 1 2 π λ 2 0 ω J 0 ( ω ) d ω = 0 ω J 0 ( ω ) d ω 0 J 0 ( ω ) d ω
with λ being real we can also write that,
λ b ^ 1 = m g m c ^ m = m α g m u m α b ^ α = m g m u m 1 b ^ 1 + m α 1 g m u m α b ^ α
on comparison λ = m g m u m 1 with m α 1 g m u m α b ^ α = 0
λ = λ = m g m u m 1 λ = m g m u m 1 = m g m u m 1
with m | u m 1 | 2 = 1 and λ 2 = m | g m | 2 we get u m 1 = g m λ
Now for the fermionic mapping case, the above results will also hold but the mapping has to be written in such a way that the fermionic anti-commutation relations are satisfied. We can write
H ^ = H ^ S + m ν m c ^ m c ^ m + m g m d ^ c ^ m + g m c ^ m d ^
H ^ S B = m ( g m a ^ c ^ m + g m c ^ m a ^ ) = m ( g m d ^ c ^ m g m d ^ c ^ m )
H ^ R = U ^ R H ^ U ^ R = H ^ S + ω 1 b ^ 1 b ^ 1 + m 1 ω m b ^ m b ^ m + λ d ^ b ^ 1 λ d ^ b ^ 1 + m 1 h m b ^ 1 b ^ m m h m b ^ 1 b ^ m
For the fermionic situation the frequency corresponding to the bath modes can be negative as well .In this case the above results will still hold along with the exactness condition of the mapping such that with,
m g m d ^ c ^ m m g m d ^ c ^ m = λ d ^ b ^ 1 λ d ^ b ^ 1
which leads to, λ 2 = m g m 2 along with the condition of unitarity m | u m 1 | 2 = 1 . Similarly we can write, λ 2 ω 1 = m ν m | g m | 2 . In terms of the old spectral function J 0 ( ω ) we can write,
λ 2 = 1 2 π J 0 ( ω ) d ω
λ 2 ω 1 = m | g m | 2 ν m = 1 2 π ω J 0 ( ω ) d ω
ω 1 = 1 2 π λ 2 ω J 0 ( ω ) d ω = ω J 0 ( ω ) d ω J 0 ( ω ) d ω
The above mapping is called fermionic particle mapping. Now lets come back to the discussion of the symplectic mapping to be more precise the symplecticity imposed along with the Bogoliubov transformation. The idea is to map the hamiltonian in the first quantized form i.e. in terms of position and momentum operators with the fact that the transformation when written in terms of position and momentum operators corresponding to individual bath modes it will become an orthogonal transformation to preserve the desired commutation relations for the bosonic case. We have previously defined that,
c ^ m = 1 2 a m b α + b α a m Λ m α b ^ α + 1 2 a m b α b α a m Λ m α b ^ α
c ^ m = a m b α + b α a m Λ m α b ^ α + 1 2 a m b α b α a m Λ m α b ^ α
Now let us define the two sets of position-momentum operators corresponding to the old and new sets of normal mode (coordinates). such that,
x ^ m = 1 2 ν m c ^ m + c ^ m , p ^ m = i ω m 2 c m c ^ m
X ^ m = 1 2 ω m b ^ m + b ^ m , P ^ m = i ω m 2 b ^ m b ^ m
From the transformation laws we can clearly see that the preservation of commutation relations require that,
c ^ m , c ^ n = 0 α u m α v n α v m α u n α = 0 α a m a n a n a m Λ m α Λ n α = 0
α Λ m α Λ n α = 0 for m n
c ^ m , c ^ m = I ^ α u m α 2 v m α 2 = 1 α Λ m α 2 = 1 α Λ m α Λ n α = δ m n
such that Λ Λ T = I i . e . Λ T = Λ 1
So, the transformation is strictly orthogonal. Using the transformation laws we can write,
x ^ m = 1 2 ν m c ^ m + c ^ m = α 1 2 ν m u m α + v m α b ^ α + b ^ α
x ^ m = α ω α ν m 1 2 a m b α Λ m α X ^ α x ^ m = α Λ m α X ^ α with a m b α = ν m ω α 1 2
Now along with the transformation x ^ m = Λ m α X ^ α and p ^ m = Λ m α P ^ α we can write,
H ^ S B = S ^ m g m c ^ m + c ^ m = S ^ m g m ( 2 ν m ) 1 2 x ^ m = S ^ m c m x ^ m with c m = ( 2 ν m ) 1 2 g m
H ^ B = m ν m c ^ m c ^ m = 1 2 m p ^ m 2 + ν m 2 x ^ m 2
1 2 m p ^ m 2 1 2 m α β Λ m α Λ m β P ^ α P ^ β = 1 2 α P ^ α 2 = 1 2 P ^ 1 2 + 1 2 m 1 P ^ m 2
1 2 m ν m 2 x ^ m 2 1 2 m α β ν m 2 Λ m α Λ m β X ^ α X ^ β = 1 2 m ν m 2 Λ m 1 2 X ^ 1 2 + 1 2 m α 1 ν m 2 Λ m α 2 X ^ α 2
+ m α 1 ν m 2 Λ m α Λ m 1 X ^ α X ^ 1 + m α β , α β ν m 2 Λ m α Λ m β X ^ α X ^ β
= 1 2 ω 1 2 X ^ 1 2 + 1 2 m 1 ω m 2 X ^ m 2 + X ^ 1 m 1 C m X ^ m
mapping gives S ^ m c m x ^ m = λ 0 S ^ X ^ 1 S ^ m g m c ^ m + c ^ m = λ S ^ b ^ 1 + b ^ 1 with λ = λ 0 ( 2 ω 1 ) 1 2
With the Bogoliubov condition the transformation laws can be written as,
u m a = 1 2 ν m ω α + ω α ν m Λ m α
v m α = 1 2 ν m ω α ω α ν m Λ m α
On comparison we can also write,
ω 1 2 = m ν m 2 Λ m 1 2
ω α 2 = m ν m 2 Λ m α 2
C α = m ν m 2 Λ m α Λ m 1
λ S ^ ( b ^ 1 + b ^ 1 ) = S ^ m g m ( c ^ m + c ^ m ) λ ( 2 ω 1 ) 1 / 2 X ^ 1 = m g m ( 2 ν m ) 1 / 2 x ^ m
λ ( 2 ω 1 ) 1 / 2 m Λ m 1 x ^ m = m g m ( 2 ν m ) 1 / 2 x ^ m λ ( 2 ω 1 ) 1 / 2 Λ m 1 = g m ( 2 ν m ) 1 / 2
Λ m 1 = g m λ ν m ω 1 1 2
The above relation puts a constraint over the matrix element (elements of the first column) of orthogonal transformation. Now from the orthogonality condition we get, Λ m α Λ n α = δ m n we can write, with m Λ m 1 2 = 1 that,
λ 2 ω 1 = m g m 2 ν m = 1 2 π 0 ω J 0 ( ω ) d ω λ 2 = 1 2 π ω 1 0 ω J 0 ( ω ) d ω
ω 1 2 = m ν m 2 Λ m 1 2 and Λ m 1 2 = g m 2 ν m λ 2 ω 1 gives λ 2 ω 1 3 = m g m 2 ν m 3
λ 2 ω 1 3 = 1 2 π 0 ω 3 J 0 ( ω ) d ω
ω 1 2 = 1 2 π λ 2 ω 1 0 ω 3 J 0 ( ω ) d ω ω 1 2 = 0 ω 3 J 0 ( ω ) d ω 0 ω J 0 ( ω ) d ω
Now after transforming the Hamiltonian in terms of position and momentum operators i.e. ( x ^ m , p ^ m ) and then making the transformation to the new set of coordinates i.e. ( X ^ m , P ^ m ) we can again convert it back in terms of new set of creation and annihilation operators i.e. ( b ^ m , b ^ m ) we can write,
H ^ = H ^ S + m ν m c ^ m c ^ m + S ^ m g m ( c ^ m + c ^ m ) = H ^ S + 1 2 m p ^ m 2 + ν m 2 x ^ m 2 + S ^ m c m x ^ m
H ^ R = H ^ S + 1 2 P ^ 1 2 + ω 1 2 X ^ 1 2 + 1 2 m 1 P ^ m 2 + ω m 2 X ^ m 2 + λ 0 S ^ X ^ 1 + X ^ 1 m C m X ^ m
= H ^ S + ω 1 b ^ 1 b ^ 1 + m 1 ω m b ^ m b ^ m + λ S ^ b ^ 1 + b ^ 1 + b ^ 1 + b ^ 1 m 1 h m b ^ m + b ^ m
where λ = λ 0 ( 2 ω 1 ) 1 2 , h m = C m ( 2 ω 1 ) 1 2 ( 2 ω m ) 1 2 = C m ( 4 ω m ω 1 )
In the above group of equations we have identified c m = ( 2 ω m ) 1 / 2 g m . Let the new spectral function of the residual bath be,
J 1 ( ω ) = 2 π m h m 2 δ ( ω ω m )
Now the next job is to express the Residual bath spectral function in terms of the old bath spectral function J 0 ( ω ) which we will find for both type of mapping cases, the symplectic and unitary situations. For establishing the relation between the new spectral function of the residual bath and the old bath spectral function (the one before the reaction coordinate mapping) we can use two different techniques. Let us consider the mapping between the two Hamiltonians H ^ and H ^ R such that,
H ^ = H ^ S + 1 2 m p ^ m 2 + ν m 2 x ^ m c m ν m 2 S ^ 2
H ^ R = H ^ S + δ Ω 0 2 2 S ^ 2 + 1 2 P ^ 1 2 + ω 1 2 X ^ 1 2 + 1 2 m 1 P ^ m 2 + ω m 2 X ^ m 2 λ 0 S ^ X ^ 1 X ^ 1 m C m X ^ m
with J 0 ( ω ) = π 2 m c m 2 δ ( ω ν m ) and J 1 ( ω ) = π 2 m C m 2 δ ( ω ω m )

1.1. Establishing the Relation Between the Spectral Function of the Residual Bath and the Old Bath After One Step of Reaction Coordinate Mapping

Replacing the system Hamiltonian by the classical hamiltonian[1,2] of a generalised coordinate q moving in a potential U ( q ) we can write a classical hamiltonian also by replacing the bath modes by the classical position and momentum observables i.e. the canonically conjugate classical entities we will get from the initial hamiltonian that,
H q = P q 2 2 + U ( q ) + 1 2 m p m 2 + ν m 2 x m 2 q m c m x m + q 2 m c m 2 2 ν m 2
And the classical counterpart of the transformed hamiltonian (the one obtained after making the reaction coordinate transformation) will be,
H q R = P q 2 2 + U ( q ) + δ Ω 0 2 2 q 2 + 1 2 P 1 2 + ω 1 2 X 1 2 + 1 2 m 1 P m 2 + ω m 2 X m 2 λ 0 q X 1 X 1 m C m X m
From (135) we can write the classical Hamilton’s equations of motion for q and x m such that,
q ˙ = H P q = P q , P q ˙ = H q = U ( q ) q + m c m x m q m c m 2 ν m 2
q ¨ = P q ˙ = U ( q ) q + m c m x m
x ˙ m = H p m = p m , p ˙ m = H x m = ν m 2 x m + q c m
x ¨ m = p ˙ m = ν m 2 x m + q c m
Let us define the fourier transform of any arbitrary function f ( t ) as,
f ^ ( z ) = f ( t ) e i z t d t with I⋗ ( z ) > 0
Taking the fourier transformation of (138) and (140) respectively we get,
z 2 q ^ ( z ) = U ( q ) q ^ + m c m x ^ m ( z )
z 2 x ^ m ( z ) = ν m 2 x ^ m ( z ) + c m q ^ ( z )
after eliminating x ^ m ( z ) from the above equations we can write,
z 2 q ^ ( z ) = U ( q ) q ^ + m c m 2 q ^ ( z ) ω m 2 z 2 m c m 2 ω m 2 q ^ ( z )
z 2 q ^ ( z ) + m c m 2 ν m 2 q ^ ( z ) m c m 2 q ^ ( z ) ν m 2 z 2 = U ( q ) q ^
L ^ 0 ( z ) q ^ ( z ) = U ( q ) q ^
Where L ^ 0 ( z ) has been defined as a Fourier space operator defined as,
L ^ 0 ( z ) = z 2 + δ Ω 0 2 m c m 2 ν m 2 z 2
Now using 134 we can write,
m c m 2 ν m 2 z 2 = 2 π 0 ω J 0 ( ω ) ω 2 z 2 d ω = 1 π J 0 ( ω ) ω z d ω
Where we have used the property that, J 0 ( ω ) = J 0 ( ω ) .It allows us to define the Cauchy transformation of the older bath spectral function J 0 ( ω ) defined as,
W 0 ( z ) = 1 π J 0 ( ω ) ω z d ω = 2 π 0 ω J 0 ( ω ) ω 2 z 2 d ω
Using the definition of the Cauchy transform of J 0 ( ω ) we can directly express the Fourier space operator in terms of W 0 ( z ) such that,
L ^ 0 ( z ) = z 2 + δ Ω 0 2 W 0 ( z )
z 2 + δ Ω 0 2 W 0 ( z ) q ^ ( z ) = U ( q ) q ^
Using the Cauchy residue theorem we can calculate the integral (149) by calculating the residue of the integrand at the point ω = z , a pole type singularity of order 1 such that,
2 π 0 ω J 0 ( ω ) ω 2 z 2 d ω = 2 π × ( π i ) × Res at ( ω = z )
Res at z = lim ω z ( ω z ) ω J 0 ( ω ) ( ω + z ) ( ω z ) = 1 2 J 0 ( z )
W 0 ( z ) = i J 0 ( z ) with z = ω + i ϵ we get lim ϵ 0 Im W 0 ( ω + i ϵ ) = J o ( ω )
We can write with, W 0 + ( ω ) = lim ϵ 0 W 0 ( ω + i ϵ ) Now the Fourier space operator can be further simplified by using the contour integral evaluation such that,
with δ Ω 0 2 = 2 π 0 J 0 ( ω ) ω d ω we get L ^ 0 ( z ) = z 2 + 2 π 0 J 0 ( ω ) ω d ω 2 π 0 ω J 0 ( ω ) ω 2 z 2 d ω
L ^ 0 ( z ) = z 2 2 z 2 π 0 J 0 ( ω ) ω ( ω 2 z 2 ) d ω = z 2 1 + 2 π 0 J 0 ( ω ) ω ( ω 2 z 2 ) d ω = z 2 L ^ ( z )
L ^ ( z ) = 1 + 2 π 0 J 0 ( ω ) ω ( ω 2 z 2 ) d ω
2 π 0 J 0 ( ω ) ω ( ω 2 z 2 ) d ω = 2 π × ( π i ) × Res at ( ω = z )
Res at z = lim ω z ( ω z ) J 0 ( ω ) ω ( ω + z ) ( ω z ) = J 0 ( z ) 2 z 2 L ^ ( z ) = 1 + i J 0 ( z ) z 2
L ^ 0 ( z ) = z 2 1 + i J 0 ( z ) z 2 = z 2 i J 0 ( z )
with z = ω + i ϵ we have L ^ 0 ( ω + i ϵ ) = ( ω + i ϵ ) 2 i J 0 ( ω + i ϵ )
then lim ϵ 0 Im L ^ 0 ( ω + i ϵ ) = lim ϵ 0 2 ω ϵ J 0 ( ω + i ϵ ) = J 0 ( ω )
Hence J 0 ( ω ) = lim ϵ 0 Im L ^ 0 ( ω + i ϵ )
It is interesting to note that,
W 0 ( 0 ) = 2 π 0 J 0 ( ω ) ω d ω = δ Ω 0 2
Now lets use the same set of tricks to find out the hamilton’s equations of motion from the transformed hamiltonian H ^ R for q , X 1 and X m for m 1 from equation (136) we can write,
q ˙ = H q R P q = P q , q ¨ = P ˙ q
P ˙ q = H q R q = U ( q ) q δ Ω 0 2 q + λ 0 X 1
X ˙ 1 = H q R P 1 = P 1 , X ¨ 1 = P ˙ 1
P ˙ 1 = H q R X 1 = ω 1 2 X 1 + m 1 C m X m
X ˙ m = H q R P m = P m , X ¨ m = P ˙ m
P ˙ m = H q R X m = ω m 2 X m + C m X 1
Altogther we write the equations for q , X 1 and X m for m 1 as,
q ¨ = U ( q ) q δ Ω 0 2 q + λ 0 X 1
X ¨ 1 = ω 1 2 X 1 + m 1 C m X m
X ¨ m = ω m 2 X m + C m X 1
Now taking the fourier transformation at both sides of the above equations we can write,
z 2 q ^ ( z ) = U ( q ) q ^ δ Ω 0 2 q ^ ( z ) + λ 0 X ^ 1 ( z )
z 2 X ^ 1 ( z ) = ω 1 2 X ^ 1 ( z ) + m 1 C m X ^ m ( z )
z 2 X ^ m ( z ) = ω m 2 X ^ m ( z ) + C m X ^ 1 ( z )
Now eliminating X ^ m ( z ) and X ^ 1 ( z ) from the above equations and expressing everything in terms of the action of the Fourier space operator on q ^ ( z ) we can write,
X ^ m ( z ) = C m X ^ 1 ( z ) ω m 2 z 2
X ^ 1 ( z ) ω 1 2 z 2 m C m 2 ω m 2 z 2 = λ 0 q ^ ( z )
z 2 + δ Ω 0 2 λ 0 2 ω 1 2 z 2 m C m 2 ω m 2 z 2 q ^ ( z ) = U ( q ) q ^
Such that the above equation can be expressed as,
L ^ 0 ( z ) q ^ ( z ) = U ( q ) q ^
. Where we have defined the Fourier space operator L ^ 0 ( z ) as,
L ^ 0 ( z ) = z 2 + δ Ω 0 2 λ 0 2 ω 1 2 z 2 m C m 2 ω m 2 z 2
By definition we have,
J 1 ( ω ) = π 2 m C m 2 δ ( ω ω m )
Defining the Cauchy transformation of the Residual bath spectral function J 1 ( ω ) as before with,
W 1 ( z ) = 2 π 0 ω J 1 ( ω ) ω 2 z 2 d ω
we can write
m C m 2 ω m 2 z 2 = 2 π 0 ω J 1 ( ω ) ω 2 z 2 d ω = 1 π J 1 ( ω ) ω z d ω = W 1 ( z )
Such that we can write,
L ^ 0 ( z ) = z 2 + δ Ω 0 2 λ 0 2 ω 1 2 z 2 W 1 ( z )
Due to the equivalence of the reaction coordinate mapping we can compare (151) and (179) we get,
z 2 + δ Ω 0 2 λ 0 2 ω 1 2 z 2 W 1 ( z ) = z 2 + δ Ω 0 2 W 0 ( z )
W 0 ( z ) = λ 0 2 ω 1 2 z 2 W 1 ( z )
Let us define the transformed system renormalization term as,
δ Ω 1 2 = m C m 2 ω m 2 = m ω m 2 C m 2 = 2 π 0 J 1 ( ω ) ω d ω
Again from the definition of the Cauchy transformation of J 1 ( ω ) we can directly write that W 1 ( 0 ) = 2 π 0 J 1 ( ω ) ω d ω = δ Ω 1 2 . Such that in general we can write for i = 0 , 1 ,
δ Ω i 2 = W i ( 0 )
From (186) we can write,
W 1 ( z ) = ω 1 2 z 2 λ 0 2 W 0 ( z )
The above equation along with the fact that, δ Ω i 2 = W i ( 0 ) we can find the relation between δ Ω 1 2 and δ Ω 0 2 given by,
δ Ω 1 2 = ω 1 2 λ 0 2 δ Ω 0 2 ω 1 2 = δ Ω 1 2 + λ 0 2 δ Ω 0 2
Proceeding in the same manner as before we can write, lim ϵ 0 Im W 1 ( ω + i ϵ ) = J 1 ( ω ) such that from equation (188) we can write by replacing z ( ω + i ϵ ) we get,
W 1 ( ω + i ϵ ) = ω 1 2 ( ω + i ϵ ) 2 λ 0 2 W 0 ( ω + i ϵ )
W 1 ( ω + i ϵ ) = ω 1 2 ω 2 2 i ω ϵ + ϵ 2 λ 0 2 W 0 ( ω + i ϵ ) | W 0 ( ω + i ϵ ) | 2
Im W 1 ( ω + i ϵ ) = 2 ω ϵ + λ 0 2 Im W 0 ( ω + i ϵ ) | W 0 ( ω + i ϵ ) | 2
lim ϵ 0 Im W 1 ( ω + i ϵ ) = λ 0 2 lim ϵ 0 Im W 0 ( ω + i ϵ ) lim ϵ 0 | W 0 ( ω + i ϵ ) | 2
Such that we can directly write,
J 1 ( ω ) = λ 0 2 J 0 ( ω ) | W 0 + ( ω ) | 2
Now we can express the denominator of the above equation in terms of Cauchy principle value integral and the old bath spectral function i.e. J 0 ( ω ) . By definition,
W 0 ( ω ) = 2 π 0 ω J 0 ( ω ) ω 2 ω 2 d ω
Such that we can write,
W 0 ( ω + i ϵ ) = 1 π J 0 ( ω ) ( ω ω i ϵ ) d ω = 1 π J 0 ( ω ) ( ω ω ) ( ω ω ) 2 + ϵ 2 d ω + i 1 π J 0 ( ω ) ϵ ( ω ω ) 2 + ϵ 2 d ω
Which leads to,
lim ϵ 0 | W 0 ( ω + i ϵ ) | 2 = | W 0 + ( ω ) | 2 = 1 π P d ω J 0 ( ω ) ω ω d ω 2 + J 0 ( ω ) 2
Using the fact that the Dirac delta function can be expressed as a limiting form of the Lorentzian with vanishingly small width such that,
1 π lim ϵ 0 ϵ ( ω ω ) 2 + ϵ 2 = δ ( ω ω )
Then we can finally determine J 1 ( ω ) from J 0 ( ω ) using the equation,
J 1 ( ω ) = λ 0 2 J 0 ( ω ) 1 π P d ω J 0 ( ω ) ω ω d ω 2 + J 0 ( ω ) 2
It is important to note that as pointed out before that the scaling transformation of c m α c m with α R only affects λ 0 and δ Ω 0 2 with the other quantities like ω 1 2 and the spectral function of the residual bath i.e. J 1 ( ω ) remain unaffected by the scaling transformation. Now the transformed Hamiltonian i.e. H ^ R can be expressed in terms of δ Ω 0 and the modified system renormalization term δ Ω 1 2 by using (189) and (187) as follows,
H ^ R = H ^ S + δ Ω 0 2 2 S ^ 2 + 1 2 P ^ 1 2 + δ Ω 1 2 + λ 0 2 δ Ω 0 2 X ^ 1 2 + 1 2 m 1 P ^ m 2 + ω m 2 X ^ m 2 λ 0 S ^ X ^ 1 X ^ 1 m 1 C m X ^ m
= H ^ S + 1 2 P ^ 1 2 + λ 0 2 δ Ω 0 2 X ^ 1 δ Ω 0 λ 0 S ^ 2 + 1 2 m 1 P ^ m 2 + ω m 2 X ^ m C m ω m 2 X ^ 1 2
Now using the same steps we can find the relation between the spectral function of the residual bath and the spectral function of the old bath for the symplectic mapping discussed before along with the Bogoliubov transformations discussed before. For the mapping between the two hamiltonians achieved through the symplectic transformation with u m α = 1 2 ν m ω α + ω α ν m Λ m α and v m α = 1 2 ν m ω α ω α ν m Λ m α we have,
H ^ = H ^ S + m ν m c ^ m c ^ m + S ^ m g m c ^ m + c ^ m
after decomposition H ^ S = H ^ S ( 0 ) + S ^ 2 m g m 2 ν m
H ^ = H ^ S ( 0 ) + S ^ 2 m g m 2 ν m 2 + m ν m c ^ m c ^ m + S ^ m g m c ^ m + c ^ m
= H ^ S ( 0 ) + S ^ 2 m c m 2 2 ν m 2 + 1 2 m p ^ m 2 + ν m 2 x ^ m 2 + S ^ m c m x ^ m with c m = 2 ν m g m
H ^ R = H ^ S ( 0 ) + S ^ 2 m c m 2 2 ν m 2 + 1 2 P ^ 1 2 + ω 1 2 X ^ 1 2 + 1 2 m 1 P ^ m 2 + ω m 2 X ^ m 2 + λ 0 S ^ X ^ 1 + X ^ 1 m 1 C m X ^ m
Again by defining δ Ω 0 2 = m c m 2 ν m 2 and the bath spectral function
J S B ( ω ) = 2 π m g m 2 δ ( ω ν m ) = π m c m 2 ν m δ ( ω ν m ) using g m = c m 2 ν m
Then, again proceeding in the same fashion i.e. by replacing the system hamiltonian by a classical coordinate q moving in a potential U ( q ) along with the replacement of the system operator S ^ by q and the bath mode operators by usual position and momentum operators we can write the classical counterpart of the initial hamiltonian and the transformed hamiltonian respectively as,
H q = P q 2 2 + U ( q ) + δ Ω 0 2 2 q 2 + q m c m x m + 1 2 m p m 2 + ν m 2 x m 2
H q R = P q 2 2 + U ( q ) + δ Ω 0 2 2 q 2 + λ 0 q X 1 + 1 2 P 1 2 + ω 1 2 X 1 2 + 1 2 m = 1 P m 2 + ω m 2 X m 2 + X 1 m 1 C m X m
Now the hamilton’s equations of motion for q and x m from the hamiltonian H q will be,
q ¨ + U ( q ) q + q δ Ω 0 2 + m c m x m = 0
x ¨ m + ν m 2 x m + q c m = 0
After taking the fourier transform of the both sides of the above equations just like before and then eliminating x m we found,
K ^ ( z ) q ^ ( z ) = U ( q ) q ^
where K ^ ( z ) = z 2 + δ Ω 0 2 m c m 2 ν m 2 z 2 = z 2 + δ Ω 0 2 1 π 0 ω J 0 ( ω ) ( ω 2 z 2 ) d ω
K ^ ( z ) = z 2 + δ Ω 0 2 1 2 W 0 ( z )
Like before again we can define the cauchy transformation of J S B ( ω ) such that,
W 0 ( z ) = 2 π 0 ω J S B ( ω ) ( ω 2 z 2 ) d ω = 1 π J S B ( ω ) ω z d ω
Such that, the fourier space operator becomes, K ^ ( z ) = z 2 + δ Ω 0 2 1 2 W 0 ( z ) . Further calculation using the fact that,
δ Ω 0 2 = m c m 2 ν m 2 = 1 π 0 J S B ( ω ) ω d ω = 1 2 W 0 ( 0 )
we get
K ^ ( z ) = z 2 1 + m c m 2 ν m 2 ( ν m 2 z 2 ) = z 2 1 + 1 π 0 J S B ( ω ) ω ( ω 2 z 2 ) d ω
Further evaluating the integral using the cauchy residue theorem we get,
K ^ ( z ) = z 2 2 i J S B ( z )
and then replacing z ( ω + i ϵ ) we get,
J S B ( ω ) = 1 2 lim ϵ 0 Im K ^ ( ω + i ϵ )
J S B ( ω ) = lim ϵ 0 Im W 0 ( ω + i ϵ )
Now similarly from the Hamilton’s equations of motion of the transformed hamiltonian i.e. H q R we can write,
q ¨ + U ( q ) q + δ Ω 0 2 q + λ 0 X 1 = 0
X ¨ 1 + ω 1 2 X 1 + λ 0 q + m C m X m = 0
X ¨ m + ω m 2 X m + C m X 1 = 0
Taking the Fourier transform of both sides of above written equations we can write,
X ^ m ( z ) = C m X ^ 1 ( z ) z 2 ω m 2
X ^ 1 ( z ) = λ 0 q ^ ( z ) z 2 + ω 1 2 m C m 2 ( ω m 2 z 2 )
Eliminating X ^ m ( z ) and X ^ 1 ( z ) and expressing everything in terms of q ^ ( z ) we can write the operator equation such that,
z 2 + δ Ω 0 2 λ 0 2 z 2 + ω 1 2 m C m 2 ω m 2 z 2 q ^ ( z ) = U ( q ) q ^ K ^ ( z ) q ^ ( z ) = U ( q ) q ^
K ^ ( z ) = z 2 + δ Ω 0 2 λ 0 2 z 2 + ω 1 2 m C m 2 ω m 2 z 2
We define the spectral function of the Residual bath as,
J R C ( ω ) = π m C m 2 ω m δ ( ω ω m )
with, W 1 ( z ) = 2 π 0 ω J R C ( ω ) ( ω 2 z 2 ) d ω = 1 π J R C ( ω ) ω z d ω we can write,
K ^ ( z ) = z 2 + δ Ω 0 2 λ 0 2 z 2 + ω 1 2 1 2 W 1 ( z )
Where we have used the fact that,
m C m 2 ω m 2 z 2 = 1 π 0 ω J R C ( ω ) ω 2 z 2 d ω = 1 2 W 1 ( z )
Now we can compare (213) and (226) them such that with the exactness condition of the RC Mapping we can directly write,
z 2 + δ Ω 0 2 1 2 W 0 ( z ) = z 2 + δ Ω 0 2 λ 0 2 z 2 + ω 1 2 1 2 W 1 ( z )
1 2 W 0 ( z ) = λ 0 2 z 2 + ω 1 2 1 2 W 1 ( z )
From the above equation we can write,
W 1 ( z ) = 2 z 2 + 2 ω 1 2 4 λ 0 2 W 0 ( z )
Such that with, δ Ω i 2 = 1 2 W i ( 0 ) for i = 0 , 1 we can write a slightly modified equation connecting δ Ω 1 2 = m C m 2 ω m 2 and δ Ω 0 2 such that,
δ Ω 1 2 = ω 1 2 λ 0 2 δ Ω 0 2
Then following the same method and with lim ϵ 0 W 0 ( ω + i ϵ ) = W 0 + ( ω ) we can write,
J R C ( ω ) = 4 λ 0 2 J S B ( ω ) | W 0 + ( ω ) | 2
Now lets simplify the denominator part which can be written in terms of the older bath spectral function and the Cauchy principle value of J S B ( ω ) . We can write,
W 0 ( ω ) = 1 π J S B ( ω ) ω ω d ω W 0 ( ω + i ϵ ) = 1 π J S B ( ω ) ω ω i ϵ
W 0 ( ω + i ϵ ) = 1 π J S B ( ω ) ( ω ω + i ϵ ) ( ω ω ) 2 + ϵ 2 d ω
lim ϵ 0 W 0 ( ω + i ϵ ) = lim ϵ 0 Re W 0 ( ω + i ϵ ) + i lim ϵ 0 Im W 0 ( ω + i ϵ )
Re W 0 ( ω + i ϵ ) = 1 π J S B ( ω ) ( ω ω ) ( ω ω ) 2 + ϵ 2
Im [ W 0 ( ω + i ϵ ) ] = ϵ π J S B ( ω ) ( ω ω ) 2 + ϵ 2 d ω
we know δ ( ω ω ) = lim ϵ 0 ϵ ( ω ω ) 2 + ϵ 2 lim ϵ 0 Im W 0 ( ω + i ϵ ) = J S B ( ω )
Re W 0 ( ω + i ϵ ) = 1 π P J S B ( ω ) ( ω ω ) d ω
then | W 0 + ( ω ) | 2 = lim ϵ 0 | W 0 ( ω + i ϵ ) | 2 = lim ϵ 0 Re W 0 ( ω + i ϵ ) 2 + Im W 0 ( ω + i ϵ ) 2
= 1 π P J S B ( ω ) ω ω d ω 2 + J S B ( ω ) 2
Then we can finally write,
J R C ( ω ) = 4 λ 0 2 J S B ( ω ) 1 π P J S B ( ω ) ω ω d ω 2 + J S B ( ω ) 2

1.2. Equation of Motion Technique to Find the Relation Between the Residual bath Spectral Function and the Initial Spectral Function for the Case of Particle and Phonon Mapping

The mapping visualized by the symplectic mapping is called the phonon mapping and the one achieved through the unitary transformation is called the particle mapping. In this section we will discuss the most general way to map between the spectral functions using the Heisenberg equation of motion technique[3]for both the cases of phonon and particle mapping for both the bosonic and fermionic case. First lets consider the situation for the phonon mapping.

1.2.1. Heisenberg Equation of Motion Technique for the Phonon Mapping

Phon mapping maps the two hamiltonians H ^ and H ^ R such that,
H ^ = H ^ S + m ν m a ^ m a ^ m + S ^ m ( h m a ^ m + h m a ^ m )
H ^ R = U ^ R H ^ U ^ R = H ^ S + ω 1 b ^ 1 b ^ 1 + λ S ^ ( b ^ 1 + b ^ 1 ) + m 1 ω m b ^ m b ^ m + ( b ^ 1 + b ^ 1 ) m 1 ( H m b ^ m + H m b ^ m )
Now for any arbitrary hermitian operator of the system say, A ^ we can write the Heisenberg equation of motion for it. We have, A ^ ( t ) = e i H ^ t A ^ e i H ^ t such that,
d A ^ ( t ) d t = i H ^ , A ^ ( t ) d A ^ ( t ) d t = i S ^ 1 ( t ) + i λ S ^ 2 ( t ) b ^ 1 ( t ) + b ^ 1 ( t )
d a ^ m ( t ) d t = i ν m a ^ m ( t ) i h m S ^ ( t )
d a ^ m ( t ) d t = i ν m a ^ m ( t ) + i h m S ^ ( t )
Where we have defined, S ^ 1 = H ^ S , A ^ and S ^ 2 = S ^ , A ^ and also keeping in mind that any arbitrary operator O ^ can be expressed in the Heisenberg picture such that, O ^ ( t ) = e i H ^ t O ^ e i H ^ t Then let us define the Fourier transformation of any arbitrary operator P ^ ( t ) such that,
P ^ ( z ) = P ^ ( t ) e i z t d t with Im z > 0
Taking the Fourier transformation of the both sides of the above equations we get,
i z a ^ m ( z ) = i ν m a ^ m ( z ) i h m S ^ ( z ) a ^ m ( z ) = h m S ^ ( z ) ( ν m + z )
i z a ^ m ( z ) = i ν m a ^ m ( z ) + i h m S ^ ( z ) a ^ m ( z ) = h m S ^ ( z ) ( z + ν m )
i z A ^ ( z ) = i S ^ 1 ( z ) + i 2 π m S ^ 2 ( z ) h m a ^ m ( z z ) d z + i 2 π m S ^ 2 ( z ) h m a ^ m ( z z ) d z
It is important to note that, the operators a ^ m ( z ) and a ^ m ( z ) will not be hermitian conjugate anymore in the fourier space and this is also true for b ^ m ( z ) and b ^ m ( z ) as well. We can see that,
a ^ m ( z ) = a ^ m ( t ) e i z t d t
a ^ m ( z ) = a ^ m ( t ) e i z t d t
then a ^ m ( z ) = a ^ m ( t ) e z t d t a ^ m ( z ) = a ^ m ( z )
To derive the last equation we have used the convolution property of the Fourier transform. Lets illustrate it mathematically starting from the definition of convolution. In general the convolution of two functions f ( t ) and g ( t ) is defined as follows,
( f g ) = 1 2 π f ( u ) g ( t u ) d u
such that the Fourier transform of the convolution of two functions is the product of their individual Fourier transformations. Such that,
F . T f g = 1 2 π ( f g ) e i ω t d t = 1 ( 2 π ) 2 f ( u ) g ( t u ) e i ω t d u d t
= 1 2 π f ( u ) 1 2 π g ( t u ) e i ω t d t d u = 1 2 π f ( u ) G ( ω ) e i ω u d u
where G ( ω ) = 1 2 π g ( t ) e i ω t d t along with F . T g ( t u ) = e i ω u G ( ω )
F . T f g = G ( ω ) F ( ω ) with F ( ω ) = 1 2 π f ( u ) e i ω u d u
Where in the last step we have invoked the shifting property of the Fourier transformation. So, thye inverse fourier transformation of the product of the fourier transformations of the functions f ( t ) and g ( t ) will be the convolution of the two functions i.e. ( f g ) . Such that, in the above mentioned heisenberg equation of motion for A ^ ( t ) we can write,
i z A ^ ( z ) = i S ^ 1 ( z ) + i λ 2 π S ^ 2 ( t ) b ^ 1 ( t ) + b ^ 1 ( t ) e i z t d t
with S ^ 2 ( t ) b ^ 1 ( t ) e i z t d t = 1 2 π S ^ 2 ( z ) b ^ 1 ( z z ) d z
and S ^ 2 ( t ) b ^ 1 ( t ) e i z t d t = 1 2 π S ^ 2 ( z ) b ^ 1 ( z z ) d z
Using the inverse fourier transfomation result with,
F ( ω ) G ( ω ) e i ω t d ω = 1 2 π f ( u ) g ( t u ) d u
Then substituting a ^ m ( z ) and a ^ m ( z ) from (251) and (252) and then substituting it back in (253) we can write,
i z A ^ ( z ) = i S ^ 1 ( z ) + i π S ^ 2 ( z ) m | h m | 2 ν m ( z z ) 2 ν m 2 S ^ ( z z ) d z
with m | h m | 2 ν m ( z z ) 2 ν m 2 = 1 2 π 0 ω J 0 ( ω ) ( z z ) 2 ω 2 d ω
and W 0 ( ω ) = 2 π 0 ω J 0 ( ω ) ω 2 z 2 d ω = 1 π J 0 ( ω ) ω z d ω
i z A ^ ( z ) = i S ^ 1 ( z ) + i π S ^ 2 ( z ) 1 2 π 0 ω J 0 ( ω ) ( z z ) 2 ω 2 d ω S ^ ( z z ) d z
= i S ^ 1 ( z ) i 2 π S ^ 2 ( z ) 1 2 W 0 ( z z ) S ^ ( z z ) d z
z A ^ ( z ) = S ^ 1 ( z ) 1 2 π S ^ 2 ( z ) 1 2 W 0 ( z z ) S ^ ( z z ) d z
It is important to note that, J 0 ( ω ) = 2 π m | h m | 2 δ ( ω ν m ) and the fact that, lim ϵ 0 Im W 0 ( ω + i ϵ ) = J 0 ( ω ) . Now applying the same set of Heisenberg equations of motion for any arbitrary hermitian operator of the system as mentioned in this context A ^ starting from the hamiltonian obtained after the reaction coordinate mapping i.e. H ^ R such that we can write,
d A ^ ( t ) d t = i S ^ 1 ( t ) + i λ S ^ 2 ( t ) b ^ 1 ( t ) + b ^ 1 ( t )
d b ^ 1 ( t ) d t = i ω 1 b ^ 1 ( t ) i λ S ^ ( t ) i m H m b ^ m ( t ) + H m b ^ m ( t )
d b ^ 1 ( t ) d t = i ω 1 b ^ 1 ( t ) + i λ S ^ ( t ) + i m H m b ^ m ( t ) + H m b ^ m ( t )
d b ^ m ( t ) d t = i ω m b ^ m ( t ) i H m b ^ 1 ( t ) + b ^ 1 ( t )
d b ^ m ( t ) d t = i ω m b ^ m ( t ) + i H m b ^ 1 ( t ) + b ^ 1 ( t )
Again by taking the fourier transformation of both sides of the equations and then eliminating the operators b ^ 1 ( z ) , b ^ 1 ( z ) and then b ^ m ( z ) , b ^ m ( z ) sequentially we can write the following equations.
i z A ^ ( z ) = i S ^ 1 ( z ) + i λ S ^ 2 ( z ) b ^ 1 ( z z ) + b ^ 1 ( z z ) d z
i z b ^ 1 ( z ) = i ω 1 b ^ 1 ( z ) i λ S ^ ( z ) i m H m b ^ m ( z ) + H m b ^ m ( z )
b ^ m ( z ) = H m b ^ 1 ( z ) + b ^ 1 ( z ) z + ω m and b ^ m ( z ) = H m b ^ 1 ( z ) + b ^ 1 ( z ) z ω m
z b ^ 1 ( z ) = ω 1 b ^ 1 ( z ) λ S ^ ( z ) + m | H m | 2 2 ω m ω m 2 z 2 b ^ 1 ( z ) + b ^ 1 ( z )
b ^ 1 ( z ) = λ ( z + ω 1 ) S ^ ( z ) + m | H m | 2 2 ω m ( ω 1 + z ) ( ω m 2 z 2 ) b ^ 1 ( z ) + b ^ 1 ( z )
b ^ 1 ( z ) = λ ( z ω 1 ) S ^ ( z ) m | H m | 2 2 ω m ( z ω 1 ) ( ω m 2 z 2 ) b ^ 1 ( z ) + b ^ 1 ( z )
b ^ 1 ( z z ) + b ^ 1 ( z z ) = 2 λ ω 1 S ^ ( z z ) ( z z ) 2 ω 1 2 + 4 m | H m | 2 ω m ω 1 ω m 2 ( z z ) 2
Then we can write,
z A ^ ( z ) = S ^ 1 ( z ) + 1 2 π S ^ 2 ( z ) 2 ω 1 λ 2 ( z z ) 2 ω 1 2 + 4 m | H m | 2 ω m ω 1 ω m 2 ( z z ) 2 S ^ ( z z ) d z
Now by defining J 1 ( ω ) = 2 π m | H m | 2 δ ( ω ω m ) and the Cauchy transformation of J 1 ( ω ) as W 1 ( z ) by,
W 1 ( z ) = 2 π 0 ω J 1 ( ω ) ω 2 z 2 d ω = 1 π J 1 ( ω ) ω z d ω
Such that by invoking,
4 ω 1 m | H m | 2 ω m ω m 2 ( z z ) 2 = 2 ω 1 π 0 ω J 1 ( ω ) ω 2 ( z z ) 2 d ω = ω 1 W 1 ( z z )
we can finally write,
z A ^ ( z ) = S ^ 1 ( z ) + 1 2 π S ^ 2 ( z ) 2 ω 1 λ 2 ( z z ) 2 ω 1 2 + ω 1 W 1 ( z z ) S ^ ( z z ) d z
Now by comparing (287) and (271) we can write that,
1 2 W 0 ( z z ) = 2 ω 1 λ 2 ( z z ) 2 ω 1 2 + ω 1 W 1 ( z z )
putting z = 0 we get W 1 ( z ) = 4 λ 2 W 0 ( z ) + ω 1 z 2 ω 1
Now by substituting z ( ω + i ϵ ) we can write,
J 1 ( ω ) = 4 λ 2 J 0 ( ω ) | W 0 + ( ω ) | 2
by using the fact that, lim ϵ 0 Im J i ( ω + i ϵ ) = J i ( ω ) for i = 0 , 1 and W 0 + ( ω ) = lim ϵ 0 W 0 ( ω + i ϵ ) . We have already shown the identity for | W 0 + ( ω ) | 2 i.e.
| W 0 + ( ω ) | 2 = 1 π P J 0 ( ω ) ω ω d ω 2 + J 0 ( ω ) 2
Such that, we can write,
J 1 ( ω ) = 4 λ 2 J 0 ( ω ) 1 π P J 0 ( ω ) ω ω d ω 2 + J 0 ( ω ) 2
The result can be generalized by writing in terms of a recursive relation which relates the bath spectral function at the present step with that in the preceding step such that,
lim ϵ 0 Im W n ( ω + i ϵ ) = J n ( ω )
J n + 1 ( ω ) = 4 λ 2 J n ( ω ) 1 π P J n ( ω ) ω ω d ω 2 + J n ( ω ) 2
J n + 1 ( ω ) = 4 λ n 2 J n ( ω ) | W n + ( ω ) | 2

1.2.2. Heisenberg Equation of Motion Technique for the Particle Mapping in the Bosonic Context

Now we will derive the relation between the Spectral density function of the Residual bath and that of the initial bath using the Heisenberg equation of motion technique in the case of the particle mapping which maps the two hamiltonians H ^ and H ^ R such that,
H ^ = H ^ S + m ν m a ^ m a ^ m + m h m S ^ a ^ m + h m S ^ a ^ m
H ^ R = U ^ R H ^ U R = H ^ S + ω 1 b ^ 1 b ^ 1 + m 1 ω m b ^ m b ^ m + λ S ^ b ^ 1 + S ^ b ^ 1 + m 1 H m b ^ 1 b ^ m + H m b ^ 1 b ^ m
With,
J 0 ( ω ) = 2 π m | h m | 2 δ ( ω ν m )
J 1 ( ω ) = 2 π m | H m | 2 δ ( ω ω m )
Now for any Hermitian operator A ^ for the system we can write the heisenberg equation of motion with the hamiltonians H ^ and H ^ R respectively. Starting with the Heisenberg equation of motion with H ^ at the first place we can write,
d A ^ ( t ) d t = i H ^ , A ^ ( t ) and d a ^ m ( t ) d t = i H ^ , a ^ m ( t )
After substituting H ^ we get,
d A ^ ( t ) d t = i S ^ 1 ( t ) i m h m S ^ 2 a ^ m ( t ) + i m h m S ^ 2 ( t ) a ^ m ( t )
d a ^ m ( t ) d t = i ν m a ^ m ( t ) i h m S ^ ( t )
d a ^ m ( t ) d t = i ν m a ^ m ( t ) + i h m S ^ ( t )
Where in the above equations we have defined, H ^ S , A ^ = S ^ 1 and S ^ , A ^ = S ^ 2 such that we can write, S ^ , A ^ = S ^ 2 . And just to mention that any operator O ^ in the Heisenberg picture is defined as,
O ^ ( t ) = e i H ^ t O ^ e i H ^ t
Now taking the fourier transfomation of the both sides of the equations we can write with P ^ ( z ) = P ^ ( t ) e i z t d t for Im z > 0 ,
z A ^ ( z ) = S ^ 1 ( z ) 1 2 π m h m S ^ 2 ( z ) a ^ m ( z z ) d z + 1 2 π m h m S ^ 2 ( z ) a ^ m ( z z ) d z
i z a ^ m ( z ) = i ν m a ^ m ( z ) i h m S ^ ( z ) a ^ m ( z ) = h m S ^ ( z ) z + ν m
i z a ^ m ( z ) = i ν m a ^ m ( z ) + i h m S ^ ( z ) a ^ m ( z ) = h m S ^ ( z ) z ν m
a ^ m ( z z ) = h m S ^ ( z z ) z z + ν m and a ^ m ( z z ) = h m S ^ ( z z ) z z ν m
z A ^ ( z ) = S ^ 1 ( z ) + 1 2 π S ^ 2 ( z ) m | h m | 2 z z ν m S ^ ( z z ) d z + 1 2 π S ^ 2 ( z ) m | h m | 2 z z + ν m S ^ ( z z ) d z
We can write
m | h m | 2 z ν m = 0 d ω 2 π J 0 ( ω ) z ω
. Now we can write the Heisenberg equation of motion starting from the transformed hamiltonian H ^ R such that for any arbitrary operator O ^ in the heisenberg picture we can write,
O ^ ( t ) = e i H ^ R t O ^ e i H ^ R t
such that fore the system operator A ^ and for b ^ 1 and b ^ m for m 1 we can write the equations of motion in the Heisenberg picture such that,
d A ^ ( t ) d t = i S ^ 1 ( t ) + i λ S ^ 2 ( t ) b ^ 1 ( t ) i λ S ^ 2 ( t ) b ^ 1 ( t )
d b ^ 1 ( t ) d t = i ω 1 b ^ 1 ( t ) i λ S ^ ( t ) i m H m b ^ m ( t )
d b ^ 1 ( t ) d t = i ω 1 b ^ 1 ( t ) + i λ S ^ ( t ) + i m H m b ^ m ( t )
d b ^ m ( t ) d t = i ω m b ^ m ( t ) i H m b ^ 1 ( t )
d b ^ m ( t ) d t = i ω m b ^ m ( t ) + i H m b ^ 1 ( t )
Taking the fourier transformation we get,
z A ^ ( z ) = S ^ 1 ( z ) + λ 2 π S ^ 2 ( z ) b ^ 1 ( z z ) d z λ 2 π S ^ 2 ( z ) b ^ 1 ( z z ) d z
z b ^ m ( z ) = ω m b ^ m ( z ) H m b ^ 1 ( z ) b ^ m ( z ) = H m b ^ 1 ( z ) z + ω m
z b ^ m ( z ) = ω m b ^ m ( z ) + H m b ^ 1 ( z ) b ^ m = H m b ^ 1 ( z ) z ω m
z b ^ 1 ( z ) = ω 1 b ^ 1 ( z ) λ S ^ ( z ) m H m b ^ m ( z )
z b ^ 1 ( z ) = ω 1 b ^ 1 ( z ) + λ S ^ ( z ) + m H m b ^ m ( z )
After a little bit algebraic simplification we can write,
b ^ 1 ( z z ) = λ S ^ ( z z ) z z + ω 1 m | H m | 2 z z + ω m
b ^ 1 ( z z ) = λ S ^ ( z z ) z z ω 1 m | H m | 2 z z ω m
Then after substituting b ^ 1 ( z z ) and b ^ 1 ( z z ) in (317) along with a little simplification we get,
z A ^ ( z ) = S ^ 1 ( z ) + λ 2 2 π S ^ 2 ( z ) 1 z z ω 1 m | H m | 2 z z ω m S ^ ( z z ) d z + λ 2 2 π S ^ 2 ( z ) 1 z z + ω 1 m | H m | 2 z z + ω m S ^ ( z z ) d z
Now by comparing equation (324) and (309) we can write,
m | h m | 2 z z ν m = λ 2 z z ω 1 m | H m | 2 z z ω m
and m | h m | 2 z z + ν m = λ 2 z z + ω 1 m | H m | 2 z z + ω m
putting z = 0 in the above equation we get,
m | h m | 2 z ν m = λ 2 z ω 1 m | H m | 2 z ω m
and m | h m | 2 z + ν m = λ 2 z + ω 1 m | H m | 2 z + ω m
It is important to note that the two equations written above are not independent of each other. If we replace z ( z ) in the first equation then we obtain the second one. Then we can write,
z ω 1 m | H m | 2 z ω m = λ 2 m | h m | 2 z ν m
Substituting z ( ω + i ϵ ) writing,
ω + i ϵ ω 1 m | H m | 2 ω + i ϵ ω m = λ 2 m | h m | 2 ω + i ϵ ν m
We can write that,
ω + i ϵ ω 1 0 d ω 2 π J 1 ( ω ) ( ω + i ϵ ω ) = λ 2 0 d ω 2 π J 0 ( ω ) ( ω + i ϵ ω )
Using the fact that,
m | H m | 2 ω + i ϵ ω m = 1 2 π 0 J 1 ( ω ) ( ω ω + i ϵ ) d ω
similarly m | h m | 2 ω + i ϵ ν m = 1 2 π 0 J 0 ( ω ) ( ω ω + i ϵ ) d ω
with γ + i δ = 0 d ω 2 π J 0 ( ω ) ( ω + i ϵ ω ) d ω
we can write,
ω + i ϵ ω 1 0 d ω 2 π J 1 ( ω ) ( ω + i ϵ ω ) = λ 2 ( γ i δ ) γ 2 + δ 2
Now comparing the imaginary part and taking the limit ϵ 0 we can write,
1 2 J 1 ( ω ) = λ 2 J 0 ( ω ) / 2 1 2 π P J 0 ( ω ) ω ω d ω 2 + 1 2 J 0 ( ω ) 2
Using the fact that,
lim ϵ 0 ϵ ( ω ω ) 2 + ϵ 2 = π δ ( ω ω )
Such that,
γ + i δ = lim ϵ 0 m | h m | 2 ω + i ϵ ν m = lim ϵ 0 0 d ω 2 π J 0 ( ω ) ( ω ω + i ϵ ) = 1 2 π P J 0 ( ω ) ω ω d ω i 2 J 0 ( ω )
similarly lim ϵ 0 Im m | H m | 2 ω + i ϵ ω m = lim ϵ 0 Im 0 d ω 2 π J 1 ( ω ) ( ω ω + i ϵ ) = 1 2 J 1 ( ω )
Now from (336) we can finally write,
J 1 ( ω ) = 4 λ 2 J 0 ( ω ) 1 π P J 0 ( ω ) ω ω d ω 2 + J 0 ( ω ) 2
which essentially gives the relation between the Spectral function of the residual reservoir to that of the bath spectral function before the RC mapping.

1.3. Heisenberg Equation of Motion Technique for Fermionic Particle Mapping Case

In this section we will derive the relation between the bath spectral functions before and after the RC mapping for the fermionic case using the Heisenberg equation of motion technique. In the fermionic particle mapping we discuss the mapping between the hamiltonians H ^ and H R ^ such that,
H ^ = H ^ S + m ν m c ^ m c ^ m + m h m c ^ c ^ m + h m c ^ m c ^
H ^ S B = c ^ m h m c ^ m c ^ m h m c ^ m
H ^ = H ^ S + m ν m c ^ m c ^ m + c ^ m h m c ^ m c ^ m h m c ^ m
H ^ R = U ^ R H ^ U ^ R = H ^ S + ω 1 d 1 d ^ 1 + m 1 ω m d ^ m d ^ m + λ c ^ d ^ 1 λ c ^ d ^ 1 + d 1 m H m d ^ m d ^ 1 m H m d ^ m
While writing the interaction Hamiltonian to maintain the hermiticity we have properly used the fermionic anti-commutation relation. The for the system operator c ^ ( t ) and c ^ m ( t ) with the Hamiltonian H ^ in the first instance, we can write the Heisenberg equation of motion such that with,
O ^ ( t ) = e i H ^ t O ^ e H ^ t
Where O ^ ( t ) being any arbitrary operator in the Heisenberg representation.
d c ^ ( t ) d t = i H ^ , c ^ ( t ) = i S ^ ( t ) i m h m c ^ m ( t )
d c ^ m ( t ) d t = i ν m c ^ m ( t ) i h m c ^ ( t )
d c ^ m ( t ) d t = i ν m c ^ m ( t ) + i h m c ^ ( t )
Where we have defined S ^ = H ^ S , c ^ such that, S ^ ( t ) = H ^ S ( t ) , c ^ ( t ) Taking the Fourier transformation of the both sides of above equations we get,
z c ^ ( z ) = S ^ ( z ) m h m c ^ m ( z )
c ^ m ( z ) = h m c ^ ( z ) z + ν m
z c ^ z = S ^ ( z ) m | h m | 2 z + ν m c ^ ( z )
Now writing the Heisenberg equation of motion for c ^ ( t ) with the transformed Hamiltonian i.e. H ^ R we get,
d c ^ ( t ) d t = i S ^ ( t ) i λ d ^ 1 ( t )
d d ^ 1 ( t ) d t = i ω 1 d ^ 1 ( t ) i m 1 H m d ^ m ( t )
d d ^ m ( t ) d t = i ω m d ^ m ( t ) i H m d ^ 1 ( t )
Taking the fourier transformation of both sides of the above equations we get,
d ^ m ( z ) = H m d ^ 1 ( z ) z + ω m
d ^ 1 ( z ) = λ c ^ ( z ) z + ω 1 m | H m | 2 z + ω m
i z c ^ ( z ) = i S ^ ( z ) i λ d ^ 1 ( z )
z c ^ ( z ) = S ^ ( z ) + λ 2 z + ω 1 m | H m | 2 z + ω m c ^ ( z )
Now comparing equation (351) and (358) we can write,
m | h m | 2 z + ν m = λ 2 z + ω 1 m | H m | 2 z + ω m
Now we can write theb terms inside summation in terms of integrals such that,
m | h m | 2 z + ν m = d ω 2 π J 0 ( ω ) ω + z
m | H m | 2 z + ω m = d ω 2 π J 1 ( ω ) z + ω
Now replacing z ( ω + i ϵ ) with ϵ 0 + at both sides of (359) we get,
ω + i ϵ d ω 2 π J 1 ( ω ) ( ω ω + i ϵ ) = λ 2 d ω 2 π J 0 ( ω ) ( ω ω + i ϵ )
We can write that,
lim ϵ 0 d ω 2 π J 0 ( ω ) ( ω ω + i ϵ ) = P d ω 2 π J 0 ( ω ) ω ω i 2 J 0 ( ω )
similarly lim ϵ 0 d ω 2 π J 1 ( ω ) ( ω ω + i ϵ ) = P d ω 2 π J 1 ( ω ) ω ω i 2 J 1 ( ω )
From (362) we can write by comparing the imaginary part of the above equation,
ϵ Im d ω 2 π J 1 ( ω ) ( ω ω + i ϵ ) = λ 2 β ( α 2 + β 2 )
with α + i β = d ω 2 π J 0 ( ω ) ( ω ω + i ϵ )
Now taking lim ϵ 0 of the both sides of the equation and using (363), (364) we can write,
J 1 ( ω ) = 4 λ 2 J 0 ( ω ) 1 π P J 0 ( ω ) ω ω d ω 2 + J 0 ( ω ) 2
Where we have used the fact that,
lim ϵ 0 Im d ω 2 π J 1 ( ω ) ( ω ω + i ϵ ) = lim ϵ 0 Im d ω 2 π J 1 ( ω ) ( ω ω i ϵ )
lim ϵ 0 Im d ω 2 π ϵ J 1 ( ω ) ( ω ω ) 2 + ϵ 2 = 1 2 J 1 ( ω )
lim ϵ 0 ϵ ( ω ω ) 2 + ϵ 2 = π δ ( ω ω )

2. Quantum Master Equation Using the Reaction Coordinate Mapping

As mentioned in the earlier context that, the method of reaction coordinate transformation is used to analytically bypass the situation where the system under consideration is strongly coupled to the bath. After one step of the reaction coordinate mapping if we want to describe the dynamics of the extended system (System+R.C) along with the usual weak coupling approximation between the extended system and the residual environment then it can be described by the usual Born Markov approximated Master equation popularly known as the Redfield Q.M.E. This will eventually lead to the markovian dynamics of the extended system which captures the collective information of the system and some part of the original reservoir which is the reaction coordinate itself but as there is no restriction over the coupling strength between the system and the reaction coordinate the dynamics of the system of interest will be strictly non markovian in nature. The reduced density operator of the system of interest strongly coupled to the bath can be finally obtained by taking the partial trace over the reaction coordinate states after the reaction coordinate mapping. The mentioned prescription can be utilized to investigate the dynamics of the systems strongly coupled to the bath as we cannot write a general master equation to describe the dynamics of such strongly interacting quantum systems.
Here we will consider some examples which describes the modeling of such dynamics of strongly interacting systems using the reaction coordinate mapping and Quantum master equations describing the dynamics of the extended system weakly coupled to the residual reservoir. In the first example we consider a three level atom to be more precise a three level maser connected to two different and independent bosonic or fermionic reservoirs which are non-interacting and the system is strongly coupled to both of them such that we will apply the reaction coordinate mapping over bothy the reservoirs to analyze the dynamics of the extended system and later to extract the dynamics of the three level atom.
In the second example we will consider the model of the single electron transistor where a spinless quantum dot is coupled to two fermionic reservoirs independent of each other and at the same time the quantum dot is also connected to a phonon bath essentially bosonic in nature such that, we will apply the reaction coordinate mapping over the phonon bath to describe the dynamics of the extended system in the weak coupling limit. Later we will explore the Reaction Coordinate Polaron Transformation method [4]a little bit of extension of the reaction coordinate mapping, with the polaron transformation followed by the reaction coordinate mapping over the initial hamiltonian.

2.1. Three Level Atom Connected to Two Independent Bosonic Reservoirs

For the present discussion we will assume the baths to be bosonic in nature and derive the master equation for the extended system in the weak coupling limit and later generalize the results for the fermionic reservoir case. There are three different configuration to describe the three level atom with the Λ type, V type and the Ladder configuration Ξ type. In general we can start with any one of the configuration and eventually can write the equations for the other types just by inspection but here we will consider the commonly used Λ type configuration of the three level atom connected to two independent non-interacting Bosonic reservoirs characterized by different inverse temperatures say, β 1 , β 2 respectively. As the baths are bosonic in nature we can take the chemical potentials of the baths to be zero.
In the Λ configuration of the three level atom setup we consider only two allowed transitions and one transition which is strictly forbidden due to the selection rule. Here we consider that, the three level atom has three possible states which are generally taken to be the eigen-state of the Hamiltonian. Let us denote the states by, | m for m = 1 , 2 , 3 . We consider that only transition between | 1 | 3 and | 2 | 3 are allowed by the selection rules but the transition between | 1 | 2 is forbidden. Such that we can think that it has three possible energy eigen-states i.e. three energy levels with the energies corresponding to them being E m for m = 1 , 2 , 3 . Let us alos consider that, E 3 > E 2 > E 1 . With | 1 being the ground state and | 3 being the excited state and just to mention that in the Λ type atomic configuration the intermediate state with energy eigenvalue E 2 and the excited state with Energy eigenvalue E 3 are narrowly degenerate states. As they are the eigen-states of the system hamiltonian we can write with, H ^ S | m = E m | m such that due to completeness relation and the orthonormality i.e. m | n = δ m n we can write,
m | m m | = I ^ 3 × 3
Then we can write using the spectral decomposition theorem,
H ^ S = m E m | m m |
The full setup of the three level atom coupled with two independent and non-interacting Bosonic reservoirs can be modeled by the Hamiltonian,
H ^ = H ^ S + H ^ B + H ^ S B
H ^ S = m E m | m m |
H ^ B = m H ^ B m = r = 1 m = L , R ν r m b ^ r m b ^ r m
H ^ S B = m H ^ S B m = H ^ S B L + H ^ S B R
H ^ S B L = r κ r 1 S ^ 13 + b ^ r 1 + κ r 1 S ^ 13 b ^ r 1
H ^ S B R = r κ r 2 S ^ 23 + b ^ r 2 + κ r 2 S ^ 23 b ^ r 2
Here we define the raising and lowering operators connecting the upward and downward transitions occurring between | 1 | 3 described by the set of hermitian conjugate operators S ^ 13 = | 1 3 | and S ^ 13 + = | 3 1 | and similarly the interplay between the transitions occurring between | 2 | 3 is governed by another set of hermitian conjugate operators S ^ 23 = | 2 3 | and S ^ 23 + = | 3 2 | . They are equivalent of the raising and lowering pair σ ^ + , σ ^ for the two level atoms.
It is important to note that, S ^ 13 , S ^ 23 are the lowering operators with the hermitian conjugates being the raising ones. In general for the case of thtree level atom it is usually customary to define then operators, S ^ m m = | m m | and S ^ m n = | m n | such that we can write, can write,
H ^ S = m E m S ^ m m
S ^ 13 | 3 = | 1 , S ^ 13 = S ^ 13 and S ^ 13 + = | 3 1 | = S ^ 31 with S ^ 13 + | 1 = | 3
similarly S ^ 23 | 3 = | 2 , S ^ 23 = S ^ 23 and S ^ 23 + = S ^ 32 = | 3 2 | with S ^ 23 | 2 = | 3
Modelling of this type of Interaction hamiltonians can be done assuming the interaction of the three level atom with two different incoherent bosonic baths visualized via two different Radiation fields such that, when the three level atom is interacting with one of the radiation field it allows the transition between | 1 | 3 only and when the atom interacts with the other radiation field then it will only allow the transition between | 2 | 3 only and in the presence of both of them the other transition is forbidden. Such interaction Hamiltonian written above can be systematically derived using the dipolar and rotating wave approximation.

2.1.1. Modeling of the Interaction Hamiltonian for Three Level Atom Set-Up

The quantized radiation field can be described in general for multi mode case with its electric field and the free radiation field hamiltonians are given by,
E ^ ( r , t ) = i m s = ± ω m 2 ϵ 0 V 1 2 a ^ m s ( t ) e i k m · r a ^ m s e i k m · r e ^ m s
H ^ f i e l d = m s = ± ω m a ^ m s a ^ m s
a ^ m s ( t ) = a ^ m s e i ω m t and a ^ m s ( t ) = a ^ m s e i ω m t
E ^ ( r ) = i m s = ± ω m 2 ϵ 0 V 1 2 a ^ m s e i k m · r a ^ m s e i k m · r e ^ m s
Finally we have written the Electric field operator in the Schrodinger picture with e ^ m s being the polarization vector. Due to the conservation of the parity we can say that the parity operator and the Hamiltonian H ^ S have the simultaneous eigenstates which means each eigenstate of the Hamiltonian has a definite parity. Here we can construct the parity operator as Π ^ = exp ( i π | 3 3 | ) = exp ( i π S ^ 13 + S ^ 13 ) . Such that, we can write, H ^ S , Π ^ = 0 . So, the eigenstate of the Hamiltonian will carry either even or odd parity which enables us to write the interaction hamiltonian of the three level atom coupled to the radiation field in the dipolar approximation such that,
H ^ a t o m f i e l d d ^ · E ^ ( r ) d ^ = m = 1 3 m | d ^ | m | m m | + d 13 | 1 3 | + d 13 | 3 1 | + d 12 | 1 2 | + d 12 | 2 1 | + d 23 | 2 3 | + d 23 | 3 2 |
By definition the parity operator defined as, Π ^ = e i π | 3 3 | = ( 1 ) S ^ 13 + S ^ 13 it has eigenvalues ± 1 such that, we can say Π ^ 2 = I ^ . Parity operator is an involutory operator. We know that parity operation is an unitary operation such that, Π ^ Π ^ = I ^ such that with Π ^ 2 = Π ^ we can write, Π ^ = Π ^ 1 . Due to the definite parity of the energy states and the fact that the dipole moment operator being a vector operator under the parity operation i.e. Π ^ d ^ Π ^ = d ^ we can say that,
d m m = m | d ^ | m = m | Π ^ d ^ Π ^ | m for m = 1 , 2 , 3
with Π ^ | m = ( 1 ) p | m for m = 1 , 2 , 3 and p = 0 , 1
d m m = 0
Due to the definite parity of the energy states the diagonal matrix elements of the dipole moment operator in the eigenbasis of the system hamiltonian vanishes and due to hermiticity we can say that, d n m = d m n with, d m n = m | d ^ | n . Now if we neglect the spatial variation of the electric field associated with the incident radiation in the region where the atom is sitting i.e. throughout the length scale of the atomic spatial extent which will be off the order of few angstroms or alternatively we can invoke the long wavelength approximation such that the wavelength of the incident radiation field is very large compare to the atomic bohr radius of the three level atom under consideration we can further approximate the interaction hamiltonian in the dipolar approximation as,
H ^ a t o m f i e l d d ^ · E ^ ( r A )
Where we stick to the fact that along the length scale of the atomic spatial extent the spatial variation of the electric field is negligible. Now using the definitions of the raising and lowering operators the expression of the dipole moment operator can be further simplified to,
d ^ = d 13 S ^ 13 + d 13 S ^ 13 + + d 13 S ^ 23 + d 23 S ^ 23 + + d 12 S ^ 12 + d 12 S ^ 12 +
Then putting the expression of the electric field in (390) we can write,
H ^ a f = i m s = ± ω m 2 ϵ 0 V 1 / 2 d 12 . e ^ m s e i k m · r A a ^ m s S ^ 12 d 12 . e ^ m s e i k m · r A a ^ m s S ^ 12 i m s = ± ω m 2 ϵ 0 V 1 / 2 d 13 . e ^ m s e i k m · r A a ^ m s S ^ 13 d 13 . e ^ m s e i k m · r A a ^ m s S ^ 13 i m s = ± ω m 2 ϵ 0 V 1 / 2 d 23 . e ^ m s e i k m · r A a ^ m s S ^ 23 d 12 . e ^ m s e i k m · r A a ^ m s S ^ 23 i m s = ± ω m 2 ϵ 0 V 1 / 2 d 12 . e ^ m s e i k m · r A a ^ m s S ^ 12 + d 12 . e ^ m s e i k m · r A a ^ m s S ^ 12 + i m s = ± ω m 2 ϵ 0 V 1 / 2 d 13 . e ^ m s e i k m · r A a ^ m s S ^ 13 + d 13 . e ^ m s e i k m · r A a ^ m s S ^ 13 + i m s = ± ω m 2 ϵ 0 V 1 / 2 d 23 . e ^ m s e i k m · r A a ^ m s S ^ 23 + d 23 . e ^ m s e i k m · r A a ^ m s S ^ 23 +
Now if we consider the entire hamiltonian of the atom coupled with the radiation field then it will be,
H ^ = H ^ S + H ^ f i e l d + H ^ a f = m E m S ^ m m + m s = ± ω m a ^ m s a ^ m s + H ^ a f
Now if we write the interaction hamiltonian i.e. H ^ a f in the interaction picture then there will be some counter rotating terms. Using the fact that,
e i H ^ S t S ^ 13 e i H ^ S t = S ^ 13 e ω 31 t with ω 31 = E 3 E 1
e i H ^ S t S ^ 13 + e i H ^ S t = S ^ 13 + e i ω 31 t
e i H ^ S t S ^ 23 e i H ^ S t = S ^ 23 e ω 32 t with ω 32 = E 3 E 2
e i H ^ S t S ^ 13 + e i H ^ S t = S ^ 23 + e i ω 32 t
e i H ^ S t S ^ 12 e i H ^ S t = S ^ 12 e ω 21 t with ω 21 = E 2 E 1
e i H ^ S t S ^ 12 + e i H ^ S t = S ^ 13 + e i ω 21 t
e i H ^ f i e l d t a ^ m s e i H ^ f i e l d t = a ^ m s e i ω m t
e i H ^ f i e l d t a ^ m s e i H ^ f i e l d t = a ^ m s e i ω m t
we can see that the following combinations produces counter rotating terms which can be dropped by using the rotating wave approximation for the small detuning cases. We have,
a ^ m s ( t ) S ^ 12 ( t ) a ^ m s S ^ 12 e i ( ω 21 + ω m ) t , a ^ m s ( t ) S ^ 13 ( t ) a ^ m s S ^ 13 e i ( ω 31 + ω m ) t
a ^ m s ( t ) S ^ 12 + ( t ) a ^ m s S ^ 12 + e i ( ω 21 + ω m ) t , a ^ m s ( t ) S ^ 13 + ( t ) a ^ m s S ^ 13 + e i ( ω 31 + ω m ) t
a ^ m s ( t ) S ^ 23 ( t ) a ^ m s S ^ 23 e i ( ω 32 + ω m ) t , a ^ m s ( t ) S ^ 23 + ( t ) a ^ m s S ^ 23 + e i ( ω 32 + ω m ) t
The only surviving combinations that does not produce counter rotating terms will be,
a ^ m s ( t ) S ^ 12 + ( t ) a ^ m s S ^ 12 + e i ( ω m ω 21 ) t , a ^ m s ( t ) S ^ 12 ( t ) a ^ m s S ^ 12 e i ( ω m ω 21 ) t
a ^ m s ( t ) S ^ 13 + ( t ) a ^ m s S ^ 13 + e i ( ω m ω 31 ) t , a ^ m s ( t ) S ^ 13 ( t ) a ^ m s S ^ 13 e i ( ω m ω 31 ) t
a ^ m s ( t ) S ^ 23 + ( t ) a ^ m s S ^ 23 + e i ( ω m ω 32 ) t , a ^ m s ( t ) S ^ 23 ( t ) a ^ m s S ^ 23 e i ( ω m ω 32 ) t
Then after dropping the counter rotating terms in the interaction hamiltonian in the interaction picture we will convert it back to the Schrodinger picture. Now if we consider that the interaction of the radiation field with the three level atom only causes the transitions between the states | 1 | 3 which can be mathematically justified by the fact that with, d 12 · e ^ m s = 0 = d 23 · e ^ m s then with,
g 13 m s = i ω m 2 ϵ 0 V 1 / 2 d 13 · e ^ m s e i k m · r A
we can write the interaction Hamiltonian in the Schrodinger picture in the following form in the dipolar and rotating wave approximation given by,
H ^ a f = m s = ± g 13 m s a ^ m s S ^ 13 + + g 13 m s a ^ m s S ^ 13
where, g 13 m s defines the coupling coefficient of the system operator with mth mode of vibration and sth polarization state of the radiation field. In general if the coupling of the three level atom with the radiation field does allow all the three types of transition irrespective of the configuration we have discussed before then then the most general form of the atom field interaction hamiltonian can be written in the dipolar and rotating wave approximation as,
H ^ a f = m s = ± g 13 m s S ^ 13 + a ^ m s + g 13 m s S ^ 13 a ^ m s + g 23 m s S ^ 23 + a ^ m s + g 23 m s S ^ 23 a ^ m s + g 12 m s S ^ 12 + a ^ m s + g 12 m s S ^ 12 a ^ m s
with the other interaction coefficients defined as,
g 13 m s = i ω m 2 ϵ 0 V 1 / 2 d 13 · e ^ m s e i k m · r A
g 23 m s = i ω m 2 ϵ 0 V 1 / 2 d 23 · e ^ m s e i k m · r A
g 12 m s = i ω m 2 ϵ 0 V 1 / 2 d 12 · e ^ m s e i k m · r A
Now there can be two different situations firstly if the matrix element of the dipole moment operator say d 12 , d 23 vanishes then automatically the number of terms in the interaction hamiltonian will decrease and we get back (409) and alternatively if the polarisation vector of the incident radiation field is such that, e m s · d 12 = e m s · d 23 = 0 i.e. the polarization vector being orthogonal to the vectorized matrix element then also we get the same thing. Now if for the time being we don’t consider the polarisation degree of freedom of the radiation field then the interaction hamiltonian will be reduced to,
H ^ a f = m κ r S ^ 13 + a ^ r + κ r S ^ 13 a ^ r
There is an alternate way to cast the hamiltonian in the similar form. Let us define the new set of operators b ^ m , b ^ m such that,
s = ± g 13 m s a ^ m s = κ m b ^ m and s = ± g 13 m s a ^ m s = κ m b ^ m
H ^ a f = r κ r S ^ 13 + b ^ r + κ r S ^ 13 b ^ r
Now we know a ^ m s , a ^ m s = δ m m δ s s and a ^ m s , a ^ m s = 0 = a ^ m s , a ^ m s . Based on that if we insist to satisfy the usual bosonic commutation relations between b ^ m , b ^ m then with, b ^ m , b ^ n = δ m n we must have,
s = ± | g 13 m s | 2 = m | κ m | 2

2.1.2. Quantum Master Equation for the Three Level Atom

At first we will consider the three level atom is weakly coupled to two different radiation fields (with the polarization degrees of freedom has not been considered) or say two independent bosonic reservoirs described by the hamiltonian,
H ^ = H ^ S + H ^ B + H ^ S B 1 + H ^ S B 2
H ^ S = m E m | m m |
H ^ B = r m ν r m a ^ r m a ^ r m
H ^ S B 1 = r κ r 1 S ^ 13 + a ^ r 1 + κ r 1 S ^ 13 a ^ r 1
H ^ S B 2 = r κ r 2 S ^ 23 + a ^ r 2 + κ r 2 S ^ 23 a ^ r 2
Now with the usual assumption that initially the state of the supersystem i.e. the three level atom coupled with the bosonic reservoirs being uncoupled we can write ρ ^ t o t ( 0 ) = ρ ^ S ( 0 ) ρ ^ B 1 ( 0 ) ρ ^ B 2 ( 0 ) . Now if we assume that,
ρ ^ B l ( 0 ) = e β l H ^ B l T r B l e β l H ^ B l = e β l H ^ B l Z l with Z l = T r B l e β l H ^ B l for l = 1 , 2
Then after the partial tracing with respect to the bosonic reservoirs at the limit of weak coupling the dynamics of the three level atom can be described by the Born Markov master equation in the Schrodinger picture given by,
d ρ ^ S ( t ) d t = i ρ ^ S ( t ) , H ^ S m 0 T r B m ρ ^ S ( t ) ρ ^ B m ( 0 ) , H ^ S B m ( s ) , H ^ S B m d s
After simplification the above master equation reduces to the usual Lindblad form without invoking any further approximation apart from the fact that we have neglected the Lamb and Stark shift Hamiltonian. The final form of the master equation will be,
d ρ ^ S ( t ) d t = i ρ ^ S ( t ) , H ^ S + γ 1 n ¯ 1 L ^ S ^ 13 + ρ ^ S ( t ) + γ 1 n ¯ 1 + 1 L ^ S ^ 13 ρ ^ S ( t ) + γ 2 n ¯ 2 L ^ S ^ 23 + ρ ^ S ( t ) + γ 2 n ¯ 2 + 1 L ^ S ^ 23 ρ ^ S ( t )
where we have defined, γ 1 = J 1 ( ω 31 ) , γ 2 = J 2 ( ω 32 ) along with, n ¯ 1 = n ¯ ( ω 31 , T 1 ) and n ¯ 2 = n ¯ ( ω 32 , T 2 ) . The average excitation number of the bosonic bath is defined by the usual Bose distribution defined as,
n ¯ ( ω , T ) = 1 e β ω 1
And the lindbladian is generally defined as,
L ^ G ^ ρ ^ S ( t ) = G ^ ρ ^ S ( t ) G ^ 1 2 G ^ G ^ , ρ ^ S ( t )
And we have defined the spectral function of the mth bath as,
J m ( ω ) = 2 π r | κ r m | 2 δ ( ω ν r m )
Let us consider the situation when the three level atom is coupled to two independent radiation fields characterized by their hamiltonians such that the coupling of the atom with the first radiation field then it will lead to the transition between | 1 | 3 such that the polarization vectors associated with the radiation field say, e ^ m s 1 satisfies the orthogonality condition, d 12 · e ^ m s 1 = 0 = d 23 · e ^ m s 1 . And the interaction of the atom with the other radiation field only allows the transition between | 2 | 3 such that the polarization vector associated with the radiation field will satisfy the other orthogonality condition d 13 · e ^ m s 2 = 0 = d 12 · e ^ m s 2 . Assuming that the radiation fields has been quantized within the cavity of same volume , we can write the hamiltonian of the full set-up; the three level atom coupled to two distinct radiation fields can be written as,
H ^ = H ^ S + H ^ B + H ^ S B
H ^ S = m E m | m m | = m E m S ^ m m
H ^ B = m α s = ± ν m α b ^ m s α b ^ m s α
H ^ S B 1 = m s = ± ξ m s 1 S ^ 13 + b ^ m s 1 + ξ m s 1 S ^ 13 b ^ m s 1
H ^ S B 2 = m s = ± ξ m s 2 S ^ 23 + b ^ m s 2 + ξ m s 2 S ^ 23 b ^ m s 2
Where we have defined,
ξ m s 1 = i ν m 1 2 ϵ 0 V 1 / 2 d 13 · e ^ m s 1 e i k m 1 · r A
ξ m s 2 = i ν m 2 2 ϵ 0 V 1 / 2 d 23 · e ^ m s 2 e i k m 2 · r A
Again with the same initial assumptions we will get back (424) with the coefficients γ 1 , γ 2 has to be written properly such that we can write,
γ 1 = π s = ± | ξ 1 ( k , s ) | 2 g 1 ( k ) δ ( c k ω 31 ) d 3 k
γ 2 = π s = ± | ξ 2 ( k , s ) | 2 g 2 ( k ) δ ( c k ω 32 ) d 3 k

2.2. Single Electron Transistor

The single electron transistor can be mathematically modeled by a single spinless quantum dot [5] connected to two different independent and non-interacting fermionic reservoirs and at the same time connected to a phonon bath which is bosonic in nature. All the three baths are independent and non-interacting such that the entire system can be described by the Hamiltonian of the following form,
H ^ = H ^ S + H ^ e l + H ^ p h + H ^ S e l + H ^ S p h
H ^ S = ω 0 d ^ d ^
H ^ e l = r m ν r m c ^ r m c ^ r m
H ^ S e l = r m κ r m d ^ c ^ r m + κ r m c ^ r m d ^
H ^ p h = 1 2 m p ^ m 2 + ω m 2 x ^ m 2
H ^ S p h = d ^ d ^ m h m x ^ m + ( d ^ d ^ ) 2 m h m 2 ω m 2
The last term in H ^ S p h is essentially treated as the system renormalization term which is generally dropped while deriving the quantum master equation for the system but it can be absorbed in the hamiltonian of the system itself with,
δ Ω 0 2 = m h m 2 ω m 2
Such that we can write,
H ^ = H ^ S + H ^ e l + H ^ p h + H ^ S e l
H ^ p h = 1 2 m p ^ m 2 + ω m 2 x ^ m h m ω m 2 d ^ d ^ 2
H ^ e l = r m ν r m c ^ r m c ^ r m
H ^ S e l = r m κ r m d ^ c ^ r m + κ r m c ^ r m d ^
Now if we apply the reaction coordinate mapping for the phonon bath then after the reaction coordinate mapping the hamiltonian will become,
H ^ = ω 0 d ^ d ^ + r m ν r m c ^ r m c ^ r m + r m κ r m d ^ c ^ r m + κ r m c ^ r m d ^ + 1 2 P ^ 1 2 + Ω 1 2 X ^ 1 2
+ 1 2 m 1 P ^ m 2 + Ω m 2 X ^ m 2 λ 0 d ^ d ^ X ^ 1 X ^ 1 m C m X ^ m + 1 2 m h m 2 ω m 2 ( d ^ d ^ ) 2 = ω 0 + δ Ω 0 2 2 d ^ d ^ + r m ν r m c ^ r m c ^ r m + r m κ r m d ^ c ^ r m + κ r m c ^ r m d ^ + 1 2 P ^ 1 2 + Ω 1 2 X ^ 1 2
+ 1 2 m 1 P ^ m 2 + Ω m 2 X ^ m 2 λ 0 d ^ d ^ X ^ 1 X ^ 1 m C m X ^ m
= H ^ e x t + r m ν r m c ^ r m c ^ r m + r m κ r m d ^ c ^ r m + κ r m c ^ r m d ^ + 1 2 m P ^ m 2 + Ω m 2 X ^ m 2 X ^ 1 m C m X ^ m
Where we have defined the extended system which comprises of the single spinless quantum dot coupled with the reaction coordinate such that,
H ^ e x t = ω 0 d ^ d ^ + 1 2 P ^ 1 2 + Ω 1 2 X ^ 1 2 λ 0 d ^ d ^ X ^ 1
where ω 0 = ω 0 + δ Ω 0 2 2
Finally writing the operators X ^ m and P ^ m in terms of new pairs of bosonic creation and annihilation operators a ^ m , a ^ m such that with,
X ^ m = 1 2 Ω m 1 2 a ^ m + a ^ m , P ^ m = i Ω m 2 1 2 a ^ m a ^ m
we can write,
H ^ = H ^ e x t + r m ν r m c ^ r m c ^ r m + r m κ r m d ^ c ^ r m + κ r m c ^ r m d ^
+ m 1 Ω m a ^ m a ^ m a ^ + a ^ m H m a ^ m + a ^ m
H ^ e x t = ω 0 d ^ d ^ + Ω a ^ a ^ λ d ^ d ^ a ^ + a ^
H ^ = H ^ e x t + H ^ e l + H ^ S e l + H ^ p h R E + H ^ R C R E
H ^ p h R E = m 1 Ω m a ^ m a ^ m , H ^ R C R E = a ^ + a ^ m H m a ^ m + a ^ m
H ^ e x t = ω 0 a ^ d ^ + H ^ R C + H ^ S R C
H ^ R C = Ω a ^ a ^ , H ^ S R C = λ d ^ d ^ a ^ + a ^
Where we have denoted the residual phonon bath hamiltonian by H ^ p h R E and H ^ R C R E describes the interaction of the reaction coordinate and the residual phonon bath hamiltonian. Where we have redefined the interaction coefficients respectively as, λ = λ 0 ( 2 Ω ) and H m = C m 4 Ω m Ω . We have also renamed a ^ 1 a ^ and Ω 1 Ω such that the frequency for the reaction coordinate is Ω . Just to mention that the exactness condition of the reaction coordinate mapping gives,
d ^ d ^ m h m x ^ m = λ 0 d ^ d ^ X ^ 1 λ 0 2 = m h m 2
Along with the other conditions establishes before in the section of reaction coordinate mapping given by,
Ω α 2 δ α β = m ω m 2 Λ α m Λ β m
Now as we can see that due to the interaction between the quantum dot and the reaction coordinate the Hamiltonian of the extended system i.e H ^ e x t is not diagonal. So in order to diagonalize the Hamiltonian H ^ e x t we can use a specific unitary transformation called the Polaron transformation which diagonalizes the Hamiltonian H ^ e x t . Let us define,
U ^ = exp λ Ω d ^ d ^ a ^ a ^
such that it satisfies the unitarity condition i.e. U ^ U ^ = I ^ which can be readily understood from the fact that the fermionic creation and annihilation operators commutes with the corresponding bosonic counterparts. Then with the unitary transformation of H ^ e x t with U ^ it can be made diagonal such that,
H ^ e x t D = U ^ H ^ e x t U ^
U ^ H ^ e x t U ^ = U ^ H ^ S U ^ + U ^ H ^ R C U ^ + U ^ H ^ S R C U ^
U ^ H ^ S U ^ = ω 0 d ^ d ^
U ^ H ^ R C U ^ = Ω U ^ a ^ U ^ U ^ a ^ U ^ = Ω a ^ + λ Ω d ^ d ^ a ^ + λ Ω d ^ d ^
U ^ H ^ S R C U ^ = λ d ^ d ^ a ^ + a ^ + 2 λ Ω d ^ d ^
U ^ H ^ e x t U ^ = ω 0 d ^ d ^ + Ω a ^ a ^ λ 2 Ω d ^ d ^ = ω ¯ 0 d ^ d ^ + Ω a ^ a ^
Where we have introduced the redefined quantum dot frequency denoted by, ω ¯ 0 defined as,
ω ¯ 0 = ω 0 λ 2 Ω = ω 0 1 2 m h m 2 ω m 2 λ 2 Ω
And we have used the B.H.C equality such that with,
e A ^ B ^ e A ^ = B ^ + A ^ , B ^ + 1 2 ! A ^ , A ^ , B ^ + . . .
Now with, A ^ = λ Ω d ^ d ^ a ^ a ^ and B ^ = a ^ we get, A ^ , B ^ = λ Ω d ^ d ^ such that due to the commutation of the fermionic operators with the bosonic operators we can write A ^ , A ^ , B ^ = 0 such that, we can directly write,
U ^ a ^ U ^ = a ^ + λ Ω d ^ d ^
U ^ a ^ U ^ = a ^ + λ Ω d ^ d ^
Such that the diagonalized Hamiltonian of the Extended system obtained after the Reaction Coordinate polaron Transformation is given as,
H ^ e x t D = ω ¯ 0 d ^ d ^ + Ω a ^ a ^
As we can see that H ^ e x t D is just the sum of the hamiltonians of the quantum dot with a modified frequency ω ¯ 0 and the Hamiltonian of the reaction coordinate such that the energy spectrum of the diagonalised hamiltonian is readily obtained. As H ^ e x t D is separable and can be written as the sum of the micro-hamiltonians of the quantum dot and the reaction coordinate then the energy eigenvalues will be the sum of the energy eigenvalues of the quantum dot and that of the reaction coordinate which is equivalent to a 1D harmonic oscillator, such that due to the fact that, ( d ^ d ^ ) 2 = d ^ d ^ i.e. the fermionic number operator is idempotent then it can have only eigenvalues 0 and 1 respectively and the eigenvalues of the reaction coordinate Hamiltonian will be n Ω apart from the zero point energy term. Such that the energy eigenvalues of H ^ e x t D will be,
E n e x t = ω ¯ 0 p + n Ω
where, p can be either 0 or, 1 and n goes from 0 , 1 , . . , .

References

  1. Martinazzo, R.; Vacchini, B.; Hughes, K.H.; Burghardt, I. Communication: Universal Markovian reduction of Brownian particle dynamics. The Journal of Chemical Physics 2011, 134. [CrossRef]
  2. Nazir, A.; McCutcheon, D.P.S. Modelling exciton–phonon interactions in optically driven quantum dots. Journal of Physics: Condensed Matter 2016, 28, 103002. [Google Scholar] [CrossRef] [PubMed]
  3. Nazir, A.; Schaller, G., The Reaction Coordinate Mapping in Quantum Thermodynamics. In Thermodynamics in the Quantum Regime; Springer International Publishing, 2018; p. 551–577. [CrossRef]
  4. Anto-Sztrikacs, N.; Nazir, A.; Segal, D. Effective-Hamiltonian Theory of Open Quantum Systems at Strong Coupling. PRX Quantum 2023, 4, 020307. [Google Scholar] [CrossRef]
  5. Strasberg, P.; Schaller, G.; Lambert, N.; Brandes, T. Nonequilibrium thermodynamics in the strong coupling and non-Markovian regime based on a reaction coordinate mapping. New Journal of Physics 2016, 18, 073007. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

Disclaimer

Terms of Use

Privacy Policy

Privacy Settings

© 2025 MDPI (Basel, Switzerland) unless otherwise stated