A Distinct Covering System with Minimum Modulus 7 and Minimal Least Common Multiple 10080

数直線が、負の無限大から正の無限大まであらゆる整数が並ぶ、果てしなく続くハイウェイであると想像してみてください。数学の一分野である数論には、このハイウェイ全体を、単なる「交通標識」のセットを使って「覆う」という、非常に魅力的なパズルがあります。これらの標識は、「7台に1台の割合で赤色の車が通る」とか「12台に1台の割合で青色の車が通る」といったものです。異なる間隔でこれらの標識を十分に配置すれば、すべての車が赤、青、あるいは他の色になるようにすることができるかもしれません。これらの一連の繰り返されるパターンを用いて、すべての整数をカバーできたとき、あなたは「被覆系（covering system）」を作り上げたことになります。

数学者たちが、より厳格なルールを課すことがあります。それが「相異なる被覆系（distinct covering system）」です。これは、すべての標識がユニークな間隔を持たなければならないことを意味します。つまり、同じ「7台に1台」という標識を2つ使うことはできず、間隔となる数字は7、8、9、10のように、すべて異なる数字でなければなりません。自然な疑問として、この「最小のモジュラス（最小の間隔）」は、どれほど小さくできるのでしょうか？ 長い間、数学者たちは、この最小値に硬い限界があるのではないかと考えてきました。最近、確かに限界があることが証明されましたが、残された謎は「効率性」についてでした。もし最小の間隔を（例えば7と）固定した場合、システム全体を機能させるために必要な「最大の数（最小公倍数）」は、理論上どれほど小さくできるのでしょうか？ これは、一歩の歩幅が7歩だとすると、自分の歩みのパターンが道路上のあらゆる位置と完璧に一致するまでに、どれだけの距離を歩かなければならないのか、という問いに似ています。

本論文は、最小の間隔が7である特定のケースについて、まさにその問いに取り組んでいます。著者である張詩良（Shiliang Zhang）と張継恒（Jiheng Zhang）は、間隔7から始まる相異なる被覆系を作るために必要な、絶対的な最小の「最大の数」を見つけ出そうとしました。この研究以前、クライン（Klein）という数学者が、最大の数が15,120となる動作可能なシステムを構築し、これが最善であると推測していました。しかし、本論文の著者たちは、クラインの推測が高すぎたことを証明しました。彼らは、最大の数がわずか10,080となる、より効率的なシステムを構築したのです。さらに、彼らは、最小の間隔が7である場合、10,080よりも小さい数でこれを実現することは不可能であることも数学的に証明しました。彼らは単により良い解を見つけただけでなく、それが「最善の解」であることを証明したのです。

10,080という数字の探偵物語

著者たちがどのようにこの問題を解決したかを理解するために、あなたが巨大で埃っぽい倉庫の中で、特定の鍵を探している探偵だと想像してみてください。その倉庫には、7の倍数であり、かつ5,040から10,080の間にある、あらゆる可能な「最大の数（最小公倍数）」が入っています。あなたの目標は、この範囲にあるすべての数が、ドアを開けることができない「偽物の鍵」であり、10,080こそが「本物の鍵」であることを証明することです。

第1のフィルター：逆数和
著者たちはまず、「逆数和フィルター」を適用することから始めました。日常的な言葉で言えば、考えられる各間隔（例えば7、8、9など）が、システムに対して微小な「被覆力」を寄与していると考えてください。ルールでは、選んだすべての間隔の合計の「力」が1を超えていなければ、ハイウェイ全体を覆うことはできません。特定の候補数に対して利用可能なすべての間隔の「力」を足し合わせ、その合計が1未満であれば、その候補は即座に失格となります。このフィルターは非常に効果的で、ほとんどの数を即座に排除し、わずか18個の疑わしい候補だけを残しました。

第2のフィルター：整数計画法テスト
次に、著者たちは「整数計画法」と呼ばれる強力なコンピュータツールを使用しました。これは、非常に整理されたパズル・ソルバーのようなものです。残された18個の候補それぞれについて、コンピュータは交通標識（剰余類）を配置し、隙間なくハイウェイ全体を覆えるかどうかを試行しました。コンピュータは、パターン全体を1ステップ分ずらすような、結果を変えない冗長な配置を無視するように賢く設計されていました。このフィルターは容赦なく、14個の候補を排除しました。つまり、それらの数に対して標識をどのように配置したとしても、必ずどこかに車の空白が生じてしまうことを証明したのです。

第3のフィルター：部分和
4つの候補が残りました：5,040、7,560、8,400、そして9,240です。これらは「手強い問題」でした。著者たちは、ある数の場合はハイウェイの「ほぼすべて」を覆うことができるが、ごくわずかな車だけが覆われない状態になることがあることに気づきました。これにより、先ほどのテストは複雑になりました。これに対処するため、彼らは「部分和フィルター」を用いました。標識がすべてを完璧に覆うと仮定するのではなく、標識の「部分集合」を用いた最も優れた配置によって、ハイウェイのどれだけの割合を実際に覆えるのかを正確に計算しました。その結果、8,400と9,240については、たとえ最も楽観的な標識の配置を行ったとしても、残りの標識では埋められないほどの大きな隙間が残ることが分かりました。これにより、この2つの数は除外されました。

最終決戦：Gurobiによる計算
残ったのは、2つの執拗な容疑者、5,040と7,560でした。これらの数はハイウェイを覆う能力が非常に高く、それぞれ96%および98%以上の領域をカバーでき、わずかな、見つけにくい隙間を残すだけでした。これを解決するために、著者たちはGurobiというソフトウェアを使用して、大規模で徹底的なコンピュータ・シミュレーションを実行しました。彼らは単に推測したのではなく、これら2つの数のための標識のあらゆる可能な配置方法をすべてチェックしました。コンピュータは何千秒間も稼働し、数百万の可能性をチェックし、最終的に「実行不能（Infeasible）」と宣言しました。これは、最小ステップが7である場合、5,040または7,560を最大の数として用いてハイウェイを覆うことは数学的に不可能であることを意味します。

勝者：10,080
より小さな数がすべて排除された後、著者たちは10,080に注目しました。彼らはそれが可能であると証明しただけでなく、実際のシステムを構築しました。彼らは、ハイウェイ全体を完璧に覆う具体的な間隔と開始点（例えば「6から始まる毎7番目の車」、「7から始まる毎8番目の車」など）をリストアップしました。そして、このシステムが機能することを検証し、10,080が確かに動作する解であることを証明しました。

結論

本論文は、決定的な答えを出して締めくくられています。最小ステップが7である相異なる被覆系の最小の「最大の数」は、正確に10,080です。これは、以前の記録であった15,120を更新するものです。著者たちは単により良い数字を見つけたのではありません。彼らは、単純な数学的チェックから複雑なコンピュータ・シミュレーションに至るまで、あらゆる可能性を系統的に排除することで、より小さな数では決して不可能であることを証明したのです。彼らは、より小さな数を使えば無限のハイウェイの大部分を覆うことはできても、10,080に到達するまでは完璧に覆うことはできないということを示したのです。