[論文レビュー] Permanents and Determinants, Weighted Isobaric Polynomials, and Integer Sequences

Huilan Li, Trueman MacHenry|arXiv (Cornell University)|Sep 20, 2012

Advanced Mathematical Theories and Applications参考文献 22被引用数 12

ひとこと要約

本稿は、重み付き等重多項式（WIPs）、ヘッセンベルク行列の行列式およびパーマネントの間の新しい関係を確立し、任意のWIPが一方の行列の行列式として、もう一方の行列のパーマネントとして生じることを示している。すべての線形再帰的整数列—フィボナッチ、ラテン、カタラン、スターリング、チェビシェフ数列—が、WIP数列の評価として表現可能であり、基本対称多項式の枠組みを通じてそれらの代数的構造が統一されることを示している。

ABSTRACT

In this paper we construct two types of Hessenberg matrices with the property that every weighted isobaric polynomial (WIP) appears as a determinant of one of them, and as the permanent of the other. Every integer sequence which is linearly recurrent is representable by (an evaluation of) some linearly recurrent sequence of WIPs. WIPs are symmetric polynomials written in the elementary symmetric polynomial basis. Among them are the generalized Fibonacci polynomials and the generalized Lucas polynomials, which already have these sweeping representation properties. Among the integer sequences discussed are the Chebyshev polynomials of the 2nd kind, the Stirling numbers of the 1st and 2nd kind, the Catalan numbers, and the triangular numbers, as well as all sequences which are either multiplicative arithmetic functions or additive arithmetic functions. 1 1

研究の動機と目的

• 重み付き等重多項式（WIPs）と行列式やパーマネントなどの行列不変量との間の構造的関係を確立すること。
• すべての線形再帰的整数列が、線形再帰的WIP数列の評価として表現可能であることを示すこと。
• フィボナッチ、カタラン、スターリング、チェビシェフ数列といった多様な整数列を、対称多項式を用いた共通の代数的枠組みで統一すること。
• WIPsが一般化フィボナッチおよびラテン多項式を含むが、整数列の再帰構造を自然に符号化していることを示すこと。

提案手法

• 任意の与えられたWIPを行列式として得るヘッセンベルク行列の族と、同じWIPをパーマネントとして得る別の族を構成する。
• WIPsを基本対称多項式基底における対称多項式として表現し、代数的変形および数列生成を可能にする。
• WIP数列の線形再帰的性質を活用して、これらの多項式の評価により整数列を生成する。
• 多項式の等重性を活用して、項ごとの次数および重みの分布を一貫的に保つ。
• 行列構成を応用して、第二種チェビシェフ多項式や両種類のスターリング数といった既知の数列を回復する。
• 乗法的および加法的算術関数が、WIP数列の評価によって表現可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の重み付き等重多項式が、あるヘッセンベルク行列の行列式として、別のヘッセンベルク行列のパーマネントとして実現可能か？
• RQ2 基本対称多項式基底におけるWIPsは、どのように線形再帰的整数列を生成するか？
• RQ3 対称多項式は、フィボナッチ、カタラン、スターリング数列を統一する役割を果たすか？
• RQ4 ヘッセンベルク行列の構造を体系的に用いて、行列式およびパーマネントの操作によって整数列を符号化・回復可能か？
• RQ5 WIP数列は、乗法的および加法的算術関数の再帰関係を自然に内包しているか？

主な発見

• すべての重み付き等重多項式が、特定のヘッセンベルク行列の行列式として、および別のヘッセンベルク行列のパーマネントとして現れることを示し、二重行列表現を確立した。
• フィボナッチ、ラテン、第二種チェビシェフ多項式を含む、すべての線形再帰的整数列が、WIP数列の評価として表現可能であることを示した。
• 一般化フィボナッチおよびラテン多項式が、再帰関係を内包するWIPの特別な場合であることが示された。
• 第一種および第二種スターリング数、カタラン数および三角数が、すべてWIP数列の評価として表現可能であることを示した。
• 乗法的および加法的算術関数が、WIP数列の評価によって表現可能であることを示し、広範な適用可能性を示した。
• WIPsの基底として基本対称多項式を用いることで、多様な整数列を統一的な代数的枠組みで扱えるようになった。