[論文レビュー] The Ranks of the Additive Semigroup Reduct of Affine Near-Semiring over Brandt Semigroup

Jitender Kumar, K. V. Krishna|arXiv (Cornell University)|Aug 19, 2013

semigroups and automata theory参考文献 9被引用数 3

ひとこと要約

本稿は、ブランドト半群 $B_n$ 上のアフィン写像の加法的半群還元 $A^{+}(B_n)$ の五つのランク特性—小、下位、中位、上位、大ランク—を調査する。構造的解析と素性部分集合技術を用い、$n \geq 6$ の場合にこれら五つのランクをすべて特定する。$2 \leq n \leq 5$ の場合の上位ランク $r_4$ に対して下界を提示し、その下界がタイトであると仮説を立てている。

ABSTRACT

This work investigates the rank properties of $A^+(B_n)$, the additive semigroup reduct of affine near-semiring over Brandt semigroup $B_n$. In this connection, this work reports the ranks $r_1$, $r_2$, $r_3$ and $r_5$ of $A^+(B_n)$ and identifies a lower bound for the upper rank $r_4(A^+(B_n))$. While this lower bound is found to be the $r_4(A^+(B_n))$ for $n \ge 6$, in other cases where $2 \le n \le 5$, the upper rank of $A^+(B_n)$ is still open for investigation.

研究の動機と目的

• アフィン近半体のブランドト半群 $B_n$ 上の加法的半群還元 $A^{+}(B_n)$ の五つのランク特性—小、下位、中位、上位、大ランク—を特定すること。
• すべての $n \geq 1$ に対して $r_1, r_2, r_3, r_5$ の正確な値と $r_4$ の下界を $A^{+}(B_n)$ で確立すること。
• $n \geq 6$ の場合に $A^{+}(B_n)$ の上位ランク $r_4(A^{+}(B_n))$ を特定し、$2 \leq n \leq 5$ 時の $r_4$ に対して下界を提示すること。
• $2 \leq n \leq 5$ 時の $r_4$ の導出された下界が実際に上位ランクの正確な値であると仮説を立てること。
• 特にブランドト半群上での有限半群のアフィン写像半群におけるランク特性の理解を拡張すること。

提案手法

• 先行研究 [9] における $A^{+}(B_n)$ の構造的特徴付けを用いる。これはグリーンの関係と要素の分解を用いて半群を記述する。
• 有限半群における素性部分集合の概念を適用する：空でない部分集合 $U$ が素性であるとは、$a + b \in U$ ならば $a \in U$ または $b \in U$ を満たすことを意味する。また、Lemma 5.4 を用いて最小素性部分集合と最大真部分半群の関係を確立する。
• $V = \{\xi_{(n,k)} \mid 1 \leq k \leq n-1\}$ が $A^{+}(B_n)$ の最小素性部分集合であることを特定し、これにより大ランク $r_5$ の計算が可能になる。
• 分解技術を用いて、$n \geq 3$ の場合、$A^{+}(B_n)$ のすべての要素が分解可能であることを示し、これにより非分解可能な要素が存在しないことを示す。
• $2 \leq n \leq 5$ 時の上位ランク $r_4(A^{+}(B_n))$ の下界を導出するため、明示的な独立集合を構成する。要素の種別（ゼロ、シングルトンサポート、$n$-サポート写像、全サポート写像）に基づくケース解析を用いる。
• $r_5(A^{+}(B_n)) = (n!)n^2 + n^2 + n^4 - n + 3$ という既知の公式を用い、境界を導出し、$n$ が小さい場合の $r_4$ について等号成立を仮説立てる。

実験結果

リサーチクエスチョン

• RQ1 アフィン近半体のブランドト半群 $B_n$ 上の加法的半群還元 $A^{+}(B_n)$ の五つのランク特性—$r_1, r_2, r_3, r_4, r_5$—の値は何か？
• RQ2 $A^{+}(B_n)$ の上位ランク $r_4(A^{+}(B_n))$ が正確に特定される $n$ の値は何か？また、$n < 6$ 時の $r_4$ の境界の性質は何か？
• RQ3 $2 \leq n \leq 5$ 時に導出された $r_4(A^{+}(B_n))$ の下界が実際に上位ランクの正確な値であることを証明できるか？
• RQ4 $A^{+}(B_n)$ の構造的性質、たとえば要素の分解可能性やサポートの種別がランク計算にどのように影響するか？
• RQ5 最小素性部分集合は、大ランク $r_5(A^{+}(B_n))$ の計算においてどのような役割を果たすか？

主な発見

• $n \geq 6$ 時、上位ランク $r_4(A^{+}(B_n))$ は、$A^{+}(B_n)$ の構造から導出された下界と正確に一致する。その値は $(n!)n^2 + n^2 + n^4 - n + 3$ である。
• すべての $n \geq 2$ に対して大ランク $r_5(A^{+}(B_n))$ は正確に $(n!)n^2 + n^2 + n^4 - n + 3$ に等しく、最小素性部分集合 $V = \{\xi_{(n,k)} \mid 1 \leq k \leq n-1\}$ を用いて導出された。
• $n = 2$ 時、大ランク $r_5(A^{+}(B_2))$ は正確に 29 に等しく、これは半群 $A^{+}(B_2)$ 全体のサイズに一致する。これはすべての要素が独立であることを示している。
• $2 \leq n \leq 5$ 時、上位ランク $r_4(A^{+}(B_n))$ の下界が確立される：$n=2$ の場合14、$n \geq 3$ の場合 $(n!)n^2 + n$。
• $n \geq 3$ 時、$A^{+}(B_n)$ のすべての要素は分解可能であり、非分解可能な要素は存在しない。これは半群が自由に生成されていないことを示唆する。
• 著者らは、$2 \leq n \leq 5$ 時に導出された $r_4(A^{+}(B_n))$ の下界が実際に上位ランクの正確な値であると仮説を立てており、構造的および構成的証拠に基づいている。