# SRBRD-24
## Shift-Free Lattice Dispersion / Dual-Correlation Closure
### Factor-Preserved Affine Lattices、Translation-Free Off-Diagonal Geometry、Prime-Pair Local Profiles、Autocorrelation Provider 與 Factor–Length Conservation

**母計畫：** RG-SCP / Reverse Goldbach Structural Closure Program  
**支線：** SRBRD — Symmetric Root-Bounded Relation Domain  
**輪次：** SRBRD-24  
**日期：** 2026-09-30  
**版本：** v0.1  
**作者：** Neo.K；Aletheia（GPT-5.6 Sol）  
**性質：** Exact Lattice-Dispersion Kernel / Translation-Uniform Correlation Interface / Quantitative Barrier Audit  
**前置：** SRBRD-00 ～ SRBRD-23  
**狀態：** 證明 complement-switched low-row 的 off-diagonal lattice geometry與 prime-pair local obstruction profile不依賴 Goldbach shift 的絕對大小；建立 autocorrelation closure contract；同時證明 elementary one-dimensional lattice sieve仍只有 $\log T$ 而非 $\log M$ 的密度品質，因此仍需 large-modulus mean-value / structured-modulus input；Goldbach仍未證明

---

# 0. 本輪問題

SRBRD-23 已得到 factor-preserved complement equation：

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

其中：

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

並證明 original factor：

$$
q_2
$$

可以進入 switched modulus：

$$
\boxed{
K=kq_2.
}
$$

所以 equation變成：

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

SRBRD-23 也已指出：

- pure prime-side distribution若覆蓋完整 low row，需要 relative level最高到：
  $$
  2/3;
  $$
- pure factorable-weight counting會丟掉：
  $$
  1/\log M
  $$
  prime density。

因此本輪不再問單邊 marginal distribution。

而問：

> 對 exact switched lattice做 dispersion / autocorrelation後，
> Goldbach shift $A_X$ 是否仍作為 dangerous spectral scale出現？

本輪答案：

$$
\boxed{
\text{off-diagonal lattice direction與 local prime-pair geometry完全 shift-free。}
}
$$

但：

$$
\boxed{
\text{elementary lattice sieve仍有 progression-length log deficit。}
}
$$

---

# 1. Factor-Preserved Switched Equation

令：

$$
q=q_1q_2,
$$

並固定：

$$
q_2.
$$

定義：

$$
\boxed{
K=kq_2.
}
$$

則 complement equation：

$$
nv+kq_1q_2=A_X
$$

成為：

## Theorem SRBRD-24-T01

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

這是一個二變量 affine Diophantine equation。

---

# 2. Generic Coprimality

沿用 SRBRD-23 generic firewall：

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

以及：

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

center-divisor exception：

$$
n\mid A_X
$$

已另由 SRBRD-15 transport處理。

generic情況下：

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

因若 prime：

$$
n\mid K=kq_2,
$$

則：

- $n\nmid q_2$，由 $(n,q)=1$；
- 所以 $n\mid k$；
- 再由：
  $$
  A_X=nv+Kq_1
  $$
  得：
  $$
  n\mid A_X,
  $$
  矛盾。

---

# 3. Affine-Lattice Parameterization

因：

$$
(n,K)=1,
$$

若存在一組 integer solution：

$$
(v_0,q_{1,0}),
$$

則全部 solutions為：

## Theorem SRBRD-24-T02

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

$$
\boxed{
q_1
=
q_{1,0}-nt,
}
$$

其中：

$$
t\in\mathbb Z.
$$

所以 switched state set位於方向向量：

$$
\boxed{
(K,-n)
}
$$

的一條 affine lattice。

---

# 4. Goldbach Shift Only Chooses the Translate

不同：

$$
A_X
$$

會改變 base solution：

$$
(v_0,q_{1,0}),
$$

但不改變 lattice direction：

$$
(K,-n).
$$

所以：

## Theorem SRBRD-24-T03

對固定：

$$
n,K,
$$

Goldbach shift：

$$
A_X
$$

只決定 affine-lattice translate，

不決定：

- step size：
  $$
  K
  $$
  on the prime side；
- step size：
  $$
  n
  $$
  on the weight side。

---

# 5. Difference Equation

取同一 lattice上的兩組 states：

$$
(v_1,q_{1,1}),
$$

$$
(v_2,q_{1,2}).
$$

各自滿足：

$$
nv_i+Kq_{1,i}=A_X.
$$

相減：

## Theorem SRBRD-24-T04

$$
\boxed{
n(v_1-v_2)
+
K(q_{1,1}-q_{1,2})
=
0.
}
$$

Goldbach shift：

$$
A_X
$$

完全消失。

---

# 6. Shift Parameter

由 T02，

兩 states可寫：

$$
t,
\quad
t+h.
$$

所以：

$$
\boxed{
\Delta v
=
Kh,
}
$$

$$
\boxed{
\Delta q_1
=
-nh.
}
$$

因此：

$$
\boxed{
nKh-Knh=0.
}
$$

off-diagonal geometry由：

$$
(n,K,h)
$$

完全決定。

---

# 7. Dyadic Lattice Length

令 supports：

$$
v\sim M,
$$

$$
q_1\sim Q_1.
$$

由 step sizes：

$$
K,
\quad
n,
$$

lattice parameter interval長度至多：

## Theorem SRBRD-24-T05

$$
\boxed{
T
\ll
1+
\min
\left(
\frac{M}{K},
\frac{Q_1}{n}
\right).
}
$$

---

# 8. Complement Geometry Makes $q_1$ the Natural Bottleneck

設 complement：

$$
w=A_X-nv
$$

位於 dyadic：

$$
w\sim W,
$$

且：

$$
w=kq_1q_2.
$$

所以 typical：

$$
\boxed{
KQ_1
=
kq_2Q_1
\asymp
W.
}
$$

又：

$$
NM\asymp X.
$$

因此：

$$
\frac{M/K}{Q_1/n}
\asymp
\frac{X}{W}.
$$

因：

$$
W\le X,
$$

得到：

## Theorem SRBRD-24-T06

在 bulk dyadic block中：

$$
\boxed{
\frac{M}{K}
\gtrsim
\frac{Q_1}{n}.
}
$$

所以 natural lattice length：

$$
\boxed{
T
\asymp
\frac{Q_1}{n}
}
$$

up to endpoint constants，

unless boundary truncation更短。

---

# 9. Exponent Ledger

寫：

$$
n=X^t,
$$

$$
q=X^\theta,
$$

$$
q_2=X^\sigma.
$$

則：

$$
Q_1=X^{\theta-\sigma}.
$$

因此：

## Corollary SRBRD-24-C01

$$
\boxed{
T
\asymp
X^{\theta-\sigma-t}.
}
$$

prime scale：

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

若：

$$
W\asymp X,
$$

switched modulus：

$$
K=kq_2
$$

有 exponent：

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

---

# 10. Factor–Length Conservation

在：

$$
W\asymp X
$$

的 main bulk：

$$
KQ_1\asymp X.
$$

因此：

$$
KT
\asymp
K\frac{Q_1}{n}
\asymp
\frac Xn
\asymp
M.
$$

所以：

## Theorem SRBRD-24-T07

$$
\boxed{
KT\asymp M.
}
$$

在 exponent語言：

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

---

# 11. Relative Prime-Side Exponents

相對 prime scale：

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

定義 switched modulus fraction：

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

lattice-length fraction：

$$
\boxed{
\tau
=
\frac{
\theta-\sigma-t
}{
1-t
}.
}
$$

T07給：

## Corollary SRBRD-24-C02

$$
\boxed{
\rho+\tau=1.
}
$$

這是：

# Factor–Length Conservation Law

---

# 12. Meaning of the Conservation Law

增加 inherited factor：

$$
q_2
$$

也就是增加：

$$
\sigma,
$$

會：

- 增加 switched modulus：
  $$
  \rho;
  $$
- 同量縮短 lattice length：
  $$
  \tau.
  $$

所以：

$$
\boxed{
\text{convenient divisor不是免費資訊。}
}
$$

它將：

> interval length

交換成：

> modulus factor geometry。

---

# 13. Prime Form on the Lattice

定義：

$$
\boxed{
L_t
=
v_0+Kt.
}
$$

generic coprimality給：

$$
\boxed{
(v_0,K)=1.
}
$$

因：

$$
nv_0\equiv A_X\pmod K
$$

且：

$$
(nA_X,K)=1.
$$

所以 lattice上的 prime condition是：

$$
\boxed{
L_t\in\mathbb P.
}
$$

---

# 14. Pair Prime Forms

對 off-diagonal difference：

$$
h\neq0,
$$

考慮：

$$
\boxed{
L_t
=
v_0+Kt,
}
$$

$$
\boxed{
L_{t+h}
=
v_0+K(t+h).
}
$$

difference：

$$
\boxed{
L_{t+h}-L_t
=
Kh.
}
$$

---

# 15. Exact Local Root Count

對 prime：

$$
p,
$$

令：

$$
\nu_{K,h}(p)
$$

為 modulo：

$$
p
$$

使：

$$
p\mid L_tL_{t+h}
$$

的：

$$
t
$$

residue class數。

則：

## Theorem SRBRD-24-T08

$$
\boxed{
\nu_{K,h}(p)
=
\begin{cases}
0,
&
p\mid K,
\\
1,
&
p\nmid K
\text{ and }
p\mid h,
\\
2,
&
p\nmid Kh.
\end{cases}
}
$$

---

# 16. Proof of T08

若：

$$
p\mid K,
$$

則：

$$
L_t\equiv v_0\not\equiv0\pmod p
$$

對所有：

$$
t.
$$

所以：

$$
\nu=0.
$$

若：

$$
p\nmid K,
$$

第一 form的唯一 root：

$$
t_0
\equiv
-v_0K^{-1}
\pmod p.
$$

第二 form的 root：

$$
t_0-h.
$$

兩 roots相同當且僅當：

$$
p\mid h.
$$

故 T08。

---

# 17. Local Prime-Pair Geometry Is Shift-Free

T08 只包含：

$$
K,
\quad
h.
$$

完全沒有：

$$
A_X
$$

或：

$$
v_0.
$$

所以：

## Corollary SRBRD-24-C03

$$
\boxed{
\text{off-diagonal prime-pair local obstruction profile
is independent of the Goldbach shift translate.}
}
$$

這是本輪最重要的 exact result之一。

---

# 18. Pair Sieve Product

定義 formal local product：

$$
\boxed{
V_{K,h}(z)
=
\prod_{p\le z}
\left(
1-
\frac{
\nu_{K,h}(p)
}{
p
}
\right).
}
$$

由 T08：

$$
\boxed{
V_{K,h}
}
$$

只依賴：

$$
K,
h,
$$

不依賴：

$$
A_X.
$$

這是 shift-free prime-pair sieve kernel。

---

# 19. Weight-Side Affine Form

同時定義：

$$
\boxed{
Q_t
=
q_{1,0}-nt.
}
$$

則：

$$
\boxed{
Q_{t+h}-Q_t
=
-nh.
}
$$

所以 weight-side difference也不含：

$$
A_X.
$$

若未來需要對：

$$
Q_t,
Q_{t+h}
$$

做 local divisor analysis，

其 direction由：

$$
n,h
$$

控制。

---

# 20. Lattice Correlation Sum

固定：

$$
n,K
$$

與一個 admissible translate，

定義：

$$
\boxed{
\mathcal C_A(n,K)
=
\sum_{t\in I_A}
\Gamma(Q_t)
\mathbf1_{\mathbb P}(L_t).
}
$$

其中：

- $I_A$ 是由 dyadic supports切出的 lattice interval；
- $\Gamma$ 可代表：
  - $\gamma(q_1)$；
  - bounded factorable coefficient；
  - selected switched weight。

---

# 21. Exact Autocorrelation Expansion

## Theorem SRBRD-24-T09

$$
\boxed{
|\mathcal C_A(n,K)|^2
=
\sum_h
\mathcal R_A(n,K;h),
}
$$

其中：

$$
\boxed{
\mathcal R_A(n,K;h)
=
\sum_{\substack{
t\in I_A\\
t+h\in I_A
}}
\Gamma(Q_t)
\overline{\Gamma(Q_{t+h})}
\mathbf1_{\mathbb P}(L_t)
\mathbf1_{\mathbb P}(L_{t+h}).
}
$$

這只是 exact square expansion。

---

# 22. Where the Goldbach Shift Still Lives

T09中：

$$
A_X
$$

仍可透過：

- base translate：
  $$
  v_0,q_{1,0};
  $$
- interval endpoint：
  $$
  I_A;
  $$

影響：

$$
\mathcal R_A.
$$

所以不能說：

$$
\boxed{
\mathcal R_A
\text{ 本身完全 independent of }A.
}
$$

正確說法是：

$$
\boxed{
\text{its difference geometry and local prime obstruction profile are shift-free.}
}
$$

這是重要 firewall。

---

# 23. Translation-Uniform Autocorrelation Provider

定義 abstract property：

# TUAC
## Translation-Uniform Autocorrelation Control

對所有 admissible translates：

$$
(v_0,q_{1,0}),
$$

若能證：

### Diagonal

$$
\boxed{
|\mathcal R_A(n,K;0)|
\le
B_0
\frac{
T
}{
\log M
}.
}
$$

### Off-Diagonal Aggregate

$$
\boxed{
\sum_{0<|h|<T}
|\mathcal R_A(n,K;h)|
\le
B_1
\frac{
T^2
}{
(\log M)^2
}.
}
$$

其中：

$$
B_0,B_1
$$

只允許 acceptable local / divisor factors，

且 uniform in：

$$
A_X,
$$

則得到 full prime-density scale。

---

# 24. TUAC Implies First-Moment Prime Density

由 T09：

## Theorem SRBRD-24-T10

若 TUAC成立，

則：

$$
\boxed{
|\mathcal C_A(n,K)|
\le
\sqrt{B_1}
\frac{
T
}{
\log M
}
+
\sqrt{
B_0
\frac{
T
}{
\log M
}
}.
}
$$

proof：

$$
|\mathcal C|^2
\le
B_1\frac{T^2}{\log^2M}
+
B_0\frac{T}{\log M}.
$$

再用：

$$
\sqrt{x+y}
\le
\sqrt x+\sqrt y.
$$

---

# 25. Diagonal Is Negligible at Polynomial Lattice Length

low row中：

$$
T=X^{\theta-\sigma-t}.
$$

只要：

$$
\theta-\sigma-t>0
$$

固定正值，

則：

$$
T
\gg
(\log M)^C.
$$

因此：

$$
\boxed{
\sqrt{
T/\log M
}
=
o
\left(
T/\log M
\right).
}
$$

所以 TUAC 下：

## Corollary SRBRD-24-C04

$$
\boxed{
|\mathcal C_A(n,K)|
\le
(\sqrt{B_1}+o(1))
\frac{
T
}{
\log M
}.
}
$$

也就是完整 prime density。

---

# 26. Why Autocorrelation Is Attractive

單純 Cauchy：

$$
|\mathcal C|
\le
\left(
\sum|\Gamma|^2
\right)^{1/2}
\left(
\sum\mathbf1_{\mathbb P}(L_t)
\right)^{1/2}
$$

只會給：

$$
1/\sqrt{\log}
$$

級 prime gain。

但 T09 的 off-diagonal含：

$$
\boxed{
\mathbf1_{\mathbb P}(L_t)
\mathbf1_{\mathbb P}(L_{t+h}),
}
$$

若能取得：

$$
1/\log^2M
$$

pair density，

平方根正好恢復：

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

所以：

$$
\boxed{
\text{second moment can preserve the full prime logarithm
if the off-diagonal bound is strong enough.}
}
$$

---

# 27. Elementary Pair Sieve Is Still Too Weak

若只把：

$$
t
$$

視為長度：

$$
T
$$

的一維 sieve variable，

standard Selberg / Brun upper-sieve自然只能利用：

$$
t\bmod d
$$

在：

$$
d
$$

不太超過 progression length的 distribution。

因此其 natural logarithm是：

$$
\boxed{
\log T,
}
$$

而不是：

$$
\boxed{
\log M.
}
$$

schematically：

$$
\boxed{
\mathcal R(h)
\lesssim
\frac{
T
}{
(\log T)^2
}
\times
\text{singular/local factor}.
}
$$

這是 external sieve diagnostic，

不是本輪自行聲稱 sharp constant theorem。

---

# 28. Elementary Autocorrelation Gives Only $T/\log T$

若平均 local factors可控，

將 §27 代入 T09，

得到 natural scale：

$$
|\mathcal C|
\lesssim
\frac{
T
}{
\log T
}
$$

而不是：

$$
T/\log M.
$$

所以：

## Barrier SRBRD-24-B01

$$
\boxed{
\text{shift-free geometry alone does not remove
the large-modulus logarithmic deficit.}
}
$$

---

# 29. Log-Deficit Ratio

定義：

$$
\boxed{
\mathfrak L
=
\frac{
\log M
}{
\log T
}.
}
$$

由 C01：

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

$$
T=X^{\theta-\sigma-t},
$$

所以：

## Theorem SRBRD-24-T11

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

---

# 30. Best Bare-Complement Case

取：

$$
\theta=3/5,
$$

$$
\sigma=0.
$$

則：

$$
\boxed{
\mathfrak L(t)
=
\frac{
1-t
}{
3/5-t
}.
}
$$

endpoints：

$$
\boxed{
\mathfrak L(1/3)
=
5/2,
}
$$

$$
\boxed{
\mathfrak L(2/5)
=
3.
}
$$

所以 elementary lattice prime sieve的 log constant比 ideal density差：

$$
\boxed{
2.5\text{--}3
}
$$

倍。

---

# 31. Inherited Factor Worsens the Bare Log Deficit

若：

$$
\sigma>0,
$$

則：

$$
T
=
X^{\theta-\sigma-t}
$$

更短。

因此：

## Corollary SRBRD-24-C05

$$
\boxed{
\frac{\partial\mathfrak L}{\partial\sigma}
>0.
}
$$

也就是：

> convenient divisor $q_2$ 對 elementary lattice sieve反而有成本。

它只有在 external theorem能真正利用 factor structure時才值得。

---

# 32. Factor–Length Conservation Rephrases the Deficit

由：

$$
\rho+\tau=1,
$$

其中：

$$
\tau
=
\frac{\log T}{\log M},
$$

有：

## Corollary SRBRD-24-C06

$$
\boxed{
\mathfrak L
=
\frac1\tau
=
\frac1{1-\rho}.
}
$$

所以：

> modulus越大，
> progression越短，
> elementary sieve越無法恢復 global prime logarithm。

這正是 large-modulus prime distribution問題的幾何本質。

---

# 33. Factor-Preserved First-Moment Domination

現在利用：

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

固定：

$$
q_2,
$$

並令：

$$
K=kq_2.
$$

若：

$$
|\gamma(q_1)|\le1,
$$

$$
|\delta(q_2)|\le1,
$$

則 lattice sum：

$$
\mathcal C_A
=
\delta(q_2)
\sum_t
\gamma(Q_t)
\mathbf1_{\mathbb P}(L_t)
$$

滿足：

## Theorem SRBRD-24-T12

$$
\boxed{
|\mathcal C_A|
\le
\#\left\{
v\in\mathbb P:
v\in I_v,
\quad
v\equiv A_Xn^{-1}\pmod K
\right\}.
}
$$

所以：

$$
\boxed{
\text{a sufficiently strong uniform prime-AP upper provider
for structured modulus }K=kq_2
}
$$

可直接控制 fixed factorized lattice，

不必先證 full DFSPC。

---

# 34. Two Analytic Routes Are Now Distinct

## Route P — Structured Prime Progression

使用 T12。

需要：

- uniform residue；
- modulus：
  $$
  K=kq_2;
  $$
- convenient divisor：
  $$
  q_2;
  $$
- sufficiently strong mean distribution；
- factorization multiplicity control。

## Route D — Shift-Free Dispersion

使用 T09–T10。

直接證 TUAC，

利用：

$$
n\Delta v+K\Delta q_1=0
$$

與 T08 shift-free local profile。

---

# 35. Route P and Route D Are Complementary

Route P：

- simpler；
- immediately preserves full:
  $$
  1/\log M;
  $$
- but requires very strong structured-modulus prime AP theorem。

Route D：

- harder；
- but may exploit:
  - factorable coefficients；
  - averaging in:
    $$
    n,k,q_2;
    $$
  - off-diagonal cancellation；
  - shift-free difference geometry。

因此：

$$
\boxed{
\text{TUAC is only needed where Route P's modulus region fails.}
}
$$

這提供 hybrid proof architecture。

---

# 36. External Large-Modulus Template

Maynard-III proves mean-value theorems for primes in arithmetic progressions to moduli larger than the square-root barrier when the moduli possess conveniently sized factors, with complete or near-complete uniformity in the residue class depending on the theorem.

因此：

$$
\boxed{
K=kq_2
}
$$

正是值得做 hypothesis match的 modulus形態。

但其 main theorems operate around：

$$
M^{1/2+\delta}
$$

with specific factor windows。

SRBRD-23 已證 bare $k$ 的 full low-band need可升到：

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

所以：

$$
\boxed{
\text{Maynard-III is a structural template,
not automatically a full low-row provider.}
}
$$

---

# 37. Exact Maynard-III Matching Must Be Relative to $M$, Not $X$

這點非常重要。

external prime variable是：

$$
v\asymp M=X^{1-t}.
$$

所以任何 published exponent：

$$
1/2+\delta
$$

必須換成：

$$
\boxed{
K
\le
M^{1/2+\delta},
}
$$

而不是：

$$
X^{1/2+\delta}.
$$

因此 dual-factorization gate仍是：

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

與 external admissible：

$$
1/2+\delta
$$

比較。

---

# 38. Why Current Uniform Prime-AP Template Does Not Trivially Reach $2/3$

Maynard-III's published uniform results extend beyond：

$$
1/2
$$

for structured moduli，

but are still of：

$$
\boxed{
1/2+\delta
}
$$

type with explicit factor constraints。

所以：

$$
\boxed{
\text{the $2/3$ full-low-band endpoint remains far outside
a naive direct application.}
}
$$

這再次支持 hybrid Route P + Route D，

而不是把所有 low rows丟給一個 first-moment theorem。

---

# 39. Shift-Free Pair-Sieve Profile Gives a Cleaner Dispersion Target

Maynard-II fixed-residue proof最危險的：

$$
a
$$

依賴來自 absolute spectral numerator。

SRBRD-24 的 off-diagonal local data只需要：

$$
\boxed{
K,
h
}
$$

for primes，

以及：

$$
\boxed{
n,h
}
$$

for the opposite lattice coordinate。

所以 future dispersion若能保持：

$$
\boxed{
\text{difference variables rather than absolute translate}
}
$$

就不會重現 SRBRD-21 那種：

$$
Y\propto A_X
$$

barrier。

---

# 40. Translation-Uniformity Target Can Be Weaker Than Full Uniform AP

TUAC不一定要求：

$$
\sup_{a\bmod K}
\left|
\pi(M;K,a)-\mathrm{MT}
\right|
$$

pointwise。

它只需要：

> 對 SRBRD 所產生的 lattice translates，
> aggregate autocorrelation保持 uniform。

這可能比 full residue supremum theorem弱。

因此 Route D存在真正可能的 technical advantage。

---

# 41. Shift-Free Local Prime-Pair Profile vs Parity

注意：

T08只是 upper-sieve local structure。

它不 lower-bound simultaneous primes。

所以：

$$
\boxed{
\text{這裡沒有宣稱突破 parity barrier。}
}
$$

我們只用 prime-pair upper control來 upper-bound semiprime contamination / switched correlation，

polarity是安全的。

---

# 42. Mean Singular-Factor Gate

即使 T08 shift-free，

off-diagonal upper仍會帶依賴：

$$
Kh
$$

的 local singular factor。

所以 TUAC還需要控制：

$$
\boxed{
\frac1T
\sum_{1\le|h|<T}
\mathfrak S(K,h)
}
$$

或相應 weighted version。

classical sieve theory通常能控制這類平均 multiplicative factors，

但本輪不把它寫成已證 SRBRD provider。

---

# 43. Coefficient Autocorrelation Gate

off-diagonal還包含：

$$
\boxed{
\Gamma(Q_t)
\overline{\Gamma(Q_{t+h})}.
}
$$

若：

$$
\Gamma
$$

只是 bounded：

$$
|\Gamma|\le1,
$$

可以丟掉它取得 prime-pair upper bound，

但會失去：

- factorable-weight density；
- possible cancellation。

若要改善 elementary：

$$
\log T
$$

barrier，

很可能必須重新使用這個 structure。

所以：

## Barrier SRBRD-24-B02

$$
\boxed{
\text{TUAC crossing likely requires coefficient-aware dispersion,
not only prime-pair Selberg sieve.}
}
$$

---

# 44. A Shift-Free Dispersion Provider

定義：

# SFLD
## Shift-Free Lattice Dispersion

希望對 dyadic：

$$
n\sim N,
$$

$$
K\sim K_0,
$$

以及 admissible translates，

證：

$$
\boxed{
\sum_{n,K}
\omega_{n,K}
\sum_{0<|h|<T}
\mathcal R_A(n,K;h)
}
$$

可由只依：

- $n$；
- $K$；
- $h$；
- coefficient factorization；

的 main / error控制，

且 error uniform in：

$$
A_X=X+3.
$$

這是比 DFSPC更直接貼合本輪 lattice geometry的 target。

---

# 45. Desired SFLD Strength

最理想：

$$
\boxed{
\text{off-diagonal}
\ll
\sum_{n,K}
\omega_{n,K}
\frac{
T^2
}{
\log^2M
}
}
$$

up to acceptable constants。

較弱但仍可能 useful：

$$
\boxed{
\frac{
T^2
}{
\log^2M
}
\times
R(t)
}
$$

若：

$$
R(t)
$$

能進 SRBRD constant ledger。

---

# 46. Hybrid Band Split

SRBRD-24後建議 low row不再二分成單一 theorem。

而按：

$$
\rho(t)
$$

做 hybrid：

### Region P

structured-modulus prime-AP theorem足夠的部分：

$$
\boxed{
\text{use Route P}.
}
$$

### Region D

prime-AP level不足的部分：

$$
\boxed{
\text{use SFLD / Route D}.
}
$$

### Center Rows

$$
n\mid m
$$

則：

$$
\boxed{
\text{use transport lock}.
}
$$

所以 low row本身也變成多-provider closure。

---

# 47. Quantitative No-Go for Elementary Route D

bare：

$$
\theta=3/5,
$$

$$
\sigma=0.
$$

elementary lattice sieve inflation：

$$
\boxed{
\mathfrak L(t)
=
\frac{1-t}{3/5-t}.
}
$$

在 full low band：

$$
\boxed{
2.5\le
\mathfrak L
\le3.
}
$$

這個 constant inflation太大，

不可能被當成「小誤差」。

所以：

$$
\boxed{
\text{SFLD must use mean-value / spectral / coefficient structure
beyond an isolated one-dimensional sieve.}
}
$$

---

# 48. Main New Geometric Fact

可以把本輪最核心內容壓成：

$$
\boxed{
\text{Goldbach shift determines where the switched lattice sits,
not how its points are spaced.}
}
$$

spacing：

$$
\boxed{
(K,-n)
}
$$

difference：

$$
\boxed{
(Kh,-nh)
}
$$

prime-pair local roots：

$$
\boxed{
\nu_{K,h}(p)
}
$$

全部不依：

$$
A_X.
$$

這是 SRBRD-21 fixed-shift spectral barrier之後第一個真正：

# Shift-Free Off-Diagonal Kernel

---

# 49. What Is Not Yet Proved

本輪沒有證：

1. Maynard-III直接適用：
   $$
   K=kq_2;
   $$
2. TUAC；
3. SFLD；
4. DFSPC；
5. WCD；
6. constant crossing；
7. Goldbach。

所以：

$$
\boxed{
\text{kernel closed}
\neq
\text{analytic provider closed}.
}
$$

---

# 50. Formal Theorem Queue

```yaml
SRBRD_24:

  T01:
    factor_preserved_switched_equation

  T02:
    affine_lattice_parameterization

  T03:
    Goldbach_shift_only_changes_translate

  T04:
    shift_free_difference_equation

  T05:
    lattice_length_upper

  T06:
    q1_side_is_natural_length_bottleneck

  T07:
    factor_length_conservation

  T08:
    exact_prime_pair_local_root_count

  T09:
    exact_lattice_autocorrelation_expansion

  T10:
    TUAC_implies_full_prime_log_density

  T11:
    elementary_log_deficit_ratio

  T12:
    factor_preserved_prime_AP_domination
```

---

# 51. Barrier Queue

```yaml
SRBRD_24_Barriers:

  B01:
    elementary_lattice_sieve_uses_log_T_not_log_M

  B02:
    coefficient_structure_needed_for_better_dispersion

  B03:
    structured_prime_AP_region_not_yet_matched

  B04:
    mean_singular_factor_not_yet_integrated

  B05:
    main_term_and_constant_ledger_open
```

---

# 52. Acceptance Gate

SRBRD-24 formal core前需：

1. generic $(n,K)=1$ proof；
2. affine parameterization；
3. difference equation；
4. dyadic lattice-length audit；
5. factor–length exponent identity；
6. local root count T08；
7. explicit statement that autocorrelation itself may still depend on translate；
8. TUAC conditional theorem；
9. diagonal/off-diagonal polarity；
10. elementary $\log T$ diagnostic separated from theorem；
11. factor-preserved first-moment domination；
12. external prime-AP theorem not silently declared applicable；
13. no parity-break claim；
14. no Goldbach proof claim。

---

# 53. Verdict

本輪可以正式給：

$$
\boxed{
\mathrm{SRBRD\mbox{-}24\ SHIFT\mbox{-}FREE\ LATTICE\ KERNEL\ PASS}.
}
$$

最重要 exact results：

## Shift-Free Difference

$$
\boxed{
n\Delta v+K\Delta q_1=0.
}
$$

## Prime-Pair Local Profile

$$
\boxed{
\nu_{K,h}(p)
=
\begin{cases}
0,&p\mid K,\\
1,&p\nmid K,\ p\mid h,\\
2,&p\nmid Kh.
\end{cases}
}
$$

完全不依：

$$
A_X.
$$

## Factor–Length Conservation

$$
\boxed{
\rho+\tau=1.
}
$$

所以 convenient divisor與 progression length互相交換，

不是免費增益。

## Autocorrelation Closure

若能建立 translation-uniform：

$$
\boxed{
\sum_{h\ne0}
\mathcal R(h)
\ll
T^2/\log^2M,
}
$$

則：

$$
\boxed{
|\mathcal C|
\ll
T/\log M.
}
$$

完整 prime density可以從 second moment恢復。

但：

$$
\boxed{
\text{elementary one-dimensional pair sieve只自然給 }\log T,
}
$$

在 full low band造成：

$$
\boxed{
2.5\text{--}3
}
$$

倍 logarithmic inflation。

所以：

$$
\boxed{
\mathrm{TUAC/SFLD\ NOT\ YET\ PROVED}.
}
$$

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

以及：

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

---

# 54. 下一輪建議

# SRBRD-25
## Structured-Prime Provider / Shift-Free Dispersion Hybrid Closure

下一輪把 Route P 與 Route D正式分區。

### Part A — Exact Maynard-III Range Match

對：

$$
K=kq_2
$$

把：

$$
\rho(t,\theta,\sigma),
\quad
\eta(t,\sigma)
$$

逐條代入 Maynard-III：

- Theorem 1.1；
- Theorem 1.2；
- relevant Type-II propositions。

只標記真正合法區域：

$$
\mathcal R_P.
$$

### Part B — Residual Dispersion Region

定義：

$$
\boxed{
\mathcal R_D
=
[1/3,2/5]
\setminus
\mathcal R_P.
}
$$

只在：

$$
\mathcal R_D
$$

研究 SFLD。

### Part C — Autocorrelation Reduction

對：

$$
\mathcal R_D
$$

展開：

$$
\mathcal R_A(n,K;h),
$$

保留：

$$
\Gamma(Q_t)\Gamma(Q_{t+h})
$$

的 factor structure，

看能否落到：

- large sieve；
- Kloosterman；
- Yang/Pascadi convolution；
- Maynard-III 4-variable sums。

### Part D — Constant Ledger

最後只對 residual region支付 dispersion constant，

而不是全 low band都要求一個新 theorem。

這可能大幅降低 analytic burden。

---

# 附錄 A：Factor–Length Ledger

```yaml
scales:

  n:
    X^t

  q:
    X^theta

  q2:
    X^sigma

  q1:
    X^(theta-sigma)

  prime_v:
    M:
      X^(1-t)

  lattice_length:
    T:
      X^(theta-sigma-t)

  switched_modulus:
    K:
      X^(1-theta+sigma)

relative_to_M:

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

  length_fraction:
    tau:
      (theta-sigma-t)/(1-t)

identity:
  rho_plus_tau:
    1
```

---

# 附錄 B：Shift-Free Local Pair Profile

```yaml
prime_forms:

  L_t:
    v0 + K*t

  L_t_h:
    v0 + K*(t+h)

for_prime_p:

  if:
    p divides K
  then:
    root_classes:
      0

  else_if:
    p divides h
  then:
    root_classes:
      1

  else:
    root_classes:
      2

depends_on:
  - K
  - h

does_not_depend_on:
  - A_X
  - absolute_size_of_Goldbach_shift
```

---

# 附錄 C：Autocorrelation Contract

```yaml
C_A:
  sum_t:
    Gamma(Q_t)*prime_indicator(L_t)

square:

  exact:
    sum_h:
      R_A_h

R_A_h:
  sum_t:
    Gamma(Q_t)
    *conj(Gamma(Q_(t+h)))
    *prime(L_t)
    *prime(L_(t+h))

TUAC_target:

  diagonal:
    <= B0*T/log(M)

  off_diagonal_total:
    <= B1*T^2/log(M)^2

consequence:
  C_A:
    <= sqrt(B1)*T/log(M)
       + sqrt(B0*T/log(M))
```

---

# 附錄 D：Elementary Log Deficit

```yaml
best_bare_case:

  theta:
    3/5

  sigma:
    0

log_deficit:
  L(t):
    (1-t)/(3/5-t)

endpoints:

  t_1_3:
    5/2

  t_2_5:
    3

diagnosis:
  elementary_one_dimensional_lattice_sieve:
    insufficient: true
```

---

# 附錄 E：Two Analytic Routes

```yaml
Route_P:

  method:
    structured_modulus_prime_AP

  modulus:
    K:
      k*q2

  advantage:
    full_prime_log_density: true

  gate:
    external_admissible_region_match

Route_D:

  method:
    shift_free_lattice_dispersion

  kernel:
    n*Delta_v + K*Delta_q1:
      0

  advantage:
    Goldbach_shift_absent_from_difference_geometry: true

  gate:
    TUAC_or_SFLD

Hybrid:
  use_Route_P_where_legal: true
  use_Route_D_only_on_residual_band: true
```

---

# 附錄 F：Commit Decision

```yaml
research_round: SRBRD-24

decision:

  affine_lattice_kernel:
    true

  shift_free_difference_geometry:
    true

  shift_free_prime_pair_local_profile:
    true

  factor_length_conservation:
    true

  TUAC_contract:
    true

  elementary_logT_no_go:
    true

  structured_prime_provider_matched:
    false

  SFLD_proved:
    false

  goldbach_proved:
    false

next:
  SRBRD-25_StructuredPrimeProvider_ShiftFreeDispersion_Hybrid_Closure
```

---

# References / External Benchmarks

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

   Relevant role:
   uniform mean-value estimates for primes in arithmetic progressions to moduli beyond the square-root barrier when the moduli possess factors in suitable size ranges. SRBRD-24 uses this only as the external template for Route P; no direct applicability to $K=kq_2$ is asserted here.

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

   Relevant role:
   confirms that original and switched distribution inputs should be treated separately in switching arguments.

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

4. Classical Selberg / Brun upper-bound sieve for simultaneous primality of affine-linear forms.

   Used only as a diagnostic for the natural isolated-lattice scale $T/(\log T)^2$; no sharp SRBRD constant is claimed from it in this round.