[論文レビュー] New linear independence measures for values of q-hypergeometric series

Igor Rochev|arXiv (Cornell University)|Jun 28, 2010

Advanced Mathematical Identities参考文献 2被引用数 3

ひとこと要約

本稿では、差分作用素とシフト作用素を用いて補助線形形式を構成することにより、q-超幾何級数の値に対する新しい線形独立性測度を確立する。q、P(z)、パラメータαj に対して特定の条件下で、f(σ)(αj qk) のある組み合わせがℚ上線形独立であることを示し、非ゼロ線形形式に対して H^{−μ−C₀/√log H} の形の明示的な下界が得られる。ここで μ = (M−1)/(1−Mγ) であり、M は deg P と指数 s_j に依存する。

ABSTRACT

We prove linear independence results for values of (a certain class of) q-hypergeometric series in a quantitative form.

研究の動機と目的

• q-超幾何級数 f(z) = ∑ z^n / ∏_{k=1}^n P(q^k) の値に対する有効な線形独立性測度を確立すること。
• q のパrameter に対する仮定を弱める条件下で、以前の結果を拡張し、より鋭い定量的評価を与えること。
• αj 間の乗法的依存性がなく、極で消失しないことを保証する条件下で、1, f^{(σ)}(α_j q^k) がℚ上線形独立であることを証明すること。
• これらの値における線形形式の下界推定における指数を改善し、以前の O((log H)^{3/2}) の評価を上回ること。

提案手法

• 導関数とシフト作用素の列を用いて補助線形形式 u_n(𝐱) と v_n(𝐱) を構成し、v_n が再帰関係 v_n = P(q^n)v_{n-1} + u_n を満たすようにする。
• 後退シフト B を用いて差分作用素 D_a = I - aB を導入し、その性質を用いて多項式・指数関数的列を消去する。
• 高階形式 v_{l,n}(𝐱) = ∏_{k=1}^l ∏_{j=1}^m D_{α_j q^{-k}}^{s_j} (v_n(𝐱)) を定義し、成長を制御し、非ゼロ性を保証する。
• 非ゼロ性補題（補題5）を用いて、任意の非ゼロ係数ベクトルに対して、ある v_{l,n} がゼロでないことを保証する。
• スケーリング形式 w_{l,n}(𝐱) = D^n q_1^{Sl(l+1)/2} q_2^{dn(n+1)/2} v_{l,n}(𝐱) を導入し、整数性を保ちつつ係数の大きさを制御する。
• l ≈ (L/a)^{1/2}、L = log H / log |q_1| とおくことで、鞍点法を適用し、線形形式に対する最終的な下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 q、P(z)、αj に対してどのような条件下で、f^{(σ)}(α_j q^k) がℚ上線形独立となるか？
• RQ2 これらの値における線形形式の下界推定における指数を、O((log H)^{3/2}) よりも改善できるか？
• RQ3 P(z) の構造、特にその次数と先行係数が線形独立性測度にどのように影響するか？
• RQ4 ディオファントス近似定数 γ = log|q_2|/log|q_1| が、評価の鋭さを決定づける役割を果たすか？
• RQ5 P(0) = 0 または P のすべての根が有理数であるような場合にも、この手法を適用可能か？

主な発見

• 1, f^{(σ)}(α_j q^k) （1 ≤ j ≤ m, 0 ≤ k < d, 0 ≤ σ < s_j）がℚ上線形独立であるのは、γ < 1/M のときであり、ここで M は deg P と s_j によって定義される。
• 鋭い下界が確立された：|A_0 + ∑ A_{j,k,σ} f^{(σ)}(α_j q^k)| ≥ H^{−μ−C₀/√log H}、ここで μ = (M−1)/(1−Mγ)。
• 以前の結果が exp(−C(log H)^{3/2}) の推定しか与えなかったのに対し、本稿ではべき対数的減衰率を達成した。
• 定数 C₀ は q, P, m, α_j, s_j のみに依存し、固定されたパrameter に対して絶対的定数である。
• P(z) = p_d z^d と一般の P(z) の両方のケースに一様に適用可能であり、M をそれに応じて調整する。
• スケーリング形式 w_{l,n}(𝐱) が短い区間内のある n で非ゼロであることが保証され、最終的な推定で最大モジュラスの原理が適用可能になる。