[论文解读] 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$-可平移广群的概念，并证明了由加法群 $\mathbb{Z}_m$ 诱导的抛物型准群对某个 $k$ 总是 $k$-可平移的。系统列出了 $m < 1200$ 时的 $k$-可平移抛物型准群，识别出如自对偶性和可平移性等结构特性，并确立了所有基于 $\mathbb{Z}_m$ 的此类准群均为 $k$-可平移，且对阶数不超过 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$。
• 基于模运算和参数 $a, b$ 在 $x \cdot y = ax + by \pmod{m}$ 中，推导出由 $\mathbb{Z}_m$ 诱导的准群为 $k$-可平移的必要与充分条件。
• 通过系统性的模参数搜索，构造并列出 $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$ 的抛物型准群是否都能由两个不同元素生成，特别是当 $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-可平移。
• 对于 $k < 11$，每个 $k$ 都存在由 $\mathbb{Z}_m$ 诱导的 $k$-可平移抛物型准群，且已确定使得准群为 $(m-k)$-可平移的 $m$ 值。
• 为 $k < 40$ 且 $m < 1200$ 的所有情况，提供了基于 $\mathbb{Z}_m$ 的 $k$-可平移抛物型准群的完整列表，包含其对偶，并为每个情况明确给出了参数 $a, b$。