Cumulant generating function formula of heat transfer in ballistic systems with lead-lead coupling

Based on a two-time observation protocol, we consider heat transfer in a given time interval t(M) in a lead-junction-lead system taking coupling between the leads into account. In view of the two-time observation, consistency conditions are carefully verified in our specific family of quantum histories. Furthermore, its implication is briefly explored. Then using the nonequilibrium Green's function method, we obtain an exact formula for the cumulant generating function for heat transfer between the two leads, valid in both transient and steady-state regimes. Also, a compact formula for the cumulant generating function in the long-time limit is derived, for which the Gallavotti-Cohen fluctuation symmetry is explicitly verified. In addition, we briefly discuss Di Ventra's repartitioning trick regarding whether the repartitioning procedure of the total Hamiltonian affects the nonequilibrium steady-state current fluctuation. All kinds of properties of nonequilibrium current fluctuations, such as the fluctuation theorem in different time regimes, could be readily given according to these exact formulas.