ざっくり言うと
ゴールドバッハ予想は がともに素数であるような を求める。自然な攻略法は数列 を篩にかけ、小さな素因数を持たない元を見つけ、 の中から素数を単離することを狙う。しかし既知のあらゆる篩——セルバーグ、ブルン、一般の組合せ篩——は「パリティ問題」に悩まされる:単純な篩の下界は、素因数をちょうど1個持つ数と、例えばちょうど3個持つ数とを区別できない。なぜなら篩は整除性しか「見えず」、因数の個数の偶奇は見えないからである。陳のこの障壁の回避法は、パリティ問題に正面から挑むことではなく、目標を緩めることだった:少なくとも1個の素数 について、 が高々2個の素因数しか持たないという、より弱いがそれでも非常に非自明な主張を証明する。
詳しい解説
パリティ問題は、後にセルバーグによって定式化された通り、大まかに言えば、レベル で打ち切られたメビウス関数 だけから構成される篩の重みは、それ自体では 未満の素因数の個数が奇数の数と偶数の数を区別できないということを述べる——なぜならどちらの類も に同じ符号パターンで寄与するからである。レーニは(パリティ問題と名付けられる前の)1947年に、ある固定された がうまくいき を与えることをすでに示していた。陳の定理の篩理論的な内容は、 をこれらの手法で今日までに達成可能な最も鋭い値である まで押し下げることにある。
- パリティ問題(篩理論)
- セルバーグによって特定された根本的な障害であり、組合せ的な篩の手法だけでは、ある数列が(素因数の個数が不特定だが少ない数とは異なり)無限に多くの素数(素因数をちょうど1個持つ数)を含むことを決して証明できないというもの。