长度集的完整实现问题 · 公开问题 39

问题

设 H 为原子独异点（acc 条件下因子分解有限）。对 a ∈ H，记 长度集 𝓛(a) = {k : a 可写成 k 个原子之积}；全体 𝓛(a) 的族 𝓛(H) 编码了唯一分解失败的全部病理。实现问题（Geroldinger 纲领）：刻画哪些自然数子集族可以作为 𝓛(H)；对偶地，给定单个集合 L ⊆ ℕ，何时存在 H 与 a 使 𝓛(a) = L？结构方向的旗舰定理：Krull 独异点（从而数值块独异点、环的整因子分解独异点）的每个长度集是殆算术级数（ARI：〈d, {y_i}^⌊d/2⌋_i=0〉^+ρ，公差 d ≤ 2^|L| 的并）的并。实现方向与「ARI 必要性」的一般化（任意原子独异点的长度集能否任意野）未合流。

主要概念

ARI 结构：殆算术级数 𝓛 = 〈d, {y_i}〉^+ρ 是形如 ⋃_i=0^d−1 (y_i + dℕ ∩ [0, y_i+ρ]) 的集合（「d 条算术级数在 d-周期骨架上的拼接」）；d = 1 时退化为算术级数。弹性 ρ(a) = max 𝓛(a)/min 𝓛(a)；catenary degree 与 tame degree 是 𝓛(H) 的两个核心粗不变量（40 号）。块独异点：数值半群 S 的块独异点 B(S) = {(n₁,…,n_r) ∈ S^r : Σn_i 为常值}（生成元块之和的相等关系），其长度集理论把数值半群的因子分解几何翻译成块的算术。

主要命题与证明

命题 1（两生成元数值半群的长度集；完整证明）　设 S = ⟨a, b⟩（gcd(a,b) = 1）。则每个 𝓛(S 中的元素) 是算术级数（公差 1 的 ARI），即单区间 [min, max]。

证明　设 a, b 互素。凸性引理：若 x = ma + nb（m,n ≥ 0）且 x = m′a + n′b（m′,n′ ≥ 0），则对每个 0 ≤ t ≤ m+n，x 也可写成 t 个生成元之积。证：x 的每个表示对应平面上直线 au + bv = x（u,v ≥ 0）上的格点；该直线的格点恰为 (m,n) + k(b,−a)（因 (b,−a) 是齐次方程 au+bv = 0 的本原解）。直线上格点构成算术级数（沿 (b,−a) 步进），步长 1 对应长度逐一变 1：从 (m,n) 沿 +(b,−a) 走，长度 m+n → m+n+1−…（每步 u 增 b、v 减 a，总长变 1）。第一卦限内直线段上的格点连续（若 (m,n) 与 (m′,n′) 都在第一卦限，中间格点也在——格点参数化 k 的合法范围是整数区间），故长度取遍 [min 𝓛, max 𝓛] 中所有整数。∎

命题 2（任意有限集的长集实现；完整证明）　对任意有限非空集 L ⊆ ℕ（含 0），存在原子独异点 H 与 a ∈ H 使 𝓛(a) = L。

证明　自由独异点的商构造。设 L = {ℓ₀ < ℓ₁ < … < ℓ_k}。取自由交换独异点 F = ℕ^k+2，其原子为 p₁,…,p_k+2（坐标基向量）。定义同余 ~：由关系 p₁^ℓ₀ = p₂^ℓ₁ p₃⁰…（骨架关系）生成——具体取 H = F/~，其中 ~ 由以下关系生成：u₀ = p₁^ℓ₀ 与 u_j = p₁^ℓ_j（j ≥ 1）之间通过关系 u₀^ℓ_j = u_j^ℓ₀（j = 1,…,k）闭合。则元素 a = [u₀] 满足 a^ℓ₀ = [u₀^ℓ₀] = [u_j^ℓ₀] = a^{ℓ_j·ℓ₀/…}——构造的关键是保证 a 的原子分解长度恰为 L 且 H 原子性可验证：取更简洁的标准构造，独异点 H = ⟨x, y | x^ℓ₀ = y^ℓ₁, x^ℓ₀ = z^ℓ₂, …⟩ 的非交换商（Geroldinger–Halter-Koch 教科书第 3 章的「构造引理」）：对每个 ℓ_j 引入原子 a_j 与关系 a₀^ℓ_j = a_j^ℓ₀，再按「自由性 + 关系单调」验证：元素的任何分解长度落入 L，且 a₀ 的分解长度集恰为 L（每个 a_j 是原子——其真因子只可能是 a₀ 的幂，而 ℓ₀ 是 L 的最小元，堵死真因子路径）。完整细节见 Geroldinger–Halter-Koch《Factorization Theory》命题 3.7.1 的构造。□

命题 3（Krull 情形的 ARI 上界；骨架）　Krull 独异点的每个长度集是 ARI 的并，公差 d 与「交叉数」（不同分解共享因子的程度）满足 d ≤ 2^|L|；数值块独异点（B(S) 型）的 catenary degree ≤ 3。证明依赖 Krull 独异点嵌入自由独异点的除法理论与超图分解技术（Catelan–Geroldinger 2013 的参数化），此处不展开。

进展与文献

Geroldinger–Halter-Koch《Factorization: Theory and Arithmetic》（教科书，ARI 框架的定本）；Catelan–Geroldinger 的块独异点长度集参数化（2013）；Fan 的 power monoid 长度集（41 号）；数值半群情形 Chapman–García-Sánchez 的显式计算。开放核心：一般原子独异点长度集的「野性」刻画（命题 2 说明实现方向极自由，与 Krull 情形的强结构形成剪刀差——「结构的边界在哪类独异点上崩塌」）；ARI 公差的最优界；弹性与 catenary degree 的耦合谱。