[논문 리뷰] Regularized Boltzmann entropy determines macroscopic adiabatic accessibility

Hiroyasu Tajima, Eyuri Wakakuwa|arXiv (Cornell University)|2016. 01. 04.

Advanced Thermodynamics and Statistical Mechanics인용 수 3

한 줄 요약

이 논문은 스케일링된 볼츠만 엔트로피의 열역학적 한계로서 유도된 정규화된 볼츠만 엔트로피 $\tilde{S}_B$가 열역학적 시스템에서 매크로스코픽 단열 접근성에 필수적이고 충분한 조건을 제공한다는 것을 입증한다. 저자들은 양자 연산에 대한 코arse-graining 프레임워크를 도입함으로써, 엔트로피 함수의 볼록성과 단조성에 대한 최소한의 가정 하에 $\tilde{S}_B$가 한 상태에서 다른 평형 상태로의 매크로스코픽 단열 전환이 가능한지를 완전히 결정한다는 것을 증명한다.

ABSTRACT

How the thermodynamic entropy $S_{TD}$ is related to the Boltzmann entropy $S_{B}$ has been one of the central issues since the beginning of statistical mechanics. Today, it is believed that the thermodynamic entropy $S_{TD}$ is equal to a function $ ilde{S}_{B}$ that is defined by regularizing the Boltzman entropy in order to ensure extensivity. However, it is not known whether $ ilde{S}_{B}$ completely determines the possibility of a macroscopic adiabatic transformation in the same way as $S_{TD}$ does. In this paper, by formulating the possibility of a macroscopic adiabatic transformations in terms of "coarse-graining" of quantum operations, we prove that $ ilde{S}_{B}$ provides a necessary and sufficient condition for the possibility of a macroscopic adiabatic transformation.

연구 동기 및 목표

• 정규화된 볼츠만 엔트로피 $\tilde{S}_B$가 열역학적 엔트로피 $S_{TD}$가 그러하듯 매크로스코픽 단열 접근성에 완전히 결정된다는 오랜 숙제를 해결하기 위해.
• 기존 연구에서의 격차를 메우기 위해, 정규화된 엔트로피의 존재성과 볼록성만을 가정하여 단열 접근성 조건의 역방향 포함관계를 엄밀히 증명하기 위해.
• i.i.d. 또는 미세 구조적 정보에 대한 강한 가정 없이, 단열 전환을 코arse-grained 양자 연산의 관점에서 기술하기 위해.
• 미세 구조적 양자 상태 전환 조건과는 다를 바 있는 매크로스코픽, 매개변수 전용 기준을 수립하기 위해.

제안 방법

• 대규모 열역학적 과정을 모델링하기 위해 양자 연산에 대한 코arse-graining 접근법을 사용하여 매크로스코픽 단열 접근성을 공식화한다.
• 정규화된 볼츠만 엔트로피 $\tilde{S}_B[U,V,N] := \lim_{X\to\infty} \frac{S_B[UX,VX,NX]}{X}$를 정의하여 광범위성 확보.
• 계수당 엔트로피의 변동성을 제어하기 위해 渐近 엔트로피 한계 $\underline{s}_{\vec{a},\{\delta_X\}}$와 $\overline{s}_{\vec{a},\{\delta_X\}}$를 도입한다.
• 연산자 단조성과 트레이스 노름 추정을 사용하여 차원 $D^{(X)}_{\vec{a},\delta_X}$의 로그를 추정하고, 이를 $\frac{1}{X}S(\hat{\pi}^{(X)}_{\vec{a},\delta_X})$를 통해 엔트로피와 연결한다.
• 오차 항 $\gamma_{X}$의 감쇠에 기반한 모순 증명을 통해 $\tilde{S}_B$가 감소할 경우 전환이 불가능함을 증명한다.
• 단일성 완전 양자적 비가역적 추적 보존(CPTP) 사상들을 사용하여 단열 과정을 모델링함으로써, 코arse-grained 프레임워크 하에서 총 엔트로피 감소 없이도 가능함을 보장한다.

실험 결과

연구 질문

• RQ1 정규화된 볼츠만 엔트로피 $\tilde{S}_B$는 $S_{TD}$가 그러하듯 매크로스코픽 단열 접근성에 필수적이고 충분한 조건을 제공하는가?
• RQ2 i.i.d. 또는 미세 구조적 제어와 같은 강한 가정 없이도 단열 접근성 조건의 역방향 포함관계 $\vec{a} \prec_{ad} \vec{a}' \Leftrightarrow \tilde{S}_B[\vec{a}] \leq \tilde{S}_B[\vec{a}']$를 엄밀히 증명할 수 있는가?
• RQ3 코arse-graining을 통한 양자 연산을 사용하여 정규화된 볼츠만 엔트로피만으로 매크로스코픽 열역학적 접근성을 유도할 수 있는가?
• RQ4 계수당 엔트로피의 변동성이 열역학적 한계에서 단열 전환 가능성에 어떻게 영향을 미치는가?

주요 결과

• 정규화된 볼츠만 엔트로피 $\tilde{S}_B$는 매크로스코픽 단열 접근성에 필수적이고 충분한 조건을 제공하며, 즉 $\vec{a} \prec_{ad} \vec{a}' \Leftrightarrow \tilde{S}_B[\vec{a}] \leq \tilde{S}_B[\vec{a}']$이다.
• 증명은 최소한의 가정 하에 성립한다: (2)의 극한 존재성과 $\tilde{S}_B$가 $U$, $V$, $N$에 대해 볼록이고 엄격히 증가함을 가정한다.
• 저자들은 $\lim_{X\to\infty} \overline{\gamma}_{\vec{a},\{\delta_X\},X} = \lim_{X\to\infty} \underline{\gamma}_{\vec{a},\{\delta_X\},X} = 0$임을 입증하여 계수당 엔트로피 수렴을 보장한다.
• 충분히 큰 모든 $X$에 대해, $\frac{1}{X}\log D^{(X)}_{\vec{a}^\prime,\delta_X^\prime} - \frac{1}{X}\log D^{(X)}_{\vec{a},\delta_X}$의 차이는 $\underline{s}_{\vec{a}^\prime,\{\delta_X^\prime\}} - \overline{s}_{\vec{a},\{\delta_X\}} - \tilde{\gamma}_X$에 의해 아래에서 유계가 되며, 이 값은 $\tilde{S}_B$가 감소할 경우 음수가 된다.
• 만약 $\underline{s}_{\vec{a}^\prime,\{\delta_X^\prime\}} > \overline{s}_{\vec{a},\{\delta_X\}}$라면, 이는 단일성 CPTP 사상 하에서 엔트로피 증가 없이 요구되는 조건과 모순되므로 단열 전환이 불가능하다.
• 이 결과는 i.i.d. 또는 미세 구조적 정보를 가정하지 않아도 성립하므로, 일반적인 열역학적 시스템에 대해 강건하다.