Preprint
Short Note

This version is not peer-reviewed.

A Pedagogical Introduction of Full Counting Statistics in the Context of Quantum Thermodynamics and Quantum Noise

Submitted:

18 November 2025

Posted:

19 November 2025

You are already at the latest version

Abstract
This tutorial presents an illustrative overview behind the idea of the two time mea- surement protocol scheme in connection with the method of Full Counting Statistics, a widely used tool in the context of Quantum Thermodynamics and quantum noises. This article presents the mathematical tools to derive the quantum master equation for the de- formed reduced density operator for the system in the most general way by tracing out the bath degrees of freedom for different types of interaction Hamiltonians generally used to model the open quantum system problems in the limit of weak system bath coupling. The derivation of the microscopic Q.M.E has also been described. Finally, the article provides an application of the Full counting statistics method for the well known Resonant Level Model of thermoelectric transport and its connection with the Fluctuation symmetry.
Keywords: 
;  ;  ;  ;  ;  ;  

1. Introduction

The method of Full counting statistics is extremely useful to describe the aspects of quantum thermodynamics and the problems related to quantum noise, a consolidated framework which provides the groundwork to comment on the quantum fluctuations and higher order correlations, which the traditional framework cannot provide. In this article, we have presented the general idea of the two time measurement protocol scheme which is the heart of this method to obtain the generalized probability distribution for any arbitrary hermitian observable corresponding to the bath with which the system is coupled. In the first section, we introduced the idea of basic statistical tools to anticipate the idea of the Full counting statistics and their importance in the context of a given probability distribution of some random variable. The next section describes the derivation of the generalized probability distribution for any arbitrary bath observable and also derived the quantum master equation which describes the time evolution of the reduced deformed density operator corresponding to the system in the weak coupling limit with different types of interaction hamiltonians under the most generalized conditions. Later we have derived the Q.M.E using the well known microscopic formulation. In the final part of this article we applied the aspect of F.C.S to discuss the problem of Resonant Level Model analytically to calculate the energy and particle currents along with the fluctuations and the higher order moments of the probability distribution for the energy and particle currents. Quantities related to quantum thermodynamics, such as entropy production rates and chemical works, have been calculated for the setup. In the last part, we have extended our calculations for the driven quantum dot and derived the results related to fluctuations symmetries.

2. A Brief Introduction to Various Statistical Measures Related to Probability Distribution

2.1. Central and Raw Moments of a Probability Distribution

The rth order raw moment with respect to an arbitrary point a of a Uni-variate probability distribution for a discrete and continuous random variable say X are respectively defined as,
μ r ( a ) = E [ ( X a ) r ]
Now for Discrete and Continuous random variable we have,
μ r ( a ) = x ( x a ) r P ( X = x )
μ r ( a ) = ( x a ) r f ( x ) d x
Where P ( X = x ) is called the Probability mass function (P.M.F) for the Discreet Random variable X and f ( x ) being the probability density function ( P.D.F) if the random variable X is continuous in nature such that due to normalization we can write,
x P ( X = x ) = 1 for Discreet case
f ( x ) d x = 1 for Continuous case
If we put a = 0 then we can define the rth order raw moment with respect to the origin such that for the discreet and continuous case we can write,
μ r ( 0 ) = E [ X r ] = x x r P ( X = x )
μ r ( 0 ) = x r f ( x ) d x
The r th order central moment of the probability distribution for a continuous random variable X is defined as,
μ r = E [ ( X μ ) r ] = ( x μ ) r f ( x ) d x
Where, μ being the mean or expectation value of the Random Variable or in other words the first order raw moment with respect to origin i.e. a = 0 .

2.2. Measures of Skewness and Kurtosis

In most of the situations we are particularly interested up to the forth order central moment for a given probability distribution of a random variable to obtain an idea about the shape of the distribution by using the measures of Skewness and Kurtosis. The measures of skewness and kurtosis are defined as,
β 1 = μ 3 2 μ 2 3 , γ 1 = β 1 β 2 = μ 4 μ 2 2 , γ 2 = β 2 3
We can alternatively use either β 1 , β 2 or γ 1 , γ 2 as the measure of skewness and kurtosis respectively with both being the standard set of measures. For example in case of the Gaussian distribution all the odd order central moments vanishes such that with μ 2 r + 1 = 0 the coefficient of skewness either β 1 or γ 1 will vanish which will make the distribution symmetric and in case of Gaussian distribution it is symmetric with respect to its mean μ . As a result of a symmetric probability distribution the quartiles becomes equidistant making the measure of quartile deviation being zero with,
Q 3 Q 2 = Q 2 Q 1 Q 2 = 1 2 ( Q 1 + Q 3 )
Where Q i s for i = 1 , 2 , 3 defines the quartiles of the probability distribution. And for any such symmetric probability distribution all the odd order central moments vanishes making the quartiles equidistant and as a result we can write,
Mean = Median = Mode
Now if the distribution is both symmetric and Mesokurtic i.e.( β 2 = 3 ) the value of γ 1 , γ 2 will be 0. Let us summarize the significance of those defined measures and the characterization of the probability distributions.
It is important to note that the measures are defined here for the case of a uni-variate probability distribution. For the joint probability distribution of more than one random variable there is no such particular measure of skewness and Kurtosis, those can be defined in terms of the elements of the covariance matrix in general which is beyond the scope of our present discussion.
Table 1. Characterization of the probability distribution
Table 1. Characterization of the probability distribution
Skewness Coefficient Nature of the distribution Kurtosis Coefficient Nature of the distribution
γ 1 > 0 Positively Skewed β 2 > 3 , γ 2 > 0 Leptokurtic
γ 1 = 0 , β 1 = 0 Symmetric β 2 = 3 , γ 2 = 0 Mesokurtic
γ 1 < 0 Negatively Skewed β 2 < 3 , γ 2 < 0 Platykurtic

3. Introduction to the Moment Generating Function, Characteristics Functions and Cumulant Generating Function

The Raw and Central Moment generating functions respectively denoted by, M X ( t ) and M ˜ X ( t ) along with the Characteristics Function for the uni-variate Probability distribution of a discreet or continuous random variable X is defined as follows,
M X ( t ) = E e t X = m = 1 t m m ! E X m M ¯ X ( t ) = E e t ( X μ ) = m = 1 t m m ! E ( X μ ) m μ r = E ( X μ ) r = d r M ¯ X ( t ) d t r | t = 0 μ r ( 0 ) = d r M X ( t ) d t r | t = 0 C X ( k ) = E e i k X = f ( x ) e i k x d x = m = 1 ( i k ) m m ! E X m μ r ( 0 ) = E X r = ( i ) r d r C X ( k ) d k r | k = 0
from the above relations we can obtain moments of different orders from either M X ( t ) or, M ˜ X ( t ) and from the Characteristics function C X ( k ) respectively.
From the above relations we get,
μ 2 = E ( X μ ) 2 = E X 2 E 2 [ X ] = μ 2 ( 0 ) μ 1 2 ( 0 )
The Cumulant Generating Function for a probability distribution is defined as,
F X ( t ) = l n M X ( t ) = l n E e t X d F X ( t ) d t | t = 0 = E X = μ d 2 F X ( t ) d t 2 | t = 0 = V a r ( X ) = E X 2 E 2 X = μ 2
Just to mention that we can alternatively define the Cumulant generating function function F X ( k ) as the logarithm of the characteristics function as well. Such that we can write,
alternatively F X ( k ) = l n C X ( k ) = l n E [ e i k X }
In general the rth order derivative of the Cumulant Generating function evaluated at t = 0 will gives the r th order cumulant of the probability distribution with the third and fourth cumulant relates with the measure of Skewness and Kurtosis of the probability distribution.

4. Basic Idea about the Projective Measurement in Quantum Mechanics

In standard quantum mechanics we are interested in the idea of projective measurement. In general the state of a quantum system can be spanned using the eigen-basis of any hermitian operator say, M ^ in the underlying system Hilbert space such that the general state of the quantum state if represented by a pure state, the state vector can be written as a linear combination of the eigen states of the hermitian operator. So that we can write, | Ψ = m c m | ϕ m along with, ϕ m | ϕ n = δ m n and M ^ | ϕ m = λ m | ϕ m .Let us denote the projection operator corresponding measurement outcome λ m be, Π ^ m = | λ m λ m | . Then the probability of getting a measurement outcome λ m when the hermitian observable M ^ is measured on state | Ψ and the post measurement system state just after the measurement is carried out will be respectively given by,
P m = Ψ | Π ^ m | Ψ = T r ρ ^ Π ^ m = | c m | 2 with , ρ ^ = | Ψ Ψ | Π ^ m = | ϕ m ϕ m | , m Π ^ m = I ^ Π ^ m 2 = Π ^ m
| P . M = Π ^ m | Ψ Ψ | Π ^ m 2 | Ψ
Here, P m denotes the probability of getting the outcome λ m and | P . M denotes the post measurement system state immediately after the measurement is carried out.

5. Full Counting Statistics Set Up

5.1. Two Time Measurement protocol and the Generalized Probability Distribution

In the context of FCS we assume the most general setup with a quantum system interacting with a single Bath described by the Hamiltonian,
H ^ = H ^ S + H ^ B + H ^ S B
For the given setup we assume that the initial state of supersystem i.e. the overall state of the system coupled to the bath can be expressed as the product states of the system and bath state denoted by their respective density operators such that we can write along with the other necessary assumptions the followings,
ρ ^ t o t ( 0 ) = ρ ^ S ( 0 ) ρ ^ B ( 0 ) ρ ^ B ( 0 ) , H ^ B = 0 , ρ ^ B ( 0 ) , N ^ B = 0 , H ^ B , N ^ B = 0
By the above assumption it is clear that the Bath Hamiltonian is number-conserving in nature which is the fundamental criterion to apply the full counting Statistics technique which is guaranteed by the condition that, H ^ B , N ^ B = 0 . To determine the generalized probability distribution using the two time measurement [1] over any hermitian Bath observable M ^ B satisfying the condition, ρ ^ B ( 0 ) , M ^ B = 0 we measure M ^ B at two times say, t = 0 and t = t leading to the measurement outcomes M B 1 and M B 2 respectively. It is important to note that, M ^ B can be any arbitrary conserved quantity for the bath i.e. some kind of conserved charge such that, we can define a complete set of commuting observable ρ ^ B ( 0 ) , H ^ B , N ^ B , M ^ B . So, the members of the set will share the common eigen-state. The projection operators corresponding to them are
Π ^ 1 = | M B 1 M B 1 | , M ^ | M B 1 = M B 1 | M B 1 , Π ^ 1 2 = Π ^ 1 Π ^ 2 = | M B 2 M B 2 | , M ^ | M B 2 = M B 2 | M B 2 , Π ^ 2 2 = Π ^ 2 M B 1 | M B 1 M B 1 | = M B 2 | M B 2 M B 2 | = I ^ B ρ ^ t o t ( t ) = U ^ ( t , 0 ) ρ ^ t o t ( 0 ) U ^ ( t , 0 )
Now let us perform the two time measurement protocol over any arbitrary bath observable M ^ B . The probability of getting the measurement outcomes M B 1 and M B 2 respectively after measuring the arbitrary bath observable M ^ B in the state described by ρ ^ t o t ( 0 ) at time t = 0 and later at time t respectively when measured over the evolved state will be obtained by applying the Born interpretation such that we can write,
P M B 2 , M B 1 ; t = T r Π ^ 2 U ^ ( t , 0 ) Π ^ 1 ρ ^ t o t ( 0 ) Π ^ 1 U ^ ( t , 0 ) Π ^ 2
Now we are interested in the probability distribution corresponding to the difference of the measurement outcome denoted by, M = M B 2 M B 1 and the corresponding probability will be P ( M = M B 2 M B 1 ; t ) defined as,
P ( M = M B 2 M B 1 ; t ) = M B 2 M B 1 P M B 2 , M B 1 ; t δ M , M B 2 M B 1 = M B 2 M B 1 T r Π ^ 2 U ^ ( t , 0 ) Π ^ 1 ρ ^ t o t ( 0 ) Π ^ 1 U ^ ( t , 0 ) Π ^ 2 δ M , M B 2 M B 1
As discussed in the earlier section that, if we can find out the moment generating function and the cumulant generating function corresponding to any probability distribution then we can easily find out the different order moments. So, the next task is to find out the M.G.F of the probability distribution corresponding to the difference in the measurement outcomes.
Now, the M.G.F of the probability distribution A ( η , t ) for the difference of measurement outcome will be given by,
A ( η , t ) = M P ( M = M B 2 M B 1 ; t ) e η M = M M B 2 M B 1 T r Π ^ 2 U ^ ( t , 0 ) Π ^ 1 ρ ^ t o t ( 0 ) Π ^ 1 U ^ ( t , 0 ) Π ^ 2 e η M δ M , M B 2 M B 1 = M B 2 M B 1 T r Π ^ 2 U ^ ( t , 0 ) Π ^ 1 ρ ^ t o t ( 0 ) Π ^ 1 U ^ ( t , 0 ) Π ^ 2 e η ( M B 2 M B 1 ) = M B 2 M B 1 T r Π ^ 2 U ^ ( t , 0 ) Π ^ 1 ρ ^ S ( 0 ) ρ ^ B ( 0 ) Π ^ 1 U ^ ( t , 0 ) e η ( M B 2 M B 1 ) = M B 2 M B 1 T r Π ^ 2 U ^ ( t , 0 ) Π ^ 1 ρ ^ t o t ( 0 ) U ^ ( t , 0 ) e η ( M B 2 M B 1 ) = M B 2 M B 1 T r e η / 2 M ^ B Π ^ 2 e η / 2 M ^ B U ^ e η / 2 M ^ B Π ^ 1 e η / 2 M ^ B ρ ^ t o t ( 0 ) U ^ = T r e η / 2 M ^ B e η / 2 M ^ B U ^ ( t , 0 ) e η / 2 M ^ B e η / 2 M ^ B ρ ^ t o t ( 0 ) U ^ ( t , 0 ) = T r e η / 2 M ^ B U ^ ( t , 0 ) e η / 2 M ^ B e η / 2 M ^ B ρ ^ t o t ( 0 ) U ^ ( t , 0 ) e η / 2 M ^ B
= T r e η / 2 M ^ B U ^ ( t , 0 ) e η / 2 M ^ B ρ ^ t o t ( 0 ) e η / 2 M ^ B U ^ ( t , 0 ) e η / 2 M ^ B = T r U ˜ ^ ( η , t ) ρ ^ t o t ( 0 ) U ˜ ^ ( η , t ) = T r ρ ^ t o t ( η , t )
Where we have defined a non-hermitian time evolution operator such that,
U ˜ ^ ( η , t ) = e η / 2 M ^ B U ^ ( t , 0 ) e η / 2 M ^ B
The M.G.F of the generalized probability distribution is A ( η , t ) = T r ρ ^ t o t ( η , t ) where we have introduced the Tilted Density like operator which is not trace preserving due to the non-unitary time evolution. Now, we can define the dressed version of any operator incorporating the counting field parameter η such that, we can write for any arbitrary operator A ^ ,
A ^ ( η ) = e η 2 M ^ B A ^ e η 2 M ^ B
We can write down the following equations,
ρ ^ t o t ( η , t ) = U ˜ ^ ( η , t ) ρ ^ t o t ( 0 ) U ˜ ^ ( η , t )
T r ρ ^ t o t ( η , t ) = T r ρ ^ t o t ( 0 ) U ˜ ^ ( η , t ) U ˜ ^ ( η , t )
U ˜ ^ ( η , t ) U ˜ ^ ( η , t ) I ^ T r ρ ^ t o t ( η , t ) T r ρ ^ t o t ( 0 )
Now, as we can see that though ρ ^ t o t ( η , t ) is Hermitian, it is not a valid Density Matrix because it does not obey the CPTP mapping. Now we can define a Valid density matrix ρ ˜ ^ t o t ( η , t ) which is hermitian as well as trace preserving such that we can write the deformed trace preserving density operator,
ρ ˜ ^ t o t ( η , t ) = ρ ^ t o t ( η , t ) T r ρ ^ t o t ( η , t ) = ρ ^ t o t ( η , t ) A ( η , t )
Now, the cumulant generating function corresponding to the generalized probability distribution will be,
F ( η , t ) = l n A ( η , t ) ρ ˜ ^ t o t ( η , t ) = e F ( η , t ) ρ ^ t o t ( η , t )
Now using the divisibility property of the total trace due to separability of the system and bath Hilbert space, we can write
A ( η , t ) = T r S T r B ρ ^ t o t ( η , t ) = T r S ρ ^ S ( η , t )
For, most of the situations we are interested to find out the particle number fluctuations and current fluctuations along with their mean values using the Full counting statistics and the two time measurement protocol scheme. So, to be more precise we are interested to calculate the probability distribution for the difference in energy measurements and Particle number measurements obtained using the two time measurement protocol i.e. E = E B 2 E B 1 and N = N B 2 N B 1 such that, the M.G.F or, C.G.F of probability distribution for the difference in energies and number of particles will be obtained by replacing M ^ B by H ^ B and N ^ B respectively. Such that we can write,
A 1 ( η , t ) = T r e η / 2 N ^ B U ^ ( t , 0 ) e η / 2 N ^ B ρ ^ t o t ( 0 ) e η / 2 N ^ B U ^ ( t , 0 ) e η / 2 N ^ B
A 2 ( η , t ) = T r e η / 2 H ^ B U ^ ( t , 0 ) e η / 2 H ^ B ρ ^ t o t ( 0 ) e η / 2 H ^ B U ^ ( t , 0 ) e η / 2 H ^ B
Where, we have obtained two different M.G.F’s corresponding to the probability distributions corresponding to the differences in the measurement outcomes of the number of bath excitations and the difference of energy. In other words this probability distributions are defined corresponding to the particle and energy currents. From the generating functions A 1 ( η , t ) or, A 2 ( η , t ) we can extract different moments corresponding to the particle and energy currents.
Now, if the system Hamiltonian is not explicitly time dependent then with, U ^ ( t , 0 ) = e i H ^ t we can write for the case of energy currents i.e. with M ^ B = H ^ B ,
U ˜ ^ ( η , t ) = e i H ^ ( η ) t
ρ ^ t o t ( η , t ) = e i H ^ ( η ) t ρ ^ t o t ( 0 ) e i H ^ ( η ) t
Now using the fact that,
P ^ e A ^ P ^ 1 = e P ^ A ^ P ^ 1
We can define the following operators appearing in the exponents as,
H ^ ( η ) = e η / 2 H ^ B H ^ e η / 2 H ^ B H ^ ( η ) = e η / 2 H ^ B H ^ e η / 2 H ^ B = H ^ ( η )
ρ ^ t o t ( η , t ) = e i H ^ ( η ) t ρ ^ t o t ( 0 ) e i H ^ ( η )
H ^ ( η ) = H ^ S + H ^ B + H ^ S B ( η )
Now, the time evolution of ρ ^ t o t ( η , t ) can be described as follows,
d ρ ^ t o t ( η , t ) d t = i ρ ^ t o t ( η , t ) H ^ ( η ) H ^ ( η ) ρ ^ t o t ( η , t ) = i ρ ^ t o t ( η , t ) , H ^ S + H ^ B + i ρ ^ t o t ( η , t ) H ^ S B ( η ) H ^ S B ( η ) ρ ^ t o t ( η , t ) = i ρ ^ t o t ( η , t ) , H ^ + i ρ ^ t o t ( η , t ) H ˜ ^ S B ( η ) H ˜ ^ S B ( η ) ρ ^ t o t ( η , t )
Where we have defined,
H ˜ ^ S B ( η ) = H ^ S B ( η ) H ^ S B
Now, for the cumulant generating function F ( η , t ) we can write,
d F ( η , t ) d t = 1 A ( η , t ) T r d ρ ^ t o t ( η , t ) d t
= i T r ρ ˜ ^ t o t ( η , t ) H ^ S B ( η ) ρ ˜ ^ t o t ( η , t ) H ^ S B ( η ) = i H ^ S B ( η ) H ^ S B ( η )
where we have used the definition of the trace preserving valid density operator ρ ˜ ^ t o t ( η , t ) . Now for any operator O ^ we can define,
O ^ = T r ρ ˜ ^ t o t ( η , t ) O ^ = T r ρ ^ t o t ( η , t ) O ^ T r ρ ^ t o t ( η , t )
Now, for the valid density operator we can again write,
ρ ˜ ^ t o t ( η , t ) = e F ( η , t ) ρ ^ t o t ( η , t ) d ρ ˜ ^ t o t ( η , t ) d t = i ρ ˜ ^ t o t ( η , t ) , H ^ + i ρ ˜ ^ t o t ( η , t ) H ˜ ^ S B ( η ) H ˜ ^ S B ( η )
i H ˜ ^ S B ( η ) H ˜ ^ S B ( η ) ρ ˜ ^ t o t ( η , t )
Now to describe the typical non-hermitian evolution of ρ ^ t o t ( η , t ) we can write the master equation as follows,
d ρ ^ t o t ( η , t ) d t = i ρ ^ t o t ( η , t ) H ^ D H ^ D ρ ^ t o t ( η , t )
= i ρ ^ t o t ( η , t ) , H ^ D ( 1 ) + ρ ^ t o t ( η , t ) , H ^ D ( 2 )
Where, we have introduced a non-hermitian Hamiltonian H ^ D = H ^ ( η ) which is the dressed Hamiltonian in the presence of counting field and the non-hermiticity is captured through the anti-commutator term in the above equation describing the time evolution of ρ ^ t o t ( η , t ) . We have defined two hermitian hamiltonians such that,
H ^ D = H ^ D ( 1 ) i H ^ D ( 2 ) , H ^ D ( 1 ) = 1 2 H ^ D + H ^ D and H ^ D ( 2 ) = i 2 H ^ D H ^ D
Now, the reduced deformed density operator for the system is, ρ ^ S ( η , t ) = T r B ρ ^ t o t ( η , t ) along with the fact that, A ( η , t ) = T r S ρ ^ S ( η , t ) .
The above results derived above can be generalized for the situation when the system Hamiltonian or the system bath coupling hamiltonian carries an explicit time dependence such that in the first case we have, H ^ ( t ) = H ^ S ( t ) + H ^ B + H ^ S B and in the other case where the interaction Hamiltonian carries an explicit time dependence such that, H ^ ( t ) = H ^ S + H ^ B + g ( t ) H ^ S B with, g ( t ) being the strength of the time periodic drive. For both the cases the construction of the unitary time evolution operator will be given by the time ordered form such that,
U ^ ( t , 0 ) = T ^ e i 0 t H ^ ( t ) d t
d U ˜ ^ ( η , t ) d t = i H ^ ( η , t ) U ˜ ^ ( η , t )
For the first case with H ^ S being time dependent we can write,
H ^ ( η , t ) = H ^ S ( t ) + H ^ B + H ^ S B ( η )
d ρ ^ t o t ( η , t ) d t = i ρ ^ t o t ( η , t ) , H ^ S ( t ) + H ^ B + i ρ ^ t o t ( η , t ) H ^ S B ( η ) H ^ S B ( η ) ρ ^ t o t ( η , t )
For the other case with H ^ ( t ) = H ^ S + H ^ B + g ( t ) H ^ S B we can write,
d ρ ^ t o t ( η , t ) d t = i ρ ^ t o t ( η , t ) , H ^ S + H ^ B + i g ( t ) ρ ^ t o t ( η , t ) H ^ S B ( η ) H ^ S B ( η ) ρ ^ t o t ( η , t )

5.2. Generalization of the FCS Exercise for System Connected to Multiple Baths

The scheme of two time measurement protocol in connection with the Full counting statistics can be generalized when the system is connected to multiple baths. Let us assume that the system is connected to multiple baths which are independent (non-interacting) in nature and if we are interested to carry out the two time measurement protocol simultaneously over all of them for the energy say, then with the usual assumptions,
ρ ^ t o t ( 0 ) = ρ ^ S ( 0 ) l = 1 N ρ ^ B l ( 0 )
and ρ ^ B l ( 0 ) , H ^ B l = 0 , ρ ^ B l ( 0 ) , N ^ B l = 0 the idea of the two time measurement protocol can be generalized such that we can write the following,
A ( η , t ) = T r ρ ^ t o t ( η , t ) = T r S ρ ^ S ( η , t )
ρ ^ t o t ( η , t ) = U ˜ ^ ( η , t ) ρ ^ t o t ( 0 ) U ˜ ^ ( η , t )
U ˜ ^ ( η , t ) = e 1 2 l = 1 N η l H ^ B l U ^ ( t , 0 ) e 1 2 l = 1 N η l H ^ B l = e i H ^ ( η ) t
H ^ ( η ) = exp 1 2 l = 1 N η l H ^ B l H ^ exp 1 2 l = 1 N η l H ^ B l
We assume that the baths can be described by the Grand Canonical setup at the initial time such that,
ρ ^ B ( 0 ) = l = 1 N ρ ^ B l ( 0 ) = l = 1 N e β l H ^ B l μ l N ^ B l Z l G . C
Z l G . C = T r B l e β l H ^ B l μ l N ^ B l
For, any arbitrary operator O ^ the corresponding dressed version with the counting fields can be defined as,
O ^ ( η ) = l = 1 N exp 1 2 η l H ^ B l O ^ l = 1 N exp 1 2 η l H ^ B l
Here, η defines the set of counting field variables. Then in general we can write,
d ρ ^ t o t ( η , t ) d t = i ρ ^ t o t ( η , t ) , H ^ S + l = 1 N H ^ B l + i l = 1 N ρ ^ t o t ( η , t ) H ^ S B l ( η l ) H ^ S B l ( η l ) ρ ^ t o t ( η , t )
For the case of particle current we have to replace H ^ B by N ^ B in the exponents to define the Tilted operators.

5.3. Derivation of Quantum Master Equation of the Reduced Tilted Density Operator of the System for the Single Bath Case in the Weak Coupling Limit

5.4. General Derivation of the Q.M.E with H ^ SB = l S ^ l B ^ l

Here we derive the Master equation for the reduced tilted density operator for the system in the weak system-bath coupling regime for the interaction with a single bath such that with the following are satisfied.
H ^ S B = l S ^ l B ^ l , ρ ^ B ( 0 ) , H ^ B = 0
Any arbitrary operator A ^ I ( t ) in the interaction picture is defined as,
A ^ I ( t ) = e i ( H ^ S + H ^ B ) t A ^ e i ( H ^ S + H ^ B ) t
We can write the following,
ρ ^ t o t I ( η , t ) = e i ( H ^ S + H ^ B ) t ρ ^ t o t ( η , t ) e i ( H ^ S + H ^ B ) t
H ^ S B ( η , t ) = l S ^ l ( t ) B ^ l ( η , t ) , with S ^ l ( t ) = e i H ^ S t S ^ l e i H ^ S t
B ^ l ( η , t ) = e η / 2 H ^ B B ^ l I ( t ) e η / 2 H ^ B
d ρ ^ t o t I ( η , t ) d t = i ρ ^ t o t I ( η , t ) H ^ S B ( η , t ) H ^ S B ( η , t ) ρ ^ t o t I ( η , t )
Such that we can write,
ρ ^ t o t I ( η , t ) = ρ ^ t o t I ( η , 0 ) + i 0 t ρ ^ t o t I ( η , t ) H ^ S B ( η , t ) H ^ S B ( η , t ) ρ ^ t o t I ( η , t ) d t
Invoking Born Approximation we can write,
ρ ^ t o t I ( η , t ) ρ ^ t o t I ( η , 0 ) + i 0 t ρ ^ t o t I ( η , 0 ) H ^ S B ( η , t ) H ^ S B ( η , t ) ρ ^ t o t I ( η , 0 ) d t
Such that
d ρ ^ t o t I ( η , t ) d t = i ρ ^ t o t I ( η , 0 ) H ^ S B ( η , t ) H ^ S B ( η , t ) ρ ^ t o t I ( η , 0 ) 0 t ρ ^ t o t I ( η , 0 ) H ^ S B ( η , t ) H ^ S B ( η , t ) d t 0 t H ^ S B ( η , t ) H ^ S B ( η , t ) ρ ^ t o t I ( η , 0 ) d t + 0 t H ^ S B ( η , t ) ρ ^ t o t I ( η , 0 ) H ^ S B ( η , t ) d t + 0 t H ^ S B ( η , t ) ρ ^ t o t I ( η , 0 ) H ^ S B ( η , t ) d t
Along with,
ρ ^ S I ( η , t ) = T r B ρ ^ t o t I ( η , t )
ρ ^ t o t I ( η , 0 ) = ρ ^ t o t ( 0 ) = ρ ^ S ( 0 ) ρ ^ B ( 0 ) = ρ ^ S I ( η , 0 ) ρ ^ B ( 0 )
Now, with the assumption T r B ρ ^ B ( 0 ) B ^ m = 0 and taking the partial trace of the above equation at both sides we can write,
d ρ ^ S I ( η , t ) d t = i T r B ρ ^ t o t ( 0 ) H ^ S B ( η , t ) H ^ S B ( η , t ) ρ ^ t o t ( 0 ) 0 t T r B ρ ^ S I ( η , 0 ) ρ ^ B ( 0 ) H ^ S B ( η , t ) H ^ S B ( η , t ) d t 0 t T r B H ^ S B ( η , t ) H ^ S B ( η , t ) ρ ^ S I ( η , 0 ) ρ ^ B ( 0 ) d t + 0 t T r B H ^ S B ( η , t ) ρ ^ S I ( η , 0 ) ρ ^ B ( 0 ) H ^ S B ( η , t ) d t + 0 t T r B H ^ S B ( η , t ) ρ ^ S I ( η , 0 ) ρ ^ B ( 0 ) H ^ S B ( η , t ) d t
Now, using the above assumptions we can write,
T r B ρ ^ t o t ( 0 ) H ^ S B ( η , t ) = ρ ^ S ( 0 ) l e i H ^ S t S ^ l e i H ^ S t T r B ρ ^ B ( 0 ) B ^ l = 0
similarly , T r B H ^ S B ( η , t ) ρ ^ t o t ( 0 ) = 0
Invoking Markov approximation i.e. ρ ^ S I ( η , 0 ) ρ ^ S I ( η , t ) we get the Born-Markov(Redfield) Q.M.E for the tilted reduced density operator for the system given by,
d ρ ^ S I ( η , t ) d t = 0 t T r B ρ ^ S I ( η , t ) ρ ^ B ( 0 ) H ^ S B ( η , t ) H ^ S B ( η , t ) d t 0 t T r B H ^ S B ( η , t ) H ^ S B ( η , t ) ρ ^ S I ( η , t ) ρ ^ B ( 0 ) d t + 0 t T r B H ^ S B ( η , t ) ρ ^ S I ( η , t ) ρ ^ B ( 0 ) H ^ S B ( η , t ) d t + 0 t T r B H ^ S B ( η , t ) ρ ^ S I ( η , t ) ρ ^ B ( 0 ) H ^ S B ( η , t ) d t
Now, the equation can be further simplified term by term by using putting H ^ S B = l S ^ l B ^ l such that we cxan write,
First Term : with B ^ l ( η , t ) = e η / 2 H ^ B e i H ^ B t B ^ l e i H ^ B t e η / 2 H ^ B
0 t T r B ρ ^ S I ( η , t ) ρ ^ B ( 0 ) H ^ S B ( η , t ) H ^ S B ( η , t ) d t
= l m ρ ^ S I ( η , t ) 0 t S ^ l ( t ) T r B ρ ^ B ( 0 ) B ^ l ( η , t ) B ^ m ( η , t ) d t S ^ m ( t )
= l m ρ ^ S I ( η , t ) 0 t S ^ l ( t ) T r B ρ ^ B ( 0 ) B ^ l ( t t ) B ^ m d t S ^ m ( t )
Second Term :
0 t T r B H ^ S B ( η , t ) H ^ S B ( η , t ) ρ ^ S I ( η , t ) ρ ^ B ( 0 ) d t
= l m S ^ l ( t ) 0 t S ^ m ( t ) T r B ρ ^ B ( 0 ) B ^ l ( η , t ) B ^ m ( η , t ) d t ρ ^ S I ( η , t )
= l m S ^ l ( t ) 0 t S ^ m ( t ) T r B ρ ^ B ( 0 ) B ^ l B ^ m ( t t ) d t ρ ^ S I ( η , t )
Third Term :
0 t T r B H ^ S B ( η , t ) ρ ^ S I ( η , t ) ρ ^ B ( 0 ) H ^ S B ( η , t ) d t
= l m S ^ l ( t ) ρ ^ S I ( η , t ) 0 t S ^ m ( t ) T r B ρ ^ B ( 0 ) B ^ m ( η , t ) B ^ l ( η , t ) d t
= l m S ^ l ( t ) ρ ^ S I ( η , t ) 0 t S ^ m ( t ) T r B ρ ^ B ( 0 ) B ^ m ( 2 η , t t ) B ^ l d t
Fourth Term :
0 t T r B H ^ S B ( η , t ) ρ ^ S I ( η , t ) ρ ^ B ( 0 ) H ^ S B ( η , t ) d t
= l m 0 t S ^ l ( t ) T r B ρ ^ B ( 0 ) B ^ m ( η , t ) B ^ l ( η , t ) d t ρ ^ S I ( η , t ) S ^ m ( t )
= l m 0 t S ^ l ( t ) T r B ρ ^ B ( 0 ) B ^ m ( 2 η , t t ) B ^ l d t ρ ^ S I ( η , t ) S ^ m ( t )
Now, Converting the Q.M.E in the Schrodinger Picture with, ρ ^ S I ( η , t ) = e i H ^ S t ρ ^ S ( η , t ) e i H ^ S t we obtain individual terms. We also define for any arbitrary Bath operator G ^ we can define,
G ^ B = T r B ρ ^ B ( 0 ) G ^
Now we can simplify the above equation in the interaction picture term by term such that we can write in Schrodinger picture,
First Term :
l m ρ ^ S ( η , t ) 0 t S ^ l ( t t ) B ^ l ( t t ) B ^ m B d t S ^ m
= l m ρ ^ S ( η , t ) 0 t S ^ l ( τ ) B ^ l ( τ ) B ^ m B d τ S ^ m
l m ρ ^ S ( η , t ) 0 S ^ l ( τ ) B ^ l ( τ ) B ^ m B d τ S ^ m
= l m ρ ^ S ( η , t ) A ˜ ^ l m S ^ m
Similarly Second Term :
l m S ^ m 0 S ^ l ( τ ) B ^ l ( τ ) B ^ m B d τ ρ ^ S ( η , t )
= l m S ^ m A ˜ ^ l m ρ ^ S ( η , t )
Fourth Term :
l m S ^ m ρ ^ S ( η , t ) 0 S ^ l ( τ ) B ^ l ( 2 η , τ ) B ^ m B d τ
= l m S ^ m ρ ^ S ( η , t ) B ˜ ^ l m ( η )
Third Term :
l m 0 S ^ l ( τ ) B ^ m ( 2 η , τ ) B ^ l B d τ ρ ^ S ( η , t ) S ^ m
= l m B ˜ ^ l m ( η ) ρ ^ S ( η , t ) S ^ m
Then, the Q.M.E for ρ ^ S ( η , t ) in Schrodinger picture will be,
d ρ ^ S ( η , t ) d t = i ρ ^ S ( η , t ) , H ^ S l m ρ ^ S ( η , t ) A ˜ ^ l m S ^ m l m S ^ m A ˜ ^ l m ρ ^ S ( η , t ) + l m S ^ m ρ ^ S ( η , t ) B ˜ ^ l m ( η ) + l m B ˜ ^ l m ( η ) ρ ^ S ( η , t ) S ^ m
Where we have defined the following,
A ˜ ^ l m = 0 S ^ l ( τ ) B ^ l ( τ ) B ^ m B d τ
B ˜ ^ l m ( η ) = 0 S ^ l ( τ ) B ^ l ( 2 η , τ ) B ^ m B d τ
Its evident from the above Q.M.E that if we set η = 0 we get back the usual Redfield Q.M.E in the weak coupling limit as, B ˜ ^ l m ( η = 0 ) = A ˜ ^ l m .

5.5. A Microscopic Derivation of the Q.M.E with H ^ SB = l S ^ l B ^ l

Now, we will discuss the microscopic derivation [2] of the Master equation for ρ ^ S ( η , t ) , the approach is useful when the spectrum of the system Hamiltonian is known or obtained by the denationalization of H ^ S . We can write,
H ^ S B = α S ^ α B ^ α = α ω S ^ α ω B ^ α ; with S ^ α = ω S ^ α ω
S ^ α = S ^ α = ω S ^ α ω , H ^ S B = α ω S ^ α ω B ^ α
S ^ α = ϵ 1 ϵ 2 | ϵ 1 ϵ 1 | S ^ α | ϵ 2 ϵ 2 | = ϵ 1 ϵ 2 π ^ ϵ 1 S ^ α π ^ ϵ 2
= ϵ ω π ^ ϵ + ω S ^ α π ^ ϵ = ω S ^ α ω ; with S ^ α ω = ϵ π ^ ϵ + ω S ^ α π ^ ϵ
Again we can write,
H ^ S , π ^ ϵ = 0 , with S ^ α ω = ϵ π ^ ϵ ω S ^ α π ^ ϵ = S ^ α ω
H ^ S , S ^ α ω = ω S ^ α ω H ^ S S ^ α ω = ϵ H ^ S π ^ ϵ + ω S ^ α π ^ ϵ = ϵ ( ϵ + ω ) π ^ ϵ + ω S ^ α π ^ ϵ S ^ α ω H ^ S = ϵ ϵ π ^ ϵ + ω S ^ α π ^ ϵ with H ^ S , S ^ α ω = ω S ^ α ω
S ^ α ω ( t ) = e i H ^ S t S ^ α ω e i H ^ S t
d S ^ α ω ( t ) d t = i H ^ S , S ^ α ω ( t ) S ^ α ω ( t ) = e i ω t S ^ α ω
H ^ S B ( η , t ) = α ω S ^ α ω ( t ) B ^ α ( η , t )
H ^ S B ( η , t ) = β ω S ^ β ω ( t ) B ^ β ( η , t )
Now substituting the form of the interaction Hamiltonian in the Redfield quantum master equation we can once again simplify the master equation term by term such that we will get using the above equations,
The First Term :
0 t T r B ρ ^ S I ( η , t ) ρ ^ B ( 0 ) H ^ S B ( η , t ) H ^ S B ( η , t ) d t
= ρ ^ S I ( η , t ) α β ω ω 0 t S ^ α ω ( t ) T r B ρ ^ B ( 0 ) B ^ α ( t t ) B ^ β d t S ^ β ω ( t )
= ρ ^ S I ( η , t ) α β ω ω 0 t S ^ α ω ( t ) C α β ( t t ) d t S ^ β ω ( t )
where , C α β ( t t ) = T r B ρ ^ B ( 0 ) B ^ α ( t t ) B ^ β
Second Term :
0 t T r B H ^ S B ( η , t ) H ^ S B ( η , t ) ρ ^ S I ( η , t ) ρ ^ B ( 0 ) d t
= α β ω ω S ^ α ω ( t ) 0 t S ^ β ω ( t ) T r B ρ ^ B ( 0 ) B ^ α B ^ β ( t t ) d t ρ ^ S I ( η , t )
= α β ω ω S ^ α ω ( t ) 0 t S ^ β ω ( t ) C β α * ( t t ) d t ρ ^ S I ( η , t )
Third Term :
0 t T r B H ^ S B ( η , t ) ρ ^ S I ( η , t ) ρ ^ B ( 0 ) H ^ S B ( η , t ) d t
= α , β ω , ω S ^ β ω ( t ) ρ ^ S I ( η , t ) 0 t S ^ α ω ( t ) T r B ρ ^ B ( 0 ) B ^ α ( 2 η , t t ) B ^ β d t
= α β ω ω S ^ β ω ( t ) ρ ^ S I ( η , t ) 0 t S ^ α ω ( t ) C ˜ α β ( η , t t ) d t
Similarly, the fourth term will be H.C of third term. Converting back in Schrodinger picture along with τ = t t and setting the upper limit of integral to infinity we get,
d ρ ^ S ( η , t ) d t = i ρ ^ S ( η , t ) , H ^ S α , β ω , ω ρ ^ S ( η , t ) S ^ α ω S ^ β ω Γ α β ( ω ) α , β ω , ω S ^ α ω S ^ β ω Γ β α * ( ω ) + α , β ω , ω G ˜ α β * ( η , ω ) S ^ α ω ρ ^ S ( η , t ) S ^ β ω α , β ω , ω G ˜ β α ( η , ω ) S ^ α ω ρ ^ S ( η , t ) S ^ β ω
Where we have defined the following,
Γ α β ( ω ) = 0 C α β ( τ ) e i ω τ d τ
G ˜ α β ( η , ω ) 0 e i ω τ C ˜ α β ( η , τ ) d τ
C α β ( τ ) = T r B ρ ^ B ( 0 ) B ^ α ( τ ) B ^ β
C ˜ α β ( η , τ ) = T r B ρ ^ B ( 0 ) B ^ α ( 2 η , τ ) B ^ β

5.6. General Derivation of Q.M.E with H ^ SB = l ( S ^ l B ^ l + h . c )

Now, if we consider the most general form of System Bath coupling Hamiltonian given by,
H ^ S B = l S ^ l B ^ l + B ^ l S ^ l
then along with the same set of assumptions as before i.e.
ρ ^ B ( 0 ) , H ^ B = ρ ^ B ( 0 ) , N ^ B = H ^ B , N ^ B = 0 with T r B ρ ^ B ( 0 ) B ^ l = 0
We obtain the Q.M.E for ρ ^ S ( η , t ) in the Schrodinger picture for either Energy or particle currents as,
d ρ ^ S ( η , t ) d t = i ρ ^ S ( η , t ) , H ^ S l , m ρ S ^ ( η , t ) A ^ l m ( 1 ) S ^ m + ρ ^ S ( η , t ) A ^ l m ( 2 ) S ^ m + h . c l m ρ ^ S ( η , t ) A ^ l m ( 3 ) S ^ m + ρ ^ S ( η , t ) A ^ l m ( 4 ) S ^ m + h . c + l m B ^ l m ( 1 ) ( η ) ρ ^ S ( η , t ) S ^ m + B ^ l m ( 2 ) ( η ) ρ ^ S ( η , t ) S ^ m + h . c + l m B ^ l m ( 3 ) ( η ) ρ ^ S ( η , t ) S ^ m + B ^ l m ( 4 ) ( η ) ρ ^ S ( η , t ) S ^ m + h . c
Where we have defined the following set of quantities,
A ^ l m ( 1 ) = 0 S ^ l ( τ ) T r B ρ ^ B ( 0 ) B ^ l ( τ ) B ^ m d τ
A ^ l m ( 2 ) = 0 S ^ l ( τ ) T r B ρ ^ B ( 0 ) B ^ l ( τ ) B ^ m d τ
A ^ l m ( 3 ) = 0 S ^ l ( τ ) T r B ρ ^ B ( 0 ) B ^ l ( τ ) B ^ m d τ
A ^ l m ( 4 ) = 0 S ^ l ( τ ) T r B ρ ^ B ( 0 ) B ^ l ( τ ) B ^ m d τ
B ^ l m ( 1 ) ( η ) = 0 S ^ l ( τ ) T r B ρ ^ B ( 0 ) B ^ m B ^ l ( 2 η , τ ) d τ
B ^ l m ( 2 ) ( η ) = 0 S ^ l ( τ ) T r B ρ ^ B ( 0 ) B ^ m B ^ l ( 2 η , τ ) d τ
B ^ l m ( 3 ) ( η ) = 0 S ^ l ( τ ) T r B ρ ^ B ( 0 ) B ^ m B ^ l ( 2 η , τ ) d τ
B ^ l m ( 4 ) ( η ) = 0 S ^ l ( τ ) T r B ρ ^ B ( 0 ) B ^ m B ^ l ( 2 η , τ ) d τ

6. Application of F.C.S for the Resonant Level Model

Now, we will apply the above formulation for the problem of basic quantum thermoelctric transport known as Resonant Level Model. We assume a single quantum dot is connected to two independent fermionic reservoirs characterized by β l , μ l for l = 1 , 2 . The system is described by the Hamiltonian given by,
H ^ = H ^ S + H ^ B + H ^ S B
H ^ S = ω 0 c ^ c ^
H ^ B = m H ^ B m = r m ω r m b ^ r m b ^ r m
H ^ S B = m H ^ S B m = r m κ r m c ^ b ^ r m + κ r m * b ^ r m c ^
ρ ^ t o t ( 0 ) = ρ ^ S ( 0 ) ρ ^ B 1 ( 0 ) ρ ^ B 2 ( 0 )
ρ ^ B l ( 0 ) = e β l H ^ B l μ l N ^ B l Z l G . C with Z l G . C = T r B l e β l H ^ B l μ l N ^ B l
N ^ B l = r b ^ r l b ^ r l with N ^ = N ^ Q D + N ^ f = c ^ c ^ + r m b ^ r m b ^ r m
c ^ , c ^ = I ^ , c ^ , c ^ = 0 = c ^ , c ^ with , N ^ being conserved
b ^ r α , b ^ m β = 0 = b ^ r α , b ^ m β
b ^ r α , b ^ m β = I ^ δ r m δ α β , c ^ , b ^ r α = 0 = c ^ , b ^ r α = c ^ , b ^ r α
Now for case of particle current calculation from both baths we can write the following,
A ( η 1 , η 2 , t ) = T r ρ ^ t o t ( η 1 , η 2 , t ) = T r S ρ ^ S ( η 1 , η 2 , t )
ρ ^ t o t ( η 1 , η 2 , t ) = U ˜ ^ ( η 1 , η 2 , t ) ρ ^ t o t ( 0 ) U ˜ ^ ( η 1 , η 2 , t )
U ˜ ^ ( η 1 , η 2 , t ) = e η 2 / 2 N ^ B 2 e η 1 / 2 N ^ B 1 U ^ ( t , 0 ) e η 1 / 2 N ^ B 1 e η 2 / 2 N ^ B 2
d ρ ^ t o t I ( η 1 , η 2 , t ) d t = i α ρ ^ t o t I ( η 1 , η 2 , t ) H ^ S B α ( η α , t ) H ^ S B α ( η α , t ) ρ ^ t o t I ( η 1 , η 2 , t )
From the above derivation we can write the Q.M.E for ρ ^ S ( η 1 , η 2 , t ) in the Schrodinger picture.
d ρ ^ S I ( η 1 , η 2 , t ) d t = α , β 0 t T r B ρ ^ S I ( η 1 , η 2 , t ) ρ ^ B ( 0 ) H ^ S B α ( η α , t ) H ^ S B β ( η β , t ) d t α , β 0 t T r B H ^ S B α ( η α , t ) H ^ S B β ( η β , t ) ρ ^ S I ( η 1 , η 2 , t ) ρ ^ B ( 0 ) d t + α , β 0 t T r B H ^ S B α ( η α , t ) ρ ^ S I ( η 1 , η 2 , t ) ρ ^ B ( 0 ) H ^ S B β ( η β , t ) d t + α , β 0 t T r B H ^ S B α ( η α , t ) ρ ^ S I ( η 1 , η 2 , t ) ρ ^ B ( 0 ) H ^ S B β ( η β , t ) d t
We list down some useful identities and results to simplify the master equation term by term given as,
T r B 1 T r B 2 ρ ^ S I ( η 1 , η 2 , t ) ρ ^ B ( 0 ) H ^ S B 1 ( η 1 , t ) H ^ S B 2 ( η 2 , t ) = 0
T r B 1 T r B 2 ρ ^ S I ( η 1 , η 2 , t ) ρ ^ B ( 0 ) H ^ S B 2 ( η 2 , t ) H ^ S B 1 ( η 1 , t ) = 0
T r B 1 T r B 2 H ^ S B 1 ( η 1 , t ) ρ ^ S I ( η 1 , η 2 , t ) ρ ^ B ( 0 ) H ^ S B 2 ( η 2 , t ) = 0
T r B 1 T r B 2 H ^ S B 2 ( η 2 , t ) ρ ^ S I ( η 1 , η 2 , t ) ρ ^ B ( 0 ) H ^ S B 1 ( η 1 , t ) = 0
T r B α ρ ^ B α ( 0 ) b ^ r α b ^ m α = n ¯ ( ω r α , μ α , β α ) δ r m
T r B α ρ ^ B α ( 0 ) b ^ r α b ^ m α = 1 n ¯ ( ω r α , μ α , β α ) δ r m
T r B α ρ ^ B α ( 0 ) b ^ r α b ^ m α = 0 = T r B α ρ ^ B α ( 0 ) b ^ r α b ^ m α = 0
T r B α ρ ^ B α ( 0 ) b ^ r α = 0 = T r B α ρ ^ B α ( 0 ) b ^ r α
H ^ S B α ( η α , t ) = r κ r α c ^ e i ω 0 t b ^ r α e i ω r α t e η α / 2 + κ r α * e i ω 0 t e i ω r α t e η α / 2 b ^ r α c ^
Now after converting the equation for the reduced tilted density operator for the system in the Schrodinger picture we can write the final form of the master equation for ρ ^ S ( η 1 , η 2 , t ) by dropping the Lamb-Stark shift Appendix B,
d ρ ^ S ( η 1 , η 2 , t ) d t = i ρ ^ S ( η 1 , η 2 , t ) , H ^ S + m γ m n ¯ m e η m c ^ ρ ^ S ( η 1 , η 2 , t ) c ^ 1 2 c ^ c ^ , ρ ^ S ( η 1 , η 2 , t + m γ m 1 n ¯ m e η m c ^ ρ ^ S ( η 1 , η 2 , t ) c ^ 1 2 c ^ c ^ , ρ ^ S ( η 1 , η 2 , t )
Where we have defined,
γ α = J α ( ω 0 ) , n ¯ α = n ¯ ( ω 0 , β α , μ α ) = 1 + e β α ( ω 0 μ α ) 1
J α ( ω ) = 2 π r | κ r α | 2 δ ( ω ω r α )
Where we have denoted the Bath spectral function of the α th bath by J α ( ω ) .

6.1. Conventional Ways of Calculating Mean Energy Currents

Let us consider the most general situation where the system is connected to multiple baths such that one is interested to define the average of particle current and energy current flowing from the system to any of the baths with which it is connected. Now the usual and conventional way to define the Energy and particle currents from the system to the α th bath is generally defined as,
J S B α = d d t H ^ B α = i [ H ^ B α , H ^ S B α ]
I S B α = d d t N ^ B α = i [ N ^ B α , H ^ S B α ]
in general J S B α ( t ) = d d t H ^ S B α + i [ H ^ S B α , H ^ S ] + i β α [ H ^ S B α , H ^ S B β ]
Where we have defined,
. . . ^ = T r ρ ^ t o t ( t ) ( . . . ^ )
An alternate way to define energy currents is given by,
d d t H ^ S = T r d ρ ^ S ( t ) d t H ^ S = i T r ρ ^ S ( t ) , H ^ S + m T r D ^ m ρ ^ S ( t ) H ^ S
Where we have considered that the dynamics of the reduced density operator ρ ^ S ( t ) here for the quantum dot for example is being described by the usual Lindblad type of Master equation such that,
d ρ ^ S ( t ) d t = i ρ ^ S ( t ) , H ^ S + m γ m n ¯ m L c ^ ρ ^ S ( t ) + m γ m ( 1 n ¯ m ) L c ^ ρ ^ S ( t )
L A ^ ρ ^ S ( t ) = A ^ ρ ^ S ( t ) A ^ 1 2 A ^ A ^ , ρ ^ S ( t )
Such that we can write,
D ^ m ρ ^ S ( t ) = m γ m n ¯ m L ^ c ^ ρ ^ S ( t ) + m γ m ( 1 n ¯ m ) L ^ c ^ ρ ^ S ( t )
Now, at steady state
d ρ ^ S ( t ) d t = 0 d d t H ^ S = 0
m γ m n ¯ m T r L ^ c ^ ρ ^ S ( t ) H ^ S + m γ m ( 1 n ¯ m ) T r L ^ c ^ ρ ^ S ( t ) H ^ S = 0
such that J S B α S . S = γ α n ¯ α T r L ^ c ^ ρ ^ S ( t ) H ^ S + γ α ( 1 n ¯ α ) T r L ^ c ^ ρ ^ S ( t ) H ^ S
With each term calculated at steady state. Here J S B α S . S denotes the steady state energy current from the system to the α th bath. And in this context we can see that, α J S B α S . S = 0 .
In general we can write, d d t H ^ S = α J S B α ( t ) .
After simplifying the above expressions at steady state for the Resonant Level model setup we obtain,
J S B α S . S = γ 1 ω 0 ρ 11 S . S n ¯ α
For H ^ S ( t ) being time dependent writing the Q.M.E in rotating frame we can define the average power as,
P A v g = i T r ρ ^ S ( t ) H ˜ ^ R o t , H ^ S
We will show that the mean currents calculated by the conventional method and the same by FCS matches each other at steady state but the drawback is we can’t calculate the higher order moments from here for example the current fluctuations!! When we set η 1 = η 2 = 0 it becomes traditional Lindblad Master Equation.
d ρ ^ S ( t ) d t = i ρ ^ S ( t ) , H ^ S + m γ m n ¯ m L c ^ ρ ^ S ( t ) + m γ m ( 1 n ¯ m ) L c ^ ρ ^ S ( t )
L A ^ ρ ^ S ( t ) = A ^ ρ ^ S ( t ) A ^ 1 2 A ^ A ^ , ρ ^ S ( t )

6.2. Calculation of Mean Currents and Fluctuations for Resonant Level Model Using FCS

Calculation of Particle currents: From the above Q.M.E for ρ ^ S ( η 1 , η 2 , t ) we get,
I S B 1 ( t ) = 2 A ( η 1 , η 2 , t ) η 1 t η 1 = 0 η 2 = 0 T r 2 ρ ^ S ( η 1 , η 2 , t ) η 1 t η 1 = 0 η 2 = 0 = γ 1 T r ρ ^ S ( t ) c ^ c ^ γ 1 n ¯ 1 ( t )
= γ 1 c ^ c ^ γ 1 n ¯ 1 = γ 1 ρ 11 ( t ) γ 1 n ¯ 1
I S B 2 ( t ) = 2 A ( η 1 , η 2 , t ) η 2 t η 1 = 0 η 2 = 0 T r 2 ρ ^ S ( η 1 , η 2 , t ) η 2 t η 1 = 0 η 2 = 0 = γ 2 T r ρ ^ S ( t ) c ^ c ^ γ 2 n ¯ 2
= γ 2 c ^ c ^ γ 2 n ¯ 2 = γ 2 ρ 11 ( t ) γ 2 n ¯ 2
ρ m n ( t ) = m | ρ ^ S ( t ) | n
Now, from the Lindblad equation we have,
d ρ 11 ( t ) d t = γ 1 n ¯ 1 + γ 2 n ¯ 2 ρ 00 ( t ) γ 1 ( 1 n ¯ 1 ) + γ 2 ( 1 n ¯ 2 ) ρ 11 ( t )
d ρ 00 ( t ) d t = γ 1 n ¯ 1 + γ 2 n ¯ 2 ρ 00 ( t ) + γ 1 ( 1 n ¯ 1 ) + γ 2 ( 1 n ¯ 2 ) ρ 11 ( t )
d ρ 01 ( t ) d t = i ω 0 1 2 γ 1 + γ 2 ρ 01 ( t ) ρ 01 ( t ) = ρ 01 ( 0 ) e i ω 0 t e 1 2 ( γ 1 + γ 2 ) t
d ρ 10 ( t ) d t = i ω 0 + 1 2 γ 1 + γ 2 ρ 10 ( t ) with ρ 10 ( t ) = ρ 01 ( t ) *
Now at steady state ,
I S B 1 S S = γ 1 ρ 11 S S γ 1 n ¯ 1 and I S B 2 S S = γ 2 ρ 11 S S γ 2 n ¯ 2
From above equation at steady state i.e. t we have d ρ 11 d t = 0 = d ρ 00 d t and we can see that the off diagonal elements of ρ ^ s ( t ) exhibit decaying oscillation. At steady state we obtain,
γ 1 n ¯ 1 + γ 2 n ¯ 2 ρ 00 S S = γ 1 ( 1 n ¯ 1 ) + γ 2 ( 1 n ¯ 2 ) ρ 11 S S
ρ 00 S S + ρ 11 S S = 1
ρ 11 S S = γ 1 n ¯ 1 + γ 2 n ¯ 2 γ 1 + γ 2 and ρ 00 S S = γ 1 1 n ¯ 1 + γ 2 1 n ¯ 2 γ 1 + γ 2
I S B 1 S S = γ 1 γ 2 n ¯ 2 n ¯ 1 γ 1 + γ 2
I S B 2 S S = γ 1 γ 2 n ¯ 1 n ¯ 2 γ 1 + γ 2
I S B 1 S S + I S B 2 S S = 0
Now for the deformed density operator we can write,
d ρ 11 ( η 1 , η 2 , t ) d t = γ 1 n ¯ 1 e η 1 + γ 2 n ¯ 2 e η 2 ρ 00 ( η 1 , η 2 , t ) γ 1 1 n ¯ 1 + γ 2 1 n ¯ 2 ρ 11 ( η 1 , η 2 , t )
d ρ 00 ( η 1 , η 2 , t ) d t = γ 1 n ¯ 1 + γ 2 n ¯ 2 ρ 00 ( η 1 , η 2 , t ) + γ 1 1 n ¯ 1 e η 1 + γ 2 1 n ¯ 2 e η 2 ρ 11 ( η 1 , η 2 , t )
d ρ 01 ( η 1 , η 2 , t ) d t = i ω 0 1 2 γ 1 + γ 2 ρ 01 ( η 1 , η 2 , t )
d ρ 10 ( η 1 , η 2 , t ) d t = i ω 0 + 1 2 γ 1 + γ 2 ρ 10 ( η 1 , η 2 , t )
ρ 01 ( η 1 , η 2 , t ) = ρ 01 ( η 1 , η 2 , 0 ) e i ω 0 t e 1 2 ( γ 1 + γ 2 ) t
ρ 10 ( η 1 , η 2 , t ) = ρ 01 ( η 1 , η 2 , t ) *
The above coupled differential equations can be written as, d V d t = M V , V = ρ 00 ( η 1 , η 2 , t ) ρ 11 ( η 1 , η 2 , t ) Where we have,
M = R 1 + R 2 L 1 e η 1 + L 2 e η 2 R 1 e η 1 + R 2 e η 2 L 1 + L 2
Where we have defined, R 1 = γ 1 n ¯ 1 , R 2 = γ 2 n ¯ 2 , L 1 = γ 1 1 n ¯ 1 , L 2 = γ 2 ( 1 n ¯ 2 ) . Now we can write the followings from the above matrix equation,
V = k = 1 , 2 C k e λ k t | λ k with M | λ k = λ k | λ k
V C m a x e λ m a x ( η 1 , η 2 ) t | λ m a x let | λ m a x = p 1 p 2
ρ 00 ( η 1 , η 2 , t ) = C m a x p 1 e λ m a x ( η 1 , η 2 ) t , ρ 11 ( η 1 , η 2 , t ) = C m a x p 2 e λ m a x ( η 1 , η 2 ) t
A ( η 1 , η 2 , t ) = ρ 11 ( η 1 , η 2 , t ) + ρ 00 ( η 1 , η 2 , t ) = C m a x e λ m a x ( η 1 , η 2 ) t ( p 1 + p 2 ) F ( η 1 , η 2 , t ) = l n A ( η 1 , η 2 , t ) = l n C m a x ( p 1 + p 2 ) + λ m a x ( η 1 , η 2 ) t
lim t 1 t F ( η 1 , η 2 , t ) = λ m a x ( η 1 , η 2 ) = F ¯ ( η 1 , η 2 )
So for the long time limit the C.G.F per unit time F ¯ ( η 1 , η 2 ) is just the largest eigenvalue of M i.e. λ m a x ( η 1 , η 2 ) . Differentiating F ¯ ( η 1 , η 2 ) i.e. λ m a x ( η 1 , η 2 ) once with respect to either η 1 or, η 2 and evaluating it at η 1 = η 2 = 0 we get mean particle current from system to either bath and twice to get the current fluctuation!!
With, η 2 = 0 we get,
λ max ( η ) = R 1 + R 2 + L 1 + L 2 2 + 1 2 ( R 1 + R 2 ) 2 + ( L 1 + L 2 ) 2 + 2 R 1 L 1 + 2 R 2 L 2 + 2 R 1 L 2 2 e η 1 + 2 R 2 L 1 2 e η 1 Then we can write,
I S B 1 = λ m a x ( η 1 , η 2 ) η 1 η 1 = 0 η 2 = 0 = λ m a x ( η ) η η = 0
= γ 1 γ 2 ( n ¯ 2 n ¯ 1 ) γ 1 + γ 2
V a r I S B 1 = Δ I S B 1 2
= I S B 1 2 I S B 1 2 = 2 λ m a x ( η 1 , η 2 ) η 1 2 η 1 = 0 η 2 = 0
I S B 2 = λ m a x ( η 1 , η 2 ) η 2 η 1 = 0 η 2 = 0 = γ 1 γ 2 ( n ¯ 1 n ¯ 2 ) γ 1 + γ 2
The mean particle currents are equal and opposite with the sum of them being zero at the long time limit. If β 1 = β 2 and μ 1 = μ 2 then I S B 1 = I S B 2 = 0 then n ¯ 1 = n ¯ 2 which leads to thermalization i.e. equilibrium steady state at long time limit.
Now similarly for the other bath we can write,
V a r I S B 2 = Δ I S B 2 2
I S B 2 2 I S B 2 2 = 2 λ m a x ( η 1 , η 2 ) η 2 2 η 1 = 0 η 2 = 0
C o v I S B 1 , I S B 2 = I S B 1 I S B 2 I S B 1 I S B 2
R I S B 1 , I S B 2 = C o v I S B 1 , I S B 2 ( Δ I S B 1 ) ( Δ I S B 2 )
Here, covariance i.e C o v I S B 1 , I S B 2 the measure of correlation between the particle currents and R I S B 1 , I S B 2 is the usual Karl-Pearson correlation coefficient, the dimensionless measure of current-current correlation. Calculation of particle current fluctuations leads to
V a r ( I S B 1 ) = Δ I S B 1 2
= 2 ( R 1 L 2 R 2 L 1 ) 2 ( γ 1 + γ 2 ) 3 ( R 2 L 1 + R 1 L 2 ) ( γ 1 + γ 2 )
= γ 1 γ 2 γ 1 + γ 2 2 γ 1 γ 2 n ¯ 1 n ¯ 2 2 γ 1 + γ 2 2 n ¯ 1 + n ¯ 2 2 n ¯ 1 n ¯ 2
V a r ( I S B 2 ) = V a r ( I S B 1 )
I S B 1 + I S B 2 = 0 = I S B
V a r ( I S B ) = 0 = Δ I S B 1 2 + Δ I S B 2 2
C o v I S B 1 , I S B 2 = V a r ( I S B 1 )
R I S B 1 , I S B 2 = C o v I S B 1 , I S B 2 Δ I S B 1 Δ I S B 2 = 1
The correlation coefficient of particle currents I S B 1 and I S B 2 is 1 which means perfectly negative correlation!! We can write in general,
C o v I S B 1 , I S B 2 = 2 λ m a x ( η 1 , η 2 ) η 1 η 2 η 1 = 0 η 2 = 0
The third order derivative of C.G.F gives the measure of skewness of a probability distribution here we have,
μ 3 = 3 λ m a x ( η ) η 3 η = 0 0
With, μ 3 = I S B 1 3 3 I S B 1 I S B 1 2 + 2 I S B 1 3
This indicates that the probability distribution is strictly non-Gaussian and asymmetric either positively or negatively skewed in nature.
A little algebra leads to,
μ 3 = γ 1 γ 2 ( n ¯ 1 n ¯ 2 ) ( γ 1 + γ 2 ) 6 γ 1 γ 2 ( n ¯ 1 + n ¯ 2 2 n ¯ 1 n ¯ 2 ) ( γ 1 + γ 2 ) 2 12 γ 1 2 γ 2 2 ( n ¯ 1 n ¯ 2 ) 2 ( γ 1 + γ 2 ) 4 1
depending on the system parameters γ 1 , γ 2 , n ¯ 1 , n ¯ 2 the above coefficient will be either positive or negative but can’t be zero without the condition, β 1 = β 2 and μ 1 = μ 2 which leads to equilibrium steady state.
For the C.G.F of the joint probability distribution of particle currents we can write,
F ¯ ( η 1 , η 2 ) = λ max ( η 1 , η 2 ) = R 1 + R 2 + L 1 + L 2 2 + 1 2 ( R 1 + R 2 + L 1 + L 2 ) 2 4 R 1 L 2 1 e ( η 1 η 2 ) 4 R 1 L 2 1 e ( η 1 η 2 ) Which means that,
F ¯ ( η 1 , η 2 ) = F ¯ ( η 1 η 2 )
The above being the mathematical signature in the CGF that encodes the particle current conservation law a direct consequence of Global U(1) symmetry of H ^ .

6.3. Retrieving the Fluctuation Symmetry Relations at the Long Time Limit

First by replacing η 1 ( i η 1 ) and η 2 ( i η 2 ) along with a little bit of algebra we found the following relations,
F ¯ ( η 1 , η 2 ) = F ¯ ( η 1 i β 1 μ + i β 1 ω 0 , η 2 i β 2 μ + i β 2 ω 0 )
F ¯ ( η 1 , η 2 ) = F ¯ ( η 1 i β 1 μ 1 + i β 1 ω 0 , η 2 i β 2 μ 2 + i β 2 ω 0 )
F ¯ ( η 1 , η 2 ) = F ¯ ( η 1 i β μ 1 , η 2 i β μ 2 )
with F ¯ ( η 1 , η 2 ) = lim t 1 t C ( η 1 , η 2 , t )
C ( η 1 , η 2 , t ) = E exp { i m = 1 , 2 η m E m ]
By introducing the quantity A known as thermodynamic affinity we can generalize the above relations as, F ¯ ( η ) = F ¯ ( η i A ) . Where A = ( β 1 μ 1 β 2 μ 2 ) ( β 1 β 2 ) ω 0 The above results shows the Fluctuation symmetrywith A defines the thermodynamic affinity i.e. the invariance of the C.G.F at the long time limit under the general transformation, η 1 ( η 1 i β 1 μ 1 + i β 1 ω 0 ) and η 2 ( η 2 i β μ 2 + i β 2 ω 0 ) .
The above relation is known as the Gallavotti-Cohen fluctuation symmetry relations [3]

6.4. Implications of the Realtions

In equilibrium situation we have F ¯ ( η 1 , η 2 ) = F ¯ ( η 1 , η 2 ) with A = 0 . Fluctuation symmetry encodes the Second Law at the level of fluctuations with A being the measure of the change in entropy of the environment for each transfer of particles between baths, ( Δ S ) = ( β 1 μ 1 β 2 μ 2 ) ( β 1 β 2 ) ω 0 = A .
We can see that, Probability of forward transition of N bah quantas Probability of backward transition of N bath quantas = P ( N ) P ( N ) = e A N
P ( N 1 , N 2 ) = 1 ( 2 π ) 2 π π π π e F ¯ ( η 1 , η 2 ) e i m η m N m d η 1 d η 2 Forward events are exponentially more probable than the backward events by the entropy produced!!
The following fluctuation symmetry relation leads to Onsager reciprocity relations, P N E = P E N , with P N E , P E N being the thermoelectric cross coupling or, Seebeck effect and the reciprocal thermoelectric coupling i.e. Peltier effect respectively at the regime of Linear response theory.

6.4.1. Time Reversal Symmetry and Modified Fluctuation Symmetry Relations

Hamiltonian of the quantum dot connected to two fermionic leads in the presence of a static magnetic field, H ^ Q D = ω 0 c ^ c ^ with ω 0 = ω 0 χ B e x t .From the largest eigenvalue of the tilted Liouvillian we obtained,
F ¯ ( η 1 , η 2 ) = λ max ( η 1 , η 2 ) = R 1 + R 2 + L 1 + L 2 2 + 1 2 ( R 1 + R 2 + L 1 + L 2 ) 2 4 R 1 L 2 1 e ( η 1 η 2 ) 4 R 1 L 2 1 e ( η 1 η 2 ) With the modified DBP realtion,
R α L α = e β α ( ω 0 μ α ) = e β α ( ω 0 μ α ) e β α χ B e x t
Now we can write,
F ¯ ( η 1 , η 2 , B e x t ) = F ¯ ( η 1 i β 1 μ 1 + i β 1 ω 0 , η 2 i β 2 μ 2 + i β 2 ω 0 , B e x t )
F ¯ ( η , B e x t ) = F ¯ ( η i A , B e x t )
But F ¯ ( η , A , B e x t ) F ¯ ( η i A , B e x t )
In general with spin d . o . f F ¯ ( η , B e x t , σ ) = F ¯ ( η i A , B e x t , σ )
Including spin d.o.f we get,
H ^ Q D = σ = , ( ϵ 0 1 2 σ g μ B B e x t ) d ^ σ d ^ σ
H ^ B = r m σ ω r m b ^ r m σ b ^ r m σ
H ^ S B = r m σ κ r m σ d ^ σ b ^ r m σ + κ r m σ * b ^ r m σ d ^ σ
The master equation for ρ ^ S ( η 1 , η 2 , t ) with the inclusion of spin D.O.F will be,
d ρ ^ S ( η 1 , η 2 , t ) d t = i ρ ^ S ( η 1 , η 2 , t ) , H ^ Q D + m σ γ m σ n ¯ m e η m d ^ σ ρ ^ S ( η 1 , η 2 , t ) d ^ σ 1 2 d ^ σ d ^ σ , ρ ^ S ( η 1 , η 2 , t ) + m σ γ m σ ( 1 n ¯ m ) e η m d ^ σ ρ ^ S ( η 1 , η 2 , t ) d ^ σ 1 2 d ^ σ d ^ σ , ρ ^ S ( η 1 , η 2 , t )
When B e x t 0 then, P N E ( B e x t ) = P E N ( B e x t ) which gives the modified Onsager reciprocity relation. In general we can write,
d ρ ^ S ( η 1 , η 2 , t ) d t = L ^ T i l t ( η 1 , η 2 , B e x t , σ ) ρ ^ S ( η 1 , η 2 , t )
T 1 L ^ T i l t ( η 1 i β 1 μ 1 + i β 1 ω 0 , η 2 i β 2 μ 2 + i β 2 ω 0 , B e x t , σ ) * S
= L ^ D i a g ( η 1 , η 2 , B e x t , σ )
T = exp 1 2 α ( H ^ Q D μ α N ^ Q D )
Then as L ^ D i a g and L ^ T i l t shares the same spectrum then invariance of trace and determinant will also ensure that the Largest eigenvalue will obey the symmetry relation.
F ¯ ( η , B e x t , σ ) = F ¯ ( η i A , B e x t , σ )
Now using the fluctuation symmetry relation we can write in general that,
P F ( W ) = 1 2 π C ( η ) e i η W d η
using C ( η ) = e F ¯ ( η ) and F ¯ ( η ) = F ¯ ( η i A )
P F ( W ) P R ( W ) = e A W
A = β ( W Δ F ) P F ( W ) = e β ( W Δ F ) P F ( W )
P F ( W ) d W = e β Δ F P F ( W ) e β W d W
e β W F = e β Δ F
This leads to 217 and 220 which are respectively called Crooks and Jarzynski fluctuation relations [4].

6.5. Connection to Quantum Thermodynamics and Thermoelectric Transport

For the problem of Resonant level model we can write for Energy currents,
d ρ ^ S ( η 1 , η 2 , t ) d t = i ρ ^ S ( η 1 , η 2 , t ) , H ^ S
+ m γ m n ¯ m e η m ω 0 c ^ ρ ^ S ( η 1 , η 2 , t ) c ^ 1 2 c ^ c ^ , ρ ^ S ( η 1 , η 2 , t
+ m γ m 1 n ¯ m e η m ω 0 c ^ ρ ^ S ( η 1 , η 2 , t ) c ^ 1 2 c ^ c ^ , ρ ^ S ( η 1 , η 2 , t )
along with A ¯ ( η 1 , η 2 , t ) = T r S ρ ^ S ( η 1 , η 2 , t )
Carrying out the same steps for the average energy currents we can write,
J S B 1 ( t ) = 2 A ¯ ( η 1 , η 2 , t ) η 1 t η 1 = 0 η 2 = 0 = ω 0 γ 1 T r ρ ^ S ( t ) c ^ c ^ γ 1 n ¯ 1
= ω 0 γ 1 c ^ c ^ γ 1 n ¯ 1 = ω 0 γ 1 ρ 11 ( t ) n ¯ 1 = ω 0 I S B 1 ( t )
J S B 2 ( t ) = 2 A ¯ ( η 1 , η 2 , t ) η 2 t η 1 = 0 η 2 = 0 = γ 2 ω 0 T r ρ ^ S ( t ) c ^ c ^ n ¯ 2
= γ 2 ω 0 c ^ c ^ n ¯ 2 = γ 2 ω 0 ρ 11 ( t ) n ¯ 2 = ω 0 I S B 2 ( t )
J S B α = ω 0 I S B α
( Δ J S B α ) 2 = ω 0 ( Δ I S B α ) 2
The Principle of detailed balance is the necessary condition for the existence of Fluctuation symmetry given by,
R α L α = The rate of upward transition The rate of downward transition = γ α n ¯ α γ α ( 1 n ¯ α ) = e β α ( ω 0 μ α )
F ¯ ( η 1 , η 2 ) = F ¯ ( η 1 η 2 ) Perfect anti correlation ! !
We also found J N ( 1 ) = γ 1 γ 2 ( n ¯ 2 n ¯ 1 ) γ 1 + γ 2 , J N ( 2 ) = γ 1 γ 2 ( n ¯ 1 n ¯ 2 ) γ 1 + γ 2
J E ( 1 ) = ω 0 γ 1 γ 2 ( n ¯ 2 n ¯ 1 ) γ 1 + γ 2 = ω 0 J N ( 1 ) , J E ( 2 ) = ω 0 γ 1 γ 2 ( n ¯ 1 n ¯ 2 ) γ 1 + γ 2 = ω 0 J N ( 2 )
J Q ( α ) = J E ( α ) μ α J N ( α ) for α = 1 , 2
J Q ( 1 ) = γ 1 γ 2 ( n ¯ 2 n ¯ 1 ) γ 1 + γ 2 ( ω 0 μ 1 ) , J Q ( 2 ) = γ 1 γ 2 ( n ¯ 1 n ¯ 2 ) γ 1 + γ 2 ( ω 0 μ 2 )
J Q ( 1 ) + J Q ( 2 ) = J N ( 1 ) ( ω 0 μ 1 ) + J N ( 2 ) ( ω 0 μ 2 ) = J N ( 1 ) ( μ 2 μ 1 )
S ˙ t o t = α β α J Q ( α ) = γ 1 γ 2 ( n ¯ 1 n ¯ 2 ) γ 1 + γ 2 ( β 1 μ 1 β 2 μ 2 ) + γ 1 γ 2 ( n ¯ 1 n ¯ 2 ) γ 1 + γ 2 ( β 2 β 1 )
S ˙ t o t = J N A N + J E A E With , J N = J N ( 2 ) , A N = ( β 1 μ 1 β 2 μ 2 ) , A E = ( β 2 β 1 ) , J E = J E ( 2 )
At steady state J E ( 1 ) + J E ( 2 ) = 0 , J N ( 1 ) + J N ( 2 ) = 0
J Q ( 1 ) + J Q ( 2 ) = J N ( 1 ) ( μ 2 μ 1 ) 0 except μ 1 = μ 2
J Q ( α ) = 0 for ω 0 = μ α for any terminal
S ˙ t o t = J N A N + J E A E 0
μ 1 = μ 2 , β 1 β 2 i . e . ( Δ T ) 0 leads to J N ( α ) 0
for β 1 = β 2 , μ 1 μ 2 i . e . ( Δ μ ) 0 leads to J E ( α ) 0
From Onsager relation we can write,
In general , J N = P N N A N + P N E A E
J E = P E N A N + P E E A E = P E N A N
for β 1 = β 2 and μ 1 μ 2 we have J N = P N N A N and J E = P E N A N
Π = J E J N = P E N P N N = P N E P N N due to Onsager reciprocity
Along with the following we can also write,
P N E = P E N = ω 0 γ 1 γ 2 ( n ¯ 1 n ¯ 2 ) ( γ 1 + γ 2 ) β ( μ 1 μ 2 )
S = 1 e T P N E P N N Π = T S ; Kelvin ( Thompson ) relation
We found that the particle conductance will be
P N N = γ 1 γ 2 ( n ¯ 1 n ¯ 2 ) ( γ 1 + γ 2 ) β ( μ 1 μ 2 )
In general, at steady state with ( Δ μ ) 0 , α J Q ( α ) 0 which is physically allowed and typically indicates dissipation. We also obtained after a little bit of algebra that,
α J Q ( α ) = α μ α J N ( α ) = W ˙ c h e m
And the efficiency of the thermal engine will be,
η e = ( μ 2 μ 1 ) ( ω 0 μ 1 ) 1 T 2 T 1 η c a r n o t
For ( Δ S ) = 0 we have the reversibility condition i.e. Q C Q H = T 2 T 1 .
η e = 1 Q C Q H = ( μ 2 μ 1 ) ( ω 0 μ 1 ) = 1 T 2 T 1 = η c a r n o t
μ 2 = ω 0 ( ω 0 μ 1 ) T 2 T 1 β 2 ( ω 0 μ 2 ) = β 1 ( ω 0 μ 1 ) n ¯ 2 = n ¯ 1
J N ( 1 ) = 0 output power P O u t = 0
We found that,
S ˙ t o t = α β α J Q ( α ) = α A α J α 0
d S t o t = α A α d J α d U = α F α d x α

Acknowledgments

I would like to express my sincere gratitude to all the researchers whose foundational contributions to Full Counting Statistics have shaped this field and made this review possible. I am especially thankful to my supervisors and mentors for their continuous guidance, encouragement, and constructive discussions throughout the preparation of this article. I also acknowledge the support of my institute, IIT Hyderabad, for providing an excellent academic environment and resources that facilitated this work.

Appendix A. Onsager Reciprocity Relation, It’s Realization for the Resonant Level Model and Fluctuation Symmetry

Onsager Reciprocity Relation: For long time we can write, F ¯ ( η , A ) λ m a x ( η , A ) t . Then,
J i ( A ) = λ m a x ( η , A ) ( i η i ) η = 0 F ¯ ( η , A ) = λ m a x ( η , A ) = λ m a x ( 0 , 0 )
+ i η i λ m a x ( η , A ) η i η = 0 A = 0 + A i λ m a x ( η , A ) A i η = 0 A = 0 + 1 2 α β ξ α ξ β 2 λ m a x ( η , A ) ξ α ξ β ξ α = 0 ξ β = 0
1 2 α β M α β ( i η α ) ( i η β ) + α β L α β ( i η α ) A β
Then J α ( A ) = λ m a x ( η , A ) ( i η α ) η = 0 = α β P α β A β
P α β = 2 λ m a x ( η , A ) ( i η α ) A β η = 0 A = 0 J = P · A
Now, for the measurement of N ^ B 1 and H ^ B 2 respectively over respective baths we can write the C.G.F per unit time at the long time for the joint distribution function of particle current in B 1 and Energy current in B 2 as,
F ¯ ( η N , η E ) = λ max ( η N , η E ) = R 1 + R 2 + L 1 + L 2 2 + 1 2 ( R 1 + R 2 + L 1 + L 2 ) 2 4 R 1 L 2 1 e i ( η N η E ω 0 ) 4 R 1 L 2 1 e i ( η N η E ω 0 ) We can write by using linear response theory;
J N J E = P N N P N E P E N P E E A N A E
With, A N = ( β 1 μ 1 β 2 μ 2 ) and A E = ( β 2 β 1 ) are the respective thermodynamic affinities or generalized forces for isothermal transport and situation μ 1 = μ 2 .
The fluctuation symmetry relation F ¯ ( η , A ) = F ¯ ( η i A ) obtained earlier leads to,
P α β = P β α for α β
along with to the definition of Onsager Matrix P . For our system the fluctuation symmetry is also satisfied which means that,
P N E = P E N
F ¯ ( η N , η E ) = F ¯ η N i β ( μ 1 μ 2 ) , η E i μ ( β 1 β 2 ) + ( β 1 β 2 ) ω 0
Where we can define the matrix elements as,
P N N = Particle Conductance
P E E = Thermal Conductance
P N E =Cross coupling coefficient between Particle and energy currents
P E N =Reciprocal cross coupling coefficient between particle and energy currents. The general master equation for simultaneous measurement of energy and number of particles over all the two baths will be,
d ρ ^ S ( η , t ) d t = i ρ ^ S ( η , t ) , H ^ S + m γ m n ¯ m e η m ω 0 c ^ ρ ^ S ( η , t ) c ^ 1 2 c ^ c ^ , ρ ^ S ( η , t ) + m γ m ( 1 n ¯ m ) e η m ω 0 c ^ ρ ^ S ( η , t ) c ^ 1 2 c ^ c ^ , ρ ^ S ( η , t ) + m γ m n ¯ m e η m c ^ ρ ^ S ( η , t ) c ^ 1 2 c ^ c ^ , ρ ^ S ( η , t ) + m γ m ( 1 n ¯ m ) e η m c ^ ρ ^ S ( η , t ) c ^ 1 2 c ^ c ^ , ρ ^ S ( η , t )
For the above measurement protocol we will set η 2 = η 2 = 0 and η 1 ( i η 1 ) and η 1 ( i η 1 ) to obtain F ¯ ( η N , η E ) with proper renaming for the particle and energy currents. We obtain he following,
F ¯ ( η 1 , η 2 ) = F ¯ ( η 1 η 2 )
With F ¯ ( η 1 i β 1 μ 1 + i β 1 ω 0 , η 2 i β 2 μ 2 + i β 2 ω 0 )
= F ¯ ( ( η 1 η 2 ) i ( β 1 μ 1 β 2 μ 2 ) ( β 1 β 2 ) ω 0 )
F ¯ ( η 1 , η 2 ) = F ¯ ( η 1 i β 1 μ 1 + i β 1 ω 0 , η 2 i β 2 μ 2 + i β 2 ω 0 )
F ¯ ( η 1 η 2 ) = F ¯ ( ( η 1 η 2 ) i ( β 1 μ 1 β 2 μ 2 ) ( β 1 β 2 ) ω 0 )
F ¯ ( η ) = F ¯ ( η i A )
With η = η 1 η 2 and A = β 1 μ 1 β 2 μ 2 β 1 β 2 ω 0
F ¯ ( η , A ) = F ¯ ( η i A , A )
for temperature biasing we have, A = ( β 1 β 2 ) ( μ ω 0 )
for chemical potential biasing we have, A = β ( μ 1 μ 2 )
for biasing in both we have, A = ( β 1 μ 1 β 2 μ 2 ) ( β 1 β 2 ) ω 0

Appendix B. Effect of Lamb and Stark Shift Hamiltonian

If the imaginary part of the integral say,
0 d ω d s 2 π e i ( ω ω 0 ) s J α ( ω ) n ¯ ( ω , β α , μ α )
is not being neglected it gives rise to lamb stark shift hamiltonian with a modified master equation for ρ ^ S ( η 1 , η 2 , t ) such that we have,
d ρ ^ S ( η 1 , η 2 , t ) d t = i ρ ^ S ( η 1 , η 2 , t ) , H ^ S e f f + m γ m n ¯ m e η m c ^ ρ ^ S ( η 1 , η 2 , t ) c ^ 1 2 c ^ c ^ , ρ ^ S ( η 1 , η 2 , t
+ m γ m 1 n ¯ m e η m c ^ ρ ^ S ( η 1 , η 2 , t ) c ^ 1 2 c ^ c ^ , ρ ^ S ( η 1 , η 2 , t )
with H ^ S e f f = ω e f f c ^ c ^ ; ω e f f = ω 0 + ( δ 1 + δ 3 δ 2 δ 4 )
Where we have defined,
H ^ S e f f = H ^ S + H ^ L S
δ 1 = P d ω 2 π J 1 ( ω ) n ¯ ( ω , β 1 , μ 1 ) ω ω 0
δ 2 = P d ω 2 π J 1 ( ω ) ( 1 n ¯ ( ω , β 1 , μ 1 ) ω 0 ω
δ 3 = P d ω 2 π J 2 ( ω ) n ¯ ( ω , β 2 , μ 2 ) ω ω 0
δ 4 = P d ω 2 π J 2 ( ω ) ( 1 n ¯ ( ω , β 2 , μ 2 ) ω 0 ω
So, the Lamb-Stark shift hamiltonian will be,
H ^ L S = ( δ 1 + δ 3 δ 2 δ 4 ) c ^ c ^
The term only shifts the on-site frequency of the quantum dot.

References

  1. Esposito, M.; Harbola, U.; Mukamel, S. Nonequilibrium fluctuations, fluctuation theorems, and counting statistics in quantum systems. Rev. Mod. Phys. 2009, 81, 1665–1702. [Google Scholar] [CrossRef]
  2. Gerry, M.; Segal, D. Full counting statistics and coherences: Fluctuation symmetry in heat transport with the unified quantum master equation. Phys. Rev. E 2023, 107, 054115. [Google Scholar] [CrossRef] [PubMed]
  3. Gallavotti, G.; Cohen, E.G.D. Dynamical Ensembles in Nonequilibrium Statistical Mechanics. Phys. Rev. Lett. 1995, 74, 2694–2697. [Google Scholar] [CrossRef] [PubMed]
  4. Jarzynski, C. Nonequilibrium Equality for Free Energy Differences. Phys. Rev. Lett. 1997, 78, 2690–2693. [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