[논문 리뷰] Shortcuts to Thermodynamic Computing: The Cost of Fast and Faithful Erasure

Alexander B. Boyd, Ayoti Patra외 2명|arXiv (Cornell University)|2018. 12. 28.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 31인용 수 4

한 줄 요약

이 논문은 과도한 점성 랑주뱅 시스템에서 정보를 빠르고 정확하며 충실하게 지우는 반대다이아바틱 제어 프로토콜을 제안하며, 라운더의 한계를 초월한 유한시간 열역학적 계산을 가능하게 한다. 추가로 소모되는 일(불가역적으로 방출되는 일)이 계산 속도, 시스템 크기, 정보 저장의 내구성과 비례하며, 유한한 일로 유한 시간 내에 완벽한 지우기가 가능하다는 것을 보여준다.

ABSTRACT

Landauer's Principle states that the energy cost of information processing must exceed the product of the temperature and the change in Shannon entropy of the information-bearing degrees of freedom. However, this lower bound is achievable only for quasistatic, near-equilibrium computations -- that is, only over infinite time. In practice, information processing takes place in finite time, resulting in dissipation and potentially unreliable logical outcomes. For overdamped Langevin dynamics, we show that counterdiabatic potentials can be crafted to guide systems rapidly and accurately along desired computational paths, providing shortcuts that allows for the precise design of finite-time computations. Such shortcuts require additional work, beyond Landauer's bound, that is irretrievably dissipated into the environment. We show that this dissipated work is proportional to the computation rate as well as the square of the information-storing system's length scale. As a paradigmatic example, we design shortcuts to erase a bit of information metastably stored in a double-well potential. Though dissipated work generally increases with erasure fidelity, we show that it is possible perform perfect erasure in finite time with finite work. We also show that the robustness of information storage affects the energetic cost of erasure---specifically, the dissipated work scales as the information lifetime of the bistable system. Our analysis exposes a rich and nuanced relationship between work, speed, size of the information-bearing degrees of freedom, storage robustness, and the difference between initial and final informational statistics.

연구 동기 및 목표

• 라운더 원리의 준정적 한계를 초월하는 신뢰할 수 있는 정보 처리를 위한 유한시간 프로토콜을 설계하기 위해.
• 특히 라운더의 한계를 초월한 빠르고 정확한 지우기의 에너지 비용을 정량화하기 위해.
• 시스템 크기, 저장 내구성(정보 수명), 지우기 정밀도가 소모되는 일에 어떤 영향을 미치는지 조사하기 위해.
• 반대다이아바틱 포텐셜을 사용하여 끝없는 일로 끝나는 시간 내에 완벽한 지우기가 가능하다는 것을 보여주기 위해.
• 편향 경로의 역학과 정보 처리에서 발생하는 소모 사이의 정량적 연관성을 설정하기 위해.

제안 방법

• 유한 시간 내에 시스템을 원하는 경로로 이동시키기 위해 반대다이아바틱 제어를 사용하여 포텐셜을 설계하며, 다이아바틱 전이를 피한다.
• 과도한 점성 포커-플랭크 동역학에 대해 단축된 애디아바틱성의 형식을 적용하여 계산 중에 인구 누출이 없도록 보장한다.
• 확률 밀도 $ p(x) $ 와 시스템의 드리프트를 사용하여 시간에 따라 변하는 편향 $ b(t) $ 를 함수로 반대다이아바틱 포텐셜 $ V^{CD}(x,t) $ 를 유도한다.
• 총 반대다이아바틱 일은 $ \big\bracevert W^{CD} \big\bracevert = f_1[p(\bullet)] \times f_2[b(\bullet)] $ 로 표현되며, 시스템 특성과 프로토콜 역학 간의 독립적 의존성을 분리한다.
• 초기 및 최종 시간 도함수가 0이 되도록 보장하기 위해 $ b(t) = b_i \cos^2(t\pi/2\tau) + b_f \sin^2(t\pi/2\tau) $ 의 삼각함수적 편향 경로를 사용한다.
• 소모되는 일을 기능적 $ f_2[b(\bullet)] = \int_0^\tau \frac{\dot{b}^2}{b - b^2} dt $ 를 통해 분석하여, 계산 속도의 제곱과 초기 및 최종 분포 간 헬링거 거리에 비례함을 보여준다.

실험 결과

연구 질문

• RQ1 유한 시간 내에 빠르고 충실한 정보 지우기의 에너지 비용은 라운더의 한계를 초월해 얼마인가?
• RQ2 소모되는 일은 계산 속도와 정보 저장 시스템의 크기와 어떻게 비례하는가?
• RQ3 유한한 일로 끝나는 시간 내에 완벽한 지우기가 가능할 수 있으며, 어떤 프로토콜이 이를 가능하게 하는가?
• RQ4 정보 저장의 내구성(정보 수명으로 측정됨)은 지우기의 에너지 비용에 어떤 영향을 미치는가?
• RQ5 소모를 최소화하기 위한 최적의 프로토콜은 무엇이며, 선택된 삼각함수적 편향 경로는 이를 달성하는가?

주요 결과

• 유한 시간 지우기의 반대다이아바틱 일은 계산 속도의 제곱과 시스템의 길이 척도에 비례한다.
• 소모되는 일은 지우기 시간 $ \tau $ 의 역수에 비례하며, 완벽한 비트 플립의 경우 최대 $ \pi^2 / \tau $ 에 비례한다.
• 끝없는 일로 끝나는 시간 내에 완벽한 지우기가 가능하며, 이는 라운더의 한계가 속도에 대한 엄격한 상한선이 아니라는 것을 보여준다.
• 지우기의 에너지 비용은 이중함수 시스템의 정보 수명과 직접 비례하며, 저장 내구성과 처리 비용을 연결한다.
• 소모를 제어하는 기능 $ f_2[b(\bullet)] $ 는 오일러-라그랑주 방정식을 만족하는 경로에서 최소화되지만, 선택된 삼각함수 프로토콜은 이 조건을 만족하지 않으며 따라서 최적은 아니다.
• 반대다이아바틱 일은 두 개의 독립된 요소의 곱으로 표현되며, 하나는 평형 포텐셜 $ p(x) $ 에 따라 달라지고, 다른 하나는 편향 $ b(t) $ 의 시간 진화에 따라 달라지며, 이는 시스템과 프로토콜 기여도를 모듈러식으로 분석할 수 있게 한다.