[논문 리뷰] High-temperature thermalization implies the emergence of quantum state designs

Henrik Wilming, Ingo Roth|arXiv (Cornell University)|2022. 02. 03.

Advanced Thermodynamics and Statistical Mechanics인용 수 4

한 줄 요약

이 논문은 높은 온도의 열역학적 평형 상태—작은 부분계가 거의 최대 혼합 상태가 되는 경우—가 보완 부분계를 무작위 또는thonormal 기저로 측정할 때 후측정 상태에서 근사 양자 상태 $k$-디자인의 존재를 필연적으로 이끌어낸다는 것을 증명한다. 핵심 결과는 어떤 큰 시스템에서 부분계가 최대 혼합 상태에 가까운 경우, 힐베르트 공간의 하우어 측도에 따라 무작위로 선택된 거의 모든 측정 기저(높은 확률로)가 $\epsilon$-근사 $k$-디자인을 유도한다는 것이다. 이는 특정 모델을 초월해 열역학적 평형과 양자 디자인의 존재 간에 일반적인 연결 고리를 확립한다.

ABSTRACT

It was recently observed that in certain thermalizing many-body systems, measuring the complement of a subsystem that thermalized to infinite temperature in a suitable orthonormal basis gives rise to approximate quantum state k-designs as post-measurement states on the subsystem. We prove that this emergence of approximate k-designs holds true in every large system where some small subsystem is close to being maximally mixed. On a technical level we show that any high-dimensional purification of an approximately maximally mixed state induces an approximate quantum state k-design when measured in a suitable orthonormal basis. Moreover, we show that this is true with overwhelming probability for measurement bases chosen uniformly at random from the Haar measure.

연구 동기 및 목표

• 높은 온도의 열역학적 평형과 후측정 집합에서의 양자 상태 디자인 존재 간의 일반적 연결 고리를 확립하기 위해.
• 특정 모델에서만 아니라 부분계가 거의 최대 혼합 상태일 때도 근사 $k$-디자인이 일반적으로 나타나는 것을 보여주기 위해.
• 측정 기저를 하우어 측도로부터 샘플링할 경우, 이 현상이 극도로 높은 확률로 발생함을 보여주기 위해.
• 열역학적 평형 상태에서의 감소 밀도 행렬이 후측정 집합에서 고차원 양자 디자인의 존재를 유도함을 엄밀히 증명하기 위해.

제안 방법

• 어느 고차원 정규화된 상태가 근사적으로 최대 혼합 상태일 경우, 적절한 orthonormal 기저에서 측정하면 근사 $k$-디자인이 유도됨을 증명한다.
• 무작위 행렬 이론과 측도 집중 기법을 사용하여 하우어-무작위 측정 기저가 높은 확률로 $\epsilon$-근사 $k$-디자인을 유도함을 보인다.
• 순수 상태 위의 하우어 평균과 집합의 $k$-중복 텐서곱 간의 추적 거리에 의해 $\epsilon$-근사 $k$-디자인을 정의한다.
• 연산자 노름 추정과 추적 부등식을 사용하여 측정 집합의 $k$-차 모멘트가 하우어 평균에서 벗어남의 리프시츠 상한을 수립한다.
• 가우시안 측도 집중 부등식을 적용하여 집합이 $k$-디자인에서 벗어나는 확률를 제한함으로써, 필요한 샘플 크기 조건 $M = \dim(\mathcal{H}_{\bar{A}})$를 이끌어낸다.
• 보완 부분계의 차원 $M$에 대한 충분 조건을 유도하여, 후측정 집합이 확률 $1 - \Delta$ 이상으로 $\epsilon$-근사 $k$-디자인이 되도록 보장한다.

실험 결과

연구 질문

• RQ1 높은 온도의 열역학적 평형 상태—즉, 부분계의 감소 밀도 행렬이 최대 혼합 상태에 가까운 경우—가 후측정 집합에서 양자 상태 $k$-디자인의 존재를 필연적으로 이끌어내는가?
• RQ2 어떤 측정 기저에서 후측정 집합이 $k$-디자인을 근사하게 되며, 그 확률은 얼마인가?
• RQ3 특정 모델 가정이나 대칭성에 의존하지 않고도 $k$-디자인의 존재를 일반적으로 보장할 수 있는가?
• RQ4 고려하는 시스템의 크기와 $k$에 따라, $\epsilon$-근사 $k$-디자인을 높은 확률로 확보하기 위해 필요한 보완 부분계의 최소 차원은 얼마인가?
• RQ5 특정 $k$-디자인을 달성하지 못할 확률은 시스템 크기와 $k$에 따라 어떻게 변화하는가?

주요 결과

• 작은 부분계 $A$의 감소 밀도 행렬이 최대 혼합 상태와 추적 거리 $\delta < \frac{1}{2d_A}$ 이내에 있을 경우, 후측정 집합은 $\epsilon$-근사 $k$-디자인이 된다.
• 모든 $\epsilon' > 0$, $\Delta > 0$, $k \in \mathbb{N}$에 대해, 보완 부분계의 차원 $M$이 $M > \frac{4(2k-1)^2 d_A^{2k-1}}{\epsilon'^2} \log\left(\frac{2d_A^{2k}}{\Delta}\right)$ 를 만족하면, 후측정 집합은 확률 $1 - \Delta$ 이상으로 $\epsilon$-근사 $k$-디자인이 된다.
• 측정 기저를 유니터리 군 위의 하우어 측도에서 균일하게 무작위로 선택할 경우, 결과는 극도로 높은 확률로 성립한다.
• $k$-디자인의 존재는 계산 기저와 같은 특정 기저나 모델에 국한되지 않으며, 무작위 측정 하에서는 일반적인 현상이다.
• 편차 함수의 리프시츠 상한은 $\frac{2(2k-1)}{\sqrt{d_A}}$ 이하로 유 bounds 되어 있으며, 이는 측도 집중 추론에 유리하다.
• 논문은 열역학적 평형 상태가 무한 온도로 수렴할 경우에도 $k$-디자인의 존재가 보장됨을 증명하며, 추가적인 대칭성이나 통합 조건이 없더라도 충분함을 보였다.