[论文解读] On the uniqueness of algebraic curves passing through $n$-independent nodes

Hakop Hakopian, S. Toroyan|arXiv (Cornell University)|Oct 18, 2015

Algebraic Geometry and Number Theory参考文献 9被引用 10

一句话总结

本文通过分析大小为 $\mathcal{K}-1$ 的 $n$-独立节点集（其中 $\mathcal{K} = \frac{1}{2}(k-1)(2n+4-k)+2$）来刻画至少存在两条 $k \leq n$ 次曲线通过的结构，证明在此类情况下，除一个节点外的所有节点均位于一条 $k-1$ 次最大曲线上，从而对代数曲线插值中非唯一性现象提供了完整的几何刻画。

ABSTRACT

A set of nodes is called $n$-independent if each its node has a fundamental polynomial of degree $n.$ We proved in a previous paper [H. Hakopian and S. Toroyan, On the minimal number of nodes determining uniquelly algebraic curves, accepted in Proceedings of YSU] that the minimal number of $n$-independent nodes determining uniquely the curve of degree $k\le n$ equals to ${\mathcal K}:=(1/2)(k-1)(2n+4-k)+2.$ Or, more precisely, for any $n$-independent set of cardinality ${\mathcal K}$ there is at most one curve of degree $k\le n$ passing through its nodes, while there are $n$-independent node sets of cardinality ${\mathcal K}-1$ through which pass at least two such curves. In this paper we bring a simple characterization of the latter sets. Namely, we prove that if two curves of degree $k\le n$ pass through the nodes of an $n$-independent node set ${\mathcal X}$ of cardinality ${\mathcal K}-1$ then all the nodes of ${\mathcal X}$ but one belong to a (maximal) curve of degree $k-1.$

研究动机与目标

• 刻画大小为 $\mathcal{K}-1$ 的 $n$-独立节点集，使得多条 $k$ 次曲线通过该集合。
• 识别在插值问题中阻止唯一确定一条 $k \leq n$ 次曲线的几何条件。
• 建立此类非唯一配置的特征：除一个节点外的所有节点均位于一条 $k-1$ 次最大曲线上。
• 提供无法唯一确定曲线的插值集合的完整结构刻画，扩展了关于最小唯一性阈值的已有结果。

提出的方法

• 证明利用基本多项式理论与 $n$-独立性，分析大小为 $\mathcal{K}-1$ 的节点集上的插值系统。
• 在多项式插值框架内应用最大曲线（即通过最多可能数量的 $n$-独立节点的 $d$ 次曲线）的概念。
• 论证基于：若两条 $k$ 次曲线通过同一组大小为 $\mathcal{K}-1$ 的 $n$-独立节点集 $\mathcal{X}$，则其差值在除一个节点外的所有节点处为零。
• 证明差值多项式的公共零点集（一条 $k$ 次曲线）必须包含 $\mathcal{X}$ 中除一个节点外的所有节点，且这些节点位于一条 $k-1$ 次曲线上。
• 证明利用归纳法以及 $n$-正则与 $n$-独立集合的性质，表明剩余节点是唯一不在 $k-1$ 次曲线上者。
• 利用关于 $k-1$ 次曲线上最多可包含的 $n$-独立节点数 $d(n,k-1)$ 的已知结果，证明该曲线必为最大曲线。

实验结果

研究问题

• RQ1 何种几何构型导致多条 $k$ 次曲线通过同一组大小为 $\mathcal{K}-1$ 的 $n$-独立节点集？
• RQ2 在何种条件下，$n$-独立节点集无法唯一确定一条 $k \leq n$ 次曲线？
• RQ3 此类非唯一插值集合的结构能否完全以低次曲线的形式刻画？
• RQ4 是否存在一条 $k-1$ 次最大曲线，使得任意此类非唯一节点集的除一个节点外的所有节点均位于其上？

主要发现

• 对于任意大小为 $\mathcal{K}-1$ 的 $n$-独立节点集 $\mathcal{X}$，若两条不同的 $k \leq n$ 次曲线通过 $\mathcal{X}$ 的所有节点，则 $\mathcal{X}$ 中除一个节点外的所有节点均位于一条 $k-1$ 次曲线上。
• 该 $k-1$ 次曲线为最大曲线，即其通过的 $n$-独立节点数达到最大值 $d(n,k-1)$。
• 不在 $k-1$ 次曲线上的异常节点是唯一确定的，且在该构型中不可被其他节点替代。
• 该结果提供了对无法唯一确定 $k \leq n$ 次曲线的插值集合的完整且必要几何刻画。
• 该刻画表明，此类非唯一性完全由一条包含除一个节点外所有节点的 $k-1$ 次最大曲线的存在所决定。
• 该结果确认并扩展了关于唯一确定 $k$ 次曲线所需最小 $n$-独立节点数 $\mathcal{K}$ 的先前工作。