進位制塔樓與全域運算關係幾何(第一篇)
有限數值域中的作用—反向約束耦合、運算軌跡與表示不變性
英文題名: Radix Towers and Global Operational Relation Geometry I: Coupled Forward–Backward Constraints, Computation Traces, and Representation Invariance in a Finite Domain
版本: v0.1(基礎形式化稿)
日期: 2026-11-03
研究脈絡: EveMissLab/進位制觀察、數量級塔樓、關係幾何
研究性質: 定義、可證明命題、可檢驗猜想與實驗規格的分層稿;不宣稱已發現新定理
正式原始碼: UTF-8 Markdown;數學原始碼僅使用 $...$ 與 $$...$$
作者: Neo.K
公司: 一言諾科技有限公司
摘要
傳統算術通常將一條運算過程壓縮為數值等式,例如 。這種表示在計算答案上充分,卻不一定方便觀察不同表達式、不同演算法、不同進位制與不同中間狀態之間的全域關係配置。本文提出「進位制塔樓與全域運算關係幾何」的第一階段形式化:在有限的正整數觀察域內,為每個數建立獨立節點,依進位數量級分層,保留運算事件及其可辨識的中間軌跡;再把前向運算、反向約束、等價重寫與進位表徵視為可相互比較但不可混為一談的關係層。
關鍵示例不是孤立的 ,而是參數化的雙路徑族: 與 。當 時,重複數位 ,兩族逐項產生相同結果。其共同成因可由 精確說明;若改變進位基底,對應的重複數位規則可以維持同一形式,但具體數字顯示與進位軌跡會改變。
本文特別區分:代數恆等式是已成立的事實、計算軌跡依演算法而定、置中塔樓是觀察設計,以及跨演算法的幾何規律是否具有超越佈局的人為因素,仍是待檢驗猜想。所建立的模型可作為後續有限集全域枚舉與可重現視覺化的共同語義基礎。
關鍵詞: 進位制;位值;數量級;有限運算網路;反向約束;運算軌跡;關係幾何;表示不變量;置中觀察。
1. 問題不是「算出多少」,而是「哪些關係同時存在」
給定算式:
計算答案只需一次乘法;但在更大範圍裡,891 同時出現在多種因數分解中:
這些不是同一條計算歷史。它們分享結果,卻具有不同輸入、不同拆解方式與不同可能的中間節點。更重要的是,同一條數值等式也能由不同演算法計算:長乘法、重複加法、分配律展開、因數重組或利用進位制的位值規律。
本文的研究動機是:不要只將每個算式化約為單一答案,而要保留數值節點、生成事件與運算路徑,使同結果多來源、一來源多後繼、跨數量級連結及超出觀察範圍的中間過程能在同一張關係圖上被檢查。
這不代表一般算術無法表述上述事實;相反,本文的目的,是把既有算術中分散在不同公式內的關係轉換成可共同觀察、查詢和量測的形式。
2. 第一觀察域:1–1000 的有限正整數塔樓
定義初始數值域:
此集合恰有 1000 個數值節點。雖然每個節點也是實數,但此處的有限集合並非整個實數集合。因此任何關於「所有實數」的推論,都不能僅憑此有限模型成立。
對整數進位基底 ,定義數量級層:
對 ,得到:
| 層級 | 範圍 | 格子數 |
|---|---|---|
| 1–9 | 9 | |
| 10–99 | 90 | |
| 100–999 | 900 | |
| 1000 | 1 | |
| 總計 | 1–1000 | 1000 |
這個結構在只顯示層級輪廓時可能呈現三角形;當每層展開全部格子並顯示關係,則形成具有大量內部細節的「塔樓」。塔樓是顯示結構,而不是線性代數中的矩陣乘法演算法。
2.1 兩種置中不可混淆
樓層置中:不同數量級的可視格子區域共用一條版面中心軸。
關係置中:任選數值 ,把生成 的前驅運算事件與由 觸發的後繼事件安排在其兩側。
樓層置中改變的是空間呈現;關係置中改變的是被突顯的局部子網路。兩者都不會自動改變任何算術關係。圖上看起來的幾何對稱必須另經檢驗,才可能被解釋為某種數學不變量。
2.2 相同數值與相同數字符號是不同實驗
令 表示數值 的 進位表示。例如同一個數值 891:
| 基底 | |
|---|---|
| 2 | 1101111011 |
| 8 | 1573 |
| 10 | 891 |
| 12 | 623 |
| 16 | 37B |
若固定數值 891 而改變 ,數值沒有變,改變的是表示與位階分布。若固定符號字串 99 而改變其基底,則該字串的數值一般會跟著改變。這兩種實驗須分開記錄,否則容易把表示效果誤判成數值本身的性質。
3. 全域運算不是一張乘法表,而是一組帶歷史的事件
選定運算集合 ,例如:
一個運算事件以四元組記錄:
其中 是輸入, 是指定算子, 是輸出。除法的除數不可為零。實際資料中還須保留事件 ID、演算法名稱、依賴的前序事件,以及計算步次。
3.1 為什麼採用運算事件而不是普通連線
以 為例,真正的基本關係需要同時涉及兩個輸入及一個輸出。如果只畫 9 → 891,將遺漏 99 這個必要條件;畫 99 → 891 也有相同問題。因此基本單位宜是包含所有運算元的超邊或事件節點,普通箭頭僅作為視覺化投影。
正式記錄應是:
value(9) ──┐
├── event(multiply) ──> value(891)
value(99) ─┘
3.2 結果有界不等於所有中間狀態有界
定義內部數值節點為 。一條完整運算軌跡的最終結果可被要求落在 ,但中間狀態允許暫時在集合外。
例如:
這條路徑的最終結果是 891,但中間出現了超過 1000 的 1089。圖中可把 1089 顯示為外部暫存節點,並以虛線標記跨越觀察邊界的事件。
外部不等於無效。 它只是未被配置到 1–1000 主要格子中的數值。中間值也可能是零、負數或非整數,是否允許須由運算語法與觀察規則明確規定。
3.3 必須固定路徑複雜度
如果允許任意長的等價重寫,例如反覆插入 ,即使只討論一個整數,也會有無限多條語法不同的軌跡。故有限數值域不代表運算歷史的總集合有限。
一次可重現的實驗至少應固定:
- 算子集 ;
- 數值域與可接受的中間值型別;
- 最大運算深度 ;
- 中間狀態的數值或位長上限(如有);
- 等價表達式的正規化規則;
- 一條軌跡內的步驟順序及依賴資訊。
否則所謂「所有關係」並非可終止、可比較的枚舉任務。
4. 作用與反作用:運算生成和反向關係約束
本文沿用研究構想中的「對偶」用語,但給出較窄的可檢驗意義:前向作用生成結果;結果反過來約束可能的輸入與路徑;受到約束的節點仍可參與後續運算。 這是一種運算關係耦合,不等同於物理學中作用力與反作用力的定律。
對任意雙元算子 ,其前向關係為:
在已知 與其中一個輸入時,定義反向候選集合:
此集合依算子及允許的數值域而異,可能是單元素、多元素或空集合。若只知道結果而不知道任何輸入,反向來源通常更多;如果引入近似、截斷或捨入,候選也可能增加。
由此可區分三層:
- 作用:輸入經事件生成輸出。
- 反向約束:已知輸出,收縮可接受的來源集合。
- 再作用:來源或輸出與另一事件耦合,生成新的依賴鏈。
「兩條路徑得到同一數字」只構成結果交會,不自動證明它們存在更強的構造對偶。若要提升為結構性耦合,至少還需指出可檢驗的共同因數、等價變換、共享子結構或其他不變量。
5. 基準案例: 與
令 為十進位的非零單位數字:
把相同數位 連寫兩次,記為 ,則:
於是存在精確恆等式:
| 左路徑: | 右路徑: | 共用結果 | |
|---|---|---|---|
| 1 | 99 | ||
| 2 | 198 | ||
| 3 | 297 | ||
| 4 | 396 | ||
| 5 | 495 | ||
| 6 | 594 | ||
| 7 | 693 | ||
| 8 | 792 | ||
| 9 | 891 |
這不是九次無關的巧合,而是同一個恆等式隨參數 展開的九個實例。當 時,左右兩條表達式甚至完全重合,形成參數化表示的特殊交點。
對 , 仍是代數恆等式,但 110 不再是十進位的雙位重複數字。因此必須區分「形式延拓」與「雙位數字模式仍有效」這兩件事。
5.1 同一族中的第三條計算路徑
因為:
所以:
這與 共享結果,但具有不同的事件分解:一條基於因數重組,一條基於位值減法。前者常以乘法事件為核心,後者會顯式出現減法與借位。在塔樓中,應保留各自的中間事件,而不是把它們消成一個終點節點。
6. 為什麼進位制會影響可觀察軌跡
將十進位的一般規律提升到任意整數基底 。令 為該基底最大的單位數字,取 。
在基底 中,兩位相同數字所代表的值為:
而兩位最大數字所代表的值為:
因此:
亦即:
其三位輸出在基底 的位值排列滿足:
所以對 ,三個由高位到低位的數字為:
對十進位,這就是 099、198、297、……、891 的共同規律。此處可嚴格區分:
- 數位模式隨基底參數變化,但保有同一形式:上面的三位規則。
- 固定數值在不同基底中的表示改變:例如 891 的基底轉寫。
- 同一事件在不同算法下的中間路徑改變:例如分配律和直式乘法。
這三種變化應分別成圖,不能全部歸因於「進位制創造了數值關係」。
7. 首個可重現的全域基準:所有正整數乘法邊
先只用最有限的模型:兩個輸入和結果皆為 的正整數,算子只有乘法。保留輸入順序時,事件集合為:
其大小可以直接計算:
若把 與 視為同一組無序因數對,則:
其中 31 是滿足 的正整數數量。此處的 7069 與 3550 是已有乘法結構的直接計數,不是新發現;它們可以作為驗證任何運算網路實作是否漏邊的校驗數值。
接著才在乘法邊上加入:
- 明確的演算法事件展開與時間順序;
- 因數重寫、分配律與位值分解;
- 加減除的相關事件;
- 結果有界而中間超界的虛線軌跡;
- 不同基底與不同置中模式的可比性測試。
這個次序能使新增加的視覺關係有明確的起始基準。
8. 哪些屬於不變量,哪些只是看起來像規律
跨基底、跨算法與跨畫法的比較,至少需分成四個層級:
| 觀察項目 | 是否理應不變 | 條件 |
|---|---|---|
| 固定數值的等式真值 | 是 | 數值與運算語義保持相同 |
| 固定整數域中的因數對 | 是 | 節點與因數判定不變 |
| 數位展開、借位與進位路徑 | 不一定 | 依基底與演算法改變 |
| 圖上的角度、線長、交叉與對稱外觀 | 不一定 | 依置中、排序、尺度與畫法改變 |
研究重點不是看到很多直線或對稱就宣稱有新結構,而是尋找在重排格子、改變基底、替換計算策略後仍可藉由明確映射保留下來的關係性質。
尤其需要一組負控制:把相同數值節點隨機重排,或使用左起排列對照置中排列。如果某個「規律」只在一種畫法出現,而且在關係圖的純資料表示中找不到對應性質,就應優先視為觀察投影效果。
9. 分層假說與實驗判準
H1(軌跡可展示性;方法學假說):當數值域、算子語法與有限複雜度限制固定後,可將每一條實際枚舉的運算歷史顯示為帶依賴的路徑或局部網路。此主張主要涉及表示系統的構造可行性,不預先聲稱新的數論定律。
H2(有限域的雙向關係耦合):同一輸出節點的前向生成與反向來源約束,在指定算子集合與路徑規則下,能形成可統計、可追蹤的共同子網路。要量測的是約束與生成的結構,不能將一般的逆求解直接宣稱為物理反作用。
H3(跨基底的結構保存):在固定底層數值與運算語義時,部分以數值定義的圖不變量應在改變基底後保持不變;以數字符號和進位事件定義的量可能改變。這一主張已有清楚的數學基礎,實驗任務是檢查可視化實作是否忠實保留該區分。
H4(超出已知恆等式的共同軌跡幾何;開放猜想):不同演算法與進位觀察中,是否存在可形式化、可反證、且不只是已知代數恆等式或排版造成的共同幾何模式?目前沒有足夠證據確認這種額外結構存在;不得因為圖形看起來規律就視作成立。
建議的實驗紀錄欄位包括:value_id、radix、layer、operation、input_ids、output_id、event_id、algorithm_id、step_index、path_id、is_external、rewriting_rule_id、layout_mode。其中 radix 與 layout_mode 是觀察參數,不應混入數值主鍵;event_id、path_id 應保留多條歷史而不自動去重。
建議的量化指標包括:給定深度內的共同結果路徑數、可驗證等價重寫比例、跨層事件數、外部暫存比例、進位事件分布,以及在數值固定時跨基底保留的連結或同構性質。每項量測須搭配隨機佈局或替代演算法的對照,才能避免視覺錯覺。
10. 有限正整數與一般實數之間的必要分界
原始研究直覺包含「任意實數在塔樓中運算時都可能呈現明顯的過程軌跡」。本文暫把這個想法保留為更廣泛的表徵猜想,而不把它當作已證實命題。
理由有三:
- 只有 1000 個正整數,無法精確表示所有有理數、負數與無理數。
- 即使是固定有理數,不同演算法和表示精度也可能產生截然不同的中間事件。
- 對未給定有限描述或可計算表示的任意實數,不能保證能產生可窮舉、可實際渲染的精確計算軌跡。
較穩健的擴張方式,是先固定分母與分子界限,對有限有理數取樣建立同樣的事件語義;再依可計算實數、區間演算法或符號代數的實際表示能力擴張,而不先假定所有實數都擁有唯一、可觀測的軌跡。
11. 本篇成立的結論與尚未成立的主張
可直接成立
- – 可以依選定基底分為位值數量級層;十進位具有 的格子數分布。
- 對 , 是正確的參數化恆等式。
- 對 ,重複數位的跨基底對應可以用 表示。
- 在固定正整數乘法域 中,有序運算事件為 7069 組,無序因數對為 3550 組。
- 在固定數值與算術語義下,更改進位表示和排列座標不會改變等式真值。
仍須經由形式化或實驗才能判斷
- 特定塔樓排列是否能穩定揭露跨演算法的非平凡幾何不變量。
- 哪些視覺交會能提升為超越共同結果的「作用—反向約束耦合」。
- 進位表示、演算法選擇與反向約束之間是否存在可量化的新共通結構。
- 連續數域與一般可計算實數的軌跡展示,在何種精度、語法和觀察假設下能成立。
結語
從 出發,真正的研究單位不必停留在 891 這個單一答案。當 、 、 以及其他計算歷史被放進共同的數值格子塔樓,我們可以同時保留運算來源、過程、交會、再作用、進位轉換與內外部邊界。
這套方法的價值,目前最明確的是提供一個不把中間歷史過早消去的觀察語言。如果某些結構在跨基底、跨演算法與跨佈局檢驗後仍然存在,它們才有資格由視覺直覺上升為正式的數學命題。
圖形不創造數值間的關係;它讓我們有機會在同一個視野裡,檢查過去被分開計算的關係。
研究狀態: Paper 01 / v0.1 — 基礎形式化稿;未聲稱新的普遍定理或已完成全域枚舉。
相關實作: Radix_Tower_Coupling_Centered_1-1000_v0.3(既有觀察原型;其線條為受限制的樣本,並非所有可能運算歷史)。