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,
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,
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,
. To determine the generalized probability distribution using the two time measurement [
1] over any hermitian Bath observable
satisfying the condition,
we measure
at two times say,
and
leading to the measurement outcomes
and
respectively. It is important to note that,
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
. So, the members of the set will share the common eigen-state. The projection operators corresponding to them are
Now let us perform the two time measurement protocol over any arbitrary bath observable
. The probability of getting the measurement outcomes
and
respectively after measuring the arbitrary bath observable
in the state described by
at time
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,
Now we are interested in the probability distribution corresponding to the difference of the measurement outcome denoted by,
and the corresponding probability will be
defined as,
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
for the difference of measurement outcome will be given by,
Where we have defined a non-hermitian time evolution operator such that,
The M.G.F of the generalized probability distribution is
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
,
We can write down the following equations,
Now, as we can see that though
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
which is hermitian as well as trace preserving such that we can write the deformed trace preserving density operator,
Now, the cumulant generating function corresponding to the generalized probability distribution will be,
Now using the divisibility property of the total trace due to separability of the system and bath Hilbert space, we can write
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.
and
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
by
and
respectively. Such that we can write,
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 or, we can extract different moments corresponding to the particle and energy currents.
Now, if the system Hamiltonian is not explicitly time dependent then with,
we can write for the case of energy currents i.e. with
,
We can define the following operators appearing in the exponents as,
Now, the time evolution of
can be described as follows,
Now, for the cumulant generating function
we can write,
where we have used the definition of the trace preserving valid density operator
. Now for any operator
we can define,
Now, for the valid density operator we can again write,
Now to describe the typical non-hermitian evolution of
we can write the master equation as follows,
Where, we have introduced a non-hermitian Hamiltonian
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
. We have defined two hermitian hamiltonians such that,
Now, the reduced deformed density operator for the system is, along with the fact that, .
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,
and in the other case where the interaction Hamiltonian carries an explicit time dependence such that,
with,
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,
For the first case with
being time dependent we can write,
For the other case with
we can write,
5.4. General Derivation of the Q.M.E with
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.
Any arbitrary operator
in the interaction picture is defined as,
We can write the following,
Invoking Born Approximation we can write,
Now, with the assumption
and taking the partial trace of the above equation at both sides we can write,
Now, using the above assumptions we can write,
Invoking Markov approximation i.e.
we get the Born-Markov(Redfield) Q.M.E for the tilted reduced density operator for the system given by,
Now, the equation can be further simplified term by term by using putting
such that we cxan write,
Now, Converting the Q.M.E in the Schrodinger Picture with,
we obtain individual terms. We also define for any arbitrary Bath operator
we can define,
Now we can simplify the above equation in the interaction picture term by term such that we can write in Schrodinger picture,
Then, the Q.M.E for
in Schrodinger picture will be,
Where we have defined the following,
Its evident from the above Q.M.E that if we set we get back the usual Redfield Q.M.E in the weak coupling limit as, .