[論文レビュー] A finiteness result for commuting squares of matrix algebras

Remus Nicoară|ArXiv.org|Apr 16, 2004

Advanced Operator Algebra Research参考文献 8被引用数 24

ひとこと要約

本稿では、'スパン条件'と呼ばれる基準を導入することで、行列代数の可換な正方形の有限性を確立する。この条件は、小さな摂動のもとでの分離性を保証するものであり、素数の位数をもつ標準的双ユニタリ行列から生じる可換正方形がこの条件を満たすことを証明する。これにより、任意の固定次元において、それらの正方形は分離的であり、したがって有限個に限ることが示される。この結果はペトレスクの定理を一般化し、1パラメータ族の双ユニタリ行列の構成の概念的枠組みを提供する。7次巡回行列において、この構成は検証された。

ABSTRACT

We consider a condition for non-degenerate commuting squares of matrix algebras (finite dimensional von Neumann algebras) called the \emph{span condition}, which in the case of the $n$-dimensional standard spin models is shown to be satisfied if and only if $n$ is prime. We prove that the commuting squares satisfying the span condition are isolated among all commuting squares (modulo isomorphisms). In particular, they are finiteley many for any fixed dimension. Also, we give a conceptual proof of previous constructions of certain one-parameter families of biunitaries.

研究の動機と目的

• 可換な行列代数の正方形が摂動に対して分離的である条件の下での有限性を確立すること。
• 分離性の十分条件としての'スパン条件'を導入し、その分析を行うこと。
• 正規化された双ユニタリ行列に対するペトレスクの有限性定理を、非退化な任意の可換正方形に一般化すること。
• ペトレスクが n=7,13,19,31 に対して発見した1パラメータ族の双ユニタリ行列の背後にある概念的説明を提供すること。
• 7次巡回双ユニタリ行列が、すべての正規化された双ユニタリ行列の中で分離的であることを確認すること。

提案手法

• 有限次元フォン・ノイマン代数の非退化な可換正方形の分離性を特徴付ける基準として'スパン条件'を導入すること。
• 標準的双ユニタリ行列の位数 n に対して、スパン条件が満たされるための必要十分条件が n が素数であることであることを証明すること。
• スパン条件を用いて、この条件を満たす可換正方形が、同型を除いて分離的であることを示し、固定次元ではそれらが有限個に限ることを示すこと。
• 対角成分の射影とユニタリ共役を用いた変形公式を用いて、1パラメータ族の双ユニタリ行列を構成すること。
• スパン条件の検証に際して、行列のランク計算を用いて7次巡回双ユニタリ行列に対して理論を適用すること。
• 数値的最小化に基づくアルゴリズム的アプローチを用い、双ユニタリ候補を検出するとともに、その分離性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 行列代数の可換正方形が、その部分代数の小さな摂動に対していつ分離的となるか。
• RQ2 スパン条件は可換正方形の分離性に対して必要かつ十分な条件か。
• RQ3 どの n の値に対して、位数 n の標準的双ユニタリ行列がすべての正規化された双ユニタリ行列の中で分離的か。
• RQ4 スパン条件を用いて、同型でない双ユニタリ行列の1パラメータ族を体系的に構成できるか。
• RQ5 7次巡回双ユニタリ行列は、すべての双ユニタリ行列の中で分離的か。

主な発見

• 位数 n の標準的双ユニタリ行列から生じる可換正方形は、n が素数であるときにかつそのときに限り、スパン条件を満たす。
• スパン条件を満たす可換正方形は、同型を除いて分離的であり、固定次元ではそれらが有限個に限ることを示唆する。
• 7次巡回双ユニタリ行列は、すべての正規化された双ユニタリ行列の中で分離的であることが、交差行列のランク計算によって確認された。
• スパン条件は、ペトレスクが n=7,13,19,31 に対して発見した1パラメータ族の双ユニタリ行列の背後にある概念的説明を提供する。
• 7次巡回双ユニタリ行列に対して、[D_i, U^*D_jU] の交差行列を表す行列 A のランクは 36 に等しい。これによりスパン条件が確認された。
• 交差行列のノルムとユニタリ性誤差を最小化する数値的アルゴリズムを用いることで、双ユニタリ行列を検出し、1パラメータ族を生成できる。