[論文レビュー] A simple proof of Sarkozy's theorem

Neil Lyall|arXiv (Cornell University)|Jul 1, 2011

Advanced Topology and Set Theory被引用数 1

ひとこと要約

この論文は、正の上付近密度をもつ自然数の部分集合が、ある平方数だけ異なる2つの異なる要素を含むというサルコジの定理の、新しい初等的証明を提示する。クルートとシサックがロースの定理に最初に用いた手法を応用することで、著者たちは洗練された組合せ的証明を確立し、以前のエルゴディック的またはフーリエ解析的アプローチの代わりに、より単純な代替手法を提供する。

ABSTRACT

It is a striking and elegant fact (proved independently by Furstenberg and Sarkozy) that in any subset of the natural numbers of positive upper density there necessarily exist two distinct elements whose difference is given by a perfect square. In this article we present a new and simple proof of this result by adapting an argument originally developed by Croot and Sisask to give a new proof of Roth's theorem.

研究の動機と目的

• エルゴディック理論や高度なフーリエ解析に依存しない、初等的な組合せ的技法を用いてサルコジの定理の新しい、アクセスしやすい証明を提供すること。
• フュルステンベルクとサルコジの元々の証明を単純化すること。これらの証明は、エルゴディック理論や高度なフーリエ解析に依存していた。
• ロースの定理に最初に開発されたCroot-Sisack法が、多項式の差に基づく構成に応用可能であることを示すこと。
• 自然数の稠密な部分集合に平方数の差が存在することを、自己完結的で明確な議論によって確立すること。

提案手法

• Croot-Sisack法を適応し、密度の高い集合における算術的構造を検出するために、確率的サンプリングと平均化の議論を用いる。
• 密度増加戦略を適用して、集合の密度が著しく高まるボール集合を特定する。
• 誤差項の制御のため、コーシー＝シュワルツの不等式の一般化を用いる。
• 問題を、x - y = d² となる解の存在に関する問いに還元し、対称性と平均化を活用する。
• 密度増加の議論を繰り返し適用して、集合を段階的に精錬し、平方数の差が必然的に存在するようにする。
• 均一分布やスペクトル理論のような高度な道具を避けて、代わりに組合せ的および確率的推論に依存する。

実験結果

リサーチクエスチョン

• RQ1 エルゴディック理論やフーリエ解析に依存せずに、サルコジの定理のより単純な証明を構築できるか？
• RQ2 ロースの定理に用いられたCroot-Sisack法は、多項式の差に基づく構成にどの程度拡張可能か？
• RQ3 自然数の稠密な部分集合に平方数の差が存在することを示す、完全に組合せ的な議論は存在するか？
• RQ4 密度増加戦略は、差が完全平方数であるような非線形パターンを検出するために適応可能か？
• RQ5 サルコジ型の定理を証明するために必要な最小限の解析的道具は何か？

主な発見

• この論文は、自然数の部分集合が正の上付近密度を持つ場合、常に互いに異なる2つの要素が存在し、それらの差が完全平方数であることを確立する。
• 証明は自己完結的であり、エルゴディック理論や高度なフーリエ解析的道具を一切使用しない。
• この方法は、CrootとSisackによるロースの定理のアプローチにインspiredされた密度増加の議論に依存している。
• 議論は構成的性質を有しており、望ましい構造的集合が存在する場所を特定する。
• 技術的負担を最小限に抑えるために、平均化とサンプリング技法の洗練された応用によって結果が得られる。
• 証明は、Croot-Sisack法が非線形パターンに基づく構成を扱う際の柔軟性を示している。