[논문 리뷰] Reply to Frenkel and Warren [arXiv:1403.4299v1]

Jörn Dunkel, Stefan Hilbert|arXiv (Cornell University)|2014. 03. 24.

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

한 줄 요약

이 논문은 Frenkel과 Warren의 깁스 온도에 대한 비판을 반박하며, 통합 밀도 상태 $ \Omega(E,A) $ 에서 유도된 깁스 엔트로피 $ S_G $ 가 마이크로canonical 시스템에 대해 기본 일致 조건 $ T \partial S / \partial A_\mu = -\langle \partial H / \partial A_\mu \rangle $ 를 만족함을 보여준다. 저자들은 수학적으로 $ T_G $ 가 마이크로canonical 등분할 정리에 의해 열적 평형을 정확히 기술함을 증명하며, 반면 $ T_B $ 는 그렇지 않음을 보이며, 이는 고립계에서의 올바른 온도로 $ T_G $ 가 정의됨을 입증한다.

ABSTRACT

In their paper [arXiv:1403.4299v1], Frenkel and Warren claim that the Gibbs temperature does not characterize thermal equilibrium correctly. We point out the main logical errors in their argument.

연구 동기 및 목표

• Frenkel과 Warren의 주장, 즉 깁스 온도가 고립계에서 열적 평형을 기술하지 못한다는 주장을 반박하기 위해.
• 깁스 엔트로피 $ S_G $ 가 통합 밀도 상태 $ \Omega(E,A) $ 를 통해 정의되며, 열역학적 모델에 대한 기본 일치 조건을 만족함을 보여주기 위해.
• 모든 유한한 $ N \geq 1 $ 에 대해 마이크로canonical 등분할 정리가 $ T_G $ 에 대해 성립하지만 $ T_B $ 에 대해서는 성립하지 않음을 보여주기 위해.
• 캐논리컬 엔sembel의 샤논 엔트로피와의 일치가 $ (\rho_M, S_G) $ 의 마이크로canonical 일치성에 대한 무효화를 뜻하지 않음을 명확히 하기 위해, 둘 다 독립적으로 타당함을 보여주기 위해.
• 한정된 시스템에서의 엔sembel 비등가성은 $ T_G $ 의 수학적 엄밀성에 영향을 주지 않으며, 특히 유한하고 고립된 시스템에서 특히 그렇다는 점을 강조하기 위해.

제안 방법

• 마이크로canonical 밀도 연산자 $ \rho_M(\zeta|E,A) = \delta(H - E)/\omega $ 를 정의하며, 여기서 $ \omega(E,A) = \mathrm{Tr}[\delta(E - H)] $ 는 상태 밀도이다.
• 깁스 엔트로피 $ S_G = \ln \Omega(E,A) $ 를 정의하며, 여기서 $ \Omega(E,A) = \mathrm{Tr}[\Theta(E - H)] $ 이고, 이에 대응하는 온도는 $ T_G = (\partial S_G / \partial E)^{-1} $ 이다.
• 모든 일관된 열역학적 모델에 대해 필수적인 조건으로서 일치 조건 $ T \partial S / \partial A_\mu = -\langle \partial H / \partial A_\mu \rangle_\rho $ 을 수립한다.
• 수학적으로 $ \langle \zeta_i \partial H / \partial \zeta_i \rangle_{\rho_M} = T_G $ 가 모든 $ i $ 에 대해 성립함을 증명하며, 이는 마이크로canonical 등분할 정리 (E1) 이다.
• $ (\rho_M, S_G) $ 가 모든 $ N \geq 1 $ 에 대해 일치 조건 (2) 를 만족하지만, $ (\rho_M, S_B) $ 는 그렇지 않음을 보이며 (E2).
• 캐논리컬 쌍 $ (\rho_C, S_S) $ 도 일치 조건을 만족함을 확인하며, 이는 $ S_S $ 와 $ S_G $ 가 동일한 기준 하에 둘 다 타당한 열역학적 엔트로피임을 보여준다 (E3).

실험 결과

연구 질문

• RQ1 깁스 온도 $ T_G $ 는 두 개의 고립계가 접촉할 때 열적 평형을 정확히 기술하는가?
• RQ2 마이크로canonical 등분할 정리는 $ T_G $ 에 대해 유효한가, 그리고 $ T_B $ 에 대해서는 실패하는가?
• RQ3 $ T \partial S / \partial A_\mu = -\langle \partial H / \partial A_\mu \rangle $ 일치 조건이 $ (\rho_M, S_G) $ 와 $ (\rho_C, S_S) $ 양쪽 모두에서 만족되는가, 그리고 이는 엔트로피 정의에 대해 어떤 함의를 갖는가?
• RQ4 $ T_G $ 의 타당성은 열역학적 극한에 의존하는가, 아니면 유한한 시스템에서도 성립하는가?
• RQ5 한정된 스펙트럼을 가진 시스템에서 Frenkel과 Warren의 근사와 가정—특히 인수분해와 엔sembel 등가성—은 정당한가?

주요 결과

• 모든 $ N \geq 1 $ 에 대해 마이크로canonical 등분할 정리 $ \langle \zeta_i \partial H / \partial \zeta_i \rangle_{\rho_M} = T_G $ 가 정확히 성립함을 보이며, 이는 $ T_G $ 가 올바른 평형 온도임을 입증한다.
• $ (\rho_M, S_G) $ 가 일치 조건 $ T \partial S / \partial A_\mu = -\langle \partial H / \partial A_\mu \rangle $ 을 만족하지만, $ (\rho_M, S_B) $ 는 그렇지 않음을 보이며, 이는 Frenkel과 Warren의 주장, 즉 $ T_G $ 가 잘못되었다는 주장을 무효화한다.
• 캐논리컬 쌍 $ (\rho_C, S_S) $ 도 일치 조건을 만족함을 확인하며, 이는 $ S_S $ 와 $ S_G $ 가 동일한 기준 하에 모두 타당한 열역학적 엔트로피임을 보여준다.
• E1, E2, E3 결과는 모든 유한한 $ N \geq 1 $ 에 대해 정확하므로, 깁스 온도가 열역학적 극한 뿐 아니라 작은 고립계에서도 유효함을 의미한다.
• Frenkel과 Warren의 논문에서 식 (5)에 제시된 인수분해 근사는 밀도 상태가 지수적으로 증가하지 않는 한정된 스펙트럼을 가진 시스템에서는 유효하지 않다.
• 한정된 시스템에서의 엔sembel 비등가성은 $ T_G $ 의 수학적 엄밀성을 손상시키지 않으며, 오히려 물리적 실현 가능성에 따라 마이크로canonical과 캐논리컬 엔sembel을 구분해야 한다는 점을 강조한다.