[論文レビュー] A note on the Borwein conjecture

Jiyou Li|arXiv (Cornell University)|Dec 3, 2015

Coding theory and cryptography参考文献 7被引用数 5

ひとこと要約

この論文は、組合せ的数え上げと3n+3を法とする文字和技法を用いて、Borwein予想に関する重要な部分的結果を証明している。任意の $ n $ と $ k $ に対して、係数の和 $ a_{3k} + a_{3(n+1)+3k} + \cdots + a_{3n(n+1)+3k} $ が正であり、$ \frac{2 \cdot 3^n}{n+1}(1 + O(c^n)) $ に漸近的に等しくなることを示している。ここで $ 0 < c < 1 $ である。

ABSTRACT

A conjecture of Borwein asserts that for any positive integers $n$ and $k$, the coefficient $a_{3k}$ of $q^{3k}$ in the expansion of $\prod_{j=0}^n (1-q^{3j+1})(1-q^{3j+2})$ is nonnegative. In this paper we prove that for any $0 \leq k\leq n$, there is a constant $00.$$

研究の動機と目的

• $ \prod_{j=0}^n (1 - q^{3j+1})(1 - q^{3j+2}) $ の $ q^{3k} $ の係数に関するBorwein予想の正の係数に関する主張を調査すること。
• 係数の和 $ a_{3k} + a_{3(n+1)+3k} + \cdots + a_{3n(n+1)+3k} $ に対して非自明な下界を確立し、それが正であることを証明すること。
• 集合 $ D = \{1,2,4,5,\dots,3n+2\} $ の部分集合を、偶数個と奇数個のサイズに分け、$ 3n+3 $ を法とする固定された和に対して数える組合せ的枠組みを構築すること。
• 文字和法と母関数を用いて、偶数サイズと奇数サイズの部分集合の数の差を推定すること。
• 係数の和が $ \frac{2 \cdot 3^n}{n+1}(1 + O(c^n)) $ に漸近的に等しいという定量的推定を提供し、$ n $ が大きい場合の正の性質を確認すること。

提案手法

• 集合 $ D = \{1,2,4,5,\dots,3n+1,3n+2\} $ を、3で割り切れない $ 3n+3 $ 未満の整数の集合として定義する。
• $ C_e(j,n) $ および $ C_o(j,n) $ をそれぞれ $ D $ の和が $ j $ である偶数サイズ・奇数サイズの部分集合の個数とする。係数 $ a_j = C_e(j,n) - C_o(j,n) $ を表す。
• $ M(b) = \sum_{k \text{ even}} M(k,b,D) - \sum_{k \text{ odd}} M(k,b,D) $ を用い、$ b \in 3\mathbb{Z}_{3n+3} $ の和に対して符号付き部分集合数の和を表す。
• $ \mathbb{Z}_{3n+3} $ 上で文字和技法を適用し、位数1, 3, およびそれ以上の文字の寄与に分解する。
• $ \phi(N)/N \leq 1 $ を用いて非自明な文字の寄与を評価し、誤差項 $ 2^{N/3} $ および $ 3^{N/6} $ を得る。ここで $ N = 3n+3 $ である。
• 漸近的推定 $ |M(b) - \frac{2 \cdot 3^{N/3}}{N}| \leq 2^{N/3} + 3^{N/6} $ を導出し、$ c \in (0,1) $ に対して $ M(b) = \frac{2 \cdot 3^n}{n+1}(1 + O(c^n)) $ が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の $ n $ と $ k $ に対して、係数の和 $ a_{3k} + a_{3(n+1)+3k} + \cdots + a_{3n(n+1)+3k} $ は正であるか？
• RQ2 有限積 $ \prod_{j=0}^n (1 - q^{3j+1})(1 - q^{3j+2}) $ において、$ j \equiv 0 \pmod{3} $ を満たす係数 $ a_j $ の和に対して非自明な下界を確立できるか？
• RQ3 固定された $ k $ に対して $ n $ を大きくしたとき、指数の等差数列における係数 $ a_{3k} $ の和の漸近的挙動はいかなるものか？
• RQ4 文字和法を用いて、$ 3n+3 $ を法とする固定された和を持つ $ D $ の偶数サイズと奇数サイズの部分集合の数の差を推定できるか？
• RQ5 係数和の正の性質は、$ n \to \infty $ の極限において、Borwein予想が完全な積に対して成り立つことを示唆するか？

主な発見

• 任意の $ 0 \leq k \leq n $ に対して、和 $ a_{3k} + a_{3(n+1)+3k} + \cdots + a_{3n(n+1)+3k} $ は厳密に正である。
• この和は、ある定数 $ c \in (0,1) $ に対して $ \frac{2 \cdot 3^n}{n+1}(1 + O(c^n)) $ に漸近的に等しい。これは相対誤差の指数的減衰を示している。
• 主項 $ \frac{2 \cdot 3^n}{n+1} $ は、$ 3n+3 $ を法とする部分集合和の均等分布と、文字和分解による補正から生じる。
• 推定における誤差項は $ 2^{(3n+3)/3} + 3^{(3n+3)/6} = 2^{n+1} + 3^{n/2 + 1/2} $ で抑えられ、これは主項よりも指数的に小さい。
• この結果は、Borwein予想の係数和の正の性質に関する主張を、等差数列上での和に関して確認しているが、個々の係数については確認していない。
• この手法は、モジュラーに基づくアプローチを越えて、無限積展開における符号パターンを研究するための新しい組合せ的・解析的枠組みを提供している。