MathLabs
ステップ 2/4: Jurkat–Richertに従う重み付き線形篩
ざっくり言うと

単一の篩和の代わりに、陳はいくつかを組み合わせる:z≈N1/10z\approx N^{1/10} 未満に素因数を持たないシフトされた素数 N−pN-p(すなわち q=1q=1 または qq が素数、あるいは q=P2q=P_2 の候補)を数える主篩和 S(A,P,z)S(\mathcal{A},\mathcal{P},z) と、N−pN-p がカットオフ未満に3個以上の素因数を持つ不要な場合を差し引く補正和である。Jurkat–Richertの定理(1965年)は、線形微分差分方程式系を解く二つの普遍関数 F1,f1F_1,f_1 を用いて、そのような篩和に対する鋭く明示的な上下界を与える。これはまさにこの組み合わせを証明可能な形で正にするために必要な技術である。

S(A,P,z)=#{n∈A:p∣n⇒p≥z},A={N−p:p≤N}S(\mathcal{A},\mathcal{P},z) = \#\{n\in\mathcal{A} : p\mid n \Rightarrow p\ge z\},\qquad \mathcal{A}=\{N-p : p\le N\}
詳しい解説

具体的には、陳は W(N)=∑N−psquarefreep≤N(1−12∑N−p=p1p2p3z≤p1<p2<p31)W(N)=\sum_{\substack{N-p\,\text{squarefree}\\p\le N}} \Big(1-\tfrac12\sum_{\substack{N-p=p_1p_2p_3\\ z\le p_1<p_2<p_3}}1\Big) のような組み合わせを研究する。これにより W(N)>0W(N)>0 は、N−pN-p が zz 未満に因数を持たず、かつ zz を超える3個の素数の積でもないような素数 p≤Np\le N の存在を保証する——これは N−pN-p が素数か P2P_2 であることを強制する(カットオフ z≈N1/10z\approx N^{1/10} のもとでは、残る zz 未満の素因数があっても、全体で高々2個の因数しか与えない重複度でしか現れ得ない)。最初の和は標準的な篩であり、Jurkat–Richertにより下から評価できる。補正和こそが、次のステップの切り替え原理を必要とする箇所である。