[論文レビュー] Universality of Univariate Mixed Fractions in Divisive Meadows

J.A. Bergstra, Inge Bethke+1 more|arXiv (Cornell University)|Jul 3, 2017

Meromorphic and Entire Functions被引用数 3

ひとこと要約

本稿では、特性0の除法的ミードにおけるすべての単変数分数が、多項式と単純分数の組み合わせである混合分数に書き直せることを確立している。これは普遍的な標準形を提供する。主な結果は、この変換が有理数および複素数のミードにおいて常に可能であることであり、複素数ミードにおける有限サポート和の決定可能性に応用がある。

ABSTRACT

Univariate fractions can be transformed to mixed fractions in the equational theory of meadows of characteristic zero.

研究の動機と目的

• 除法的ミードにおける単変数分数が、多項式と単純分数の和である混合分数に書き直せるかどうかを調査すること。
• このような変換が、有理数のミードおよび複素数のミードにおいて普遍的に行えるかどうかを特定すること。
• この標準形が除法的ミードの等式理論に与える証明論的結果を探索すること。
• この結果を、複素数ミードにおける有限サポート和の決定可能性に応用すること。

提案手法

• 代数的変形および多項式除法を用いて、有理関数の構造を活用して単変数分数を混合形に書き直す。
• 恒等式 $ \varphi_A(x) = 1 - \frac{\prod_{a \in A}(x - a)}{\prod_{a \in A}(x - a)} $ を用いて、根を分離する特性関数を構成し、分解を可能にする。
• 除法的ミードの等式理論、特に除法および逆元に関する公理を用いて、項間の証明可能な等式を示す。
• 有限サポート和の決定可能性を、複素数上での多項式方程式および不等式系の可解性に還元する。
• タルスキの実閉体の1階理論の決定可能性結果を用いて、和の述語の決定可能性を確立する。
• 任意の単変数項 $ t $ が、多項式 $ g $ と単純分数 $ f $ の和に証明可能に等しいことを、公理集合 $ \mathcal{E}_{\mathrm{Md}}^{\mathrm{d}} \cup \{\underline{n}/\underline{n} = 1\} $ を用いて示す。

実験結果

リサーチクエスチョン

• RQ1 特性0の除法的ミードにおけるすべての単変数分数が、混合分数として表現可能か？
• RQ2 複素数のミードは、単変数分数を混合形に変換する操作に関して閉じているか？
• RQ3 この標準形が除法的ミード理論における等式証明論的結果としてもたらすものは何か？
• RQ4 複素数ミードにおいて、有限サポート和 $ \sum^{*}_{x} t(x) = 1 $ は決定可能か？
• RQ5 単変数結果は、多変数有理関数へどの程度一般化可能か？

主な発見

• 有理数ミード上のすべての単変数分数は、混合分数に書き直せる。これは $ \mathbb{Q}_0^d $ における混合分数の普遍性を証明する（定理3.1）。
• 同様に、複素数ミードにおいても普遍性が成立し、任意の単変数項が多項式と単純分数の和に証明可能に等しいことが示された（定理4.1）。
• 特性0の除法的ミードの等式理論は標準形を備える。任意の単変数項 $ t $ は、多項式 $ g $ と単純分数 $ f $ の和に証明可能に等しい（定理4.2）。
• 有限サポート和 $ \sum^{*}_{x} t(x) = 1 $ は $ \mathbb{C}_0^d $ で決定可能であり、分母の根の有限集合が非ゼロ和を支えるかどうかの確認に帰着される（定理4.3）。
• 決定可能性結果は、実閉体の1階理論の決定可能性に関するタルスキの定理に依拠しており、項のサポートを特徴付ける方程式および不等式系に適用される。
• この結果は、除法的ミードにおける単変数有理関数の構造が、有効な標準形および意思決定手続きを可能にすることを示している。ただし、多変数の場合の一般化は未解決のままである。