[論文レビュー] Reversibility and Adiabatic Computation: Trading Time and Space for Energy

M. Li, Paul Vitányi|UvA-DARE (University of Amsterdam)|Mar 13, 1997

Quantum Computing Algorithms and Architecture被引用数 5

ひとこと要約

この論文は、時間、空間、エネルギーのトレードオフを、可逆的かつ断熱的計算において調査し、不可逆的消去コストを最小化するためには、可逆的シミュレーションを最適化すべきであると提唱する。Bennettの石配置戦略が最大のシミュレートステップ数に対して空間使用量を最小化することを確立し、正確な不可逆性コストの式を導出し、指数時間領域および非計算可能時間境界を含む極端な状況における時間-不可逆性トレードオフの階層を明らかにする。

ABSTRACT

Future miniaturization and mobilization of computing devices requires energy parsimonious `adiabatic' computation. This is contingent on logical reversibility of computation. An example is the idea of quantum computations which are reversible except for the irreversible observation steps. We propose to study quantitatively the exchange of computational resources like time and space for irreversibility in computations. Reversible simulations of irreversible computations are memory intensive. Such (polynomial time) simulations are analysed here in terms of `reversible' pebble games. We show that Bennett's pebbling strategy uses least additional space for the greatest number of simulated steps. We derive a trade-off for storage space versus irreversible erasure. Next we consider reversible computation itself. An alternative proof is provided for the precise expression of the ultimate irreversibility cost of an otherwise reversible computation without restrictions on time and space use. A time-irreversibility trade-off hierarchy in the exponential time region is exhibited. Finally, extreme time-irreversibility trade-offs for reversible computations in the thoroughly unrealistic range of computable versus noncomputable time-bounds are given.

研究の動機と目的

• 可逆的および断熱的計算における時間、空間、エネルギーのリソーストレードオフを分析すること。
• 不可逆的計算の可逆的シミュレーションに必要な最小空間を定量化すること。
• 時間や空間に制限のない状況下での計算における不可逆性の根本的コストを特定すること。
• 指数時間領域における時間-不可逆性トレードオフの階層を確立すること。
• 非計算可能時間境界を含む極端な時間-不可逆性トレードオフを探索すること。

提案手法

• 可逆的シミュレーションの空間および時間コストを分析するための形式的モデルとして、可逆的石配置ゲームを用いる。
• Bennettの石配置戦略を適用し、可逆的シミュレーションにおける追加の空間使用量を最小化する。
• 時間的・空間的制約のない可逆的計算における不可逆性コストの正確な式を導出する。
• 石の数（空間）と消去回数（不可逆性）を変化させることでトレードオフを分析し、最適な構成を示す。
• 再帰的石配置戦略を用いて、指数時間領域における時間-不可逆性トレードオフの階層を導入する。
• 可算可能と非可算可能時間境界を比較することで、理論的極限を検討し、可逆的計算における時間と不可逆性の関係を考察する。

実験結果

リサーチクエスチョン

• RQ1 与えられたステップ数の不可逆的計算を可逆的にシミュレートするために、最小でどの程度の追加空間が必要か？
• RQ2 可逆的シミュレーションにおいて、シミュレートステップ数の増加に伴い、不可逆的消去回数はどのように変化するか？
• RQ3 時間的・空間的制約のない可逆的計算において、不可逆性の正確な根本的コストは何か？
• RQ4 指数時間領域において、可逆的計算の時間と不可逆性はどのようにトレードオフするか？
• RQ5 非計算可能時間境界を考慮した場合、時間-不可逆性トレードオフの理論的限界は何か？

主な発見

• Bennettの石配置戦略は、可逆的シミュレーションにおいて最大のシミュレートステップ数を達成するための最小の追加空間使用量を達成する。
• すべての $ m \geq 1 $ に対して、$ T_G = m2^n $ である石配置ゲームにおいて、$ n+2 $ 個の石と $ m-1 $ 回の消去で勝利戦略が存在し、以前の境界を改善する。
• 時間的・空間的制約のない状況下で、可逆的計算の最終的な不可逆性コストが正確に定量化される。
• 指数時間領域において、時間-不可逆性トレードオフの階層が確立され、時間と不可逆性のバランスがどのように取れるかが示される。
• 可算可能と非可算可能時間境界の間で極端なトレードオフが示され、エネルギー効率の良い計算の理論的限界が明らかになる。