[논문 리뷰] When is a bit worth much more than kT ln2?

Can Gokler, Artemy Kolchinsky외 7명|arXiv (Cornell University)|2017. 05. 26.

Quantum Computing Algorithms and Architecture참고 문헌 2인용 수 4

한 줄 요약

이 논문은 기저의 확률적 과정이 알려져 있지 않을 경우, 비트당 Landauer 한계 $k_B T \ln 2$ 보다 훨씬 큰 에너지 비용이 발생할 수 있음을 보여준다. Kolchinsky-Wolpert 정리에 기반하여, 어떤 과정이 발생하는지에 대해 한 비트의 정보를 상실할 경우, 시스템 크기와 선형적으로 증가하는 매크로스코픽한 에너지 손실이 발생할 수 있으며, 이는 비평형 열역학에서 과정 자체에 대한 정보가 본질적으로 가치가 있음을 시사한다.

ABSTRACT

Physical processes thatobtain, process, and erase information involve tradeoffs between information and energy. The fundamental energetic value of a bit of information exchanged with a reservoir at temperature T is kT ln2. This paper investigates the situation in which information is missing about just what physical process is about to take place. The fundamental energetic value of such information can be far greater than kT ln2 per bit.

연구 동기 및 목표

• 시스템의 동역학을 지배하는 진정한 확률적 과정이 알려져 있지 않을 경우의 에너지 비용인 무지의 비용을 조사하는 것.
• 매크로스코픽 시스템에서 과정에 대한 정보의 한 비트가 Landauer 한계 $k_B T \ln 2$ 를 초월할 수 있는지 여부를 규명하는 것.
• 과정 정체성에 대한 지식 부족이 이소othermal 과정에서 대규모 에너산란을 초래하는 방식을 체계화하는 것.
• 경쟁하는 다양한 확률적 과정 간의 불확실성으로 인해 발생하는 초과 손실을 정량화하기 위해 Kolchinsky-Wolpert 정리를 적용하는 것.
• 에너지적 가치가 시스템 크기와 비례할 수 있으며, 이는 매크로스코픽 조건에서 $k_B T \ln 2$ 보다 본질적으로 더 가치가 있음을 보여주는 것.

제안 방법

• 진짜 과정이 A 또는 B이며 각각 확률 $1/2$ 으로 발생할 때, 에이전트가 어떤 과정이 일어나는지 모른다는 조건에서, 초기 상태 $r_0$ 로 준비된 시스템을 문제로 정의한다.
• Kolchinsky-Wolpert (K-W) 정리를 적용하여 초과 손실 일량을 계산하며, 초기 분포와 최적 분포 간의 Kullback-Leibler 발산을 사용한다: $W_D(r_0) - W_D(q_0) = k_B T \left( D(r_0 \| q_0) - D(r_1 \| q_1) \right)$.
• 불확실성 하에서 초과 손실을 최소화하는 최적의 초기 분포 $r_0$ 를 유도하며, 이는 역온도 $\beta = (\beta_A + \beta_B)/2$ 를 갖는 열적 상태에 해당함을 보여준다.
• 분할 함수 $Z(\beta)$ 를 함수로 하여 최소 초과 손실 $\hat{\Delta}$ 를 계산하여, $\hat{\Delta} = \frac{1}{2} \left( \ln Z(\beta_A) + \ln Z(\beta_B) \right) - \ln Z\left( \frac{\beta_A + \beta_B}{2} \right)$ 를 도출한다.
• 비상호작용 시스템의 큰-N 근사에서 분석하여, 손실이 $O(N k_B T)$ 로 증가함을 보이며, 작은 $\beta_A - \beta_B$ 에 대해 두 번째 차수 테일러 전개를 도출하여 $\hat{\Delta} \approx \frac{1}{2} \langle (\Delta E)^2 \rangle (\beta_A - \beta_B)^2$ 를 얻는다.
• 양자 영역으로의 확장을 Bures 거리 계량을 사용하여 수행하며, 초과 손실이 입력 및 출력 상태 간의 Bures 거리 비례로 나타남을 보여준다.

실험 결과

연구 질문

• RQ1 진짜 과정이 무엇인지 모를 경우, 그것을 안다면 비해 얼마나 더 많은 에너지가 손실되는가?
• RQ2 매크로스코픽 시스템에서 과정에 대한 정보의 한 비트가 $k_B T \ln 2$ 를 초월할 수 있는가?
• RQ3 과정이 알려져 있지 않을 때 손실을 최소화하기 위한 최적의 초기 상태는 무엇이며, 이는 개별 과정의 열적 상태와 어떻게 관련되어 있는가?
• RQ4 과정이 온도나 해밀토니언에서 다를 경우, 초과 손실은 시스템 크기와 어떻게 스케일링되는가?
• RQ5 과정 간의 차이가 매우 작을 경우, 무지로 인한 주요 손실은 무엇에 의해 결정되는가?

주요 결과

• 무지로 인한 초과 손실은 시스템 크기 $N$ 과 선형적으로 증가하며, 단 한 비트의 정보 부족으로도 매크로스코픽한 에너지 손실을 초래한다.
• 비상호작용 시스템의 경우 초과 손실은 $O(N k_B T)$ 로 증가하며, 실온 조건에서 $k_B T \ln 2$ 보다 $10^{25}$ 배 이상 큰 무지의 에너지 비용을 초래할 수 있다.
• 불확실성 하에서 최적의 초기 상태는 역온도 $\beta = (\beta_A + \beta_B)/2$ 를 갖는 열적 상태이며, 이는 초과 손실을 최소화한다.
• 작은 $\Delta\beta$ 근사에서 초과 손실은 에너지의 분산 $\langle (\Delta E)^2 \rangle$ 과 온도 차이의 제곱에 비례하며, $\hat{\Delta} \approx \frac{1}{2} \langle (\Delta E)^2 \rangle (\beta_A - \beta_B)^2$ 로 근사된다.
• 결과는 양자 시스템에도 적용되며, 초과 손실은 입력 및 출력 상태 간의 Bures 거리 비례로 결정되며, 고전적 K-L 발산 프레임워크를 일반화한다.
• 자료 처리 부등식은 초과 손실가 항상 비음수임을 보장하며, 이는 최선의 준비 전략을 사용하더라도 항상 비가역적 낭비가 발생함을 확인한다.