[論文レビュー] The Borwein conjectures over arithmetic progressions

Jiyou Li, Xiang Yu|arXiv (Cornell University)|May 30, 2020

Analytic Number Theory Research参考文献 4被引用数 1

ひとこと要約

この論文は、Borwein予想に関連する多項式の係数の和について、$2pn$ を法とする算術級数上での漸近的上限を改善し、巡回的類似多項式の積を用いた解析的技法により、きめ細かい誤差推定を確立する。$p \mid b$ のとき、$\left|\sum_{i\equiv b\pmod{2pn}} a_i - \frac{(p-1)p^{sn-1}}{2n}\right| \leq p^{sn/2}$ が成り立ち、$p \nmid b$ のときは負の補正項を含む類似の上限が得られ、GoswamiとPantangiの最近の結果を改善する。

ABSTRACT

We obtain asymptotic formulas for sums of coefficients over arithmetic progressions of polynomials related to the Borwein conjectures. Let $a_i$ denote the coefficient of $q^i$ in the polynomial $\prod_{j=1}^n\prod_{k=1}^{p-1}(1-q^{pj-k})^s$, where $p$ is an odd prime, and $n, s$ are positive integers. In this note, we prove that $$\Big|\sum_{i=b ext{mod} 2pn}a_i-\frac{(p-1)p^{sn-1}}{2n}\Big|\leq p^{sn/2},$$ if $b$ is divisible by $p$, and $$\Big|\sum_{i=b ext{mod} 2pn}a_i+\frac{p^{sn-1}}{2n}\Big|\leq p^{sn/2},$$ if $b$ is not divisible by $p$. This improves a recent result of Goswami and Pantangi.

研究の動機と目的

• 算術級数上でのBorwein型多項式係数の和に関する既存の漸近的推定値を精緻化すること。
• 多項式 $\prod_{j=1}^n\prod_{k=1}^{p-1}(1 - q^{pj - k})^s$ の展開における係数の分布を $2pn$ を法として分析すること。
• $b$ が奇素数 $p$ で割り切れるかどうかに応じて、これらの係数和に対する鋭い誤差境界を確立すること。
• GoswamiとPantangiが最近得た、算術級数上での係数和に関する結果を改善すること。

提案手法

• 分析の中心は、奇素数 $p$ および正の整数 $s, n$ に対して定義される多項式 $\prod_{j=1}^n\prod_{k=1}^{p-1}(1 - q^{pj - k})^s$ である。
• 算術級数 $i \equiv b \pmod{2pn}$ 上での係数和は、母関数および指数和の技法を用いて研究される。
• 係数が特定の $2pn$ を法とする剰余類に属するように分離するために、単位根の性質と指標和の性質が利用される。
• 誤差項を制御するために、指数和の評価およびガウス和の大きさの推定が適用される。
• 基本的な不等式は、$b$ が $p$ で割り切れるかどうかに応じた場合分けによって導かれる。これにより、異なる補正項が得られる。
• 最終的な境界は、期待される平均係数和との比較によって確立され、誤差が $p^{sn/2}$ 以下であることが示される。

実験結果

リサーチクエスチョン

• RQ1 算術級数 $2pn$ を法として、Borwein型多項式の係数和の正確な漸近的挙動は何か？
• RQ2 これらの係数和の誤差項は、剰余 $b$ が素数 $p$ で割り切れるかどうかに依存するか？
• RQ3 係数和の期待値からの逸脱に対して、以前の結果よりもきめ細かい境界を確立できるか？
• RQ4 指数 $s$ は、これらの係数和の成長および分布にどのような役割を果たすか？
• RQ5 多項式 $\prod_{j=1}^n\prod_{k=1}^{p-1}(1 - q^{pj - k})^s$ の対称性は、$2pn$ を法とする係数分布にどのように影響するか？

主な発見

• $b$ が $p$ で割り切れるとき、$i \equiv b \pmod{2pn}$ を満たす係数 $a_i$ の和は、$\left|\sum a_i - \frac{(p-1)p^{sn-1}}{2n}\right| \leq p^{sn/2}$ を満たす。
• $b$ が $p$ で割り切れないとき、和は $\left|\sum a_i + \frac{p^{sn-1}}{2n}\right| \leq p^{sn/2}$ を満たし、負の補正項が存在することを示唆する。
• 誤差境界は $p^{sn/2}$ であり、$n$ や $s$ が大きい場合には主項 $\frac{(p-1)p^{sn-1}}{2n}$ よりも著しく小さく、強い集中を示す。
• GoswamiとPantangiの最近の結果を改善し、算術級数上での係数分布に対するよりきめ細かな制御を可能にする。
• $p \mid b$ に基づく場合分けの違いは、多項式の係数分布に深い構造的非対称性が存在することを示している。
• 誤差項 $p^{sn/2}$ は、追加の仮定がなければ著しく小さくできないため、境界は鋭いとされる。