[論文レビュー] High-temperature thermalization implies the emergence of quantum state designs

Henrik Wilming, Ingo Roth|arXiv (Cornell University)|Feb 3, 2022

Advanced Thermodynamics and Statistical Mechanics被引用数 4

ひとこと要約

本稿は、補完的部分系がランダム正規直交基底で測定される場合、高温熱平衡状態—つまり、小さな部分系がほぼ最大混合状態に近い状態になる—が、測定後の状態集合に近似的な量子状態$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$-デザインが特定のモデルに限らず、部分系がほぼ最大混合状態に近い場合に普遍的に出現することを示すこと。
• ハール測度に従って抽出された測定基底に対して、この現象がほとんど確実に発生することを示すこと。
• 縮約密度行列の熱平衡化が、測定後状態集合における高次の量子デザインの出現を示す厳密な証明を提供すること。

提案手法

• 近似的に最大混合状態に近い状態の高次元の純化が、適切な正規直交基底での測定によって近似的な$k$-デザインを誘導することを証明する。
• ランダム行列理論と測度の集中を用いて、ハールランダムな測定基底が高確率で$\epsilon$-近似$k$-デザインを生成することを示す。
• 純粋状態上のハール平均との$k$-重テンソル積のトレース距離を用いて、$\epsilon$-近似$k$-デザインを定義する。
• 作用素ノルム推定とトレース不等式を用いて、測定集合の$k$-次のモーメントがハール平均から逸脱する際のリプシッツ境界を確立する。
• ガウス型測度集中不等式を適用し、集合が$k$-デザインから逸脱する確率を抑え、必要なサンプルサイズ条件$M = \dim(\mathcal{H}_{\bar{A}})$を導出する。
• 測定後状態集合が$\epsilon$-近似$k$-デザインである確率が$1 - \Delta$以上であるための、補完部分系の次元$M$の十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 高温熱平衡—部分系の縮約密度行列が最大混合状態にトレース距離$\delta < \frac{1}{2d_A}$の範囲で近い状態—が、測定後状態集合に量子状態$k$-デザインの出現を必然的に引き起こすか？
• RQ2 どの測定基底に対して測定後状態集合が$k$-デザインに近似するか、そしてその確率はどの程度か？
• RQ3 特定のモデルの仮定や対称性に依存せずに、$k$-デザインの出現を一般に保証できるか？
• RQ4 高い確率で$\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}}$で有界であり、測度の集中を用いた議論が可能になる。
• 本稿は、追加の対称性や可積分性条件がなくても、無限大温度への熱平衡化が$k$-デザインの出現を十分に示すことを確立している。