[論文レビュー] Essential Variables and Separable Sets in Universal Algebra

Slavcho Shtrakov, Klaus Denecke|ArXiv.org|Dec 10, 2008

Advanced Algebra and Logic参考文献 5被引用数 16

ひとこと要約

本稿は、普遍代数学における項、代数、および多様体のための新たな複雑性測度を提示する。これは、項への本質的変数の概念を拡張し、変数の分離可能集合を定義することで達成される。この複雑性は、同型写像および定数記号の変換に関して不変であることが示され、代数的構造と代数上の項演算に基づく意味的・構文的測度としての根拠を持つ。

ABSTRACT

The study of essential and strongly essential variables in functions defined on finite sets is a part of $k$-valued logic. We extend the main definitions from functions to terms. This allows us to apply concepts and results of Universal Algebra. On the basis of the concept of a separable set of variables in a term we introduce a new notion of complexity of terms, algebras and varieties and give examples.

研究の動機と目的

• 普遍代数学における関数から項への本質的変数の概念の拡張。
• 分離可能変数集合に基づく、項、代数、多様体のための新たな複雑性概念の定義。
• この複雑性測度が代数的同型写像および定数記号の変換に関してどのように振る舞うかの調査。
• 代数的モデルにおける構造的変更に関して、複雑性測度の不変性を確立すること。

提案手法

• 代数上の項演算によって誘導される変数の本質的性質を用いて、項における本質的変数を定義し、関数に基づく本質的性質の一般化を行う。
• 項における変数の部分集合 M が、ある評価に関して本質的変数の集合に等しいとき、M が分離可能であると定義する。
• 代数 U と変数の部分集合 M に対して、項 t の n-複雑性を、X_n \ M の評価のうち、M が本質的変数の集合となるようなものの数として形式化する。
• 代数間の同型写像を用いて、複雑性が同型構造間で保存されることを証明する。
• 定数記号への写像の影響を分析し、多項式の値集合の像の濃度が元と等しい限り、複雑性が変化しないことを示す。
• 評価の拡張および項演算の合成を用いて、代数上の多項式および項演算を定義する。

実験結果

リサーチクエスチョン

• RQ1 関数における本質的変数の概念を、普遍代数学における項へどのように一般化できるか。
• RQ2 分離可能変数集合が項の複雑性において果たす役割は何か。
• RQ3 この新しい複雑性測度は代数的同型写像に関してどのように振る舞うか。
• RQ4 定数記号の再ラベル化に関して、項の複雑性が不変となる条件は何か。
• RQ5 同型写像または定数写像による代数の変換において、項の複雑性は保存されるか。

主な発見

• 代数 U と部分集合 M に対して、項 t の n-複雑性 Cp^(3)(t,M,U) は、代数間の同型写像に関して不変である。すなわち、同型な代数 U と B に対して Cp^(3)(t,M,U) = Cp^(3)(t,M,B) が成り立つ。
• 多項式 p の定数記号に写像 g を適用する場合、p の値集合 V_p^U の像の濃度が元の V_p^U と等しければ、複雑性測度は変化しない。
• U における M が t に関して本質的変数の集合となるような X_n \ M の評価と、同型代数 B におけるそれらの間には一対一対応が存在する。
• 変数の置換に関して、項の複雑性は保存される。すなわち、任意の変数集合の置換 σ に対して Cp^(3)(t,M,U) = Cp^(3)(f_σ(t),σ(M),U) が成り立つ。
• 複雑性測度 Cp^(3)(t,M,U) は適切に定義されており、項の構文的構造と代数における意味的挙動の両方に依存する。
• 異なる項が同じ複雑性を持つことがある。これは、補題 4.2 によって示されており、複雑性が項構造の一意的同定子ではないことを示している。