[논문 리뷰] A Nonconventional Ergodic Theorem for quantum "diagonal measures"

Francesco Fidaleo|arXiv (Cornell University)|2012. 03. 23.

Advanced Operator Algebra Research참고 문헌 16인용 수 3

한 줄 요약

이 논문은 푸르스텐베르크의 고전적 결과를 비정적, 비정상 상태로 확장하여 양자 동역계에 대한 비관성적 에르고딕 정리 수립을 시도한다. 특히, GNS 표현에서의 곱 상태 또는 볼록 조합으로부터 유도되는 양자 '대각 측도'에 대해 다룬다. 핵심 결과는 형식 $\frac{1}{N}\sum_{n=0}^{N-1}U_{\omega}^{nk_1}XU_{\omega}^{n(k_2-k_1)}$의 케라모 평균이 강한 연산자 위상에서 수렴함을 보이며, 이는 에르고딕 및 콤팩트 양자 시스템에서 세 점 상관관계의 극한을 계산할 수 있도록 한다. 이는 상태의 지지 집합과 교환자 구조에 대한 조건을 만족할 때 성립한다.

ABSTRACT

We extend the Nonconventional Ergodic Theorem for generic measures by Furstenberg, to several situations of interest arising from quantum dynamical systems. We deal with the diagonal state canonically associated to the product state (i.e. quantum "diagonal measures"), or to convex combinations of diagonal measures for non ergodic cases. For the sake of completeness, we treat also the Nonconventional Ergodic Theorem for compact dynamical systems, that is when the unitary generating the dynamics in the GNS representation is almost periodic. The Nonconventional Ergodic Theorem allows in a natural way to determine the limit of the three-point correlations, naturally relevant for the knowledge of the ergodic properties of a dynamical system.

연구 동기 및 목표

• 비정적, 비정상 상태를 가진 양자 동역계에 대해 푸르스텐베르크의 비관성적 에르고딕 정리를 일반화하는 것.
• GNS 표현에서 유니터리 연산자에 관련된 케라모 평균의 수렴성을 분석하는 것.
• 에르고딕 및 비에르고딕 조건 하에서 양자 시스템의 세 점 상관관계 극한을 규명하는 것.
• 케라모 평균의 강한 연산자 위상에서 수렴이 보장되는 조건을 설정하는 것.
• 유니터리 연산자가 거의 주기적일 때 콤팩트 동역계를 다루어 스펙트럼 분해를 통해 수렴을 보장하는 것.

제안 방법

• C*-동역계를 힐베르트 공간에서 순환 벡터 $\Omega$를 갖는 표현으로 나타내기 위해 겔판트–나이마르크–세갈(Gelfand–Naimark–Segal, GNS) 구성법을 사용한다.
• 비가환 설정에서의 곱 상태에 대응하는, $\pi_\omega(\mathfrak{A})'' \otimes_{\text{max}} \pi_\omega(\mathfrak{A})'$ 위의 벡터 상태로서 양자 '대각 측도'를 정의한다.
• 자기 동형사상 $\gamma = \text{Ad}_{U_\omega^{k_1}} \otimes \text{Ad}_{U_\omega^{k_2}}$ 가 대수 $\mathfrak{M}$ 위에 작용하는 방식을 분석한다.
• 유니터리 연산자가 거의 주기적일 경우(콤팩트 시스템), 반바나흐 에르고딕 정리를 스펙트럼 프로젝션에 적용한다.
• 비에르고딕 케이스에서 수렴을 보장하기 위해 $s(\omega) \in Z(\mathfrak{A}^{**})$ 및 $\pi_\omega(\mathfrak{A})' \cap \{U_\omega^{k_2-k_1}\}' \subset Z(\pi_\omega(\mathfrak{A})'')$ 등의 조건을 도입한다.
• 이중체에서 중심 지지를 갖는 상태를 에르고딕 성분으로 분해하기 위해 분해 이론을 사용한다.

실험 결과

연구 질문

• RQ1 비정적, 비정상 상태에서 양자 시스템의 케라모 평균 $\frac{1}{N}\sum_{n=0}^{N-1}U_{\omega}^{nk_1}XU_{\omega}^{n(k_2-k_1)}$ 가 강한 연산자 위상에서 수렴하는 조건은 무엇인가?
• RQ2 비정적 상태를 가진 양자 동역계에서 세 점 상관관계 $\frac{1}{N}\sum_{n=0}^{N-1}\omega(A_0\alpha^{nk_1}(A_1)\alpha^{nk_2}(A_2))$ 의 극한을 특성화할 수 있는가?
• RQ3 비에르고딕 케이스에서 수렴을 위해 조건 $\pi_\omega(\mathfrak{A})' \cap \{U_\omega^{k_2-k_1}\}' \subset Z(\pi_\omega(\mathfrak{A})'')$ 가 필수적인가?
• RQ4 유니터리 연산자가 거의 주기적일 때 콤팩트 양자 동역계에서 케라모 평균의 수렴 행동은 어떻게 되는가?
• RQ5 교환자 $\pi_\omega(\mathfrak{A})' \cap \{U_\omega\}'$ 가 아벨이 아니지만 중심에 포함되지 않는 경우에도 비관성적 에르고딕 정리를 확장할 수 있는가?

주요 결과

• X 가 $\pi_\omega(\mathfrak{A})''$ 와 $\pi_\omega(\mathfrak{A})'$ 의 노름 닫힘에 속할 때, 조건 $s(\omega) \in Z(\mathfrak{A}^{**})$ 와 $\pi_\omega(\mathfrak{A})' \cap \{U_\omega^{k_2-k_1}\}' \subset Z(\pi_\omega(\mathfrak{A})'')$ 를 만족하면 케라모 평균 $\frac{1}{N}\sum_{n=0}^{N-1}U_{\omega}^{nk_1}XU_{\omega}^{n(k_2-k_1)}$ 가 강한 연산자 위상에서 수렴한다.
• 콤팩트 C*-동역계에서는 극한이 $S(A) = \sum_{\{v,w \mid v^{k_1}w^{k_2-k_1}=1\}} E^{U_\omega}_v A E^{U_\omega}_w$ 로 주어지며, 이는 강하게 수렴하고 $\|S(A)\| \leq \|A\|$ 를 만족한다.
• 세 점 상관관계 극한은 $\left\langle S(\pi(A_1))\pi(A_2)\Omega, \pi(A_0^*)\Omega \right\rangle$ 로 주어지며, 콤팩트 케이스에서는 스펙트럼 프로젝션을 통해 명시적으로 계산 가능하다.
• 조건 $s(\omega) \in Z(\mathfrak{A}^{**})$ 는 필수적이다; 반례를 통해 이를 생략할 경우 세 점 상관관계가 수렴하지 않음을 보여준다.
• 비에르고딕 케이스에서 조건 $\pi_\omega(\mathfrak{A})' \cap \{U_\omega^{k_2-k_1}\}' \subset Z(\pi_\omega(\mathfrak{A})'')$ 는 매우 중요하며, 이 조건이 실패하면 수렴이 불가능할 수 있다.
• 이 결과는 비에르고딕 케이스에서 분해 이론을 활용하여 이중체에서 중심 지지를 갖는 상태를 다룰 수 있는 분리 가능한 $C^*$-동역계에 대해 성립한다.