進位制塔樓與全域運算關係幾何(第六篇)
跨運算補償對偶、整數因數篩選與進位雙向越層的有限域驗證
英文題名: Radix Towers and Global Operational Relation Geometry VI: Cross-Operator Compensated Duality, Divisor-Filtered Symmetry, and Bidirectional Radix-Level Crossing in a Finite Domain
版本: v0.1(形式化、精確定理、完整有限域枚舉)
日期: 2026-11-04
研究脈絡: EveMissLab/進位制塔樓與全域運算關係幾何
先行研究: 第一至第五篇,尤以第二篇的有序事件定義、第四篇的塔外折返、第五篇的乘法置中為直接基礎
對應程式: verify_paper06.py、make_figures.py
形式性質: 既有算術定律上的新觀察規格、初等可證命題及有界枚舉;不宣稱已發現獨立於既有代數的新普適定理
Canonical source: UTF-8 Markdown;數學原始碼僅使用 $...$ 與 $$...$$
作者: Neo.K
公司: 一言諾科技有限公司
摘要
前五篇分別形式化進位制塔樓、有限域算術事件、乘法重新括號時的數量級進位重分配、塔外折返的補數對偶,以及固定乘積因數對的對數置中。本文向研究構想中更基本的一步推進:不再只以單一乘法的兩個因數為觀察對象,而是在同一個結果節點周圍,同時記錄乘法、加法、減法、因數約束與正反向歷史,觀察多種運算所形成的可重建關係結構。
我們限制在正整數集合 ,選擇一個最小而可完整窮舉的跨運算語法。對每個 且 ,保留原始乘法與兩條補償路徑:
正向改變第二乘數,對最終結果作相反方向的加減補償,使兩條路徑精確回到 。兩個中間乘積 與 以 為真實數值中心形成鏡射;若把 交換,則可能以另一個距離 生成第二組對偶軌跡。這是一種代數補償對偶,而不是物理作用力或時間因果律。
在上述固定語法中,1 至 1000 共存在 5,070 條帶方向的非平凡乘法事件,每條衍生兩條補償路徑,合計 10,140 條帶標籤的跨運算歷史。若放寬為任意整數鏡射距離 ,整個觀察域共有 249,001 個候選中心—距離組合;其中只有 5,070 個能用非平凡整數因數條件實現,其他 243,931 個只是幾何上可畫出的對稱而非本語法的乘法補償路徑。這個對照排除了「看見置中對稱即發現特殊算術耦合」的錯誤推論。
進一步證明:在 、最小乘數皆至少為 2 的條件下,恰有 499 條正向補償路徑的中間乘積越出觀察域,且最大中間乘積為 1500。對任意整數進位基底 ,每條路徑在數量級塔樓中向下或向上最多越過一層;同時跨越下方與上方兩個樓層邊界的情況,只能在二進位出現。七個基底 的完整計數確認了這個定理及其跨進位觀察差異。
本文確立的研究界線是:鏡射、分配律與因數篩選均有已知算術依據;真正可用於後續比較的資料對象,是包含事件類型、運算方向、中間狀態、逆向約束、觀察基底及塔外節點的完整軌跡,而不是一張單純排列整數的圖。
關鍵詞: 全域運算關係、進位塔樓、代數補償、作用—反向約束、同結果纖維、因數篩選、數量級越層、內外部狀態、運算歷史、有限域窮舉。
1. 研究問題:從結果相等走向歷史耦合
1.1 為什麼不再只研究
最初的關係族:
已由 解釋。但若只保存這個等式,我們仍然無法區分:
- 哪一個數值先被作用;
- 被作用後的中間狀態位於哪一個樓層;
- 哪一個補償操作讓終點重新回到共同結果;
- 何種條件使一個畫面上的鏡射真正對應合法整數乘法;
- 改變進位制後,哪些越層事件被改變,哪些整數關係保持不變。
因此本篇的基本單位不再只是等式或數值點,而是帶來源與時間順序的有限運算歷史。
1.2 不把「可以建構」誤當「具有判別力」
對任意正整數 和正整數 ,永遠可以寫出:
這種加減補償鏡射沒有稀有性,不能單獨作為新數學構造的證據。
本文加入真正的因數耦合條件: 不只是任意距離,而必須同時扮演乘法作用元;亦即 、 ,且 。因此只有特定鏡射才能接入同一條乘法事件。
1.3 「作用—反作用」的嚴格口徑
此處的作用指一個有明確輸入與輸出的算術操作;反向補償指另一個操作抵銷作用元造成的數值位移。二者具有關係約束,但這不表示任一算術演算法本身是物理因果機制。
尤其必須區分:
- 數值關係可逆:知道 與 時,可重建 ,但仍須檢查整除。
- 歷史可辨識:相同結果可能具有不同中間狀態、運算符與步數。
- 時間因果:需要另外指定可執行的狀態轉移系統,不能由一條等式直接推出。
2. 有限域、運算事件與完整歷史
2.1 觀察域
固定整數上限:
將 中每個數值視為可尋址的塔樓格子;允許有限歷史中的中間狀態 超出 ,但最終結果必須回到 。超界節點具有明確整數值,不是未知或任意佔位符。
2.2 有序非平凡乘法事件
定義:
與 作為有序事件分別保留,因為後續補償的距離取自第一乘數。它們的結果相同,不表示其中間歷史相同。
2.3 固定可執行語法
對 ,定義三種歷史:
這裡預先計算 也是歷史的一部分。若以逐指令步數衡量,兩條補償路徑不能視作與單步 具有相同運行成本。
計算得到:
由 ,有 ; 可能大於 。本篇研究的都是有限、正整數、最多數個基本操作的歷史,不涉及任意長度或全體實數的窮舉。
2.4 事件資料與投影不可混同
至少保留四個不同物件:
以及將數值格子、運算歷史與樓層觀察一起呈現的視圖 。
同結果不代表同歷史;同歷史可在不同基底下得到不同的樓層序列。圖上位置也不自動構成代數不變量。
3. 補償對偶與中心對稱的精確命題
3.1 定理 3.1:雙側補償鏡射
定理 3.1。 若 , ,則:
且:
所以 、 在通常的實數數線上,以 為共同中心,且距離均為 。
證明。 直接利用分配律: 、 。把兩式相加、相減即得。證畢。
此結果是標準算術恆等式;本文的貢獻不是重新證明分配律,而是將帶有算術來源的對稱作為可記錄、可比較的運算圖式。
3.2 交換因數產生不同的補償尺度
對同一個 :
若 ,兩組鏡射具有不同距離;若 ,它們重合。交換因數是代數對合,卻不一定保持固定作用元 的歷史標記。
因此 不僅是不同乘法分解的交點,還是多組不同補償尺度的共同中心。
3.3 定理 3.2:合法鏡射的逆向篩選
定理 3.2。 固定 ,取整數距離 ,使 。數值鏡射 可被解讀為本篇的某條乘法補償歷史,當且僅當:
證明。 若存在 且 ,並且補償距離等於 ,則 。反之,若 ,取 、 ;由 得 。代入 、 即得合法的運算歷史。證畢。
推論 3.2.1。 對固定 ,不同距離 對應不同中間狀態 。因此本語法的有序事件可由中心與合法距離 唯一重建。
推論 3.2.2。 若已知外側中間乘積 ,則其乘法來源存在的充要條件是:
成立時唯一重建:
這提供了不依賴「看起來像什麼圖形」的精確逆向約束。
4. 同結果纖維與全域精確計數
4.1 固定結果的來源度數
定義:
是固定結果 的有序非平凡乘法來源數量,因為每個有效 都決定 。對 :
其中 為通常的正因數個數。對 定義 。
本篇補償歷史的數量為:
此計數保留左右補償的方向,也保留因數交換引入的不同作用距離。
4.2 定理 4.1:全部合法運算歷史總量
定理 4.1。 當 時:
亦可改寫為:
證明。 固定第一乘數 ;由 及 ,第二乘數 有 種合法取值。對所有 加總即得第一式。第二式由分離 與減去平凡配對得到。證畢。
取 ,精確枚舉與兩種獨立總和檢查均得到:
這裡的 是兩種帶標籤的補償歷史的個數,不是 10140 個互異的整數值,也不是所有可能演算法歷史的數量。
4.3 負對照:純幾何鏡射遠多於合法因數鏡射
對每個 ,先不考慮整除,只允許距離:
則全部候選中心—距離組合為:
其中合法乘法來源只有 個,其餘:
個候選不滿足本語法的整除條件。合法比率為:
約為 。這個比率只描述本次固定候選規則與上限,不是整數乘法的普遍機率,更不是隨機實數的統計機率。
研究意義: 置中視覺化可以暴露候選模式,但若不加入可還原的算術約束,畫面上多數鏡射都不屬於我們要研究的乘法耦合圖式。
5. 塔內、塔外與有限外部計數定理
5.1 上下側中間狀態的範圍
對每個 、 :
因此負向補償的中間乘積 必然留在 ;正向補償的 最多到 。這和任意長度的無限制代數重寫不同:本篇語法的塔外值有嚴格上界。
對 ,最大值 確實可由 達成。
5.2 定理 5.1:塔外正向補償歷史恰有 499 條
定理 5.1。 令 。在本篇有序事件集合中,滿足:
的事件數恰好為:
證明。 固定 ,令 。可行的 是 。若 ,因 ,必然塔外;若 ,則 ,必然塔內。故每個合法 恰有一條塔外事件,加總即得。證畢。
因此 時:
這個 是有限觀察邊界 的效應,與用二、十、十二進位寫出相同整數無關。不能把它誤稱為「十進位進位事件數」。
5.3 以 為例
。取 :
與 以 為中心等距對稱;右側的 雖然超出塔樓,但這條運算歷史及其整除來源完全可以精確重建。
6. 進位制觀察:同一鏡射,四種跨層簽名
6.1 數量級樓層,而非數位進位
對整數基底 ,定義:
計算時實作採用整數冪比較,不以浮點對數決定樓層。
對一條補償鏡射 ,定義:
把二元組 稱為數量級上下越層簽名。
這裡的 只描述中間乘積在樓層上的位置差,不能和逐位直式乘法的 carry stream 畫上等號。
6.2 定理 6.1:單側越層最多一層
定理 6.1。 在本篇語法下,對每個整數基底 :
證明。 由 ,得 、 。因此 ,且 。相鄰數量級邊界的比值為 ;這兩段數值變動都不足以跨越兩道或以上完整樓層邊界。證畢。
6.3 定理 6.2:只有二進位可能雙向同時越層
定理 6.2。 在 、 的條件下,如果:
則必有 。而 確實存在這種事件。
證明。 設 ,故 。若下側越層,則 ;由 得:
若上側越層,則 ;由 得:
若 ,右式迫使 ,與 矛盾。所以只有 可行。取 ,則中間狀態為 與 ;在二進位,三者樓層依次為 ,兩側均越層。證畢。
辨識意義: 這是由有界相對位移 與等比樓層間距聯合決定的結果,不是神祕的二進位特性,也不是可以直接推廣到任意運算或任意中間歷史的定律。
7. 七種進位制的完整統計
7.1 枚舉口徑
對 條有序非平凡事件逐條計算 ,基底取:
每個基底都有 5070 條相同的底層整數事件;不同的只是其樓層簽名。以下表格的四欄依序表示 。
| 進位基底 | 00 | 01(只向上) | 10(只向下) | 11(雙側) | 總數 |
|---|---|---|---|---|---|
| 2 | 3494 | 583 | 668 | 325 | 5070 |
| 3 | 3712 | 537 | 821 | 0 | 5070 |
| 5 | 4038 | 384 | 648 | 0 | 5070 |
| 8 | 4217 | 286 | 567 | 0 | 5070 |
| 10 | 4401 | 549 | 120 | 0 | 5070 |
| 12 | 4844 | 74 | 152 | 0 | 5070 |
| 16 | 4670 | 132 | 268 | 0 | 5070 |
完整資料見 paper06_radix_signatures.csv(35,490 列),可透過標準函式庫程式重新生成。
7.2 與塔外的 條事件不能混為一談
每個基底下,塔外正向補償事件始終是 499 條;但簽名中的上側越層事件數不固定。例如:
- 十進位:上側越層合計 條;其中 條是超過觀察界 1000 的歷史,另有部分在 10、100 等較低位階跨層。
- 十二進位:上側越層僅 條,但塔外事件仍是 條;超出 1000 不必然超出相應十二進位樓層。
- 二進位:有 條事件屬於雙側越層類型 ;這與塔外判準是不同的分類。
因此至少需要同時保存:
與:
前者相對於固定數值觀察界;後者相對於可變的位階分割。兩者的混淆會導致假的「進位制不變/可變」結論。
8. 的完整置中補償纖維
8.1 八個有序作用距離
,去除 與 本身後共有八個合法有序作用距離。對每個 , :
| 作用元 | 對應乘數 | 左側中間乘積 | 中心 | 右側中間乘積 | 塔外? |
|---|---|---|---|---|---|
| 3 | 297 | 888 | 891 | 894 | 否 |
| 9 | 99 | 882 | 891 | 900 | 否 |
| 11 | 81 | 880 | 891 | 902 | 否 |
| 27 | 33 | 864 | 891 | 918 | 否 |
| 33 | 27 | 858 | 891 | 924 | 否 |
| 81 | 11 | 810 | 891 | 972 | 否 |
| 99 | 9 | 792 | 891 | 990 | 否 |
| 297 | 3 | 594 | 891 | 1188 | 是 |
的本篇合法補償歷史數為 。如果不施加整除篩選,允許的幾何候選距離有 ,共 444 種;因此有 種不屬於本語法的乘法補償關係。
8.2 同一事件在不同基底下呈現不同越層
取 ,固定數值三元組:
它的數值鏡射不隨進位制改變;但樓層簽名如下:
| 基底 | 下側樓層 | 中心樓層 | 上側樓層 | 簽名 |
|---|---|---|---|---|
| 2 | 9 | 9 | 10 | 01 |
| 3 | 5 | 6 | 6 | 10 |
| 5 | 3 | 4 | 4 | 10 |
| 8 | 3 | 3 | 3 | 00 |
| 10 | 2 | 2 | 3 | 01 |
| 12 | 2 | 2 | 2 | 00 |
| 16 | 2 | 2 | 2 | 00 |
這是「固定底層整數、改變觀察基底」的例子,不是固定數字字串而改變其所代表的數值。
8.3 最小雙側越層示例
取 ,其補償三元組為:
- 二進位:樓層 ,簽名 ;
- 三進位:樓層 ,簽名 ;
- 十進位:樓層 ,簽名 。
這個例子尤其適合擔任塔樓可視化的基本測試:圖形中心相同,數量級標籤卻依基底改變。
9. 置中圖式的設計規格:不可再把三種中心混成一種
9.1 數值鏡射中心
對補償對偶,真實中心是:
此中心使用通常數線的距離,兩端的數值差是 。更換基底不會破壞此等式。
9.2 乘法因數對的對數中心
第五篇研究的乘法因數對 在對數座標中的中心是:
此中心與本篇中間狀態的加法中心 不相同,二者不可畫到同一尺度後直接宣稱相等。
9.3 畫面排版的中心
將某個數值置於螢幕或塔樓中央,是 UI 觀察選擇,而不是數學定理。它的作用是降低視覺干擾,允許使用者同時比較:
- 左右中間乘積的數值距離;
- 有序因數來源;
- 正向與負向補償方向;
- 各基底的樓層切分;
- 塔外節點的保留與返回。
若畫面為了緊湊而對每層使用不同的水平縮放,必須明確標示:此時顯示的水平距離不再代表同一套實數距離。
9.4 建議的實際資料結構
每個視覺事件保留:
{
"a": 297,
"b": 3,
"z": 891,
"intermediate_minus": 594,
"intermediate_plus": 1188,
"outside_plus": true,
"operator_history_minus": ["b-1", "multiply", "add_a"],
"operator_history_plus": ["b+1", "multiply", "subtract_a"],
"radix": 10,
"magnitude_signature": [0, 1]
}
該 JSON 僅示例資料模型;完整有限域原始資料在 CSV 中。所有樓層結果可以由原始數值與觀察基底重新計算,不必把一種基底的位階寫成不可變的底層資料。
10. 控制組、研究侷限及不當推論的排除
10.1 鏡射的負對照
幾何上可鏡射的 個候選中,只有 個通過整除測試。故若有人從一張置中圖直接聲稱「每個左右對稱都代表乘法的作用—反作用關係」,本篇的因數篩選立即提供大量反例。
10.2 公式恆等式不等於新的數學定律
本篇的補償等式,從頭到尾都建立在通常分配律、加減互逆與正整數整除上。得到 條運算歷史,說明的是我們選定的可執行語法能在有限域中被完整追蹤與比較,不是無窮實數域中已存在的新穎對偶定律。
10.3 已控制的兩個邊界效應
觀察域截斷: 所有結果 ,但中間狀態最多延伸至 1500,需標明塔外路徑。外部計數 依賴 。
進位觀察切分: 任意基底 的位階切分與固定上限 是兩個不同條件。即使某個中間狀態在觀察域外,也可能與中心位於相同的 進位樓層。
10.4 尚未由本篇實驗成立的主張
- 沒有證明所有算術運算、所有演算法或所有實數都存在唯一的共通塔樓幾何軌跡。
- 沒有證明所用數位進位演算法的計算成本與數量級越層次數具有單調關係。
- 沒有將演算法可逆、數值可逆、物理因果及時間對稱視作等價概念。
- 沒有把一次畫面上看似相似的線條認定為跨進位不變量;是否不變,必須在數值與事件標籤層精確核對。
- 沒有把本篇的恆等式當作第四篇所有塔外折返路徑的完整分類;不同運算語法有不同的歷史集合。
11. 可重現實驗、圖形資料與驗收方式
11.1 唯一事件枚舉主程式
隨附 verify_paper06.py,只依賴 Python 標準函式庫。核心迴圈將 限於 ,將 限於 ,產生全部 條有序事件。
每個事件同時檢查:
- ;
- 與 ;
- ;
- 與 ;
- 從 可回推 及 ;
- 七種基底的 均在 ;
- 不存在 類;
- 外部事件恰為 499 條;
- 用「遍歷全部中心與距離後做整除判定」的獨立迴圈檢查所有 組候選。
11.2 資料檔案
paper06_motifs_1_to_1000.csv: 條有序事件及兩側中間乘積。paper06_radix_signatures.csv:七種基底的全部 條帶基底記錄。paper06_centers_1_to_1000.csv:從 1 到 1000 的每個中心數值、乘法來源度數與鏡射候選數。paper06_stats.json:整體計數、基底分布及代表案例。figures/paper06_centered_compensation_891.png:對 891 的數值置中鏡射與塔外界線。figures/paper06_cross_base_signatures.png:七種進位制的四類越層簽名分布。
圖像是可重建的資料視覺化,不是數學證明的替代物;正式證據為定理、精確整數比較及可重現的枚舉。
11.3 原稿品質與程序檢驗
本文正式版本必須通過:
- UTF-8 原始碼可解碼;
- 數學原始碼只使用
$...$和$$...$$; - 不將 Markdown 渲染結果反向當成數學原稿;
- 原稿中的關鍵計數與 JSON 統計一致;
- 圖表所依據的資料與 CSV 相同;
- ZIP 內資料 SHA-256 可校驗。
12. 綜合結論:全域關係不是線條的總數,而是有約束的聯動歷史
本文在嚴格限定的 1–1000 有限正整數域中,完成了從單純乘法事件到「乘法—加法—減法—反向整除約束」的第一個跨運算橋接。
第一,補償對偶可以精確構造。 同一個乘法結果 形成兩條帶有相反補償方向的歷史,中間值 以 為真正數值中心。
第二,對稱不等於合法乘法耦合。 只有當距離 也是 的非平凡因數時,左右鏡射才能歸入本篇固定語法。完整域中 個候選,只有 個滿足這一條件。
第三,內外部關係是可數且有界的。 固定上限 1000 與本篇語法後,恰有 條正向補償歷史的中間乘積超界,且最大不超過 1500。
第四,底層關係與進位觀察確實分化。 補償鏡射、因數來源和歷史重建與基底無關;但數量級越層簽名依基底改變。這種分化有一個精確可證的特例:雙側同時越層只能發生於二進位。
這些結果並不意味著傳統代數不知道這些等式;它們意味著,在同一個明確的有限圖式中,同時保留數值關係、運算歷史、逆向約束和進位觀察,確實可以建立一套不依賴視覺錯覺、可檢驗的耦合資料模型。
一個結果可以相同,一段歷史卻不必相同;使兩者可以比較的,不是畫線的自由,而是約束留下的結構。
研究來源與對照文件
EveMissLab_Radix_Tower_Global_Operational_Geometry_01_v0.1.md:定義與關係/表示分離。EveMissLab_Radix_Tower_Global_Operational_Geometry_02_v0.1.md:有限域有序算術事件與作用—反向約束。EveMissLab_Radix_Tower_Global_Operational_Geometry_03_v0.1.md:雙步乘法歷史與重新括號的位階重分配。EveMissLab_Radix_Tower_Global_Operational_Geometry_04_v0.1.md:塔外折返與互補鏡射。EveMissLab_Radix_Tower_Global_Operational_Geometry_05_v0.1.md:乘法因數對的對數置中與進位相位。- 本篇
verify_paper06.py與資料 CSV/JSON:所有新報告統計的可重現來源。
End of Paper VI — Canonical UTF-8 Markdown Source.