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 都是完整、具有型別且版本釘選的有限陪集生成式；雙方群型別完全一致。

不展開任何 $x\mapsto f(x)$ 的完整數值陣列。
求各子群階數、陪集交集數，計算整數平方範數 $\mathcal N$ 。
核查提交的 norm_square 是否精確等於重算結果。
以 $\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. 反例與安全邊界

外部表的一點被換掉。 生成式彼此等價並不能保護未知表；MATERIALIZED_EXACT 必須拒絕虛假的逐點等價結論。
改動來源 revision。 即使其他數學值不變，也不能沿用舊版來源釘選；新 revision 必須重新指定期望來源。
偽造範數零值。 非零的整數格平方和不能由 packet 的 norm_square:0 洗成零。
以來源自帶的 hash 當可信證據。 單純 hash 無法提供權威來源；缺少外部釘選時 CLI 拒絕驗證。
把局部頻率證書當全域等價。 v0.8 的單 Galois 軌道成立，不等同兩個函數在所有座標相等。v0.9 不會用單軌道替代全域平方範數。
任意大群／非有限群。 本版整數格方法目前只處理具有明確有限循環分解的群，未建立其在無限域、p-adic 或一般拓樸群上的等價判定。
數值結論提升為數學證明。 子群與陪集檢查結果，不等同對 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 精確核心：https://github.com/kakon77777-commits/TCGCT。
TCGQT 多尺度觀察層：https://github.com/kakon77777-commits/TCGQT。
AMRAL 研究樹：https://github.com/kakon77777-commits/amral-research-trees；此處沒有搬用 BSD 數學結論作為本稿前提。
經典背景：有限交換群的陪集公式、整數格最大子式的 gcd、有限函數平方和、完全資料掃描的對抗輸入基本論證。此處使用為標準數學工具，不主張其發現權。

結論：本輪完成的是「定義到定義」的精確短驗證路徑，以及「資料到定義」不能省略來源核對的嚴格阻斷。兩者共同構成 TCGCT × TCGQT 下一階段更可靠的來源等價接口。

TCGCT × TCGQT v0.9｜來源等價性：由陪集交集的整數格證書判定生成式相同

摘要