[論文レビュー] On two problems from "Hyperidentities and Clones"

Gerhard R. Paseman|arXiv (Cornell University)|Aug 8, 2014

Mathematics and Applications参考文献 7被引用数 4

ひとこと要約

本稿は、ハイパーヒドラティティおよび類似型から導かれる等式理論の有限基底問題を調査し、特に二項演算におけるハイパーアソシエーションに焦点を当てる。本稿では、型$<2>$におけるハイパーアソシエーションに対して5つの等式からなる有限基底を提示し、以前の無限公理化可能性に関する予想を反証する。また、問題27および28の部分的解決を提供するとともに、記号的ダイナミクスおよび回路最適化と関連づける。

ABSTRACT

A hyperidentity $E$ can be viewed as a statement in second order logic. When combined with a similarity type $τ$, it can also be considered as a set of first order statements. Based on examples from "A small basis for hyperassociativity", which included hyperassociativity and $τ=&lt;2&gt;$, it was conjectured that each first order theory so produced was finitely axiomatizable. Part of the analysis suggested further investigating the relatively free 2-generated semigroup satisfying one or both of the equations $xxyxxyz=xxyyz$ and $zyyxx=zyxxyxx$. At ICM 1994, the conjecture above was refuted, and a finite basis problem arose: Is it decidable which pairs $$ give rise to finitely axiomatizable theories? This problem will be examined, and its connections to other fields (e.g. symbolic dynamics) will be reviewed. In doing so, we give partial solutions to problems 27 and 28 from "Hyperidentities and Clones"

研究の動機と目的

• 類似型の文脈におけるハイパーヒドラティティの有限基底問題を解決すること。特に二項演算に焦点を当てる。
• ハイパーヒドラティティと類似型から生成される等式理論が有限公理化可能かどうかを検討すること。
• ハイパーヒドラティティと記号的ダイナミクス、および回路最適化への応用との関係を調査すること。
• 『ハイパーヒドラティティとクローン』に掲げられた問題27および28に対する部分的解決を提供すること。
• 剛体木の計算可能性および再帰的構造が有限基底の決定可能性に与える影響を分析すること。

提案手法

• 関数変数に関する全称量化された等式としてハイパーヒドラティティを2階論理で形式化する。
• 項書き換えおよび還元技術を用いて、自由代数内の語を簡略化する。特に、2を法とする反復平方および累乗に注目する。
• ハイパースブスティチューションおよび項代数法を用いて、等式基底の構造を分析する。
• $x^2y^3z = x^2y^5z$ や $x^2y^2x^2z = x^2y^2x^4z$ などの恒等式を用いて、同値でない形の数を制限する。
• $xxyyz = xxyxxyz$ で定義される多様体を分析し、相対的に自由な2生成半群が有限であることを示す。
• 代数的理論およびクローンのカテゴリー的枠組み（Lawvereの枠組み）との関係を探索する。

実験結果

リサーチクエスチョン

• RQ1 与えられたハイパーヒドラティティ$E$と類似型$\tau$のペア$<E, \tau>$が有限公理化可能な等式理論を生成するかどうかは、決定可能か。
• RQ2 単一の二項演算におけるハイパーアソシエーションのハイパーヒドラティティは、有限基底を持つことができるか。もし可能であれば、最小の基底は何か。
• RQ3 語における反復平方パターンは、ハイパーヒドラティティから導かれる多様体における自由代数の有限生成にどのように影響するか。
• RQ4 有限基底問題と記号的ダイナミクスの関係は何か。特に、無限の項と有向集合の観点から。
• RQ5 クローンのカテゴリー的解釈および代数的理論は、有限基底問題の決定可能性を解消する手がかりとなるか。

主な発見

• 類似型$<2>$におけるハイパーアソシエーションに対して、5つの等式からなる有限基底が確立され、以前の無限公理化可能性に関する予想が反証された。
• $xxyyz = xxyxxyz$ で定義される多様体は、有限な相対的に自由な2生成半群をもたらし、有限公理化可能性を示している。
• 語における累乗の2を法とする還元技術（例：$Z(x,y)$ は指数を2で法として $Z'(x,y)$ に還元）により、同値でない項の数が有限に制限される。
• $xxyyz = xxyxxyz$ および $xyyzz = xyzzyzz$ の分析により、『ハイパーヒドラティティとクローン』の問題27および28に対する部分的解決が得られた。
• 剛体木の概念は計算可能性と関連づけられ、剛体木が非再帰的集合を形成するならば、有限基底問題は決定不能である可能性があると示唆された。
• 記号的ダイナミクスおよび回路最適化（例：k-out-of-n回路）との関連が、今後の有望な研究分野として特定された。