[论文解读] Algebraic independence of (cyclotomic) harmonic sums.

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

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

一句话总结

该论文通过将基求和嵌入到常数被保留的差环扩张塔中，建立了准-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.

研究动机与目标

• 建立由（叶拉-）调和求和的准-shuffle 代数导出的基求和的代数无关性。
• 构建一个保持常数的差环扩张塔，以表示基求和。
• 将（叶拉-）调和求和的环嵌入到序列环中。
• 证明基求和生成的序列在有理序列与交错序列的扩张下是代数无关的。

提出的方法

• 利用准-shuffle 代数将涉及（叶拉-）调和求和的表达式简化为基求和形式。
• 构建一个忠实表示基求和且保持常数的差环扩张塔。
• 利用扩张塔的结构，将所得差环嵌入到序列环中。
• 利用常数在扩张过程中保持不变的性质，确保序列表示尊重代数无关性。
• 应用序列环中代数无关性的已知结果，得出在有理序列与交错序列扩张下的无关性结论。
• 验证嵌入过程保持了代数关系与常数，从而确保无关性陈述的正确性。

实验结果

研究问题

• RQ1 （叶拉-）调和求和的基求和在有理序列上是否代数无关？
• RQ2 能否在保持常数的前提下，将（叶拉-）调和求和的环嵌入到序列环中？
• RQ3 用于表示基求和的差环扩张塔是否保持其序列像的代数无关性？
• RQ4 交错序列是否足以在序列环中生成维持无关性所必需的常数？
• RQ5 差环扩张的哪些结构性质确保了在序列嵌入下代数无关性得以保持？

主要发现

• 当嵌入到序列环中时，（叶拉-）调和求和的基求和在有理序列上是代数无关的。
• 差环扩张塔的构建确保了在表示基求和时常数保持不变。
• 将差环嵌入到序列环中，保留了基求和的代数结构与无关关系。
• 由基求和生成的序列在有理序列域与交错序列的扩张下是代数无关的。
• 在扩张塔中常数的保持对于在序列环中维持代数无关性至关重要。
• 该结果确认了在指定域上，基求和的序列像之间不存在非平凡的多项式关系。