[論文レビュー] Notes on the combinatorial fundamentals of algebra

Darij Grinberg|arXiv (Cornell University)|Aug 22, 2020

Advanced Mathematical Theories and Applications参考文献 64被引用数 10

ひとこと要約

この包括的で自己完結的な解説的サーベイは、初等的組合せ論および代数の基礎的結果について、厳密な証明を提供する。主な焦点は有限和、二項係数、順列、行列式、帰納法の原則に向けられている。ヴァンデルモンド型の行列式および随伴行列に関する重要な恒等式を確立し、コーシー行列の随伴行列の要素の和が、変数に関する対称的有理関数に等しいことを証明する。これは逆行列の和や行列式展開への応用を伴う。

ABSTRACT

This is a detailed survey -- with rigorous and self-contained proofs -- of some of the basics of elementary combinatorics and algebra, including the properties of finite sums, binomial coefficients, permutations and determinants. It is entirely expository (and written to a large extent as a repository for folklore proofs); no new results (and few, if any, new proofs) appear.

研究の動機と目的

• 研究者および学生向けに、自己完結的かつ厳密な初等的組合せ論および代数の取り扱いを提供すること。
• 教科書によく見られるが、しばしば曖昧な和、積、帰納法の形式的記法の根本的曖昧さを解消すること。
• 行列式および対称関数に関連する古典的恒等式の、フォークロア的証明を統一的かつ形式的に整理すること。
• 特に無限だが有限に非ゼロの項をもつ族の文脈において、和および積が適切に定義されるための明確な条件を確立すること。
• 特にコーシー行列の随伴行列の要素の和に関連する恒等式を明確にし、証明すること。

提案手法

• 任意の添え字集合上の和および積の形式的・公理的定義を用い、有限に非ゼロの項をもつ族を含む。
• 標準的、強化型、区間基準型、および導出量帰納法の複数の形態を用い、厳密な証明規約を適用する。
• 行列代数および余因子展開を用いて、随伴行列および逆行列に関する恒等式を導出する。
• 再帰的定義による複数の写像の標準的合成を導入し、一般の結合則を証明する。
• ラプラス展開および小行列式の性質を用いて、コーシー行列の行列式を評価する。
• 和の置換および分割技術を用いて、線形性および添え字の再ラベル化に対する不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 コーシー行列 C の随伴行列の要素の和は、そのパラメータを用いてどのように表現できるか？
• RQ2 任意の添え字集合上の和および積が適切に定義されるための明確な代数的構造は何か？
• RQ3 行列の逆行列の要素の和が、そのパラメータに関する対称的有理関数に等しくなるための条件は何か？
• RQ4 任意の数の写像の合成に関して、一般の結合則を形式的に証明する方法は何か？
• RQ5 1/(xi + yj) の形をした要素を持つ行列の行列式の性質を支配する恒等式は何か？

主な発見

• コーシー行列 C（要素が 1/(xi + yj)）の随伴行列のすべての要素の和は、(Σxk + Σyk) に、差の積 (xi - xj)(yi - yj) の比をかけたものに等しい。
• 逆行列 C⁻¹ のすべての要素の和は、(Σxk + Σyk) / det(C) に等しく、ここで det(C) はすべての (xi + yj) の積に差の積をかけたものである。
• D = [C, u; uᵀ, 0] というボーダー付き行列の行列式は、随伴行列の和と同じ有理関数に - (Σxk + Σyk) をかけたものに等しく、構造的恒等式を確認する。
• adj(C) の要素の和は添え字の置換に対して不変であり、x および y の変数に関して対称的である。これはコーシー行列の背後にある対称性を反映している。
• 有限に非ゼロの項をもつ族の形式的記法により、無限添え字集合上でも和および積が適切に定義されることが保証され、非ゼロの項は有限個に限る。
• n 個の写像の標準的合成は、再帰的構成および n に関する帰納法により、括弧の配置に関係なく一意的かつ結合的であることが保証される。