[論文レビュー] Finite matrices are complete for (dagger-)hypergraph categories

Aleks Kissinger|arXiv (Cornell University)|Jun 23, 2014

Algebraic structures and combinatorial models参考文献 7被引用数 12

ひとこと要約

この論文は、特性がゼロの体上の有限行列が、ハイパーグラフ圏に対して完全であることを確立し、非自明な対合をもつ体上の有限行列が、ダガー-ハイパーグラフ圏に対して完全であることを示している。完全性の証明は、多項式環に対合を導入した、ドット図を行列圏へと関手的に解釈する手法を用い、評価準同型を用いて射を区別する。

ABSTRACT

Hypergraph categories are symmetric monoidal categories where each object is equipped with a special commutative Frobenius algebra (SCFA). Dagger-hypergraph categories are the same, but with dagger-symmetric monoidal categories and dagger-SCFAs. In this paper, we show that finite matrices over a field K of characteristic 0 are complete for hypergraph categories, and that finite matrices where K has a non-trivial involution are complete for dagger-hypergraph categories.

研究の動機と目的

• この論文の目的は、有限行列の圏に対して（ダガー-）ハイパーグラフ圏の完全性を確立することである。
• 特殊な可換フロベニウス代数（SCFA）が線形圏における基底を特徴付ける役割を調査することである。
• 行列表現における基底依存性の問題を、SCFAが自然に基底構造を符号化することによって形式的に捉え、解決することである。
• ドット図における射の等価性が、ハイパーグラフ関手による行列解釈によって完全に捉えられることを証明することである。
• 非自明な対合をもつ体を用いて、ダガー構造への完全性の拡張を図り、ダガー公理が自明に満たされないようにすることである。

提案手法

• この論文は、ボックスが射を表し、ドットがSCFAを表すドット図を、（ダガー-）ハイパーグラフ圏における射の図式的言語として用いる。
• 変数が射のラベルとそのダガー対応物を符号化する多項式環 Z[X ∪ X] 上の関手 J−K を定義する。
• 主な技術的アプローチは、非自明な対合をもつ体 K への値を割り当てる、対合を保存する評価準同型を用いて、これらの多項式行列を評価することである。
• 完全性のためには、2つの射が等しいことと、すべての such 関手においてそれらの行列解釈が等しいことが同値であることを示す。
• 証明は、同じ入出力数を持つ連結図が、1つのSCFAから構成される場合に等しくなることを保証するスパider定理に依存する。
• ダガーの場合、対合を保存する評価により、随伴転置と通常の転置を区別でき、ダガー公理が自明に満たされないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 特性がゼロの体上の有限行列の圏に対して、ハイパーグラフ圏の公理は完全か？
• RQ2 体が非自明な対合をもつ場合、ダガー-ハイパーグラフ圏が有限行列の圏に対して完全であると示せるか？
• RQ3 カテゴリカル構造を用いて、行列表現における基底依存性を形式的に捉え、解決できるか？
• RQ4 圏にダガー構造が存在する場合、行列解釈が随伴転置と通常の転置の違いを区別できるか？
• RQ5 ドット図を行列圏へと関手的に解釈することは、（ダガー-）ハイパーグラフ圏における射の等価性を完全に捉えられるか？

主な発見

• 特性がゼロの体上の有限行列は、ハイパーグラフ圏に対して完全である：2つの射が等しいことと、すべてのハイパーグラフ関手 Mat(K) に対してそれらの行列解釈が等しいことが同値である。
• ダガー-ハイパーグラフ圏においては、体 K に非自明な対合が存在する場合に完全性が成立し、ダガー公理が自明に満たされないことを保証する。
• 証明は、射とそのダガーを符号化する対合をもつ多項式環 Z[X ∪ X] を用い、対合構造を保存する準同型を介して K への評価を可能にする。
• 行列解釈における積 ∏b Xb のマジック係数は、ドットタイプ間の全単射の数を数えることができ、単純な閉じた図において同型性の検出を可能にする。
• K が特性ゼロかつ非自明な対合をもつ場合、F と G が同型でない限り、JFK ≠ JGK となる値を選べる。これにより完全性が証明される。
• 単純な閉じた図から一般の射へと、ユニットおよびコユニットボックスを用いた埋め込み構成により、すべての関手において等価性が保存されることを示す。