[論文レビュー] On associative spectra of operations

Sebastian Liebscher, Tamás Waldhauser|arXiv (Cornell University)|Feb 11, 2011

Advanced Topics in Algebra参考文献 1被引用数 9

ひとこと要約

この論文は、括弧の付け方と項の列挙を用いて、二項演算から $p$-項演算へ関数的スペクトルを一般化し、ガロア閉集合としての「細かいスペクトル」を導入する。細かいスペクトルの特徴づけ、一般化されたカタラン数の明示的公式の証明、多項式スペクトルの構成、および非可算個の異なるスペクトルが存在することの証明を行い、以前の研究における未解決問題を解決する。

ABSTRACT

The distance of an operation from being associative can be "measured" by its associative spectrum, an appropriate sequence of positive integers. Associative spectra were introduced in a publication by B. Csákány and T. Waldhauser in 2000 for binary operations (see arXiv:1102.2124). We generalize this concept to p-ary operations, interpret associative spectra in terms of equational theories, and use this interpretation to find a characterization of fine spectra, to construct polynomial associative spectra, and to show that there are continuously many different spectra. Furthermore, an equivalent representation of bracketings is studied.

研究の動機と目的

• 二項演算から $p$-項演算への関数的スペクトルの概念の拡張。
• 括弧の付け方から導かれる恒等式のガロア閉集合としての「細かいスペクトル」の定義と特徴づけ。
• $p$-項演算に対して多項式関数的スペクトルを構成し、その存在を示すこと。
• 異なる関数的スペクトルが連続的に多く存在することの証明。
• 挿入タプルを用いた括弧の表現の同値表現の確立と、それによる一般化されたカタラン数の明示的公式の導出。

提案手法

• $p$-項括弧の付け方を、単一の $p$-項演算記号 $\omega$ を持つ項代数の項として再帰的構成により定義する。
• 括弧の付け方における変数の出現を区別するための列挙写像 $\varepsilon_j$ を導入し、項関数の解析を可能にする。
• ガロア接続 $\operatorname{Mod_{Brack}} - \operatorname{Id_{Brack}}$ を用いて、細かいスペクトルをガロア閉集合として定義する。
• 括弧の付け方を、再帰的構成における変数の挿入順序を符号化する挿入タプルとして表現する。
• 与えられた出現回数を持つ $p$-項括弧の付け方の数を数える一般化されたカタラン数の明示的公式を証明する。
• 問題3を解決する3つの異なる多項式関数的スペクトルを構成する。

実験結果

リサーチクエスチョン

• RQ1 括弧の付け方と項の列挙を用いて、関数的スペクトルを二項演算から $p$-項演算へどのように一般化できるか？
• RQ2 細かいスペクトルの構造は何か？ そして、等式理論の文脈において、関数的スペクトルをどのように精緻化するか？
• RQ3 $p$-項演算に対して多項式関数的スペクトルを構成できるか？ もしそうなら、どのように行うか？
• RQ4 異なる関数的スペクトルが非可算個存在するか？ そして、スペクトルの格子に対してどのような意味を持つのか？
• RQ5 挿入タプルは、括弧の付け方の特徴づけと、一般化されたカタラン数の明示的公式の導出において果たす役割は何か？

主な発見

• 論文は、代数と恒等式の集合の間のガロア接続 $\operatorname{Mod_{Brack}} - \operatorname{Id_{Brack}}$ を確立し、細かいスペクトルをガロア閉集合として特徴づける。
• 細かいスペクトルの特徴づけが与えられ、一般化された結合則が $p$-項演算へ拡張可能であることが示される。
• 挿入タプルを用いた一般化されたカタラン数の明示的公式が証明され、与えられた出現回数を持つ $p$-項括弧の付け方の数が数えられる。
• 問題3を解決する3つの異なる多項式関数的スペクトルが構成される。
• 細かいスペクトルの格子が研究され、非可算個の異なるスペクトル、すなわち連続的に多くのスペクトルが存在することが示される。
• すべての有限的関数的スペクトルが有限グロイドの細かいスペクトルとして現れることを示し、この構成の普遍性を示す。