[論文レビュー] 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

ひとこと要約

この論文は、$n$-独立ノード集合の基数 $\mathcal{K}-1$—ここで $\mathcal{K} = \frac{1}{2}(k-1)(2n+4-k)+2$—を通り、少なくとも2つの $k \leq n$ 次曲線が通るようなものを特徴づけている。この場合、すべてのノードのうち1つを除き、すべてが $k-1$ 次の最大曲線上にあることを証明しており、$n$-独立ノード上での代数的曲線補間における非一意性の完全な幾何的特徴づけを提供している。

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$ 次の曲線が一意に決定されない原因となる幾何的条件を特定すること。
• このような非一意な構成が、すべてのノードのうち1つを除き、$k-1$ 次の最大曲線上にあることによって特徴づけられることを確立すること。
• 一意な曲線を決定できない補間集合の完全な構造的特徴づけを提供すること。これは、最小一意性閾値に関する先行研究を拡張するものである。

提案手法

• 証明は、基本多項式の理論と $n$-独立性の性質を用いて、サイズ $\mathcal{K}-1$ のノード集合における補間系を分析する。
• 多項式補間の枠組みの中で、$n$-独立ノードを最大限に通る $d$ 次の曲線（最大曲線）という概念を適用する。
• 2つの $k$ 次曲線が同じ $n$-独立集合 $\mathcal{X}$（サイズ $\mathcal{K}-1$）を通るならば、その差はすべてのノードのうち1つを除いて0になるという事実に依拠する。
• 差多項式の共通零点集合（$k$ 次の曲線）は、$\mathcal{X}$ のすべてのノードのうち1つを除くすべてを含み、かつこのノード集合が $k-1$ 次の曲線上にあることを示す。
• 帰納法と $n$-ポーズおよび $n$-独立集合の性質を用いて、残りのノードが $k-1$ 次の曲線上にない唯一のノードであることを証明する。
• 既知の結果、すなわち $k-1$ 次の曲線上に存在可能な $n$-独立ノードの最大数 $d(n,k-1)$ を用いて、この曲線が最大であることを示す。

実験結果

リサーチクエスチョン

• RQ1 サイズ $\mathcal{K}-1$ の $n$-独立ノード集合を通る複数の $k$ 次曲線が存在する幾何的構成は何か？
• RQ2 $n$-独立ノード集合が $k \leq n$ 次の曲線を一意に決定できない条件は何か？
• RQ3 このような非一意な補間集合の構造は、低次の曲線によって完全に特徴づけられるか？
• RQ4 任意の非一意ノード集合において、すべてのノードのうち1つを除き、$k-1$ 次の最大曲線上にあるか？

主な発見

• 任意の $n$-独立集合 $\mathcal{X}$（サイズ $\mathcal{K}-1$）に対して、2つの異なる $k \leq n$ 次曲線が $\mathcal{X}$ のすべてのノードを通るならば、$\mathcal{X}$ のすべてのノードのうち1つを除き、$k-1$ 次の曲線上にある。
• この $k-1$ 次の曲線は最大である。つまり、$n$-独立ノードを最大 $d(n,k-1)$ 個通る。
• $k-1$ 次の曲線上にない例外的なノードは一意に定まり、この構成において他のノードに置き換えられない。
• この結果は、$k \leq n$ 次の曲線を一意に決定できない補間集合の完全かつ必須な幾何的特徴づけを提供する。
• この特徴づけは、非一意性が、すべてのノードのうち1つを除くものが $k-1$ 次の最大曲線上にあるという事実によって完全に決定されることを示唆する。
• この結果は、$k$ 次曲線を一意に決定するのに必要な $n$-独立ノードの最小数 $\mathcal{K}$ に関する先行研究を確認・拡張するものである。