Quadrature rules with few nodes supported on algebraic curves

技術要約：代数曲線上でサポートされる少数のノードを持つ求積則

問題設定
本論文は、実代数曲線または有理曲線上にサポートされた正のボレル測度 $\mu$ に関する、与えられた強度 $s$ を持つ求積則に必要な最小ノード数の決定という問題に取り組んでいる。古典的な結果（Richter, Tchakaloff）は、カラテオドリの定理を通じて、高々 $\binom{n+s}{s}$ 個のノードを持つ求積則の存在を保証しているが、サポートが低次元の代数集合上にある場合、これらの境界はしばしば最適とは言えない。著者らは、ガウス求積の中心となる奇数次の場合（$s = 2s' - 1$）に焦必しており、そこではモーメント錐（moment cone）のアプローチだけでは最適なノード数を導き出せない。目標は、曲線の次数、そのトポロジー（特に無限遠点におけるプレイス）、およびパラメータ表示に依存する、明示的で改善されたノード数 $N$ の上界を導出することである。

手法
著者らは、最適化の視点と実代数幾何学のツールを組み合わせて採用している。

1. 最適化フレームワーク： モーメント錐の凸幾何学のみに頼るのではなく、著者らは求積則の存在を最小化問題として定式化している。彼らは、モーメント一致条件を満たす求積則の空間上で、適切なペナルティ関数（例：重みの総和、またはノードの集積を罰する関数）を最小化する。
2. ラグランジュ乗数と定常性： この最適化問題における定常点をラグランジュ乗数を用いて分析することにより、著者らは最適なノードが満たすべき条件を導き出している。具体的には、最適なノードは、サポート曲線 $F=0$ と、導出された多項式曲線 $G=0$（またはその微分）との交点、すなわち接線が平行になる点に対応する。
3. 幾何学的計数：
   • 平面曲線： 著者らは、ベズーの定理を適用して、定義多項式と最適化条件多項式との間の交点数を制限している。彼らは、多重度（多重度 $\ge 2$ で現れるノード）および境界（無限遠のプレイス）からの寄与を考慮に入れている。
   • 任意の次元における有理曲線： 著者らは、パラメータ表示 $\phi(t)$ を利用する。彼らは、周囲の空間上の多項式からパラメータ $t$ の多項式へのプルバック写像の全射性を分析する。これにより、多変数問題を単変数問題へと還元し、非退化な単変数測度に対するガウス求積の既知の最適性を活用することができる。
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. 任意の次元における有理曲線：
   多項式パラメータ表示 $\phi(t) = (\phi_1/\phi_0, \dots, \phi_n/\phi_0)$ （ここで $\max \deg \phi_i = D$ かつ $\phi_0$ は $p$ 個の異なる実零点を持つ）を持つ、次数 $d$ の有理曲線 $C \subset \mathbb{R}^n$ に対して：

   • 強度 $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$ に対して既存の境界よりも漸近的に鋭いことを示している。

意義と主張
著者らは、彼らの研究が支持曲線の代数的複雑さと、求積公式の最小サイズとの間の直接的な結びつきを確立していると主張している。

• 統一： 結果は、実代数幾何学、多項式最適化、およびモーメント理論を結びつける統一的な枠組みを提供する。
• 改善： 導出された境界は、古典的なカラテオドリ型の境界、および Riener–Schweighofer や Zalar による先行研究を厳密に改善しており、特に無限遠のプレイスの数や、特定の有理パラメータ表示の性質を取り入れている点において優れている。
• 奇数次の焦点： 論文は、奇数次のケース（$2s-1$）が、偶数次のケースと比較して、異なる幾何学的および最適化の議論を必要とすることを強調している。なぜなら、モーメント錐はこのような設定では最小のノード数を完全には捉えられないためである。
• 最適性： 著者らは、次元 $n \ge 3$ における一般的な有理曲線に対して、彼らの境界が単変数ガウスの場合から導かれる下界と一致しており、最適であることを述べている。

本論文は、境界が特定のケース（直線、特定の低次曲線）ではタイトであるが、すべての次数と強度において最適であるかどうかは未解決の問題であることを認め、特異構造や種数といったより微細な不変量を用いた将来の研究を示唆して締めくくられている。