[論文レビュー] The inverse rook problem on Ferrers boards

Abigail G. Mitchell|ArXiv.org|Jul 1, 2004

Advanced Combinatorial Mathematics参考文献 15被引用数 7

ひとこと要約

この論文は、Foata-Schützenbergerの定理と$n$-階乗のルーク多項式を用いて、ルーク多項式から一意に再構成可能な構成的アルゴリズムを提供することにより、フェルファーズ盤における逆ルーク問題を解決する。主な結果は、多項式が増加的フェルファーズ盤のルーク多項式であるための必要十分条件である：多項式の関連する$n$-階乗多項式がすべて整数解を持ち、かつ$(x)_{t+1}$で割り切れる（$t$はその多項式の最大根）ことである。

ABSTRACT

Rook polynomials have been studied extensively since 1946, principally as a method for enumerating restricted permutations. However, they have also been shown to have many fruitful connections with other areas of mathematics, including graph theory, hypergeometric series, and algebraic geometry. It is known that the rook polynomial of any board can be computed recursively. The naturally arising inverse question -- given a polynomial, what board (if any) is associated with it? -- remains open. In this paper, we solve the inverse problem completely for the class of Ferrers boards, and show that the increasing Ferrers board constructed from a polynomial is unique.

研究の動機と目的

• 与えられたルーク多項式を生成するフェルファーズ盤（もし存在するならば）を特定するという逆ルーク問題を、フェルファーズ盤のクラスに特化して解くこと。
• ルーク多項式から増加的フェルファーズ盤を構成的かつ一意に再構成する方法を確立すること。
• 多項式がフェルファーズ盤のルーク多項式であるための必要十分条件を、Foata-Schützenbergerの定理と$n$-階乗ルーク多項式を用いて提供すること。

提案手法

• $(x)_i$ を降べき階乗とする。$n$-階乗ルーク多項式を $p_n(B;x) = \sum_{k=0}^n r_k (x)_{n-k}$ と定義する。
• Foata-Schützenbergerの定理を用いて、すべてのフェルファーズ盤が一意の増加的フェルファーズ盤とルーク同値であることを示す。
• 入力されたルーク多項式 $q(x)$ から $n = \lfloor \sqrt{2q_1} \rfloor$ を用いて $n$-階乗多項式 $p(x)$ を構成する。ここで $q_1$ は $q(x)$ の $x^1$ 項の係数である。
• 多項式 $p(x)$ がすべて整数解を持ち、かつ $t$ を $p(x)$ の最大根として $(x)_{t+1}$ で割り切れるかどうかを確認することで、増加的フェルファーズ盤の存在に関する必要十分条件とする。
• 多項式 $\frac{p(x)}{(x)_{t+1}}$ の根を非増加順に並べ、$h_n = (-x_1 + t + 1, \dots, -x_c + t + c)$ という式を用いて盤の列高さベクトルを再構成する。
• $n$-階乗ルーク多項式の構造と増加的フェルファーズ盤の標準形に基づいて、再構成された盤の一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 多項式 $q(x)$ が与えられたとき、そのルーク多項式がちょうど $q(x)$ であるようなフェルファーズ盤が存在するか？
• RQ2 そのような盤が存在する場合、$q(x)$ から一意に再構成可能か？
• RQ3 $q(x)$ が増加的フェルファーズ盤のルーク多項式として現れるための条件は何か？
• RQ4 $n$-階乗ルーク多項式は、このような盤の存在と一意性をどのように特徴づけるか？
• RQ5 Foata-Schützenbergerの定理のような代数的・組合せ論的道具を用いて、フェルファーズ盤の逆問題を構成的に解けるか？

主な発見

• 多項式 $q(x)$ が増加的フェルファーズ盤のルーク多項式であるための必要十分条件は、関連する$n$-階乗多項式 $p(x)$ がすべて整数解を持ち、かつ $(x)_{t+1}$ で割り切れる（$t$ は $p(x)$ の最大根）ことである。
• 再構成された増加的フェルファーズ盤は一意的であり、Foata-Schützenbergerの定理により、すべてのフェルファーズ盤が一意の増加的フェルファーズ盤とルーク同値であることが保証されている。
• 盤の列高さベクトルは、$\frac{p(x)}{(x)_{t+1}}$ の根 $x_i$（非増加順）を用いて、公式 $h_n = (-x_1 + t + 1, \dots, -x_c + t + c)$ により明示的に決定される。
• 再構成された盤の列数は、$q_1$（盤のセル数）の $\sqrt{2q_1}$ よりも厳密に小さい。これは補題3.7で示されている。
• この方法により、多項式から盤を構成するアルゴリズムが得られ、フェルファーズ盤における逆問題が解ける。
• 同様の条件は、増加的でないフェルファーズ盤に対しても必要十分であり、ルーク同値類における増加的代表元の一意性のおかげである。