理研、量子もつれの「境界則」をより広い世界で証明

普通のパンを切れば、切断面で失う情報の多くは切断面にある。皮、気泡、種、断面の模様だ。

量子多体系を切る時、事情は恐ろしくなり得る。左半分の状態が右半分と巨大な量子もつれの網で不可分なら、境界を横切る情報量は内部の体積に比例して増える。古典コンピュータで忠実に記述するためのメモリーは、すぐ現実的な範囲を越える。

しかし自然界の多くの低エネルギー状態は、もう少し親切だ。量子もつれは領域内部の全てではなく、境界の大きさに応じて増える傾向がある。この「境界則」こそ、古典計算機が多くの1次元量子物質をシミュレーションできる深い理由の一つである。

理化学研究所のキム・ドンフン基礎科学特別研究員と桑原知剛理研白眉研究チームリーダーは、その親切さが、より荒々しい量子世界にも残ると証明した。ボーズ・ハバード模型、φ⁴理論を含む広い1次元相互作用ボーズ系で、長距離相互作用と局所エネルギー上限なしを同時に許した。論文はNature Communicationsに掲載され、記録版は7月27日付、理研発表は8月3日だった。

一本の線で「面積」とは何か

量子サイトが一列に並ぶ鎖を想像し、隣接する二点の間で分ける。1次元の境界は面積を持つ壁ではなく、一つの切断点だ。有限区間を両側から囲めば二点になる。従って1次元の境界則は、鎖を長くしても切断面のエンタングルメントエントロピーが一定上限に収まることを意味する。体積則なら、選んだ領域の長さとともに増える。

エンタングルメントエントロピーは、片側を無視する数学操作（部分トレース）を行い、残る側がどれほど混合状態に見えるかで測る。もつれのない純粋な積状態ならゼロ。もつれていれば片側だけでは完全な状態を持たず、両者が共有する量子情報量を表す。

英語見出しの“spreads”は誤解を招き得る。今回計算したのは、急な変化後にもつれが時間発展する映像ではない。最低エネルギー状態で、もつれが空間的にどう分布するかだ。長距離力は切断面を越えて遠いサイトをつなぐため重要だが、結論は時間的な伝播速度ではなく空間スケーリングである。

ボーズ粒子が壊す二つの前提

以前の明快な定理は主にスピン鎖を対象にした。単純なスピンサイトは上・下など有限個の状態しか持たず、相互作用も通常は近くの隣人に限られる。数学的には局所ヒルベルト空間が有限で、局所演算子に上限がある。局所性は、影響が外では急速に抑えられる近似的な「光円錐」も与える。

ボーズ粒子は両方の便利さに逆らう。同じ量子状態へ複数粒子が入れるため、格子の一地点にはゼロ、1、2、3……と上限なく置ける。局所ヒルベルト空間は無限次元だ。数値計算では一地点N個までと切るが、証明では捨てた尾が基底状態やもつれを変えないと示さなければならない。

相互作用も最近接で止まらず、距離のべき乗に従って弱まりながら遠くへ届き得る。切断面の左の一地点が右の多数地点と結ばれ、境界を横切る結合数は増える。短距離用の証明はそのまま使えない。

二つが同時にある場合が難所だ。長距離基底状態を残すための単純な一律カットオフは、系の大きさとともに増え得る。その対数がエントロピー上限へ入り込み、証明しようとした定数境界則を壊す。

二つの模型群を一つの屋根へ

ボーズ・ハバード模型は、ボーズ粒子が格子間を飛び移り、同じ地点で相互作用する様子を記述する。光格子の冷却原子実験の基本模型で、反発により整数個の粒子が各地点へ固定されるモット絶縁相や、粒子が位相を共有して広がる超流動相を表す。

φ⁴理論は粒子名ではなくスカラー場から始まり、場の4乗に比例する項を含む。統計力学、物性物理、格子量子場理論に現れ、数学的には非線形項を持つ非調和振動子の鎖と考えられる。各地点の場とエネルギーに形式上の上限はない。

証明は教科書の二模型だけでなく、多体相互作用や粒子数を保存しない過程を含む広い多項式型相互作用を許す。ただし広さには境界条件がある。

スペクトルギャップは重要だ。基底状態と第一励起状態の間に有限のエネルギー差があり、小さな乱れに対する安定性を与える。論文は基底エネルギーが非縮退であることも仮定する。

ボーズ・ハバードクラスでは反発も決定的だ。引力が多数の粒子を一、二地点へ集めれば、局所占有数が全体系とともに増え、境界則を破れる。著者はその反例を明示する。「局所エネルギーに上限がない」とは、暴走する全ハミルトニアンを制御する意味ではない。人工的な有限天井は置かないが、物理的安定性によって極端な占有確率を抑える。

証明の核心――無限を丁寧に切る

第一段階は集中性の証明だった。反発ボーズ・ハバード系では、大きな占有数ほどエネルギー費用が上がる。研究者はそれを、基底状態で一地点に非常に多くの粒子が現れる確率が指数的に小さくなる尾の評価へ変えた。φ⁴場には大きな場揺らぎに対応する上限を導いた。

これで無限の局所空間を、誤差を数値化しながら切れる。しかし全地点を同じ上限で切ると長距離相互作用では高くつく。そこで地点依存の次元削減を使う。境界問題で重要な場所には多くの状態を残し、距離に応じて異なる方法で誤差を制御する。無限を無視するのではなく、起こりにくい領域を誤差予算付きで囲う。

有効局所次元を安全に有限化した後、近似基底状態射影（AGSP）に関係する手法を再構成する。これは励起状態成分を抑え、基底状態を残す演算だが、切断面をまたいで新しいもつれも作り得る。近似改善がもつれ増加を上回るよう反復し、鎖長に依存しない上限へ到達する。

ブラックホールの地平面から原子鎖へ

「面積則」は意外な入口から量子情報へ入った。1973年、ヤコブ・ベッケンシュタインはブラックホールが体積ではなく事象の地平面の面積に比例するエントロピーを持つと論じた。スティーヴン・ホーキングの放射計算が有名な係数を定め、境界がアクセス不能な情報を数えるように見えた。

1993年、マーク・スレドニキは自由量子場の基底状態を仮想球で分け、内側を部分トレースした。残るエンタングルメントエントロピーは球の体積ではなく表面積に比例した。境界スケーリングはブラックホールだけの奇妙さではなく、普通の量子場を切った時にも現れた。

物性物理では計算側から同じ構造へ到達した。スティーヴン・ホワイトは1992年に密度行列繰り込み群法（DMRG）を導入した。切断面を横切るもつれに重要な状態を残すことで、1次元系に驚異的な精度を示した。行列積状態（MPS）は、その自然言語になった。小さなテンソルを仮想ボンドで結び、そのボンド次元が運べるもつれ量を決める。

長く、アルゴリズムは数学が証明する前に真実を知っているように見えた。2007年、マシュー・ヘイスティングスが有限局所次元・短距離相互作用を持つギャップ付き1次元系で境界則を証明し、テンソルネットワークの成功に強い基礎を与えた。2020年には桑原氏と齊藤氏が、十分速く減衰する長距離相互作用を持つ1次元スピン系へ広げた。

2026年の定理は別の穴を閉じた。局所状態空間が無限の、真に相互作用するボーズ場を取り込んだ。境界則を新たに発明したのではなく、以前の証明から逃げる二つの大きな経路を同時に塞いだのである。

もつれ上限が計算結果になる理由

一般のnサイト量子状態は指数個の振幅を必要とする。MPSはテンソル列へ圧縮する。ボンド次元Dは隣接テンソル間の仮想接続の太さで、小さなDは省メモリーだが運べるもつれが少なく、大きなDは表現力と計算費用が増える。

境界則は、基底状態のもつれを再現するために領域長へ指数的なDが必要ではないことを示す。両氏はさらに明示的な近似保証を与えた。スペクトルギャップが定数で、局所誤差を系サイズの逆多項式に選ぶ場合、必要なDは系サイズに対して準多項式で増える。局所観測量の評価費用は概ねnD³となり、完全な指数時間より多項式時間に近い。

「近い」は重要だ。論文は新しい完成済みソフトや、対象全ハミルトニアンの多項式時間アルゴリズムを提示していない。長距離相互作用ボーズ系の準多項式時間基底状態アルゴリズム構築自体を今後の課題に挙げる。小さな近似が存在する証明はアルゴリズムの土台であって、アルゴリズムそのものではない。

それでも実用上の意味はある。研究者は既にボーズ・ハバードや格子場問題へDMRG・MPSを使い、計算のために占有数を切っている。今回の定理は、どの条件でその圧縮に原理的根拠があるかを説明し、精度保証への道を示す。

限界が次の地図を描く

第一に、境界則の証明は1次元である。2次元では境界自体が線形サイズとともに伸び、ループやトポロジーがテンソルネットワークを複雑にする。粒子数集中の技術は任意次元で使えるが、高次元の完全なもつれ証明は未解決だ。

第二に、相互作用は1次元で1/r²より速く減衰する必要がある。「長距離」は全ペアが同じ強さという意味ではない。閾値付近やそれより遅ければ、遠方からの影響の総和が構造を変え得る。

第三に、引力模型はボーズ粒子を集中させ境界則を破れる。φ⁴には著者が除去を目指すパリティ関連仮定が残る。全粒子数を保存する系には自明な対数違反が入り得るという微妙さもあり、厳密な定数則とは区別される。

最後に、基底状態は有限温度でも実時間ダイナミクスでもない。加熱、強い駆動、量子クエンチ後の時間発展では、基底状態が境界則でも体積則もつれが生じ得る。定理が強いのは、適用範囲が正確だからだ。

境界が内部を救う

相互作用ボーズ鎖の状態空間は各地点で無限、鎖全体では指数的だ。長距離結合は全てを全てへ縫い合わせるように見える。古典計算機には圧縮不能な対象に思える。

キム、桑原両氏の証明は、その第一印象がなぜ誤り得るかを示す。反発と安定性が極端な局所領域を抑え、ギャップが基底状態を守る。十分速く減衰する相互作用が距離の累積影響を制限する。もつれは豊かだが、境界が説明できる形へ整理される。

自然が単純だという主張ではない。自然が複雑さをどう隠すかという定理だ。多体基底状態は古典像では再現できない相関を持ちながら、二つの半分を結ぶ情報量は、両側の内部全てとともに増えなくてよい。

ブラックホールの表面から超低温原子の鎖まで、境界は見かけの大きさ以上の情報を知る。理研の新結果はその教訓を、粒子が形式上は上限なく集まり、最近接を越えて作用できる、より広い数学世界で成立させた。