[論文レビュー] The thermodynamic cost of reliability and low temperatures: Tightening Landauer's principle and the Second Law

Dominik Janzing, Paweł Wocjan+3 more|ArXiv.org|Feb 17, 2000

Advanced Thermodynamics and Statistical Mechanics被引用数 28

ひとこと要約

この論文は、ランドアウアーの原理を精緻化し、信頼性のあるビット消去または冷却の熱力学的コストが自由エネルギーにのみ依存するのではなく、リソース状態とその平衡状態との区別可能性（カルバック・ライブラー発散を用いて測定）によっても決定されることを示している。主な貢献は、信頼性が実際にリソース状態に対する平衡状態の相対的情報によって根本的に制限されることであり、逆ではない。これは、微視的かつエネルギー保存型の過程に対して第二法則を強化するものである。

ABSTRACT

Landauer's principle states that the erasure of one bit of information requires the free energy kT ln 2. We argue that the reliability of the bit erasure process is bounded by the accuracy inherent in the statistical state of the energy source (`the resources') driving the process. We develop a general framework describing the `thermodynamic worth' of the resources with respect to reliable bit erasure or good cooling. This worth turns out to be given by the distinguishability of the resource's state from its equilibrium state in the sense of a statistical inference problem. Accordingly, Kullback-Leibler relative information is a decisive quantity for the `worth' of the resource's state. Due to the asymmetry of relative information, the reliability of the erasure process is bounded rather by the relative information of the equilibrium state wit respect to the actual state than by the relative information of the actual state with respect to the equilibrium state (which is the free energy up to constants).

研究の動機と目的

• 微視的かつエネルギー保存型の量子系における冷却および信頼性のあるビット消去の根本的熱力学的限界を特定すること。
• 地面状態への冷却に必要なリソースを説明する伝統的熱力学の不十分さを解消すること。
• リソース状態が平衡状態からどれほど逸脱しているかに基づいて、その『熱力学的価値』を定量化するフレームワークを構築すること。
• 信頼性が自由エネルギーだけでなく、実際の状態に対する平衡状態の相対的情報によって制限されることを示すこと。
• 量子状態準備および冷却の文脈において、情報理論と熱力学との間に接続を確立すること。

提案手法

• 冷却を、ターゲットキュービット、リソース（エネルギー源）、環境からなる複合系におけるユニタリかつエネルギー保存型の過程としてモデル化する。
• リソース状態とその熱的平衡状態との間のカルバック・ライブラー発散を、リソースの『熱力学的価値』の尺度として用いる。
• 冷却が可能となるのは、リソースの時間平均状態が平衡状態から逸脱している場合に限ることを示す三重系モデルを適用する。
• 冷却の上限を定義する「最大対角的逸脱」の概念を導入する。
• 分配関数およびリソースと環境の温度差を用いて冷却効率の上限を導出する。
• ユニタリ変換フレームワークを用いて、エネルギー保存型の過程では、リソースの状態が平衡状態から逸脱していない限り、系の状態を変化させることができないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 ランドアウアーの原理を越えて、信頼性のあるビット消去の根本的熱力学的コストを決定するのは何か？
• RQ2 リソースの量子状態が平衡状態からどれほど逸脱しているかが、冷却を可能にする能力に与える影響は何か？
• RQ3 エネルギー保存型ユニタリダイナミクスのみを用いて、任意に低温に冷却することは可能か？
• RQ4 カルバック・ライブラー発散は、冷却プロセスの信頼性を定量化するために果たす役割は何か？
• RQ5 リソース状態が平衡状態からどれほど区別可能であるかが、冷却で達成可能な最終温度に与える制限は何か？

主な発見

• 信頼性のあるビット消去は、実際のリソース状態に対する平衡状態の相対的情報によって制限され、自由エネルギー（実際の状態に対する平衡状態の相対的情報）によって制限されるのではなく、逆である。
• 任意に低温への冷却が可能となるのは、リソース状態が平衡状態から十分に区別可能である場合に限る。これはカルバック・ライブラー発散で測定される。
• 冷却の上限は、リソース状態の平衡状態からの「最大対角的逸脱」によって決定され、これが達成可能な最低温度を定義する。
• リソースの再充填が行われない場合、最大冷却は、リソース状態とその平衡状態を区別する最適な意思決定ルールに等しい。
• 目標温度まで冷却するために必要なリソースのコピー数は、分配関数および温度差を用いて推定可能である。