Quantum stochastic thermodynamics of macroscopic systems: an algebraic approach

기술 요약: 거시적 계를 위한 양자 확률론적 열역학: 대수적 접근법

문제 제기
현재의 양자 열역학 공식화는 이분법적 문제에 직면해 있다. 한편으로, 거시적 열역학은 내부 자유도가 빠르게 평형을 이룬다고 가정하는 조립된(coarse-grained) 묘사에 의존하며, 이를 통해 전체 양자 상태를 추적하지 않고도 비가역성과 열역학 제2법칙의 출현을 허용한다. 다른 한편으로, 확립된 양자 확률론적 열역학(예: 개방계)은 일반적으로 열역학적 양(폰 노이만 엔트로피, 열, 일 등)을 정의하기 위해 시스템의 밀도 행렬(또는 파동함수)에 대한 완전한 접근을 요구한다. 이러한 요구 조건은 다체계(many-body systems)에서 실험적으로 불가능에 가까우며, 관찰되지 않는 자유도의 평형과 관련된 "내부" 엔트로피 생성을 포착하는 데 실패한다. 또한, 표준적인 접근 방식들은 폐쇄된 유니터리 역학을 가역적인 것으로 취급하는 경례가 있어, 고립된 양자 계의 열역학적 거동이나 양자-고전 전이를 열역학적 관점에서 분석하는 데 어려움을 준다. 본 논문은 미세한(fine-grained) 확률론적 열역학-거시적 평형 열역학 사이를 보간할 수 있으며, 특정 부분의 관측량(조립된 묘사)만을 접근 가능한 경우를 다룰 수 있는 프레임워크의 필요성을 다룬다.

방법론
저자들은 접근 가능한 관측량의 접근 가능한 부분 대수(accessible subalgebra) $\mathcal{A} \subset \mathcal{B}(\mathcal{H})$를 지정하는 프레임워크를 제안하며, 이는 조립(coarse-graining)의 수준을 정의한다.

1. 대수적 조립 (Algebraic Coarse-Graining):

   • 가환(Commutative) 사례: 단일 조립 관측량(또는 가환 집합)의 측정을 통해 가환 대수를 생성한다. 이는 미시 상태 $\rho$를 고전적 거시 상태 분포 $p_J$로 매핑한다. 저자들은 측정 결과와 호환되는 "조립된 상태" $\rho_{cg}$를 재구성하기 위해 페츠 복구 사상(Petz recovery map)(또는 동등한 자이네스의 최대 엔트로피 원리)을 활용한다.
   • 비가환(Non-Commutative) 사례: 이 프레임워크는 임의의 Type I 폰 노이만 부분 대수로 일반화된다. 여기서 접근 가능한 관측량은 서로 가환하지 않을 수 있다. 조립된 상태는 부분 대수 $\mathcal{A}$ 내의 모든 연산자의 기댓값에 의해 부과된 제약 조건 하에서 폰 노이만 엔트로피를 최대화하는 상태로 정의된다. 이 결과로 얻어진 축소 밀도 연산자는 정의된 섹터 내에서 양자 결맞음(coherence)을 유지할 수 있다.

2. 대수 의존적 엔트로피 (Algebra-Dependent Entropy):

   • 새로운 엔트로피 함수 $S_{\mathcal{A}}(\rho)$가 접근 가능한 대수에 대해 최대 폰 노이만 엔트로피로서 정의된다.
   • 이 엔트로피는 폰 노이만 엔트로피($\mathcal{A}$가 전체 연산 대수인 경우)와 관측 엔트로피(observational entropy)($\mathcal{A}$가 가환인 경우) 사이를 보간한다.
   • $S_{\mathcal{A}}$는 세 가지 항으로 분해된다: 섹터들에 대한 섀논/깁스 엔트로피, 섹터 내의 접근 가능한 부분에 대한 폰 노이만 엔트로피, 그리고 접근 불가능한 자유도(공액 대수 $\mathcal{A}'$)를 고려한 볼츠만 엔트로피 항.

3. 열역학 법칙 (Thermodynamic Laws):

   • 이점 측정 (Two-Point Measurement, TPM): 저자들은 (잠재적으로 서로 다른) 접근 가능한 대수 $\mathcal{A}_i$와 $\mathcal{A}_f$에 의해 정의되는 초기 및 최종 측정을 고려하여 열역학 제2법칙을 도출한다.
   • 내부 평형 (Internal Equilibrium): 내부 자유도(공액 대수 내의 자유도)가 현재의 접근 가능한 제약 조건에 대해 미세 정준(microcanonical, 최대 엔트로피) 상태에 있다고 가정되는 "내부 평형" 개념을 도입한다. 이 상태로부터의 편차는 제2법칙에 수정 항을 도입한다.
   • 준정적 과정 (Quasi-Static Processes): 열과 일을 정의하기 위해, 접근 가능한 대수를 회전시키는 연속적인 측정 스킴의 경로를 고려한다. 이를 통해 정보적 변화와 에너지 전달 사이의 간극을 메우며 미소 열 및 일의 증분을 식별할 수 있다.

주요 기여 및 결과

• 일반화된 제2법칙: 저자들은 대수 의존적 엔트로피에 대한 조립된 제2법칙을 도출한다:
  $$\Delta S_{\mathcal{A}} - \Delta \langle K \rangle \geq -I_{ext} - I_{int}$$
  여기서 $I_{ext}$는 초기 계-환경 상호 정보량이며, $I_{int}$는 초기 상태와 조립된 상태 사이의 상대 엔트로피(내부 평형의 결여를 정량화함)이다.

  • 개방계 관점: 이 부등식은 비유니터리 환경 역학과 내부 평형으로부터 발생하는 비가역성을 모두 포착한다.
  • 자율적 관점 (Autonomous Viewpoint): (고립된 이분계 시스템에서) 이 법칙은 계와 환경의 엔트로피 생성과 관측 상호 정보의 변화를 연결한다.

• 변동 정리 (Fluctuation Theorems): 저자들은 평균 및 확률적 궤적 모두에 대한 적분 변동 정리를 도해한다. 이 정리들은 조립된 수준에서의 열역학적 함수의 변동을 제한하며, 내부 자원이 소비될 때 나타날 수 있는 제2법칙의 외견상 위반에 대한 경계치를 제공한다.

• 일과 열의 새로운 정의:

  • 접근 가능한 대수의 준정적 변화를 고려함으로써, 저자들은 다음으로부터 발생하는 일(work) 기여를 식별한다: (i) 계의 해밀토니안 변화, (ii) 환경의 상태 변화(비열적 자원), (iii) 대수 자체의 조작(측정 기저/제약 조건의 변화).
  • **열(heat)**은 현재의 대수 내에서 역학의 순간적인 고정점(fixed point)을 향한 계의 이완과 관련된 에너지 전달으로 식별된다.
  • 결정적으로, 대수를 변화시키는 데서 오는 일의 기여는 표준적인 해밀토니안 일과는 구별되는, 측정 스킴 또는 외부 제약의 "역작용(back-action)"에서 기인하는 진정한 열역학적 비용임이 밝혀졌다.

• 조립된 측정을 통한 확률론적 열역학: 이 프레임워크는 환경이 조립된(불완전한) 측정을 통해 모니터링되는 시나리오로 확률론적 열역학을 확장한다. 이를 통해 환경이 특정(아마도 조립된) 기저를 통해 모니터링되는 경우, 복잡한 다체계 및 자연적 저장소에 대해서도 적용 가능하다.

의의 및 주장
본 논문은 거시적 열역학과 확률론적 열역학의 패러다임을 진정한 양자 프레임워크 내에서 통합한다고 주장한다. 주요 의의는 다음과 같다:

1. 운용적 유연성: 조립의 수준을 조절 가능한 매개변수로 제공하는 "열역학적 도구 상자"를 제공한다. 이를 통해 연구자들은 설명의 단순성(적은 변수)과 열역학 법칙의 정확성 사이에서 균형을 맞출 수 있으며, 내부 평형이 충족되지 않을 때의 편차를 특징지을 수 있다.
2. 실험적 용이성: 전체 밀도 행렬 대신 소수의 조립된 관측량의 통계에 의존함으로써, 이 프레임워크는 복잡한 다체계 및 자연적 저장소에 적용 가능하며, 이는 양자 열역학의 주요 병목 현상을 해결한다.
3. 새로운 물리적 통찰: 저자들은 (제약으로서의) 접근 가능한 대수의 조작과 관련된 특정한 일 기여를 식별하였는데, 이는 양자 측정 역작용 및 양자 제어의 열역학을 이해하는 데 중요하다.
4. 이론적 통합: 양자-고전 전이를 다루는 엄밀한 대수적 접근법을 제공하며, 접근 가능한 대수가 충분히 조립되거나 가환해질 때 열역학 법칙이 어떻게 출현하는지를 보여준다.

저자들은 큐비트의 자발적 방출, 시간 의존적 기저 하에서 비유니터리 진화에 노출된 큐비트의 열역학, 그리고 1차원 전자기장과 결합된 양자 방출기 등의 전형적인 예시를 통해 이러한 개념들을 설명하며, 접근 가능한 대수의 선택이 외견상의 열역학 법칙에 어떤 영향을 미치는지 입증한다.