[논문 리뷰] Translatable quadratical quasigroups

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

graph theory and CDMA systems참고 문헌 2인용 수 3

한 줄 요약

이 논문은 $k$-이행 가능한 군oids의 개념을 도입하고, 덧셈군 $ℤ_m$에 의해 유도된 정사각형 준군이 어떤 $k$에 대해 항상 $k$-이행 가능하다는 것을 증명한다. 논문은 $m < 1200$인 $k$-이행 가능한 정사각형 준군을 체계적으로 나열하며, 자가쌍대성과 이행 가능성과 같은 구조적 성질을 규명하고, $ℤ_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.

연구 동기 및 목표

• 정사각형 준군의 미세한 대수적 구조, 특히 이행 가능성 성질을 조사하기 위해.
• 모든 $k < 40$ 및 $m \leq 1200$에 대해 $ℤ_m$에 의해 유도된 정사각형 준군 중에서 $k$-이행 가능한 것들을 특정하기 위해.
• $\mathbb{Z}_m$에 의해 유도된 준군이 $k$-이행 가능해지는 조건을 특성화하고, 쌍대성과 자가쌍대성의 성질을 탐구하기 위해.
• 순서 5, 9, 13, 17인 정사각형 준군의 명시적 카일리 표를 제공하고, 이들의 이행 가능성 구조를 분석하기 위해.
• 특히 자가쌍대성 및 $ℤ_m$에 의해 유도되지 않는 경우를 포함한 정사각형 준군의 존재성과 생성 문제를 다루기 위해.

제안 방법

• $k$-이행 가능한 군oids의 개념을 도입하고, 이에 기반해 정사각형 준군의 대수적 행동에 따라 분류한다.
• 이전 연구에서 유도된 4순환 구조를 활용하여 순서 5, 9, 13, 17인 정사각형 준군의 카일리 표를 분석하고 구성한다.
• 교환군과 자기동형사상을 통한 정사각형 준군의 특성화를 적용: $xy = \varphi(x) + \psi(y)$, 여기서 $\varphi(x) + \psi(x) = x$ 이고 $2\varphi\psi(x) = x$.
• 모듈로 산술과 $x \cdot y = ax + by \pmod{m}$에서의 매개변수 $a, b$에 기반해 $ℤ_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$에 대해 $ℤ_m$에 의해 유도된 정사각형 준군이 $k$-이행 가능해지는 경우는 무엇인가?
• RQ2 모든 $ℤ_m$에 의해 유도된 정사각형 준군은 어떤 $k$에 대해 $k$-이행 가능한가? 그리고 이는 대수적으로 특성화될 수 있는가?
• RQ3 순서가 9를 초과하는 자가쌍대 정사각형 준군은 존재하는가? 만약 존재한다면, $ℤ_m$ 외부에서 구성할 수 있는가?
• RQ4 순서 $m$인 정사각형 준군이 $k$-이행 가능하다면, 그 쌍대는 $(m-k)$-이행 가능한가?
• RQ5 모든 순서 $m$인 정사각형 준군은 두 개의 서로 다른 원소로 생성될 수 있는가? 특히 $m > 9$인 경우에 대해.

주요 결과

• 모든 $ℤ_m$에 의해 유도된 정사각형 준군은 고려 대상이 되는 모든 $m$에 대해 어떤 $k$에 대해 $k$-이행 가능하다는 것이 증명되었다.
• 순서 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$-이행 가능한 정사각형 준군은 각 $k$에 대해 존재하며, 준군이 $(m-k)$-이행 가능해지는 $m$의 값도 규명되었다.
• 모든 $k < 40$ 및 $m < 1200$에 대해 $ℤ_m$ 위에서의 $k$-이행 가능한 정사각형 준군을 포함한 포괄적인 목록을 제공하였으며, 각 항목에 대해 명시적인 매개변수 $a, b$를 제시하였다.