[论文解读] 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的石子放置策略在可逆模拟中实现了最大模拟步数下的最小额外空间使用。
• 对于满足 $ T_G = m2^n $ 的石子游戏，存在一种获胜策略，使用 $ n+2 $ 个石子和 $ m-1 $ 次擦除，对所有 $ m \geq 1 $ 成立，优于先前的界限。
• 当时间与空间无限制时，可逆计算的最终不可逆性代价被精确量化。
• 在指数时间区域建立了时间-不可逆性权衡的层次结构，展示了时间与不可逆性之间的平衡方式。
• 通过比较可计算与不可计算时间界，展示了极端的权衡，揭示了能效计算的理论极限。