# SRBRD-23
## Well-Factorable Complementary Divisor / Switched-Lattice Distribution Closure
### Factor-Preserved Complement Switching、Dual-Factorization Condition、$2/3$ Prime-Side Threshold、Coprimality Firewall 與 Prime-Sensitive Switched Correlation

**母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program  
**支線：** SRBRD — Symmetric Root-Bounded Relation Domain  
**輪次：** SRBRD-23  
**日期：** 2026-09-30  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Exact Factor-Preserved Switch / Distribution-Threshold Audit / New Switched-Correlation Target  
**前置：** SRBRD-00 ～ SRBRD-22  
**狀態：** 證明 original well-factorable factor可以部分「帶入」 switched modulus，並將 switched-level barrier壓成 explicit dual-factorization condition；同時證明純 prime-side route若要覆蓋完整 low row至少需要 level $2/3$；Goldbach仍未證明

---

# 0. 本輪問題

SRBRD-22 建立 exact complement switch：

$$
\boxed{
nv\equiv A_X\pmod q
\iff
nv+kq=A_X,
}
$$

其中：

$$
A_X=X+3,
$$

$$
k=\frac{A_X-nv}{q}.
$$

若：

$$
q\sim X^{3/5},
$$

則：

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

上一輪留下的 barrier：

> original $q$ 的 well-factorability 不會自動變成 $k$ 的 well-factorability。

SRBRD-23 的問題：

> 能不能在 switch 前先展開
> $$
> q=q_1q_2
> $$
> 保留 factor structure，
> 再將其中一個 factor帶入 switched side？

答案：

$$
\boxed{
\text{可以，而且是 exact。}
}
$$

但新的 quantitative audit顯示：

$$
\boxed{
\text{單靠 prime-side switched modulus仍不足以覆蓋整個 low row。}
}
$$

真正 target是：

# Prime-Sensitive Dual-Factorable Switched Correlation

---

# 1. Low-Row Scale

沿用：

$$
X=2m-3,
$$

$$
A_X=X+3=2m.
$$

small prime factor：

$$
\boxed{
n\sim N=X^t,
\qquad
\frac13\le t\le\frac25.
}
$$

large prime factor：

$$
\boxed{
v\sim M,
\qquad
M\asymp X^{1-t}.
}
$$

original sieve modulus：

$$
\boxed{
q\sim Q=X^\theta,
}
$$

with：

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

in the beyond-square-root low-row regime。

complementary divisor：

$$
\boxed{
k=\frac{A_X-nv}{q}
\le
X^{1-\theta}.
}
$$

---

# 2. Preserve Factorability Before Switching

假設 original modulus weight：

$$
\lambda_q
$$

在 selected factorization：

$$
Q=Q_1Q_2
$$

下有 convolution representation：

$$
\boxed{
\lambda
=
\gamma*\delta.
}
$$

所以：

$$
q=q_1q_2,
$$

with typical supports：

$$
q_1\lesssim Q_1,
$$

$$
q_2\lesssim Q_2.
$$

switch equation變成：

## Theorem SRBRD-23-T01

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

---

# 3. One Original Factor Survives into the Switched Modulus

由 T01，

modulo：

$$
kq_2
$$

有：

$$
\boxed{
nv\equiv A_X\pmod{kq_2}.
}
$$

同理 modulo：

$$
kq_1
$$

有：

$$
\boxed{
nv\equiv A_X\pmod{kq_1}.
}
$$

因此：

## Theorem SRBRD-23-T02

original factor：

$$
q_i
$$

可以和 complementary divisor：

$$
k
$$

組成 switched modulus：

$$
\boxed{
K_i=kq_i.
}
$$

所以 SRBRD-22 的：

> “$k$ 不繼承任何 structure”

必須修正成：

$$
\boxed{
\text{$k$ 本身不繼承 factorability，
但 $kq_i$ 可以攜帶 original modulus 的一個 structured factor。}
}
$$

---

# 4. Generic Prime Progression

若：

$$
\gcd(n,kq_2)=1,
$$

則：

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

因此：

> switched prime modulus並不是裸 $k$，
> 可以是：
> $$
> \boxed{kq_2}
> $$
> 且帶有 explicit divisor：
> $$
> q_2.
> $$

這正是 large-modulus uniform-residue theorem喜歡的「convenient divisor」形態。

---

# 5. Coprimality Firewall I — $n$ Cannot Divide $q$

SRBRD sieve只需：

$$
\boxed{
(q,A_X)=1.
}
$$

若：

$$
n\mid q,
$$

又：

$$
q\mid A_X-nv,
$$

則：

$$
n\mid A_X.
$$

但：

$$
n\mid q
$$

與：

$$
(q,A_X)=1
$$

矛盾。

所以：

## Theorem SRBRD-23-T03

$$
\boxed{
\gcd(n,q)=1.
}
$$

因此：

$$
\boxed{
\gcd(n,q_1q_2)=1.
}
$$

---

# 6. Coprimality Firewall II — Common Factors of $k$ and $A_X$

若 prime：

$$
p\mid k
$$

且：

$$
p\mid A_X,
$$

由：

$$
A_X=nv+kq
$$

得：

$$
p\mid nv.
$$

因：

$$
n,v
$$

prime，

所以：

$$
p=n
$$

或：

$$
p=v.
$$

但 low row中：

$$
v\asymp X^{1-t}\ge X^{3/5},
$$

而：

$$
k\le X^{1-\theta}<X^{1/2}
$$

for：

$$
\theta>1/2.
$$

所以：

$$
v>k,
$$

不可能：

$$
v\mid k.
$$

因此：

## Theorem SRBRD-23-T04

$$
\boxed{
p\mid\gcd(k,A_X)
\Longrightarrow
p=n.
}
$$

---

# 7. Generic Coprimality Consequence

若：

$$
n\nmid A_X,
$$

則 T04立刻給：

$$
\boxed{
(k,A_X)=1.
}
$$

結合 T03：

$$
\boxed{
(n,kq_i)=1,
}
$$

以及：

$$
\boxed{
(A_X,kq_i)=1.
}
$$

所以：

## Corollary SRBRD-23-C01

對 generic low-row states：

$$
\boxed{
n\nmid A_X,
}
$$

switched progression：

$$
v\equiv A_Xn^{-1}\pmod{kq_i}
$$

具有標準 reduced-residue形式。

---

# 8. Exceptional Center-Divisor Case

唯一 generic firewall未涵蓋：

$$
\boxed{
n\mid A_X=2m.
}
$$

因：

$$
n
$$

odd prime，

等價：

$$
\boxed{
n\mid m.
}
$$

這正是 SRBRD-15 的：

# Center-Divisor Rows

而 center-divisor rows已有額外 transport lock：

$$
M_{n,0}\le1.
$$

因此：

$$
\boxed{
\text{switched coprimality exceptional set與 earlier favorable transport set高度重合。}
}
$$

這提供一個自然分流：

- generic rows → analytic switched theorem；
- center-divisor rows → structural transport provider。

---

# 9. Dual-Factorization Exponents

設：

$$
q_2\sim X^\sigma.
$$

因：

$$
k\le X^{1-\theta},
$$

switched modulus：

$$
K_2=kq_2
$$

滿足：

$$
\boxed{
K_2
\lesssim
X^{1-\theta+\sigma}.
}
$$

prime：

$$
v
$$

的 natural scale：

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

所以 relative modulus exponent：

## Definition SRBRD-23-D01

$$
\boxed{
\rho(t,\theta,\sigma)
=
\frac{
1-\theta+\sigma
}{
1-t
}.
}
$$

而 inherited convenient divisor：

$$
q_2
$$

相對：

$$
M
$$

的 exponent：

$$
\boxed{
\eta(t,\sigma)
=
\frac{
\sigma
}{
1-t
}.
}
$$

---

# 10. Dual-Factorization Condition

令：

$$
\mathfrak A
$$

表示某個 external uniform prime-AP theorem允許的：

$$
(\rho,\eta)
$$

admissible region：

- modulus總 exponent：
  $$
  \rho;
  $$
- convenient-divisor exponent：
  $$
  \eta.
  $$

則：

## Definition SRBRD-23-D02

selected factor：

$$
q_2
$$

滿足：

# Dual-Factorization Condition

若：

$$
\boxed{
\left(
\rho(t,\theta,\sigma),
\eta(t,\sigma)
\right)
\in
\mathfrak A.
}
$$

這把 abstract：

> switched problem要有 distribution

壓成：

> **original well-factorable decomposition是否能選出一個 factor，
> 使 $kq_i$ 落入 external theorem 的 admissible modulus geometry。**

---

# 11. Important Tradeoff

增加：

$$
\sigma
$$

會：

### Help

提供更明顯的 convenient divisor：

$$
q_2.
$$

### Hurt

使 switched modulus從：

$$
k
$$

增大成：

$$
kq_2.
$$

所以：

$$
\boxed{
\text{inherited factor is useful only for divisor-sensitive theorems.}
}
$$

如果 external theorem只看總 modulus exponent，

最佳永遠是：

$$
\sigma=0.
$$

---

# 12. Prime-Side Necessary Level Without Inherited Factor

先取最佳可能：

$$
\sigma=0.
$$

則：

$$
\boxed{
\rho_0(t,\theta)
=
\frac{
1-\theta
}{
1-t
}.
}
$$

為使：

$$
k
$$

本身落入一個 level：

$$
\rho_*
$$

的 prime-AP theorem，

需要：

$$
\boxed{
\rho_*
\ge
\rho_0(t,\theta).
}
$$

---

# 13. Best Original Modulus Gives Best Switch

因：

$$
\rho_0
$$

隨：

$$
\theta
$$

增加而下降，

所以在 Maynard-II available window：

$$
\theta\le3/5,
$$

最佳是：

$$
\boxed{
\theta=3/5.
}
$$

此時：

## Theorem SRBRD-23-T05

$$
\boxed{
\rho_{\mathrm{req}}(t)
=
\frac{
2
}{
5(1-t)
}.
}
$$

---

# 14. Full Low-Row Threshold

對：

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

T05給：

$$
\boxed{
\rho_{\mathrm{req}}(1/3)
=
3/5,
}
$$

而：

$$
\boxed{
\rho_{\mathrm{req}}(2/5)
=
2/3.
}
$$

所以：

## Corollary SRBRD-23-C02

若想**只靠 switched prime-side modulus**覆蓋整個 low row，

至少需要：

$$
\boxed{
\text{prime-AP level reaching }2/3.
}
$$

這是在加入任何：

$$
q_i
$$

factor前的 necessary benchmark。

---

# 15. Benchmark Coverage Formula

若 hypothetical theorem提供總 modulus exponent：

$$
\rho_*,
$$

則在：

$$
\theta=3/5
$$

下可覆蓋：

$$
\rho_{\mathrm{req}}(t)\le\rho_*.
$$

解得：

## Theorem SRBRD-23-T06

$$
\boxed{
t
\le
1-
\frac{
2
}{
5\rho_*
}.
}
$$

---

# 16. Selected Exponent Diagnostics

此表只是 exponent benchmark，

不表示相關 theorem hypotheses可直接套 SRBRD。

| Prime-AP level $\rho_*$ | Max low-row $t$ from T06 |
|---:|---:|
| $3/5$ | $1/3$ |
| $66/107$ | $58/165\approx0.3515$ |
| $5/8$ | $9/25=0.36$ |
| $2/3$ | $2/5$ |

所以：

$$
\boxed{
5/8
}
$$

即使完全合法，

也只夠到：

$$
\boxed{
t\le9/25,
}
$$

仍無法 cover：

$$
9/25<t\le2/5.
$$

---

# 17. Prime-Side Verdict

$$
\boxed{
\text{Complement switch + prime-AP theorem alone
does not naturally close the whole low band
at currently relevant exponent scales.}
}
$$

因此 original factor：

$$
q_i
$$

不能只被視為方便使用 prime-AP theorem的 divisor。

還必須利用其：

$$
\boxed{
\text{weight structure}.
}
$$

---

# 18. Weight-Side Congruence

從：

$$
nv+kq=A_X
$$

modulo：

$$
n
$$

得到：

$$
\boxed{
kq\equiv A_X\pmod n.
}
$$

若：

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

則：

## Theorem SRBRD-23-T07

$$
\boxed{
q
\equiv
A_Xk^{-1}
\pmod n.
}
$$

所以 switched lattice也可從：

# $q$-weight in a residue modulo the small prime $n$

來觀察。

---

# 19. Two Exact Views

固定：

$$
n,k.
$$

有：

### Prime-side

$$
\boxed{
v
\equiv
A_Xn^{-1}
\pmod k
}
$$

or with inherited factor：

$$
v
\equiv
A_Xn^{-1}
\pmod{kq_i}.
$$

### Weight-side

$$
\boxed{
q
\equiv
A_Xk^{-1}
\pmod n.
}
$$

所以：

$$
\boxed{
\text{SwDist can be attacked from either side.}
}
$$

---

# 20. A Factorable Residue Envelope

為了看：

> well-factorability本身能提供多少，

先假設 selected decomposition：

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

滿足：

$$
|\gamma_{d_1}|\le1,
$$

$$
|\delta_{d_2}|\le1,
$$

support：

$$
d_1\le Q_1,
$$

$$
d_2\le Q_2,
$$

$$
Q_1Q_2=Q.
$$

固定 reduced residue：

$$
a\bmod n.
$$

則：

## Theorem SRBRD-23-T08

$$
\boxed{
\sum_{\substack{
q\le Q\\
q\equiv a\pmod n
}}
|\lambda_q|
\le
\frac{
Q
}{
n
}
+
Q_1
}
$$

up to harmless endpoint constants。

---

# 21. T08 Proof Skeleton

由 convolution：

$$
|\lambda_q|
\le
\sum_{d_1d_2=q}
|\gamma_{d_1}|
|\delta_{d_2}|.
$$

固定：

$$
d_1
$$

且：

$$
(d_1,n)=1,
$$

condition：

$$
d_1d_2\equiv a\pmod n
$$

使：

$$
d_2
$$

落在唯一 residue：

$$
a d_1^{-1}\pmod n.
$$

所以：

$$
\#d_2
\le
Q_2/n+1.
$$

summation over：

$$
d_1\le Q_1
$$

給：

$$
Q_1(Q_2/n+1)
=
Q/n+Q_1.
$$

若：

$$
(d_1,n)>1
$$

而：

$$
(a,n)=1,
$$

則無 solution。

---

# 22. Optimize the Crude Envelope

若選：

$$
Q_1\le Q/n,
$$

則：

$$
\boxed{
\sum_{q\equiv a\pmod n}
|\lambda_q|
\ll
Q/n.
}
$$

所以：

$$
\boxed{
\text{well-factorability alone已能給 weight-side正確的 algebraic density scale}.
}
$$

這是一個正面結果。

---

# 23. But It Loses the Prime Density

真正 switched lattice term是：

$$
\boxed{
\sum_{\substack{
q\sim Q\\
q\equiv A_Xk^{-1}\pmod n
}}
\lambda_q
\mathbf1_{\mathbb P}
\left(
\frac{
A_X-kq
}{
n
}
\right).
}
$$

T08若直接丟掉：

$$
\mathbf1_{\mathbb P},
$$

會失去約：

$$
\boxed{
1/\log M
}
$$

的 prime density。

而 SRBRD constant ledger正處：

$$
X/\log^2X
$$

級。

所以：

## Barrier SRBRD-23-B01

$$
\boxed{
\text{factorability alone gives the right power scale
but is logarithmically too weak.}
}
$$

---

# 24. Prime-Sensitive Switched Correlation

因此真正需要的不是：

$$
\boxed{
\text{distribution of }\lambda_q\text{ alone},
}
$$

也不是：

$$
\boxed{
\text{distribution of primes }v\text{ alone}.
}
$$

而是 correlation：

# Prime in One Affine Form × Factorable Weight in the Other

定義：

$$
\boxed{
\mathcal C_{n,k}(Q)
=
\sum_{\substack{
q\sim Q\\
q\equiv A_Xk^{-1}\pmod n
}}
\lambda_q
\mathbf1_{\mathbb P}
\left(
\frac{
A_X-kq
}{
n
}
\right).
}
$$

---

# 25. Dual-Factorable Switched Prime Correlation

定義目標 property：

# DFSPC

對 dyadic：

$$
N,K,Q,
$$

要求 average：

$$
\boxed{
\sum_{\substack{
n\sim N\\
n\in\mathbb P
}}
\sum_{k\sim K}
\left|
\mathcal C_{n,k}(Q)
-
\mathcal M_{n,k}(Q)
\right|
}
$$

足夠小，

或至少得到 sharp enough upper bound：

$$
\boxed{
\mathcal C_{n,k}(Q)
\lesssim
\frac{
Q
}{
\varphi(n)\log M
}
\times
\text{local factors}.
}
$$

這是 WCD 的 prime-sensitive版本。

---

# 26. Why DFSPC Is More Precise Than “Switched Level”

SRBRD-22 說：

> switched sequence需要自己的 level of distribution。

SRBRD-23 修正為：

$$
\boxed{
\text{真正需要的是 prime-sensitive correlation level，
不是單獨 }\lambda\text{ 或 primes的 marginal distribution。}
}
$$

這避免研究錯誤的 weaker theorem。

---

# 27. Factor-Preserved Prime-Side Alternative

另一個 DFSPC route：

展開：

$$
q=q_1q_2.
$$

固定：

$$
q_2.
$$

由 T02：

$$
\boxed{
v
\equiv
A_Xn^{-1}
\pmod{kq_2}.
}
$$

然後：

- $q_2$ 提供 convenient divisor；
- $q_1$ 保留 remaining weight；
- 對 prime：
  $$
  v
  $$
  使用 uniform large-modulus theorem。

這就是：

# Dual-Factorized Prime-Side DFSPC

---

# 28. Dual-Factorization Admissibility Contract

對每個：

$$
t,\theta,
$$

需要找到：

$$
\sigma
$$

與 external theorem admissible region：

$$
\mathfrak A
$$

使：

$$
\boxed{
\left(
\frac{
1-\theta+\sigma
}{
1-t
},
\frac{
\sigma
}{
1-t
}
\right)
\in
\mathfrak A.
}
$$

同時：

1. well-factorable decomposition能提供：
   $$
   q_2\sim X^\sigma;
   $$
2. remaining：
   $$
   q_1
   $$
   weight仍可平均；
3. transformed main term可控制。

這是：

# Explicit Switched Dual-Factorization Gate

---

# 29. No-Free-Gain Lemma

## Theorem SRBRD-23-T09

如果 external prime-AP theorem只取決於：

$$
\boxed{
\text{total modulus exponent }\rho
}
$$

而完全不獎勵 convenient divisor，

則：

$$
\sigma>0
$$

只會增加：

$$
\rho(t,\theta,\sigma).
$$

所以最佳：

$$
\boxed{
\sigma=0.
}
$$

因此：

> inherited factor只有在 divisor-sensitive large-modulus theorem裡才可能真正有利。

---

# 30. Maynard-III Role

Maynard-III 正是：

> moduli larger than square root
> with conveniently sized divisors

的 uniform-residue architecture。

所以它在概念上正符合：

$$
\boxed{
\mathfrak A
}
$$

類型。

但本輪沒有完成：

$$
\boxed{
(t,\theta,\sigma)
\mapsto
\text{published Maynard-III admissible region}
}
$$

的 full constant / range matching。

因此目前只能標：

$$
\boxed{
\mathrm{DUAL\mbox{-}FACTORIZATION\ TEMPLATE},
}
$$

不能標：

$$
\boxed{
\mathrm{PROVIDER\ PASS}.
}
$$

---

# 31. Yang 2026 Role

Yang 2026 提供：

- convolution-type BV；
- well-factorable / upper linear-sieve modulus weights；
- strong variable-size dependent levels。

但 DFSPC switched object：

$$
nv+kq_1q_2=A_X
$$

不是其 theorem statement的 direct：

$$
lp\equiv a\pmod q
$$

形式。

因此：

$$
\boxed{
\text{Yang仍是 technology template，
不是 black-box switched provider。}
}
$$

---

# 32. Switching Literature Reinterpretation

Matomäki–Zuniga Alterman的 framework說：

original與 switched problem的 distribution level是獨立 inputs。

SRBRD-23進一步識別：

對我們的 switched problem，

所謂：

$$
\boxed{
\theta_{\mathrm{switch}}
}
$$

不應只由：

- prime AP exponent；
- weight AP exponent；

其中任一個單獨定義。

而應由：

$$
\boxed{
\text{DFSPC correlation estimate}
}
$$

定義。

---

# 33. A Natural Switched-Level Definition

定義：

$$
\boxed{
\Theta_{\mathrm{DFSPC}}(t)
}
$$

為最大的：

$$
\theta
$$

使：

對：

$$
N=X^t,
$$

$$
Q=X^\theta,
$$

以及：

$$
K\le X^{1-\theta},
$$

DFSPC average具有：

$$
X(\log X)^{-A}
$$

級 error或所需 upper-bound constant。

這才是 SRBRD complement route真正的 switched level。

---

# 34. Prime-Side Necessary Threshold Rephrased

若 DFSPC完全退化成：

> 只使用 prime distribution modulo $k$，

則：

$$
\Theta_{\mathrm{DFSPC}}
$$

必須對應：

$$
\rho_{\mathrm{req}}(t)
=
\frac2{5(1-t)}.
$$

需要：

$$
3/5\to2/3.
$$

所以：

$$
\boxed{
\text{DFSPC必須比單邊 prime AP更有效地利用雙邊結構。}
}
$$

---

# 35. Weight-Side Necessary Log Gain

若 DFSPC完全退化成：

> 只使用 well-factorable weight distribution modulo $n$，

T08給：

$$
Q/n
$$

但缺：

$$
1/\log M.
$$

所以：

$$
\boxed{
\text{DFSPC又必須保留 prime density。}
}
$$

這兩個 no-go互相夾住 target：

> 必須是一個真正 joint theorem。

---

# 36. Center-Divisor Exceptional Rows Again Help

若：

$$
n\mid A_X,
$$

generic coprimality firewall失敗。

但：

$$
n\mid A_X=2m
$$

等價：

$$
n\mid m.
$$

這正是 earlier center rows。

SRBRD-15給：

$$
M_{n,0}\le1.
$$

所以 future proof可：

1. 把：
   $$
   n\mid A_X
   $$
   rows完全從 DFSPC中剔除；
2. 用 structural transport直接支付。

這讓 DFSPC只需 generic：

$$
\boxed{
(n,A_X)=1.
}
$$

---

# 37. Exact Generic Switched Contract

generic low-row state可要求：

$$
\boxed{
(nA_X,qk)=1
}
$$

up to factors already handled by center exceptions。

then：

$$
\boxed{
v
\equiv
A_Xn^{-1}
\pmod{kq_i}
}
$$

與：

$$
\boxed{
q
\equiv
A_Xk^{-1}
\pmod n
}
$$

都合法。

這提供真正雙向 residue symmetry。

---

# 38. Dual Residue Symmetry

原 equation：

$$
nv+kq=A_X
$$

generic時同時給：

$$
\boxed{
v
\equiv
A_Xn^{-1}
\pmod k
}
$$

與：

$$
\boxed{
q
\equiv
A_Xk^{-1}
\pmod n.
}
$$

所以：

> small variables：
> $$
> n,k
> $$
> 各自成為對面 large variable的 modulus。

這是：

# Switched-Lattice Duality

---

# 39. Determinant Grid

兩組 lattice states：

$$
(v_1,q_1),
$$

$$
(v_2,q_2)
$$

滿足：

$$
nv_i+kq_i=A_X.
$$

則：

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

generic：

$$
(n,k)=1
$$

給：

$$
\boxed{
v_1-v_2\equiv0\pmod k,
}
$$

$$
\boxed{
q_1-q_2\equiv0\pmod n.
}
$$

所以 switched state space本身就是：

$$
\boxed{
k\times n
}
$$

spacing的 affine lattice。

---

# 40. Why This May Be Better Than the Original Spectral Coordinate

original Maynard-II fixed-$a$ route在 off-diagonal產生：

$$
y=af\ell.
$$

switched lattice則 off-diagonal differences天然由：

$$
\boxed{
n\Delta v=-k\Delta q
}
$$

控制。

large：

$$
A_X
$$

完全消失於 difference equation。

因此：

$$
\boxed{
\text{off-diagonal geometry本身是 shift-free}.
}
$$

這可能是 WCD / DFSPC最值得利用的新結構。

---

# 41. Shift-Free Difference Theorem

## Theorem SRBRD-23-T10

對 fixed：

$$
n,k,
$$

所有 switched lattice solutions的 pairwise difference relation：

$$
\boxed{
n\Delta v+k\Delta q=0
}
$$

完全不依賴：

$$
A_X.
$$

所以：

$$
\boxed{
\text{Goldbach shift只決定 lattice translate，
不決定 lattice direction / spacing。}
}
$$

這是 complement route相比 fixed-$a$ reciprocal coordinate的真正幾何優勢。

---

# 42. Research Consequence

如果 future dispersion estimate只依賴：

- lattice spacing：
  $$
  n,k;
  $$
- coefficient norms；
- interval lengths；

而對 translate：

$$
A_X
$$

uniform，

就可以自然得到 Goldbach-shift uniformity。

這比追：

$$
|A_X|
$$

spectral conductor更合理。

---

# 43. Main-Term Problem Remains

actual switched lattice有：

$$
\lambda_q
\mathbf1_{\mathbb P}(v).
$$

expected original sieve main term含：

$$
\frac{
1
}{
\varphi(q)
}.
$$

所以 full DFSPC theorem仍需：

1. actual affine-lattice weighted prime count；
2. correct local singular/main factor；
3. original $q$-space sieve density一致性。

本輪尚未 closed。

---

# 44. Quantitative Research Targets

下一步不應再問：

> $k$ 有沒有 well-factorability？

而應問兩個 precise問題：

### Target A — Dual-Factorization

能否選：

$$
q_i
$$

使：

$$
kq_i
$$

進入 uniform large-modulus prime theorem的 admissible region？

### Target B — Joint Correlation

若不能，

能否直接證：

$$
\boxed{
\mathcal C_{n,k}(Q)
}
$$

平均具有 prime density：

$$
1/\log M
$$

且保留 original factorable weight density？

---

# 45. Formal Theorem Queue

```yaml
SRBRD_23:

  T01:
    factor_preserved_complement_equation

  T02:
    inherited_factor_switched_modulus

  T03:
    n_coprime_to_original_q

  T04:
    gcd_k_A_only_center_prime

  T05:
    prime_side_required_level:
      rho_req_t:
        2/(5*(1-t))

  T06:
    coverage_by_hypothetical_prime_AP_level

  T07:
    weight_side_q_progression_mod_n

  T08:
    bounded_factorable_weight_residue_envelope

  T09:
    inherited_factor_no_gain_without_divisor_sensitive_theorem

  T10:
    shifted_lattice_difference_is_shift_free
```

---

# 46. Barrier Queue

```yaml
SRBRD_23_Barriers:

  B01:
    factorability_only_loses_prime_log_density

  B02:
    prime_side_full_low_band_requires_level_2_3

  B03:
    inherited_factor_increases_total_switched_modulus

  B04:
    external_divisor_sensitive_admissible_region_not_yet_matched

  B05:
    joint_prime_weight_correlation_missing

  B06:
    main_term_reconciliation_open
```

---

# 47. External Switching Benchmark

Matomäki–Zuniga Alterman 2025：

在一般 weighted switching framework中，

當 original與 switched problem都具有至少：

$$
\boxed{
0.267
}
$$

level of distribution時，

可得到其 general：

$$
(p,P_3)
$$

型 conclusion。

這不是 SRBRD所需：

$$
P_2
$$

theorem，

也不能直接套用。

但它 formalizes：

$$
\boxed{
\text{original level}
+
\text{switched level}
}
$$

必須被分開驗證。

SRBRD-23現在把「switched level」進一步具體化為：

$$
\boxed{
\Theta_{\mathrm{DFSPC}}(t).
}
$$

---

# 48. Current Literature Status

### Maynard-III

已知：

- prime AP；
- moduli beyond square root；
- convenient divisors；
- residue uniformity。

對：

$$
kq_i
$$

是最自然 external template。

但尚未完成 exact exponent/factor-window matching。

### Yang 2026

已知：

- convolution-type BV；
- well-factorable / upper linear-sieve modulus weights。

但 switched lattice不是其 direct theorem shape。

### Fouvry–Grupp / Modern Switching

支持：

> switched sequence必須獨立取得 distribution。

但不直接提供 DFSPC。

---

# 49. Verdict

本輪可以正式給：

$$
\boxed{
\mathrm{SRBRD\mbox{-}23\ DUAL\mbox{-}FACTORIZATION\ KERNEL\ PASS}.
}
$$

最大正面結果：

$$
\boxed{
q=q_1q_2
\Longrightarrow
\text{switched modulus can be }kq_i,
}
$$

所以：

$$
\boxed{
\text{original factorability不是完全遺失，
而是以 convenient divisor 的形式部分存活。}
}
$$

最大 quantitative result：

$$
\boxed{
\rho_{\mathrm{req}}(t)
=
\frac{
2
}{
5(1-t)
}
}
$$

因此 pure prime-side route：

$$
\boxed{
3/5
\to
2/3
}
$$

才可覆蓋：

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

所以：

$$
\boxed{
\text{prime-side switched distribution alone仍不足以自然 closing}.
}
$$

weight-side factorability則只給：

$$
Q/n
$$

的 algebraic scale，

但丟掉：

$$
1/\log M
$$

prime density。

因此真正 missing provider被壓成：

# DFSPC
## Dual-Factorable Switched Prime Correlation

亦即：

$$
\boxed{
\text{joint prime density}
+
\text{factorable q-weight density}
+
\text{Goldbach-shift uniform affine lattice}.
}
$$

但：

$$
\boxed{
\mathrm{DFSPC\ NOT\ YET\ PROVED}.
}
$$

$$
\boxed{
\mathrm{WCD\ NOT\ YET\ CLOSED}.
}
$$

以及：

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

---

# 50. 下一輪建議

# SRBRD-24
## Shift-Free Lattice Dispersion / Dual-Correlation Closure

下一輪不再追「$k$ 是否 well-factorable」。

直接利用本輪最重要的新幾何：

$$
\boxed{
n\Delta v+k\Delta q=0.
}
$$

因這條 off-diagonal relation完全沒有：

$$
A_X.
$$

研究：

### Part A — Lattice Dispersion

對：

$$
\mathcal C_{n,k}(Q)
$$

做 Cauchy–Schwarz / dispersion，

看 off-diagonal是否自然只出現：

$$
n,k
$$

而不重新產生：

$$
A_X
$$

spectral conductor。

### Part B — Factor-Preserved q Side

在：

$$
q=q_1q_2
$$

分解下，

保持：

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

直到 dispersion最後。

### Part C — Prime Density

對 lattice：

$$
v=v_0+kt
$$

保留 upper-linear-sieve / prime density，

不要像 T08 一樣丟掉：

$$
1/\log M.
$$

### Part D — External Match

最後再判斷 resulting bilinear / Kloosterman sum：

- 是否落入 Maynard-III；
- Yang 2026；
- Pascadi；
- 或 classical large-sieve / spectral theorem。

真正 target：

$$
\boxed{
\text{a dispersion theorem whose off-diagonal geometry
is shift-free from the start}.
}
$$

---

# 附錄 A：Dual-Factorization Map

```yaml
original:
  q:
    X^theta

  factor:
    q2:
      X^sigma

complement:
  k:
    <= X^(1-theta)

switched_modulus:
  K2:
    k*q2
    <= X^(1-theta+sigma)

prime_scale:
  v:
    X^(1-t)

relative_modulus_exponent:
  rho:
    (1-theta+sigma)/(1-t)

relative_convenient_divisor:
  eta:
    sigma/(1-t)

gate:
  (rho,eta):
    must_belong_to_external_admissible_region
```

---

# 附錄 B：Prime-Side Threshold

```yaml
best_original_theta:
  3/5

required_prime_AP_level:
  rho_req_t:
    2/(5*(1-t))

endpoints:
  t_1_3:
    rho:
      3/5

  t_2_5:
    rho:
      2/3

selected_benchmarks:
  rho_3_5:
    max_t:
      1/3

  rho_66_107:
    max_t:
      58/165

  rho_5_8:
    max_t:
      9/25

  rho_2_3:
    max_t:
      2/5
```

---

# 附錄 C：Coprimality Firewall

```yaml
assume:
  gcd(q,A_X):
    1

then:
  gcd(n,q):
    1

if:
  prime_p_divides:
    - k
    - A_X

then:
  p:
    n

generic:
  if_n_not_divides_A_X:
    gcd(k,A_X):
      1

center_exception:
  n_divides_A_X:
    equivalent_odd_prime_case:
      n_divides_m
    existing_transport_bonus:
      true
```

---

# 附錄 D：Weight-Side Envelope

```yaml
assume:
  lambda:
    gamma_convolution_delta

  abs_gamma:
    <= 1

  abs_delta:
    <= 1

  support:
    gamma:
      <= Q1
    delta:
      <= Q2

  Q1_times_Q2:
    Q

for_reduced_residue_a_mod_n:
  absolute_weight_mass:
    <= Q/n + Q1

if:
  Q1 <= Q/n

then:
  mass:
    O(Q/n)

warning:
  prime_indicator_dropped:
    loses:
      1/log(M)
```

---

# 附錄 E：DFSPC Contract

```yaml
DFSPC:

  equation:
    n*v + k*q:
      A_X

  n:
    prime
    X^(1/3)_to_X^(2/5)

  v:
    prime
    X^(3/5)_to_X^(2/3)

  q:
    factorable_sieve_weight

  k:
    complementary_divisor

  generic_coprimality:
    gcd(n*A_X,q*k):
      1

  target:
    joint_prime_weight_correlation:
      sharp_upper_or_asymptotic: true

  must_preserve:
    prime_density:
      1/log(M)

    factorable_weight_density:
      true

    uniform_in:
      A_X:
        X+3
```

---

# 附錄 F：Commit Decision

```yaml
research_round: SRBRD-23

decision:
  original_factor_partially_survives_switch: true
  dual_factorization_condition: true
  generic_coprimality_firewall: true
  prime_side_level_2_3_threshold: true
  factorability_only_log_loss: true
  DFSPC_target_identified: true
  DFSPC_proved: false
  WCD_closed: false
  goldbach_proved: false

next:
  SRBRD-24_ShiftFree_LatticeDispersion_DualCorrelation_Closure
```

---

# References / External Benchmarks

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

   The paper explicitly treats original and switched levels of distribution as separate inputs; in its general $P_3$ result both levels at least $0.267$ suffice under its assumptions. This is a benchmark for the architecture, not a direct SRBRD $P_2$ provider.

2. James Maynard, **Primes in arithmetic progressions to large moduli III: Uniform residue classes**, *Memoirs of the American Mathematical Society* 306 (2025), no. 1544.

   Relevant as the canonical template for uniform prime distribution to moduli beyond the square-root barrier when the modulus has conveniently sized divisors.

3. Zhiyuan Yang, **Convolution-type Bombieri-Vinogradov theorem with well-factorable Weights, and its applications**, arXiv:2608.13299 (2026).

   Relevant as a modern convolution / well-factorable-weight template; no direct DFSPC applicability is asserted.

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