[논문 리뷰] Reversibility and Adiabatic Computation: Trading Time and Space for Energy

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

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 가역적이고 아디아바틱적 계산에서 시간, 공간, 에너지 간의 상호 상충 관계를 조사하며, 비가역적 지우기 비용을 최소화하기 위해 가역적 시뮬레이션을 최적화할 수 있음을 제안한다. 벤넷의 페블 전략이 최대 시뮬레이션 단계 수를 위해 공간 사용을 최소화함을 입증하고, 비가역성 비용의 정확한 표현식을 유도하여 지수적 시간 범위에서의 시간-비가역성 상호 상충 관계의 계층을 드러낸다. 비가역적 시간 경계를 포함하는 극단적인 경우에도 적용된다.

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.

연구 동기 및 목표

• 가역적이고 아디아바틱적 계산에서 시간, 공간, 에너지 간의 자원 상호 상충 관계를 분석하기.
• 비가역적 계산의 가역적 시뮬레이션에 필요한 최소 공간을 정량화하기.
• 제한 없는 시간과 공간 조건 하에서 비가역성의 기본 비용을 규명하기.
• 지수적 시간 영역에서 시간-비가역성 상호 상충 관계의 계층을 수립하기.
• 비가역적 시간 경계를 포함하는 극단적인 시간-비가역성 상호 상충 관계를 탐구하기.

제안 방법

• 비가역적 계산의 시뮬레이션에 대한 공간 및 시간 비용을 분석하기 위해 가역적 페블 게임을 공식 모델로 사용한다.
• 가역적 시뮬레이션에서 추가 공간 사용을 최소화하기 위해 벤넷의 페블 전략을 적용한다.
• 시간 또는 공간 제약 없이 가역적 계산에서 비가역성 비용의 정확한 표현식을 도출한다.
• 페블 수(공간)와 지우기 횟수(비가역성)를 변화시켜 상호 상충 관계를 분석하고 최적의 구성 상태를 보여준다.
• 재귀적 페블 전략을 사용하여 지수적 시간 영역에서 시간-비가역성 상호 상충 관계의 계층을 도입한다.
• 가역적 계산에서 계산 가능한 시간 경계와 비가역적 시간 경계를 비교하여 이론적 극한을 고려한다.

실험 결과

연구 질문

• RQ1 주어진 단계 수 동안 비가역적 계산을 가역적으로 시뮬레이션하기 위해 필요한 최소한의 추가 공간은 얼마인가?
• RQ2 가역적 시뮬레이션에서 비가역적 지우기 횟수는 시뮬레이션 단계 수와 어떻게 비례하는가?
• RQ3 시간과 공간 제약이 없는 가역적 계산에서 비가역성의 정확한 기본 비용은 무엇인가?
• RQ4 지수적 시간 영역에서 가역적 계산의 시간과 비가역성 간의 상호 상충 관계는 어떻게 되는가?
• RQ5 비가역적 시간 경계를 고려할 때 시간-비가역성 상호 상충 관계의 이론적 한계는 무엇인가?

주요 결과

• 벤넷의 페블 전략은 가역적 시뮬레이션에서 최대 시뮬레이션 단계 수를 위해 최소한의 추가 공간 사용을 달성한다.
• 모든 $ m \geq 1 $ 에 대해 $ T_G = m2^n $ 인 페블 게임에 대해 $ n+2 $ 개의 페블과 $ m-1 $ 번의 지우기로 승리 전략이 존재하며, 이는 이전의 한계를 향상시킨다.
• 시간과 공간이 제한되지 않을 경우 가역적 계산의 최종 비가역성 비용이 정확히 정량화된다.
• 지수적 시간 영역에서 시간-비가역성 상호 상충 관계의 계층이 수립되었으며, 시간과 비가역성 간의 균형을 어떻게 이룰 수 있는지 보여준다.
• 계산 가능한 시간 경계와 비가역적 시간 경계 사이의 극단적인 상호 상충 관계가 입증되었으며, 에너지 효율적 계산의 이론적 한계가 드러난다.