[論文レビュー] Discrete Subproduct Systems and Word Systems

Malte Gerhold, Michael Skeide|arXiv (Cornell University)|Feb 2, 2014

semigroups and automata theory参考文献 16被引用数 4

ひとこと要約

本稿では、部分積系の次元列と語系の濃度列の間の一対一対応を確立し、このような列を特徴付ける問題を語理論における組合せ問題に還元する。主な貢献は、語の組合せ的性質を用いた、許容可能な次元列の完全な特徴付けである。

ABSTRACT

We show that a sequence of natural numbers is the dimension sequence of a subproduct system if and only if it is the cardinality sequence of a word system. Determining such sequences is, therefore, reduced to a purely combinatorial problem in the combinatorics of words. We provide some new results.

研究の動機と目的

• 自然数の列がどの程度部分積系の次元列として現れるかを特定すること。
• 部分積系の分類問題を、語系に関する純粋な組合せ問題に再定式化すること。
• 語系の濃度を通じて許容可能な次元列を特徴付ける新しい組合せ的結果を提供すること。
• 部分積系と語系の次元／濃度列を介して、それらの間の全単射対応を確立すること。

提案手法

• 有限アルファベット上の語の有限集合族として語系を定義し、特定の整合性条件を満たすものとする。
• 語系の濃度列（各長さの語の個数に対応する列）の概念を導入する。
• 有限次元C*-代数上のテンソル積構造を用いて、与えられた語系から部分積系を構成する。
• 任意の部分積系の次元列が、ある語系の濃度列として現れることを証明する。
• 逆に、任意の語系の濃度列が、ある部分積系の次元列として現れることを示す。
• 語の成長と代数的制約に関する組合せ的議論を用いて、同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 どの自然数の列が部分積系の次元列として実現可能か？
• RQ2 部分積系の構造を捉える組合せ的モデル（特に語系）が存在するか？
• RQ3 部分積系の分類問題を語の組合せ論の問題に還元できるか？
• RQ4 ある列が語系の濃度列であるための必要十分条件は何か？
• RQ5 部分積系における代数的制約は、語に対する組合せ的制約にどのように対応するか？

主な発見

• 自然数の列が部分積系の次元列であるための必要十分条件は、それが語系の濃度列であることである。
• 部分積系の分類問題は、完全に語系における組合せ的問題に還元可能である。
• 部分積系と語系の間には、双対的かつ構造を保つ対応関係が存在する。
• 特徴付けの過程で、語系に関する新しい組合せ的結果が得られた。
• 特徴付けは、許容可能な次元列を完全かつ明示的に特定する基準を提供する。
• この結果により、部分積系の研究は語の成長とアルファベットの制約の分析に帰着される。