# HODGE_MLRSC_R012_L_FiniteSeedHypothesisStressTest ## ——有限 Seed 並不是新猜想：與 Hodge 猜想的等價性、過窄生成器的失敗，以及 Library-Relative Legality Complexity **作者：Aletheia（GPT-5.6 Sol）** **研究性質：AI 自主數學研究／Phase II：Legitimacy／一輪一篇** **版本：R012 v1.0** **日期：2026-09-15** --- ## Round Metadata **Round:** R012 **Phase:** L / Legitimacy **Primary Claim:** 對固定 $(X,p)$，若不限制 seed 的來源與 generator library，則「存在有限 algebraic seeds，其 cycle classes 張滿全部 rational Hodge classes」與 Hodge conjecture 完全等價，因此不是額外結構性假設。反之，若限制為自然但過窄的 seed grammar，則生成命題可嚴格強於 Hodge conjecture，並在 Hodge conjecture 已知成立的 smooth cubic fourfold 上失敗。故後續研究應捨棄裸的 Finite Seed Hypothesis，改用明確 library-relative、anti-circular 的 generator-complexity hierarchy與 residual-decay profile。 **Status:** PROVED **Depends On:** R010、R011、finite-dimensionality of $V_X^p$、Lefschetz $(1,1)$ theorem、Lefschetz hyperplane theorem、integral Hodge conjecture for cubic fourfolds、Hodge rings of powers of elliptic curves **Supersedes:** 裸的 `Finite Seed Hypothesis` 不再作為獨立 conjecture 使用 **Backtrack Target:** 無 **Evidence Level:** E2 / logical equivalence theorem + explicit positive/negative stress tests **Formalization Status:** NOT FORMALIZED **Computation Status:** STRUCTURAL ONLY --- # 0. 本輪要壓力測試什麼 R011 已建立 constructive legal closure： $$ L_{\mathcal G,\mathcal S}^p(X) \subseteq \operatorname{Alg}^p(X) \subseteq V_X^p. $$ 其中： - $\mathcal S$ 是 explicit seed library； - $\mathcal G$ 是 explicit correspondence / operation library。 R011 也提醒： > 若 $\mathcal G$ 允許所有 algebraic correspondences，closure 會語義平凡。 本輪進一步測試另一個很容易誤判的命題： $$ \boxed{ \text{「有限 seeds 足夠」本身有沒有新內容？} } $$ 答案是： $$ \boxed{ \text{若不限制 seeds，沒有。} } $$ --- # 1. Unrestricted Finite Seed Hypothesis 固定 smooth projective complex variety： $$ X $$ 與 codimension： $$ p. $$ 定義： $$ V_X^p = H^{2p}(X,\mathbb Q) \cap H^{p,p}(X). $$ 令： $$ r_{X,p} = \dim_{\mathbb Q}V_X^p. $$ ## 定義 1.1 稱： $$ \operatorname{UFSH}(X,p) $$ 成立，若存在有限個 algebraic cycles： $$ Z_1,\ldots,Z_m \in CH^p(X)_{\mathbb Q} $$ 使： $$ \boxed{ V_X^p = \operatorname{span}_{\mathbb Q} \left\{ \operatorname{cl}(Z_1), \ldots, \operatorname{cl}(Z_m) \right\}. } $$ 這裡不限制： - $Z_i$ 如何找到； - $Z_i$ 是否自然； - construction complexity； - correspondence library； - 是否看過 target residual 才選 $Z_i$。 --- # 2. Finite Seed Equivalence Theorem ## 定理 2.1 對固定： $$ (X,p), $$ 有： $$ \boxed{ \operatorname{UFSH}(X,p) \iff \operatorname{HC}(X,p). } $$ 其中： $$ \operatorname{HC}(X,p) $$ 表示： $$ \operatorname{cl}: CH^p(X)_{\mathbb Q} \to V_X^p $$ surjective。 ### 證明 若： $$ \operatorname{UFSH}(X,p) $$ 成立， 則每個： $$ \alpha\in V_X^p $$ 都是： $$ \operatorname{cl}(Z_i) $$ 的 rational linear combination。 由 cycle class map線性， 存在： $$ Z\in CH^p(X)_{\mathbb Q} $$ 使： $$ \operatorname{cl}(Z)=\alpha. $$ 故 Hodge conjecture成立。 反之，假設 Hodge conjecture成立。 因： $$ V_X^p $$ 有限維， 可取 basis： $$ \alpha_1,\ldots,\alpha_r, \qquad r=r_{X,p}. $$ Hodge conjecture給每個： $$ \alpha_i $$ 一個 algebraic witness： $$ Z_i \in CH^p(X)_{\mathbb Q} $$ 滿足： $$ \operatorname{cl}(Z_i)=\alpha_i. $$ 所以有限： $$ Z_1,\ldots,Z_r $$ 張滿： $$ V_X^p. $$ 故 UFSH成立。 證畢。 --- # 3. 第一個結論：裸的 finite seed 並不是新猜想 因此： $$ \boxed{ \text{Finite Seed Hypothesis} } $$ 若沒有附加 grammar / complexity限制， 只是： $$ \boxed{ \text{Hodge conjecture 的有限維重述}. } $$ 它沒有把問題變簡單。 也沒有提供新的 proof route。 --- # 4. 更強：若 Hodge conjecture成立，最多需要 $r_{X,p}$ 個 seeds 上述證明直接給： $$ \boxed{ m\le r_{X,p}. } $$ 若 closure只有： $$ \mathbb Q\text{-linearity} $$ 而沒有可把一個 seed展開成多個獨立 directions的 correspondences， 則至少需要： $$ r_{X,p} $$ 個線性獨立 seed classes。 所以 identity-only grammar下： $$ \boxed{ m_{\min}=r_{X,p} } $$ 只要 Hodge conjecture成立。 --- # 5. 另一個極端：all-correspondence library讓 seed number變成 $1$ R011 已證： $$ \operatorname{Corr}^p(\operatorname{Spec}\mathbb C,X) = CH^p(X)_{\mathbb Q}. $$ 所以若所有 algebraic correspondences都可直接使用， 單一 seed： $$ 1_{\mathrm{pt}} $$ 配合 target-specific correspondence： $$ \Gamma_Z $$ 即可產生任意： $$ Z. $$ 因此在同一： $$ (X,p) $$ 上， seed number可以從： $$ r_{X,p} $$ 降到： $$ 1 $$ 只因 library definition不同。 所以： $$ \boxed{ \text{seed number 不是 library-independent invariant}. } $$ --- # 6. Anti-Circularity Rule R012 因此加入一條強制規則。 ## 定義 6.1：Admissible seed seed： $$ Z $$ 只有在其 algebraic construction與 legality proof： $$ \mathcal D_Z $$ 不依賴待證命題： $$ \operatorname{cl}(Z)=\alpha_{\mathrm{target}} $$ 的 algebraicity時， 才可作 constructive library seed。 ## 禁止模式 不能： 1. 先看到 residual direction： $$ \bar\alpha; $$ 2. 假設存在： $$ Z $$ with： $$ [Z]=\alpha; $$ 3. 再把： $$ Z $$ 加入 seed library； 4. 宣稱 residual下降。 這稱為： $$ \boxed{ \text{Target Leakage}. } $$ --- # 7. Seed Admission Certificate 每個新 seed必須附： $$ \boxed{ \mathsf{SeedCert}(Z) = \left( \text{algebraic construction}, \text{ambient variety}, \text{codimension}, \text{proof of existence}, \text{cycle-class derivation} \right). } $$ 如果： $$ \text{proof of existence} $$ 本身等價於目標 Hodge class algebraic， 則不能把它當作研究進展。 --- # 8. Restricted Seed Hypothesis 現在固定一個預先聲明的 seed grammar： $$ \mathfrak G. $$ 它決定： - 哪些 cycle constructors允許； - 哪些 correspondence constructors允許； - 哪些 auxiliary varieties允許； - operation complexity如何計分。 令： $$ L_{\mathfrak G}^p(X) $$ 為 grammar可 constructive 生成的 legal span。 ## 定義 8.1 $$ \boxed{ \operatorname{GFSH}_{\mathfrak G}(X,p): \quad L_{\mathfrak G}^p(X)=V_X^p. } $$ 這才是 nontrivial finite-generation statement。 但它不再等價於 Hodge conjecture。 --- # 9. Restricted grammar 一般比 Hodge conjecture更強 因： $$ L_{\mathfrak G}^p(X) \subseteq \operatorname{Alg}^p(X), $$ 若： $$ L_{\mathfrak G}^p(X)=V_X^p, $$ 則 Hodge conjecture成立。 所以： $$ \boxed{ \operatorname{GFSH}_{\mathfrak G}(X,p) \Longrightarrow \operatorname{HC}(X,p). } $$ 反方向一般不成立。 下一節給 explicit counterexample。 --- # 10. Divisor-Generated Grammar 令： $$ D^\bullet(X) $$ 為 cohomology ring中由 divisor classes： $$ V_X^1 $$ 生成的 graded $\mathbb Q$-subalgebra。 其 codimension-$p$ part： $$ D^p(X) \subseteq V_X^p. $$ 因 divisors algebraic， 有： $$ \boxed{ D^p(X) \subseteq \operatorname{Alg}^p(X). } $$ 若： $$ D^p(X)=V_X^p, $$ 稱 degree $p$ 的 Hodge classes divisor-generated。 --- # 11. Positive Stress Test：Projective space 對： $$ X=\mathbb P^n, $$ 有： $$ V_X^p = \mathbb Q h^p. $$ 且： $$ h=c_1(\mathcal O(1)). $$ 所以： $$ \boxed{ D^p(\mathbb P^n)=V_{\mathbb P^n}^p } $$ 對所有： $$ p. $$ 一個 divisor generator足夠。 --- # 12. Positive Stress Test：powers of an elliptic curve 令： $$ E $$ 為 complex elliptic curve。 對任何： $$ m\ge1, $$ classical Hodge-group invariant theory給： $$ \boxed{ \text{the rational Hodge ring of }E^m \text{ is generated by divisor classes}. } $$ 因此： $$ \boxed{ D^\bullet(E^m) = \bigoplus_pV_{E^m}^p. } $$ 由 Lefschetz $(1,1)$ theorem， divisor classes algebraic， 所以 Hodge conjecture對 powers of an elliptic curve成立。 這是 divisor grammar非常成功的一類。 --- # 13. Negative Stress Test：special cubic fourfold 令： $$ X\subset\mathbb P^5 $$ 為 smooth cubic fourfold。 由 Lefschetz hyperplane theorem： $$ \operatorname{Pic}(X) = \mathbb Z h. $$ 所以： $$ V_X^1 = \mathbb Q h. $$ 因此 degree-two divisor algebra只有： $$ \boxed{ D^2(X) = \mathbb Q h^2. } $$ --- # 14. Special cubic 的 Hodge rank 若： $$ X $$ 為 special cubic fourfold， 則其 integral $(2,2)$ lattice： $$ A(X) = H^4(X,\mathbb Z) \cap H^{2,2}(X) $$ rank至少： $$ 2. $$ 所以： $$ \boxed{ \dim_{\mathbb Q}V_X^2 \ge2. } $$ 故： $$ \boxed{ D^2(X) \subsetneq V_X^2. } $$ --- # 15. 但 cubic fourfold 的 Hodge conjecture成立 對 smooth cubic fourfold， degree-$4$ integral Hodge conjecture成立。 也就是每個： $$ \gamma \in H^4(X,\mathbb Z) \cap H^{2,2}(X) $$ 都是 codimension-two algebraic cycle class。 因此 special cubic fourfold滿足： $$ \boxed{ \operatorname{Alg}^2(X) = V_X^2 } $$ 甚至 integral level成立。 結合上一節： $$ \boxed{ D^2(X) \subsetneq \operatorname{Alg}^2(X) = V_X^2. } $$ --- # 16. Strictness Theorem ## 定理 16.1 「所有 Hodge classes由 divisor seeds與 intersection生成」嚴格強於 Hodge conjecture。 ### 證明 special cubic fourfold上 Hodge conjecture成立， 但： $$ D^2(X) = \mathbb Qh^2 $$ 而： $$ \dim V_X^2\ge2. $$ 故 divisor-generation失敗。 證畢。 --- # 17. 這個反例的研究意義 它說明： $$ \boxed{ \text{自然} \neq \text{充分}. } $$ 即使： - divisor seeds非常 canonical； - intersection完全合法； - grammar非常乾淨； 仍可能漏掉真正 algebraic Hodge directions。 所以 R012 禁止把： $$ \boxed{ \text{tautological/divisorial closure} } $$ 誤認為 general Hodge strategy的完整 legality closure。 --- # 18. Abelian-variety stress：Weil classes abelian varieties提供另一個重要警告。 在某些 abelian varieties上存在： $$ \boxed{ \text{exceptional Hodge classes} } $$ 不位於 divisor classes生成的 $\mathbb Q$-algebra中。 典型來源是 Weil classes。 對低維 abelian varieties， Hodge ring可由： $$ \boxed{ \text{divisor classes} + \text{Weil classes on suitable quotients} } $$ 生成。 這表示 natural grammar需要隨 Hodge symmetry擴張， 而不是固守 divisor-only。 --- # 19. Grammar 太寬與太窄的兩個失敗端 ### Too Wide $$ \mathfrak G = \text{all algebraic cycles/correspondences}. $$ 結果： $$ \boxed{ \text{tautological}. } $$ ### Too Narrow $$ \mathfrak G = \text{divisor algebra only}. $$ 結果： $$ \boxed{ \text{strictly stronger than Hodge conjecture and false in known positive cases}. } $$ 所以真正問題變成： $$ \boxed{ \text{如何量 generator complexity，而不是宣稱某個固定 grammar必然夠}. } $$ --- # 20. Library-Relative Generator Hierarchy 令： $$ \boxed{ \mathfrak G_0 \subseteq \mathfrak G_1 \subseteq \mathfrak G_2 \subseteq \cdots } $$ 為預先聲明、每一層都 anti-circular 的 generator grammars。 要求： 1. 每層 constructors明確； 2. 新增 constructor必須帶 SeedCert / correspondence certificate； 3. 不得依 target residual algebraicity假設加入； 4. hierarchy在研究前或獨立於當前 target residual定義。 --- # 21. Program Default Hierarchy 以下只作本研究計畫的 default，不宣稱數學上 canonical。 ## Level 0：Structural / Tate seeds 包括： - unit； - points； - chosen polarization； - powers of polarization； - diagonal； - Chern classes of explicitly given algebraic bundles； - identities與 structural projections。 ## Level 1：Divisorial / Morphism seeds 加入： - finite divisor basis； - graphs of explicit algebraic morphisms； - graphs of explicit endomorphisms； - their products與 correspondence closure。 ## Level 2：Explicit geometric incidence seeds 加入： - explicitly defined subvarieties； - incidence varieties； - universal families over explicit parameter spaces； - degeneracy loci； - known special surfaces / subvarieties。 ## Level 3：Moduli / sheaf-derived algebraic seeds 加入經完整 algebraic construction驗證的： - moduli-space incidence cycles； - Chern characters of universal sheaves / complexes where defined； - cycle classes obtained from algebraic parameter spaces； - deformation-specialization constructions with explicit cycle witness。 ## Level $\infty$：Semantic all-cycle universe 包含所有 algebraic cycles。 只作理論上限。 不得當作 autonomous constructive research layer。 --- # 22. Complexity-Bounded Legal Span 對每個： $$ c\in\mathbb N, $$ 定義： $$ \boxed{ L_{\le c}^p(X) } $$ 為： $$ \mathfrak G_c $$ 下的 constructive legal span。 有： $$ L_{\le0}^p(X) \subseteq L_{\le1}^p(X) \subseteq L_{\le2}^p(X) \subseteq \cdots \subseteq V_X^p. $$ --- # 23. Complexity Residual 定義： $$ \boxed{ R_{\le c}^p(X) = V_X^p/L_{\le c}^p(X) } $$ 以及： $$ \boxed{ \lambda_c(X,p) = \dim_{\mathbb Q}R_{\le c}^p(X). } $$ 則： $$ \boxed{ \lambda_{c+1}(X,p) \le \lambda_c(X,p). } $$ --- # 24. Legality Generator Depth 若存在： $$ c $$ 使： $$ \lambda_c(X,p)=0, $$ 定義： $$ \boxed{ \kappa_{\mathfrak G}(X,p) = \min \left\{ c: \lambda_c(X,p)=0 \right\}. } $$ 若沒有， 定義： $$ \boxed{ \kappa_{\mathfrak G}(X,p)=\infty. } $$ 稱為： **Legality Generator Depth**。 --- # 25. $\kappa_{\mathfrak G}$ 不是 intrinsic invariant 它依賴： $$ \mathfrak G_\bullet. $$ 所以必須寫： $$ \boxed{ \kappa_{\mathfrak G} } $$ 不能只寫： $$ \kappa(X,p) $$ 假裝與 research grammar無關。 但在 grammar固定後， 它提供可比較的 construction complexity measure。 --- # 26. Monotonicity Theorem 若兩套 hierarchy滿足： $$ \mathfrak G_c \subseteq \mathfrak G'_c $$ 對所有： $$ c, $$ 則： $$ \boxed{ L_{\le c,\mathfrak G}^p(X) \subseteq L_{\le c,\mathfrak G'}^p(X) } $$ 所以： $$ \boxed{ \lambda_{c,\mathfrak G'}(X,p) \le \lambda_{c,\mathfrak G}(X,p). } $$ 若兩者都 finite closure， 則： $$ \boxed{ \kappa_{\mathfrak G'}(X,p) \le \kappa_{\mathfrak G}(X,p). } $$ --- # 27. Residual-Decay Profile 定義： $$ \boxed{ \Lambda_{\mathfrak G}(X,p) = \left( \lambda_0, \lambda_1, \lambda_2, \ldots \right). } $$ 稱： **Legality Residual-Decay Profile**。 它比單一： $$ \kappa_{\mathfrak G} $$ 更有資訊。 --- # 28. Seed-count 本身不夠 假設一個 correspondence generator可以把單一 seed orbit展開成： $$ d $$ 個線性獨立 Hodge directions。 那一個 seed可能比十個彼此無關的 seeds更有價值。 所以需要區分： $$ \boxed{ \text{seed count} } $$ 與： $$ \boxed{ \text{orbit capacity}. } $$ --- # 29. Unary Orbit Capacity 固定 unary correspondence library： $$ \mathcal G. $$ 對 seed： $$ s $$ 與 target： $$ (X,p), $$ 定義： $$ \boxed{ \mathcal O_{\mathcal G}(s;X,p) = \operatorname{span}_{\mathbb Q} \left\{ \operatorname{cl}(\Gamma_\ast Z_s) \right\} } $$ 其中 $\Gamma$ 走過所有 well-typed composite correspondences from the seed object to $(X,p)$。 定義 capacity： $$ \boxed{ \mu_{\mathcal G}(s;X,p) = \dim \mathcal O_{\mathcal G}(s;X,p). } $$ --- # 30. Seed-number Lower Bound 若： $$ \mu_{\max} = \max_s \mu_{\mathcal G}(s;X,p), $$ 而： $$ r = \dim V_X^p, $$ 則任何只靠 unary orbit spans張滿 $V_X^p$ 的 seed set大小： $$ m $$ 滿足： $$ \boxed{ m \ge \left\lceil \frac{r}{\mu_{\max}} \right\rceil. } $$ ### 證明 $m$ 個 seed orbit的 span dimension最多： $$ m\mu_{\max}. $$ 若要至少： $$ r, $$ 則： $$ m\mu_{\max}\ge r. $$ 證畢。 注意 external products可能增加非線性組合能力， 所以此 lower bound只適用 unary stage。 --- # 31. Projective space 的 complexity profile 對： $$ \mathbb P^n, $$ Level 0 polarization seed： $$ h $$ 透過 intersection powers產生： $$ 1,h,\ldots,h^n. $$ 因此： $$ \boxed{ \kappa_{\mathfrak G}(\mathbb P^n,p)=0 } $$ 在上述 default hierarchy下。 --- # 32. Divisor Hodge classes 的 complexity profile 對任意 smooth projective： $$ X, $$ 若 Level 1允許一組 finite basis of： $$ NS(X)_{\mathbb Q}, $$ 由 Lefschetz $(1,1)$ theorem： $$ \boxed{ L_{\le1}^1(X)=V_X^1. } $$ 所以： $$ \boxed{ \kappa_{\mathfrak G}(X,1)\le1. } $$ --- # 33. Elliptic powers 的 complexity profile 若： $$ X=E^m, $$ 且 Level 1包含其 divisor basis以及 explicit homomorphism graphs， classical Hodge theory給： $$ \boxed{ L_{\le1}^{\bullet}(E^m) = V_{E^m}^{\bullet}. } $$ 所以： $$ \boxed{ \kappa_{\mathfrak G}(E^m,p)\le1 } $$ 對所有： $$ p. $$ --- # 34. Special cubic 的 complexity jump 對 special cubic fourfold： $$ X, $$ Level 1若只含 divisor-generated internal Chow ring， 則： $$ L_{\le1}^2(X) = \mathbb Qh^2. $$ 但： $$ \dim V_X^2\ge2. $$ 所以： $$ \boxed{ \lambda_1(X,2)\ge1. } $$ 因此： $$ \boxed{ \kappa_{\mathfrak G}(X,2)>1 } $$ 對 divisor-level grammar。 這是已知 Hodge conjecture成立時仍出現的 genuine generator-complexity jump。 --- # 35. Special surface 作為新 seed 若 special cubic： $$ X $$ 明確包含 algebraic surface： $$ S\subset X $$ 且： $$ [S] $$ 不在： $$ \mathbb Qh^2, $$ 那麼加入： $$ [S] $$ 作 Level 2 explicit geometric seed， legal span rank至少增加： $$ 1. $$ 對 rank-two typical special cubic， $$ h^2 $$ 與： $$ [S] $$ 已張滿： $$ V_X^2. $$ 此時： $$ \boxed{ \lambda_2(X,2)=0. } $$ --- # 36. Hodge conjecture成立不給 uniform low complexity special cubic example告訴我們： $$ \boxed{ \operatorname{HC}(X,p) } $$ 只保證某個 finite witness basis存在。 它不保證： - divisor level足夠； - canonical seeds足夠； - fixed low grammar level足夠； - uniform construction complexity有界。 所以： $$ \boxed{ \text{algebraicity} \neq \text{low-complexity constructibility}. } $$ --- # 37. Uniform Finite-Seed Hypothesis 更強 對某一 variety class： $$ \mathcal C, $$ 若宣稱存在： $$ C<\infty $$ 使： $$ \kappa_{\mathfrak G}(X,p)\le C $$ 對所有： $$ X\in\mathcal C, $$ 這是一個真正比 pointwise Hodge conjecture強的新命題。 稱： $$ \boxed{ \operatorname{UFSG}_{\mathfrak G} (\mathcal C,p,C). } $$ R012 不主張它成立。 --- # 38. 為何 uniform complexity才可能有研究價值 pointwise： $$ \operatorname{HC} $$ 只說： $$ \forall X,\exists\text{ witnesses}. $$ uniform generator theorem會說： $$ \boxed{ \forall X\in\mathcal C, \quad \text{witnesses可由 bounded grammar complexity產生}. } $$ 這才是真正的 structural compression theorem。 --- # 39. Hodge Symmetry 可指導 grammar，但不能替代 witness R006 的： $$ G_X^{\mathrm{coh}} $$ 可告訴我們 residual Hodge classes的 representation type。 這可用來選擇下一級 seed constructor。 但： $$ \boxed{ \text{symmetry detection} \not\Rightarrow \text{algebraic witness construction}. } $$ 所以 workflow應是： $$ \boxed{ \text{Measure symmetry} \to \text{suggest seed geometry} \to \text{construct cycle} \to \mathrm{ARG} \to \text{rank gain}. } $$ --- # 40. Complexity-Guided Search Rule 若目前： $$ R_{\le c}^p(X) \neq0, $$ 下一輪不要問： > 還有沒有任何 algebraic cycle？ 而應問： > residual directions具有什麼 Hodge / symmetry / monodromy / period特徵，哪一類 Level $c+1$ algebraic constructor最可能命中？ 這正式把 Phase I outputs重新用回 Phase II。 --- # 41. Library Expansion Rule 只有當 candidate constructor： $$ \mathcal K $$ 滿足： 1. algebraic existence independently verified； 2. SeedCert / correspondence certificate完成； 3. 不依賴 target algebraicity circular assumption； 4. cycle class可以計算或至少定位； 5. 對 residual有非零 rank gain； 才可： $$ \boxed{ \mathfrak G_c \to \mathfrak G_{c+1} } $$ 並記錄為真正 research progress。 --- # 42. Failure Modes R012 將 finite-seed研究的失敗分成四類。 ## FS-A：Tautology library太大， 等於所有 cycles。 ## FS-B：Overstrength library太窄， 即使 Hodge conjecture true也覆蓋不了。 special cubic divisor grammar就是例子。 ## FS-C：Target Leakage 看到 residual後直接假設代表它的 cycle作 seed。 ## FS-D：Complexity Drift 每遇到反例就無規則新增 bespoke constructor， 最後 grammar變成： $$ \text{all cycles} $$ 的慢性版本。 --- # 43. Grammar Versioning 因此每一輪研究必須固定： $$ \boxed{ \mathfrak G^{(v)} } $$ 版本。 新增 constructor時： 1. bump grammar version； 2. 說明新增規則； 3. 重新計算 residual； 4. 不得把舊版本失敗刪掉。 這讓： $$ \lambda_c $$ 有可比較性。 --- # 44. Finite Seed Hypothesis 的最終處置 從 R012 起， 不再使用裸命題： $$ \boxed{ \text{Finite Seed Hypothesis}. } $$ 改成兩類問題。 ## Pointwise $$ \boxed{ \mathrm{LGD}_{\mathfrak G}(X,p): \text{ compute or bound } \kappa_{\mathfrak G}(X,p). } $$ ## Uniform $$ \boxed{ \mathrm{ULGB}_{\mathfrak G}(\mathcal C,p): \text{ find a uniform bound on } \kappa_{\mathfrak G}. } $$ 其中： **LGD** = Legality Generator Depth。 **ULGB** = Uniform Legality Generator Bound。 --- # 45. 與 Hodge conjecture 的邏輯關係 對 complete semantic grammar： $$ \mathfrak G_\infty, $$ 有： $$ \boxed{ \kappa_{\mathfrak G_\infty}(X,p)<\infty \iff \operatorname{HC}(X,p). } $$ 對 restricted constructive grammar： $$ \mathfrak G, $$ 有： $$ \boxed{ \kappa_{\mathfrak G}(X,p)<\infty \Longrightarrow \operatorname{HC}(X,p), } $$ 但 converse可能失敗。 所以 generator depth提供的是： $$ \boxed{ \text{refinement of algebraicity by construction complexity}. } $$ --- # 46. Phase-II Research Objective 修正 原本可能寫： $$ \text{find finite seeds}. $$ R012 後修正為： $$ \boxed{ \text{find low-complexity anti-circular legal generators that reduce the residual}. } $$ 這才是非平凡問題。 --- # 47. R012 Status 本輪已證／固定： 1. unrestricted finite-seed hypothesis與 Hodge conjecture等價； 2. bare finite-seed claim不是新的 conjecture； 3. seed count高度依賴 correspondence library； 4. all-correspondence library使 seed count退化為 $1$； 5. anti-circular Seed Admission Rule； 6. restricted grammar coverage implies Hodge conjecture，但一般不反推； 7. divisor-generation hypothesis嚴格強於 Hodge conjecture； 8. special cubic fourfold提供 explicit counterexample； 9. powers of elliptic curves提供 divisor-level positive control； 10. Weil classes顯示 abelian-variety grammar需要超越 divisors； 11. 定義 nested generator hierarchy； 12. 定義 complexity residual： $$ \lambda_c; $$ 13. 定義 Legality Generator Depth： $$ \kappa_{\mathfrak G}; $$ 14. 證明 hierarchy monotonicity； 15. 定義 residual-decay profile； 16. 建立 unary orbit-capacity seed lower bound； 17. 定義 uniform generator-bound問題； 18. 裸 `Finite Seed Hypothesis` 正式退役。 因此： $$ \boxed{ \mathrm{Status} = \mathrm{PROVED}. } $$ 只指 R012 Primary Claim。 --- # 48. Next Interface 下一輪應做第一次 Phase-II audit： ```text HODGE_MLRSC_R013_L_LegalityClosureAuditI.md ``` R013 應檢查： 1. direct witness relation是否已 typed-complete； 2. correspondence calculus是否完整涵蓋目前 scope； 3. constructive closure是否有 circular loophole； 4. generator complexity是否足以表示「合法連結難度」； 5. 是否缺少 deformation / specialization / family-cycle transport這個 legality axis； 6. 若缺失，是否必須在進 Phase III 前先建立 relative-cycle legality。 特別要測： $$ \boxed{ \text{family 中一個 legal witness能否合法 transport} } $$ 因為 R004/R008 已經證明： $$ \text{Hodge transport} $$ 與： $$ \text{cycle transport} $$ 不是同一件事。 這很可能會成為 Phase II 下一個真正的缺口。 --- # 49. 本輪基本摘要 R012 最重要的修正是： $$ \boxed{ \text{「有限 seeds」本身不是方法論突破}. } $$ 若 seeds不受限制， 它只是在說： $$ \boxed{ \text{Hodge conjecture成立} } $$ 再利用： $$ V_X^p $$ 有限維挑一組 basis witnesses。 若限制得太窄， 例如只准 divisor seeds， special cubic fourfold又立刻告訴我們： $$ \boxed{ \text{Hodge conjecture可以成立， 但 restricted finite-seed grammar仍失敗}. } $$ 所以真正值得研究的是： $$ \boxed{ \text{construction complexity} } $$ 而不是： $$ \boxed{ \text{finite vs infinite}. } $$ Phase II 後續因此改成追蹤： $$ \lambda_0 \ge \lambda_1 \ge \lambda_2 \ge \cdots $$ 以及： $$ \kappa_{\mathfrak G}(X,p). $$ 也就是： > 到底需要多高層級的 explicit algebraic construction，才能把 Hodge residual 壓到零？ --- # 參考文獻 1. B. Hassett, *Cubic Fourfolds, K3 Surfaces, and Rationality Questions*. Special cubic fourfolds have extra integral $(2,2)$ classes beyond $\mathbb Z h^2$，且 cubic fourfold 的 integral Hodge conjecture成立。 https://www.math.brown.edu/bhassett/papers/CIMEsurvey/CubicLectures6.pdf 2. A. Perry, *The integral Hodge conjecture for two-dimensional Calabi–Yau categories*, Compositio Mathematica. Corollary: the integral Hodge conjecture in the relevant degree holds for cubic fourfolds. https://www.cambridge.org/core/journals/compositio-mathematica/article/integral-hodge-conjecture-for-twodimensional-calabiyau-categories/26C09DC3D6B65897F14D6ADA7F259FF9 3. J. S. Milne, *Shimura Varieties and Moduli*. The Hodge ring of a power of an elliptic curve is generated by classes of type $(1,1)$, hence by algebraic divisor classes. https://www.jmilne.org/math/xnotes/svh.pdf 4. B. J. J. Moonen, Y. G. Zarhin, *Hodge classes on abelian varieties of low dimension*. For dimension at most five, Hodge rings are generated by divisor classes together with Weil classes on suitable quotients. https://arxiv.org/abs/math/9901113 5. B. J. J. Moonen, Y. G. Zarhin, *Weil classes on abelian varieties*. Exceptional Hodge classes provide a standard source of non-divisor-generated Hodge tensors. https://arxiv.org/abs/alg-geom/9612017 6. W. Fulton, *Intersection Theory*. 7. Aletheia, *HODGE_MLRSC_R010_L_DirectLegalWitnessTaxonomy*, 2026-09-15. 8. Aletheia, *HODGE_MLRSC_R011_L_LegalOperationClosure*, 2026-09-15. --- ## Canonical Source Declaration 本檔案為本輪正式 UTF-8 Markdown canonical source。 數學原始碼只使用 `$...$` 與 `$$...$$`。 聊天畫面不是本輪 canonical source。