← Archive
lm-004563 · 2026-10

UESFCM × Lebesgue Universal Covering

en · md Raw source ↗ Metadata ↗
下載 MD 檔 ⬇

UESFCM × Lebesgue Universal Covering

Cycle 02 — Certified Minimizer Atlas and Exact Witness-Exchange Equivalence

文件代號： UESFCM-LUC-C02-v0.1
版本： v0.1
日期： 2026-09-19
Target： UESFCM-LUC-TARGET-v0.1
Previous state： UESFCM-LUC-C01-v0.1
Cycle status： FINITE-CLOSED / PROBLEM-OPEN
研究模式： UESFCM
研究發起： Neo.K
AI 協力研究者： Aletheia / ChatGPT, GPT-5.6 Sol

作者： Neo.K
機構： EveMissLab／一言諾科技有限公司

0. Recenter Input

Cycle 01 將下一個 exact gate 壓成：

δ7=min⁡U∈M(F3)MU(B7)>?0,\boxed{ \delta_7 = \min_{ U\in\mathfrak M(\mathcal F_3) } M_U(B_7) \stackrel{?}{>}0, }

其中：

F3={D,B3,B5},\mathcal F_3 = \{D,B_3,B_5\},

而：

M(F3)\mathfrak M(\mathcal F_3)

是所有 minimum-area covers of the finite witness family F3\mathcal F_3。

本輪目標：

  1. 不假設 minimizer set 是單點；
  2. 從整個五維 placement domain 證書化抽取 minimizer atlas；
  3. 建立 atlas cell 到 hull-cover 的 Hausdorff radius；
  4. 建立 B7B_7 robust cell-separation rule；
  5. 將 Round 06 witness-exchange sufficient criterion 升級成 exact equivalence。

1. External Source State

Mishra 2026 對：

F3={D,B3,B5}\mathcal F_3 = \{D,B_3,B_5\}

使用五維 gauge：

(t3,ρ,t5)∈R2×[0,2π/5)×R2.(t_3,\rho,t_5) \in \mathbb R^2 \times [0,2\pi/5) \times \mathbb R^2.

若只研究可能低於：

0.8344,0.8344,

的 placement，可限制到 compact domain：

D=[−0.70,0.70]2×[0,2π/5]×[−0.70,0.70]2.\boxed{ \mathcal D = [-0.70,0.70]^2 \times [0,2\pi/5] \times [-0.70,0.70]^2. }

公開 certificate 使用 deterministic bisection，並以 erosion lower bound 一次處理整個 placement box。

對 τ=0.8344\tau=0.8344 的 emitting run：

486,799,600486{,}799{,}600

nodes，

245,496,952245{,}496{,}952

leaves。

certificate 只保存 tree bits + header；verifier 可以從 root 與 split rule 重建每一個 box。

2. Family Ceiling

Mishra 的 explicit arrangement + support outer polygon 給：

Λ(F3)≤A3+:=0.834781191.\boxed{ \Lambda(\mathcal F_3) \le A_3^+ := 0.834781191. }

這不是 numerical lower bound。

它是 finite family minimum 的 valid upper bound：

Λ(F3)≤A3+.\Lambda(\mathcal F_3) \le A_3^+.

因此任何 placement box：

B\mathcal B

如果有 rigorous lower bound：

β(B)>A3+,\beta(\mathcal B) > A_3^+,

則：

B 不可能包含 global minimizer.\boxed{ \mathcal B \text{ 不可能包含 global minimizer}. }

這是本輪 atlas compiler 的基本 prune。

3. Placement Box Geometry

寫 box center：

c=(t3c,ρc,t5c).c = ( t_3^c, \rho^c, t_5^c ).

half-widths：

h3x,h3y,hρ,h5x,h5y.h_{3x}, h_{3y}, h_\rho, h_{5x}, h_{5y}.

Mishra erosion geometry給：

δ3(B)=h3x2+h3y2.\boxed{ \delta_3(\mathcal B) = \sqrt{ h_{3x}^2+h_{3y}^2 }. }

Reuleaux pentagon corner movement：

δ5(B)=h5x2+h5y2+2R5sin⁡hρ2,\boxed{ \delta_5(\mathcal B) = \sqrt{ h_{5x}^2+h_{5y}^2 } + 2R_5\sin\frac{h_\rho}{2}, }

其中：

R5=0.525731112119.R_5 = 0.525731112119.

4. New Lemma — Hull Hausdorff Radius of a Placement Cell

對 placement：

v∈B,v\in\mathcal B,

定義 finite-family hull：

U(v)=conv⁡(D∪B3(v)∪B5(v)).U(v) = \operatorname{conv} \left( D \cup B_3(v) \cup B_5(v) \right).

令：

Uc=U(c).U_c = U(c).

則：

dH(B3(v),B3(c))≤δ3(B),d_H( B_3(v), B_3(c) ) \le \delta_3(\mathcal B),

以及：

dH(B5(v),B5(c))≤δ5(B).d_H( B_5(v), B_5(c) ) \le \delta_5(\mathcal B).

convex hull operator 對 Hausdorff distance 為 nonexpansive：

dH(conv⁡A,conv⁡B)≤dH(A,B).d_H( \operatorname{conv}A, \operatorname{conv}B ) \le d_H(A,B).

所以：

dH(U(v),Uc)≤τ(B),\boxed{ d_H( U(v), U_c ) \le \tau(\mathcal B), }

其中：

τ(B)=max⁡{δ3(B),δ5(B)}.\boxed{ \tau(\mathcal B) = \max \{ \delta_3(\mathcal B), \delta_5(\mathcal B) \}. }

分類：

PROVED

5. Minimizer Set

定義：

A(v)=Area⁡(U(v)).A(v) = \operatorname{Area}(U(v)).

finite-family minimum：

Λ3=Λ(F3)=min⁡v∈DA(v).\boxed{ \Lambda_3 = \Lambda(\mathcal F_3) = \min_{v\in\mathcal D}A(v). }

minimizer set：

M3=Argmin⁡v∈DA(v).\boxed{ \mathcal M_3 = \operatorname{Argmin}_{v\in\mathcal D} A(v). }

由：

  • D\mathcal D compact；
  • AA continuous；

有：

M3 nonempty and compact.\boxed{ \mathcal M_3 \text{ nonempty and compact}. }

對 cover-space image：

M(F3)={U(v):v∈M3},\mathfrak M(\mathcal F_3) = \{ U(v): v\in\mathcal M_3 \},

同樣 compact。

6. Certified Minimizer Atlas Compiler

假設對任何 placement box：

B\mathcal B

有 rigorous lower functional：

β(B)\beta(\mathcal B)

使：

β(B)≤inf⁡v∈BA(v).\boxed{ \beta(\mathcal B) \le \inf_{v\in\mathcal B} A(v). }

Mishra 的 erosion + verifier 即提供這種 box lower bound。

給定 atlas resolution：

εatlas>0,\varepsilon_{\mathrm{atlas}}>0,

定義 recursive compiler。

6.1 Algorithm

對 box：

B:\mathcal B:

PRUNE

若：

β(B)>A3+,\boxed{ \beta(\mathcal B) > A_3^+, }

丟棄。

RETAIN

若：

β(B)≤A3+\beta(\mathcal B) \le A_3^+

且：

τ(B)≤εatlas,\boxed{ \tau(\mathcal B) \le \varepsilon_{\mathrm{atlas}}, }

保留為 minimizer-atlas cell。

REFINE

否則依 Mishra deterministic weighted widest-coordinate split 分成兩個 overlapping children，再遞迴。

7. Theorem — Certified Minimizer Atlas

對任意：

εatlas>0,\varepsilon_{\mathrm{atlas}}>0,

上述 algorithm 在 finite depth 後可得到有限 cells：

Aε={B1,…,BJ}\boxed{ \mathcal A_\varepsilon = \{ \mathcal B_1,\ldots,\mathcal B_J \} }

使：

M3⊆⋃j=1JBj,\boxed{ \mathcal M_3 \subseteq \bigcup_{j=1}^{J} \mathcal B_j, }

且：

τ(Bj)≤εatlas∀j.\boxed{ \tau(\mathcal B_j) \le \varepsilon_{\mathrm{atlas}} \qquad \forall j. }

Proof

令：

v⋆∈M3.v^\star \in \mathcal M_3.

因：

A(v⋆)=Λ3≤A3+,A(v^\star) = \Lambda_3 \le A_3^+,

任何包含：

v⋆v^\star

的 box 不可能滿足：

β(B)>A3+,\beta(\mathcal B)>A_3^+,

否則：

A(v⋆)≥β(B)>A3+,A(v^\star) \ge \beta(\mathcal B) > A_3^+,

矛盾。

所以 minimizer 永不被 PRUNE。

deterministic bisection 持續縮小 weighted coordinate widths。

因此對 fixed：

εatlas>0,\varepsilon_{\mathrm{atlas}}>0,

每一條未 prune branch 在 finite depth 後滿足：

τ(B)≤εatlas.\tau(\mathcal B) \le \varepsilon_{\mathrm{atlas}}.

所以被 RETAIN。

root domain compact，finite binary tree 到該 depth 只有有限 cells。

故 retained cells finite 且覆蓋：

M3.\mathcal M_3.

Q.E.D.

分類：

PROVED

8. Reusing the Existing Certificate

原 τ=0.8344\tau=0.8344 certificate 已提供一棵巨大 finite subdivision tree。

本輪不要求丟掉它。

可以：

  1. replay original tree；
  2. 對每個 reconstructed leaf重新取得 rigorous box lower bound；
  3. 若：
β(B)>A3+,\beta(\mathcal B)>A_3^+,

立即 atlas-prune； 4. 其餘 leaves 作為 refinement seeds； 5. 只繼續細分可能接近 minimizer 的少數 branches。

所以：

old lower-bound certificate→new minimizer-atlas seed.\boxed{ \text{old lower-bound certificate} \rightarrow \text{new minimizer-atlas seed}. }

這是 UESFCM 的典型 Self-Referential Reuse：

已完成的 closure artifact 再次成為下一輪 expansion object。

9. B7B_7 Margin Functional

對 compact convex cover：

U,U,

與 target：

B7,B_7,

定義 signed placement margin：

MU(B7).M_U(B_7).

Round 04 / Round 03 已有 cover-variable Lipschitz：

∣MU(B7)−MV(B7)∣≤dH(U,V).\boxed{ |M_U(B_7)-M_V(B_7)| \le d_H(U,V). }

因此對 atlas cell：

Bj\mathcal B_j

與 center hull：

Uj,U_j,

若有 certified：

m‾j≤MUj(B7),\underline m_j \le M_{U_j}(B_7),

則對：

v∈Bj,v\in\mathcal B_j,

有：

MU(v)(B7)≥m‾j−τ(Bj).\boxed{ M_{U(v)}(B_7) \ge \underline m_j - \tau(\mathcal B_j). }

10. Robust Cell Separator Rule

若：

m‾j−τ(Bj)>0,\boxed{ \underline m_j - \tau(\mathcal B_j) > 0, }

則：

B7B_7

不能放入該 cell 內任何：

U(v).U(v).

所以整個 cell 被：

B7B_7

排除。

分類：

PROVED

11. Global B7B_7 Atlas Criterion

若對 minimizer atlas：

Aε={B1,…,BJ}\mathcal A_\varepsilon = \{ \mathcal B_1,\ldots,\mathcal B_J \}

所有 cells 都有：

m‾j−τj>0,\underline m_j - \tau_j > 0,

則定義：

s7=min⁡j(m‾j−τj).\boxed{ s_7 = \min_j ( \underline m_j-\tau_j ). }

有：

s7>0.s_7>0.

因此：

MU(B7)≥s7∀U∈M(F3).\boxed{ M_U(B_7) \ge s_7 \qquad \forall U\in \mathfrak M(\mathcal F_3). }

亦即：

δ7:=min⁡U∈M(F3)MU(B7)≥s7>0.\boxed{ \delta_7 := \min_{ U\in\mathfrak M(\mathcal F_3) } M_U(B_7) \ge s_7 > 0. }

12. New Theorem — Exact Witness-Exchange Equivalence

令：

F\mathcal F

為 finite witness family，

M(F)\mathfrak M(\mathcal F)

為其 compact minimizer-cover set。

令：

B\mathcal B

為 finite new witness batch。

定義：

SF(B)=min⁡U∈M(F)max⁡K∈BMU(K).\boxed{ S_{\mathcal F}(\mathcal B) = \min_{ U\in\mathfrak M(\mathcal F) } \max_{ K\in\mathcal B } M_U(K). }

則：

Λ(F∪B)>Λ(F)\boxed{ \Lambda( \mathcal F\cup\mathcal B ) > \Lambda(\mathcal F) }

若且唯若：

SF(B)>0.\boxed{ S_{\mathcal F}(\mathcal B) > 0. }

Proof： S>0⇒S>0\Rightarrow strict increase

Round 06 已證。

若：

SF(B)>0,S_{\mathcal F}(\mathcal B)>0,

則任何 old minimizer：

U∈M(F)U\in\mathfrak M(\mathcal F)

至少漏掉 batch 中某個 witness。

所以不存在 area：

Λ(F)\Lambda(\mathcal F)

的 cover 能 cover：

F∪B.\mathcal F\cup\mathcal B.

由 attainment：

Λ(F∪B)>Λ(F).\Lambda( \mathcal F\cup\mathcal B ) > \Lambda(\mathcal F).

Proof：strict increase ⇒S>0\Rightarrow S>0

假設：

Λ(F∪B)>Λ(F).\Lambda( \mathcal F\cup\mathcal B ) > \Lambda(\mathcal F).

則不存在：

U∈M(F)U\in\mathfrak M(\mathcal F)

能 cover 全部：

B.\mathcal B.

所以對每個：

U∈M(F),U\in\mathfrak M(\mathcal F),

都有：

max⁡K∈BMU(K)>0.\max_{K\in\mathcal B} M_U(K)>0.

因：

B\mathcal B

finite，

函數：

U↦max⁡K∈BMU(K)U \mapsto \max_{K\in\mathcal B}M_U(K)

continuous。

而：

M(F)\mathfrak M(\mathcal F)

compact。

所以 positive continuous function 在 compact set 上取得 positive minimum：

SF(B)>0.\boxed{ S_{\mathcal F}(\mathcal B)>0. }

Q.E.D.

分類：

PROVED / ROUND-06-STRENGTHENING

13. Single-Witness Corollary

對單一 target：

K,K,

定義：

δF(K)=min⁡U∈M(F)MU(K).\delta_{\mathcal F}(K) = \min_{ U\in\mathfrak M(\mathcal F) } M_U(K).

則：

Λ(F∪{K})>Λ(F)  ⟺  δF(K)>0.\boxed{ \Lambda( \mathcal F\cup\{K\} ) > \Lambda(\mathcal F) \iff \delta_{\mathcal F}(K)>0. }

若：

δF(K)≤0,\delta_{\mathcal F}(K)\le0,

則至少存在一個 old minimizer：

U⋆U^\star

能容納：

K,K,

所以：

Λ(F∪{K})=Λ(F).\boxed{ \Lambda( \mathcal F\cup\{K\} ) = \Lambda(\mathcal F). }

14. B7B_7 Gate Is Now Exact

取：

F=F3,\mathcal F = \mathcal F_3, K=B7.K=B_7.

則：

Λ(D,B3,B5,B7)>Λ(D,B3,B5)\boxed{ \Lambda(D,B_3,B_5,B_7) > \Lambda(D,B_3,B_5) }

若且唯若：

δ7>0.\boxed{ \delta_7>0. }

所以 Cycle 01 的：

δ7>0?\delta_7>0?

不是 heuristic gate。

它是：

exact necessary-and-sufficient symbolic gate.\boxed{ \text{exact necessary-and-sufficient symbolic gate}. }

15. Numerical Evidence Status

Cycle 01 在一個 published near-minimum representative 上得到：

MU0(B7)M_{U_0}(B_7)

finite-grid structural estimate約：

7.6×10−37.6\times10^{-3}

以上，尚未含完整 verified floating arithmetic。

Mishra 的 independent 8-dimensional numerical search 對：

{D,B3,B5,B7}\{D,B_3,B_5,B_7\}

報告 numerical family optimum：

0.836494901.0.836494901.

而三-body family numerical optimum：

0.834780947.0.834780947.

二者差約：

0.001713954.\boxed{ 0.001713954. }

這些都強烈支持：

δ7>0,\delta_7>0,

但仍然只是：

NUMERICAL-EVIDENCE

不能代替 atlas certificate。

16. Cost Interpretation

Mishra 的 scaling table 顯示：

對：

D,B3,B5,D,B_3,B_5,

接近 family ceiling 時 box count快速上升。

加入：

B7B_7

後 placement dimension：

5→85\to8

且 exhaustive subdivision更加昂貴。

因此：

直接對 8 維 family 重做 global lower certificate\boxed{ \text{直接對 8 維 family 重做 global lower certificate} }

不是目前最小的 proof obligation。

UESFCM 選擇較窄 gate：

5 維 minimizer atlas+one fixed B7 separator test.\boxed{ \text{5 維 minimizer atlas} + \text{one fixed }B_7\text{ separator test}. }

這是 target-anchored complexity reduction。

17. Atlas Semi-Decision Theorem

假設：

  • box lower bounds consistent；
  • atlas resolution：
εn→0;\varepsilon_n\to0;
  • center B7 margin certificate error：
ζn→0.\zeta_n\to0.

若：

δ7>0,\delta_7>0,

則存在 finite：

n⋆n_\star

使所有 atlas cells滿足：

m‾j−τj>0.\underline m_j-\tau_j>0.

所以：

δ7>0\boxed{ \delta_7>0 }

會在有限 refinement 層被 certified。

Proof Sketch

由：

δ7>0\delta_7>0

與 compact minimizer set，存在 uniform positive margin：

δ7.\delta_7.

atlas cells center 到任一 contained minimizer cover 的 Hausdorff距離：

≤τj→0.\le \tau_j \to0.

margin certificate error：

ζn→0.\zeta_n\to0.

充分細時：

τj+ζn<δ72.\tau_j+\zeta_n < \frac{\delta_7}{2}.

因此每個 cell 的 certified robust lower margin：

>δ72>0.> \frac{\delta_7}{2} > 0.

Q.E.D.

18. Boundary Case

如果：

δ7=0,\delta_7=0,

則存在 old minimizer：

U⋆U^\star

使：

MU⋆(B7)=0.M_{U^\star}(B_7)=0.

亦即 B7B_7 可剛好放入某 old minimizer。

此時：

Λ(D,B3,B5,B7)=Λ(D,B3,B5).\Lambda(D,B_3,B_5,B_7) = \Lambda(D,B_3,B_5).

atlas separator search可能永久 refinement 在：

U⋆U^\star

附近。

這不是 algorithm failure。

它是：

mathematical boundary case.\boxed{ \text{mathematical boundary case}. }

19. Negative Case

若：

δ7<0,\delta_7<0,

則存在 old minimizer對：

B7B_7

有 strict fit slack。

充分精細 cell + upper margin certificate最終可產生：

MU(B7)<0M_U(B_7)<0

的 minimizer candidate。

此時：

B7B_7

不是 strict exchange witness。

UESFCM 不再繼續浪費主線資源在 B7B_7 全域 separation，而回到 uncovered minimizer cells做新 witness expansion。

20. Trichotomy

因此 B7B_7 gate 有三種數學狀態：

δ7>0\boxed{ \delta_7>0 }

strict exchange；

δ7=0\boxed{ \delta_7=0 }

contact boundary / no strict gain；

δ7<0\boxed{ \delta_7<0 }

old minimizer already contains B7B_7 with slack。

21. Atlas Data Schema

每個 minimizer cell 建議保存：

cell_id
parent_id
center:
    x3
    y3
    rho5
    x5
    y5
halfwidth:
    h3x
    h3y
    hrho
    h5x
    h5y
beta_lower
family_ceiling
delta3
delta5
hausdorff_radius
B7_margin_lower_at_center
B7_margin_solver_error
B7_robust_margin
status
provenance

22. Cell Status

AREA-PRUNED

β(B)>A3+.\beta(\mathcal B)>A_3^+.

B7-EXCLUDED

m‾7−τ>0.\underline m_7-\tau>0.

B7-FITS

certified upper margin：

m‾7+τ<0.\overline m_7+\tau<0.

B7-BOUNDARY

margin interval straddles zero at desired atlas resolution。

REFINE

none of the above。

23. Cycle 02 Finite Closure

本輪沒有把大型 computation 假裝做完。

但 proof graph 已經從：

construct a minimizer atlas somehow\text{construct a minimizer atlas somehow}

壓成：

replay / refine deterministic boxes using A3+=0.834781191\boxed{ \text{replay / refine deterministic boxes using } A_3^+=0.834781191 }

以及：

certify m‾7−τ>0 on every retained cell.\boxed{ \text{certify } \underline m_7-\tau>0 \text{ on every retained cell}. }

24. Updated Obligation Ledger

O2 — Mishra-seed minimizer atlas

狀態：

ALGORITHM / PROOF SCHEMA CLOSED

LARGE COMPUTATION DEFERRED

O3 — B7B_7 strict separator

等價 gate：

δ7>0.\boxed{ \delta_7>0. }

狀態：

EXACT GATE / COMPUTE-DEFERRED

O4 — New lower value

若：

δ7>0,\delta_7>0,

已能證：

Λ(F3∪{B7})>Λ(F3).\Lambda(F_3\cup\{B_7\}) > \Lambda(F_3).

但 numerical threshold仍需新的 lower certificate。

狀態：

QUALITATIVE STRICT IMPROVEMENT CONDITIONAL

25. Recenter

Cycle 03 唯一主問題：

How small can the certified minimizer atlas be made, and does B7 exclude every retained cell?\boxed{ \text{How small can the certified minimizer atlas be made, and does }B_7\text{ exclude every retained cell?} }

若 large certificate data不方便在雲端直接 ingest：

  1. 輸出 atlas-extractor runtime spec；
  2. 本地端 replay Mishra certificate；
  3. 只保留：
β(B)≤0.834781191\beta(\mathcal B)\le0.834781191

的 branches； 4. 繼續 refine 到指定：

τmax⁡;\tau_{\max};
  1. 對 retained cells跑 B7B_7 margin verifier；
  2. 回傳 finite atlas JSON / SQLite / compressed package。

26. UESFCM Method Observation

Cycle 02 再次完成：

external certificate→self-referential reuse→new exact gate.\text{external certificate} \rightarrow \text{self-referential reuse} \rightarrow \text{new exact gate}.

原本的 486M-node certificate 不再只是：

0.8344 已經證過的歷史 artifact。

它被重新解釋成：

minimizer-space pruning oracle.\boxed{ \text{minimizer-space pruning oracle}. }

這正是 UESFCM 的核心：

已閉包的有限 artifact 可以再次成為同一 Target 下一輪展開的輸入，但仍然回到同一原始數學命題。

27. Cycle 02 Verdict

EXPANSION: PASS

LINKBACK: PASS

MINIMIZER-ATLAS-THEOREM: PROVED

HULL-CELL-HAUSDORFF-RADIUS: PROVED

EXACT-WITNESS-EXCHANGE-EQUIVALENCE: PROVED

B7-GATE-NECESSARY-AND-SUFFICIENT: PROVED

B7-GLOBAL-SEPARATION: COMPUTE-DEFERRED

FINITE-CLOSURE: PASS

PROBLEM-PROOF-CLOSURE: OPEN

External References

  1. Ujjwal Mishra, Curves of constant width and Lebesgue's covering problem, arXiv:2608.30538, 2026.
  2. Mishra source-code repository linked from the paper, frozen for the published computation at commit da956b117a.
  3. AMRAL-LUC-FC Round 01–06.
  4. UESFCM-LUC Cycle 00–01.

Canonical Source Declaration

本檔為 UESFCM × Lebesgue Cycle 02 的 UTF-8 Markdown canonical source。

數學 delimiter 僅使用 $...$ 與 $$...$$。

未執行的大型 atlas replay 不得寫成已完成 certificate。

===END===