On Some Generalisations of Gauss Sequences

技術要約：ガウス数列の一般的な一般化について

問題提起
本論文は、オイラーの定理（$a^{\phi(n)} \equiv 1 \pmod n$）およびガウスの合同式（$\sum_{d|n} \mu(d)a^{n/d} \equiv 0 \pmod n$）に着想を得た、合同式によって定義される整数列の分類と一般化を扱うものである。既存の文献では「ガウス数列」（別名ドールド数列）や「オイラー数列」が広く扱われているが、ガウスの合同式の乗法的な類似性を満たす数列に関する理解には空白が存在する。具体的には、著者らは、ガウス数列を厳密に含み、かつオイラー数列に厳密に含まれるような数列のクラスを定義し、それらの$q$-類似体および巡回シブリング現象（CSP）との関連性を探求することを目的としている。

手法
著者らは、数論的な定義、組合せ論的解析、および生成関数の代数的操作を組み合わせた手法を用いている。

1. オイラー–ガウス数列の定義： コアとなる手法は、正および負のメビウス関数値を持つ約数によってインデックス付けされた項の積に基づく、新しい合同条件を定義することである。数列 $(a_n)$ に対し、$A^+_n = \prod_{d|n, \mu(d)=1} a_{n/d}$ および $A^-_n = \prod_{d|n, \mu(d)=-1} a_{n/d}$ とする。このとき、数列が オイラー–ガウス数列 であるとは、$A^+_n \equiv A^-_n \pmod n$ を満たすことと定義される。
2. 包含関係の解析： 著者らは、包含関係の階層 $\{\text{ガウス数列}\} \subsetneq \{\text{オイラー–ガウス数列}\} \subsetneq \{\text{オイラー数列}\}$ を厳密に証明している。これは、ガウスの合同式を満たさないがオイラー–ガウス条件を満たす数列（例：最小素因数および最大素因数に基づく数列）を構成することによって達成される。
3. $q$-類似体： 著者らはこれらの定義を多項式数列 $\mathbb{Z}[q]$ に拡張し、$q$-整数 $[n]_q$ を法とする $q$-オイラー–ガウス数列 を導入する。彼らはこれらと既存の $q$-ガウス数列との関係を分析し、$q$ の設定におけるペアワイズな合同式の同値性に関する文献上の空白を特定している。
4. 約数和による特徴付け： 著者らは、$a_n = \sum_{p|n} p f_p(\text{rad}(n))$（ここで和は素因数 $p$ に関するもの）という形式の数列を調査し、これらが自然にオイラー–ガウス数列を形成することを実証している。
5. 巡回シブリング現象 (CSP)： 著者らは、$q$-ガウス数列の特性（具体的には $a_n(\omega_n^j) = a_{\gcd(n,j)}(1)$ という条件）を自らの新しいクラスに適用し、CSPの三つ組（triples）を決定する。

主要な貢献および結果

• オイラー–ガウス数列の導入： 本論文は、乗法的合同式 $A^+_n \equiv A^-_n \pmod n$ を満たす新しい数列のクラスを定義する。すべてのガウス数列はオイラー–ガウス数列であるが、その逆は成立しないことを証明している。
• 厳密な包含関係と反例：
  • 最小素因数 (SPF) および 最大素因数 (GPF) の数列（$n=1$ において適切に定義されたもの）は、オイラー–ガウス数列であることが示されている。
  • 決定的なことに、SPF数列は、いかなる 素数の集合 $S$ に対してもガウス数列にはならない。一方で、GPF数列は、集合 $S=\{2\}$ に対してのみガウス数列となる。これにより、オイラー–ガウス数列のクラスは、任意の $S$ に対するガウス数列の和集合よりも厳密に大きいことが確立される。
• 強オイラー–ガウス数列： 比 $A^+_n / A^-_n$ （既約分数として）が $1 \pmod n$ に合同となる部分クラスを定義する。本論文は、すべての強オイラー–ガウス数列はガウス数列であることを証明している。
• $q$-類似体と修正された合同式：
  • 著者らは $q$-オイラー–ガウス数列 を導入する。
  • 既存のペアワイズ $q$-ガウス合同式が $q$-ガウス合同式と等価ではないことを特定し、$q$-ガウス数列において同値性を回復させる 修正されたペアワイズ $q$-ガウス合同式 ($a_{p^r m}(q) \equiv a_{p^{r-1}m}(q^p) \pmod {[p^r]_{q^m}}$) を提案している。
  • 定理 4.6： $q$-オイラー–ガウス数列は、すべての $n$ に対して $a_n(1) \neq 0$ であるとき、$q$-ガウス数列となる。したがって、$q$-オイラー–ガウス数列が $q$-ガウス数列ではない場合、それは少なくとも一つの零項（$q=1$ での項）を含む。これは、すべての項が非ゼロである厳密なオイラー–ガウス数列は、必然的に $q$-ガウス数列であることを示唆している。
• 除法基準： 著者らは、再帰的に定義された多項式 $A_n(q)$ を用いた $q$-オイラー–ガウス数列の除法基準を提唱しており、これは $n=10^8$ まで計算機的に検証されている。
• 巡回シブリング現象 (CSP)：
  • 著者らは、Gorodetsky および Gossow の CSP の結果を拡張している。特定の約数に対して $q=1$ で非ゼロ項を持つ $q$-オイラー–ガウス数列は、標準的な CSP 条件を満たすことを示している。
  • 新しい CSP 条件： $q$-SPF および $q$-GPF 数列に対して、著者らは新しい CSP 条件 $|X_n^j| = |X_{\gcd(\text{SPF}(n), j)}|$ を導出している。これは標準的な $|X_n^j| = |X_{\gcd(n, j)}|$ とは異なり、本論文で定義された数列によって満たされることが示されている。

意義および主張
本論文は、オイラー–ガウスのクラスを導入することにより、ガウス数列とオイラー数列の間の根本的な溝を埋めることを主張している。その意義は以下の点にある：

1. 統一： 以前はガウス数列の一般化の範囲外であった SPF や GPF などの数列を含む枠組みを提供すること。
2. $q$-類似体の明確化： $q$-合同式の同 equivalence に関する文献上の欠落に対処し、より明快な特徴付けをもたらす修正された定義（修正されたペアワイズ $q$-ガウス）を提案すること。
3. 組合せ論的解釈： これらの新しい数列、特に $q$-SPF および $q$-GPF が、未知の固定点計数条件を伴う巡回シブリング現象を通じて、組合せ論的な解釈を持つことを示すこと。

著者らは、除法基準が計算機的に検証されているものの、一般的なケースに対する完全な証明は依然として予想（conjecture）の段階であるとし、控えめなトーンを維持している。また、議論されているクラスは既存の整数数列に関する文献には現れないものであると強調している。