Quadrature rules with few nodes supported on algebraic curves

技术摘要：支持代数曲线上少节点求积规则的研究

问题陈述
本文研究了确定给定强度 $s$ 的求积规则所需最小节点数的问题，其中该规则用于近似关于支撑在实代数或有理曲线上的正 Borel 测度 $\mu$ 的积分。虽然经典的 Richter 和 Tchakaloff 结果通过 Carathéodory 定理保证了最多存在 $\binom{n+s}{s}$ 个节点的求积规则，但当支撑集位于低维代数集上时，这些界限往往远非最优。具体而言，作者关注的是奇数阶情况（$s = 2s' - 1$），这对于高斯求积至关重要，但在这种情况下，仅靠矩锥方法无法得出最优的节点计数。其目标是推导出关于节点数 $N$ 的显式且改进的上界，该界限取决于曲线的次数、其拓扑结构（特别是无穷远处的点）以及其参数化方式。

方法论
作者采用了优化视角并结合了实代数几何的工具。

1. 优化框架： 作者并未仅仅依赖于矩锥的凸几何性质，而是将求积规则的存在性表述为一个最小化问题。他们通过在满足矩匹配条件的求积规则空间内，最小化一个合适的惩罚函数（例如权重之和或惩罚节点聚集程度的函数）来解决问题。
2. 拉格朗日乘子与平稳性： 通过利用拉格朗日乘子分析该优化问题的平稳点，作者推导出了最优节点必须满足的条件。具体而言，最优节点对应于支撑曲线 $F=0$ 与一个导出的多项式曲线 $G=0$（或其导数）的交点，且这两条曲线在此处具有平行的切线。
3. 几何计数：
   • 对于平面曲线，作者应用 Bézout 定理来限制定义该曲线的多项式与最优性条件多项式之间的交点数量。他们考虑了重数（重数 $\ge 2$ 的节点）以及边界（无穷远处的点）的贡献。
   • 对于任意维度的有理曲线，作者利用了其参数化 $\phi(t)$。他们分析了从环境空间上的多项式到参数 $t$ 上多项式的拉回映射（pullback map）的满射性。这使得他们能够将多元问题简化为一元问题，从而利用已知的一元非退化测度的高斯求积的最优性。
4. 奇异性与零点： 分析过程明确处理了有理参数化的分母 $\phi_0(t)$，通过计算其不同的实零点（这些零点对应于无穷远处的点或奇异点）来精细化节点界限。

主要贡献与结果
本文为支撑在曲线上的强度为 $2s-1$（及 $2s$）的求积规则提供了显式的节点数 $N$ 的上界。

1. 光滑平面代数曲线：
   对于次数为 $d$ 且最多有 $t$ 个不同无穷远点的光滑不可约平面曲线 $C \subset \mathbb{R}^2$，作者证明存在一个强度为 $2s-1$ 的求积规则，其节点数满足：
   $$N \le ds - \left\lfloor \frac{d}{2} \right\rfloor + 1 + 2t$$
   若曲线是紧致的（$t=0$），则简化为 $N \le ds - \lceil d/2 \rceil + 1$。这改进了 Riener 和 Schweighofer 之前建立的 $N \le ds$ 的界限。

2. 任意维度的有理曲线：
   对于次数为 $d$ 的有理曲线 $C \subset \mathbb{R}^n$，其多项式参数化为 $\phi(t) = (\phi_1/\phi_0, \dots, \phi_n/\phi_0)$，其中 $\max \deg \phi_i = D$，且 $\phi_0$ 有 $p$ 个不同的实零点：

   • 强度 $2s-1$： 存在一个节点数满足 $N \le Ds - \lfloor D/2 \rfloor + p + 1$ 的规则。
   • 强度 $2s$： 存在一个节点数满足 $N \le Ds + p + 1$ 的规则。
     这些结果恢复了直线（$D=1$）的经典高斯界限（$N=s$），并将 Zalar 针对特定平面曲线的研究结果推广到了任意维度的有理曲线。

3. 特定曲线族：
   论文分析了特定情形，如具有非负节点的曲线 $y = x^d$。对于此情形，他们推导出一个界限 $N \le \lfloor \frac{ds-1}{2} - \frac{d(d-3)}{4} \rfloor + 1$，该界限被证明在 $d$ 较大时比现有界限具有渐近性的优势。

意义与主张
作者声称，其工作建立了支撑曲线的代数复杂度与求积公式的最小规模之间的直接联系。

• 统一性： 研究结果提供了一个连接实代数几何、多项式优化和矩理论的统一框架。
• 改进： 推导出的界限严格改进了经典的 Carathéodory 型界限以及之前 Riener–Schweighofer 和 Zalar 的结果，特别是通过引入了无穷远处的点数和特定有理参数化的性质等几何特征。
• 聚焦奇数阶： 论文强调，奇数阶情况（$2s-1$）需要与偶数阶情况（$2s$）不同的几何和优化论证，因为在这种情况下，矩锥无法完全捕捉到最小节点数。
• 最优性： 作者指出，对于维度 $n \ge 3$ 的通用有理曲线，他们的界限是最优的，与来自一元高斯情况的下界相匹配。

论文最后指出，尽管这些界限在特定情形（直线、某些低次数曲线）下是紧致的，但它们对所有次数和强度的最优性仍是一个开放性问题，这暗示未来可以研究涉及亏格（genus）和奇异结构等更精细不变量的工作。