[论文解读] Full Counting Statistics: An elementary derivation of Levitov's formula

Israel Klich|arXiv (Cornell University)|Sep 27, 2002

Statistical Mechanics and Entropy被引用 33

一句话总结

本文通过一种将福克空间迹映射到单粒子行列式的迹公式，以新颖且初等的方式推导了非相互作用费米子系统中莱维托夫全计数统计公式的推导。该方法实现了电荷输运特征函数的行列式表达式的严格推导，可推广至玻色子，并为研究热力学极限与绝热极限提供了无正则化问题的明确定义框架。

ABSTRACT

We present a novel derivation of the original Levitov formula, for the statistics of charge transported between electron reservoirs. This is done by proving a trace formula, which relates certain traces in Fock space to single particle determinants. Using the present approach we find in addition several generalizations, such as a corresponding formula for Bosons.

研究动机与目标

• 为非相互作用费米子系统中莱维托夫行列式公式在全计数统计中的推导提供一种新的、初等的推导方法。
• 建立一个通用的迹公式，将福克空间迹与单粒子行列式联系起来，以促进量子输运统计的研究。
• 将形式化方法推广至玻色子，推导出玻色子全计数统计的相应行列式表达式。
• 通过推导出特征函数的有限时间、明确定义的表达式，解决热力学极限与长时间极限中的正则化挑战。
• 利用所推导的形式化方法，系统分析输运矩和电流速率，尤其适用于量子泵浦与散射设置。

提出的方法

• 推导一个迹恒等式：$\mathrm{Tr}(e^{\Gamma(A)}e^{\Gamma(B)}) = \det(1 - \xi e^A e^B)^{-\xi}$，其中 $\xi = -1$ 对应费米子，$\xi = 1$ 对应玻色子，$\Gamma$ 为单粒子算符的二次量化表示。
• 将特征函数 $\chi(\lambda, T)$ 表达为福克空间中的迹：$\chi = \mathrm{Tr}(\rho_0 \, e^{iq \mathbb{U}^\dagger \Gamma(\lambda) \mathbb{U}} \, e^{-iq \Gamma(\lambda)})$，其中 $\rho_0$ 为初始密度矩阵，$\mathbb{U}$ 为时间演化算符。
• 应用迹公式，将福克空间迹转化为涉及散射矩阵 $S$ 的单粒子算符的行列式。
• 在短散射时间与长时间演化极限下，恢复莱维托夫原始公式：$\chi(\lambda) = \det(1 + n(S^\dagger e^{iq\lambda} S e^{-iq\lambda} - 1))$。
• 通过修改行列式符号与占据数算符，将结果推广至玻色子，得到 $\chi_B(\lambda) = 1 / \det(1 - n_B(U^\dagger e^{iq\lambda} U e^{-iq\lambda} - 1))$。
• 利用 $\dot{Q}_A = q \, \mathrm{Re} \langle U \dot{U}^\dagger P_A \rangle_t$ 推导空间区域 $A$ 中电荷累积速率的公式，将其与散射矩阵形式联系起来。

实验结果

研究问题

• RQ1 如何利用福克空间中的迹恒等式，从第一原理推导出莱维托夫全计数统计的行列式公式？
• RQ2 全计数统计形式化方法如何推广至玻色子系统？其与费米子情况有何不同？
• RQ3 如何表达一个有限时间、明确定义的特征函数，以避免在热力学极限中的正则化问题？
• RQ4 在短散射时间极限下，时间演化算符与散射矩阵之间有何关系？其如何导出莱维托夫公式？
• RQ5 如何从特征函数计算空间区域中电荷累积速率？其与量子泵浦中电流公式的关联是什么？

主要发现

• 推导出一个新的迹公式：$\mathrm{Tr}(e^{\Gamma(A)}e^{\Gamma(B)}) = \det(1 - \xi e^A e^B)^{-\xi}$，该公式将费米子与玻色子的福克空间迹映射为单粒子行列式。
• 非相互作用费米子的全计数统计表达为 $\chi(\lambda, T) = \det(1 + n(U^\dagger e^{iq\lambda} U e^{-iq\lambda} - 1))$，为有限时间、明确定义的表达式，避免了热力学极限中的正则化问题。
• 在 $T \to \infty$ 与短散射时间极限下，恢复莱维托夫原始公式：$\chi(\lambda) = \det(1 + n(S^\dagger e^{iq\lambda} S e^{-iq\lambda} - 1))$。
• 推导出对应的玻色子公式：$\chi_B(\lambda, T) = 1 / \det(1 - n_B(U^\dagger e^{iq\lambda} U e^{-iq\lambda} - 1))$，其中 $n_B$ 为玻色子占据数算符。
• 空间区域 $A$ 中电荷累积速率由 $\dot{Q}_A = q \, \mathrm{Re} \langle U \dot{U}^\dagger P_A \rangle_t$ 给出，将特征函数的时间导数与散射矩阵动力学联系起来。
• 该形式化方法为计算电荷输运的任意矩提供了系统性框架，并可在绝热、长时间与热力学极限下分析其行为，而无需人为正则化。