# SRBRD-22
## Goldbach-Shift Complement Promotion / Uniform Low-Row Replacement
### Complementary-Divisor Switching、$3/5\leftrightarrow2/5$ Scale Duality、Affine Prime Lattices、Switched-Level Barrier 與 New Low-Row Normal Form

**母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program  
**支線：** SRBRD — Symmetric Root-Bounded Relation Domain  
**輪次：** SRBRD-22  
**日期：** 2026-09-30  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Exact Complement-Switch Kernel / Low-Row Replacement Architecture / Analytic Barrier Audit  
**前置：** SRBRD-00 ～ SRBRD-21  
**狀態：** Complement Promotion 成功移除 large shift 作為 reciprocal spectral numerator 的必要性，但將困難轉移成 complementary-divisor transformed weight / switched level of distribution；Goldbach仍未證明

---

# 0. 本輪起點

SRBRD-21 已證：

Maynard-II low-row proof不能只靠追 implied constants而升級到：

$$
a_X=X+3.
$$

原因包括：

1. Bezout residual phase：
   $$
   \frac{|a|(\log X)^C}{X};
   $$
2. 第二 reciprocal simplification同型；
3. spectral numerator range：
   $$
   Y\propto|a|.
   $$

對：

$$
a_X\asymp X,
$$

current fixed-$a$ architecture失效。

因此 SRBRD-22 改變 normal form。

不再從：

$$
nv\equiv A_X\pmod q
$$

出發做 reciprocal spectral analysis，

而將 residual：

$$
A_X-nv
$$

提升成 primary variable。

---

# 1. Goldbach Shift

令：

$$
\boxed{
X=2m-3,
}
$$

所以：

$$
\boxed{
A_X=2m=X+3.
}
$$

low-row prime-product variables：

$$
n\sim N,
$$

$$
v\sim M,
$$

其中：

$$
\boxed{
NM\asymp X,
}
$$

以及：

$$
\boxed{
X^{1/3+\eta}
\lesssim
N
\lesssim
X^{2/5-\eta}.
}
$$

通常：

$$
v
$$

是較大的 prime factor：

$$
M\asymp X/N.
$$

---

# 2. Positive Complement

在 SRBRD application 中：

$$
nv\le X.
$$

因此：

$$
\boxed{
w
=
A_X-nv
=
X+3-nv
\ge3.
}
$$

所以：

$$
w
$$

是一個真正 positive arithmetic variable。

---

# 3. Complement-Promotion Equivalence

## Theorem SRBRD-22-T01

對：

$$
q\ge1,
$$

有：

$$
\boxed{
nv\equiv A_X\pmod q
}
$$

當且僅當：

$$
\boxed{
q\mid w,
\qquad
w=A_X-nv.
}
$$

這是 exact identity。

---

# 4. Complementary Divisor

若：

$$
q\mid w,
$$

定義：

$$
\boxed{
k
=
\frac wq.
}
$$

則：

$$
\boxed{
w=qk.
}
$$

所以：

## Theorem SRBRD-22-T02

$$
\boxed{
nv+qk=A_X.
}
$$

這就是：

# Complement-Promoted Bilinear Equation

---

# 5. Fixed-$w$ Divisor Bijection

固定：

$$
w>0.
$$

dyadic modulus：

$$
Q\le q<2Q.
$$

map：

$$
\boxed{
q
\longmapsto
k=w/q
}
$$

是：

$$
\left\{
q\mid w:
Q\le q<2Q
\right\}
$$

與：

$$
\boxed{
\left\{
k\mid w:
\frac{w}{2Q}
<
k
\le
\frac wQ
\right\}
}
$$

之間的 bijection。

---

# 6. Global Complement Bound

因：

$$
w\le A_X-3=X,
$$

所以：

## Theorem SRBRD-22-T03

若：

$$
q\ge Q,
$$

則：

$$
\boxed{
k\le\frac XQ.
}
$$

這是本輪最重要的 scale transform。

---

# 7. Exponent Duality

若：

$$
Q=X^\theta,
$$

則：

$$
\boxed{
k\le X^{1-\theta}.
}
$$

所以 large-modulus exponent：

$$
\theta
$$

被切換成：

$$
\boxed{
1-\theta.
}
$$

---

# 8. $3/5\leftrightarrow2/5$ Duality

Maynard-II 強 well-factorable level：

$$
\boxed{
Q\approx X^{3/5}.
}
$$

代入 T03：

$$
\boxed{
k\lesssim X^{2/5}.
}
$$

因此：

## Theorem SRBRD-22-T04

$$
\boxed{
\frac35
+
\frac25
=
1
}
$$

不是 notation coincidence。

它是 exact consequence：

$$
qk=w\le X.
$$

---

# 9. Alignment with the Low Type-II Variable

low-row：

$$
N\le X^{2/5}.
$$

switch後：

$$
k\le X^{2/5}
$$

when：

$$
q\ge X^{3/5}.
$$

所以：

$$
\boxed{
n
\text{ and }
k
}
$$

同時落入：

# Small Variable Range

而：

$$
\boxed{
v
\text{ and }
q
}
$$

則位於：

# Large Variable Range

roughly：

$$
\ge X^{3/5}.
$$

---

# 10. Small–Small / Large–Large Geometry

switch後 equation：

$$
\boxed{
nv+kq=A_X
}
$$

在 extremal scale形成：

$$
\boxed{
X^{\le2/5}\cdot X^{\ge3/5}
+
X^{\le2/5}\cdot X^{\ge3/5}
=
X.
}
$$

這是一個：

# Two-Product Additive Surface

而不是：

# Large Residue-Class Problem

---

# 11. Why This Avoids the SRBRD-21 Spectral Inflation Mechanism

Maynard-II fixed-$a$ route最後形成：

$$
y=af\ell,
$$

使：

$$
Y\propto|a|.
$$

Complement form則保留：

$$
\boxed{
nv+kq=A_X
}
$$

其中：

$$
A_X
$$

只是 additive conserved total。

如果 analytic treatment從這個 equality出發，

就不**必然**需要將：

$$
A_X
$$

乘進 reciprocal Fourier numerator。

因此：

$$
\boxed{
\text{SRBRD-21 的 absolute-shift spectral inflation
不是 complement normal form 的 algebraic necessity。}
}
$$

注意：

> 這不等於任何未來 proof都不會重新引入 $A_X$ 的 conductor dependence。

---

# 12. Weighted Congruence Sum

考慮原 low-row modulus term：

$$
\boxed{
\mathcal E_Q
=
\sum_{q\sim Q}
\lambda_q
\sum_{n,v}
\alpha_n\beta_v
\mathbf1_{q\mid A_X-nv}.
}
$$

其中：

- $\lambda_q$：
  sieve / well-factorable modulus weight；
- $\alpha_n,\beta_v$：
  prime-supported coefficients。

---

# 13. Exact Complement-Switched Weight Identity

由 divisor bijection：

## Theorem SRBRD-22-T05

$$
\boxed{
\mathcal E_Q
=
\sum_{n,v}
\alpha_n\beta_v
\sum_{\substack{
k\mid A_X-nv\\
(A_X-nv)/(2Q)<k\le(A_X-nv)/Q
}}
\lambda_{(A_X-nv)/k}.
}
$$

這是 exact。

---

# 14. The Shift-Weight Trade

T05 展示一個新的 trade：

### Before Switch

- weight：
  $$
  \lambda_q
  $$
  很結構化；
- congruence：
  $$
  nv\equiv A_X\pmod q
  $$
  有 large-shift spectral問題。

### After Switch

- shift：
  只存在於：
  $$
  A_X-nv;
  $$
- complementary divisor：
  $$
  k
  $$
  小；
- 但 weight變成：
  $$
  \boxed{
  \lambda_{(A_X-nv)/k}.
  }
  $$

所以：

$$
\boxed{
\text{shift difficulty}
\longrightarrow
\text{transformed-weight difficulty}.
}
$$

---

# 15. Well-Factorability Is Not Automatically Inherited by $k$

即使：

$$
\lambda_q
$$

well-factorable in：

$$
q,
$$

composition：

$$
\boxed{
k
\mapsto
\lambda_{w/k}
}
$$

依賴：

$$
w=A_X-nv.
$$

所以它不是一個：

> 只依賴 $k$ 的 fixed well-factorable sequence。

因此：

## Research Firewall SRBRD-22-R01

$$
\boxed{
\lambda_q\text{ well-factorable}
\not\Rightarrow
\lambda_{w/k}\text{ is a usable well-factorable }k\text{-weight uniformly in }w.
}
$$

這裡的含義不是給出 abstract counterexample theorem，而是：

> 現有 well-factorable definition 沒有提供這種 inheritance property，不能直接假設。

---

# 16. Expand the Well-Factorable Weight Before Switching

如果：

$$
\lambda
=
\gamma*\delta
$$

with：

$$
q=q_1q_2,
$$

則：

$$
\mathcal E_Q
$$

可以先寫成：

$$
\boxed{
nv+kq_1q_2=A_X.
}
$$

這保留：

- $\gamma(q_1)$；
- $\delta(q_2)$；

的 separability。

代價是：

# Four/Five-Variable Additive-Multiplicative Form

---

# 17. Factor-Preserved Switch

schematically：

$$
\boxed{
\sum_{q_1,q_2}
\gamma(q_1)\delta(q_2)
\sum_{n,v,k}
\alpha_n\beta_v
\mathbf1_{nv+kq_1q_2=A_X}.
}
$$

這避免：

$$
\lambda_{w/k}
$$

的 opaque transformed weight，

但 analytic object變成：

$$
\boxed{
nv+kq_1q_2=A_X.
}
$$

這可能比 fixed-$a$ reciprocal phase更適合：

- additive dispersion；
- circle / delta method；
- bilinear Kloosterman；
- convolution technology。

目前尚未證估計。

---

# 18. Fixed $(n,k)$ Affine Lattice

考慮：

$$
nv+kq=A_X.
$$

固定：

$$
n,k.
$$

令：

$$
g=\gcd(n,k).
$$

則：

## Theorem SRBRD-22-T06

integer solution存在的必要充分條件：

$$
\boxed{
g\mid A_X.
}
$$

若有一組 solution：

$$
(v_0,q_0),
$$

全部 integer solutions：

$$
\boxed{
v
=
v_0
+
\frac{k}{g}t,
}
$$

$$
\boxed{
q
=
q_0
-
\frac{n}{g}t,
}
$$

for：

$$
t\in\mathbb Z.
$$

---

# 19. Generic Prime-$n$ Case

因：

$$
n
$$

prime，

若：

$$
n\nmid k,
$$

則：

$$
g=1.
$$

所以：

$$
\boxed{
v=v_0+kt,
}
$$

$$
\boxed{
q=q_0-nt.
}
$$

因此：

> prime variable $v$ 落在一條 modulus $k$ 的 affine progression上。

---

# 20. Prime Progression Form

若：

$$
(n,k)=1,
$$

equation modulo：

$$
k
$$

給：

$$
\boxed{
v
\equiv
A_X n^{-1}
\pmod k.
}
$$

所以 complement switch把：

$$
\boxed{
\text{large shift modulo large }q
}
$$

變成：

$$
\boxed{
\text{prime }v
\text{ in a residue modulo smaller }k.
}
$$

---

# 21. Uniform Residue Is Now Classical in Form

standard Bombieri–Vinogradov / Maynard-III 類 theorem本來就對：

$$
\boxed{
v\equiv a_k\pmod k
}
$$

的 residue uniformity設計。

而：

$$
a_k=A_Xn^{-1}\bmod k
$$

雖依：

$$
A_X,
$$

但只作 modulo：

$$
k
$$

的 residue。

所以：

$$
\boxed{
\text{SRBRD-21 的 absolute }|A_X|
\text{ spectral barrier在這個 prime-AP view中消失。}
}
$$

---

# 22. But $q$-Weight Couples Along the Lattice

along：

$$
v=v_0+kt,
$$

有：

$$
q=q_0-nt.
$$

所以 prime progression不能單獨計數。

每個 prime：

$$
v
$$

仍帶：

$$
\boxed{
\lambda_{q_0-nt}.
}
$$

因此 switched problem本質是：

# Prime in One Affine Form × Sieve Weight in Another Affine Form

這正是 switching principle熟悉的雙角色結構。

---

# 23. Switched-Level Requirement

定義：

$$
\boxed{
\operatorname{SwDist}(K,\mathcal W)
}
$$

表示：

對：

$$
k\le K,
$$

與 transformed / affine sieve weights：

$$
\mathcal W,
$$

可以平均控制：

$$
\boxed{
\sum_t
\mathbf1_{\mathbb P}(v_0+kt)
\,\mathcal W(q_0-nt)
}
$$

相對於適當 main term。

Complement Promotion若要成 analytic provider，

必須有：

$$
\boxed{
\text{SwDist}
}
$$

而不是只靠 original：

$$
\lambda_q
$$

well-factorability。

---

# 24. Connection to Chen Switching Principle

Chen switching的高層思想正是：

> 原問題某個難以直接 upper-bound 的多因子區，
> 交換變數角色後，
> 對 switched sequence使用另一個 sieve / distribution estimate。

Fouvry–Grupp 1986 對 switching principle作系統研究。

2025 Matomäki–Zuniga Alterman 的 weighted-sieve framework更明確：

> switching的效果依賴 original problem 與 switched problem各自可取得的 level of distribution。

所以：

## External Consistency

$$
\boxed{
\text{Complement Promotion 並不應被期待
從 original well-factorability 自動得到 switched distribution。}
}
$$

---

# 25. Modern Switching Benchmark

Matomäki–Zuniga Alterman 的 general weighted-switching framework可在原問題與 switched problem都具有足夠 level of distribution時，推進 prime/almost-prime detection。

對 SRBRD 的方法論含義：

$$
\boxed{
\theta_{\mathrm{orig}}
\text{ 與 }
\theta_{\mathrm{switch}}
}
$$

應被視為兩個獨立 analytic inputs。

---

# 26. Low-Row Scale After Switching

取：

$$
Q=X^\theta.
$$

則：

$$
K_{\max}=X^{1-\theta}.
$$

對超 square-root區：

$$
\boxed{
\frac12<\theta\le\frac35,
}
$$

得到：

$$
\boxed{
\frac25
\le
1-\theta
<
\frac12.
}
$$

所以 switched modulus：

$$
k
$$

自然落在：

$$
X^{2/5}
\text{--}
X^{1/2}
$$

尺度。

---

# 27. Ordinary BV-Safe Switched Subrange

prime：

$$
v
$$

scale：

$$
M=X^{1-t}.
$$

ordinary BV對 modulus大致安全到：

$$
\boxed{
k\le M^{1/2-o(1)}
=
X^{(1-t)/2-o(1)}.
}
$$

對：

$$
t\in[1/3,2/5],
$$

threshold exponent：

$$
\boxed{
\frac{1-t}{2}
\in
[3/10,1/3].
}
$$

---

# 28. Full Complement Range Exceeds Ordinary BV

但：

$$
k
$$

可達：

$$
X^{2/5}
$$

甚至靠近：

$$
X^{1/2}
$$

depending on：

$$
q.
$$

所以：

## Barrier SRBRD-22-B01

$$
\boxed{
\text{ordinary BV handles only a proper subset
of the switched }k\text{-range}.
}
$$

Complement Promotion並未將所有 moduli自動降到：

$$
M^{1/2}.
$$

---

# 29. Could Maynard-III Handle Large $k$?

Maynard-III可處理 primes in AP beyond square-root，

如果 moduli：

$$
k
$$

具有 suitable divisor/factorization structure。

但：

$$
\boxed{
k=(A_X-nv)/q
}
$$

是 complementary divisor。

original：

$$
q
$$

well-factorable，

並不自動推出：

$$
k
$$

具有 Maynard-III 所需 convenient factors。

所以：

## Barrier SRBRD-22-B02

$$
\boxed{
\text{large switched }k
\text{ lacks inherited modulus factorization.}
}
$$

---

# 30. This Is the Switched-Level Barrier

SRBRD-21 barrier：

$$
\boxed{
\text{Fixed-Shift Spectral Barrier}.
}
$$

Complement Promotion成功避開它，

但換成：

$$
\boxed{
\text{Switched-Level Barrier}.
}
$$

也就是：

> 能否對 complementary-divisor / affine switched sequence建立足夠 level of distribution？

---

# 31. Shift–Level Trade

因此目前兩個 low-row normal forms：

## Residue Form

$$
nv\equiv A_X\pmod q.
$$

優點：

- original $q$ weights well-factorable；
- Maynard-II strong level。

缺點：

- $A_X\asymp X$ 破壞 fixed-$a$ spectral proof。

## Complement Form

$$
nv+kq=A_X.
$$

優點：

- $A_X$ 只作 additive total；
- prime AP residue只依：
  $$
  A_X\bmod k.
  $$

缺點：

- $k$ / transformed weights沒有自動 distribution structure。

---

# 32. No Free Uniformization Theorem

所以：

$$
\boxed{
\text{Complement Promotion is not itself GSHIFT-LOW}.
}
$$

它只是：

$$
\boxed{
\text{a new exact normal form
with a different analytic barrier}.
}
$$

這個結果仍然有價值：

> 我們知道 large-$a$ barrier不是問題本體；
> 它是 particular reciprocal/spectral coordinate choice的代價。

---

# 33. Shifted-Divisor Analogy

switch後：

$$
qk=A_X-nv.
$$

所以對 fixed：

$$
n,v,
$$

我們在研究：

$$
A_X-nv
$$

的 divisor structure。

analytic number theory中存在：

- shifted convolution of divisor functions；
- uniform-in-shift divisor correlations；

的強結果。

例如 Topaçoğullari 對某些 divisor-function shifted convolutions取得 uniform shift estimates。

但：

$$
\boxed{
\text{這些 theorem的 coefficient class
與 SRBRD prime-product / well-factorable sequence不同。}
}
$$

所以只能作 architecture analogy，

不能直接 provider。

---

# 34. Unweighted Switch Model

先忽略：

$$
\lambda_q,
$$

考慮：

$$
\boxed{
\mathcal U_Q
=
\sum_{q\sim Q}
\sum_{n,v}
\alpha_n\beta_v
\mathbf1_{q\mid A_X-nv}.
}
$$

switch後：

$$
\boxed{
\mathcal U_Q
=
\sum_{n,v}
\alpha_n\beta_v
\#\left\{
k\mid A_X-nv:
\frac{A_X-nv}{2Q}
<
k
\le
\frac{A_X-nv}{Q}
\right\}.
}
$$

這是一個 truncated shifted-divisor functional。

---

# 35. Weighted Switch Model

真正 SRBRD需要：

$$
\boxed{
\mathcal W_Q
=
\sum_{n,v}
\alpha_n\beta_v
\sum_{k\mid A_X-nv}^{Q\text{-dual}}
\lambda_{(A_X-nv)/k}.
}
$$

這可以命名：

# Weighted Complementary-Divisor Convolution

其 uniform Goldbach-shift估計本身可能是一個獨立 theorem target。

---

# 36. Minimal New Provider — WCD

定義：

# WCD
## Weighted Complementary-Divisor Distribution

希望控制：

$$
\boxed{
\mathcal W_Q
-
\mathcal M_Q
}
$$

對：

- $A_X=X+3$；
- $n,v$ prime-supported；
- $N\in[X^{1/3},X^{2/5}]$；
- $Q$ in beyond-square-root well-factorable range；

有：

$$
\boxed{
\ll
\frac{
X
}{
(\log X)^A
}.
}
$$

---

# 37. WCD vs GSHIFT-LOW

GSHIFT-LOW：

$$
\boxed{
\text{congruence-space theorem}.
}
$$

WCD：

$$
\boxed{
\text{complementary-divisor-space theorem}.
}
$$

兩者由 exact divisor switching聯繫，

但 proof technology可以完全不同。

所以 SRBRD現在有：

$$
\boxed{
\text{two genuinely distinct low-row replacement targets}.
}
$$

---

# 38. Potential Hybrid Split in $k$

可以再分：

### Small switched divisor

$$
k\le M^{1/2}/(\log X)^B.
$$

使用：

- ordinary BV；
- uniform prime AP。

### Large switched divisor

$$
k>M^{1/2}/(\log X)^B.
$$

需要：

- Maynard-III-type large moduli；
- transformed weight structure；
- second switching；
- or direct additive-bilinear treatment。

這可以避免對所有 switched levels用同一 theorem。

---

# 39. Second Switching Possibility

若：

$$
k
$$

仍大，

equation：

$$
nv+kq=A_X
$$

具有兩個 product terms。

可考慮：

- exploit：
  $$
  q
  $$
  original well-factorability；
- split：
  $$
  q=q_1q_2;
  $$
- 或對 complementary divisor再做 factor switching。

可能產生：

$$
\boxed{
nv+kq_1q_2=A_X
}
$$

的 trilinear / quadrilinear dispersion。

目前只列 research direction，

不宣稱已改善。

---

# 40. Why $3/5\leftrightarrow2/5$ Is Still Important

即使 switched-level barrier存在，

scale duality告訴我們：

> Maynard-II 最強 large-modulus endpoint，
> 恰把 complementary divisor壓進其 own Type-II small-variable endpoint。

所以：

$$
\boxed{
\text{low-row theory存在 self-dual scale geometry}.
}
$$

這可能不是 proof，

但很可能是正確 replacement lemma應保持的尺度。

---

# 41. A Two-Small-Variable View

在：

$$
Q\approx X^{3/5},
$$

有：

$$
n,k
\lesssim X^{2/5}.
$$

所以 equation：

$$
nv+kq=A_X
$$

可視為：

$$
\boxed{
\text{two small coefficients }n,k
}
$$

控制：

$$
\boxed{
\text{two large variables }v,q.
}
$$

這比 original：

$$
nv\equiv A_X\pmod q
$$

更對稱。

---

# 42. Determinant Relation for Two Solutions

固定：

$$
n,k.
$$

兩組 solutions：

$$
(v_1,q_1),
\quad
(v_2,q_2)
$$

滿足：

$$
nv_i+kq_i=A_X.
$$

相減：

## Theorem SRBRD-22-T07

$$
\boxed{
n(v_1-v_2)
=
-k(q_1-q_2).
}
$$

若：

$$
(n,k)=1,
$$

則：

$$
\boxed{
k\mid(v_1-v_2),
}
$$

$$
\boxed{
n\mid(q_1-q_2).
}
$$

這就是 T06 affine lattice的 difference form。

---

# 43. Distribution Can Be Asked on Either Side

T07給兩種 view：

### Prime-side

$$
v
$$

lies in AP modulo：

$$
k.
$$

### Weight-side

$$
q
$$

lies in AP modulo：

$$
n.
$$

因：

$$
n\le X^{2/5},
$$

可以選擇：

> 哪一側的 distribution theorem更強。

這是 complement normal form的重要 flexibility。

---

# 44. Weight-Side Opportunity

original：

$$
q
$$

帶 well-factorable sieve weight，

不是 prime。

well-factorable convolution：

$$
\lambda=\gamma*\delta
$$

可能使：

$$
q\equiv a\pmod n
$$

的平均分布比 prime AP更容易。

所以 future WCD theorem不一定應：

> 全部壓到 prime $v$ modulo $k$。

可以反過來：

> 對 fixed $n,k$ 先平均 structured $q$ weight，
> 再處理 induced prime $v$。

這需要新的 bilinear analysis。

---

# 45. Main-Term Barrier

原 discrepancy不是只有：

$$
\mathbf1_{q\mid w}.
$$

還有：

$$
\boxed{
\frac{
\mathbf1_{(nv,q)=1}
}{
\varphi(q)
}.
}
$$

Complement switching exact處理 actual divisor term，

但 main term沒有同樣簡單的：

$$
q\leftrightarrow k
$$

bijection。

因此：

## Barrier SRBRD-22-B03

$$
\boxed{
\text{a full switched discrepancy theorem must transform
or separately control the }\varphi(q)^{-1}\text{ main term}.
}
$$

不能只估 actual divisor count。

---

# 46. Possible Main-Term Hybrid

因：

$$
(q,A_X)=1
$$

且：

$$
q\mid A_X-nv,
$$

actual terms會有：

$$
(nv,q)=1.
$$

所以可以考慮：

- actual divisor side做 complement switching；
- expected main term保留在 original $q$-space；
- 最後直接比較兩邊。

這是一個 plausible hybrid architecture。

尚未 formalized成 theorem。

---

# 47. Switching Literature Supports the Need for Two Distribution Inputs

Fouvry–Grupp 1986：

# On the Switching Principle in Sieve Theory

系統研究 difficult sieve term轉換成另一個 sequence。

Matomäki–Zuniga Alterman 2025：

# Weighted Sieves with Switching

進一步抽象出：

- original level of distribution；
- switched level of distribution；

都是輸入。

因此：

$$
\boxed{
\text{SRBRD Switched-Level Barrier
與 established switching theory一致。}
}
$$

---

# 48. What Has Actually Been Solved This Round

### Solved

1. exact complement promotion：
   $$
   nv\equiv A\pmod q
   \iff
   nv+qk=A;
   $$
2. exact divisor bijection；
3. exponent duality：
   $$
   \theta\leftrightarrow1-\theta;
   $$
4. $3/5\leftrightarrow2/5$ scale alignment；
5. affine lattice structure；
6. large absolute shift不再 algebraically forced into spectral numerator；
7. `Switched-Level / transformed-weight barrier` 被精確定位。

### Not Solved

1. WCD estimate；
2. inherited factorability of $k$；
3. full switched main-term comparison；
4. large-$k$ prime progression；
5. constant crossing。

---

# 49. Correction to SRBRD-21

SRBRD-21：

$$
\boxed{
\text{new low-row normal form required}.
}
$$

SRBRD-22 提供：

$$
\boxed{
nv+kq=A_X.
}
$$

所以：

$$
\boxed{
\text{normal-form replacement PASS}.
}
$$

但：

$$
\boxed{
\text{analytic estimate replacement remains open}.
}
$$

---

# 50. Formal Theorem Queue

```yaml
SRBRD_22:

  T01:
    complement_promotion

  T02:
    additive_bilinear_equation

  T03:
    complementary_divisor_bound

  T04:
    exponent_duality

  T05:
    exact_weighted_complement_switch

  T06:
    fixed_n_k_affine_solution_lattice

  T07:
    two_solution_determinant_relation
```

---

# 51. Analytic Barrier Queue

```yaml
SRBRD_22_Barriers:

  B01:
    switched_k_range_exceeds_ordinary_BV

  B02:
    k_does_not_inherit_original_q_factorability

  B03:
    discrepancy_main_term_does_not_switch_trivially

  B04:
    transformed_weight_nonseparable:
      lambda_(A-nv)/k

  B05:
    switched_level_required

  B06:
    full_constant_crossing_open
```

---

# 52. Acceptance Gate

SRBRD-22 formal core前需：

1. positivity：
   $$
   A_X-nv\ge3;
   $$
2. divisor bijection；
3. dyadic interval endpoints；
4. scale duality；
5. weighted switch exact identity；
6. fixed $(n,k)$ lattice；
7. gcd compatibility；
8. determinant relation；
9. original/switch distribution distinction；
10. no inherited-factorability claim；
11. main-term firewall；
12. switching literature only作 conceptual benchmark；
13. no WCD theorem claim；
14. no Goldbach proof claim。

---

# 53. Verdict

本輪可以給：

$$
\boxed{
\mathrm{SRBRD\mbox{-}22\ COMPLEMENT\mbox{-}SWITCH\ KERNEL\ PASS}.
}
$$

最重要 exact relation：

$$
\boxed{
nv\equiv A_X\pmod q
\iff
nv+qk=A_X.
}
$$

並且：

$$
\boxed{
q\sim X^{3/5}
\Longrightarrow
k\lesssim X^{2/5}.
}
$$

所以 Maynard-II 的：

$$
3/5
$$

large-modulus scale與：

$$
2/5
$$

small Type-II scale在 complement switching下形成 exact duality。

更重要：

$$
\boxed{
\text{large }A_X
\text{ 不再必須作 reciprocal spectral numerator}.
}
$$

SRBRD-21 的 fixed-shift spectral barrier因此在 normal-form level被成功換掉。

但新 barrier是：

$$
\boxed{
\text{Switched-Level / Complementary-Weight Barrier}.
}
$$

也就是：

> original $q$-weights的 factorability並不自動轉成 complementary divisor $k$ 的 distribution。

因此：

$$
\boxed{
\mathrm{GSHIFT\mbox{-}LOW\ STILL\ OPEN}.
}
$$

$$
\boxed{
\mathrm{WCD\ STILL\ OPEN}.
}
$$

以及：

$$
\boxed{
\mathrm{GOLDBACH\ STILL\ OPEN}.
}
$$

---

# 54. 下一輪建議

# SRBRD-23
## Well-Factorable Complementary Divisor / Switched-Lattice Distribution Closure

下一輪只攻新的 barrier。

### Part A — Weight-Preserved Switching

展開：

$$
\lambda_q
=
\gamma*\delta,
$$

研究：

$$
nv+kq_1q_2=A_X
$$

能否維持：

- well-factorable separation；
- Goldbach-shift uniformity。

### Part B — Small-$k$ Range

$$
k\le M^{1/2}/(\log X)^B.
$$

使用 ordinary uniform BV處理 prime：

$$
v
$$

mod：

$$
k.
$$

### Part C — Large-$k$ Range

研究：

- Maynard-III convenient-divisor moduli；
- second switching；
- q-weight-side distribution；
- Fouvry–Grupp / modern weighted switching framework。

### Part D — Main Term

建立 actual switched term與：

$$
1/\varphi(q)
$$

original main term的 consistent comparison。

真正 target：

# WCD-Level Theorem

$$
\boxed{
\text{complement-switched sequence has its own quantitative level of distribution}.
}
$$

如果這一層能做到，

low-row fixed-shift barrier才真正可能被 replacement route繞過。

---

# 附錄 A：Complement Scale Ledger

```yaml
global:
  A_X:
    X+3

residual:
  w:
    A_X-n*v
    3_to_X

original_modulus:
  q:
    dyadic_Q

complementary_divisor:
  k:
    w/q

bound:
  k <= X/Q

exponents:
  q:
    X^theta
  k:
    <= X^(1-theta)

MaynardII_endpoint:
  theta:
    3/5

dual:
  1-theta:
    2/5
```

---

# 附錄 B：Exact Weighted Switch

```yaml
original:
  sum_q:
    lambda_q
    sum_n_v:
      alpha_n*beta_v
      indicator(q divides A-nv)

switched:
  sum_n_v:
    alpha_n*beta_v
    sum_k:
      k divides A-nv
      (A-nv)/(2Q) < k <= (A-nv)/Q
      lambda_((A-nv)/k)

identity:
  exact: true
```

---

# 附錄 C：Affine Lattice

```yaml
equation:
  n*v + k*q:
    A

g:
  gcd(n,k)

solvable_iff:
  g divides A

general_solution:
  v:
    v0 + (k/g)*t
  q:
    q0 - (n/g)*t

if_g_equals_1:
  prime_v_progression:
    modulus: k

  q_weight_progression:
    modulus: n
```

---

# 附錄 D：Shift–Barrier Trade

```yaml
residue_normal_form:
  advantage:
    q_weight_factorable: true
  barrier:
    A_as_absolute_spectral_frequency: true

complement_normal_form:
  advantage:
    A_only_additive_total: true
    prime_residue_mod_k:
      modular_only: true
  barrier:
    complementary_k_factorability: absent
    transformed_weight_separability: absent
    switched_level_required: true
```

---

# 附錄 E：External Switching Benchmarks

```yaml
Fouvry_Grupp_1986:
  topic:
    switching_principle_in_sieve_theory

Matomaki_ZunigaAlterman_2025:
  topic:
    weighted_sieves_with_switching
  lesson:
    original_and_switched_distribution_are_separate_inputs

Chen:
  lesson:
    difficult_almost_prime_term_can_be_reversed_into_a_switched_sieve_problem

SRBRD:
  implication:
    complement_switch_requires_own_level_of_distribution
```

---

# 附錄 F：Commit Decision

```yaml
research_round: SRBRD-22

decision:
  complement_promotion_exact: true
  three_fifths_two_fifths_duality: true
  fixed_shift_spectral_barrier_avoided_at_normal_form_level: true
  switched_level_barrier_identified: true
  weighted_complementary_divisor_theorem: false
  goldbach_proved: false

next:
  SRBRD-23_WellFactorable_ComplementaryDivisor_SwitchedLattice_Distribution_Closure
```

---

# References / Audited Sources

1. E. Fouvry and F. Grupp, **On the switching principle in sieve theory**, *Journal für die reine und angewandte Mathematik* 370 (1986), 101–126.

2. Kaisa Matomäki and Sebastian Zuniga Alterman, **Weighted sieves with switching**, *Mathematical Proceedings of the Cambridge Philosophical Society* 179 (2025), 351–372; arXiv:2405.19063.

3. Terence Tao, **254A, Supplement 5: The linear sieve and Chen’s theorem**, 2015.

4. Berke Topaçoğullari, **The Shifted Convolution of Divisor Functions**, arXiv:1506.02608.

5. James Maynard, **Primes in arithmetic progressions to large moduli II: Well-factorable estimates**, *Memoirs AMS* 306 (2025), no. 1543.