--- title: "TCGCT × TCGQT v0.9｜來源等價性：由陪集交集的整數格證書判定生成式相同" english_title: "TCGCT–TCGQT v0.9: Exact Source Equivalence via Integer-Lattice Coset Certificates" author: "Neo.K / EveMissLab" collaboration: "GPT-6" date: "2026-11-02" version: "0.9" status: "RESEARCH_DRAFT / FINITE_EXACT / NOT_A_BSD_PROOF" canonical_source: "UTF-8 Markdown; inline $...$ and display $$...$$ only" --- **作者：** Neo.K / EveMissLab **機構：** EveMissLab／一言諾科技有限公司 **日期：** 2026-11-02 **版本：** 0.9 **研究協作（原稿所載）：** GPT-6 **原稿狀態：** RESEARCH_DRAFT / FINITE_EXACT / NOT_A_BSD_PROOF # 摘要 本稿接續 TCGCT × TCGQT 結構—調和驗證研究 v0.2–v0.8。v0.8 已能對「由有限交換群上的整數加權子群陪集指示函數所定義的函數」產生小型生成式頻譜證書；其刻意保留一個缺口：**生成規則的數學正確性，不足以證明任意外部資料表等於該生成式。** v0.9 區分兩種來源主張。`STRUCTURED_EXACT` 要求來源與候選本身皆為明示完整的陪集生成式，使用精確整數格求子群階數及陪集交集，由差函數平方範數為零的充要條件，判定兩份生成定義在**全部群元素**上逐點相等，而不展開群訊號。`MATERIALIZED_EXACT` 則針對實際輸入的資料表：若聲稱資料與生成式完全相等，驗證器檢查資料表每個位置，不使用「短雜湊」或結構猜測跳過必要讀取。兩種路徑在證明義務與來源身分要求上不能偷換。 180 點及 100 萬點的結構化等價案例，均以同一整數格程序得到零平方範數。100 萬點不產生 100 萬項的原始表；一個改變權重的對抗例則得到非零平方範數 $250000$。180 點的完整資料表另外通過 180 項值比較，修改其中一項的資料表會遭拒絕或作為不等價見證輸出。這些是特定有限數學類別的精確判定，不是任意資料壓縮定理、通用證明助理，也不是 BSD、Schneider 猜想或任何高秩解析數論問題的證明。 ## 1. 目標與既有研究的角色 研究目的不是單純縮短程式執行時間，而是尋找**可以被合法消去的驗證義務**。 - **TCGCT**：數值、型別、精確有限算術與來源版本的權威層；此處的整數格計算屬精確代數。 - **TCGQT**：有限交換群、陪集及觀察纖維的表示；幾何視圖不修改數學真值。 - **調和分析**：v0.7/v0.8 用角色頻譜和生成式判定局部頻率；v0.9 反向從訊號的生成來源檢驗**整體等價**。 - **證明依賴圖**：只有在等價證書本身、來源釘選與型別皆有效時，後續命題才能引用它。短證書不自動建立外部來源身分。 本版無須調用浮點 FFT；數學計算使用整數、整除、行列式、最大公因數及平方和。**這並不意味一般連續／無限域問題的解析估計已被消去。** ## 2. 精確定義 取有限交換群 $$ G=\mathbb Z/n_1\mathbb Z\times\cdots\times\mathbb Z/n_d\mathbb Z, \qquad |G|=N=\prod_{i=1}^d n_i. $$ $H_j\le G$ 為由有限生成元給出的子群， $t_j\in G$，其陪集 $C_j=t_j+H_j$。定義整數值函數 $$ f(x)=c+\sum_{j=1}^{r}a_j\mathbf 1_{C_j}(x), \qquad a_j,c\in\mathbb Z. $$ 此處允許負權重、重複陪集及陪集交疊。兩份生成式可以語法不同，且項數不同，只要對每個 $x\in G$ 的函數值相同，便判定**外延等價**。這不是資料來源相同、作者相同、權限相同或來源雜湊相同的意思。 設 $f,g$ 為兩個已定義生成式，合併同號及反號的所有加權項，令 $$ d(x)=f(x)-g(x)=c_0+\sum_{j=1}^{s}b_j\mathbf 1_{D_j}(x). $$ ### 定理 1：差函數平方範數的精確公式 $$ \mathcal N(f,g)=\sum_{x\in G}(f(x)-g(x))^2 =Nc_0^2+2c_0\sum_j b_j|D_j| +\sum_{j,k}b_jb_k|D_j\cap D_k|. $$ 而且 $$ \mathcal N(f,g)=0\quad\Longleftrightarrow\quad \forall x\in G,\; f(x)=g(x). $$ **證明。** 展開有限平方和，利用指示函數的性質 $\mathbf 1_A(x)\mathbf 1_B(x)=\mathbf 1_{A\cap B}(x)$，逐項換序求和，得到等式。每項 $(f(x)-g(x))^2$ 都是非負整數，總和為零當且僅當每項均零。無浮點近似與尾項問題。證畢。 定理 1 屬於有限指示函數平方展開的既有初等代數。我們的工程貢獻是把 $|D_j|$ 與 $|D_j\cap D_k|$ 轉為可重播的整數格證書，並將適用域明示為生成定義。 ## 3. 子群與陪集交集的整數格計算 對每個子群 $H=\langle h_1,\dots,h_k\rangle$，在 $\mathbb Z^d$ 取由各座標模數向量以及生成元向量張成的整數格 $$ \Lambda_H=n_1\mathbb Z e_1+\cdots+n_d\mathbb Z e_d +\sum_{j=1}^{k}\mathbb Zh_j. $$ 其整數格指數是由矩陣 $[\operatorname{diag}(n_1,\ldots,n_d)\mid h_1\mid\cdots\mid h_k]$ 的所有最大階子式之行列式的最大公因數給出： $$ [\mathbb Z^d:\Lambda_H] =\gcd\{\,|\det M_I|: I\text{ 選取 }d\text{ 欄}\,\}. $$ 因此 $$ |H|=\frac{N}{[\mathbb Z^d:\Lambda_H]}. $$ 這是整數格／Smith 正規形理論的標準結果。此處使用分數自由的 Bareiss 行列式和整數 GCD，避免將元素逐一放進陣列。**演算法的工作量仍依維度、生成元數與最大子式數而變**，不宣稱對任何任意維度輸入皆為常數成本。 ### 定理 2：兩個陪集交集大小 設 $C=a+H$， $D=b+K$。兩者有交點當且僅當 $$ b-a\in H+K. $$ 若有交點，則任一交點 $z$ 給出 $$ C\cap D=z+(H\cap K), \qquad |C\cap D|=\frac{|H||K|}{|H+K|}. $$ 若無交點，則交集大小為零。 **證明。** $a+h=b+k$ 等價於 $b-a=h-k\in H+K$。交集存在時，以 $z$ 平移便得到 $H\cap K$。有限子群加法映射 $H\times K\to H+K$ 的核與 $H\cap K$ 等勢，故階數公式成立。證畢。 **如何精確判定成員關係？** 對 $v=b-a$，比較 $H+K$ 與 $\langle H,K,v\rangle$ 在整數格中的指數；相等則屬於，否則不屬於。只使用整數格計算，沒有逐項列舉 $G$。 ## 4. 兩條不可互換的來源驗證路徑 ### 4.1 `STRUCTURED_EXACT`：兩份數學定義 前提：`source` 與 `candidate` 都是完整、具有型別且版本釘選的有限陪集生成式；雙方群型別完全一致。 1. 不展開任何 $x\mapsto f(x)$ 的完整數值陣列。 2. 求各子群階數、陪集交集數，計算整數平方範數 $\mathcal N$。 3. 核查提交的 `norm_square` 是否精確等於重算結果。 4. 以 $\mathcal N=0$ 判定相等， $\mathcal N>0$ 判定不相等。 驗證器即使收到 `norm_square: 0`，也不相信作者寫下的零值，而是獨立計算全部必需整數關係。來源釘選必須由驗證請求之外傳入；示範文件中的 pins 只能用來重播演示。 此路徑**不建立** `source` 這份數學定義與某個未提供的觀測表、任意圖片、數值資料庫或真實世界物件之間的等價性。 ### 4.2 `MATERIALIZED_EXACT`：實際資料表 前提：外部資料表完整，包含與有限群相同順序的每一個位置，且其整份 JSON payload 之來源釘選可由外部取得。 若聲稱完全相等，驗證器逐一檢查全部 $N$ 個表值是否與候選生成式一致，否則拒絕。若聲稱不相等，單一精確位置及其值就是充分的不同見證；但必須先核查整份資料表的外部釘選，因此**不等於冷驗證只讀一個表值**。 對一般任意資料表，若沒有更強的來源結構前提，確定性驗證器若連某一項都未讀到，就不能排除對手只修改那一項而其他位置完全相同。這是本版拒絕通用「免讀資料驗證」主張的理由。 本版把 `MATERIALIZED_EXACT` 的群大小限制在 $4096$ 以內。這是原型資源邊界，不是定理本身的限制；更大來源要有資料流、可授權來源釘選與分段驗證方案。 ### 4.3 為何 SHA-256 不是來源真實性的證明？ SHA-256 可固定一份所提供內容的位元組，不能自行證明它屬於某人、是最新版本、曾由第三方真正量測，或有權授權他人使用。將示範資料旁的摘要稱為「可信任來源」，會把自己提供的主張當作自己的證據。 本版所有正式 CLI 都要求 `--expected-source-pin` 和 `--expected-candidate-pin` 從命令列外部給入。不具備簽章、密鑰管理、ACL 或防回滾設施；通過僅表示對指定快照的**數學判定**成立。 ## 5. 可重播案例 ### 5.1 180 點：不同語法，相同函數 令 $G=\mathbb Z/12\mathbb Z\times\mathbb Z/15\mathbb Z$。 在第一個座標中，偶數類可分成模四的 $0$ 類與 $2$ 類；保留同一個對角子群的負權項及相同常數後，兩份生成式的平方差嚴格為零： $$ \mathcal N(f,g)=0,\qquad |G|=180. $$ 若把其中一個模四分支的權重由 $2$ 改成 $3$，精確平方差變為 $$ \mathcal N(f,g_{\mathrm{bad}})=45. $$ 這是不同函數的嚴格見證，不是統計顯著性或浮點近似。 ### 5.2 100 萬點：無須展開的結構等價 將兩個座標的模數改為 $1000$ 和 $1000$，同一個偶數類拆分與對角項的等價性仍成立： $$ |G|=1000000,\qquad \mathcal N(f,g)=0. $$ 本版精確驗證器只處理來源及候選的五個合併生成項、十組不同項配對，以及必要的整數格計算，不構建 100 萬個訊號值。改變單一模四分支權重時，平方差為 $$ \mathcal N(f,g_{\mathrm{bad}})=250000. $$ 這是**生成式比較所需驗證義務的結構性縮減**。不能用它宣稱已完成一份有 100 萬筆任意外部資料的來源等價驗證。 ### 5.3 180 項實際資料與單項差異 先把來源生成式真正展開成 180 項資料，並保存為 `EXTERNAL_MATERIALIZED_TABLE`。`MATERIALIZED_EXACT` 通過所有 180 項比較。將索引 17 的資料改動 $+7$ 後，新版本與原候選不同；索引 17 是可獨立檢查的差異見證。 若只把索引 17 改動、卻繼續提交「完全相等」的結論，驗證器拒絕。若只有結構生成式及自帶 SHA 摘要，既無外部資料也無來源對應證據，則不能進入 `MATERIALIZED_EXACT`。 ## 6. 證書與驗證介面 本版證書封裝只有四個主要部分：`source`、`candidate`、`assertion`、`witness`，外加嚴格版本標籤和 mode。所有整數欄位拒絕布林值、浮點數及不受限制的表示；未知欄位拒絕；來源 ID 與 revision 逐項驗證。明確的數學範圍： - 維度 $1\le d\le4$ ；每座標模數 $2\le n_i\le65536$ ；群階 $N\le10^7$。 - 每份定義最多 12 個生成項，每項最多 3 個生成元；整數權重與常數項限制在 64-bit 有號範圍的幅度內。 - `STRUCTURED_EXACT` 可直接驗證 $N\le10^7$ 的生成式；`MATERIALIZED_EXACT` 僅允許 $N\le4096$ 的完整表。 - 輸入來源／候選的 SHA-256 釘選均要求從封裝之外傳入；本版僅有 CLI 的**宣告式釘選介面**，沒有建立信任來源服務。 - `STRUCTURED_EXACT` 的自帶平方範數和 `MATERIALIZED_EXACT` 的差異索引都需由驗證器核對，不能被當作無須檢查的權威資訊。 `src/lattice_exact.py` 和 `src/equivalence.py` 是驗證核心；`src/reference_oracle.py` 在小群上採完全不同的逐項列舉法，對隨機資料做交叉核查。v0.9 的驗證器不呼叫 v0.8 的生成器或調和計算以作為真值來源。 ## 7. 關於成本與「驗證更快」 本次 180 點結構證書的封裝為 1772 bytes，100 萬點版本為 1796 bytes；180 點完整資料表的封裝為 2960 bytes。這幾個檔案覆蓋的**來源承諾不同**，不可直接當作同義務壓縮率。基準資料保留 Python 環境下的暖執行內部耗時，也保留冷啟動 CLI 入口，但沒有建立端到端通用加速定理。 可確立的縮減，是對**已定義的有限陪集生成函數**，驗證者不需要進行 $N$ 次逐點等價比對；不能確立的，是一份未知外部數據的來源身分。後續可研究帶授權簽名的原始資料承諾、分片產生者的可信計算紀錄、以及適當的形式化或互動式證明系統。但在實作與證明之前，都應標為未完成。 ## 8. 反例與安全邊界 1. **外部表的一點被換掉。** 生成式彼此等價並不能保護未知表；`MATERIALIZED_EXACT` 必須拒絕虛假的逐點等價結論。 2. **改動來源 revision。** 即使其他數學值不變，也不能沿用舊版來源釘選；新 revision 必須重新指定期望來源。 3. **偽造範數零值。** 非零的整數格平方和不能由 packet 的 `norm_square:0` 洗成零。 4. **以來源自帶的 hash 當可信證據。** 單純 hash 無法提供權威來源；缺少外部釘選時 CLI 拒絕驗證。 5. **把局部頻率證書當全域等價。** v0.8 的單 Galois 軌道成立，不等同兩個函數在所有座標相等。v0.9 不會用單軌道替代全域平方範數。 6. **任意大群／非有限群。** 本版整數格方法目前只處理具有明確有限循環分解的群，未建立其在無限域、p-adic 或一般拓樸群上的等價判定。 7. **數值結論提升為數學證明。** 子群與陪集檢查結果，不等同對 BSD 等全域猜想的首項、正則性或解析橋接結論。 ## 9. 驗證範圍與後續方向 本版完整驗證包括行列式與排列展開的獨立比較、整數格子群階與顯式 BFS 的交叉核查、隨機群上的 Gram 平方和與逐項平方和核對、來源 pin/版本、偽造證書、資料表缺項、冷啟動 CLI，以及 v0.8 原始版的獨立回歸。 **已確立的定理：** 對完整有界的整數加權陪集生成式，使用子群格指數、交集階數及平方和，能在不列舉全體群點的情形下給出精確等價或不等價判定。 **未確立的事：** 任意外部資料可被無需讀取而確定性驗證；通用多項式大小證書；實務環境全面加速；全域 BSD 算術與解析橋接；任何自動取得資料來源權限的流程。 建議 v1.0 的研究聚焦於將合法來源身分與數學證書切開成可組合的兩份證據：一份提供有外部授權的來源承諾，另一份給出完全獨立的數學等價性證書。二者只有在完整、可驗證的對應條件之下才能結合。 ## 10. 來源譜系 - 既有 v0.8 研究原始稿：`upstream_v08/docs/TCGCT_TCGQT_Generative_Harmonic_Certificates_v0.8_2026-11-02.md`，由其原 SHA-256 清單釘選。 - TCGCT 精確核心：。 - TCGQT 多尺度觀察層：。 - AMRAL 研究樹：；此處沒有搬用 BSD 數學結論作為本稿前提。 - 經典背景：有限交換群的陪集公式、整數格最大子式的 gcd、有限函數平方和、完全資料掃描的對抗輸入基本論證。此處使用為標準數學工具，不主張其發現權。 --- **結論：本輪完成的是「定義到定義」的精確短驗證路徑，以及「資料到定義」不能省略來源核對的嚴格阻斷。兩者共同構成 TCGCT × TCGQT 下一階段更可靠的來源等價接口。**