Tensor network manifolds and Riemannian fundamental theorem for tensor networks

本論文は、群作用とリーマン部分沈下を用いることで、様々なテンソルネットワークの族における固有のゲージ自由度とリーマン多様体構造との相互作用を特徴付け、それらに対してリーマン基本定理を確立するものである。

要約

巨大で複雑な3D彫刻を描写しようとしている場面を想像してみてください。すべての原子の座標をリストアップすることもできますが、それには永遠に時間がかかりますし、管理も不可能です。代わりに、あなたはもっと扱いやすい小さなブロック（レゴブロックのようなもの）を使って、特定のパターンで組み合わさるように彫刻を作り上げることにします。これは、テンソルネットワークが量子物理学で行っていることの本質です。彼らは、極めて複雑で高次元なデータ（量子コンピュータの状態や物質の状態など）を、互いに連結された小さな断片へと分解するのです。

しかし、落とし穴があります。同じレゴのお城を作るのに、異なる色のブロックを使ったり、ピースを組み立てる順番を少し変えたりすることもできるのと同様に、テンソルネットワークにおいて、全く同じ最終結果を表すための「ブロック」の配置方法は他にもたくさん存在します。数学や物理学において、これは**ゲージ自由度（gauge freedom）**と呼ばれます。これは、あなたの地図（ネットワーク）に、目的地（物理的な状態）を変えることのない余分で不必要な詳細が含まれていることを意味するため、厄しの種となります。

問題点：一つの目的地に対して多すぎる地図

この論文は、特定の課題に取り組んでいます。それは、「どのようにすれば、これらの余分で冗長な詳細を取り除き、すべてのユニークな物理的状態に対して、正確に一つのユニークな地図を得ることができるか？」という問題です。

著者たちは、これら「ブロック・ネットワーク」の数種類（例えば、一列に並んだブロックのような行列積状態（MPS）や、2DグリッドのようなPEPS）を調査しています。彼らは、「もしブロックをこのように変えたとしても、実際には彫刻自体は変わっておらず、単に足場を組み替えただけである」と言い切れるようなルールを見つけようとしています。

解決策：数学的な「フィルター」

著者たちは、リーマン幾何学と呼ばれる数学の分野を使用しています。簡単な比喩を使うなら、あらゆる可能なブロックの配置方法が存在する空間は、巨大でデコボコした風景（ランドスケープ）のようなものです。

• 多様体（Manifold）： その風景上の各点は、ブロックの異なる配置方法を表します。
• 冗長性（Gauge）： いくつかの点は異なって見えますが、実際には全く同じ彫刻を表しています。それらは、同じ山の頂上へと続く異なる経路のようなものです。
• 目標： 著者たちは、「商（quotient）の風景」を作ろうとしています。これは、新しい、より滑らかな地図であり、すべての冗長な経路が押しつぶされて一つにまとめられたものです。この新しい地図の上では、各点は正確に一つのユニークな彫刻に対応し、重複はありません。

「リーマン基本定理」

この論文の主な成果は、いくつかの重要なタイプのテンソルネットワークに対して、実際にこのような完璧で非冗長な地図を作成できることを証明したことです。彼らはこれをリーマン基本定理と呼んでいます。

彼らがどのように行ったのか、独自の比喩を用いて説明します：

1. 対称性の特定： 彼らは、最終的な結果を変えることなく、どのように「ブロック」（テンソル）を入れ替えたり回転させたりできるかを解明しました。これらの入れ替えは、**群作用（group action）**として機能することを見出しました。これは、レゴのパーツを回転させたり反転させたりするためのルールセットのようなものです。
2. 滑らかなスライド： 彼らは、これらのルールを適用した場合、可能性の風景がうまく機能することを証明しました。具体的には、冗長な経路を押しつぶしてまとめるプロセスが、**リーマン部分沈下（Riemannian submersion）**であることを示しました。
   • 比喩： 滝を想像してください。流れ落ちる水は、ネットワークを構築するあらゆる方法を表しています。底にある池は、ユニークな物理的状態を表しています。著者たちは、水が滑らかかつ均一に流れ落ちることを証明しました。つまり、ある水滴が池のどこに辿り着いたかを知れば、重要ではない「ひねり」（ゲージ）を除いて、それがどのような「経路」を通ってきたかを正確に知ることができるのです。

調査対象

この論文は単一のネットワークのみを見ているのではありません。彼らは、量子物理学で使用されるいくつかの一般的な家族に対して、この「フィルター」をテストしました：

• 1Dおよび2D量子回路： ゲートの層を持つ回路基板のようなもの。
• 行列積状態（MPS）： 連結されたテンソルの長い鎖（1次元系で非常に一般的）。
• 投影エンタングルメント対状態（PEPS）： 2次元系に使用される、テンソルの2Dグリッド。
• 逐次生成状態： 行ごとに構築される状態。
• 等長（Isometric）PEPS： ブロックが特別な「ロック」特性を持つ、特定のタイプのPEPS。

まとめ

この論文は、これらすべての家族について、以下のことが可能であると主張しています。

1. すべての点が、ユニークな量子状態を表す。
2. 「ゲージ自由度」（ネットワークを構築する冗長な方法）による混乱や二重カウントが存在しない。
3. この空間は「滑らか」で制御されており、これは、強力な数学的ツール（最適化アルゴリズムなど）を使用して、効率的にナビゲートできることを意味する。

要約すると、著者たちは、量子状態の記述における「乱雑な」方法を整理する厳密な数学的枠組みを構築しました。これにより、量子状態を最適化したり分析したりする際に、クリーンで一対一の現実の地図を用いて作業できることを保証しています。これは、量子物質をシミュレートするためのコンピュータアルゴリズムを、より信頼性が高く効率的なものにするために極めて重要です。

技術概要

技術要約：テンソルネットワーク多様体とテンソルネットワークに関するリーマン基本定理

問題提起
テンソルネットワークは、高次元データや多体系の量子状態を表現するための強力なフレームワークとして機能しており、フルヒルベルト空間の記述が計算量的に困難な場合においても、効率的なパラメータ化を可能にする。これらのネットワークの核心的な特徴の一つは「ゲージ自由度（gauge freedom）」である。すなわち、異なる局所テンソルの選択が同一のグローバルテンソルをもたらすという性質である。行列積状態（MPS）のような特定のファミリーに対しては、このゲージ自由度を特徴付ける基本的定理が存在するが、より広範なテンソルネットワーク・ファミリーにわたる統一的な幾何学的理解は欠けていた。

本論文は、テンソルネットワークのパラメータ空間のリーマン多様体構造と、その固有のゲージ自由度との相互作用を定式化する必要性に対処するものである。著者らは、いくつかのテンソルネットワーク・ファミリーのゲージ自由度を、単なる同値関係としてではなく、**リーマン沈下（Riemannian submersion）**を誘導する群作用として特徴付けることを目的としている。この構造は、先行研究で開発されたリーマン最適化およびサンプリングアルゴリズムを、これらの特定のテンソルネットワーク・ファミリーに対して厳密な収束保証とともに適用するために極めて重要である。

手法
著者らは、微分幾何学のツール、特にリー群およびリーマン沈下の理論を用いる。コアとなる手法は以下の通りである：

1. テンソルネットワーク多様体の定義： 著者らは、テンソルネットワーク・ファミリーを、球面の積、ユニタリ群、およびスティフェル多様体から構成される滑らかな多様体（先行文献における複素多様体のアプローチとは異なり、実多様体として定義）として定義し、自然なリーマン計量（例：ラウンド計量、両側不変計量、フビニ・スタディ計量）を付与する。
2. ゲージ自由度の特徴付け： 各ファミリーについて、同一のグローバル状態（グローバル位相を除いて）を表す二つのテンソルネットワークの関係を明示的に記述する「基本定理」を導出する。これには、二つのネットワークが同一の状態を表す場合、それらの局所テンソルが、収縮するエッジ上のユニタリ行列とその逆行列の積によって関連付けられることを証明することが含まれる。
3. 群作用の構築： 特定されたゲージ自由度は、特定のリー群（典型的にはユニタリ群 $U(d)$ または射影ユニタリ群 $PU(d)$ の直積）による、テンソルネットワーク多様体上の滑らかで自由かつ等長的な作用として定式化される。
4. リーマン沈下の確立： これらの作用が自由かつ等長的であることを証明することにより、商空間（軌道空間）が滑らかな多様体構造を持ち、元の多様体から商空間への射影写像がリーマン沈下となることを示す。これにより、商空間が定義されたリーマン計量を継承することが保証される。

主な貢献と結果
本論文は、以下のテンソルネットワーク・ファミリーに対して「リーマン基本定理」を確立し、それらが商テンソルネットワーク多様体を定義すること、すなわち、商空間の各点が物理的状態または回路（位相を除いて一対一、あるいは位相を除いて一対一）と一対一で対応することを証明している：

1. 深さ2の量子回路（1Dおよび2D）：

   • 固定入力あり： 著者らは、固定入力を持つ1Dおよび2Dの深さ2の回路のゲージを特徴付けている。彼らは、そのような回路の多様体が、回路の出力状態と正確に一致する点を持つ商構造、および（射影空間を含む）状態をグローバル位相を除いて一致させる商構造を持つことを示している。
   • 固定入力なし： 固定入力を持たない回路についても、ゲートの集合全体が多様体となる同様の結果が導出されている。
   • 技術的注記： 2D回路については、位相を除いた状態を特徴付ける商多様体は存在するものの、自由な作用を通じて状態を「正確に（位相の曖昧さなく）」特徴付ける商は、1Dの場合と同様の方法では保証されないことを著者らは指摘している。

2. 行列積状態（MPS）：

   • 本論文は、開境界条件を持つ標準形における注入型（injective）MPSの既知の結果を、実多様体の枠組みの中で再定式化している。これは、ゲージ自由度が仮想ボンド上のユニタリ乗法によって記述されることを確認し、状態および位相を除いた状態を一意に特徴付ける商多様体を確立するものである。

3. 二次元逐次生成状態：

   • MPSの行を並べ、列方向にユニタリ行列を積み重ねることで構成される状態に対し、著者らはゲージ自由度を特定している。彼らは、これらの状態をグローバル位相を除いて特徴付ける商テンソルネットワーク多様体の存在を証明している。

4. 等長PEPS（Isometric PEPS）：

   • 著者らは、特定の放射状準備順序を持つ格子上の等長射影絡み合いペア状態（Isometric PEPS）を研究している。彼らは、等長写像およびボトム状態に関するフルランク仮定の下で、これらのゲージ自由度を特徴付け、これらの状態を位相を除いて扱う商多様体構造を確立している。

意義と主張
本論文の主要な意義は、数値最適化を促進するテンソルネットワークの厳密な幾何学的フレームワークを提供することにあると著者らは主張している。これらのファミリーがリーマン沈下を介した商テンソルネットワーク多様体を定義することを確立することで、本研究は、高度なリーマン最適化およびサンプリングアルゴリズム（[10]より引用）をこれらの特定のファミリーへ直接適用することを可能にしている。

著者らは、「リーマン基本定理」が単なるゲージ対称性の特徴付けではなく、軌道空間が適合する計量を持つ滑らかな多様体であるという構造的保証であることを強調している。これは、機械学習への応用を背景とした、急速に発展するリーマン最適化の分野から強力な手法を、厳密な収束特性をもって量子多体系物理学へと導入するための必要条件として提示されている。本研究は、視点を実多様体へと移し、商構造を明示的に構築することで、[9]によって導入された幾何学的フレームワークを一般化するものである。