# SRBRD-16 ## Buchstab-Row Mass / Upper-Bound Mixed-Flow Closure ### Pair-Buchstab Identity、Cube-Root Semiprime Rows、Dimension-2 Row Sieve、Sifting-Depth Tradeoff 與 Modular Analytic Closure **母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program **支線：** SRBRD — Symmetric Root-Bounded Relation Domain **輪次：** SRBRD-16 **日期：** 2026-09-30 **版本：** v0.1 **作者：** Neo.K；Aletheia（GPT-5.6 Sol） **性質：** Exact Buchstab Decomposition / Row-Sieve Kernel / Analytic Interface Audit **前置：** SRBRD-00 ～ SRBRD-15 **狀態：** 將 P2 boundary 的 rough-pair mass、Buchstab loss、semiprime rows 與 transport correction拼成單一 exact identity；uniform closure仍未完成 --- # 0. 本輪主問題 SRBRD-15 已得到： $$ \boxed{ M_{PP} = |\widehat{\mathcal S}_{z_3}| - 2\sum_{r>z_3}n_r + M_{SS}, } $$ 其中： $$ z_3 = \min\left\{ z\in\mathbb N: z^3\ge2m-3 \right\}. $$ 這個 identity 已將 Goldbach ordered count拆成： 1. cube-root RootRough pair mass； 2. semiprime least-factor row mass； 3. semiprime internal transport correction。 但 uniform proof仍需要： $$ \boxed{ \text{lower-bound rough-pair mass} } $$ 與： $$ \boxed{ \text{upper-bound semiprime-row mass}. } $$ SRBRD-16 進一步證明： > 這兩部分都可以被寫成標準 sieve / Buchstab 類 finite arithmetic object。 並得到一條新的 exact master identity： $$ \boxed{ M_{PP} = |\widehat{\mathcal S}_y| - \sum_{\substack{ r\in\mathbb P\\ yz_3 }} n_r + M_{SS}, } $$ 對任意： $$ 2\le y 沒有 finite nontrivial root divisor。 --- # 2. RootRough as Least-Factor Threshold 由 SRBRD-13： ## Theorem SRBRD-16-T01 $$ \boxed{ \operatorname{RootRough}_z(x) \Longleftrightarrow \ell(x)>z. } $$ 對所有： $$ x\ge2. $$ 這一寫法自動正確保留： $$ x\le z $$ 的 prime。 --- # 3. Pair Least-Factor Height 對 ordered endpoint： $$ x\in\widehat\Omega_m, $$ 令： $$ y_x=2m-x. $$ 定義： $$ \boxed{ \rho_m(x) = \min \left( \ell(x), \ell(y_x) \right). } $$ 若兩 endpoints都 prime： $$ \rho_m(x)=+\infty. $$ --- # 4. Pair RootRough Characterization ## Theorem SRBRD-16-T02 $$ \boxed{ x\in\widehat{\mathcal S}_z(m) \Longleftrightarrow \rho_m(x)>z. } $$ 所以不同 cutoff survivor sets具有： $$ \boxed{ z_1 左右 endpoints中第一次出現的最小 composite prime factor落在： > $$ > (y,z]. > $$ 每個 state由： $$ \rho_m(x) $$ 唯一分配到一個 shell。 所以沒有 inclusion–exclusion multiplicity。 --- # 8. Left / Right / Tie Shell Split 可進一步定義： $$ \mathcal B_r^L = \{ x: \ell(x)=r<\ell(2m-x) \}, $$ $$ \mathcal B_r^R = \{ x: \ell(2m-x)=r<\ell(x) \}, $$ $$ \mathcal B_r^T = \{ x: \ell(x)=\ell(2m-x)=r \}. $$ 則： ## Theorem SRBRD-16-T04 $$ \boxed{ \mathcal B_r^{pair} = \mathcal B_r^L \bigsqcup \mathcal B_r^R \bigsqcup \mathcal B_r^T. } $$ 而： $$ \boxed{ \mathcal B_r^T\neq\varnothing \Longrightarrow r\mid m. } $$ 這與前面 center-divisor shared-factor collapse一致。 --- # 9. Cube-Root Cutoff 令： $$ X_m=2m-3, $$ 以及： $$ \boxed{ z_3=z_3(m) = \min \left\{ z: z^3\ge X_m \right\}. } $$ SRBRD-13： $$ \widehat{\mathcal S}_{z_3} $$ 中的 endpoint只能是： - prime； - semiprime。 --- # 10. Semiprime Row Recalled 對： $$ r>z_3 $$ prime， SRBRD-15： $$ \boxed{ \mathcal R_r(m) = \left\{ x\in\widehat{\mathcal S}_{z_3}: r\mid x, \quad x\ge r^2 \right\}. } $$ 而： $$ \mathcal R_r $$ 精確等於： > semiprime endpoints whose least prime factor is $r$。 令： $$ \boxed{ n_r=|\mathcal R_r|. } $$ --- # 11. Cofactor Coordinate for a Row 若： $$ x\in\mathcal R_r, $$ 寫： $$ \boxed{ x=ru. } $$ 因： $$ x\ge r^2, $$ 有： $$ u\ge r. $$ 又： $$ x\le X_m, $$ 所以： $$ \boxed{ u\le \left\lfloor \frac{X_m}{r} \right\rfloor. } $$ --- # 12. Cofactor Primality Is Forced ## Theorem SRBRD-16-T05 若： $$ r>z_3, $$ $$ r\le u, $$ $$ ru\le X_m, $$ 以及： $$ \operatorname{RootRough}_{z_3}(ru), $$ 則： $$ \boxed{ u\in\mathbb P. } $$ --- # 13. T05 Proof 假設： $$ u $$ composite。 由： $$ ru $$ RootRough$_{z_3}$， 所有 prime divisor： $$ p\mid u $$ 都必須： $$ p>z_3. $$ 所以： $$ u>z_3^2. $$ 又： $$ r>z_3, $$ 因此： $$ ru>z_3^3. $$ 但： $$ ru\le X_m\le z_3^3. $$ 矛盾。 所以： $$ u $$ prime。 --- # 14. Exact Row Cofactor Formula 由 T05： ## Theorem SRBRD-16-T06 $$ \boxed{ n_r = \# \left\{ u: r\le u\le \left\lfloor \frac{X_m}{r} \right\rfloor, \quad \operatorname{RootRough}_{z_3}(ru), \quad \operatorname{RootRough}_{z_3}(2m-ru) \right\}. } $$ 這個 formula不必把： $$ u\in\mathbb P $$ 寫入 definition。 它由 RootRough + cube-root bound自動推出。 --- # 15. One-Sided Semiprime Upper Envelope 如果丟掉 complement RootRough condition， 則： $$ u $$ 仍由 T05被迫 prime。 所以： ## Theorem SRBRD-16-T07 $$ \boxed{ n_r \le A_r^{one}(m) } $$ 其中： $$ \boxed{ A_r^{one}(m) = \pi \left( \left\lfloor \frac{X_m}{r} \right\rfloor \right) - \pi(r-1). } $$ 因此： $$ \boxed{ n_{SP} = \sum_{r>z_3}n_r \le U_{SP}^{one} = \sum_{\substack{ r\in\mathbb P\\ z_3 interval： > $$ > [3,X_m] > $$ > 中，least prime factor大於 $z_3$ 的 odd semiprime總數。 它完全忽略： $$ 2m-x $$ 也必須 RootRough$_{z_3}$。 所以它是合法但通常很鬆的 upper envelope。 --- # 17. Finite Audit：One-Sided Envelope selected controls： | $m$ | $z_3$ | exact $n_{SP}$ | $U_{SP}^{one}$ | |---:|---:|---:|---:| | 100 | 6 | 6 | 10 | | 199 | 8 | 8 | 16 | | 496 | 10 | 25 | 63 | | 1000 | 13 | 35 | 86 | | 5000 | 22 | 152 | 489 | | 10000 | 28 | 291 | 1022 | | 100000 | 59 | 2100 | 8856 | 所以： $$ \boxed{ \text{complement RootRough filtering是 row upper bound不可忽略的主結構。} } $$ --- # 18. Row Bulk / Frontier Split 對 fixed： $$ r>z_3, $$ 令： $$ x=ru, $$ $$ y=2m-ru. $$ 定義 row bulk： $$ \boxed{ \mathcal U_r^{bulk} = \left\{ u: r\le u, \quad ru\le2m-z_3^2 \right\}. } $$ 這等價： $$ \boxed{ y\ge z_3^2. } $$ row frontier為： $$ \boxed{ \mathcal U_r^{front} = \left\{ u: 2m-z_3^2z_3^2\ge p^2, $$ 以及： $$ 2m-ru\ge z_3^2\ge p^2, $$ 所以兩側對： $$ p $$ 的 root condition全部自動。 --- # 20. Exact Row-Bulk Residue Sieve ## Theorem SRBRD-16-T08 對： $$ u\in\mathcal U_r^{bulk}, $$ 有： $$ \boxed{ ru \text{ RootRough}_{z_3} } $$ 當且僅當對所有 odd prime： $$ p\le z_3, $$ $$ \boxed{ u\not\equiv0\pmod p. } $$ 同時： $$ \boxed{ 2m-ru \text{ RootRough}_{z_3} } $$ 當且僅當： $$ \boxed{ u \not\equiv 2m\,r^{-1} \pmod p. } $$ 因： $$ r>z_3, $$ 所以： $$ r^{-1}\pmod p $$ 永遠存在。 --- # 21. Local Sieve Dimension 對 odd prime： $$ p\le z_3, $$ 被 row-bulk排除的 residue classes數： $$ \boxed{ \nu_m(p) = \begin{cases} 1, & p\mid m, \\ 2, & p\nmid m. \end{cases} } $$ 因若： $$ p\mid m, $$ 則： $$ 2m r^{-1}\equiv0\pmod p. $$ 兩個 forbidden residues collapse。 --- # 22. Row Sieve Dimension Theorem ## Theorem SRBRD-16-T09 每個 semiprime row bulk： $$ \mathcal R_r^{bulk} $$ 都是同一 local-dimension profile： $$ \boxed{ \nu_m(p)\in\{1,2\}. } $$ residue locations依： $$ r $$ 改變， 但每個： $$ p $$ 的 forbidden-class cardinality只由： $$ p\mid m $$ 決定。 因此 generic： $$ p\nmid m $$ 處是： # Dimension-2 Sieve --- # 23. Row Frontier Size row frontier對應： $$ 3\le yz_3, $$ 定義任意 rigorous provider： $$ \boxed{ U_r^{bulk} \ge |\mathcal R_r^{bulk}|. } $$ 由 T10： $$ \boxed{ n_r \le U_r^{bulk} + F_r^{front}, } $$ 其中： $$ F_r^{front} = 1+ \left\lfloor \frac{ z_3^2-3 }{ 2r } \right\rfloor. $$ 所以： ## Theorem SRBRD-16-T11 $$ \boxed{ n_{SP} \le \sum_{r>z_3} U_r^{bulk} + F_{SP}^{front}. } $$ --- # 27. Why Upper Sieve Is the Natural Row Tool row bulk只需要： > upper-bound避免一組 local residue classes的 integers。 這是 classical upper-bound sieve擅長的方向。 更重要： $$ \boxed{ \text{我們不要求 row sieve證兩個 primes同時存在。} } $$ 只要求： $$ \boxed{ \text{upper-bound semiprime contamination capacity}. } $$ 這和直接 binary-Goldbach lower bound不同。 --- # 28. Pair Survivor Lower Bound Is Harder 另一方面， 要 lower-bound： $$ |\widehat{\mathcal S}_{z_3}| $$ 就需要 dimension-2 lower sieve。 而 cube-root cutoff： $$ z_3 \asymp X_m^{1/3} $$ 正處在 classical lower-sieve困難區。 --- # 29. Sieve Parameter classical beta / DHR sieve通常使用： $$ \boxed{ s = \frac{\log D}{\log z}, } $$ 其中： - $z$：sifting cutoff； - $D$：available sieve level。 對 interval-like sequence， natural distribution level至多約： $$ D=X_m^{1-o(1)} $$ 的尺度。 因此 cutoff： $$ z=X_m^{1/u} $$ 時： $$ \boxed{ s\approx u. } $$ --- # 30. External Dimension-2 Sifting Limit Diamond–Halberstam–Richert dimension-2 sieve的 published sifting limit約： $$ \boxed{ \beta_2\approx4.266. } $$ 也就是 standard lower-bound sieve要進入 positive lower-main-term regime， 需要大致： $$ \boxed{ s>\beta_2. } $$ 這是 external sieve benchmark，不是 SRBRD theorem。 --- # 31. Cube-Root Boundary vs DHR Limit P2 boundary： $$ z_3\asymp X_m^{1/3}. $$ 若： $$ D\asymp X_m, $$ 則： $$ \boxed{ s\approx3. } $$ 但： $$ 3<4.266. $$ 所以： ## External Barrier Observation standard dimension-2 DHR lower sieve不能直接在 natural level下， 對 cube-root P2 boundary提供其 usual positive lower main term。 --- # 32. This Is Not an Impossibility Theorem 這不代表： $$ \boxed{ |\widehat{\mathcal S}_{z_3}| } $$ 不能被其他方法 lower-bound。 也不代表： $$ \boxed{ \text{SRBRD不可能成功}. } $$ 只代表： > 「直接把 P2 boundary當標準 dimension-2 sieve做 lower bound」 > 這條最直線的 classical route碰到已知 sifting-limit障礙。 --- # 33. Sieve-Depth / Factor-Depth Tradeoff 取 general cutoff： $$ z_h \asymp X_m^{1/(h+1)}. $$ SRBRD-12： $$ \operatorname{RootRough}_{z_h}(x) $$ 對： $$ x\le X_m $$ 會迫使： $$ \boxed{ \Omega_{\mathrm{mult}}(x)\le h. } $$ 同時 natural sieve parameter： $$ \boxed{ s\approx h+1. } $$ --- # 34. Tradeoff Table | cutoff scale | max factor count | division depth | sieve parameter | |---|---:|---:|---:| | $X^{1/2}$ | $1$ | $0$ | $\approx2$ | | $X^{1/3}$ | $2$ | $\le1$ | $\approx3$ | | $X^{1/4}$ | $3$ | $\le2$ | $\approx4$ | | $X^{1/5}$ | $4$ | $\le3$ | $\approx5$ | dimension-2 DHR lower positivity約需： $$ s>4.266. $$ 所以最自然直接進入 positive lower-sieve regime的是： $$ \boxed{ X^{1/5} } $$ 附近， 也就是： $$ \boxed{ P_4\text{ boundary}, } $$ 不是： $$ P_2. $$ --- # 35. Interpretation 這精確解釋為什麼： > 直接從 ordinary dimension-2 lower sieve做到 prime / semiprime boundary並不容易。 如果把 cutoff降到： $$ X^{1/5}, $$ lower sieve比較舒服， 但 survivor endpoint又可能有： $$ 4 $$ 個 prime factors。 所以必須： $$ \boxed{ \text{先在低 cutoff取得 mass， 再用 Buchstab / cofactor decomposition逐層推到 cube-root boundary。} } $$ --- # 36. Two-Cutoff Strategy 選： $$ 2\le y\beta_2. $$ 例如 conceptual： $$ u\approx5. $$ 先對： $$ \widehat{\mathcal S}_y $$ 取得 dimension-2 lower bound。 再使用 T03： $$ |\widehat{\mathcal S}_{z_3}| = |\widehat{\mathcal S}_y| - \sum_{yz_3}n_r + M_{SS}. $$ 代入 T03： ## Theorem SRBRD-16-T12 對任意： $$ 2\le yz_3 }} n_r + M_{SS}. } $$ 這是本輪主 theorem。 --- # 38. Four Modules of T12 T12將 ordered Goldbach count拆成： ### Module A — Coarse Rough Mass $$ |\widehat{\mathcal S}_y|. $$ ### Module B — Buchstab Descent Loss $$ \sum_{yz_3}n_r. $$ ### Module D — Internal Transport Rescue $$ M_{SS}. $$ 這四塊彼此角色明確。 --- # 39. Modular Lower-Bound Closure 假設有 proof-admissible providers： $$ \boxed{ L_y \le |\widehat{\mathcal S}_y|, } $$ $$ \boxed{ |\mathcal B_r^{pair}| \le U_r^{B}, } $$ $$ \boxed{ n_r \le U_r^{row}, } $$ $$ \boxed{ L_{SS} \le M_{SS}. } $$ 則： ## Theorem SRBRD-16-T13 $$ \boxed{ M_{PP} \ge L_y - \sum_{yz_3}U_r^{row} + L_{SS}. } $$ --- # 40. Buchstab–Row–Flow Closure Criterion ## Corollary SRBRD-16-C01 若： $$ \boxed{ L_y - \sum_{yz_3}U_r^{row} + L_{SS} >0, } $$ 則： $$ \boxed{ R_G^{-}(2m)>0. } $$ 這是目前最完整的 modular analytic closure contract。 --- # 41. Provider Assignment 最自然工具配置： ### $L_y$ dimension-2 lower sieve。 ### $U_r^B$ Buchstab shell upper sieve / least-factor decomposition。 ### $U_r^{row}$ dimension-2 upper sieve on cofactor row bulk + explicit frontier。 ### $L_{SS}$ SRBRD-15： - row deficiency； - block deficiency； - center-divisor lock； - transport matching。 這刻意讓： $$ \boxed{ \text{lower-bound sieve只工作在較低 cutoff }y, } $$ 而 cube-root附近主要使用： $$ \boxed{ \text{upper bounds + exact transport identities}. } $$ --- # 42. Finite Audit：$m=1000$ $$ X_m=1997. $$ cube-root cutoff： $$ z_3=13. $$ 取 fifth-root scale integer： $$ y=5. $$ exact： $$ |\widehat{\mathcal S}_y|=268, $$ Buchstab loss： $$ 132, $$ 所以： $$ |\widehat{\mathcal S}_{z_3}|=136. $$ semiprime： $$ n_{SP}=35. $$ internal： $$ M_{SS}=8. $$ 因此： $$ \boxed{ M_{PP} = 268-132-70+8 = 74. } $$ reduced： $$ R_G^{-}(2000)=37. $$ --- # 43. $m=1000$ Buchstab Shell Distribution 對： $$ y=5, \quad z_3=13, $$ exact pair losses： $$ |\mathcal B_7^{pair}|=76, $$ $$ |\mathcal B_{11}^{pair}|=34, $$ $$ |\mathcal B_{13}^{pair}|=22. $$ 總和： $$ \boxed{ 132. } $$ 這證明 descent loss確實被 least-factor shells disjoint分解。 --- # 44. Finite Audit：$m=5000$ $$ X_m=9997, $$ $$ z_3=22. $$ 取： $$ y=7. $$ exact： $$ |\widehat{\mathcal S}_y|=954, $$ Buchstab loss： $$ 430, $$ $$ |\widehat{\mathcal S}_{z_3}|=524. $$ semiprime： $$ n_{SP}=152. $$ internal： $$ M_{SS}=34. $$ 所以： $$ \boxed{ M_{PP} = 954-430-304+34 = 254. } $$ 即： $$ R_G^{-}(10000)=127. $$ --- # 45. $m=5000$ Shell Distribution $$ |\mathcal B_{11}^{pair}|=172, $$ $$ |\mathcal B_{13}^{pair}|=120, $$ $$ |\mathcal B_{17}^{pair}|=76, $$ $$ |\mathcal B_{19}^{pair}|=62. $$ 總： $$ \boxed{ 430. } $$ --- # 46. Larger Two-Cutoff Controls ### $m=10000$ $$ z_3=28, $$ fifth-root-scale： $$ y=8. $$ $$ |\widehat{\mathcal S}_y|=1908, $$ $$ |\widehat{\mathcal S}_{z_3}|=954, $$ loss： $$ 954. $$ $$ n_{SP}=291, $$ $$ M_{SS}=90, $$ 所以： $$ \boxed{ M_{PP}=462. } $$ ### $m=100000$ $$ z_3=59, $$ $$ y=12. $$ $$ |\widehat{\mathcal S}_y|=15584, $$ $$ |\widehat{\mathcal S}_{z_3}|=6358, $$ loss： $$ 9226. $$ $$ n_{SP}=2100, $$ $$ M_{SS}=676, $$ 所以： $$ \boxed{ M_{PP}=2834. } $$ --- # 47. One-Sided Row Envelope No-Go 若只用： $$ U_{SP}^{one}, $$ 則粗 lower： $$ M_{PP} \ge |\widehat{\mathcal S}_{z_3}| - 2U_{SP}^{one} + L_{SS}. $$ 即使暫時用 exact： $$ L_{SS}=M_{SS}, $$ selected： ### $m=1000$ $$ 136-2(86)+8=-28. $$ ### $m=5000$ $$ 524-2(489)+34=-420. $$ ### $m=10000$ $$ 954-2(1022)+90=-1000. $$ ### $m=100000$ $$ 6358-2(8856)+676=-10678. $$ 所以： $$ \boxed{ \text{忽略 opposite-endpoint RootRough 的 row upper envelope根本不夠。} } $$ --- # 48. Exact Location of the Needed Gain uniform proof若走 T13， 真正需要強化的不是： $$ \boxed{ \text{one-sided semiprime counting}. } $$ 而是： $$ \boxed{ \text{two-form row sieve} } $$ 即 simultaneous： $$ ru $$ 與： $$ 2m-ru $$ 避開 small root divisors。 在 row bulk它正是 T08 的 dimension-2 residue system。 --- # 49. Why This Is Better Localized Than Original Goldbach 原 Goldbach： $$ x, \quad 2m-x $$ 兩者同時 prime。 row problem： $$ ru, \quad 2m-ru $$ 只要求： > upper-bound通過 RootRough sieve的 cofactor candidates。 這仍是 two-form sieve， 但我們只需： $$ \boxed{ \text{upper bound}. } $$ 不需直接 lower-bound simultaneous primes。 這是方法上的重要不對稱。 --- # 50. Pair-Buchstab Loss Is Also an Upper-Bound Problem T13 中： $$ |\mathcal B_r^{pair}| $$ 也是被 subtract的 quantity。 所以它只需要： $$ \boxed{ \text{upper bound}. } $$ 因此整個 cube-root descent階段： - Buchstab shells：upper； - semiprime rows：upper； - transport overlap：lower from exact combinatorics。 唯一 classical hard lower sieve被推到： $$ \boxed{ \text{較低 cutoff }y. } $$ --- # 51. This Is the Main Architectural Gain 舊問題： > 直接在： > $$ > z=X^{1/3} > $$ > 做 dimension-2 lower sieve。 SRBRD-16 改成： 1. 在： $$ y\approx X^{1/5} $$ 取得 lower mass； 2. 用 upper-bound Buchstab losses往上推 cutoff； 3. 在 P2 boundary扣 semiprime rows； 4. 用 transport correction補 overlap。 所以： $$ \boxed{ \text{最難的 lower-bound工作被移到 sieve較舒服的 cutoff。} } $$ 這仍不是 proof， 但是真正改變了 analytic burden placement。 --- # 52. Relation to Weighted / Chen-Type Sieve Philosophy 外部 Chen-type方法的核心精神之一也是： > 不直接要求 ordinary sieve在 prime boundary完成所有工作； > 而加入 weighted / switching / almost-prime decomposition來跨越 parity-sensitive區域。 SRBRD-16 的： $$ \boxed{ \text{lower cutoff} \to \text{Buchstab descent} \to P_2 \to \text{transport correction} } $$ 在高層結構上與此哲學相容。 但本文件沒有重現 Chen theorem， 也沒有因此得到 Goldbach proof。 --- # 53. Potential New Source SRBRD 相較 ordinary weighted sieve額外保留： 1. symmetric center coordinate； 2. exact pair least-factor shell； 3. RootRough dynamic boundary； 4. semiprime least-factor rows； 5. center-divisor transport lock； 6. $SS$ matching / flow correction。 真正需要驗證的是： > 這些額外 coupling是否足以讓 T13 crossing。 目前尚未完成。 --- # 54. Analytic Provider API 建議後續正式定義： ```yaml RoughPairLower: cutoff: y output: L_y PairBuchstabUpper: prime_r: y < r <= z3 output: U_B_r SemiprimeRowUpper: prime_r: r > z3 output: U_row_r InternalFlowLower: output: L_SS ``` closure： ```yaml if: L_y - sum(U_B_r) - 2*sum(U_row_r) + L_SS > 0 then: Goldbach_success: true ``` --- # 55. Formal Theorem Queue ```yaml SRBRD_16: T01: RootRough_iff_extended_lpf_gt_cutoff T02: pair_RootRough_iff_pair_lpf_height_gt_cutoff T03: exact_pair_Buchstab_identity T04: left_right_tie_shell_partition T05: cube_root_row_cofactor_forced_prime T06: exact_row_cofactor_formula T07: one_sided_semiprime_upper T08: row_bulk_exact_residue_sieve T09: row_bulk_dimension_profile T10: row_frontier_capacity T11: abstract_row_upper_provider T12: exact_Buchstab_Row_Flow_identity T13: modular_provider_lower_bound ``` --- # 56. Acceptance Gate SRBRD-16 formal core前需： 1. extended lpf with prime infinity semantics； 2. RootRough equivalence； 3. pair minimum-factor shell； 4. Buchstab shell disjointness； 5. cube-root cofactor primality theorem； 6. exact row cofactor formula； 7. row bulk / frontier split； 8. exact forbidden residues； 9. center-divisor residue collapse； 10. frontier bound； 11. one-sided upper no-go audit； 12. DHR sifting-limit statement clearly marked external； 13. no claim that DHR barrier is impossibility； 14. modular closure theorem； 15. finite audit separated from proof； 16. no Goldbach proof claim。 --- # 57. Verdict 本輪可以給： $$ \boxed{ \mathrm{SRBRD\mbox{-}16\ BUCHSTAB\mbox{-}ROW\mbox{-}FLOW\ KERNEL\ PASS}. } $$ 最重要的新 exact identity： $$ \boxed{ M_{PP} = |\widehat{\mathcal S}_y| - \sum_{yz_3}n_r + M_{SS}. } $$ 這第一次把： - coarse sieve mass； - cutoff descent； - semiprime contamination； - transport rescue； 完整放進同一條公式。 並且 external sieve audit指出： $$ \boxed{ z=X^{1/3} } $$ 對 dimension-2 lower sieve太靠近 classical sifting-limit barrier， 而： $$ \boxed{ y\approx X^{1/5} } $$ 是更自然的 lower-sieve起點。 因此： $$ \boxed{ \text{lower sieve at low cutoff} + \text{upper-bound descent} + \text{transport correction} } $$ 成為目前最合理的 analytic architecture。 但： $$ \boxed{ \mathrm{UNIFORM\ CROSSING\ NOT\ YET\ PROVED}. } $$ 以及： $$ \boxed{ \mathrm{GOLDBACH\ STILL\ OPEN}. } $$ --- # 58. 下一輪建議 # SRBRD-17 ## Pair-Buchstab Shell / Row-Sieve Quantitative Closure 下一輪應開始真正 quantitative 化 T13。 優先： ### A. Lower cutoff 選： $$ y=X^{1/u}, \qquad u>\beta_2, $$ 建立 explicit： $$ L_y. $$ ### B. Buchstab shells 對： $$ yz_3, $$ 在 row bulk使用 dimension-2 upper sieve， frontier使用 T10 elementary bound。 ### D. Transport 帶入： - center-divisor exact lock； - row / block deficiency； - selected matching lower bound。 最後直接檢： $$ \boxed{ L_y - \sum U_r^B - 2\sum U_r^{row} + L_{SS} >0. } $$ 這會是第一輪真正把 classical sieve constants與 SRBRD transport constants放進同一個數值 inequality。 --- # 附錄 A：Pair-Buchstab Contract ```yaml extended_lpf: prime: infinity composite: lpf pair_height: rho_m_x: min( extended_lpf(x), extended_lpf(2m-x) ) survivor_cutoff_z: iff: rho_m_x > z shell_r: rho_m_x == r identity: S_y: S_z disjoint_union shell_r_for_y_less_r_le_z ``` --- # 附錄 B：Semiprime Row Cofactor Contract ```yaml cube_cutoff: z3^3 >= X X: 2m-3 row_r: r: prime r > z3 endpoint: x: r*u range: r <= u <= floor(X/r) conditions: RootRough_z3(r*u) RootRough_z3(2m-r*u) theorem: u_prime: forced: true ``` --- # 附錄 C：Row Bulk Sieve ```yaml bulk: r*u <= 2m-z3^2 for_each_odd_prime_p_le_z3: forbidden_residues: - u == 0 mod p - u == 2m*r_inverse mod p count: if_p_divides_m: nu_p: 1 else: nu_p: 2 sieve_dimension: generic: 2 ``` --- # 附錄 D：Sieve-Depth Tradeoff ```yaml cutoff: z: X^(1/(h+1)) RootRough_endpoint: max_prime_factor_count: h natural_sieve_parameter: s: approximately_h_plus_1 external_dimension2_DHR: beta2: approximately_4.266 implication: cube_root_P2: s_approximately: 3 direct_DHR_lower_positive_main_term: unavailable_in_standard_regime: true fifth_root_P4: s_approximately: 5 standard_lower_sieve_regime: plausible: true ``` --- # 附錄 E：Selected Exact Two-Cutoff Audit | $m$ | $y$ | $z_3$ | $|\widehat{\mathcal S}_y|$ | Buchstab loss | $|\widehat{\mathcal S}_{z_3}|$ | $n_{SP}$ | $M_{SS}$ | $M_{PP}$ | |---:|---:|---:|---:|---:|---:|---:|---:|---:| | 1000 | 5 | 13 | 268 | 132 | 136 | 35 | 8 | 74 | | 5000 | 7 | 22 | 954 | 430 | 524 | 152 | 34 | 254 | | 10000 | 8 | 28 | 1908 | 954 | 954 | 291 | 90 | 462 | | 100000 | 12 | 59 | 15584 | 9226 | 6358 | 2100 | 676 | 2834 | --- # 附錄 F：One-Sided Row No-Go ```yaml m_1000: exact_nSP: 35 one_sided_upper: 86 resulting_PP_lower_even_with_exact_SS: -28 m_5000: exact_nSP: 152 one_sided_upper: 489 resulting_PP_lower_even_with_exact_SS: -420 m_10000: exact_nSP: 291 one_sided_upper: 1022 resulting_PP_lower_even_with_exact_SS: -1000 m_100000: exact_nSP: 2100 one_sided_upper: 8856 resulting_PP_lower_even_with_exact_SS: -10678 diagnosis: opposite_endpoint_RootRough_filter: essential: true ``` --- # 附錄 G：Commit Decision ```yaml research_round: SRBRD-16 decision: exact_pair_Buchstab_identity: true row_cofactor_prime_forced: true row_bulk_dimension2_sieve: true frontier_elementary_bound: true sieve_depth_tradeoff_identified: true modular_analytic_closure: true uniform_crossing: false goldbach_proved: false next: SRBRD-17_PairBuchstabShell_RowSieve_Quantitative_Closure ``` --- # References - C. S. Franze, “Sifting Limits for the $\Lambda^2\Lambda^-$ Sieve,” *Journal of Number Theory* 131 (2011), 1707–1725. - H. G. Diamond and H. Halberstam, *A Higher-Dimensional Sieve Method*, Cambridge Tracts in Mathematics 177, Cambridge University Press, 2008, with computational procedures by W. F. Galway. - T. Tao, “254A, Notes 4: Some sieve theory,” 2015. - T. Tao, “254A, Supplement 5: The linear sieve and Chen’s theorem,” 2015.