不規則圖形測量方法論 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 仍留下四個問題:
- 若互補場必須被精確設計,則「兩場和為均勻」不比做平場更便宜;
- 總量式非成像儀器對洞與拓撲全盲,只能讀淨面積;
- 一階消矩其實是更一般的宇稱濾波:奇次場污染可被翻轉抵消,偶次污染不能;
- 公式仍掛著裸 \(a\),沒有把虛擬圓校準塞入 Kernel。
v0.3 因此進一步重構。核心不再是「設計兩個互補場」,而是:
使用同一個可能不完美的物理場,對同一樣品做 0° 與 180° 翻轉量測。場不需要被精確補償;翻轉使樣品座標中的奇次項改號,兩次讀數相加後奇次污染自動消失。
這就是「同場翻轉消奇」。它不是雙場互補,而是單場對稱;不是用校準製造互補,而是用幾何翻面取得互補。其真正能力與真正限制同時變得清楚:
- 它能廉價消掉奇次污染,例如質心偏移、一階梯度、三階不對稱;
- 它不能靠同一把刀消掉偶次污染,例如二階場曲率;
- 它能量的是淨面積與部分矩資訊;
- 它看不見洞、看不見連通分量、看不見拓撲;
- 若要洞與拓撲,必須啟用第二讀頭:成像/遮罩/持續同調條碼。
因此 v0.3 的主題不是「用一台儀器解決所有不規則圖形問題」,而是建立一個誠實的雙讀頭架構:
- 總量式物理讀頭:同場翻轉消奇 + 虛擬圓校準,讀出淨面積與低階矩;
- 形狀指紋讀頭:數位遮罩 + 矩譜 + 持續同調條碼,讀出洞、連通性與拓撲變化。
面積是 \(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 不可枚舉實物:測量成立之處
真正的測量發生在圖形不是以完整遮罩給出時。例如:
- 一個真實孔洞;
- 一片遮罩;
- 一個高速通過產線的開口;
- 一個不易成像的微孔;
- 一個只能透過總量訊號讀出的實物區域;
- 一個邊界非常毛、但內部物理響應可積分的物件。
此時儀器不「知道」圖形,只能取得某種物理純量:
\[ 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 儀器自校準意義
即使存在偶次殘差,圓校準仍有價值。它至少消掉:
- 感測器增益;
- 光源整體亮度;
- 曝光時間比例;
- 常數場尺度;
- 共同單位轉換因子。
這使儀器不需要絕對標定,只需要相對標準件。此處虛擬圓從哲學與幾何符號,落地成真正的儀器校準錨。
6. 精確射程:奇次免費,偶次要錢
6.1 翻轉能免費消掉的東西
同場翻轉可消掉任何相對翻轉為奇的場污染。例如:
\[ x,\ y,\ x^3,\ x^2y,\ xy^2,\ y^3,\ldots \]
在實驗語言中,這包括:
- 一階光強梯度;
- 感測器左右靈敏度斜坡;
- 樣品質心偏移造成的讀數偏差;
- 某些反對稱照明不均;
- 奇次空間誤差。
這是方法的真正 niche:不是做平場,而是避免為奇次髒污做平場。只要翻轉軸與場對稱中心對準,奇次污染自動抵消。
6.2 翻轉不能免費消掉的東西
同場翻轉不能消掉偶次污染,例如:
\[ x^2,\ y^2,\ xy,\ x^4,\ldots \]
這些項在翻轉後符號不變,會與面積項一起留在和讀數裡。若偶次污染顯著,單靠翻轉不能分離面積與二階矩。需要第三個把手:
- 額外場;
- 已知場曲率;
- 多標準件校準;
- 空間成像;
- 二階矩先驗;
- 樣品旋轉多角度量測;
- 真正平場或近似平場。
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 讀頭二:形狀指紋讀頭
輸入:掃描、影像、遮罩、邊界、多邊形、可枚舉表示。 操作:
- 像素/網格積分;
- 幾何矩計算;
- 持續同調;
- 減法過濾;
- 條碼讀取。
輸出:
\[ \{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 一次毀滅,兩本帳
完整工作流可以是:
- 用 d 軌取得圖形快照;
- 用形狀指紋讀頭算矩譜與條碼;
- 用 V 軌物理讀頭做非循環總量測量;
- 用圓標準件將物理讀數轉成淨面積;
- 交叉比較 \(M_{00}\) 與物理面積;
- 把差異歸因於場偶次殘差、遮罩誤差、材料不均或拓撲表示差異。
這不是一台儀器包辦全部,而是兩本帳互相校對。
10. 非循環驗證標準 v0.3
10.1 無效驗證
以下仍是無效驗證:
- 從遮罩算出 \(A\);
- 從遮罩算出 \(M_x\);
- 合成 \(Q\);
- 再回推 \(A\)。
此流程只驗證代數恆等式。
10.2 弱驗證
以下是弱驗證:
- 從遮罩逐像素積分 \(Q^{(0)},Q^{(\pi)}\);
- 用翻轉公式回推;
- 與像素面積比較。
此流程可測程式實作,但不能證明測量價值,因為遮罩已經含有面積。
10.3 有效物理驗證
有效驗證必須滿足:
- \(Q_D^{(0)},Q_D^{(\pi)}\) 由獨立物理讀數取得;
- 未知樣品的主流程不使用遮罩面積;
- 圓標準件讀數獨立取得;
- 背景與暗訊號扣除;
- 翻轉軸與場中心對準;
- 用外部方法,如成像或秤重,作事後真值比較;
- 報告偶次殘差與拓撲盲性。
10.4 核心展示實驗
最小展示應該不是「未知面積回推準」,而是以下三件事同時成立:
- 單次讀數隨樣品左右偏移而改變;
- 翻轉和讀數對奇次偏移不敏感;
- 同淨面積不同洞數的圖形在總量讀頭下不可區分,但在條碼讀頭下可區分。
這三件事才能展示 v0.3 的完整精神:它既有力量,也有邊界。
11. 儀器草案:同場翻轉圓校準孔徑儀
11.1 裝置
- 固定光源或任意穩定但不完美的髒場;
- 樣品座;
- 可重複定位的 180° 翻轉機構;
- 圓孔徑標準件;
- 單一積分式光偵測器;
- 暗箱;
- 背景扣除流程。
11.2 測量流程
- 放入圓標準件 \(C\);
- 量 \(Q_C^{(0)}\);
- 翻轉圓標準件,量 \(Q_C^{(\pi)}\);
- 放入未知樣品 \(D\);
- 量 \(Q_D^{(0)}\);
- 翻轉未知樣品,量 \(Q_D^{(\pi)}\);
- 扣除背景;
- 計算:
\[ A_D = \pi r^2\cdot \frac{Q_D^{(0)}+Q_D^{(\pi)}} {Q_C^{(0)}+Q_C^{(\pi)}} \]
- 若有成像讀頭,計算條碼與矩譜作第二本帳。
11.3 儀器 niche
這台儀器的 niche 不是打敗所有相機,而是以下窄場景:
- 不要求形狀,只要求淨開口面積;
- 成像太慢、太貴、太髒或不可行;
- 光場存在奇次髒污或位置梯度;
- 樣品可被精準翻轉;
- 偶次場殘差可忽略或可用標準件校正;
- 產線只需要合格/不合格或淨面積數值。
若這六項不成立,應回到像素法、秤重法、平場光通量法或形狀指紋讀頭。
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 的主要修改:
- 將雙場互補改為同場翻轉;
- 將互補性從「設計要求」改為「對稱操作」;
- 將虛擬圓校準寫入 Kernel;
- 將奇偶宇稱濾波寫成核心定理;
- 明確承認偶次殘差不可免費消除;
- 明確承認總量式非成像讀頭拓撲全盲;
- 建立雙讀頭架構;
- 接入減法拓撲 V 軌/d 軌語義;
- 把「面積」降為 \(M_{00}\),把完整目標升級為淨量與形狀指紋的分工。
後續 v0.4 可補:
- 同場翻轉的數值模擬;
- 偶次殘差的校正模型;
- 多角度翻轉/旋轉場族;
- 實驗光路圖;
- 標準件族:圓、環、矩形、多孔板;
- 形狀指紋讀頭的 Python/Lean 接口;
- 與減法拓撲 v3.2 的正式接口章。