Conference

Continuity-Enhancing Degree Elevation and Splits

Cem Yuksel

University of Utah

SIGGRAPH 2026Geometry & ModelingSplineBezier CurveGeometric ContinuityCurve ModelingDegree Elevation
PaperProject

一句话总结

论文提出两种局部、闭式的算法——”连续性增强升阶”和”连续性增强分割”，让用户在保持熟悉的贝塞尔控制柄（Bézier handles）编辑界面不变的前提下，把只有 \(C^1\) 连续的分段曲线自动升级为具备曲率连续（\(C^2\) 或 \(G^2\)，乃至更高）的曲线。

研究背景

  • 领域现状：带贝塞尔控制柄的分段三次曲线是几乎所有曲线编辑软件的标配。通过”锁定”控制柄（让相邻中间控制点与被插值控制点共线）可以轻松得到 \(C^1\) 或 \(G^1\)（切线方向）连续。
  • 核心痛点：要达到曲率连续（\(C^2\) / \(G^2\)）却一直是难题。虽然分段三次曲线本身可以做到 \(C^2\)（如 B 样条），但这类公式无法用大家熟悉的贝塞尔控制柄来定义。原因在于：某个插值控制点处的 \(C^2\) 连续不仅取决于它两侧紧邻的中间控制点，还牵涉到两段曲线另一端的中间控制点，因此在不覆盖用户在别处设定的切线的前提下几乎无法实现。
  • 本文 idea：不去更换曲线公式，而是在给定 \(C^1\) 曲线上，围绕每个接缝点做一次”最小改动”的局部优化，自动微调中间控制点，把连续性提上去。作者给出两条互补的路线：升阶（提高多项式次数换取自由度）与分割（保持三次、把每段切成三段）。

方法

整体框架：两种方案共用同一个”连续性增强”内核——在每个插值控制点 \(b_0\) 处，为满足 \(C^k\) / \(G^k\) 连续条件而对两侧的中间控制点做尽量小的移动，并且这个优化有闭式解、每段只有常数级计算开销。区别在于自由度从哪来：升阶靠”抬高多项式次数”提供额外控制点，分割靠”把一段拆成三段”腾出控制点。

flowchart LR
  A["输入 C¹ 分段曲线 + Bézier 控制柄"] --> B{"选择方案"}
  B --> C["升阶：抬到 n' ≥ 2k+1"]
  B --> D["分割：每段切成 3 段 (三次)"]
  C --> E["逐接缝点局部优化 (闭式解)"]
  D --> E
  E --> F["输出 C² / G² 或更高连续曲线"]

关键设计：

  1. 最小改动的局部优化内核。从一条已经 \(C^{k-1}\) 连续的曲线出发，要达到 \(C^k\)，只需修改两侧的第 \(k\) 个中间控制点 \(b_k\) 与 \(b_{-k}\)，且不影响低阶导数。作者用导数匹配条件 \(D_{-i} = \alpha_i D_i\) 写出约束，其中 \(\alpha\) 是两段曲线的相对参数速度。以最小化控制点移动量 \(L = \lVert b_k^* - b_k \rVert^2 + \alpha^{2k}\lVert b_k^* - b_{-k}^+ \rVert^2\) 为目标，得到闭式最优解 \(b_k^* = \frac{1}{1+\alpha^{2k}} b_k + \frac{\alpha^{2k}}{1+\alpha^{2k}} b_{-k}^+\)，另一侧控制点随之算出。这解释了”是什么/为什么/怎么做”：改动小意味着新曲线形状贴近原曲线，闭式解意味着可交互实时。

  2. 几何连续（\(G^k\)）的放松。参数连续过于苛刻；几何连续不要求参数导数逐一相等，只需满足带重参数化因子 \(\beta, \gamma, \delta\) 的条件，改动更小。作者把这些自由因子当作额外变量，进一步取使损失最小的 \(\beta'\)（\(G^2\)）、\(\gamma'\)（\(G^3\)）、\(\delta'\)（\(G^4\)），同样得到闭式解，推到 \(G^4\) 为止（更高阶少用）。

  3. 连续性增强升阶。任意 \(n\) 次样条都可无损写成更高次多项式。当原次数 \(n < 2k+1\)、自由度不够独立调整每个接缝两侧时，先升阶到 \(n' \ge 2k+1\) 再做上面的优化。升阶还有额外好处：次数越高，单个控制点权重越小，连续性修正带来的形变也越小。代价是提高了多项式次数，而并非所有软件/文件格式都支持高于三次的多项式。

  4. 连续性增强分割（专为三次）。保持三次不变，把每段切成三段：首段用修改后的 \(b_2^*\) 保证与前一段 \(G^2\)，尾段用 \(b_1^*\) 保证与后一段 \(G^2\)，中间段用一组新控制点 \(q_i\) 把首尾以 \(C^2\) 连起来。分割点由参数 \(\lambda \in (0, \tfrac{1}{2})\) 控制，中间段控制点通过 \(C^0/C^1/C^2\) 条件联立求出。\(\lambda \to 0\) 时形状最贴近原曲线但接缝附近曲率变化陡；\(\lambda \to \tfrac{1}{2}\) 时中段消失、形变最大。作者默认取 \(\lambda = \tfrac{1}{4}\)，兼顾贴形与曲率平缓，且形状与升阶方案接近。

此外，为保住原本是直线的段（优化本身不含线性约束会把直线掰弯），作者加入线性约束：把修改后控制点限制在由 \(b_1, b_{-1}\) 定义的直线上，仍有闭式解；再用基于归一化总曲率 \(K\) 的非线性度量 \(\rho_i\) 在”带约束/不带约束”两解之间混合，只在曲线接近直线时才启用约束，避免非直线处引入多余形变。

实验结果

作者用单个 HTML 文件里的 JavaScript 实现，曲线以 SVG（高密度折线镶嵌）原生渲染。评估以定性为主，围绕形状贴合、局部支撑、线性保持、高阶连续与插值曲线展开。下面用”连续性等级 × 特性”对比升阶方案随连续阶数的稳定性表现（数据取自星形模型）：

目标连续 多项式次数 形状表现
“G²/C²” 5 修复曲率不连续，形状贴近输入
“G³/C³” 7 进一步消除曲率变化的不连续
“G⁴/C⁴” 9 再加一级连续，形状仍合理
“C¹²” 25 仍能产生稳定形状（该模型的上限）
“C¹⁵” 31 达到目标连续但形状严重偏离输入

其余关键结论用文字补充：两种 \(G^2\) 方案生成的曲线彼此极为接近，且都很贴合输入 \(C^1\) 曲线；用更高次数或更小 \(\lambda\) 可进一步逼近输入形状，代价是接缝处曲率变化更陡。\(C^2\) 曲线在二阶导沿切线方向翻转时（如茶壶盖尖）会明显偏离输入。连续性增强会把每个控制点的局部影响从 2 段扩展到 4 段，但不会随连续阶数进一步扩大——这优于 Catmull-Rom（阶数越高影响范围越大）。用于插值曲线时，从 \(C^1\) 向心 Catmull-Rom 出发做增强，可保留其无尖点、无自交的优良性质。方法还推广到高维曲线和贝塞尔曲面：把 \(C^1\) 的犹他茶壶转成 \(G^2\) 曲面，反射中的曲率不连续被消除。

亮点与局限

  • 亮点：
    • 首次让最主流的贝塞尔控制柄界面能够直接编辑 \(C^2\) / \(G^2\) 曲线，用户几乎无学习成本。
    • 全程闭式解、每段常数开销，适合交互式实时编辑。
    • 分割方案在不提升多项式次数的前提下达到曲率连续，兼容只支持三次的软件与文件格式。
    • 通用性强：可推到任意连续阶、任意维度，还能用于插值曲线和贝塞尔曲面。
    • 用非线性度量混合线性约束，优雅地兼顾”保直线”与”少形变”。
  • 局限：
    • 连续性增强必然改变曲线形状，无法与输入精确重合；\(C^2\) 情况在二阶导翻转处偏离尤为明显。
    • 结果曲线失去一些贝塞尔曲线的良好性质：不再有精确细分性质，凸包性质也可能被打破（虽可加约束保住）。
    • 升阶会抬高多项式次数，超过 \(G^4\) / \(C^4\) 后随控制柄改动易出现意料之外的形变与曲率不稳定，实用性有限。
    • 优化目标是参数化意义下的最小改动，对更看重”形状”的应用不一定最优。

延伸思考

论文主体是纯几何/代数推导，与作者此前的 \(C^2\) 插值样条、Catmull-Rom 参数化工作一脉相承，可看作把”曲率连续”能力叠加到既有编辑范式上的一次工程化尝试。作者自己指出的方向很清晰：设计对参数化不敏感、直接以形状为目标的损失函数；探索一次性调整多个控制点的非贪心优化以更好支撑高阶连续；以及更多样的非线性度量与直线保持策略。对做 CAD、字体、矢量绘图或曲面建模的人来说，”分割方案不升次即得 \(G^2\)”这一点最具落地价值，值得追问它在闭合曲线、尖角保留、以及与现有 NURBS 管线互操作上的表现。