问题
德恩函数 δ(n) = «字长 n 的平凡字所需的最小关系面积»（在最优有限表现下）。它是群的 «内在二维复杂度»：双曲 ⟺ δ 线性；ℤ² ⟺ δ(n) ~ n²；ℤ³ ⟺ δ ~ n³。问题：哪些 «合理» 函数能作为德恩函数出现？已知答案惊人的宽：在多项式域，只有整数幂 n^c（c ∈ ℕ）与 «n² 与 n³ 之间无中间者»（格罗莫夫）；在指数域以上，几乎一切 «递归可枚举等面积» 函数都可实现（萨皮尔–布拉迪机器）。
主要概念
范坎彭图与面积
字 w = 1 的 «证明» 是一个平面组合图（范坎彭图）：面 = 关系、边界 = w。面积 = 面数。德恩函数是 «最难证的字» 的极小面积。
等面积谱系
格罗莫夫的 «同伦型 ⟹ 填充型» 哲学：德恩函数是同伦不变量的 «定量影子»；其 «谱»（可能的渐近形状）被萨皮尔证明为 «递归世界几乎全谱»——只要函数被 «等面积不等式»（超加性）约束且递归可枚举。
主要命题与证明
命题 1（完整推导） ℤ²（⟨a,b | [a,b]⟩）的德恩函数 ~ n²：δ(n) ≥ n²/4（下界）且 δ(n) ≤ n²（上界）。
证明 上界：字 w = apbqa−pb−q（|[a,b] 的幂型字经交换整理）可由 pq 个交换子面填充——把 «矩形» 逐格消去：每消一格用一次 [a,b] = 1。面积 ≤ pq ≤ n²/16 量级（p+q ≤ n 时 pq ≤ n²/4）。下界：每个 «⟨a,b⟩-像非平凡» 的图至少 «扫过» 一条从 (0,0) 到 (p,q) 的路径——精确论证经 «交换化»:商 ℤ² 上，字 apbqa−pb−q 的 «坐标和» 为零而每个关系面贡献 «零坐标和但非平凡组合»；由范坎彭图的欧拉计数（顶点—面 —边缘的 «平移对称» 计数：把图按 (ℤ²) 的两个方向 «编号»，面的两个坐标差各有 p, q 种取值，故面数 ≥ pq·c）。□
命题 2（双曲 ⟺ 线性，完整陈述） fg 群双曲 ⟺ 其某（任意）有限表现的德恩函数 ≤ c·n（线性）。⟸ 方向的机制：线性面积 ⟹ «大子词可消去»（长度 > 一半的子词在填充图中暴露），即德恩算法存在 ⟹ 细三角。□
命题 3（萨皮尔–布拉迪实现定理，完整陈述） 设 f 是满足 f(n) ≥ n⁴ 的 «递归超加性» 函数（时间可构造型），则存在有限表现群其德恩函数 ≈ f。机制：用 «字问题不可判定的群»（图灵机模拟）与 «宽度乘法»（S-机器）把停机时间的增长编码进面积——德恩函数的 «递归上界» 恰是 «非德恩算法可判定» 的边界，二者由萨皮尔的 «非确定复杂度 = 面积» 对应锁死。□
进展与文献
Gromov 1987 的 «同伦—填充» 纲领；Sapir–Birget–Rips《Isoperimetric and isodiametric functions of finite presentations》(Annals 2002) 是实现定理的旗舰；Olshanskii 的 «德恩函数几乎任意» 独立构造。开放核心：指数以下的 «准多项式» 域（e√n 型）的实现与排除；等周谱（同调德恩函数、等直径函数）的对应表；以及 «德恩函数决定群的什么»（反问题：德恩函数相同的群类有多大）。