Research on multiple zeta value and calculation technology by a formula of systems of Boolean polynomial equations

2022年度は、前年度の多重ゼータ値の行列のランク計算の結果をまとめた。具体的には研究集会や小規模なセミナーで計算結果を発表して改善点を得た後、論文にまとめて投稿した。結果をまとめるにあたり、ダブルシャッフル関係式の二つの部分集合においても追加実験をした。一つはMinh-Jacob-Petitot-Oussous氏等により提案された部分集合で有限ダブルシャッフル関係式とHoffman関係式の合併である。もう一つは野呂-金子-鶴巻氏による部分集合で上述のものを制限して得られる。つまり後者は前者の部分集合となる。両方とも有利係数上で実験し次元予想を担保することに成功していたが、2元体上ではどのようになるか不明であった。なお前年度の実験で２元体上でもダブルシャッフル関係式が次元予想を担保することは既にわかっていた。次元予想はフィボナッチ数列のような性質を満たすことが知られている。追加の実験の結果、両者とも次元予想を担保しないことがわかった。しかしMinh氏等の関係式の集合のランク計算ではフィボナッチ数列に近い性質があることがわかった。これは２元体上のダブルシャッフル関係には有理数体上の場合と異なった（不可思議な）性質があることを示唆している。なお野呂氏等の関係式の集合のランクに法則性があるかどうかは発見できていない。本研究では自然言語処理と充足可能性問題の計算機科学の技術が応用されている。それに関連して、以前投稿していた自然言語処理の論文が今年度受理された。またBoolean多項式の連立方程式の公式を使ったアルゴリズムの研究とAlon-Taris多項式との関連の研究も行った。

2022年度は、前年度の多重ゼータ値の行列のランク計算の結果をまとめた。具体的には研究集会や小規模なセミナーで計算結果を発表して改善点を得た後、論文にまとめて投稿した。結果をまとめるにあたり、ダブルシャッフル関係式の二つの部分集合においても追加実験をした。一つはMinh-Jacob-Petitot-Oussous氏等により提案された部分集合で有限ダブルシャッフル関係式とHoffman関係式の合併である。もう一つは野呂-金子-鶴巻氏による部分集合で上述のものを制限して得られる。つまり後者は前者の部分集合となる。両方とも有利係数上で実験し次元予想を担保することに成功していたが、2元体上ではどのようになるか不明であった。なお前年度の実験で２元体上でもダブルシャッフル関係式が次元予想を担保することは既にわかっていた。次元予想はフィボナッチ数列のような性質を満たすことが知られている。追加の実験の結果、両者とも次元予想を担保しないことがわかった。しかしMinh氏等の関係式の集合のランク計算ではフィボナッチ数列に近い性質があることがわかった。これは２元体上のダブルシャッフル関係には有理数体上の場合と異なった（不可思議な）性質があることを示唆している。なお野呂氏等の関係式の集合のランクに法則性があるかどうかは発見できていない。本研究では自然言語処理と充足可能性問題の計算機科学の技術が応用されている。それに関連して、以前投稿していた自然言語処理の論文が今年度受理された。またBoolean多項式の連立方程式の公式を使ったアルゴリズムの研究とAlon-Taris多項式との関連の研究も行った。