[論文レビュー] Rectangular Scott-type Permanents

Guo-Niu Han, Christian Krattenthaler|ArXiv.org|Mar 13, 2000

Advanced Combinatorial Mathematics参考文献 6被引用数 6

ひとこと要約

本稿は、多項式 $P(x)$ と $Q(y)$ の根 $x_i$ と $y_j$ を用いて定義される、行列の各成分が $1/(x_i - y_j)$ である長方形型スコット永続量（permanent）の一般化された評価フレームワークを導入する。カウチ、ボルハルト、ラスコーフの古典的定理を拡張することで、対称関数と $P$ と $Q$ の結果式を含む行列式の商として、これらの永続量の閉形式表現を導出する。これにより、$P(x) = x^n - 1$、$Q(y) = y^{2n} + y^n + 1$ といった多項式の組に対して、$(-1)^{n+1}n!$ という明示的評価が可能になる。この手法は根の明示的計算を回避し、任意の次数 $n$ と $m$ に適用可能である。

ABSTRACT

Let $x_1,x_2,...,x_n$ be the zeroes of a polynomial P(x) of degree n and $y_1,y_2,...,y_m$ be the zeroes of another polynomial Q(y) of degree m. Our object of study is the permanent $\per(1/(x_i-y_j))_{1\le i\le n, 1\le j\le m}$, here named "Scott-type" permanent, the case of $P(x)=x^n-1$ and $Q(y)=y^n+1$ having been considered by R. F. Scott. We present an efficient approach to determining explicit evaluations of Scott-type permanents, based on generalizations of classical theorems by Cauchy and Borchardt, and of a recent theorem by Lascoux. This continues and extends the work initiated by the first author ("Généralisation de l'identité de Scott sur les permanents," to appear in Linear Algebra Appl.). Our approach enables us to provide numerous closed form evaluations of Scott-type permanents for special choices of the polynomials P(x) and Q(y), including generalizations of all the results from the above mentioned paper and of Scott's permanent itself. For example, we prove that if $P(x)=x^n-1$ and $Q(y)=y^{2n}+y^n+1$ then the corresponding Scott-type permanent is equal to $(-1)^{n+1}n!$.

研究の動機と目的

• 長方形型スコット永続量（$n \times m$ 行列の各成分が $1/(x_i - y_j)$ である永続量）の評価という未解決問題に取り組む。ここで $x_i$ と $y_j$ はそれぞれ多項式 $P(x)$ と $Q(y)$ の根である。
• 根の解析的表現に依存する従来の証明の制限を克服するため、根の具体的な形に依存しない手法を開発する。
• 正方行列の場合（$n = m$）に限った対称関数のアプローチを、一般の長方形行列の場合（$n \neq m$）に拡張する。
• 多項式の係数に関して有理関数となるように、$\text{PER}(P(x), Q(y))$ の一般式を、対称関数の行列式と結果式 $\text{Res}(P, Q)$ の商として導出する。
• スコットの元々の永続量の一般化や、先行研究の結果を含む多数の特殊ケースについて、明示的な評価を提供する。

提案手法

• 長方形行列と任意の多項式次数を扱えるように、カウチの定理とボルハルトの定理を一般化する。
• ラスコーフの対称関数に関する定理を拡張し、根の初等対称関数と完全同次対称関数を用いた永続量の行列式表現を導出する。
• スコット型永続量を $\text{PER}(P,Q) = \frac{\det(\text{対称関数})}{\text{Res}(P,Q)}$ と表現し、結果式が係数の有理関数性を保証する。
• 特定の多項式族に対して、専用の行列式評価（例：補題9, 10、定理7, 8）を用いて分子を計算する。
• $P(x) = x^n - 1$ および $Q(y) = y^{2n} + y^n + 1$ といった多項式に主な公式を適用し、代数的簡略化により閉形式を得る。
• 主結果と別法による置換に基づく公式（定理2）を組み合わせることで、置換 $\sigma \in \mathcal{I}(n)$ に関する新しい和公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 多項式 $P(x)$ と $Q(y)$ の次数がそれぞれ $n$ と $m$ であるとき、行列 $\left(\frac{1}{x_i - y_j}\right)$ の $n \times m$ 永続量の一般形は何か？
• RQ2 根の具体的な知識を得ず、対称関数と結果式のみに依存して、この永続量をどのように評価できるか？
• RQ3 特定の多項式の組、例えば $P(x) = x^n - 1$ と $Q(y) = y^{2n} + y^n + 1$ に対して、どのような閉形式評価が得られるか？
• RQ4 スコットの元々の永続量評価（$P(x) = x^n - 1$, $Q(y) = y^n + 1$）は、どのように一般化されるか？
• RQ5 主な永続量評価と別法による置換に基づく公式（定理2）を組み合わせることで、どのような新しい置換に関する和公式が得られるか？

主な発見

• スコット型永続量 $\text{PER}(P(x), Q(y))$ は、常に $P(x)$ と $Q(y)$ の係数に関して有理関数である。これは、対称関数の行列式と結果式 $\text{Res}(P, Q)$ の商として表現可能であるためである。
• $P(x) = x^n - 1$ および $Q(y) = y^{2n} + y^n + 1$ の場合、永続量は $(-1)^{n+1}n!$ に等しくなる。これはスコットの元々の結果を一般化する。
• $P(x) = x^{n-1} + \cdots + x + 1$ および $Q(y) = \sum_{\ell=0}^{mn-1}(\ell + a)y^\ell$ の場合、永続量は $(-1)^{n-1} \left(a + (m-1)n + 1\right)_{n-1}$ に等しくなる。これは一般化された閉形式である。
• $P(x) = x^{n-1} + \cdots + x + 1$ および $Q(y) = \sum_{\ell=0}^{mn-2}(\ell + a)y^\ell$ の場合、永続量は $(-1)^{n-1} \frac{(nm - n)_{n-1} (nm + a - 1)^{n-1}}{(mn + a - 1)^n - (a - 1)^n}$ に等しくなる。これはパラメータに関する有理関数的依存性を示している。
• 主結果と定理2を組み合わせることで、置換 $\sigma \in \mathcal{I}(n)$ に関する新しい和公式が得られる。例えば、$\sum_{\sigma} \prod_{(ij)\in\sigma} \frac{1}{(x_i - x_j)^2} \prod_{(k)\in\sigma} \frac{2n + (n+1)x_k}{2x_k^2} = 1$ が成り立ち、ここで $x_k$ は $n$ 乗単位根である。
• もう一つの恒等式として、$\sum_{\sigma} \prod_{(ij)\in\sigma} \frac{1}{(x_i - x_j)^2} \prod_{(k)\in\sigma} \frac{1 - n + (3 + n)x_k}{2(1 + x_k)x_k} = \frac{(n+1)!}{2}$ が得られ、これは奇数 $n$ の場合に成り立つ。ここでも $x_k$ は $n$ 乗単位根である。