← Archive
lm-005307 · 2026-11

TCGCT–TCGQT 纖維—調和精確驗證研究：有限循環群、殘差證書與跨進位判定

zh-Hant · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇
📎 附件 · Companion files — 隨文交付的程式 / 證明 / 資料，可獨立下載重驗
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=Z/240ZG=\mathbb Z/240\mathbb Z 、從代表元 0,1,…,2390,1,\ldots,239 形成的質數指示訊號、模 6,30,606,30,60 的纖維分割。證明纖維平均算子的傅立葉頻譜與殘差頻譜精確互補；以分數恆等式檢查正交與重建；以兩個有限域 F241\mathbb F_{241} 和 F65521\mathbb F_{65521} 的根單位轉換做數值重播，且使用嚴格大小界從模值唯一提升回帶符號的整數。

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

1. 三個角色與研究邊界

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

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

2. 精確數學對象

令 N≥1N\geq1 、 m∣Nm\mid N 且 d=N/md=N/m。在 G=Z/NZG=\mathbb Z/N\mathbb Z 定義商映射 πm(x)=x mod m\pi_m(x)=x\bmod m ；其纖維為

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

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

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

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

Cm(x)=∑j=0d−1f(x+jm),Qm(x)=df(x)−Cm(x).C_m(x)=\sum_{j=0}^{d-1}f(x+jm),\qquad Q_m(x)=d f(x)-C_m(x).

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

df(x)=Cm(x)+Qm(x).d f(x)=C_m(x)+Q_m(x).

此處 Cm=dPmfC_m=dP_mf 、 Qm=dRmfQ_m=dR_mf。兩項都不需要任何近似，也不需要外推到無限整數集。

2.1 有限群傅立葉定義

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

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

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

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

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

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

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

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

並且

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

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

∑xf(x)2=∑x(Pmf)(x)2+∑x(Rmf)(x)2.\sum_x f(x)^2=\sum_x(P_mf)(x)^2+\sum_x(R_mf)(x)^2.

證明。 PmfP_mf 在每條 FaF_a 上恆定。若 k∉H⊥k\notin H^\perp，則 ζN−km≠1\zeta_N^{-km}\neq1，而

∑j=0d−1ζN−kmj=0.\sum_{j=0}^{d-1}\zeta_N^{-kmj}=0.

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

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

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

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

3.1 拓樸粗化的嚴格適用域

當 m∣m′∣Nm\mid m'\mid N， m′m' 的纖維比 mm 更細，有

PmPm′=Pm′Pm=Pm.P_mP_{m'}=P_{m'}P_m=P_m.

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

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

引用先前的 M6 候選域 M6∗={n>1:n≡±1(mod6)}M_6^*=\{n>1:n\equiv\pm1\pmod6\}，定義

Ttop(n)=min⁡{d∈M6∗:d∣n}.T_{\mathrm{top}}(n)=\min\{d\in M_6^*:d\mid n\}.

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

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

  • 127 mod 30=7127\bmod30=7，而 Ttop(127)=127T_{\mathrm{top}}(127)=127。
  • 187 mod 30=7187\bmod30=7，但 Ttop(187)=11T_{\mathrm{top}}(187)=11，且 187=11⋅17187=11\cdot17。

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

5. 精確有限訊號實驗

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

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

模數 mm 每纖維大小 dd 平均能量 ∥Pmf∥2\Vert P_m f\Vert^2 殘差能量 ∥Rmf∥2\Vert R_m f\Vert^2 平均層保留中心化能量之比例
6 40 627/20627/20 413/20413/20 1205/2444≈49.30%1205/2444\approx49.30\%
30 8 153/4153/4 55/455/4 1619/2444≈66.24%1619/2444\approx66.24\%
60 4 81/281/2 23/223/2 877/1222≈71.77%877/1222\approx71.77\%

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

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

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

v^p(k)=∑x=0239v(x)ω−kx(modp).\widehat v_p(k)=\sum_{x=0}^{239}v(x)\omega^{-kx}\pmod p.

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

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

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

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

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

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

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

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

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

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

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

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

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=240N=240 、 m=6,30,60m=6,30,60 、 p=241,65521p=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 數學核心：P1–P20 精確位值與可重算來源。
  2. TCGQT 觀察核心：K 欄、獨立 BigInt 觀察與有限多尺度實驗。
  3. TCGCT–TCGQT 多尺度觀察計算橋接契約：型別、值保留、鏡頭與執行權威分離。
  4. 《進位曲率與質數輻條：TCGQT 的一個可視化應用》（2026-06-04）：信號—載具分離、模環觀察與可約律。
  5. 《EML-NT-2026-SKEW-CALC 歪度計算綱領 v0.2》：M6 不動點、幾何／頻譜／資料三表達的研究連接。
  6. 《數學相對論：模六質數雙支條件與 ADPMS 篩選演算法》：模六必要條件與候選篩選研究。

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