技術要約：対称性下における逆問題の再構成可能性

問題提起

物理的な逆問題は、観測された状態量（$X, Y$）から因果関係（$O$）を推定することを目的とすることが多い。識別可能性（原因の一意性）は多くの分野における中心的な課題であるが、本論文は再構成可能性（reconstructability）、すなわち、システムの対称性が与えられた条件下で、原因のどの特定の成分が再構成可能であるかに焦点を当てている。

物理システムにおいて、状態空間は物理プロセス（$P_o$）によって生成されるデータの性質上、しばしば退化している。そのため、表現論のみから導出される理論的な再構成可能性の上限に達しないことが頻繁にある。既存の枠組みは、以下の要因による制限を区別できていないことが多い：

1. 中間空間の表現論的構造。
2. 再構成写像の具体的な設計。
3. 物理プロセス自体によって導入される退化。

これらの要因を分離せずに扱うと、再構成可能性を過大評価したり、システムの物理的な意味を誤解したりするリスクがある。

手法：XYO+G フレームワーク

著者は、再構成写像 $F: X \times Y \to O$ を対称性群 $G$ の制約下で定義されるものとして、この問題を XYO+G 逆問題として定式化している。写像 $F$ は $G$ 等変（equivariant）である必要がある。

再構成可能性を分析するために、著者は再構成写像に対して以下の3層構造を提案している：
$$F = F_L \circ F$$
ここで、$F$ は入力状態空間 $V_X \times V_Y$ から中間空間 $W$ への非線形 $G$ 等変写像であり、$F_L$ は $W$ から原因空間 $V_O$ への線形 $G$ 等変写像である。シュールの補題（Schur's Lemma）により、$F_L$ は既約表現のアイソタイプ成分（isotypic components）に対してのみ作用し、異なる既約表現間の混合を防ぐ。

このアーキテクチャに基づき、本論文は群 $G$ の各既約成分 $\lambda$ に対する再構成次元の3つの上限を導入している：

1. 構造的再構成次元 (Structural Reconstruction Dimension: SRD):

   • 定義: 中間空間 $W$ における既約表現の多重度のみによって決定される。これは、特定の写像設計や物理プロセスに依存せず、原因空間を張るために利用可能な理論的な最大コピー数（基底）を表す。
   • 数学的形式: $d^{(Card)}_F(\lambda) = \min(m_F(\lambda), \dim V^{(\lambda)}_O)$。ここで $m_F(\lambda)$ は $W$ における $\lambda$ の多重度である。

2. 有効再構成次元 (Effective Reconstruction Dimension: ERD):

   • 定義: 非線形部分 $F$ の具体的な設計によって決定される。これは、写像の具体的な構成（例：テンソル積による組み立て）によって導入される線形従属性を考慮した上で、入力状態空間から実際にアクセス可能な $W$ の部分空間の次元を測定する。
   • 意義: 選択された写像設計が中間空間を効果的に活用しているか、あるいは冗長性（例：同じ平面上に位置する入力の線形結合）によって有効ランクが減少しているかを特定する。

3. 物理的再構成次元 (Physical Reconstruction Dimension: PRD):

   • 定義: 物理プロセス $P_o$ による状態空間の退化によって決定される。これは、物理的な制約（例：アトラクタ、保存則）によって状態空間がより低次元のマニホールドに制限された後にアクセス可能となる部分空間の次元を測定する。
   • 意義: 物理的な制約（アトラクタや保存則など）によって状態空間が制限されることによる情報の損失を考慮する。

本論文は、以下の階層関係を確立している：
$$SRD \geq ERD \geq PRD$$
これらの値の間の差は、再構成可能性の喪失がどこから生じているかを分離する：

• $SRD - ERD$: 写像設計による損失（非線形部分における冗長性）。
• $ERD - PRD$: 物理プロセスによる損失（状態空間の退化）。

主要な結果と例示的な事例

本フレームワークは、対照的な2つのシステムを通じて検証されている：

1. 薄片状粒子の配向ダイナミクス（観点A）

• 文脈: 薄片状粒子の配向（$s$）とその時間微分（$\dot{s}$）から速度勾配テンソル（$A$）を再構成する。
• 知見:
  • SRD vs. ERD: 著者は、中間空間の多重度を単純に増やすこと（例：$N$ 個の観測ペアをスタックする）が、必ずしも ERD の比例的な増加を保証しないことを示している。もし写像設計が線形従属性を生む場合（例：既存の平面に折り返されるテンソル積を使用する場合）、ERD は SRX よりも低くなる。
  • ERD vs. PRD: 定常的な速度勾配の下では、粒子の配向は特定のアトラクタ（大円または不動点）に引き寄せられる。この物理プロセスにより、状態空間はより低次元のマニホールド（例：$S^1$）に制限される。その結果、特定の既約成分（具体的には $m = \pm 1$ モード）が PRD において消失し、ERD と PRD の間に、観測数を増やしても解消されないギャップが生じる。
  • 結論: 失われた次元を回復するには、写像を再設計して冗長性を回避するか（SRD-ERD を埋める）、あるいは問題の定式化を変更して状態空間の退化を防ぐ（ERD-PRD を埋める）必要がある。

2. 荷電二体問題（観点C）

• 文脈: 2つの荷電粒子の初期状態と最終状態から「原因」（ダイナミカルな進化の特徴）を再構成する。ここでは、原因はあらかじめ定義されているのではなく、対称性を通じて定義される。
• 知見:
  • 再構成写像は、相対位置と速度の二時刻テンソル積を用い、クレブシュ・ゴルダン係数（Clebsch-Gordan rules）を通じて分解される。
  • PRD 分析: ベクトル成分（$V_1$）における PRD の 1 への退化は、中心力場における角運動量保存則を反映しており、これが運動を単一の平面に制限していることを示している。その結果、2つの時刻間の回転関係を表す反対称成分が、同じ角運動量の方向へと整列する。
  • 意義: この例は、物理量が事前に特定されていない場合に、対称分解を通じて原因空間を定義できることを示している。既約成分は、システムの遷移を特徴付ける独立した情報チャネルとして機能する。

意義と貢献

本論文は、以下の点において、物理システムにおける逆問題を分析するための具体的なフレームワークを提供していると主張している：

1. 制約の分離: 構造的な限界（対称性）、設計の限界（写像アーキテクチャ）、および物理的な限界（プロセスの退化）を明確に区別している。
2. 診断的有用性: 階層関係 $SRD \geq ERD \geq PRD$ により、研究者はどこで再構成可能性が失われているかを特定できる。もし損失が SRD-ERD のギャップにあるならば、再構成写像の再設計が必要である。もし損失が ERD-PRR のギャップにあるならば、それは物理プロセスに固有の制限であり、異なる観測量の採用や問題の再定式化を示唆している。
3. 汎用性: 本フレームワークは、逆問題の様々な観点に適用可能である：
   • 観点A: 既知の原因に対する写像の設計（例：流体可視化）。
   • 観点B: 固定された写像なしに原因を特定すること（例：統計的推定）。
   • 観点C: 対称性を通じて原因そのものを定義すること（例：新しい因果変数の発見）。

著者は、これらの次元は到達可能な方向（上限）を表すものであり、再構成の精度や安定性（これらは写像のヤコビアンや特異値に関連する別の問題である）を保証するものではないことを強調している。本フレームワークは、逆問題を定式化し、等変ニューラルネットワークや散乱問題において等変な再構成写像を設計するためのガイドラインとして機能する。