關係幾何與載體展開・生物視覺分支 IV:螳螂蝦主動偏振視覺、感測基底旋轉與有效關係維度的可辨識性
English title: Relational Geometry and Carrier Unfolding — Biological Vision IV: Active Polarization Sensing, Rotated Measurement Bases, and Identifiability in a Mantis-Shrimp-Inspired Stokes Model
系列: RGC-BV04(承接 BV01 異質視覺載體、BV02 跳蛛分層失焦、BV03 扇貝反射式雙視網膜;原 RGC 幾何主線 P01–P12 獨立保留)
版本/日期: v1.0.0 / 2026-11-05
原始研究問題與載體—關係幾何構想: Neo.K
文獻查核、數學形式化、原始碼、合成驗證及論文協作: GPT-6
研究身分: 生物視覺研究的文獻對照,搭配理想線性偏振測量的解析定理、反例及合成實驗;不是螳螂蝦實際神經解碼重建、個體實測、真實成像裝置標定、傳統非整數空間維度的發現或外部同行審查。
Canonical source: 此 UTF-8 Markdown 原始檔。所有數學內容僅使用 $...$ 與 $$...$$,不以聊天渲染、圖片或 Unicode 轉換結果取代原稿。
作者: Neo.K
機構: EveMissLab/一言諾科技有限公司
日期: 2026-11-05
版本: v1.0.0
摘要
BV02 與 BV03 分別研究感光層深度與反射鏡幾何如何改變物距的可辨識性。BV04 改由主動改變接收基底的視覺載體切入:某些口足類(俗稱螳螂蝦)具有偏振敏感的光受器與三軸旋轉的柄眼,並已有行為實驗證實,眼球扭轉可主動提高線偏振目標相對於背景的對比度。另有特定口足類的圓偏振視覺及近似四分之一波片的感光結構證據。這些生物學結果不足以推出牠們一定進行完整 Stokes 向量反演;我們因此刻意建立一個不擬合個體參數的理想分析器模型。[R1–R5]
本文以入射 Stokes 光學量 與旋轉線偏振分析器建立前向算子。若總光強 已知,兩次感測方向之差為 ,則線偏振未知量 的量測雅可比為 矩陣,其秩在 時為 2;在 或 時退化為 1。依固定參數尺度、各通道獨立等方差雜訊的 Fisher 關係譜,定義參與比 ,並精確推得
此處 對應 ,而 使 、雜訊反演最佳。這是量測關係的有效譜參與數,既不是生物感知空間的傳統維度,也不是螳螂蝦眼球轉角的實測值。
本文另證明:三種線性分析角度在定常、已校準條件下可唯一恢復 ,但任意數量的純線偏振分析器旋轉都無法讀取 ;引入具正確相位與方向的四分之一波片才可補足該通道。值得區分的是,為了最大化特定目標—背景對比,單一分析器的最佳方向,並不等同於為了完整反演而最大化 Fisher 參與比的多方向配置。若場景在順序掃描期間變化,完整重建又會遭到新的不可辨識反例。
研究以 17 項單元測試、31 項獨立 SymPy 代數檢查、固定種子的 160,000 組雙方向合成反演(合計 320,000 次有雜訊線性分析器讀取)驗證。所有測試數字對應本文定義的理想模型,不等於真實生物實驗。
關鍵詞: 螳螂蝦;口足類;主動偏振視覺;Stokes 向量;感測器旋轉;幾何載體;Fisher 資訊;有效關係維度;可辨識性;光學相位延遲;觀察者依賴;動態別名。
1. 生物學根據與研究界線
1.1 已有文獻支持的生物學事實
B1|眼球三軸旋轉及任務依賴。 口足類的柄眼可以進行俯仰、偏航與扭轉;雙眼具有高度獨立性,但眼球運動的耦合程度依任務而變。[R1, R5]
B2|旋轉具有偏振感測功能。 Daly 等(2016)在 Gonodactylus smithii 與 Odontodactylus scyllarus 中,以線偏振刺激顯示眼球扭轉能使特定感受器朝向更有利於目標背景偏振對比的方向;這支持「主動變換感測方位」而非「動物會進行本稿所定義的逆矩陣解碼」。[R1]
B3|不同受器的功能區分。 具六列中帶的特定種類,其前四列偏向色覺,後兩列涉及偏振視覺;不同種類的形態與圓偏振敏感性不同,不能將整個目歸為單一標準感測器。[R1, R4]
B4|圓偏振光與生物相位延遲結構。 Chiou 等(2008)提供口足類辨識圓偏振光手性的行為與電生理證據;Roberts 等(2009)研究到自然界具有寬波段特性的近四分之一波片結構。[R2, R3] 這不代表所有口足類能完全重建任意偏振狀態的四個 Stokes 分量。
B5|功能上的一維掃描並非非整數空間。 口足類中帶的特殊色覺排列與眼球掃描有關,曾被比擬為線掃描感測器。[R4, R5] 這裡的「一維」指採樣幾何,不是外部世界或主觀空間的維度。
1.2 三種必須隔離的「維度」
| 類型 | 數學意義 | BV04 能否推得 |
|---|---|---|
| 環境物理空間的維度 | 例如普通三維環境中的三個獨立座標方向 | 不改變;本稿沒有導出非整數歐氏空間 |
| 待反演光學參數的數目 | Stokes 分量可取四維參數化;或在已知 下只估計兩個線偏振分量 | 可以明確定義 |
| 關係譜有效參與數 | 給定量測設計、雜訊與參數度量後的 | 可為 1 到 2 之間非整數,依設計改變 |
核心原則: 是當下任務中資訊分布的無量綱指標,不是生物具有「1.8 條座標軸」的命題。
2. 前向光學模型:旋轉分析基底而非旋轉世界
2.1 Stokes 量與物理可行域
設入射偏振狀態為
其中 為光強、 表示兩組線偏振差分、 表示圓偏振差分;手性正負方向依光學慣例設定。把理想線偏振分析器方向定為相對實驗室基準的 ,忽略暗電流、光譜與吸收損耗,單通道輸出為
式 (2) 的角色不是聲稱「螳螂蝦的某個受器是一片理想線偏振片」,而是以可檢查的最小光學算子,抽離感測方向對關係判定的作用。真實感光色素的偏振選擇性並非完美、接收方向也可能同時包含多個感光通道;下文未加入視網膜神經連線與行為控制律。
令 為經校準的感測方向。整個載體—觀察管線可寫為
其中 代表感測方向和可能的光學元件構造, 是對指定待估參數的觀測雅可比, 是 Fisher 資訊。式 (3) 是參數測量與觀測關係的序列,不是三維世界的坐標維度轉換。
2.2 未知參數、校準資訊與條件數
若 已由同一穩定光場的參考通道測得,待估量為 。選兩次方向 、 ,並把已知背景 扣除,得
需要重申:若 未知,兩筆量測要估三個未知量,一般不能唯一反演。若兩次量測跨時間進行,還要求場景在讀取期間足夠穩定,或有額外同步參考。
3. 定理一:兩次旋轉感測的秩、可辨識性與最佳角度
定理 BV04.T1(已知 下兩方向線偏振反演)。 在式 (4) 的理想定常模型中, 在兩次方向 、 上可唯一反演,若且唯若
證明。 。線性映射在且僅在行列式非零時可逆。證畢。
特別地, 雖然在幾何視覺上是「相互垂直的兩片分析器」,它們測得的是相反的同一個線偏振軸;在已知 的兩未知量任務裡,仍然無法測得 。這和先前 RGC 系列「關係方向不等於視覺畫面線條方向」的區分一致。
假設兩筆測量雜訊獨立、平均零、變異數均為 , 的 Fisher 資訊為
以 記號,其兩個本徵值是
故最小奇異值、條件數為
在 , ,兩本徵值相等, ,這是上述固定總量測數、等方差與已知 條件下的最佳均衡設計。
4. 定理二:1.8 的精確關係維度見證
定義正半定資訊矩陣的譜參與比
對式 (6) 可得
定理 BV04.T2(指定關係參與數之存在與精確構造)。 在上述二參數 Fisher 模型裡,當 介於 與 時, 由 1 連續且單調增加至 2。且
其中一個精確解是
此時 的本徵值比為 ,故
證明。 將式 (7) 代入式 (9) 直接化簡得式 (10)。在 , 由 1 單調降至 0,因此 由 1 單調升至 2。令 (10) 等於 ,即得 (11);選擇 得 (12),並將本徵值代入 (9) 得 (13)。證畢。
不能推得的結論。 精確算出 不代表螳螂蝦通常將眼睛旋轉 、不代表牠的神經系統天然使用 Fisher 參與比、也不代表存在傳統 維歐氏空間。若在不附帶度量標準的情況下,任意縮放 或 的參數定義,資訊矩陣的本徵值比就會改變。 在已固定正交坐標及雜訊度量時才有明確比較意義;真正的局部可辨識秩對任何非奇異重參數化較為穩健。
參見圖 figures/02_effective_dimension_angle.png、figures/03_sensing_stability.png。
5. 定理三:對比最大化不等於資訊維度最大化
在同一觀察方向 下,令目標 和背景 的 Stokes 分量差值為 。線偏振通道的目標—背景輸出差為
若 ,則單分析方向最大可達的偏振對比振幅是
其中一個最佳方向滿足
證明。 對向量 與單位向量 應用 Cauchy–Schwarz 不等式,絕對內積至多為 ,當二者平行或反平行時取到等號。證畢。
例如 、 ,最適分析角為 ,偏振對比幅度為 。但這只要求沿一個已知目標差向量量測最大信號,沒有唯一反推出任意未知 的能力;完整二參數辨識需要另一個互補感測方向。
這個差異與 Daly 等(2016)發現的「眼球扭轉提高目標背景偏振對比」是相容的,但不能把該生物行為直接當成採用本文的全 Stokes 最佳設計。某個任務可以偏好對比,另一個任務則偏好資訊矩陣條件數;兩者不應混為單一「維度較高就是較好」的最適化問題。
6. 定理四:純旋轉線偏振感測無法恢復圓偏振資訊
定理 BV04.T4(純線偏振分析的圓偏振盲區)。 對任意有限或無限多個 ,式 (2) 的輸出皆不含 。因此任何在 相同、但 不同的兩個物理可行 Stokes 狀態,對全部線性分析角度皆不可區分。
證明。 式 (2) 對 的偏導為零,故所有這類測量的雅可比具有包含 方向的非平凡核。證畢。
精確可行反例:
兩者均滿足式 (1),且任意線偏振分析器角度都有 ,但圓偏振手性符號相反。
若額外引入理想四分之一波片與經校準的 線偏振分析器,選取一種明確相位與手性慣例,令
同時收集三種線偏振量測
可得完整的代數逆映射:
式 (18) 的正負號依波片快軸與右、左手性定義而可能互換;這裡將光學元件的相位、軸向和光譜特性均視為已校準。生物中的 R8 相位延遲作用是這類設計的生物啟發,不代表牠的中樞神經一定使用式 (20)。
參見圖 figures/04_circular_invisible_linear.png。
7. 定理五:時間變化使主動掃描再次不可辨識
前述反演都隱含「多方向量測來自同一個穩定光場」,或至少具有可校正的同步光強及偏振變化。若實際資料為 ,前向式變成
反例 BV04.C5(動態場景別名)。 固定光場
於 三次讀取給出
但在三個時間點依次出現的完全無偏振光場
分別在相同三個角度給出完全相同的三筆讀數。因此單靠時間序列、卻沒有場景定常性或同步參考,就不能證明反演出的線偏振確實存在。這是精確反例,不是統計小樣本失敗。
另外,如果所有相機角度都存在共同未知零點 ,同時將參數向量 以 旋轉,就能得到相同觀測;因此在沒有外部方位錨定時,絕對方位角只可恢復到共同旋轉規範等價類。這個自由度與前述物理環境的非整數維度無關。
參見圖 figures/06_temporal_ambiguity.png。
8. 有雜訊反演:解析穩定性與可重現實驗
8.1 解析均方根誤差
對式 (4),若 已知且兩筆測量各自有獨立方差 的加性高斯雜訊,且 ,線性逆估計是無偏的,其總平方誤差期望為
因此參數向量誤差的 RMS 為
在 ,RMS 最小,等於 ;在 的精確角度 , ,因此 RMS 精確等於 。這再次確認 是一個可實現的資訊狀態,不是唯一或最佳的狀態。
8.2 實驗設計與結果
使用固定 seed 20261105、 、 、 ;以獨立加性高斯雜訊 ,在 8 個相對轉角上各重播 20,000 組,共 160,000 組合成反演(320,000 次有雜訊讀取)。每組使用式 (4) 的精確已知 反演。此處沒有光子計數雜訊、校準偏差、場景漂移、感測飽和或視網膜受器數據。
| 相對方向差 | 有效參與數 | 理論 RMS | 合成 RMS |
|---|---|---|---|
| 1.0153 | 0.162883 | 0.162876 | |
| 1.1429 | 0.056569 | 0.056374 | |
| 1.4153 | 0.036922 | 0.036971 | |
| 1.8000 | 0.030000 | 0.029922 | |
| 2.0000 | 0.028284 | 0.028201 | |
| 1.6000 | 0.032660 | 0.032659 | |
| 1.1429 | 0.056569 | 0.056752 | |
| 1.0153 | 0.162883 | 0.161831 |
最大相對偏差約為 ,符合 20,000 次重播的有限抽樣起伏。重現資料位於 data/noise_scan.csv 及 data/results.json;本表只敘述指定模型與固定亂數種子。
參見圖 figures/05_noise_vs_rotation.png。
8.3 原始碼與分離驗證
src/bv04_polarimetry.py:獨立 Stokes 前向/逆運算、角度掃描、合成雜訊與圖檔輸出。src/verify_symbolic.py:使用 SymPy 精確有理數與矩陣算術檢查式 (4)–(20) 中的關鍵等式。tests/test_bv04.py:獨立單元測試;包含相同線偏振/不同圓偏振的不可區分例、時間變動別名、秩、解析角度與雜訊界。data/results.json、data/symbolic_checks.json:數值及符號檢查結果。SHA256_MANIFEST.json:原稿及所有研究資產的 SHA-256 雜湊清單。
執行環境與版本請見 requirements.txt 與 README.md。所有正式結論均應以 source 與相應證明為準,圖像只供閱讀。
9. 跨 BV01–BV04 的關係幾何比較
| 篇別 | 生物學啟發 | 主動改變的載體關係 | 可辨識性要點 |
|---|---|---|---|
| BV01 | 異質視覺系統 | 感測通道、幾何與觀察者組合 | 區分空間維度與關係譜參與數 |
| BV02 | 跳蛛分層視網膜 | 不同感測深度的失焦關係 | 校準後可辨識;未知增益會造成歧義 |
| BV03 | 扇貝反射式雙視網膜 | 反射鏡及不同接收平面 | 相對失焦可產生折返與兩解 |
| BV04 | 螳螂蝦偏振眼與扭轉 | 改變偏振感測方向與相位轉換通道 | 對比最適與反演最適不同;純線偏振看不到 |
四篇可以合併為一個抽象判準:若觀察載體參數 、待估狀態 及觀測資料 的映射是 ,研究重點不應只看 的幾何形狀,還要看在指定任務及校準條件下, 的秩、條件數、零空間及變形時的辨識穩定性。 這種定義可操作,但未解決傳統「半條坐標軸」或非整數歐氏空間的本體論問題。
10. 可檢驗結論與必要限制
C1|幾何載體可以主動調節可觀測關係。 這在口足類眼球扭轉提高偏振對比的生物行為中有直接文獻依據;本文旋轉線分析器的 Stokes 算式則是工程化的理想對照,而非生物神經機制的實測。[R1]
C2|1.X 有效關係參與數具有精確可構造案例。 在指定二參數 Fisher 模型中, 使 ,但這是可選設計參數產生的無量綱譜參與比。
C3|「看得清楚」與「可逆地理解全部資訊」不是同一性質。 最大化目標對比可以只需沿一個差分向量對齊;若要任意 的唯一反演,則需獨立感測方向及已知 ;如欲辨識 ,更需要能量測圓偏振的光學通道。
C4|增加觀測次數無法自動解除結構歧義。 任意多個純線分析角度都看不到 ,場景跨時間漂移也能製造與靜態偏振相同的讀數。必須增加新的觀測物理量或明確校準/定常性先驗。
C5|沒有證明傳統非整數空間維度,也沒有量測任何口足類的有效譜指標。 本文的 依賴所估參數、量測誤差模型與選定的尺度;若將它寫作「螳螂蝦具有 1.8D 視覺」,就是超出資料與定理範圍。
歸納。 先前的三線成方研究從幾何容器出發,BV04 則由生物視覺展示另一個可以嚴格操作的現象:同一外部光場並未改變,但觀察者只要改變所使用的測量基底,可見關係的數量、穩定性與歧義結構便會改變。 這足以成為載體幾何研究的一條實在而可反駁的分支,不需要預先聲稱發現新的傳統空間軸。
參考文獻
- [R1] Daly, I. M., et al. (2016). Dynamic polarization vision in mantis shrimps. Nature Communications 7, 12140. https://doi.org/10.1038/ncomms12140 ; open full text: https://pmc.ncbi.nlm.nih.gov/articles/PMC4945877/ . 實證:眼球扭轉與目標背景線偏振對比。
- [R2] Chiou, T.-H., et al. (2008). Circular polarization vision in a stomatopod crustacean. Current Biology 18(6), 429–434. https://doi.org/10.1016/j.cub.2008.02.066 ; https://pubmed.ncbi.nlm.nih.gov/18356053/ . 實證:圓偏振視覺。
- [R3] Roberts, N. W., Chiou, T.-H., Marshall, N. J., & Cronin, T. W. (2009). A biological quarter-wave retarder with excellent achromaticity in the visible wavelength region. Nature Photonics 3, 641–644. https://doi.org/10.1038/nphoton.2009.189 . 生物相位延遲結構。
- [R4] Marshall, N. J., Cronin, T. W., & Kleinlogel, S. (2007). Stomatopod eye structure and function: a review. Arthropod Structure & Development. https://pubmed.ncbi.nlm.nih.gov/18089120/ . 眼部構造與掃描視覺。
- [R5] Daly, I. M., et al. (2019). Gaze stabilization in mantis shrimp in response to angled stimuli. Journal of Comparative Physiology A. https://doi.org/10.1007/s00359-019-01341-5 . 視線穩定、三軸眼球運動與任務。
- [R6] Passive broadband full Stokes polarimeter using a Fresnel cone. Scientific Reports (2019). https://doi.org/10.1038/s41598-019-39118-0 . 旋轉波片與 Stokes 反演的現代光學對照,非生物神經機制證據。
- [RGC-BV01–BV03] 本系列前置三篇的 UTF-8 原始稿與可重現程式。僅作研究模型的內部脈絡,並非文獻的獨立驗證。
研究狀態: BV04 解析數學模型及其合成實驗已完成第一版。核心生物學實驗證據來自外部文獻;原稿內容、程式測試、SHA-256 與數學符號核驗已記錄於同包。未曾進行生物個體實測、神經記錄、外部材料實驗或學術同行審查。