[논문 리뷰] Finite-time thermodynamic uncertainty relation do not hold for discrete-time Markov process

Naoto Shiraishi|arXiv (Cornell University)|2017. 06. 03.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 6인용 수 10

한 줄 요약

이 논문은 연속시간 마르코프 점프 과정에 대해 성립하는 유한시간 열역학적 불확실성 관계가 이산시간 마르코프 체인으로 확장되지 않음을 보여준다. 두 상태의 시스템에 두 개의 전이 경로를 두고, 전류 변동과 엔트로피 생산을 해석적으로 계산함으로써 저자들은 특정 매개변수에서 불확실성 관계 위반이 발생함을 입증하여, 이 관계의 타당성이 연속 시간에 의해 결정되며 이산시간 동역학으로 일반화될 수 없음을 보여준다.

ABSTRACT

Discrete-time counterpart of thermodynamic uncertainty relation (conjectured in P. Pietzonka, et.al., arXiv:1702.07699 (2017)) with finite time interval is considered. We show that this relation do not hold by constructing a concrete counterexample to this. Our finding suggests that the proof of thermodynamic uncertainty relation with finite time interval, if true, should strongly rely on the fact that the time is continuous.

연구 동기 및 목표

• 연속시간 마르코프 점프 과정에 대해 성립하는 유한시간 열역학적 불확실성 관계가 이산시간 마르코프 체인에도 성립하는지 조사하는 것.
• 열역학적 불확실성 관계의 타당성에 영향을 미치는 연속시간과 이산시간 확률적 동역학 간의 근본적 차이를 규명하는 것.
• 이산시간 시스템에서 불확실성 관계가 붕괴됨을 보여주는 구체적 반례를 구성하는 것.
• 플럭투에이션 정리나 이산시간 기법에 의존하는 증명이 연속시간 불확실성 관계를 확립할 수 없음을 명확히 하는 것. 왜냐하면 이러한 방법들은 두 상황에 동일하게 적용되기 때문이다.

제안 방법

• 시간 적분량과 전이 비율을 단계 수와 전이 확률로 대체하여 이산시간 열역학적 불확실성 관계의 이론적 형식화를 수행한다.
• 상태 A와 B 사이에 두 개의 독립된 전이 경로를 가진 이중 상태 마르코프 체인을 정의하며, 각 경로는 매개변수 y로 매개변수화된다.
• 정적 분포, 단계당 엔트로피 생산률, 경로 1을 통해 A에서 B로의 평균 전류를 계산한다.
• 정확한 확률을 사용하여 t=2 단계 동안 시간 적분 전류 X의 분산을 X=1, 0, -1에 대해 계산한다.
• 불확실성 관계의 왼쪽 항을 평가한다: (Var[X] × σ) / (J² × t)이며, 하한 2와 비교한다.
• 특정 매개변수 범위(특히 3 ≤ y ≤ 3.21067)에서 부등식 위반이 발생함을 확인하여 이산시간 형태의 불확실성 관계가 반증됨을 밝힌다.

실험 결과

연구 질문

• RQ1 연속시간 마르코프 점프 과정에 대해 유도된 유한시간 열역학적 불확실성 관계가 이산시간 마르코프 체인에서도 성립하는가?
• RQ2 열역학적 제약 조건을 동일하게 만족함에도 불구하고, 이산시간 시스템에서 불확실성 관계 위반이 발생하는 반례를 구성할 수 있는가?
• RQ3 시간의 연속성이 열역학적 불확실성 관계의 타당성에 어떤 역할을 하는가?
• RQ4 플럭투에이션 정리 및 관련 기법이 이산시간 설정에서 불확실성 관계를 증명하는 데 충분한가?
• RQ5 기존의 연속시간 시스템에 대한 증명이 왜 이산시간 마르코프 체인에 적용될 때 실패하는가?

주요 결과

• t=2 및 y ∈ [3, 3.21067] 범위에서 이산시간 열역학적 불확실성 관계의 대응 관계가 위반되며, 왼쪽 항은 (3 - 5/y) × 2 × ln 2 < 2로 평가된다.
• 전류의 분산은 Var[X] = (3y - 5)/y²이며, 단계당 엔트로피 생산률은 σ = (1/y) × ln 2이다.
• 평균 전류는 J = 1/(2y)이며, 곱 (Var[X] × σ) / (J² × t)는 (3 - 5/y) × 2 × ln 2로 평가되며, y ≤ 3.21067일 경우 2보다 작다.
• 반례는 정적 조건 하에서도 이산시간 마르코프 체인에서 불확실성 관계가 성립하지 않음을 명시적으로 보여준다.
• 위반은 임의의 유한시간 불확실성 관계에 대한 일반적 증명이 연속시간 동역학에 특화된 성질에 의존해야 한다는 것을 시사한다.
• 결과적으로, 플럭투에이션 정리와 같은 연속 및 이산시간 마르코프 과정에 모두 적용 가능한 방법을 사용하여 원래의 불확실성 관계를 증명할 가능성은 배제된다.