Weak Inhomogeneous Poissonian Pair Correlation and Equidistribution

円形のステージ上に、巨大で終わりのないダンサーの列を想像してみてください。数学者たちは、これらのダンサーがどのように広がっていくのかを観察することを好みます。彼らはステージ全体に均等に広がっているのでしょうか？それとも塊になっていますか？あるいは、隣人と完璧にランダムな距離を保っているのでしょうか？

長い間、数学者たちには、もしダンサーたちが特定の高度な方法で真に「ランダム」であるならば、どのように振る舞うべきかという一連のルールがありました。彼らはそれを**ポアソン対相関（Poissonian Pair Correlation: PPC）**と呼びました。PPCは、ランダム性の「黄金律」だと考えてください。もしあなたのダンサーがPPCを持っているなら、彼らは完璧に間隔が空いており、もし二人のダンサーの間の距離を見れば、それは非常に特定の、予測可能なパターンに従っています。

しかし、ここにひねりがあります。もしダンサーたちが単に互いを見ているだけでなく、ステージのどこかに浮いている「ゴースト（幽霊）」のダンサーから、特定の距離を保とうとしているとしたらどうでしょう？これは、**不均質PPC（Inhomogeneous PPC）**と呼ばれます。これは、「私はランダムでありたいが、同時にこの目に見えない友人のちょうど$\gamma$ステップ分だけ離れていたい」と言うようなものです。

この論文の著者であるZhiqin TangとQing-Long Zhouは、このゲームのルールをテストすることに決めました。彼らはこう問いかけました。「もしダンサーたちが、普通の友人のための『黄金律』に従っているなら、それは彼らが普通の友人のための黄金律にも従っていることを意味するのだろうか？そして、それは彼らがステージ全体に均等に広がっていることを意味するのだろうか？」

大きな驚き：ルールは一致しない

通常のランダム性の世界（ゴーストのいない世界）では、整然としたルールの梯子が存在していました。もしあなたが最強のルール（PPC）を持っていれば、自動的により弱いルールも持っていることになります。それはピラミッドのようなものでした。もしあなたが頂点にいれば、間違いなく底辺にもいるということでした。

著者たちは、ゴーストの友性を加えると、このピラミッドが崩壊することを証明しました。

彼らは、ゴーストの友人のための「弱い」バージョンのルールに従っているのに、通常の強いバージョンには従っていない、そのようなダンサーの列が存在することを示しました。実際、彼らは、弱いバージョンはダンサーがステージ全体に均等に広がっていることさえ保証しないことを証明しました。

ここが決定的なポイントです： 通常の世界では、もしダンサーが弱いルールに従っていれば、彼らは必ず均等に広がっていなければなりません。しかし、この「ゴーストの友人」の世界では、著者たちは、弱いゴースト・ルールを完璧に満たしているにもかかわらず、塊になっており、そのために均等に分布していないという特定のシーケンスを構築しました。これは、人々が予想していたこととは鮮やかな対照をなしています。

「異なるゴースト」実験

この論文はさらに先へ進みます。想像してみてください、あなたには二人の異なるゴーストの友人がいます。名前をGhost AとGhost Bとしましょう。彼らはステージの異なる場所に立っています。

著者たちは問いかけました。「もし私のダンサーたちが、Ghost Aとの距離を保つように完璧に配置されているなら、それはGhost Bに対してもうまく配置されていることを意味するのだろうか？」

答えは、大きなNOです。

彼らは、二つの異なるゴーストの位置（例えば、0と0.5の間にある$\gamma_1$と$\gamma_2$）に対して、Ghost Aには完璧だが、Ghost Bにとってはめちゃくちゃなダンスラインを作ることができることを証明しました。結局のところ、一つのゴーストの距離に対して「優れている」ことは、別の距離に対しては何の助けにもなりません。それらは完全に独立した概念なのです。

彼らはどのように証明したのか？

彼らは単に推測したわけではありません。数学と確率を巧みに組み合わせた、巧妙なダンスラインを構築しました。

1. 最初の驚き（弱 $\neq$ 強）に対して： 彼らは、ランダムなペアからなるダンスラインを想像しました。半分はランダムな場所に立ち、残りの半分は、その同じ場所にゴーストの距離分だけ足した場所に立ちます。彼らは、このラインが「弱い」ランダムさのテストには合格するものの、ペアがあまりにも予測可能であるため、厳格なテストには失敗することを示しました。
2. 「均等に分布していない」驚きに対して： 彼らは別のトリックを使いました。ダンサーの密度が変化する（混雑している場所もあれば、空いている場所もある）ダンスラインを作成しました。彼らは、このような不均一な群衆であっても、「弱い」ゴースト・ルールが依然として成立することを証明しました。これは、弱いルールが常に均等な広がりを強制するという考えを打ち砕きました。
3. 「異なるゴースト」の驚きに対して： 彼らは、巨大なブロック・バイ・ブロックのダンス・ルーチンを構築しました。彼らは、Ghost Aにとって完璧なダンサーのブロックを積み重ねましたが、その積み重ね方によって、Ghost Bのためのパターンは完全に台無しになりました。彼らは、この構成が任意の二つの異なるゴーストの位置に対して機能することを数学的に証明しました。

これが何を意味するか

この論文は、単に「私たちはこう思う」と言っているだけではありません。彼らは証明したのです。彼らは、古いアイデアに対する反例として機能する具体的な例を構築しました。

• 彼らは、弱い不均質なルールが強い不均質なルールを暗示するという考えを否定しました。
• 彼らは、弱い不均質なルールがダンサーの均等な広がりを暗示するという考えを否定しました。
• 彼らは、一つのゴーストの距離に対して優れていることが、別のゴーストの距離に対して優れていることについて、何も教えてくれないことを証明しました。

ですから、次にダンサーの列を見るときは、もし彼らが一人の友人のためにランダムに見えるなら、彼らがすべての友人のためにランダムに見えるはずだとか、あるいは彼らがステージ全体を満たしているはずだとは決めつけないでください。この奇妙で不均質な世界では、ルールは私たちが想像していたよりもずっと混沌としており、独立しています。著者たちは、私たちが知っていたはずの美しく整然としたランダム性の梯子が、多くの別々の、独立した段へと壊れてしまったことを示してくれたのです。