不規則圖形測量方法論 v0.3:同場翻轉消奇、虛擬圓校準與減法拓撲雙讀頭

EVEMISSLAB Logic Matrix · EveMissLab / 一言諾科技有限公司

[認識論邊界宣告 / EPISTEMOLOGICAL DISCLAIMER]

[CHT] 本矩陣內所有論文之公式與數據為「啟發式模擬參數」,用於驗證理論架構與推演因果鏈,未經實證校準,請勿作為現實物理測量數據引用 or 處理。EVEMISSLAB 採行「邏輯先行(Logic-First)」原則:概念架構與系統因果映射優先於統計實證,但不排除未來實證對接。


[ENG] The numerical parameters within these frameworks are illustrative model coefficients used for structural verification and causal mapping; they are not empirically calibrated and must not be treated as physical measurements. This matrix operates on a Logic-First principle: conceptual architecture and causal mapping take precedence over statistical empiricism, without precluding future empirical reconciliation.

不規則圖形測量方法論 v0.3:同場翻轉消奇、虛擬圓校準與減法拓撲雙讀頭

文件編號:EML-MEAS-IRREG-2026-v0.3 提出者/方法擁有者:Neo.K(許筌崴) 理論結晶化協作:Aletheia 嚴格審查與架構推進:Theia 版本性質:v0.3 重構稿;由 DCV v0.1、SFM/DMR v0.2、測量層補全 completion v0.1、減法拓撲學 v3.2 接續形成 核心命名:Same-Field Flip Cancellation(SFFC);同場翻轉消奇測積法 母架構:虛擬圓校準、總量式物理讀頭、矩譜讀頭、持續同調條碼讀頭、減法拓撲 V 軌/拓樸微積分 d 軌


v0.3 重構聲明

v0.1 的核心是雙環體積消矩:把平面不規則圖形繞左右對稱外軸旋轉,利用

\[ V_L=2\pi(RA+M_x),\qquad V_R=2\pi(RA-M_x) \]

得到

\[ A=\frac{V_L+V_R}{4\pi R} \]

這個代數結構正確,但數位驗證若先用遮罩求 \(A,M_x\),再合成 \(V_L,V_R\),再回推 \(A\),只能證明 \(A=A\)。因此 v0.1 的弱點不是公式錯,而是把「計算」與「測量」混成一件事。

v0.2 將方法翻成「對稱場消矩」:用兩個互補場

\[ w_+(x,y)=a+b_xx+b_yy,\qquad w_-(x,y)=a-b_xx-b_yy \]

讓一階矩污染相消,得到

\[ A=\frac{Q_++Q_-}{2a} \]

這一步修正了定位:數位版降為 sanity check,非成像總量式類比場量測升為方法本體。但 v0.2 仍留下四個問題:

  1. 若互補場必須被精確設計,則「兩場和為均勻」不比做平場更便宜;
  2. 總量式非成像儀器對洞與拓撲全盲,只能讀淨面積;
  3. 一階消矩其實是更一般的宇稱濾波:奇次場污染可被翻轉抵消,偶次污染不能;
  4. 公式仍掛著裸 \(a\),沒有把虛擬圓校準塞入 Kernel。

v0.3 因此進一步重構。核心不再是「設計兩個互補場」,而是:

使用同一個可能不完美的物理場,對同一樣品做 0° 與 180° 翻轉量測。場不需要被精確補償;翻轉使樣品座標中的奇次項改號,兩次讀數相加後奇次污染自動消失。

這就是「同場翻轉消奇」。它不是雙場互補,而是單場對稱;不是用校準製造互補,而是用幾何翻面取得互補。其真正能力與真正限制同時變得清楚:

因此 v0.3 的主題不是「用一台儀器解決所有不規則圖形問題」,而是建立一個誠實的雙讀頭架構:

  1. 總量式物理讀頭:同場翻轉消奇 + 虛擬圓校準,讀出淨面積與低階矩;
  2. 形狀指紋讀頭:數位遮罩 + 矩譜 + 持續同調條碼,讀出洞、連通性與拓撲變化。

面積是 \(M_{00}\),是最低階也最廉價的量;拓撲是 richness,需要眼睛,不是單一總量感測器能白拿的東西。


摘要

本文提出不規則圖形測量方法論 v0.3。其核心修正是:將早期雙環旋轉體與雙場互補測量,重構為「同場翻轉消奇」與「雙讀頭架構」。對於非成像、總量式物理量測場景,一個不完美場 \(w(x,y)\) 對不規則區域 \(D\) 的總量讀數為

\[ Q=\int_D w(x,y)\,dA \]

若場含有一階梯度或其他奇次不均,單次讀數會混入質心與高階奇矩。v0.2 試圖用兩個互補場抵消該污染;v0.3 則指出,更經濟且更根本的做法是使用同一個場,將樣品繞場的對稱中心翻轉 \(180^\circ\),得到兩次讀數:

\[ Q^{(0)}=\int_D w(x,y)\,dA \]

\[ Q^{(\pi)}=\int_D w(-x,-y)\,dA \]

將場分解為偶部與奇部:

\[ w=w_{\mathrm{even}}+w_{\mathrm{odd}} \]

則兩次相加:

\[ Q^{(0)}+Q^{(\pi)} = 2\int_D w_{\mathrm{even}}(x,y)\,dA \]

奇部完全抵消,偶部保留。若偶部近似常數,或偶次殘差可忽略/可校正,則淨面積可由圓標準件校準得到:

\[ A_D = \pi r^2\cdot \frac{Q_D^{(0)}+Q_D^{(\pi)}} {Q_C^{(0)}+Q_C^{(\pi)}} \]

其中 \(C\) 是半徑 \(r\) 的圓孔徑標準件。此比值公式消除了光源強度、感測器增益與常數場尺度,使虛擬圓不只是幾何外接證人,也是測量 Kernel 的校準錨。

本文同時明確指出總量式非成像測量的不可避免限制:它只能讀取淨量,無法辨識洞、連通分量與拓撲差異。同淨面積但不同洞數的圖形,可在總量式面積讀頭下不可區分。因此,若目標包含洞、連通性與形狀 richness,必須啟用第二讀頭:數位遮罩、矩譜與持續同調條碼。這形成「一次圖形,兩本帳」:物理讀頭讀 \(M_{00}\) 與低階矩;拓撲讀頭讀 \(H_0,H_1\) 的生滅結構。

本文最終將方法接入減法拓撲學:虛擬圓作為 \(K_0\),未知圖形作為從圓出發的減法軌跡中間態;V 軌負責真測量、真耗損、真終止;d 軌負責快照、視圖與可逆保存。測量方法論因此不再追求單一儀器同時獲得淨量與拓撲,而是誠實地分配讀頭:廉價純量由總量式對稱讀頭取得,拓撲 richness 由成像/計算讀頭取得。


關鍵詞

不規則圖形、非成像測量、總量式感測、同場翻轉、宇稱濾波、消奇、虛擬圓校準、淨面積、矩譜、持續同調、條碼、減法拓撲、V 軌、d 軌、形狀指紋、拓撲盲性、SFFC、DCV、SFM、DMR。


1. 問題總分裂:淨量的經濟性 vs 拓撲的 richness

不規則圖形方法論之所以反覆變形,是因為「求面積」這句話掩蓋了兩個不同問題。

第一個問題是廉價淨量問題:

我不想知道形狀長什麼樣,只想知道內容區的淨面積是多少。

第二個問題是形狀 richness 問題:

我不只想知道有多少,還想知道洞在哪裡、洞有幾個、連通分量如何變化、形狀是否相似。

兩個問題看起來相近,但資料需求完全不同。廉價淨量可以由單一總量式感測器取得;拓撲 richness 必須取得空間分布。前者是純量讀頭,後者是視覺/拓撲讀頭。若把兩者混成同一個目標,就會造成錯誤期待:希望一台沒有空間解析的儀器看見洞,希望一個總量數字攜帶拓撲條碼,希望一個面積公式同時變成形狀理解。

v0.3 的第一原則是:

淨量的經濟性與拓撲的 richness 不能由同一個單一總量讀頭同時免費取得。

若選擇總量式非成像測量,得到的是淨面積、低階矩或少量投影資訊;若選擇形狀指紋,必須付出成像、遮罩、掃描或計算成本。方法論的任務不是把這兩者硬合併,而是建立分工。


2. 兩種輸入:可枚舉表示與不可枚舉實物

2.1 可枚舉表示:計算,不是測量

若圖形已經以數位遮罩、像素集合、SVG、多邊形或可判定函數給出,則我們擁有的是可枚舉表示。此時面積

\[ A=\sum_{i\in D}\Delta A \]

幾乎是免費的。任何再透過加權場、旋轉體、雙環體積回推面積的操作,都不是更有效的測量,而是表示轉換。

這不是壞事,但必須誠實命名。數位版的價值不在「再次求得面積」,而在把圖形轉成更高階特徵:

\[ D\longmapsto \{M_{ij}\}\oplus\mathrm{Barcode}(H_0,H_1,\ldots) \]

也就是矩譜與條碼。面積只是

\[ M_{00} \]

是最低階、最退化的一格。像素法能給面積,但不能直接給整套形狀指紋。數位版因此不是測量層,而是形狀表示層。

2.2 不可枚舉實物:測量成立之處

真正的測量發生在圖形不是以完整遮罩給出時。例如:

  1. 一個真實孔洞;
  2. 一片遮罩;
  3. 一個高速通過產線的開口;
  4. 一個不易成像的微孔;
  5. 一個只能透過總量訊號讀出的實物區域;
  6. 一個邊界非常毛、但內部物理響應可積分的物件。

此時儀器不「知道」圖形,只能取得某種物理純量:

\[ Q=\int_D w(x,y)\,dA \]

若能由 \(Q\) 或少數 \(Q_k\) 恢復 \(A\),且 \(Q_k\) 的取得不預設逐點枚舉,那才是非循環測量。


3. 虛擬圓:不是座標系,而是三重錨

虛擬圓在 v0.3 中被塞入 Kernel,不再只是附錄校準。

3.1 外接證人

任意有界不規則圖形 \(D\) 都可以被某個圓包住。取半徑 \(r\) 的外接圓 \(C\),即可保證存在一個乾淨參照域。這裡的圓不是用來做徑向座標;它只是證明圖形有界、可被安置在一個已知幾何容器中。

必須避免錯誤版本:

圓包住圖形,不代表圖形可被單值 \(r(\theta)\) 表示。

非星形、凹陷、多洞、鋸齒圖形都會讓徑向描述崩潰。圓的功能不是座標化,而是見證與校準。

3.2 校準標準件

圓面積解析已知:

\[ A_C=\pi r^2 \]

當同一儀器對圓標準件取得讀數時,該讀數可作為尺度錨。這使未知圖形的面積可由比值取得,而不必知道絕對光強、增益、單位轉換係數。

3.3 減法 \(K_0\)

在減法拓撲讀法中,虛擬圓 \(C\) 是完整起點:

\[ K_0=C \]

未知圖形是從圓出發、經過某種移除/遮蔽/減法後得到的中間態。這不是說實物必須真的由圓切出,而是方法論上可以用圓作為滿秩參照。

因此,圓在 v0.3 具有三重職能:

\[ \text{Virtual Circle} = \text{External Witness} \oplus \text{Calibration Standard} \oplus K_0 \]


4. 同場翻轉消奇:核心測量原理

4.1 基本設定

令 \(D\subset\mathbb R^2\) 為不規則區域。儀器提供一個固定物理場:

\[ w(x,y) \]

總量讀數為:

\[ Q_D^{(0)}=\int_D w(x,y)\,dA \]

現在不改變場,只將樣品繞場的對稱中心翻轉 \(180^\circ\)。在樣品座標中,等效為:

\[ (x,y)\mapsto(-x,-y) \]

第二次讀數為:

\[ Q_D^{(\pi)}=\int_D w(-x,-y)\,dA \]

這裡的關鍵是:兩次量測使用同一個場、同一個光源、同一個感測器、同一個增益。互補性不是透過場設計取得,而是透過幾何翻轉取得。

4.2 偶奇分解

任何足夠正則的場都可分解成相對翻轉的偶部與奇部:

\[ w_{\mathrm{even}}(x,y)=\frac{w(x,y)+w(-x,-y)}{2} \]

\[ w_{\mathrm{odd}}(x,y)=\frac{w(x,y)-w(-x,-y)}{2} \]

因此:

\[ w=w_{\mathrm{even}}+w_{\mathrm{odd}} \]

且:

\[ w_{\mathrm{even}}(-x,-y)=w_{\mathrm{even}}(x,y) \]

\[ w_{\mathrm{odd}}(-x,-y)=-w_{\mathrm{odd}}(x,y) \]

兩次讀數相加:

\[ Q_D^{(0)}+Q_D^{(\pi)} = \int_D[w(x,y)+w(-x,-y)]dA \]

\[ = 2\int_Dw_{\mathrm{even}}(x,y)dA \]

兩次讀數相減:

\[ Q_D^{(0)}-Q_D^{(\pi)} = 2\int_Dw_{\mathrm{odd}}(x,y)dA \]

因此,翻轉和讀數是偶部濾波,翻轉差讀數是奇部濾波。

4.3 一維多項式例子

若場沿 \(x\) 方向展開:

\[ w(x)=a+b x+c x^2+d x^3+e x^4+\cdots \]

則原姿態讀數:

\[ Q^{(0)} = aM_0+bM_1+cM_2+dM_3+eM_4+\cdots \]

翻面讀數:

\[ Q^{(\pi)} = aM_0-bM_1+cM_2-dM_3+eM_4-\cdots \]

相加:

\[ Q^{(0)}+Q^{(\pi)} = 2aM_0+2cM_2+2eM_4+\cdots \]

相減:

\[ Q^{(0)}-Q^{(\pi)} = 2bM_1+2dM_3+\cdots \]

其中:

\[ M_k=\int_Dx^k\,dA \]

面積是:

\[ M_0=A \]

所以同場翻轉可以精確消去所有奇次污染,但所有偶次污染仍與面積同路保留。

這就是 v0.3 的核心定理:

同場翻轉是宇稱濾波器:它免費清掉奇次污染,永遠放行偶次污染。

5. 虛擬圓校準比值定理

5.1 理想常偶部情況

若翻轉後的偶部近似為常數:

\[ w_{\mathrm{even}}(x,y)\approx a \]

則:

\[ Q_D^{(0)}+Q_D^{(\pi)} = 2aA_D \]

對半徑 \(r\) 的圓標準件 \(C\):

\[ Q_C^{(0)}+Q_C^{(\pi)} = 2aA_C = 2a\pi r^2 \]

兩者相除:

\[ \frac{Q_D^{(0)}+Q_D^{(\pi)}}{Q_C^{(0)}+Q_C^{(\pi)}} = \frac{A_D}{\pi r^2} \]

故:

\[ \boxed{ A_D = \pi r^2\cdot \frac{Q_D^{(0)}+Q_D^{(\pi)}} {Q_C^{(0)}+Q_C^{(\pi)}} } \]

這是 v0.3 的面積反推主公式。它不含裸 \(a\),也不含感測器增益。所有共同比例因子都被圓標準件比值消掉。

5.2 非理想偶部情況

若偶部不是常數,而是:

\[ w_{\mathrm{even}}(x,y)=a+\eta_{\mathrm{even}}(x,y) \]

則未知圖形讀數和為:

\[ S_D=Q_D^{(0)}+Q_D^{(\pi)} = 2aA_D+2\int_D\eta_{\mathrm{even}}(x,y)dA \]

圓標準件讀數和為:

\[ S_C=2aA_C+2\int_C\eta_{\mathrm{even}}(x,y)dA \]

此時比值估計:

\[ \hat A_D=A_C\frac{S_D}{S_C} \]

不一定等於真面積 \(A_D\),因為未知圖形與圓標準件對偶次殘差的矩不同。

若 \(\eta_{\mathrm{even}}\) 主要為二階項:

\[ \eta_{\mathrm{even}}=c_{xx}x^2+c_{yy}y^2+c_{xy}xy \]

則誤差與二階矩差異相關。換言之,圓校準可以消共同增益與常項,但不能神奇消去所有偶次場曲率。

因此主公式的有效條件必須誠實寫成:

在場偶部近似常數,或偶次殘差相對面積項可忽略,或偶次殘差已被獨立校正時,圓校準比值公式成立。

5.3 儀器自校準意義

即使存在偶次殘差,圓校準仍有價值。它至少消掉:

  1. 感測器增益;
  2. 光源整體亮度;
  3. 曝光時間比例;
  4. 常數場尺度;
  5. 共同單位轉換因子。

這使儀器不需要絕對標定,只需要相對標準件。此處虛擬圓從哲學與幾何符號,落地成真正的儀器校準錨。


6. 精確射程:奇次免費,偶次要錢

6.1 翻轉能免費消掉的東西

同場翻轉可消掉任何相對翻轉為奇的場污染。例如:

\[ x,\ y,\ x^3,\ x^2y,\ xy^2,\ y^3,\ldots \]

在實驗語言中,這包括:

  1. 一階光強梯度;
  2. 感測器左右靈敏度斜坡;
  3. 樣品質心偏移造成的讀數偏差;
  4. 某些反對稱照明不均;
  5. 奇次空間誤差。

這是方法的真正 niche:不是做平場,而是避免為奇次髒污做平場。只要翻轉軸與場對稱中心對準,奇次污染自動抵消。

6.2 翻轉不能免費消掉的東西

同場翻轉不能消掉偶次污染,例如:

\[ x^2,\ y^2,\ xy,\ x^4,\ldots \]

這些項在翻轉後符號不變,會與面積項一起留在和讀數裡。若偶次污染顯著,單靠翻轉不能分離面積與二階矩。需要第三個把手:

  1. 額外場;
  2. 已知場曲率;
  3. 多標準件校準;
  4. 空間成像;
  5. 二階矩先驗;
  6. 樣品旋轉多角度量測;
  7. 真正平場或近似平場。

6.3 射程定律

可將方法射程寫成:

\[ \text{SFFC removes odd contamination and preserves even response.} \]

中文:

同場翻轉消奇法能消奇,不消偶。

更正式地說:

\[ S_D=Q_D^{(0)}+Q_D^{(\pi)} = 2\int_Dw_{\mathrm{even}}dA \]

\[ w_{\mathrm{even}}=a \]

\[ S_D=2aA_D \]

\[ w_{\mathrm{even}}=a+\eta_{\mathrm{even}} \]

\[ S_D=2aA_D+2\int_D\eta_{\mathrm{even}}dA \]

所以方法的精確性取決於偶部是否可視為常數或可校正。


7. 拓撲盲性定理:總量讀頭看不見洞

7.1 面積讀頭只讀淨量

若一個總量式儀器只輸出

\[ Q=\int_Dw(x,y)dA \]

且 \(w\) 為常數或只用於面積讀出,那麼它看見的是淨內容區。洞若不透光,它只是沒有貢獻;洞若是背景,它只是被扣掉。儀器不會知道那個缺失區是一個洞、兩個洞、裂縫,還是外部邊界的一部分。

因此,洞在總量式讀頭中不是「被理解」,而是「被積分吃掉」。

7.2 不可區分性例子

設 \(D_1\) 為一個實心圓,面積為 \(A\)。設 \(D_2\) 為一個外圓扣掉內洞的環形區域,調整半徑使其淨面積同樣為 \(A\)。若量測場近似常數,則:

\[ Q(D_1)=aA \]

\[ Q(D_2)=aA \]

總量式面積讀頭無法分辨:

\[ H_1(D_1)=0 \]

\[ H_1(D_2)=1 \]

也就是無法分辨「無洞」與「有洞」。

7.3 拓撲盲性定理

定理(總量式面積讀頭的拓撲盲性): 只輸出有限個無空間解析總量讀數的儀器,若其讀數只依賴有限組加權積分

\[ Q_k=\int_Dw_k(x,y)dA \]

則它至多分辨這些權重場張成的矩資訊。對不在該有限矩空間中表達的拓撲差異,儀器不可見。特別地,單一面積讀頭不能唯一決定洞數、連通分量與持續同調條碼。

這不是缺陷,而是資訊論邊界。想要洞,就需要空間解析或足夠多的獨立場族;想要便宜純量,就必須放棄拓撲 richness。


8. 雙讀頭架構:一次圖形,兩本帳

v0.3 最終採用雙讀頭架構。

8.1 讀頭一:總量式物理讀頭

輸入:真實物件、孔洞、遮罩、不可枚舉區域。 操作:同場翻轉、圓校準、總量讀數。 輸出:

\[ M_{00}=A \]

以及在特定場設計下的低階矩投影。 優勢:非成像、低資料量、不追邊界、可抗奇次髒場。 限制:拓撲全盲,偶次殘差需額外處理。

8.2 讀頭二:形狀指紋讀頭

輸入:掃描、影像、遮罩、邊界、多邊形、可枚舉表示。 操作:

  1. 像素/網格積分;
  2. 幾何矩計算;
  3. 持續同調;
  4. 減法過濾;
  5. 條碼讀取。

輸出:

\[ \{M_{ij}\}\oplus\mathrm{Barcode}(H_0,H_1,\ldots) \]

優勢:能讀洞、連通性、形狀變化、拓撲指紋。 限制:需要空間資料;不是廉價純量測量。

8.3 分工原則

| 目標 | 使用讀頭 | 可得結果 | 代價 | |---|---|---|---| | 只要淨面積 | 總量式物理讀頭 | \(M_{00}\) | 不看形狀 | | 要抗一階髒場 | 同場翻轉讀頭 | 奇次污染抵消 | 需翻轉對準 | | 要洞與連通性 | 形狀指紋讀頭 | \(H_0,H_1\) 條碼 | 需成像/遮罩 | | 要完整比較 | 雙讀頭 | 面積 + 矩譜 + 條碼 | 儀器與計算並用 |


9. 接入減法拓撲:圓、軌跡、兩本帳

9.1 圓作為 \(K_0\)

在減法拓撲讀法中,虛擬圓 \(C\) 是完整起點:

\[ K_0=C \]

未知圖形 \(D\) 可視為從圓中減去某些部分後的呈現態:

\[ D=C\setminus S \]

面積關係:

\[ A(D)=\pi r^2-A(S) \]

但這只是度量層寫法;拓撲層更關心的是減法過程中連通分量與洞如何出生、死亡。

9.2 V 軌:真測量、真耗損

V 軌是真刪、真耗損、真收斂。若用物理讀頭測量孔洞或遮罩,其本質是讓物理基底替你積分內容區。這條路可非循環地取得面積純量,但它犧牲形狀資訊。

9.3 d 軌:快照、視圖、可逆保存

若目標是可重測、可回看、可讀洞與條碼,必須先做 d 軌快照:拍照、掃描、建立遮罩、生成視圖。此時本體不被刪除,呈現層可供計算。

d 軌不是測量的敵人,而是拓撲 richness 的前提。沒有 d 軌,就沒有條碼。

9.4 一次毀滅,兩本帳

完整工作流可以是:

  1. 用 d 軌取得圖形快照;
  2. 用形狀指紋讀頭算矩譜與條碼;
  3. 用 V 軌物理讀頭做非循環總量測量;
  4. 用圓標準件將物理讀數轉成淨面積;
  5. 交叉比較 \(M_{00}\) 與物理面積;
  6. 把差異歸因於場偶次殘差、遮罩誤差、材料不均或拓撲表示差異。

這不是一台儀器包辦全部,而是兩本帳互相校對。


10. 非循環驗證標準 v0.3

10.1 無效驗證

以下仍是無效驗證:

  1. 從遮罩算出 \(A\);
  2. 從遮罩算出 \(M_x\);
  3. 合成 \(Q\);
  4. 再回推 \(A\)。

此流程只驗證代數恆等式。

10.2 弱驗證

以下是弱驗證:

  1. 從遮罩逐像素積分 \(Q^{(0)},Q^{(\pi)}\);
  2. 用翻轉公式回推;
  3. 與像素面積比較。

此流程可測程式實作,但不能證明測量價值,因為遮罩已經含有面積。

10.3 有效物理驗證

有效驗證必須滿足:

  1. \(Q_D^{(0)},Q_D^{(\pi)}\) 由獨立物理讀數取得;
  2. 未知樣品的主流程不使用遮罩面積;
  3. 圓標準件讀數獨立取得;
  4. 背景與暗訊號扣除;
  5. 翻轉軸與場中心對準;
  6. 用外部方法,如成像或秤重,作事後真值比較;
  7. 報告偶次殘差與拓撲盲性。

10.4 核心展示實驗

最小展示應該不是「未知面積回推準」,而是以下三件事同時成立:

  1. 單次讀數隨樣品左右偏移而改變;
  2. 翻轉和讀數對奇次偏移不敏感;
  3. 同淨面積不同洞數的圖形在總量讀頭下不可區分,但在條碼讀頭下可區分。

這三件事才能展示 v0.3 的完整精神:它既有力量,也有邊界。


11. 儀器草案:同場翻轉圓校準孔徑儀

11.1 裝置

  1. 固定光源或任意穩定但不完美的髒場;
  2. 樣品座;
  3. 可重複定位的 180° 翻轉機構;
  4. 圓孔徑標準件;
  5. 單一積分式光偵測器;
  6. 暗箱;
  7. 背景扣除流程。

11.2 測量流程

  1. 放入圓標準件 \(C\);
  2. 量 \(Q_C^{(0)}\);
  3. 翻轉圓標準件,量 \(Q_C^{(\pi)}\);
  4. 放入未知樣品 \(D\);
  5. 量 \(Q_D^{(0)}\);
  6. 翻轉未知樣品,量 \(Q_D^{(\pi)}\);
  7. 扣除背景;
  8. 計算:

\[ A_D = \pi r^2\cdot \frac{Q_D^{(0)}+Q_D^{(\pi)}} {Q_C^{(0)}+Q_C^{(\pi)}} \]

  1. 若有成像讀頭,計算條碼與矩譜作第二本帳。

11.3 儀器 niche

這台儀器的 niche 不是打敗所有相機,而是以下窄場景:

  1. 不要求形狀,只要求淨開口面積;
  2. 成像太慢、太貴、太髒或不可行;
  3. 光場存在奇次髒污或位置梯度;
  4. 樣品可被精準翻轉;
  5. 偶次場殘差可忽略或可用標準件校正;
  6. 產線只需要合格/不合格或淨面積數值。

若這六項不成立,應回到像素法、秤重法、平場光通量法或形狀指紋讀頭。


12. 誤差模型

12.1 背景誤差

讀數包含背景:

\[ S=Q+B \]

需扣除:

\[ Q=S-B \]

翻轉和讀數背景誤差:

\[ \Delta A_B = A_C\frac{\Delta B_D}{S_C} \]

其中 \(\Delta B_D\) 是未知樣品兩次背景扣除和的誤差。

12.2 翻轉定位誤差

若翻轉不是精確 \(180^\circ\),或樣品中心與場中心不重合,奇次抵消不完全。設殘留奇次項為 \(\epsilon_{\mathrm{odd}}\),則:

\[ S_D=2\int_Dw_{\mathrm{even}}dA+\epsilon_{\mathrm{odd}} \]

面積偏差:

\[ \Delta A_{\mathrm{odd}} \approx A_C\frac{\epsilon_{\mathrm{odd}}}{S_C} \]

12.3 偶次殘差誤差

偶次殘差為:

\[ \eta_{\mathrm{even}}(x,y) \]

則:

\[ S_D=2aA_D+2E_D \]

\[ E_D=\int_D\eta_{\mathrm{even}}dA \]

圓標準件:

\[ S_C=2aA_C+2E_C \]

比值估計的一階近似:

\[ \hat A_D \approx A_D + \frac{E_D}{a} - A_D\frac{E_C}{aA_C} \]

因此誤差由未知樣品與圓標準件的偶次殘差平均差決定:

\[ \Delta A_{\mathrm{even}} \approx \frac{1}{a}\left(E_D-A_D\frac{E_C}{A_C}\right) \]

若兩者在偶次場中的平均響應相同,誤差可抵消;若形狀二階矩差很大,誤差顯著。

12.4 感測器非線性

若感測器輸出:

\[ S=f(Q) \]

而非線性,則加法不成立。必須在感測器線性區運作,或先做反函數校正。

12.5 樣品物性差異

若不同區域透光率不是 0/1,而是 \(\tau(x,y)\),讀數變為:

\[ Q=\int_D \tau(x,y)w(x,y)dA \]

此時測到的是加權有效面積,不是幾何面積。必須校正材料均勻性或明確改稱「有效透光面積」。


13. 方法比較表

| 方法 | 是否成像 | 是否看洞 | 是否抗奇次髒場 | 是否抗偶次髒場 | 交付物 | |---|---:|---:|---:|---:|---| | 像素法 | 是 | 是 | 不相關 | 不相關 | 面積、遮罩 | | 秤重法 | 否 | 否 | 是 | 是 | 淨質量面積 | | 平場光通量法 | 否 | 否 | 需平場 | 需平場 | 淨面積 | | v0.2 雙場互補 | 否 | 否 | 是 | 視設計而定 | 淨面積 | | v0.3 同場翻轉 | 否 | 否 | 是,免費 | 否,需額外把手 | 淨面積 | | 形狀指紋讀頭 | 是 | 是 | 不相關 | 不相關 | 矩譜 ⊕ 條碼 | | 雙讀頭架構 | 部分 | 是 | 是 | 可校正 | 面積 + 指紋 |


14. 定理集

定理 1:翻轉消奇定理

設固定場 \(w\) 可分解為相對翻轉的偶部與奇部:

\[ w=w_e+w_o \]

同一區域 \(D\) 在 0° 與 180° 翻轉下的讀數為:

\[ Q^{(0)}=\int_Dw(x,y)dA \]

\[ Q^{(\pi)}=\int_Dw(-x,-y)dA \]

則:

\[ Q^{(0)}+Q^{(\pi)}=2\int_Dw_e(x,y)dA \]

\[ Q^{(0)}-Q^{(\pi)}=2\int_Dw_o(x,y)dA \]

故奇部在和讀數中抵消,偶部保留。

定理 2:圓校準比值定理

若 \(w_e(x,y)=a\) 或偶次殘差可忽略,則對未知區域 \(D\) 與半徑 \(r\) 的圓標準件 \(C\):

\[ A_D = \pi r^2 \frac{Q_D^{(0)}+Q_D^{(\pi)}} {Q_C^{(0)}+Q_C^{(\pi)}} \]

定理 3:拓撲盲性定理

單一或有限個總量式加權積分讀頭,若無空間解析,不能唯一決定圖形拓撲。尤其面積讀頭不能分辨同淨面積但不同 \(H_1\) 的圖形。

定理 4:雙讀頭分工原則

淨面積可由物理總量讀頭非循環取得;拓撲 richness 必須由空間表示讀頭取得。二者可互校,但不可由單一總量純量互相替代。


15. v0.1 → v0.2 → v0.3 對照

| 版本 | 主體 | 真正問題 | 修正 | |---|---|---|---| | v0.1 DCV | 雙環旋轉體 | 數位驗證循環 | 降為幾何展示 | | v0.2 SFM/DMR | 雙互補場 | 互補場設計成本高、拓撲盲未明寫 | 改同場翻轉 | | v0.3 SFFC | 同場翻轉 + 圓校準 + 雙讀頭 | 承認偶次殘差與拓撲盲性 | 成為誠實方法論 |


16. 最終方法論:選路表

16.1 只要淨面積,且可剪下/秤重

用秤重法。不要用複雜儀器。

16.2 只要淨面積,且可成像

用像素法。不要繞路。

16.3 只要淨面積,不能成像,場有奇次髒污,可翻轉

用 v0.3 同場翻轉消奇 + 圓校準。

16.4 要洞、連通分量、形狀比較

用成像/遮罩/持續同調。不要期待總量讀頭看見洞。

16.5 要完整研究級資料

用雙讀頭:

\[ \text{Physical Net Area} \oplus \text{Moment Spectrum} \oplus \text{Persistent Homology Barcode} \]


17. 哲學結語:一把刀與一雙眼睛

同場翻轉消奇是一把刀。它鋒利、便宜、乾淨,但它只會切一件事:奇與偶。它能把偏心、梯度、反對稱髒污切掉,留下淨量。但它不會看形狀,也不會理解洞。

拓撲讀頭是一雙眼睛。它慢、重、需要成像與計算,但它能看見洞、連通性、生滅與形狀差異。

v0.3 的成熟,不是宣稱刀可以代替眼睛,而是承認刀與眼睛各自有職責。面積是偶的,質心是奇的;洞不是偶也不是奇,洞是拓撲。用對稱能殺掉偏,卻不能生出視覺。若只要「有多少」,刀足夠;若要「長什麼樣」,必須睜眼。

因此,不規則圖形測量的完整架構不是單一公式,而是一個選擇器:

\[ \text{Need net scalar? Use physical symmetry.} \]

\[ \text{Need topology? Use representation and barcode.} \]

\[ \text{Need both? Use two readheads and keep two accounts.} \]


附錄 A:最小公式集

翻轉偶奇分解:

\[ w_e(x,y)=\frac{w(x,y)+w(-x,-y)}{2} \]

\[ w_o(x,y)=\frac{w(x,y)-w(-x,-y)}{2} \]

讀數:

\[ Q_D^{(0)}=\int_Dw(x,y)dA \]

\[ Q_D^{(\pi)}=\int_Dw(-x,-y)dA \]

和:

\[ Q_D^{(0)}+Q_D^{(\pi)} = 2\int_Dw_e(x,y)dA \]

差:

\[ Q_D^{(0)}-Q_D^{(\pi)} = 2\int_Dw_o(x,y)dA \]

理想面積反推:

\[ A_D = \pi r^2 \frac{Q_D^{(0)}+Q_D^{(\pi)}} {Q_C^{(0)}+Q_C^{(\pi)}} \]

偶次殘差:

\[ \Delta A_{\mathrm{even}} \approx \frac{1}{a}\left(E_D-A_D\frac{E_C}{A_C}\right) \]

形狀指紋:

\[ D\mapsto \{M_{ij}\}\oplus\mathrm{Barcode}(H_0,H_1,\ldots) \]


附錄 B:非循環實驗偽代碼

Input:
    Unknown aperture D
    Circular calibration aperture C with known radius r
    Fixed physical field w
    Total-response sensor Sensor
    Flip mount providing 0° and 180° orientations

Background:
    B0  = Sensor(empty, orientation=0)
    Bpi = Sensor(empty, orientation=pi)

Calibration:
    C0  = Sensor(C, orientation=0)  - B0
    Cpi = Sensor(C, orientation=pi) - Bpi
    S_C = C0 + Cpi

Unknown:
    D0  = Sensor(D, orientation=0)  - B0
    Dpi = Sensor(D, orientation=pi) - Bpi
    S_D = D0 + Dpi

Estimate:
    A_D = pi * r^2 * S_D / S_C

Validation:
    Use imaging or weighing only after the estimate.
    Report odd cancellation, even residual, and topology blindness.

附錄 C:一句話版本

同場翻轉消奇測積法不是讓兩個場彼此補償,而是讓同一個髒場照同一個樣品的正反兩面;翻轉消掉奇次污染,圓標準件給出尺度,總量讀頭吐出淨面積,而洞與形狀則交給另一隻眼睛——矩譜與條碼。


附錄 D:版本註記

v0.3 對 v0.2 的主要修改:

  1. 將雙場互補改為同場翻轉;
  2. 將互補性從「設計要求」改為「對稱操作」;
  3. 將虛擬圓校準寫入 Kernel;
  4. 將奇偶宇稱濾波寫成核心定理;
  5. 明確承認偶次殘差不可免費消除;
  6. 明確承認總量式非成像讀頭拓撲全盲;
  7. 建立雙讀頭架構;
  8. 接入減法拓撲 V 軌/d 軌語義;
  9. 把「面積」降為 \(M_{00}\),把完整目標升級為淨量與形狀指紋的分工。

後續 v0.4 可補:

  1. 同場翻轉的數值模擬;
  2. 偶次殘差的校正模型;
  3. 多角度翻轉/旋轉場族;
  4. 實驗光路圖;
  5. 標準件族:圓、環、矩形、多孔板;
  6. 形狀指紋讀頭的 Python/Lean 接口;
  7. 與減法拓撲 v3.2 的正式接口章。
原始檔(供 RAG/下載):/raw/lm-000233.md [md] · id: lm-000233