[論文レビュー] Some new formulas for Appell series over finite fields

Long Li, Xin Li+1 more|arXiv (Cornell University)|Jan 3, 2017

Advanced Mathematical Identities参考文献 5被引用数 5

ひとこと要約

本稿では、有限体上の乗法的特徴の使用により、AppellのF₁級数の有限体版を導入し、変換および還元公式、生成関数、二項係数表現を確立する。主な貢献は、有限体上でのAppell級数の多変数生成関数の恒等式であり、Greeneの超幾何理論を一変数から二変数設定に拡張し、明示的な特徴和表現を提供する。

ABSTRACT

In 1987 Greene introduced the notion of the finite field analogue of hypergeometric series. In this paper we give a finite field analogue of Appell series and obtain some transformation and reduction formulas. We also establish the generating functions for Appell series over finite fields.

研究の動機と目的

• 有限体上の乗法的特徴を用いて、AppellのF₁超幾何級数の有限体版を構築すること。
• Greeneの有限体超幾何理論を一変数から二変数の場合に一般化すること。
• 新しい有限体上でのAppell級数に対して、変換および還元公式を導出すること。
• 特徴和および二項係数を用いて、Appell級数の生成関数を確立すること。
• 古典的超幾何関数からの既知の結果を、明示的な特徴に基づく恒等式を用いて有限体設定に拡張すること。

提案手法

• 有限体上のAppell F₁級数を特徴和として定義する：$\mathbb{F}_1(A;B,B';C;x,y) = \varepsilon(xy)AC(-1)\sum_u A(u)\overline{A}C(1-u)\overline{B}(1-ux)\overline{B'}(1-uy)$。
• 二項係数を用いた恒等式によりAppell級数を表現する：$\mathbb{F}_1(A;B,B';C;x,y) = \frac{1}{(q-1)^2}\sum_{\chi,\lambda}\binom{A\chi\lambda}{C\chi\lambda}\binom{B\chi}{\chi}\binom{B'\lambda}{\lambda}\chi(x)\lambda(y)$。
• 有限体上の二項係数 $\binom{A}{B} = B(-1)J(A,\overline{B})$ を用いて、特徴和とヤコビ和を関連付ける。
• 特徴和表現を操作し、直交性関係を適用することで、変換恒等式を導出する。
• 補助的特徴 $\theta$ について和を取ることで生成関数を確立し、$\theta(t)$ およびスケーリングされた引数を含む恒等式を導く。
• 結果を用いて、有限体上での古典的 $_2\mathbb{F}_1$ 超幾何関数の生成関数を回復する。

実験結果

リサーチクエスチョン

• RQ1 乗法的特徴を用いて、AppellのF₁超幾何級数をどのように自然に有限体設定に拡張できるか？
• RQ2 古典的恒等式に類似する有限体上でのAppell F₁級数に対して、どのような変換および還元公式が成り立つか？
• RQ3 特徴和技法を用いて、有限体上でのAppell級数の生成関数を導出できるか？
• RQ4 有限体上でのAppell級数は、有限体超幾何関数 $_2\mathbb{F}_1$ とどのように関係しているか？
• RQ5 二項係数およびヤコビ和は、有限体上でのAppell級数の表現および簡約にどのように寄与するか？

主な発見

• 有限体上でのAppell F₁級数は、$\mathbb{F}_q$ 上の4つの乗法的特徴と2つの変数を含む特徴和として定義され、対称性と簡略化のための正規化係数 $\varepsilon(xy)AC(-1)$ を持つ。
• 別の表現として、特徴 $\chi, \lambda$ に関する二重和としての表現が与えられ、二項係数 $\binom{A\chi\lambda}{C\chi\lambda}$、$\binom{B\chi}{\chi}$、$\binom{B'\lambda}{\lambda}$ を含む。
• 級数は対称性を満たす：$\mathbb{F}_1(A;B,B';C;x,y) = \mathbb{F}_1(A;B',B;C;y,x)$、これは古典的F₁関数の対称性を反映している。
• 多変数生成関数の恒等式が確立された：$\frac{1}{q-1}\sum_\theta \binom{B\theta}{\theta} \mathbb{F}_1(A;B\theta,B';C;x,y)\theta(t) = \varepsilon(t)\overline{B}(1-t)\mathbb{F}_1(A;B,B';C;\frac{x}{1-t},y) - \varepsilon(y)\overline{B}(-t)B'\overline{C}(x)\overline{A}C(1-x)\overline{B'}(x-y)$。
• この恒等式から、一変数 $_2\mathbb{F}_1$ 関数の2つの生成関数が導出され、有限体設定において古典的生成関数恒等式と整合的であることが示された。
• 結果は、Greeneの有限体超幾何関数理論を二変数の場合に拡張し、有限体上での多変数超幾何関数のさらなる研究のための枠組みを提供する。