Active Jarzynski and Crooks Relations for Driven Jump-Diffusions

기술 요약: 구동된 점프-확산 과정에 대한 액티브 자르진스키스키 및 크룩스 관계식

문제 제기
현대 통계 물리학은 외부 구동과 내부 요동이 열역학적 비가역성을 어떻게 지배하는지 정량화하고자 한다. 고전적인 확률론적 열역학은 미시적 가역성과 상세 균형을 따르는 열욕(thermal bath)에 결합된 시스템을 성공적으로 설명하지만, 이 패러다임은 불연속적이고 비가우시안적인 전이(예: 자기 추진 콜로이드, 분자 모터, 전사 버스팅)를 겪는 **액티브 시스템(active systems)**에는 적용되지 않는다.

구동된 액티브 점프-확산 과정에서 세 가지 상호 연관된 난제들이 표준적인 유동 정리(fluctuation theorems)의 직접적인 적용을 방해한다:

1. 공통 정상 상태의 부재: 시간 의존적 프로토콜은 열역학적 기준점이 될 수 있는 단일 시간 독립적 정상 상태를 존재하지 못하게 할 때가 많다.
2. 엔트로피 분해: 기계적 프로토콜 일($W$)은 연속적 및 점프 유도형 액티브 소산(housekeeping 엔트로피, $\Delta s_{act}$)과 구별되어야 한다.
3. 경로 측도의 특이성: 궤적 비교 시 점프율의 비대칭성을 고려해야 한다. 금지된 역방향 점프는 순방향 및 역방향 경로 측도를 특이하게 만들어 표준적인 일의 유동 대칭성을 무너뜨릴 수 있다.

방법론
저자들은 **이중 게이지 프레임워크(dual-gauge framework)**를 도입함으로써 구동된 마르코프 점프-확산 과정(무한 활동 르비 프로세스 포함)에 대한 정확한 유한 시간 유동 관계식을 확립한다. 핵심적인 방법론적 혁신은 다음과 같다:

• 순간 정상 상태 (Instantaneous Steady State, ISS): 시스템은 각 동결된 프로토콜 값에서 정의된 이동하는 열역학적 참조점인 ISS $\pi_t$를 기준으로 분석된다. 이는 과도적인 상태 이완(transient state relaxation)과 정상 상태 전류에 의해 유지되는 소산을 분리한다.
• 공액 이중 역학 (Conjugate Dual Dynamics): 저자들은 동결된 ISS 밀도 $\pi_t$를 보존하면서 동시에 (확산 및 점프 플럭스 모두의) 정상 상태 전류를 역전시키는 이중 과정($P_\pi$)을 구축한다. 공통 초기 분포에 대해, 원래의 경로 측도($P$)와 이중 경로 측도($P_\pi$)의 로그 비는 액티브 엔트로피 생성 $\Delta s_{act}$를 산출한다.
• 지수적 게이지 틸팅 (Exponential Gauge Tilting): 기계적 일을 포함하기 위해, 저자들은 경로 측도에 지수적 게이지 변환을 적용한다. 궤적에 $e^{-W}$를 가중치로 부여하고 이를 이중 역학에 따라 비교함으로써, 경로 확률들 사이의 정확한 관계를 도출한다.
• 경로 역전 vs. 프로토콜 역전: 프레임워크는 직접적인 경로 역전(시간 역전 연산자 $\Theta$)과 물리적 프로토콜 역전(실험을 시간 역전된 파라미터로 거꾸로 실행하는 것)을 엄격히 구분한다. 이 구분은 점프 비대칭성이 존재하는 상황에서 엔트로피 생성을 회복하는 데 결정적이다.

주요 기여 및 결과

1. 궤적 수준의 분해:
   시간 구간 $[0, T]$ 동안의 총 엔트로피 생성 $\Delta s_{tot}$는 다음과 같이 분해된다:
   $$\Delta s_{tot} = W + \Delta s_{act} - \Delta F + \Delta s_{rel}$$
   여기서 $W$는 기계적 일, $\Delta s_{act}$는 액티브 하우스키핑 열, $\Delta F$는 평형 자유 에너지 차이, $\Delta s_{rel}$은 진화하는 밀도와 ISS 사이의 쿨백-라이블러 발산과 관련된 이완 항이다.

2. 액티브 자르진스키 등식 (Active Jarzynski Equality):
   ISS가 깁스 형태 $\pi_t(x) = Z_t^{-1} e^{-H(t,x)}$를 갖는 경우, 저자들은 다음과 같은 정확한 유한 시간 관계식을 도출한다:
   $$\langle e^{-(W + \Delta s_{act})} \rangle_{\pi_0} = e^{-\Delta F}$$
   이 등식은 기계적 일 $W$와 함께 액티브 하우스키핑 엔트로피 $\Delta s_{act}$를 포함한다. 이는 액티브 기여가 사라지거나 무시될 때 성립하는 전통적인 자르진스키 등식($\langle e^{-W} \rangle_{\pi_0} = e^{-\Delta F}$)과 공존한다. 유도는 깁스 밀도가 동결된 이중 역학 하에서 정상 상태임을 이용한다.

3. 액티브 크룩스 관계 (Active Crooks Relation):
   순방향 경로를 프로토콜이 역전된 실험의 역기록과 비교함으로써, 저자들은 다음을 확립한다:
   $$\frac{p_F(w)}{p_R(-w)} = \frac{e^{w - \Delta F}}{\langle e^{-\Delta s_{act}} \mid W = w \rangle_{\pi_0}}$$
   여기서 순방향($p_F$)과 역방향($p_R$) 일 분포 사이의 비대칭성은 액티브 소산의 조건부 지수 평균에 의해 결정된다. 이 인자는 자율적인 액티브 요동이 클래식한 크룩스 관계로부터 일 통계를 어떻게 왜곡하는지를 정량화한다.

4. 예시를 통한 검증:
   이 이론은 키랄 액티브 드리프트(chiral active drift)와 포아송 점프가 가해지는 조화 퍼텐셜 내의 2차원 과감쇠 입자를 사용하여 입증된다.

   • 고정된 지형에서, 자유 에너지 변화 없이도 액티브 엔트로피가 축적되며 ($\langle \Delta s_{act} \rangle > 0$), 동시에 $\langle e^{-\Delta s_{act}} \rangle = 1$이다.
   • 주기적인 강성 프로토콜 하에서, 기계적 및 액티브 자르진스키 관계가 동시에 성립함이 보여진다.
   • 특정 대칭 사례에서, 조건부 액티브 인자는 unity(1)가 되어, 비제로(non-zero) 평균 액티브 엔트로피에도 불구하고 클래식한 크룩스 관계를 회복한다.

의의
본 논문은 다음을 위한 엄밀한 프레임워크를 제공한다고 주장한다:

• 자유 에너지 차이의 복구: 깁스적 순간 정상 상태를 가진 구동된 점프-확산 과정에서 자유 에너지 차이를 재구성할 수 있게 한다.
• 액티브 비가역성 규명: 숨겨진 하우스키핑 소산을 궤적 통계로부터 분리하여 기계적 일과 구별하여 정량화하는 방법을 제공한다.
• 열역학의 통합: 상세 균형이 결여된 시스템에 대해 앙상블 및 궤적 수준 모두에서 비평형 열역학을 통합한다.

저자들은 이러한 결과가 광학 트랩에 갇힌 액티브 콜로이드, 설계된 마이크로 스위머(run-and-tumble 또는 르비 비행 운동학을 가진), 그리고 액티브 점탄성 매질 내의 단일 분자 조작에 직접 적용 가능하다고 언급한다. 본 연구는 새로운 실험 설정을 제안하는 것이 아니라, 기존 액티브 물질 시스템에서의 유한 시간 궤적 측정을 해석하기 위한 이론적 도구를 제공하는 것이다.