Sets of unit fractions without two members whose average is a unit fraction

すべてが分数で構成された世界を想像してみてください。ただし、そこには非常に厳格なルールがあります。すべての断片は「単位分数」でなければなりません。つまり、分子は常に1であり、1/2、1/3、1/100のような形です。数学者たちは何十年もの間、これらの数字を使って、「どれくらいの数を並べれば、偶然パターンが生まれてしまうのか？」といった問いを投げかけてきました。彼らが探している有名なパターンの一つは、等差数列です。これは、1/2、1/3、1/6のように、3つの数が均等に配置されている状態を指します（1/3は1/2と1/6のちょうど中間にあります）。

この論文が取り組んでいる特定のパズルは、一種の「平均値禁止ゲーム」のようなものです。もしあなたが2つの異なる単位分数、例えば 1/a と 1/b を選び、それらの平均（その2つのちょうど真ん中の数）を計算したとき、このゲームはこう問いかけます。「これらの中には、その平均もまた単位分数になってしまうようなペアが一つもないような、巨大な分数のコレクションを構築できるだろうか？」長い間、エルデシュとグラハムという二人の伝説的な数学者は、このようなコレクションが本当に巨大になり得るのかどうか疑問に思っていました。彼らは、もしコレクションを十分に大きくしようとすれば、必然的に平均が単位分数となるペアが含まれてしまうと考えていました。言い換えれば、彼らは「平均値禁止」のルールによって、そのコレクションは極めて小さくせざにかならないと考えていたのです。

ウィル・サウィンによるこの論文は、その領域に足を踏み入れ、驚くべき展開をもたらします。彼は、エルデシュとグラハムが間違っていたことを証明します。単位分数のコレクションを構築することは可能であり、それは驚くほど巨大です。つまり、ある一定の地点までの利用可能な全数値に対して、一定の割合（定数パーセント）を占めるほど大きな集合であっても、決して平均が単位分数になるようなペアを作ることなく構築できるのです。この論文は単なる推測ではありません。著者は、この巨大な集合を作るための具体的なレシピである、厳密な数学的構成を提供し、それが十分に大きな任意の数に対して機能することを証明しています。著者は、このレシピが絶対的に最も効率的なものではないことは認めていますが、それは「そのような集合は小さくなるはずだ」という古い信念を打ち砕くには十分なものです。

大いなる「平均値禁止」強奪事件

1から非常に大きな数 $N$ までの数字を、巨大な群衆と考えてみてください。一人ひとりが数字の書かれた看板を持っています。もしあなたが二人、例えば人 $a$ と人 $b$ を選んだとしたら、彼らは単位分数 1/a と 1/b を表します。彼らの分数の「平均」は、特別な数になります。もしその平均が単位分数（例えば 1/c）になった場合、 $a$ と $b$ は私たちの特別なクラブに入ることが「禁止」されます。目標は、禁止されたペアが一つも存在しない、最大の possible なクラブを結成することです。

長い間、数学界では、このクラブは極めて小さくなければならないと考えられてきました。群衆が増えるにつれてルールが厳しくなり、選ばれる人は極めてわずかな割合になってしまうと考えていたのです。しかし、ウィル・サウィンはこう言います。「ちょっと待ってください！」彼は、あなたが群衆の大きな塊、具体的には、群衆がどれほど巨大になっても、全員の一定の割合 $c$ 以上を維持できることを示しています。

魔法のトリックの仕組み

この強奪作戦を成功させるために、著者は群衆からランダムに人々を連れてくるのではありません。彼は、排他的なクラブの用心棒（ドアマン）のように機能する、非常に特定のフィルター、すなわち一連のルールを使用します。

まず、用心棒は「小さな素因数を持ちすぎる」人を追い出します。素数を数字の基本要素（2、3、5、7など）だと想像してください。用心棒はこう言います。「もし君の数字が2や3のような小さなレンガで作られているなら、入ることはできない」。これにより多くの群衆が排除されますが、より大きく複雑なレンガで作られた人々は依然として健全な数残されます。

次に、用心棒は数字の「複雑さ」をチェックします。彼は、ある数字がいくつの素因数を持っているかを数えます（繰り返しも含めてカウントします。例えば $12 = 2 \times 2 \times 3$ は3つの因子を持ちます）。ルールは、自分のサイズに対して「多すぎる」因子を持っていてはいけないということです。これは、「もし君が中規模の数字なら、異常に大量のレンガの山で構成されていてはいけない」と言うようなものです。

この論文の天才的な点は、もしこのフィルターを通ったグループに従うならば、「悪いペア」（平均が単位分数になるペア）が信じられないほど稀になることを証明している点にあります。著者は、変数の変換（本質的には、パターンを見やすくするために数字の名前を付け替えること）を用いた巧妙な数学的トリックを用いて、このグループにおける一人当たりの「悪いペア」の平均数が非常に低いことを示しています。

実際、数学的な計算によれば、このフィルターを通ったグループの大多数の人々にとって、彼らがペアを組めない相手はほとんど存在しません。著者は、これらの相互作用を注意深く数えることで、禁止されたパートナーを持つ数少ない人々を除去した後でも、残りのグループが依然として巨大であることを証明します。それは依然として、全群衆の一定の割合よりも大きいのです。

なぜこれが重要なのか

この結果は、長い間開かれていた問いに答えるものであるため、非常に大きな意味を持ちます。これは、単位分数の世界が私たちが考えていたよりも柔軟であることを教えてくれます。あなたは、特定の算術的な罠を回避しながら、巨大で構造化された集合を構築できるのです。

さらに、この発見には副作用があります。もし、二つの数の平均が単位分数にならないような単位分数の集合を持っているならば、あなたは自動的に「3項等差数列（3つの数が等間隔に並ぶこと）」を持たない集合を持つことになります。これは、そのような集合の最大サイズに関するこれまでの記録を更新するものです。

著者は、この構成法が機能し、集合が大きくなり得ることを証明してはいるものの、それが「可能な限り最大の」集合であるとは限らないという点に注意を払っています。より優れた、より複雑なレシピがどこかに隠されているかもしれません。しかし、現時点では、この証明こそが問いに対する決定的な答えです。すなわち、「いいえ、その集合は小さくなくてはならないわけではありません。それは、数直線全体の有意な一部として、十分に大きくなり得るのです。」「平均値禁止」のクラブは営業中です。そして、その会員数は驚くほど多いのです。