Translation symmetry-enforced long-range entanglement in mixed states

本論文は数え上げ論法を通じて、並進対称性が混合状態において長距離もつれを強制することを示し、対称性を持つ短距離もつれ固有状態が存在するにもかかわらず、強対称性から弱対称性への自発的対称性の破れの固定点が短距離もつれ状態の混合として表現できないことを具体的に示す。

要約

以下は、この論文を平易な言葉と日常的な比喩を用いて解説したものです。

大きなアイデア：小さな部屋に収まらない大衆

あなたが円形に並んだ非常に長い人々の列（量子系）を持っていると想像してください。この列には特別なルールがあります：並進対称性です。つまり、全員に右に一歩進んでもらうよう頼んでも、列は以前と全く同じように見えるということです。

量子物理学の世界では、科学者たちはこれらの人々がどれほど「もつれている（エンタングルしている）」かに興味を持っています。

• 短距離もつれ（SRE）： これは、人々が隣り合う人々とだけ手をつなぐような状態だと考えてください。この状態を準備するのは簡単です。全員に隣の人と手をつなぐよう指示するだけで済みます。
• 長距離もつれ（LRE）： これは、円の中にいる全員を、どれだけ離れていようとも結びつける複雑で目に見えない網のようものです。隣同士が手をつなぐよう指示するだけではこれを作り出すことはできず、はるかに複雑で全球的な調整が必要です。

論文の発見：
著者たちは、驚くべき事実を証明しました。シンプルに「隣同士の手をつなぐ（SRE）」状態だけで、完璧にバランスの取れた対称的な人々の列を記述できるように思えるかもしれませんが、実際にはそうできないのです。

「ゼロ運動量」の部屋（列が完璧に対称に見える特定の状態）を埋め尽くすのに十分なだけの、単純な「隣同士の手をつなぐ」状態が存在しないのです。単純な状態が尽きてしまうため、残りの状態は必然的に、複雑な長距離もつれを持つものにならざるを得ません。

「数え上げ」の論理：なぜ単純な状態では失敗するのか

この論文は、これを証明するために「数え上げの論理」を用いています。以下がその比喩です：

あなたが、単純なスタンプ（単純な SRE 状態）の限られたセットだけを使って、巨大で複雑な壁画（対称状態の完全な空間）を描こうとしていると想像してください。

1. 壁画は巨大である： 対称的なパターン可能な数は、列が長くなるにつれて指数関数的に増えます。無限の書物が並ぶ図書館のようです。
2. スタンプは限られている： 「隣同士の手をつなぐ」という単純なルールで作れるパターンの数は、はるかにゆっくりとしか増えません。小さな箱に入ったクレヨンのようなものです。
3. 不一致： 著者たちは計算によって、単純なスタンプをどれだけ混ぜ合わせても、壁画全体を覆うには数が足りないことを示しました。単純なルールで作れるものと、対称的な世界に存在するものとの間には、巨大な隔たりがあります。

単純なスタンプで絵全体を覆いきれないため、最終的な絵（並進対称性の「最大混合状態」）には、単純なスタンプでは再現できない隠れた複雑な構造が含まれていなければなりません。この隠れた構造こそが長距離もつれです。

「強から弱へ」の対称性の破れ：壊れた時計

この論文では、「強から弱への自発的対称性の破れ（SWSSB）」と呼ばれる概念について議論しています。

• 強対称性： 完璧に刻む時計を想像してください。すべての刻みが同一です。
• 弱対称性： 時計は壊れていますが、平均的にはまだ刻んでいるように見える状態を想像してください。

論文は、並進対称性が「強」から「弱」へ破れる（壊れた時計のように）とき、その結果生じる状態は、単に壊れた時計のような単純な状態の混ざり合いではないことを示しています。それは、本質的にもつれた特定の複雑な状態なのです。

「単に、もつれていない単純な状態をいくつか混ぜ合わせれば、単純な混合状態が得られるはずだ」と思うかもしれません。しかし論文は言います：いいえ。この特定の対称的な結果を作り出すために単純な状態を混ぜようとすれば、失敗します。数学は、この特定の結果を得る唯一の方法は、その混合自体が本質的に複雑（もつれている）である場合に限られることを証明しています。

「目に見えない」もつれ

ここがこの発見の最も微妙な部分です。

通常、「長距離もつれ」があると言うとき、それは系の遠く離れた部分が互いにどう話しかけ合うか（相関関数）を見ることで確認されると期待されます。まるで、数マイル離れた二人が互いに囁き合っているのを見るようなものです。

意外な展開：
著者たちは、この特定の種類のもつれは標準的なテストでは見えないことを示しました。

• 列を見て、「遠く離れた人々が囁き合っているか？」と問うと、答えはいいえです。
• 列を見て、「系全体が隣同士の手をつなぐ単純な混ざり合いか？」と問うと、答えはいいえです。

これは「幽霊」のようなもつれです。遠距離の明確なシグナルがあるからではなく、単純な状態では空間を埋め尽くすことが数学的に不可能であるという理由だけで存在します。外から見るとランダムに見えるようにピースが組み合わさっているパズルですが、実際には内部では剛体で壊れようのない構造になっているようなものです。

「時間」のコスト

論文はまた、この状態を作るのが難しいことも指摘しています。
もし、単純な人々の列から始めてこの対称的な状態を構築したいなら、複雑なプロセスを実行する必要があります。著者たちは、この状態を構築するのにかかる時間が、系のサイズの平方根に比例して増大することを証明しています。

大規模なパレードを整理整頓しようとしていると想像してください。もし人々に隣の人と話すことだけを指示すれば、秩序が広がるのに時間がかかります。しかし、この特定の「完璧に対称な」秩序を得るためには、隣同士に頼るだけでは不十分です。列全体に伝播するのに長い時間がかかる、グローバルな調整が必要なのです。

まとめ

1. 問題： 単純な局所的な結合だけで、完璧に対称な量子系を記述できるか？
2. 答え： いいえ。対称的な可能性が多すぎて、それらをすべて覆うだけの単純な結合が存在しません。
3. 結果： 対称的な状態は必然的に「長距離もつれ」を持たなければなりません。
4. 注意点： このもつれは「微妙」です。長距離のシグナルを探しても検出できません。単純な状態ではそれを構築できないことが数学的に証明されているため、そこに存在することだけがわかります。

要約すれば：自然は、単純な局所的な部分から構築しようとしても、対称的な系には複雑で目に見えない結合の網を強いるのです。

技術概要

技術的サマリー：混合状態における翻訳対称性によって強制される長距離もつれ

問題提起
開放量子系に関する最近の研究により、混合状態は純粋状態とは異なるもつれパターンを示すことが明らかになった。混合状態は、「準備が容易な」短距離もつれ（SRE）状態の混合として近似できない場合、長距離もつれ（LRE）を持つと定義される。対称性が混合状態におけるもつれを強制することは知られているが、翻訳対称性の具体的な役割は微妙である。

局所対称性（対称性演算子が各サイトに対して局所的に作用するもの）の場合、対称性セクター内の最大混合状態（MMIS）は通常、対称積状態によって張られるため、SRE となる。一方、異常対称性の場合、強い対称性制約により MMIS は LRE とならざるを得ない。翻訳対称性は中間的な位置を占める：ゼロ運動量セクターでは対称積状態を許容するが、非ゼロ運動量を持つ状態は LRE でなければならない。本研究が扱う中心的な問いは、翻訳対称性のゼロ運動量セクターが SRE 状態によって張られるかどうかである。具体的には、翻訳対称性の強から弱への自発的対称性破れ（SWSSB）を表す固定点状態が LRE を示すかどうか、またもしそうであれば、このもつれは標準的な相関関数を通じて検出可能かどうかである。

手法
著者らは、すべての翻訳不変状態の空間の次元と、翻訳不変な SRE 状態（具体的には深さ $d$ の量子回路によって準備可能なもの）が張る部分空間の次元を比較する数え上げ論法を採用した。

1. 定義と設定：本研究は、局所次元 $q$ を持ち、周期的境界条件を課された長さ $n$ の 1 次元スピン鎖に焦点を当てている。研究対象は、翻訳不変（ゼロ運動量）状態の最大混合状態である $\rho_{TI}$ である。
2. 回路深さによる近似：著者らは、有界かつ幾何学的に局所的なハミルトニアン下での時間 $\tau$ の進化が、深さ $d \sim O(\tau \text{polylog}(n))$ の量子回路によってよく近似され得るという事実に依拠している。$\rho_{TI}$ が LRE であることを証明するには、任意の多項式で小さく抑えられた深さ $d$ に対して、$\rho_{TI}$ が「深さ $d$ の状態」によってよく近似されないことを示せば十分である。
3. SRE 状態の次元解析：
   • 著者らはまず、翻訳不変行列積状態（TIMPS）を解析する。結合次元 $d$ を持つ TIMPS の張る空間の次元は、$n$ に対して多項式的に成長することを示す（具体的には、テンソルパラメータに関する $n$ 次同次多項式として）。
   • 次に、これを翻訳不変な深さ $d$ の回路に一般化する。「切断論法」を用いて、深さ $d$ の回路によって生成される翻訳不変状態をサイズ $2d+1$ のブロックに分解する。これらのブロックを実効的な物理サイトとして扱うことで、状態を TIMPS 構造に写像する。
   • 決定的な点として、著者らはこれらの翻訳不変な深さ $d$ の状態が張る空間の次元に対する上界 $D_{SRE}(n, d, q)$ を導出する。この上界は、おおよそ $d^2$ に比例する次数の $n$ の多項式としてスケーリングする。
4. 全空間との比較：翻訳不変状態の全空間の次元 $D_{TI}(n, q)$ は、$n$ に対して指数関数的に成長する（$q$ 進ネックレスの数に関連する）。
5. トレース距離の議論：「テール補題」を用いて、$\rho_{TI}$ と任意の SRE 状態の混合との間のトレース距離を、$\rho_{TI}$ の深さ $d$ の状態の部分空間への射影に関連付ける。$d \ll \sqrt{n}$ の場合、SRE 部分空間の次元は全空間に比べて指数関数的に小さいため、射影は指数関数的に小さくなり、大きなトレース距離を意味する。

主要な貢献と結果

• 定理 1（主要結果）：翻訳不変状態の最大混合状態 $\rho_{TI}$ は、積状態から範囲 $r$ のハミルトニアンを介して時間 $\tau$ の進化によって準備可能な純粋状態の任意の混合によってよく近似されない。ただし、$\tau = \Omega(\sqrt{n}/\text{polylog}(n))$ の場合を除く。
• もつれのメカニズム：本論文は、混合状態における LRE を強制する新たなメカニズムを確立する：ゼロ運動量状態の空間の体積と、SRE ゼロ運動量状態が張る空間の体積との間の「ミスマッチ」である。対称積状態が存在するとしても、それらの数はゼロ運動量セクターを張るには不十分である。
• もつれの微妙さ：著者らは、この LRE が「微妙」であることを示す。他の形態の LRE とは異なり、長距離連結相関関数では検出されない。本論文は、任意の局所演算子に対して $\rho_{TI}$ が指数関数的に減衰する連結相関関数を持つことを証明しており、LRE の標準的な診断法（非消滅する長距離相関など）はこのもつれを検出できないことを示している。
• 熱化の文脈：著者らは、これらの SWSSB 状態が、特に定常状態が時間シフト演算子によって張られる熱化フロケ动力学や双対ユニタリ回路の文脈において、非局所量子チャネルの定常状態として自然に現れることを特定した。

意義と主張
本論文は、対称積状態を許容し、異常を持たない翻訳対称性のみによって強制される、明確なクラスの LRE 混合状態を特定したと主張する。これは、対称積状態の存在が対称性セクターをそれらによって張れることを意味するという直観に挑戦するものである。

その意義は以下の点にある：

1. 混合状態における LRE の再定義：LRE は、強い異常や非可換対称性がなくても存在し得ることを示す。これは、ヒルベルト空間の次元に対する翻訳対称性の幾何学的制約に起因する。
2. 検出不可能性：局所相関関数には見えないもつれの形態を浮き彫りにし、混合状態のもつれに対する現在の診断ツールが翻訳不変系には不十分であることを示唆する。
3. SWSSB との関連：翻訳対称性の強から弱への自発的対称性破れの固定点状態の厳密な特徴付けを提供し、それが本質的に長距離もつれを持つことを証明する。

著者らは、より広範な含意については控えめであり、証明は 1 次元で行われているが、高次元に一般化されると指摘している。今後の研究として、この数え上げ論法と非可逆対称性の「局所性（on-siteability）」との関連を探求できることを示唆しているが、フロケ熱化の理論的文脈を超えた具体的な実験的実現を提案していない。