[論文レビュー] Algebraic independence of (cyclotomic) harmonic sums.

Jakob Ablinger, Carsten Schneider|arXiv (Cornell University)|Oct 13, 2015

Coding theory and cryptography参考文献 31被引用数 6

ひとこと要約

本稿は、定数を保存する差分環拡張の塔に埋め込むことで、(循環的)調和和の quasi-shuffle 環における基本和の代数的独立性を確立する。この埋め込みにより、有理数列に加えて交代列を含む列の環が構成され、これらの基本和によって生成される列が代数的独立であることが証明される。

ABSTRACT

An expression in terms of (cyclotomic) harmonic sums can be simplified by the quasi-shuffle algebra in terms of the so-called basis sums. By construction, these sums are algebraically independent within the quasi-shuffle algebra. In this article we show that the basis sums can be represented within a tower of difference ring extensions where the constants remain unchanged. This property enables one to embed this difference ring for the (cyclotomic) harmonic sums into the ring of sequences. This construction implies that the sequences produced by the basis sums are algebraically independent over the rational sequences adjoined with the alternating sequence.

研究の動機と目的

• (循環的)調和和の quasi-shuffle 環から導かれる基本和の代数的独立性を確立すること。
• 基本和を忠実に表現するとともに定数を保存する差分環拡張の塔を構築すること。
• (循環的)調和和の環を列の環に埋め込むこと。
• 基本和の列が有理数列および交代列を含む体上代数的独立であることを示すこと。

提案手法

• quasi-shuffle 環を用いて、(循環的)調和和の式を基本和に定義・簡略化する。
• 基本和を忠実に表現するとともに定数を保存する差分環拡張の塔を構築する。
• 拡張の塔の構造を用いて、得られた差分環を列の環に埋め込む。
• 拡張プロセスにおける定数の不変性を活用し、列表現が代数的独立性を尊重することを保証する。
• 既知の列環における代数的独立性の結果を応用し、有理数列および交代列を含む体上での独立性を結論づける。
• 埋め込みが代数的関係および定数を保存することを検証し、独立性の主張の正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 (循環的)調和和の基本和は、有理数列上代数的独立か？
• RQ2 (循環的)調和和の環は、定数を保存するように列の環に埋め込めるか？
• RQ3 基本和を表現するための差分環拡張の塔は、その列像の代数的独立性を維持するか？
• RQ4 交代列は、列環における独立性のための必要な定数を十分に生成するか？
• RQ5 差分環拡張のどのような構造的性質が、列への埋め込みにおいて代数的独立性が保たれることを保証するか？

主な発見

• (循環的)調和和の基本和は、列の環に埋め込まれたとき、有理数列上代数的独立である。
• 差分環拡張の塔の構築により、基本和の表現過程で定数が不変に保たれる。
• 差分環を列の環に埋め込む過程で、基本和の代数的構造および独立性関係が保存される。
• 基本和によって生成される列は、有理数列に交代列を加えた体上代数的独立である。
• 拡張の塔における定数の保存は、列環における代数的独立性を維持するために不可欠である。
• 結果として、指定された体上、基本和の列像の間に非自明な多項式関係が存在しないことが確認された。