On Some Generalisations of Gauss Sequences

技术摘要：关于高斯序列（Gauss Sequences）的一些推广

问题陈述
本文旨在对受欧拉定理（$a^{\phi(n)} \equiv 1 \pmod n$）和高斯同余式（$\sum_{d|n} \mu(d)a^{n/d} \equiv 0 \pmod n$）启发的整数序列进行分类与推广。虽然现有文献广泛涵盖了“高斯序列”（亦称为 Dold 序列）和“欧拉序列”，但在理解满足高斯同余式的乘法类比序列方面仍存在空白。具体而言，作者试图定义一类严格包含高斯序列且被严格包含在欧拉序列之内的序列类，并探讨其 $q$-模拟及其与循环对称现象（Cyclic Sieving Phenomenon, 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{欧拉序列}\}$。通过构造基于最小素因子（Smallest Prime Factor）和最大素因子（Greatest Prime Factor）的反例（这些序列满足欧拉–高斯条件但未能满足标准的高斯同余式），实现了这一证明。
3. $q$-模拟： 作者将这些定义扩展到 $\mathbb{Z}[q]$ 中的多项式序列，引入了关于 $q$-整数 $[n]_q$ 满足同余条件的 $q$-欧拉–高斯序列。他们分析了这些序列与现有 $q$-高斯序列的关系，并指出了文献中关于 $q$-设置下两两同余等价性的空白。
4. 约数和特征化： 本文研究了形式为 $a_n = \sum_{p|n} p f_p(\text{rad}(n))$ 的序列（其中求和是对素因子进行的），并证明了这类序列自然构成欧拉–高斯序列。
5. 循环对称现象 (CSP)： 作者利用 $q$-高斯序列的特征化性质（特别是条件 $a_n(\omega_n^j) = a_{\gcd(n,j)}(1)$）来确定 CSP 三元组。

主要贡献与结果

• 引入欧拉–高斯序列： 本文定义了一类满足乘法同余式 $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$-高斯同余式（$a_{p^r m}(q) \equiv a_{p^{r-1}m}(q^p) \pmod {[p^r]_{q^m}}$），从而恢复了 $q$-高斯序列的等价性。
  • 定理 4.6： 若对于所有 $n$ 都有 $a_n(1) \neq 0$，则 $q$-欧拉–高斯序列是 $q$-高斯序列。因此，如果一个 $q$-欧拉–高斯序列不是 $q$-高斯序列，则它必然包含至少一个在 $q=1$ 时为零的项。这意味着，所有项均非零的严格欧拉–高须序列必然是 $q$-高斯序列。
• 整除判别法： 本文提出了一个关于 $q$-欧拉–高斯序列的整除判别法猜想，涉及一个递归定义的多项式 $A_n(q)$，并在高达 $10^8$ 的 $n$ 值范围内通过计算进行了验证。
• 循环对称现象 (CSP)：
  • 本文扩展了 Gorodetsky 和 Gossow 的 CSP 研究结果。研究表明，如果一个 $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$-同余等价性的空白，并提出了能产生更简洁特征的修正定义（修正后的两两 $q$-高斯）。
3. 组合解释： 证明了这些新序列（特别是 $q$-SPF 和 $q$-GPF）可以通过一种此前未知的不动点计数条件，通过循环对称现象获得组合解释。

作者保持了谦逊的态度，指出虽然已通过计算验证了整除判别法，但对于一般情况的完整证明仍是一个猜想。他们强调，所讨论的这些序列类在现有的整数序列文献中并未出现。