# 關係幾何與載體展開・生物視覺分支 II：跳蛛分層視網膜的離焦深度反演、載體關係可辨識性與有效感測維度 **English title:** Relational Geometry and Carrier Unfolding — Biological Vision II: Depth-from-Defocus Identifiability, Layered Optical Carriers, and Effective Sensing Dimension in a Jumping-Spider-Inspired Model **系列：** RGC-BV02（承接 RGC-BV01，與 RGC P01–P12 保持主題關聯但獨立編號） **版本：** 1.0.0 / 2026-11-05 **原始載體／關係幾何研究問題：** Neo.K **文獻辨析、形式化、程式、合成實驗及原稿協作：** GPT-6 **稿件性質：** 文獻核對與**明定假設**下的解析定理、反例及可重現合成實驗；不是跳蛛視神經解碼的實測、真實光學參數反演、空間維度發現或同行審查證明。 **Canonical source：** 本 UTF-8 Markdown；正式數學原始碼僅使用 ` $...$ `、`$$...$$` 作為唯一 delimiter。 --- **作者：** Neo.K **機構：** EveMissLab／一言諾科技有限公司 **日期：** 2026-11-05 ## 摘要 RGC-BV01 提出「場景—視覺載體—可觀測關係—行為」四層框架。本篇以跳蛛主要眼睛的分層視網膜作為第一個生物學案例，尋找能被嚴格檢驗的數學對應。Nagata 等（2012）在 *Hasarius adansoni* 的研究確認主要眼睛四層感光結構及深層綠敏感感光層之間的焦點錯位，並利用改變照明波長後的跳躍距離偏差支持離焦測距機制。該研究**沒有**完整識別神經解碼演算法。後來的眼球光學模擬指出受器層厚度也可能有功能作用。 本文以**單一受控空間頻率、已校準的雙感測平面、兩層共用未知物體對比度**作為獨立工程化簡模型。每層的對數頻譜幅度受到高斯近似模糊影響。證明單一層在對比度未知時不可唯一估計深度，而兩層位置不同且校準有效時，可由兩份觀測的差**解析地**同時恢復深度和共同對比度；加入兩個未知且獨立的通道增益，又恢復不可辨識性。對加性、同方差對數噪音，導出精確估計變異數與 Fisher 資訊界；合成實驗包含 15 萬組測量，檢查解析結果的數值一致性。最後藉由既有薄透鏡色差公式展示紅光可能被綠光標定錯讀為較近的目標，並將局部 Fisher 譜參與比與真正空間維度嚴格區分。 **結論：** 載體不同接收深度，確實可能讓原先不可辨識的**場景參數**變得可辨識；這是在已知模型中的關係幾何效應，不是「跳蛛具有 1.8 條空間軸」的證據。 **關鍵詞：** 跳蛛；主要眼；分層視網膜；深度離焦；載體幾何；光學傳輸；可辨識性；Fisher 資訊；關係參與維度；色差。 ## 1. 生物學證據與模型身份分離 ### 1.1 已有實驗支持的事項 **文獻觀察 B1.** Nagata 等（2012）在 *Hasarius adansoni* 的主要眼睛確認四層感光組織。較深的 L1、L2 含綠敏感視覺色素；其中綠光在 L1 聚焦，而 L2 的相同波段光具有失焦。改變照明波長的行為實驗出現系統性距離估計偏差，支持離焦作為單眼深度線索。[R1–R2] **文獻觀察 B2.** 文獻中的光學模型與行為資料支持此機制，但不等於已測得跳蛛由 L1、L2 影像進行某一指定的傅立葉對數比運算；神經編碼方式仍未確定。[R2–R3] **文獻觀察 B3.** Nolte 等（2017）對 *Metaphidippus aeneolus* 建立光線追跡眼球模型，指出將受器視為具有厚度的結構可改善部分既有深度離焦演算法表現。這也提醒我們：真實厚透鏡、色差、受器厚度及訊號處理都比下文的雙平面模型複雜。[R3] 因此，本文把「**在生物中失焦能攜帶距離訊號**」列為文獻支持的命題；把「**雙平面對數幅度差具有解析反演**」列為本文合成理想模型的命題。二者相關，但不是同一個實驗結論。 ## 2. 從物理場景到受器關係的前向模型 設 $z$ 為物距， $F_\lambda$ 為波長 $\lambda$ 下的有效薄透鏡焦長。在 $z>F_\lambda$ 的理想薄透鏡近似中，像距 $v$ 滿足 $$ \frac{1}{z}+\frac{1}{v}=\frac{1}{F_\lambda}, \qquad v=\frac{F_\lambda z}{z-F_\lambda}. $$ 這不是對真實跳蛛厚透鏡完整光線追跡的替代，只是用於解析辨識性的示範。令兩個已校準接收面的位置為 $s_1$ 、 $s_2$，且 $s_1\ne s_2$ ；定義無量綱的簡化失焦方差 $$ q_j(v)=(v-s_j)^2+\sigma_0^2,\qquad j\in\{1,2\}. $$ 共同的 $\sigma_0$ 是理想底噪／不可消除的基礎模糊尺度。假定可抽取同一物體、**同一已知空間頻率** $\nu>0$ 的傅立葉幅度。以高斯模糊作點擴散函數近似，該頻率的傳遞幅度是 $\exp(-2\pi^2\nu^2q_j)$。令 $$ k=2\pi^2\nu^2>0, \qquad a=\log A, $$ 其中 $A>0$ 是兩層共同且未知的場景頻率對比度，則測量模型為 $$ y_j=a-k\left[(v-s_j)^2+\sigma_0^2\right]+\varepsilon_j. \tag{1} $$ 測量可視為*已註冊、增益已校準的兩個接收通道*之對數頻率幅度。這裡假定共同 $A$ 、共同 $k$ 、共同 $\sigma_0$，且同一空間頻率不因兩層成像倍率而改變。缺乏頻率紋理、未註冊、個別增益未知、強飽和或非高斯 PSF 時，後面的推導不可直接套用。 圖一是理想光學**示意**而非生物解剖圖：`figures/01_two_layer_carrier_schematic.png`。 ## 3. 定理一：一層的未知對比度歧義，兩層的解析反演 ### 定理 BV02.T1（雙平面共同紋理的可辨識性） 假設式 (1) 無噪音、 $s_1\ne s_2$ 、 $k>0$，且兩層共用同一未知 $a$。則未知參數 $(v,a)$ 可由 $(y_1,y_2)$ 唯一恢復，並有 $$ \widehat v=\frac{s_1+s_2}{2}-\frac{y_1-y_2}{2k(s_2-s_1)}, \tag{2} $$ $$ \widehat a=y_1+k\left[(\widehat v-s_1)^2+\sigma_0^2\right]. \tag{3} $$ **證明。** 直接相減消去共同未知的 $a$ 與 $\sigma_0^2$： $$ y_1-y_2=-k\left[(v-s_1)^2-(v-s_2)^2\right] =-2k(s_2-s_1)\left[v-\frac{s_1+s_2}{2}\right]. $$ 由 $k(s_2-s_1)\ne 0$，可唯一求得式 (2)，再回代式 (1) 求得式 (3)。證畢。 ### 命題 BV02.P1（單一受器層不足以分離兩個未知量） 只有 $y_1$ 時，對任意候選像距 $v'$，皆可選取 $$ a'=y_1+k\left[(v'-s_1)^2+\sigma_0^2\right] $$ 產生完全相同的測量。因此在場景對比度 $a$ 未知的模型類別內，單層無法同時唯一識別 $a$ 與 $v$。 **重要邊界。** 若外界對比度已知，且像距限制在 $s_1$ 同一側的單調支上，單層**可以**反演。這不否定跳蛛實驗所支持的 L2 失焦深度線索；本文的兩層定理僅是另一組條件明確的數學充分性結果。 ### 反例 BV02.C1（獨立未知通道增益破壞識別） 若式 (1) 改為 $$ y_j=a+g_j-kq_j(v), $$ 其中兩層各有任意未知 $g_j$，則任取 $v'$，均可取 $$ g_j'=y_j-a+kq_j(v') $$ 令同一組觀察成立。增加第二層不再保證深度唯一性。**關係幾何的增加，必須伴隨足夠的跨通道校準，才構成新增資訊。** 圖二：`figures/02_two_layer_transfer_and_ratio.png`。 ## 4. 定理二：雜訊穩定性與資訊邊界 取兩個通道的對數量測噪音獨立、同分布，且 $$ \varepsilon_1,\varepsilon_2\sim\mathcal N(0,\eta^2). $$ 將含噪 $y_1,y_2$ 代入式 (2)，可得 $$ \widehat v-v=-\frac{\varepsilon_1-\varepsilon_2}{2k(s_2-s_1)}. $$ 因此估計無偏，而且有**精確**變異數 $$ \mathrm{Var}(\widehat v)=\frac{\eta^2}{2k^2(s_2-s_1)^2}. \tag{4} $$ 這說明「理論上唯一可反演」與「雜訊下穩定」是兩個不同問題：層距越接近零，反演放大越嚴重；空間頻率係數 $k$ 趨近零時亦然。若每通道有確定性噪音界 $|\varepsilon_j|\le\epsilon$，則 $$ |\widehat v-v|\le\frac{\epsilon}{k|s_2-s_1|}. \tag{5} $$ 以 $\theta=(v,a)$ 作為局部未知參數，量測平均值的 Jacobian 為 $$ J=\begin{pmatrix} -2k(v-s_1)&1\\ -2k(v-s_2)&1 \end{pmatrix}, \qquad \det J=2k(s_1-s_2). $$ 所以 $k(s_2-s_1)\ne0$ 時， $J$ 滿秩；單一接收面只有一列，秩最多為 1。由固定方差高斯模型得到的 Fisher 資訊矩陣是 $$ \mathcal I(\theta)=\eta^{-2}J^{\mathsf T}J. $$ 其逆矩陣的深度分量恰為式 (4)，所以此簡化模型的式 (2) 同時達到局部 Cramér–Rao 界。若真實噪音是在**線性光強**而非對數幅度上加性、或噪音方差依深度改變，則 Fisher 資訊、估計方法及式 (4) 都必須改寫。 **有限光照與紋理限制。** 若輸入的對應空間頻率不存在，即 $A=0$，對數幅度不可定義，不能宣稱可反演。若模糊導致強烈衰減，固定對數噪音的假設也可能不符合感測器的實際噪音物理。 ## 5. 合成實驗與可重現結果 所有參數是**示範用無量綱值**，並非跳蛛視網膜測量： | 項目 | 合成設定 | |---|---:| | 第一接收面位置 $s_1$ | 1.00 | | 第二接收面位置 $s_2$ | 1.35 | | 失焦轉換係數 $k$ | 2.00 | | 共同基礎模糊 $\sigma_0$ | 0.07 | | 共同對數幅度 $a$ （解析範例） | 0.10 | | 固定種子 | 20261105 | **E1｜無噪音全區間反演。** 在 191 個像距位置的雙通道計算中，像距最大絕對誤差 $1.11\times10^{-16}$，共同對數幅度最大絕對誤差 $6.94\times10^{-17}$ （浮點四捨五入層級）。 **E2｜不可辨識反例。** 可以為兩個不同像距配置不同場景對比，使第一通道的輸出完全相同（實測計算殘差為零）；第二通道將它們分開，觀測差為 $0.7$。如果再次容許每層獨立未知增益，兩通道資料又可被不同像距同時擬合。 **E3｜雜訊穩定性掃描。** 取層距 $0.15,0.35,0.70$，各搭配對數測量噪音標準差 $0,0.005,0.01,0.02,0.05$。每組 10,000 個樣本，共 150,000 組合成對應測量（其中非零雜訊條件 120,000 組）。無噪音條件回復精確；12 個非零雜訊設定的 RMSE 與式 (4) 預測標準差的最大相對差約 $1.04\%$。此差異屬有限蒙地卡羅抽樣波動，而不是估計偏差的實證證明。 例如 $k=2$ 、層距 $0.35$ 、每通道對數噪音標準差 $\eta=0.01$ 時，式 (4) 的理論深度標準差為 $$ \frac{0.01}{\sqrt{2}\cdot 2\cdot 0.35}\approx0.01010. $$ **E4｜變小層距。** 若其他條件不變，層距減半，式 (4) 的深度標準差加倍；這是模型的確定性解析結論，不是任意繪圖比例。 圖三：`figures/03_noise_and_stability.png`；完整數據：`data/monte_carlo.csv`、`data/validation.json`。 ## 6. 色差的可檢驗方向性：紅光錯讀為較近距離 Nagata 等（2012, 2013）實驗顯示：在特定單色紅光條件下，跳蛛的跳躍距離較實際目標距離短；此行為與其對自然綠光條件的離焦標定解釋一致。[R1–R2] 以理想薄透鏡式給出方向性示範：若 $F_r>F_g$，目標在真實距離 $z$ 由紅光形成的某個像距 $v$ 被誤當成綠光同一像距，則錯誤估計的物距 $z_g$ 滿足 $$ \frac{1}{z_g}=\frac{1}{z}+\frac{1}{F_g}-\frac{1}{F_r}, $$ 故 $$ z_g=\frac{z}{1+z\left(F_g^{-1}-F_r^{-1}\right)}