# 勒讓德底空間綱領 Phase 4
## 平方錨定阻礙剩餘場、原子約化與精確篩恆等式
### Square-Anchored Obstruction Residue Field, Atomic Reduction, and Exact Sieve Identity

**版本：** v0.1  
**日期：** 2026-09-30  
**作者：** Neo.K × AI 協作  
**機構：** EveMissLab / 一言諾科技有限公司  
**研究線：** Legendre Base-Space Prime-Fitting Program  
**前置：** Phase 1–3  
**狀態：** Phase 4 formalization + known-mathematics boundary audit + finite machine audit；非勒讓德猜想完成證明

---

# 0. 本階段目標

Phase 3 把勒讓德的核心義務壓成：

$$
\gcd(F_\square(n),H_n)=1.
$$

Phase 4 不再使用龐大的乘積 $H_n$ 作主要介面，而把它分解成每個歷史因數對局部偏移量 $k$ 的**禁制剩餘類**。

令：

$$
q=n^2+k,
\qquad
1\le k\le2n.
$$

則對任意正整數 $d$：

$$
d\mid q
\iff
d\mid(n^2+k)
\iff
k\equiv-n^2\pmod d.
$$

因此每一個歷史阻礙 $d$ 在第 $n$ 個平方胞腔中，只封鎖一個模 $d$ 的偏移相位。

核心目標變成：

$$
\boxed{
\text{構造一個全域偏移 section }
\kappa_{\mathcal F}(n)
\text{，使其永不落入任何歷史禁制相位。}
}
$$

---

# 1. 局部偏移底空間

沿用：

$$
K_n
=
\{1,2,\dots,2n\}.
$$

評價：

$$
E_n(k)=n^2+k.
$$

因此：

$$
E_n(K_n)
=
\mathbb Z\cap(n^2,(n+1)^2).
$$

---

# 2. $M6^*$ 預篩偏移空間

對 $n\ge2$，定義：

$$
K_n^{(6)}
=
\{
k\in K_n:
n^2+k\equiv\pm1\pmod6
\}.
$$

若：

$$
k\in K_n^{(6)},
$$

則：

$$
n^2+k
$$

已避開因子 $2$ 與 $3$。

因此後續只需處理：

$$
M6^*
=
\{d>1:d\equiv\pm1\pmod6\}
$$

中的乘法阻礙。

---

# 3. 原子阻礙基底

Phase 3 使用全部：

$$
\mathcal D_n
=
\{
d\in M6^*:5\le d\le n
\}.
$$

但其中大量 composite $d$ 是冗餘的。

定義：

$$
\boxed{
\mathfrak A
=
\operatorname{Fix}(T_{\mathrm{top}})
=
\{
a\in M6^*:T_{\mathrm{top}}(a)=a
\}.
}
$$

並定義：

$$
\boxed{
\mathfrak A_n
=
\mathfrak A\cap[5,n].
}
$$

$\mathfrak A$ 可純粹由整除算子定義；由 Phase 3 的固定點刻畫，它恰好對應 $>3$ 的質數。

---

# 4. 原子約化定理

## 定理 4.1

令：

$$
q\in(n^2,(n+1)^2)\cap M6^*.
$$

則：

$$
q
\text{ 為合數}
$$

當且僅當存在：

$$
a\in\mathfrak A_n
$$

使：

$$
a\mid q.
$$

## 證明

若存在原子 $a\le n$ 整除 $q$，則：

$$
1<a<q,
$$

故 $q$ 為合數。

反之，若 $q$ 為合數，由 Phase 3 歷史阻礙定理：

$$
T_{\mathrm{top}}(q)\le n.
$$

令：

$$
a=T_{\mathrm{top}}(q).
$$

因：

$$
T_{\mathrm{top}}(a)=a,
$$

所以：

$$
a\in\mathfrak A_n
$$

且：

$$
a\mid q.
$$

證畢。

---

# 5. 原子歷史核

定義：

$$
\boxed{
Q_n
=
6
\prod_{a\in\mathfrak A_n}
a.
}
$$

則 $Q_n$ 是所有不超過 $n$ 的算術原子，加上 $2,3$ 的 squarefree 歷史核。

由定理 4.1，對：

$$
q\in(n^2,(n+1)^2),
$$

有：

$$
\boxed{
q\text{ 為質數}
\iff
\gcd(q,Q_n)=1.
}
$$

這比 Phase 3 的 $H_n$ 更小、更正典，因為所有 composite obstruction 已被刪除。

---

# 6. 禁制剩餘相位

對：

$$
a\in\mathfrak A_n,
$$

定義：

$$
\boxed{
b_a(n)
=
[-n^2]_a,
}
$$

其中 $[\cdot]_a$ 表示模 $a$ 的正典剩餘類。

定義阻礙條帶：

$$
\boxed{
B_{n,a}
=
\{
k\in K_n:
k\equiv b_a(n)\pmod a
\}.
}
$$

則：

$$
\boxed{
k\in B_{n,a}
\iff
a\mid(n^2+k).
}
$$

因此 $B_{n,a}$ 就是原子 $a$ 在第 $n$ 個平方胞腔中封鎖的全部偏移位置。

---

# 7. 平方錨定相位不是任意 residue

對固定 $a$：

$$
b_a(n)
=
-n^2\pmod a.
$$

所以：

$$
b_a(n+a)=b_a(n).
$$

此外：

$$
b_a(-n)=b_a(n).
$$

因此 obstruction phase 對 $n$ 具有：

- 週期 $a$；
- 反射對稱；
- 二次剩餘結構。

它不是一般 covering system 中任意指定的一組 residue class。

這個平方錨定：

$$
\boxed{
-n^2
}
$$

是本綱領必須保留的額外結構。

---

# 8. 局部 survivor set

定義：

$$
\boxed{
\mathcal S_n
=
K_n^{(6)}
\setminus
\bigcup_{a\in\mathfrak A_n}
B_{n,a}.
}
$$

則 $\mathcal S_n$ 是第 $n$ 個平方胞腔中沒有被任何歷史原子整除的偏移集合。

---

# 9. Survivor–Prime 等價定理

## 定理 9.1

對所有：

$$
n\ge2,
$$

有雙射：

$$
\boxed{
k\in\mathcal S_n
\iff
n^2+k
\in
\mathbb P\cap(n^2,(n+1)^2).
}
$$

因此：

$$
\boxed{
|\mathcal S_n|
=
\pi((n+1)^2-1)-\pi(n^2).
}
$$

並且勒讓德猜想等價於：

$$
\boxed{
\mathcal S_n\neq\varnothing
\quad
\forall n\ge2.
}
$$

$n=1$ 直接由 $2,3\in(1,4)$ 處理。

---

# 10. Fit-Section 版本

若擬合算子輸出：

$$
\kappa_{\mathcal F}(n)\in K_n^{(6)},
$$

則：

$$
F_\square(n)
=
n^2+\kappa_{\mathcal F}(n).
$$

勒讓德的一個充分條件為：

$$
\boxed{
\kappa_{\mathcal F}(n)
\in
\mathcal S_n
\quad
\forall n\ge2.
}
$$

也就是：

$$
\boxed{
\kappa_{\mathcal F}(n)
\not\equiv
-n^2
\pmod a
\quad
\forall a\in\mathfrak A_n.
}
$$

---

# 11. Prime-Fit Obstruction Residue Field

定義：

$$
\boxed{
\mathfrak R_{\mathcal F}(n,a)
=
[n^2+\kappa_{\mathcal F}(n)]_a.
}
$$

定義域：

$$
\boxed{
\mathcal O
=
\{
(n,a):
n\ge2,\,
a\in\mathfrak A,\,
a\le n
\}.
}
$$

則：

$$
\boxed{
\mathfrak R_{\mathcal F}(n,a)=0
}
$$

表示原子 $a$ 擊中第 $n$ 個 fitted candidate。

最終 fixed-point 條件完全等價於：

$$
\boxed{
\mathfrak R_{\mathcal F}(n,a)\neq0
\quad
\forall(n,a)\in\mathcal O.
}
$$

---

# 12. Zero-Obstruction Count

定義：

$$
\boxed{
Z_{\mathcal F}(n)
=
\sum_{a\in\mathfrak A_n}
\mathbf 1
\{
\mathfrak R_{\mathcal F}(n,a)=0
\}.
}
$$

則：

$$
\boxed{
Z_{\mathcal F}(n)=0
\iff
F_\square(n)\text{ 為質數}.
}
$$

因此 fitting operator 的 primality 問題可以變成：

$$
\boxed{
Z_{\mathcal F}(n)\equiv0.
}
$$

---

# 13. 多原子交會的 CRT 塌縮

令：

$$
S
\subseteq
\mathfrak A_n
$$

為有限原子集合，並令：

$$
M_S
=
\prod_{a\in S}a.
$$

不同原子彼此互質。

對所有：

$$
a\in S,
$$

要求：

$$
k\equiv-n^2\pmod a.
$$

由中國剩餘定理，這些條件不只是相容，而且恰好合成為：

$$
\boxed{
k\equiv-n^2\pmod{M_S}.
}
$$

所以：

$$
\boxed{
\bigcap_{a\in S}B_{n,a}
=
\{
k\in K_n:
k\equiv-n^2\pmod{M_S}
\}.
}
$$

這是 square anchor 帶來的重大簡化。

---

# 14. 區間倍數計數核

對任意：

$$
d\ge1,
$$

定義：

$$
\boxed{
C_n(d)
=
\left\lfloor
\frac{n^2+2n}{d}
\right\rfloor
-
\left\lfloor
\frac{n^2}{d}
\right\rfloor.
}
$$

它正好計算：

$$
(n^2,(n+1)^2)
$$

中被 $d$ 整除的整數個數。

由上一節：

$$
\left|
\bigcap_{a\in S}B_{n,a}
\right|
=
C_n(M_S).
$$

---

# 15. 精確 Square-Anchored Inclusion–Exclusion

因 $Q_n$ squarefree，可用 Möbius 函數寫成：

$$
\boxed{
L_\square(n)
=
\sum_{d\mid Q_n}
\mu(d)
C_n(d).
}
$$

亦即：

$$
\boxed{
L_\square(n)
=
\sum_{d\mid Q_n}
\mu(d)
\left[
\left\lfloor
\frac{n^2+2n}{d}
\right\rfloor
-
\left\lfloor
\frac{n^2}{d}
\right\rfloor
\right].
}
$$

由 survivor–prime 等價：

$$
\boxed{
L_\square(n)
=
|\mathcal S_n|
=
\pi((n+1)^2-1)-\pi(n^2).
}
$$

所以勒讓德等價於：

$$
\boxed{
L_\square(n)>0
\quad
\forall n\ge2.
}
$$

---

# 16. 主項與平方相位誤差

寫：

$$
C_n(d)
=
\frac{2n}{d}
+
\theta_n(d),
$$

其中：

$$
\boxed{
\theta_n(d)
=
\left\{
\frac{n^2}{d}
\right\}
-
\left\{
\frac{n^2+2n}{d}
\right\},
}
$$

且：

$$
|\theta_n(d)|<1.
$$

因此：

$$
L_\square(n)
=
2n
\sum_{d\mid Q_n}
\frac{\mu(d)}{d}
+
\sum_{d\mid Q_n}
\mu(d)\theta_n(d).
$$

而：

$$
\sum_{d\mid Q_n}
\frac{\mu(d)}d
=
\frac{\varphi(Q_n)}{Q_n}.
$$

所以得到精確分解：

$$
\boxed{
L_\square(n)
=
2n
\frac{\varphi(Q_n)}{Q_n}
+
\Delta_\square(n),
}
$$

其中：

$$
\boxed{
\Delta_\square(n)
=
\sum_{d\mid Q_n}
\mu(d)\theta_n(d).
}
$$

---

# 17. 真正的全域閉包義務

主項：

$$
2n
\frac{\varphi(Q_n)}{Q_n}
$$

為正。

因此只要證明：

$$
\boxed{
\Delta_\square(n)
>
-
2n
\frac{\varphi(Q_n)}{Q_n}
}
$$

就得到：

$$
L_\square(n)>0.
$$

這把問題壓成：

> square-anchored phase discrepancy 能否把正的 sieve main term 完全抵消？

這是本階段得到的另一個正典 closure target。

---

# 18. 為什麼不能用逐項絕對值粗估？

雖然：

$$
|\theta_n(d)|<1,
$$

但若直接估：

$$
|\Delta_\square(n)|
\le
\sum_{d\mid Q_n}1
=
2^{\omega(Q_n)},
$$

界會極度巨大。

所以真正需要的是：

$$
\boxed{
\text{Möbius cancellation}
+
\text{square-anchor phase structure}.
}
$$

不能把相位資訊全部丟掉。

---

# 19. 與 Jacobsthal Covering 的已知關係

定義一般 Jacobsthal 函數：

$$
j(m)
=
\min
\{
r:
\text{每個長度 }r\text{ 的連續整數區間含有一個與 }m\text{ 互質的整數}
\}.
$$

若能證：

$$
j(Q_n)\le2n,
$$

則任意長度 $2n$ 的區間都含有一個與 $Q_n$ 互質的整數，因此特別推出勒讓德。

但這個命題比勒讓德強得多。

文獻中 Jacobsthal 問題正是研究被有限組 prime divisors 完全覆蓋的最長連續區間；Iwaniec 1978 給出一般 covering 長度的 sieve 型上界，而 Hagedorn 2009 對 primorial cases 作了大規模精確計算。

參考：

- Henryk Iwaniec, *On the Problem of Jacobsthal*, Demonstratio Mathematica 11(1), 1978, 225–232. DOI: 10.1515/dema-1978-0121.
- Thomas R. Hagedorn, *Computation of Jacobsthal's Function h(n) for n < 50*, Mathematics of Computation 78 (2009), 1073–1087. DOI: 10.1090/S0025-5718-08-02166-2.
- Mario Ziller, John F. Morack, *Algorithmic concepts for the computation of Jacobsthal's function*, arXiv:1611.03310.

---

# 20. Generic Jacobsthal Bound 太強的具體例子

對前 $49$ 個質數的 primorial，已計算：

$$
j(p_{49}\#)=742.
$$

而：

$$
p_{49}=227.
$$

若把：

$$
n=227
$$

代入一般 Jacobsthal sufficient condition，會要求：

$$
742
\le
2n
=
454,
$$

顯然失敗。

因此：

$$
\boxed{
j(Q_n)\le2n
}
$$

不是一條可期待的必要路徑。

這並不反駁勒讓德，因為 Jacobsthal 在問**所有平移區間中的最壞情況**；勒讓德只問特殊錨點：

$$
n^2.
$$

所以平方錨定相位：

$$
-n^2\pmod d
$$

不能被一般 worst-case covering bound 洗掉。

---

# 21. Current Frontier Audit

截至 2026 年，目前公開結果仍未完成勒讓德猜想。

但 Peter J. Campbell 2026 的結果已證明：

> 每一個連續平方區間 $(n^2,(n+1)^2)$ 中，都存在一個至多含三個質因數（計重數）的整數。

也就是 pointwise square interval 已可由 explicit sieve 推到 $3$-almost-prime。

因此本綱領若要真正跨到 prime，不能只重做一般「有 survivor / 少因數 survivor」的 sieve 結論；它必須利用更強的：

$$
\boxed{
\text{square phase}
+
\text{fitting section}
+
\text{exact fixed-point / residue avoidance}.
}
$$

參考：

Peter J. Campbell, *On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares*, arXiv:2603.10356, 2026; Journal of Number Theory, DOI 10.1016/j.jnt.2026.07.014.

---

# 22. 固定多項式 fitting section 不可能全域成功

## 定理 22.1

不存在非常數整係數多項式：

$$
F(n)\in\mathbb Z[n]
$$

使：

$$
F(n)
$$

對所有充分大的正整數 $n$ 都為質數。

## 證明

取某個整數 $a$ 使：

$$
|F(a)|>1.
$$

令：

$$
m=F(a).
$$

對任意正整數 $t$：

$$
a_t
=
a+tm.
$$

因整係數多項式保持同餘：

$$
F(a_t)
\equiv
F(a)
\equiv
0
\pmod m.
$$

當 $t$ 足夠大時：

$$
|F(a_t)|>|m|.
$$

因此：

$$
F(a_t)
$$

具有真因數 $|m|$，故為合數。

這與「所有充分大 $n$ 都為質數」矛盾。

證畢。

---

# 23. 對本綱領的意義

若我們要求：

$$
F_\square(n)
=
n^2+\kappa_{\mathcal F}(n)
$$

對所有 $n$ 都輸出質數，那麼 $F_\square$ 不可能只是一個固定非常數整係數多項式。

因此真正全域有效的 prime-fitting section 必須具有至少一種：

- 自適應；
- 分支；
- 狀態依賴；
- 非多項式結構；
- residue feedback；
- operator fixed-point correction；
- 或其他能逃離固定 polynomial congruence trap 的機制。

這與原先「自適應質數擬合算子」的研究方向一致。

---

# 24. Finite Machine Audit

本輪以真實 sieve 作有限核對至：

$$
n\le3000.
$$

得到：

- 所有測試平方區間的 prime count 均為正；
- 最小觀測 prime count 為：**2**；
- 最早達到此最小值的 $n$：**1, 2, 3, 5**；
- 對抽樣 $n$，使用「刪除全部 $p\le n$ 的倍數」得到的 survivors 與平方區間中的真實質數集合逐項完全一致。

抽樣結果：

| $n$ | survivors | primes | identity | first survivor | first offset |
|---:|---:|---:|:---:|---:|---:|
| 10 | 5 | 5 | PASS | 101 | 1 |
| 30 | 8 | 8 | PASS | 907 | 7 |
| 100 | 23 | 23 | PASS | 10007 | 7 |
| 227 | 44 | 44 | PASS | 51539 | 10 |
| 500 | 71 | 71 | PASS | 250007 | 7 |
| 1000 | 152 | 152 | PASS | 1000003 | 3 |
| 3000 | 340 | 340 | PASS | 9000011 | 11 |

此機器實驗只驗證 Phase 4 的有限等價實作，不能承擔無限量詞。

---

# 25. Phase 4 的兩條主路

至此有兩條等價但不同風格的研究路。

## Route A — Section Avoidance

構造：

$$
\kappa_{\mathcal F}(n)
$$

並證：

$$
\boxed{
\mathfrak R_{\mathcal F}(n,a)\neq0
\quad
\forall a\in\mathfrak A_n.
}
$$

這是「一點穿過所有 obstruction stripes」。

## Route B — Survivor Count

直接證：

$$
\boxed{
L_\square(n)
=
2n
\frac{\varphi(Q_n)}{Q_n}
+
\Delta_\square(n)
>
0.
}
$$

這是「整個局部纖維不可能被完全覆蓋」。

---

# 26. 哪條路更符合原始想法？

本系列最初的想法是：

> 用質數擬合算子在全域／局部底空間中產生同一個 fitted section。

因此主線應保持：

$$
\boxed{
\text{Route A}.
}
$$

Route B 則作為獨立證書與 known-sieve 對照。

換句話說：

$$
\text{我們不是只想證 survivor count > 0，}
$$

而是希望找出一個由 fitting operator 指定的 survivor：

$$
\boxed{
\kappa_{\mathcal F}(n)\in\mathcal S_n.
}
$$

---

# 27. Phase 5 入口

下一階段應正式抽取：

$$
\boxed{
\kappa_{\mathcal F}(n)
}
$$

而且必須區分兩件事：

### Generator

由既有幾何／歪度／平均斜率模型產生候選中心，不得掃描全部歷史原子直到找到 prime。

### Verifier

使用：

$$
T_{\mathrm{top}}
$$

或：

$$
\mathfrak R_{\mathcal F}(n,a)
$$

檢查候選是否為 fixed point。

如果 generator 本身逐一測完所有 $a\le n$ 再選 survivor，那只是 primality search 的重述，不是本綱領要證的「fitting law」。

Phase 5 真正要研究的是：

> 為什麼由獨立 fitting law 產生的 $\kappa_{\mathcal F}(n)$，會系統性避開所有平方錨定禁制相位？

---

# 28. Phase 4 狀態

```text
Legendre Base-Space Program
Phase 4 — Square-Anchored Obstruction Residue Field

M6 pre-sieved offset space:              DEFINED
Atomic obstruction basis:                DEFINED
Composite obstruction redundancy:        PROVED
Atomic historical kernel Q_n:            DEFINED
Forbidden residue phase -n^2 mod a:      DEFINED
Square-anchor periodicity:               PROVED
Local survivor set:                      DEFINED
Survivor-prime equivalence:              PROVED
Prime-fit residue field:                 DEFINED
Zero-obstruction count:                  DEFINED
CRT intersection collapse:               PROVED
Exact anchored inclusion-exclusion:      DERIVED
Main term + phase discrepancy:           DERIVED
Generic Jacobsthal shortcut:             IDENTIFIED AS TOO STRONG
Fixed polynomial global fitter:          RULED OUT
Finite implementation audit:             PASS to n=3000
Current sieve frontier:                   AUDITED
Legendre proof status:                    OPEN
Next phase:                               CANONICAL FIT-SECTION EXTRACTION
```