---
title: "TCGCT–TCGQT 纖維—調和精確驗證研究：有限循環群、殘差證書與跨進位判定"
english_title: "TCGCT–TCGQT Fiber–Harmonic Exact Verification: Finite Cyclic Groups, Residual Certificates, and Radix-Aware Judgments"
author: "Neo.K / EveMissLab；協作研究與原型：GPT-6"
date: 2026-11-02
version: "v0.1"
status: "RESEARCH EXPERIMENT / FINITE EXACT VERIFIED / NO BSD PROOF"
canonical_format: "UTF-8 Markdown, math only $...$ and $$...$$"
---

**作者：** Neo.K / EveMissLab；協作研究與原型：GPT-6  
**機構：** EveMissLab／一言諾科技有限公司  
**日期：** 2026-11-02  
**版本：** v0.1  
**原稿狀態：** RESEARCH EXPERIMENT / FINITE EXACT VERIFIED / NO BSD PROOF  

# 摘要

本文測試一條與既有 BSD 證明研究分離的研究路線：以 TCGCT 的精確位值表示作數值權威邊界，以 TCGQT 的觀察鏡頭組織模同餘纖維，以有限循環群的調和分析拆分結構性訊號與纖維內殘差。目的不是縮短 CPU 執行時間，也不是立即證明 BSD，而是探索哪些驗證義務能從高成本的重複數值檢查，轉變成可獨立驗算的精確結構恆等式。

第一輪只選擇 $G=\mathbb Z/240\mathbb Z$ 、從代表元 $0,1,\ldots,239$ 形成的質數指示訊號、模 $6,30,60$ 的纖維分割。證明纖維平均算子的傅立葉頻譜與殘差頻譜精確互補；以分數恆等式檢查正交與重建；以兩個有限域 $\mathbb F_{241}$ 和 $\mathbb F_{65521}$ 的根單位轉換做數值重播，且使用嚴格大小界從模值唯一提升回帶符號的整數。

此外重建原有 M6 最小因子不動點算子，並保留反例 $127\equiv187\pmod{30}$：前者為質數，後者為合數，證明單獨的纖維／相位鏡頭不能判定質數性質。實驗顯示相同殘差在一個有限域某些頻率上為零、在另一個有限域卻非零，因此**有限域的零係數並不自動證明特徵零下為零**。本文沒有提出新質數定理、沒有實測驗證速度提升、沒有解決 BSD 的分析首項障礙。

## 1. 三個角色與研究邊界

- **TCGCT**：未來的 canonical 精確算術與多進位來源。本文僅提供可逆整數位值編碼的**獨立參考邊界**，沒有匯入或修改 TCGCT P20 的原生運算核心，不代表本輪已實現 TCGCT 內部原生調和變換。
- **TCGQT**：有限同餘纖維的觀察鏡頭，允許改變觀察群組，不能改寫底層整數或已驗證的質數指示值。模纖維是**分割與商映射**，不能無條件等同舊論文的整除 Alexandrov 拓樸，也不等同連續環面的同胚。
- **調和分析**：對有限群上的訊號做精確投影／頻譜分離。第一輪刻意不使用浮點 FFT，也不從頻譜形狀推斷質數定理。

必須區分進位底數 $b$ 與投影模數 $m$： $b$ 決定記號， $m$ 決定哪一些整數進入同一纖維。 $b=m$ 並非必要，也不應偷換兩者。

## 2. 精確數學對象

令 $N\geq1$ 、 $m\mid N$ 且 $d=N/m$。在 $G=\mathbb Z/N\mathbb Z$ 定義商映射 $\pi_m(x)=x\bmod m$ ；其纖維為

$$
F_a=\{a,a+m,\ldots,a+(d-1)m\},\qquad a=0,\ldots,m-1.
$$

對 $f:G\rightarrow\mathbb Q$，定義纖維平均與剩餘：

$$
(P_m f)(x)=\frac1d\sum_{j=0}^{d-1}f(x+jm),\qquad R_mf=f-P_mf.
$$

為了避免分數浮點化，本實驗在整數訊號上儲存：

$$
C_m(x)=\sum_{j=0}^{d-1}f(x+jm),\qquad Q_m(x)=d f(x)-C_m(x).
$$

於是有完全以整數表示的重建恆等式：

$$
d f(x)=C_m(x)+Q_m(x).
$$

此處 $C_m=dP_mf$ 、 $Q_m=dR_mf$。兩項都不需要任何近似，也不需要外推到無限整數集。

### 2.1 有限群傅立葉定義

取抽象的 $N$ 次本原單位根 $\zeta_N$：

$$
\widehat f(k)=\sum_{x=0}^{N-1}f(x)\zeta_N^{-kx},\qquad k=0,\ldots,N-1.
$$

設 $H=\{0,m,2m,\ldots,(d-1)m\}$。在此群的角色對偶中， $H$ 的消去子是

$$
H^\perp=\{0,d,2d,\ldots,(m-1)d\}.
$$

這是我們真正需要的「拓樸纖維—調和頻譜」接口。

## 3. 定理：頻譜精確分離與重建

**定理 1（有限纖維調和分離）。** 對每個 $m\mid N$ 與 $f:G\to\mathbb Q$：

$$
\widehat{P_mf}(k)=\begin{cases}
\widehat f(k),&k\in H^\perp,\\
0,&k\notin H^\perp,
\end{cases}
$$

並且

$$
\widehat{R_mf}(k)=\begin{cases}
0,&k\in H^\perp,\\
\widehat f(k),&k\notin H^\perp.
\end{cases}
$$

故 $P_m^2=P_m$ 、 $P_mR_m=0$ 、 $f=P_mf+R_mf$。對實值訊號使用標準內積，還有

$$
\sum_x f(x)^2=\sum_x(P_mf)(x)^2+\sum_x(R_mf)(x)^2.
$$

**證明。** $P_mf$ 在每條 $F_a$ 上恆定。若 $k\notin H^\perp$，則 $\zeta_N^{-km}\neq1$，而

$$
\sum_{j=0}^{d-1}\zeta_N^{-kmj}=0.
$$

因此纖維上每一個常數的傅立葉貢獻都為零，得到 $\widehat{P_mf}(k)=0$。反過來， $Q_m$ 在各纖維的整數和為零：

$$
\sum_{j=0}^{d-1}Q_m(a+jm)=0.
$$

若 $k\in H^\perp$，角色沿每條纖維是常數，故 $\widehat{Q_m}(k)=0$。再由 $df=C_m+Q_m$ 的線性性得到另一側的頻譜等式。 $P_m$ 是相同纖維上平均的自伴冪等算子， $P_m$ 與 $R_m$ 互相正交，平方能量恆等式成立。證畢。

**定理地位：已知有限群調和分析。** 不是新質數定理；本研究新增的是如何讓該定理成為獨立、可重播、有拒絕條件的驗證路由。

### 3.1 拓樸粗化的嚴格適用域

當 $m\mid m'\mid N$， $m'$ 的纖維比 $m$ 更細，有

$$
P_mP_{m'}=P_{m'}P_m=P_m.
$$

這是一條精確的跨尺度一致性測試。它不表示較細的纖維必然帶來計算優勢；較細意味著更大的結構狀態與證書。

## 4. 舊研究接口：M6 不動點

引用先前的 M6 候選域 $M_6^*=\{n>1:n\equiv\pm1\pmod6\}$，定義

$$
T_{\mathrm{top}}(n)=\min\{d\in M_6^*:d\mid n\}.
$$

對 $n\in M_6^*$， $T_{\mathrm{top}}(n)=n$ 當且僅當 $n$ 是大於 3 的質數。其證明只用到模六剩餘類中所有非單位整除因子的性質；**求最小因子本身並未證實比傳統試除法更快**。這與上一節的模投影平均是兩種不同算子，本版把它們並置，不謊稱已建立完整的整除拓樸—調和同構。

實際在 $0\leq n<240$ 中， $M_6^*$ 有 79 個候選、50 個不動點，恰好與 50 個大於 3 的質數一致；再加上 2、3，得到 52 個質數。最直接的反例是：

- $127\bmod30=7$，而 $T_{\mathrm{top}}(127)=127$。
- $187\bmod30=7$，但 $T_{\mathrm{top}}(187)=11$，且 $187=11\cdot17$。

因此模 30 的同一拓樸纖維（甚至附加若干相同粗尺度標籤），也不能單獨決定質數性。要在高層直接完成某性質 $\varphi$ 的判定，必要且充分的**資訊條件**是 $\varphi$ 在各纖維上恆定，即存在 $g$ 使 $\varphi=g\circ\pi_m$。若該條件失敗，必須展開或提供額外資訊。

## 5. 精確有限訊號實驗

這裡的 $f(x)$ 是代表元 $0\leq x<240$ 的質數指示值。雖將有限窗口嵌入循環群以方便調和變換，**不代表自然數的質數性每 240 週期重複**。

訊號總平方能量為 $52$ ；去掉常數平均的中心化能量為 $611/15$。各模數得到：

| 模數 $m$ | 每纖維大小 $d$ | 平均能量 $\Vert P_m f\Vert^2$ | 殘差能量 $\Vert R_m f\Vert^2$ | 平均層保留中心化能量之比例 |
|---:|---:|---:|---:|---:|
| 6 | 40 | $627/20$ | $413/20$ | $1205/2444\approx49.30\%$ |
| 30 | 8 | $153/4$ | $55/4$ | $1619/2444\approx66.24\%$ |
| 60 | 4 | $81/2$ | $23/2$ | $877/1222\approx71.77\%$ |

上表的分數與恆等式全部以整數及 Python `Fraction` 取得；百分比只是閱讀用近似，未進入驗證條件。模數改變讓觀察層分到不同數量的結構，並非顯示新的素數定理。以上只對這個窗口與指示訊號成立。

## 6. 兩有限域精確重播與故意失敗案例

選擇 $p\in\{241,65521\}$，兩者皆為質數且 $240\mid(p-1)$。在 $\mathbb F_p$ 中找到階恰為 240 的 $\omega$，以有限域整數加乘計算：

$$
\widehat v_p(k)=\sum_{x=0}^{239}v(x)\omega^{-kx}\pmod p.
$$

這是一個**有限域角色變換**，不是近似複數傅立葉轉換。它允許快速重播模域恆等式；本版為簡單、可審計而使用 $O(N^2)$ 的直接求和，並沒有宣稱 NTT 最佳效能。另以 Horner 法獨立評估各頻率對應的多項式值，防止完全依賴同一迴圈的結果。

- 模 6：平均層在 240 個頻率中只允許 6 個，其他 234 個必為 0；殘差在這 6 個頻率上必為 0。
- 模 30：平均層只允許 30 個，其他 210 個必為 0；殘差在 30 個粗頻率必為 0。
- 模 60：平均層只允許 60 個，其他 180 個必為 0；殘差在 60 個粗頻率必為 0。

逆有限域變換回得 $C_m$ 、 $Q_m$ 的模 $p$ 值。因本實驗每個原始帶符號整數的絕對值均嚴格小於 $p/2$，可唯一地作中心化整數提升；最後驗證每個座標的 $C_m+Q_m=df$，獲得本例完整的精確重建，而不是只有模域相等。

**重要反例（模零不等於特徵零的零）。** 對模 6 的殘差，在 $k=34,109,192$， $\mathbb F_{241}$ 的轉換係數均為 0；但在 $\mathbb F_{65521}$ 的對應指標，係數分別為 $61519,53182,55931$，皆非零。對模 30 的殘差， $k=34,109$ 同樣出現一域為零、另一域非零。這些是實際重播數據，不是抽象想像：

1. 在**真正的粗頻率**上，消失來自定理及整數纖維和，與有限域選擇無關。
2. 在其他頻率上，單一有限域的零可能只是模域消失；不得提升為特徵零下的精確零係數。
3. 如需判定一般整係數多項式在複本原根的零值，必須額外提供循環多項式可整除性、精確代數證書等條件；任選一個有限域測試不充分。

因此這條新路線從一開始就具備「何時允許 PASS／何時只能說模 $p$ 為零」的型別界線。

## 7. 驗證可能變快的具體意義與限制

此處的「更快」專指：在不犧牲結論強度下，更早排除不必要的數值轉換／細節展開，或用較短、可核查的結構義務替代某些重複性的分析工作；**不是目前的程式執行速度更快**。

可以在有限級先用三種驗證狀態：

- **EXACT_THEOREM**：例如 $P_m^2=P_m$ 、殘差的纖維和為零、頻譜支持互補及粗細纖維投影交換律。它們有一般性代數證明，可作可靠的跳過條件。
- **EXACT_INSTANCE**：輸入函數、來源版本、個別纖維計數與可逆重建已驗；可以對本次有限訊號聲稱精確。
- **MODULAR_OBSERVATION**：有限域看到某頻率為 0 或某關係成立，但缺少足以提升的證書時，不能宣稱特徵零下成立。

必須承認一個基本下界：若外來的 $N$ 個任意資料位中，任何一位都可能被對抗性修改，且沒有可信的資料承諾或其他先驗結構，那麼要確定所有位都正確，確定性驗證不能只讀少於 $N$ 位便宣稱完全精確。拓樸粗化不能魔術式省略這個資訊要求。

目前研究可探索的是**對特定結構性主張縮短證書與驗證鏈**。如果請求需要每個質數的精確真值，就必須檢查保留的殘差或返回來源，不可把只讀過模平均的狀態標成已驗證全部質數。

## 8. BSD 與無限分析的界線

- 本文沒有 BSD 等式、橢圓曲線 L 函數、p-adic regulator、Selmer 群或無限尾項的證明。
- 有限群調和分解不會自動提供複分析延拓、消失階數、非退化性或全域首項比較。
- 未來若延伸到連續／p-adic 調和分析，必須逐項定義拓樸、測度、收斂模式、算子定義域和殘差界，不得直接把有限環上的結論外推。
- 本研究沒有在此環境對上游 TCGCT P20 / TCGQT P20 的完整測試套件重跑；只讀取相容性與研究源文件，新的 Python 原型完全獨立。

## 9. 下一階段：值得提出而不是先假定成立的研究命題

**命題候選 A：最小充分纖維。** 給定特定判定性質 $\varphi$，找最低成本的有限觀察鏡頭，使 $\varphi$ 在其纖維上恆定；若無法，輸出需要展開的反例座標。此命題先以有限資料定義，避免冒稱普遍解決素性。

**命題候選 B：證書感知的調和路由。** 根據「目標是精確值、頻譜支持、統計界還是零點條件」，在整數／分數／模角色／完整代數數域間選擇具有合法證書的轉換，測試所需重算與驗證工作量。

**命題候選 C：粗化損失的可測度量。** 用殘差正交能量、纖維內差異、來源不完整性、轉換可逆性定義多個不可混同的損失指標。證明哪些指標能給出某種判定的充分／必要條件，不直接以能量百分比判定質數性。

建議下一輪只做 A + B 的小型正反例與嚴格驗證成本對照；若連有限範圍都沒有優勢，就先修正理論，不急著接 BSD。

## 10. 可重播來源與版本

**本次原始工件（同 ZIP）：**

- `src/fiber_harmonic.py`：精確分數、M6 不動點、纖維、直接有限域角色轉換、Horner 獨立檢查、中心化整數提升。
- `scripts/run_experiment.py`：固定 $N=240$ 、 $m=6,30,60$ 、 $p=241,65521$ 的可重現入口。
- `tests/test_fiber_harmonic.py`：包含失敗控制、粗細一致性、跨進位往返與兩個模域的獨立回歸測試。
- `examples/summary.json`：完整摘要與 SHA-256 摘要。
- `examples/spectral_transforms.json`：所有 240 頻率的兩模域實測證書，可供第三方離線重播。
- `manifests/SHA256SUMS.txt`：封包內每個其他檔案的雜湊； `scripts/verify_package.py` 校對其範圍。

**研究系譜（唯讀、未修改）：**

1. [TCGCT 數學核心](https://github.com/kakon77777-commits/TCGCT)：P1–P20 精確位值與可重算來源。
2. [TCGQT 觀察核心](https://github.com/kakon77777-commits/TCGQT)：K 欄、獨立 BigInt 觀察與有限多尺度實驗。
3. [TCGCT–TCGQT 多尺度觀察計算橋接契約](https://github.com/kakon77777-commits/TCGCT/blob/main/docs/papers/TCGCT_TCGQT_Multiscale_Compute_Bridge_Contract_v0.1_DRAFT_2026-10-31.md)：型別、值保留、鏡頭與執行權威分離。
4. 《進位曲率與質數輻條：TCGQT 的一個可視化應用》（2026-06-04）：信號—載具分離、模環觀察與可約律。
5. 《EML-NT-2026-SKEW-CALC 歪度計算綱領 v0.2》：M6 不動點、幾何／頻譜／資料三表達的研究連接。
6. 《數學相對論：模六質數雙支條件與 ADPMS 篩選演算法》：模六必要條件與候選篩選研究。

源碼、輸出、測試、文稿均為此輪獨立新增，不自動提交 GitHub。此版是有限數學實驗，不是正式學術投稿，不宣稱普遍加速、新質數定理或 BSD 證明。