[論文レビュー] Vandermonde varieties and relations among Schur polynomials

Ralf Fröberg, Boris Shapiro|arXiv (Cornell University)|Feb 6, 2013

Advanced Combinatorial Mathematics参考文献 10被引用数 3

ひとこと要約

本稿では、指定された零点集合を持つ線形線形再帰関係に関連する代数的構造としてのバーデルモンデ多様体を導入し、その自由分解、ヒルベルト系列、および正則の場合の次数を確立する。また、シュール多項式の間の新しい関係を導出し、スコレム＝マーラー＝レーチの定理と関連づけ、指数関数的多項式の整数零点の構造に対する幾何的洞察を提供する。

ABSTRACT

Motivated by the famous Skolem-Mahler-Lech theorem we initiate in this paper the study of a natural class of determinantal varieties which we call {\em Vandermonde varieties}. They are closely related to the varieties consisting of all linear recurrence relations of a given order possessing a non-trivial solution vanishing at a given set of integers. In the regular case, i.e., when the dimension of a Vandermonde variety is the expected one, we present its free resolution, obtain its degree and the Hilbert series. Some interesting relations among Schur polynomials are derived. Many open problems and conjectures are posed.

研究の動機と目的

• 与えられた有限個の整数の集合で消失する線形再帰関係の代数的・幾何的構造を研究すること。
• 再帰の根に関連する一般化されたバーデルモンデ行列から生じる行列式多様体としてのバーデルモンデ多様体を定義・分析すること。
• 正則な場合におけるこれらの多様体の自由分解、次数、ヒルベルト系列を確立すること。
• これらの多様体の幾何からシュール多項式の間の新しい代数的関係を明らかにすること。
• スコレム＝マーラー＝レーチの定理に触発され、線形再帰の零点集合における等差数列の存在に関連する未解決問題を扱うこと。

提案手法

• 与えられた整数集合 $I$ で非自明な解を持つ $k$ 階の再帰関係の集合として、開および閉の線形再帰多様体 $V_{k;I}$ と $ar{V}_{k;I}$ を定義する。
• 特性根 $x_j$ と $i_ u o I$ を用いて、$x_j^{i_ u}$ を成分とする一般化されたバーデルモンデ行列 $M_{k;I}$ を構成する。
• $M_{k;I}$ の行列式の消滅を用いて、$V_{k;I}$ の代数的多様体構造を定義し、非自明な解の存在と関連付ける。
• 可換代数および代数幾何の技術を用いて、正則なバーデルモンデ多様体の自由分解、ヒルベルト系列、次数を計算する。
• これらの多様体を定義するイデアルの構造を分析することで、シュール多項式の間の恒等式を導出する。
• コンピュータ支援探索を用いて、小規模な $k$ および $m$ の場合を検討し、次元、空集合の有無、零点集合における等差数列の存在をテストする。

実験結果

リサーチクエスチョン

• RQ1 どのペア $(k;I)$ に対して多様体 $V_{k;I}$ が非空であり、その次元は何か？
• RQ2 線形再帰の解が $I$ で消失する場合、それが無限回にわたり消失する条件は何か。特に、等差数列を形成する場合の条件は？
• RQ3 同じ差を持つ二つの等差数列からなる $I$ に対して、$I$ で消失する任意の解が無限個の等差数列の零点を持つという法則の例外は有限個に限られるか？
• RQ4 非退化な $k$ 階線形再帰の整数零点の最大数は有界であるか。そのような零点集合の構造は何か？
• RQ5 バーデルモンデ多様体の幾何と、再帰解における追加の整数零点または等差数列の存在との関係は何か？

主な発見

• 正則なバーデルモンデ多様体の自由分解、次数、ヒルベルト系列は明示的に計算され、期待される次元の場合に完全な代数的記述が得られた。
• $V_{k;I}$ が空であるのは、$(0,1,3,7)$ や $(0,1,3,9)$ などの特定の $4$-タプル（およびそれらの双対）に限られ、これらが唯一の例外である可能性が示唆された。
• $k=3$, $m=4$ の場合、$(0,1,4,6)$ および $(0,1,4,13)$ は、解が追加の点で消失させ、$6$-タプルを形成することを強制する。これは等差数列を生成するメカニズムを示している。
• ある $4$-タプル $I$ の二つの差が一致する場合、解は無限回にわたり消失するが、この条件は十分条件ではあるが、必要条件ではない。
• 非退化再帰の整数零点数 $ u_k$ の既知の下界は $inom{k+1}{2} - 1$ であり、上界は二重指数的である。
• 指数部の実部が相異なる実数の指数関数的多項式の実零点の数は有限であるため、項数の観点から一様な上界が存在するかという類似の問いが提示される。