[논문 리뷰] Above and Beyond the Landauer Bound: Thermodynamics of Modularity

Alexander B. Boyd, Dibyendu Mandal외 1명|arXiv (Cornell University)|2017. 08. 09.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 48인용 수 19

한 줄 요약

이 논문은 개별 게이트가 효율적으로 작동함에도 불구하고 국소적이고 모듈러한 계산으로 인해 발생하는 새로운 열역학적 비용—모듈러리티 소산—을 규명한다. 이 비용은 Landauer의 한계를 초과한다. 또한 정보 래치가 예측적 또는 후행적 숨겨진 상태를 통해 전역 상관관계를 저장함으로써, 전역적으로 조율된 계산과 동일한 열역학적 효율성을 달성할 수 있음을 보여준다.

ABSTRACT

Information processing typically occurs via the composition of modular units, such as universal logic gates. The benefit of modular information processing, in contrast to globally integrated information processing, is that complex global computations are more easily and flexibly implemented via a series of simpler, localized information processing operations which only control and change local degrees of freedom. We show that, despite these benefits, there are unavoidable thermodynamic costs to modularity---costs that arise directly from the operation of localized processing and that go beyond Landauer's dissipation bound for erasing information. Integrated computations can achieve Landauer's bound, however, when they globally coordinate the control of all of an information reservoir's degrees of freedom. Unfortunately, global correlations among the information-bearing degrees of freedom are easily lost by modular implementations. This is costly since such correlations are a thermodynamic fuel. We quantify the minimum irretrievable dissipation of modular computations in terms of the difference between the change in global nonequilibrium free energy, which captures these global correlations, and the local (marginal) change in nonequilibrium free energy, which bounds modular work production. This modularity dissipation is proportional to the amount of additional work required to perform the computational task modularly. It has immediate consequences for physically embedded transducers, known as information ratchets. We show how to circumvent modularity dissipation by designing internal ratchet states that capture the global correlations and patterns in the ratchet's information reservoir. Designed in this way, information ratchets match the optimum thermodynamic efficiency of globally integrated computations.

연구 동기 및 목표

• 개별 게이트가 Landauer의 한계 근처에서 작동함에도 불구하고 모듈러 정보 처리의 사용으로 인해 발생하는 새로운 열역학적 비용—모듈러리티 소산—을 규명하고 정량화하는 것.
• 모듈러 계산이 환경에서 전역 상관관계를 본질적으로 상실하는 이유를 설명하고, 이로 인해 발생하는 추가적인 비가역적 소산이 어떻게 발생하는지 밝히는 것.
• 정보 래치와 같은 모듈러 시스템이 전역적으로 통합된 계산의 최소 열역학적 비용을 달성할 수 있는 조건을 설정하는 것.
• 정보 래치의 효율성과 예측적 또는 후행적 숨겨진 상태를 통해 전역 상관관계를 저장할 수 있는 능력 간의 연관성을 설정하는 것.

제안 방법

• 스토하스틱 열역학과 정보 이론을 사용하여 국소적 처리 연산에서의 소산에 대한 정확한 표현을 유도한다.
• 모듈러리티 소산을 전역 비평형 자유에너지의 변화(전역 상관관계를 반영)와 국소(마진) 자유에너지 변화의 차이로 정의한다.
• 정보도 형식을 적용하여 상호정보량을 분해하고, 상실된 상관관계가 비가역성에 기여하는 바를 분리한다.
• 정보 래치를 환경 상관관계를 일정한 일로 전환하는 물리적 변환기로 분석하여, 최적의 효율성을 달성하기 위해 숨겨진 상태가 예측적(추출기의 경우) 또는 후행적(생산기의 경우)이어야 한다고 보여준다.
• 재귀적 정보이론적 추론을 사용하여, 래치에서의 0 엔트로피 생산이 예측적 또는 후행적 행동과 동치임을 증명한다.
• 래치 상태를 전역 패턴을 포착하도록 설계함으로써 모듈러리티 소산을 제거하고, 전역적으로 통합된 계산과 동일한 열역학적 최적 상태를 달성할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 모듈러 계산에서 Landauer의 한계를 초월하는 열역학적 비용은 무엇이며, 그 원인은 무엇인가?
• RQ2 왜 모듈러 계산은 본질적으로 전역 상관관계를 상실하는가? 그리고 이 상실이 추가적인 소산을 어떻게 유도하는가?
• RQ3 정보 래치와 같은 모듈러 시스템이 전역적으로 조율된 계산의 열역학적 효율성을 달성할 수 있는 조건은 무엇인가?
• RQ4 래치의 예측적 및 후행적 숨겨진 상태는 0 엔트로피 생산과 최소 소산과 어떻게 관련이 있는가?
• RQ5 래치 내부 상태를 환경의 전역 상관관계를 저장하도록 설계함으로써 모듈러리티 소산을 제거할 수 있는가?

주요 결과

• 모듈러리티 소산은 국소적 처리 과정에서 전역 상관관계가 손실될 때 발생하며, Landauer의 한계와는 별개로 추가적인 열역학적 비용을 나타낸다.
• 모듈러 계산에서의 최소 소산은 전역 자유에너지 변화와 국소 자유에너지 변화의 차이로 정량화되며, 이는 이용 가능한 상관관계 에너지의 손실을 반영한다.
• 구조화된 입력에서 일률을 추출하는 정보 래치의 경우, 최소 소산을 달성하려면 숨겨진 상태가 입력 시퀀스를 예측해야 한다.
• 구조화된 출력을 생성하는 래치의 경우, 최소 소산을 달성하려면 숨겨진 상태가 과거 출력 시퀀스를 후행적으로 추론해야 한다.
• 래치에서 0 엔트로피 생산은 래치가 예측적(추출기의 경우) 또는 후행적(생산기의 경우)임과 동치이며, 이는 정보 구조와 열역학적 효율성 간의 직접적인 연결을 확립한다.
• 래치 상태를 전역 패턴을 저장하도록 설계함으로써 모듈러리티 소산을 완전히 제거할 수 있으며, 이로써 래치는 전역적으로 조율된 계산과 동일한 열역학적 효율성을 달성할 수 있다.