[論文レビュー] Modelling questions for quantum permutations

Teodor Banica, Amaury Freslon|arXiv (Cornell University)|Apr 2, 2017

Advanced Operator Algebra Research参考文献 20被引用数 4

ひとこと要約

本稿は、軌道のサイズが等しい $K$ である quasi-transitive な量子置換群 $G \subset S_N^+$ のための普遍的行列モデルを導入する。$C(G) \to M_K(C(X))$ なる表現 $\pi$ を構成し、標準座標の像がランク $\leq 1$ の射影となるようにする。主な貢献は、代数的均一性と解析的条件下での解析的定常性の下で、このモデルが内側忠実であるという予想を提示し、古典的群および $\widehat{\Gamma} = \mathbb{Z}_K^{*M} / \langle g_i^R g_j^R = g_j^R g_i^R \rangle$ のような群双対群においてそれを証明することにある。このモデルにより、従来のモデルが失敗する非推移的状況において、明示的構成と内側忠実性の証明が可能になる。

ABSTRACT

Given a quantum permutation group $G\subset S_N^+$, with orbits having the same size $K$, we construct a universal matrix model $π:C(G) o M_K(C(X))$, having the property that the images of the standard coordinates $u_{ij}\in C(G)$ are projections of rank $\leq 1$. Our conjecture is that this model is inner faithful under suitable algebraic assumptions, and is in addition stationary under suitable analytic assumptions. We prove this conjecture for the classical groups, and for several key families of group duals.

研究の動機と目的

• $C(S_N^+)$ に対する内側忠実な行列モデルを構成するという未解決問題に取り組むこと、特に従来のモデルが崩壊する非推移的量子部分群に対して。
• すべての軌道のサイズが同じ $K$ である quasi-transitive な量子置換群 $G \subset S_N^+$ に対して、行列モデル理論を拡張することにより、従来のグラスマン多様体モデルの限界を乗り越えること。
• 新しい普遍的モデルが代数的均一性と解析的仮定の下で内側忠実であるという予想を提示し、検証すること。
• 古典的群および、巡回群の自由積のような重要な群双対群族に対して、明示的構成と内側忠実性の証明を提供すること。
• この一般化されたモデル枠組みを用いて、$C(S_N^+)$ 自身や他の推移的量子部分群を分析する基盤を築くこと。

提案手法

• 軌道が非自明な場合に 0 要素を許容する修正されたマジック基底を用いて、$K$ が $N$ を割り切る条件下で、$G \subset S_N^+$ である quasi-transitive な量子群に対して、普遍的行列モデル $\pi: C(G) \to M_K(C(X))$ を構築する。
• モデル空間 $X \subset X_N$ を、$\mathbb{C}^N$ 内の射影の $K$-重組 $K$-tuple として定義し、軌道に基づくタンナキアン条件を満たすようにする。これにより、$u_{ij}$ の像がランク $\leq 1$ の射投影となることが保証される。
• Sinkhorn 型のアルゴリズム的手法を用いて、$X$ 上に押し出し測度を定義するが、収束性は保証されない。これにより、モデルの解析的定常性を支援する。
• 群双対群 $\widehat{\Gamma}$ に対して、$\Gamma = \mathbb{Z}_K^{*M} / \langle g_i^R g_j^R = g_j^R g_i^R \rangle$ を定義し、ユニタリ作用素と単位根を用いて $\pi: C^*(\Gamma) \to M_K(C(X_\Gamma))$ なる表現を構成する。
• トレース計算と表現論を用いて内側忠実性をテストし、$\pi(\gamma) = \text{Id}$ となるのは $\gamma$ が自明である場合に限ることを示す。これには、正規直交性と単位根のキャンセレーションを利用する。
• 不変部分空間 $V_t$ への分解とトレースの正規化を用いて、問題を $U_R$-不変ブロック上のトレース恒等式の検証に還元し、すべての指数が 0 でなければ矛盾が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 提案された普遍的行列モデルが、$G$ に対して適切な代数的均一性仮定の下で、quasi-transitive な量子置換群に対して内側忠実であるか？
• RQ2 解析的仮定、例えばモデル空間 $X$ 上に定常測度が存在する場合に、モデルが定常的であると示せるか？
• RQ3 モデルは、特に巡回群の自由積のような非巡回的群双対群においても、推移的でない状況に一般化可能か？
• RQ4 モデルを用いて、$C(S_N^+)$ 自身や他の推移的量子部分群の内側忠実性を証明できるか？
• RQ5 群双対群における標準的生成子の作用下でモデルはどのように振る舞い、$\pi(\gamma) = \text{Id}$ が $\gamma = e$ を意味する条件は何か？

主な発見

• 標準座標 $u_{ij}$ の像がランク $\leq 1$ の射影となるように、$\pi: C(G) \to M_K(C(X))$ なる普遍的行列モデルが構成され、従来のモデルが非推移的状況で崩壊する問題を解決する。
• 古典的群 $G \subset S_N$ に対して、モデルが内側忠実であることが証明され、古典的推移的設定における予想が裏付けられる。
• 群双対群 $\Gamma = \mathbb{Z}_K^{*M} / \langle g_i^R g_j^R = g_j^R g_i^R \rangle$ に対して、トレース解析と単位根のキャンセレーションを用いてモデルが内側忠実であることが示され、$\pi(\gamma) = \text{Id}$ となるのは $\gamma$ が自明である場合に限ることが確認される。
• モデル空間 $X_\Gamma$ は、$U^i$ が $K$ 次元ブロック上で作用し、$\sigma_i$ がそれらを置換するような $(U^1, \ldots, U^M, \sigma_1, \ldots, \sigma_M)$ の $M$-tuple として定義され、群関係と整合的であることが保証される。
• $\pi(\gamma)$ のトレースは、すべての指数 $k_p'$ と $a_p$ が 0 でない限り 0 に収束し、これにより $\gamma$ が自明でなければ矛盾が生じる。これは内側忠実性の確認に繋がる。
• この構成はグラスマン多様体モデルを一般化し、非推移的量子群における内側忠実性の分析のための枠組みを提供する。$C(S_N^+)$ への応用も可能性を有する。