A further investigation on covering systems with odd moduli

技術的概要：奇数法則を持つ被覆系に関するさらなる調査

問題の定義
本論文は、1950 年にポール・エルデシュによって導入された数論における中心的な未解決問題である「奇数被覆問題」を取り扱っている。奇数被覆系とは、すべての整数が少なくとも一つの合同式を満たし、かつすべての法が 1 より異なる奇数であるような、合同式の有限集合として定義される。そのような系の存在は未証明のままとなっている。

近年の研究は、この問題の変種に焦点を当てており、具体的には、他のすべての法が 1 より異なる奇数であるという条件下で、特定の奇数 $k$ が法として何回繰り返され得るかを調査している。$t_k$ を、$k$ が $t_k$ 個の合同式において法として現れ、かつ他のすべての法が 1 より異なる奇数であるような被覆系が存在する最小の非負整数とする。もし奇数被覆系が存在するならば、すべての奇数 $k$ に対して $t_k \le 1$ となる。ハリングトン、スン、ウォングによる先行研究は、$p$ が素数である場合の $t_p$ の上限を確立した（例えば、$11 \le p \le 19$ に対して $t_p \le p-4$）。

手法
著者らは、既存の $t_k$ の上限を改善するために、構成論的組合せ論と合同算術の組み合わせを用いる。

1. 再帰的構成（定理 2.2）: 本論文は、既存の系に基づいて重複する法を持つ被覆系を生成する方法を導入する。法 $k$ が $t$ 回繰り返される系が存在する場合、著者らは法 $km$が最大で$m(t-1)+1$回（または$\gcd(k,m)=1$の場合$(m-1)(t-1)+1$ 回）繰り返される系をどのように構成するかを示す。これにより、素数から合成数への上限の拡張が可能となる。
2. ツリー図表記: 複雑な被覆系を提示するために、著者らはハリングトン、スン、ウォングによって確立されたツリー図表記を利用し、これを改良する。この表記法は、法を素数の部分集合の積として体系的にリストアップし、被覆を確実にするために特定の順序でソートする。
3. 直接構成: 特定の合成数（9, 15, 21, 25）および大きな素数（$p \ge 17$）に対して、著者らはツリー図を用いた被覆系の明示的な構成を提供する。これらの構成は、必要な合同式を生成するために特定の素数 $q$（$q$ は十分に大きい）を選択することに依存している。
4. 部分集合被覆への応用: 本論文は、重複する法という概念を適用して、整数の特定の部分集合に対する奇数被覆を導出する。法 $k$ を特定の剰余類で繰り返す被覆系を構成することにより、著者らはこれらの剰余類の補集合が異なる奇数法によって被覆され得ることを示す。

主要な貢献と結果
本論文の主要な貢献は、さまざまな奇数 $k$ に対する既知の $t_k$ の上限を改善することである。結果は以下のように要約される。

• 合成数:
  • $t_9 \le 3$（定理 2.5）
  • $t_{15} \le 4$（定理 2.6）
  • $t_{21} \le 5$（定理 2.7）
  • $t_{25} \le 8$（定理 2.8）
  • $11 \le p \le 13$ に対して $k=p^2$ の場合、$t_k \le p(p-5)$（系 2.3）。
  • $p \ge 17$ に対して $k=p^2$ の場合、$t_k \le p(p-6)$（定理 2.2 および 2.4）。
• 大きな素数:
  • 任意の素数 $p \ge 17$ に対して、$t_p \le p-5$（定理 2.4）。これはこの範囲における以前の上限 $p-4$ を改善するものである。
  • 重要なのは、$p \ge 17$ に対する構成が法として $p^2$ を用いないことであり、これにより定理 2.2 の再帰的適用が可能となる点である。

整数部分集合への応用
これらの結果の重要な応用として、いくつかの特定の整数部分集合の和集合が奇数被覆を持つことの証明がある。$t_9 \le 3$ に対する被覆系（具体的には剰余類 $0, 3, 6 \pmod 9$）を利用することで、著者らは集合 $S = \{a \in \mathbb{Z} : \text{もし } 3|a \text{ ならば } 9|a\}$ 以外の項が有限個しかない任意の整数部分集合が奇数被覆を持つことを証明する。

その結果、本論文は以下の集合（およびそれらの和集合）が奇数被覆を持つことを確立する。

• 2 つの平方数の和
• 2 つの立方数の和
• パワフル数
• 素数および素数のべき
• 順列の個数（ダーランジュマン数）
• フェルマー数
• 完全数

意義と限界
本論文は、「重複する法」という変種における奇数被覆問題の上限を厳密化し、すべての $k$ に対して $t_k=1$ となる閾値に近づける点で意義があると主張している。$t_9 \le 3$ に対する明示的な構成は、ダーランジュマン数や立方数の和のような複雑な組合せ論的数列を被覆可能にするため、特に注目すべきである。

著者らは、奇数被覆問題の究極的な解決については謙虚な立場をとっている。結果として多くの部分集合を被覆するものの、整数全体の集合に対する奇数被覆系の存在はまだ証明されていないと指摘している。さらに、$t_9$ を 2 に削減できるか（これによりベル数が被覆される）、あるいは他の特定の剰余類構成（例えば 3 つの立方数の和など）に対して被覆系が存在するかなど、未解決の方向性を強調している。本作業は、奇数法を持つ被覆系の構造的制約を理解するための一歩として提示されている。