Twirled and swirled worlds: a compositional approach

技術要約：Twirled and Swirled Worlds: A Compositional Approach（回転および旋回する世界：構成的アプローチ）

問題提起
一般化確率論（GPTs）における最近の発展により、対称性による選択規則を課すための構成法として、「twirled（回転させた）」および「swirled（旋回させた）」世界という概念が導入された。しかし、先行研究（具体的には文献 [11] および [26]）は範囲が限定的であった。文献 [11] はtwirled GPTsを開発したが、その構成を任意のマルチパート過程に関する完全な構成的理論として定式化するには至らなかった。また、文献 [26] はswirled 理論を導入したが、主に局所的なトモグラフィーが可能な親理論に対してのみであった。ここに、プロセス・トモグラフィーが、完全に構成的な設定において不変な過程へと制限された際に生存するかどうか、また、物理的な系の作用から生じる対称性と非物理的な理論レベルの作用から生じる対称性をどのように区別すべきか、という重要なギャップが存在していた。さらに、不変な部分理論において局所的なトモグラフィーが失敗する正確な条件、およびプロセス・トモグラフィーを回復するために必要な操作的リソース（エンタングルメントや補助系など）についても、一般的な有限次元GPTsに対しては十分に特徴付けられていなかった。

手法
著者らは、プロセス理論と言語および圏論を用いた、完全に構成的なフレームワークを開発している。このアプローチでは、状態、効果、および変換を一様にプロセスとして扱う。手法には以下が含まれる：

1. 群作用の定式化: 本論文は、3つのレベルの群作用を区別している：

   • 系作用 (S-actions): 個々の系に対する作用。
   • プロセス作用 (P-actions): プロセス空間に直接作用するもの。
   • 理論作用 (T-actions): 構成的構造と両立する、図式保存写像として定義される、理論全体に対する作用。
     著者らは各レベルにおける「物理性」を定義しており、物理的なS-作用は物理的なP-作用およびT-作用を誘導するが、非物理的な作用もあらゆるレベルで存在し得る（例：量子論における反ユニタリ対称性）ことを指摘している。

2. 平均化と不変部分理論: 不変な部分理論の構成は、コンパクトな対称群 $G$ に関するハール測度を用いた平均化によって達成される。

   • Twirling (回転): 物理的なT-作用に関する平均化。
   • Swirling (旋回): 非物理的なT-作用に関する平均化。
     本論文は、状態および効果のトモグラフィーはこれらの部分理論において保持されるが、プロセス・トモグラフィーが自動的に保証されるわけではないことを確立している。

3. プロセス・トモグラフィーの条件: 著者らは、不変な部分理論においてプロセス・トモグラフィーが成立するための2つの十分条件を特定している：

   • 不変な部分理論内に動的に忠実な状態 (dynamically faithful states) が存在すること。
   • 内部的な古典的参照系 (internal classical reference frames) （群系に対する普遍的な古典的制御）が存在すること。

4. 表現論的解析: 局所的なトモグラフィーが可能なGPTs（古典理論および量子理論を含む）という特定のクラスに対して、著者らは、そのような理論が実ベクトル空間の圏 ($FVect_{\mathbb{R}}$) のスパン部分理論と同型であるという構造定理を利用している。これにより、局所的なトモグラフィーの失敗を分析するために、群の表現論を適用することが可能となる。著者らは、不変部分空間を特徴付け、局所的なトモグラフィーの失敗の程度を記述するために、特定の射影演算子 ($R_{Cor}, R_{Prod}, R_{Semi}$) を導入している。

主要な貢献および結果

• 構成的一般化: 本論文は、局所的なトモグラフィーを仮定することなく、任意の有限次元GPTsに対してtwirlingとswirlingを一般化している。これは、系に起因するtwirlingが、理論レベルの平均化の特殊なケースであることを示す統一的なフレームワークを提供している。
• プロセス・トモグラフィーの解析:
  • 一般的な不変部分理論において、プロセス・トモグラフィーが保証されないことを証明している。
  • しかし、局所的なトモグラフィーが可能なGPTsの不変部分理論については、プロセス・トモグラフィーが常に満たされることを証明している。この結果は、これらの理論における任意の有限次元表現において、不変な動的に忠実なベクトル（具体的にはChoiベクトル）が不変状態空間のスペン内に必ず存在するというデモンストレーションに基づいている。
• 局所的なトモグラフィーの失敗の特性化:
  • 本論文は、不変なマルチパート・プロセス空間における局所的なトモグラフィーの失敗に関する必要十分条件を提供している：局所的なトモグラフィーは、ワイヤーの二分（bipartition）が存在し、その両側の結合表現が群 $G$ の非自明な既約表現を共有する場合にのみ失敗する。
  • これは、同一の系の二部系状態に限定されていた従来の知見を一般化したものである。
• 操作的帰結とリソース:
  • 著者らは、「トモグラフィックな過剰分 (tomographic excess)」（局所的なトモグラフィーではアクセス不可能な不変な自由度）を定量化している。
  • 局所的なトモグラフィーが失敗する場合にプロセス・トモグラフィーを行うために必要なリソースを特性化している：
    • 補助系 (Ancillary Systems): 全体の入力表現と出力表現が非自明な既約表現を共有する場合にのみ必要となる。
    • エンタングルメント (Entanglement): 補助系を必要としない場合、完全なプロセス・トモグラフィーには、通常、特定の既約表現によって定義される分割にわたるエンタングルした不変な状態または効果が必要となる。
    • 分離可能性 (Separability): 局所的なトモグラフィーが失敗する場合、分離した（積）不変な状態と効果のみを用いて、すべての異なる不変な過程を区別することは不可能である。
• 統一フレームワーク:
  • 著者らは、与えられた群 $G$ と親理論 $P$ に対して、すべての系に起因するツワルド（twirled）部分理論を含む、統一された理論 $Twirl_G[P]$ を構築しており、これにより異なるツワルドされた世界間の非自明な相互作用が可能となる。
  • 任意の理論作用（非物理的なものを含む）から生じる不変部分理論を統一するための予備的なスケッチが提供されているが、これには標準的な圏論的フレームワークの外にある可能性のある、構成に関する制約が必要となる。
• 例:
  • 二局所古典理論 (Bilocal Classical Theory: BCT): 本論文は、BCTが古典理論の $Z_2$-twirled 部分理論として生じることを示している。これにより、BCTを標準的な古典理論の中に $Twirl_G$ フレームワークを用いて統一し、その既知のトモグラフィー特性を $Z_2$ 表現構造から回収している。
  • 実量子理論 (Real Quantum Theory: RQT): RQTは、$Z_2$-swirling（対称作用が非物理的であり、時間反転/反ユニタリ操作を含む）の一例として提示されている。本フレームワークは、RQTの既知の記述およびトモグラフィー特性を回収する。

意義および主張
本論文は、対称性によって制限された理論を研究するための「完全に構成的なフレームワーク」を提供することを主張しており、非構成的または局所的なトモグラフィーのみに依存する従来のアプローチの限界を克服している。その主要な意義は以下の通りである：

1. トモグラフィーの地位の明確化: プロセス・トモグラフィーが対称性の制限を生き残るかどうかという問題を解決し、局所的なトモグラフィーが可能な理論の不変部分理論においては生存すること（不変な動的に忠実なベクトルの存在による）、一方で一般的な場合には特定の条件（動的に忠実な状態または内部的参照系）を必要とすることを示した。
2. 対称性の操作化: 表現論的な性質（共有された既約表現）を、操作的な能力（トモグラフィーのためのエンタングルメントや補助系の必要性）に直接結びつけた。
3. 多様な理論の統一: 古典、量子、およびポスト量子理論（BCTやRQTなど）を、共通の対称性に基づく構成の下で、物理的および非物理的な対称性（twirling 対 swirling）を厳密かつ構成的な方法で区別しながら、構造的な視点から統一している。

著者らは、任意の理論作用の統一に関する記述については、提案された $Inv_G[P]$ のフレームワークには標準的な対称モノイダル圏を超えた定式化が必要となる可能性があるとし、控えめな姿勢を保っている。また、一般的なGPTにおけるプロセス・トモグラフィーの失敗の可能性を、GPTの定義における基本データとしての「テスター（1-comb）」を取り入れるための動機付けとして挙げている。