[論文レビュー] Comment on "Fluctuation Theorem Uncertainty Relation" and "Thermodynamic Uncertainty Relations from Exchange Fluctuation Theorems"

Yunxin Zhang|arXiv (Cornell University)|Oct 27, 2019

Advanced Thermodynamics and Statistical Mechanics被引用数 4

ひとこと要約

この論文は、カウチ・シュバルツの不等式とジェンセンの不等式に基づく単純な導出により、HasegawaとVan Vu（2019）が導出した熱力学的不確実性関係の境界を強化している。得られた境界は、Timpanaro *et al.*（2019）のものと同一であり、元の境界よりも厳密にタイトで、非平衡系における観測量の精度に向けたより精密な制約を提供する。

ABSTRACT

In recent letter [Phys.~Rev.~Lett {\bf 123}, 110602 (2019)], Y.~Hasegawa and T.~V.~Vu derived a thermodynamic uncertainty relation. But the bound of their relation is loose. In this comment, through minor changes, an improved bound is obtained. This improved bound is the same as the one obtained in [Phys.~Rev.~Lett {\bf 123}, 090604 (2019)] by A.~M.~Timpanaro {\it et. al.}, but the derivation here is straightforward.

研究の動機と目的

• HasegawaとVan Vu（2019）が提案した熱力学的不確実性関係の境界を改善すること。この境界は、元来緩いと判明していた。
• 強い詳細フラクチュエーション定理を用いて、観測量の相対的分散のよりタイトな境界を導出すること。
• Timpanaro *et al.*（2019）の境界に一致するが、より単純で明確な直接的導出を確立すること。
• 改善された境界が、数学的にTimpanaro *et al.*（2019）のものと同等であることを示し、より透明な経路で導出されることを確認すること。

提案手法

• エントロピー生成量 $\sigma$ と観測量 $\phi$ の同時確率分布 $P(\sigma, \phi)$ にカウチ・シュバルツの不等式を適用する。
• 強い詳細フラクチュエーション定理 $P(\sigma, \phi)/P(-\sigma, -\phi) = e^{\sigma}$ を用いて、変換された測度 $Q(\sigma, \phi) = (1 + e^{-\sigma})P(\sigma, \phi)$ を定義する。
• 関数 $h(\sigma) = \sigma \tanh(\sigma/2)$ を導入する。これは $\sigma \geq 0$ で厳密に増加する。その逆関数を $g$ と定義する。
• 関数 $w(h) = f[g(h)] = \tanh^2(g(h)/2)$ に対して、$f(\sigma) = \tanh^2(\sigma/2)$ を用いてジェンセンの不等式を適用する。
• 不等式 $\langle \phi \rangle^2 \leq \langle \phi^2 \rangle \cdot \left\langle \tanh^2(\sigma/2) \right\rangle_Q$ を導出し、その期待値を凹性を用いて評価する。
• 最終的な境界を $\mathrm{Var}[\phi]/\langle \phi \rangle^2 \geq \mathrm{csch}^2(g(\langle \sigma \rangle)/2)$ の形に変換し、Timpanaro *et al.* の結果と一致させる。

実験結果

リサーチクエスチョン

• RQ1 HasegawaとVan Vu（2019）が導出した熱力学的不確実性関係を、より直接的な数学的アプローチで強化できるか？
• RQ2 強い詳細フラクチュエーション定理の下で、境界 $\mathrm{Var}[\phi]/\langle \phi \rangle^2 \geq \coth(\langle \sigma \rangle/2) - 1$ は最良のものであるか？
• RQ3 ここでの改善された境界は、Timpanaro *et al.*（2019）が得たものと一致するか？ もし一致するならば、その同値性を厳密に示せるか？
• RQ4 関数 $w(h) = \tanh^2(g(h)/2)$ の凹性を用いて、ジェンセンの不等式によりよりタイトな不確実性境界を導出できるか？

主な発見

• 改善された境界 $\langle \phi \rangle^2 \leq \langle \phi^2 \rangle \cdot \mathrm{csch}^2(g(\langle \sigma \rangle)/2)$ は、HasegawaとVan Vu（2019）の元の境界 $\langle \phi \rangle^2 \leq \langle \phi^2 \rangle \cdot \tanh(\langle \sigma \rangle/2)$ よりも厳密にタイトである。
• 導出された不確実性関係 $\mathrm{Var}[\phi]/\langle \phi \rangle^2 \geq \mathrm{csch}^2(g(\langle \sigma \rangle)/2)$ は、数学的にTimpanaro *et al.*（2019）の結果と同等であり、$\sigma \tanh \sigma$ の逆関数を用いている。
• 関数 $w(h) = \tanh^2(g(h)/2)$ は $h > 0$ で厳密に凹であることが証明され、ジェンセンの不等式を用いて境界を強化することが可能である。
• 導出プロセスは従来のアプローチよりもより単純で、複雑な関数形を避けていながら、同じく最良の境界に到達している。
• $\mathrm{csch}^2(g(\langle \sigma \rangle)/2)$ が $\tanh(\langle \sigma \rangle/2)$ よりも小さいことが示され、タイトネスの向上が確認された。
• 等価性 $g(\langle \sigma \rangle)/2 = \hat{g}(\langle \sigma \rangle/2)$ が確立され、ここで $\hat{g}$ は $\sigma \tanh \sigma$ の逆関数である。これにより、先行研究と整合性が裏付けられた。