[論文レビュー] Translatable quadratical quasigroups

R. A. R. Monzo, Wiesław A. Dudek|arXiv (Cornell University)|Aug 27, 2017

graph theory and CDMA systems参考文献 2被引用数 3

ひとこと要約

本稿では、$k$-可換群的演算子（$k$-translatable groupoids）の概念を導入し、加法群$\mathbb{Z}_m$によって誘導される四次的準群（quadratical quasigroups）が、ある$k$に対して常に$k$-可換であることを証明している。$m < 1200$の範囲で$k$-可換な四次的準群を体系的に列挙し、自己双対性や可換性などの構造的性質を同定し、$\mathbb{Z}_m$上でのすべての四次的準群が$k$-可換であることを示している。また、$m \leq 500$までの明示的構成と双対性についても提示している。

ABSTRACT

The concept of a k-translatable groupoid is introduced. Those k-translatable quadratical quasigroups induced by the additive group of integers modulo m, where k&lt;40, are listed for m&lt;1200. The fine structure of quadratical quasigroups is explored in detail and the Cayley tables of quadratical quasigroups of orders 5, 9, 13 and 17 are produced. All but those of order 9 are k-translatable, for some k. Open questions and thoughts about future research in this area are given.

研究の動機と目的

• 四次的準群の微細な代数的構造、特に可換性に関する性質を調査すること。
• $\mathbb{Z}_m$によって誘導される四次的準群が$k < 40$かつ$m \leq 1200$で$k$-可換となる条件を特定すること。
• $\mathbb{Z}_m$によって誘導される準群が$k$-可換となる条件を特徴づけ、双対性および自己双対性を調査すること。
• 5, 9, 13, 17の位数を持つ四次的準群の明示的ケイリー表を提供し、その可換構造を分析すること。
• 特に自己双対型および$\mathbb{Z}_m$に由来しない四次的準群に関して、存在性と生成法に関する未解決問題に取り組むこと。

提案手法

• $k$-可換群的演算子の概念を導入し、代数的性質に基づいて四次的準群を分類する。
• 先行研究における四サイクル構造を用い、位数5, 9, 13, 17の四次的準群のケイリー表を分析・構成する。
• 可換群と自己同型を用いた四次的準群の特徴づけを用いる：$xy = \varphi(x) + \psi(y)$、ただし$\varphi(x) + \psi(x) = x$かつ$2\varphi\psi(x) = x$。
• 加法群$\mathbb{Z}_m$によって誘導される準群が$k$-可換となる必要十分条件を、モジュラ算術および$ x \cdot y = ax + by \pmod{m}$におけるパラメータ$a, b$に基づいて導出する。
• $m < 500$かつ$k < 40$の範囲で、$k$-可換四次的準群（およびその双対）を、モジュラー・パラメータの体系的探索により構築・列挙する。
• 双対性を分析する際、$x \cdot y = ax + by \pmod{m}$とその双対$ x \circ y = bx + ay \pmod{m}$を比較し、両者の可換性を検証する。

実験結果

リサーチクエスチョン

• RQ1 整数$k < 40$および$m \leq 1200$に対して、$\mathbb{Z}_m$によって誘導される四次的準群が$k$-可換となるのはどのような場合か？
• RQ2 すべての$\mathbb{Z}_m$によって誘導される四次的準群は、ある$k$に対して$k$-可換となるか？その代数的特徴づけは可能か？
• RQ3 9より大きな位数の自己双対四次的準群は存在するか？もしあるならば、$\mathbb{Z}_m$に由来しない方法でも構成可能か？
• RQ4 位数$m$の四次的準群が$k$-可換であれば、その双対は$(m-k)$-可換となるか？
• RQ5 すべての四次的準群の位数$m$は、2つの異なる元によって生成可能か？特に$m > 9$の場合にそうなるか？

主な発見

• すべての$\mathbb{Z}_m$によって誘導される四次的準群は、ある$k$に対して$k$-可換であり、検討対象のすべての$m$についてこのことが証明されている。
• 位数9の四次的準群は、同型を除いて唯一であり、自己双対である。それ以外の位数5, 13, 17, 25, 29の四次的準群は、ある$k$に対して$k$-可換である。
• 位数$m = 25$の場合、$x \cdot y = 4x + 22y \pmod{25}$は18-可換であり、その双対は7-可換である。
• 位数$m = 29$の場合、$x \cdot y = 9x + 21y \pmod{29}$は12-可換であり、その双対は17-可換である。
• 11未満の$k$に対しては、$k$-可換四次的準群が$\mathbb{Z}_m$によって誘導されるものとして存在し、かつその準群が$(m-k)$-可換となるような$m$の値が特定された。
• $k < 40$かつ$m < 1200$の範囲で、$\mathbb{Z}_m$上での$k$-可換四次的準群の包括的リストを提供。双対性を含み、各々の四次的準群の明示的パラメータ$a, b$を併記している。