[論文レビュー] Periodic vanishings of the Legendre-17 signed partition numbers

Taylor Daniels|arXiv (Cornell University)|Mar 2, 2026

Advanced Mathematical Identities被引用数 0

ひとこと要約

本論文は p=17 の Legendre 符号付き分割数のラデマcher 型級数を導出し、特定の模34の剰余類における符号付き分割数の周期的消失を証明する。

ABSTRACT

For $f : \mathbb{N} o \{0,\pm 1\}$ the $f$-signed partition numbers $\mathfrak{p}(n,f)$ are defined to be the weighted partition sums \[ \mathfrak{p}(n,f) = \sum_{\substack{x_{1}+\cdots+x_{k} = n \\ x_{1} \geq \cdots \geq x_{k} > 0 \\ k \geq 1}} f(x_{1})f(x_{2})\cdots f(x_{k}). \] For prime $p > 2$, let $(\frac{\cdot}{p})$ denote the Legendre symbol modulo $p$. The first half of this paper derives Rademacher-style series formulae for the quantities $\mathfrak{p}(n,\pm(\frac{\cdot}{p}))$ for $p < 24$ satisfying $p \equiv 1 \pmod{4}$ (that is, for $p=5,13,17$), and the extensions to general $p \equiv 1 \pmod{4}$ are made apparent in our derivations. In the second half of this paper, the series formulae for $\mathfrak{p}(n,\pm(\frac{\cdot}{17}))$, as well as various properties of Dedekind sums and their "character-twisted" analogues, are used to establish that these two quantities are identically zero on certain (mod $34$)-arithmetic progressions.

研究の動機と目的

• Legendre シンボルを法 p の f が成す f-符号付き分割数を動機づけ、研究する；特に p=17 に焦点を当てる。
• 𝔭(n, χ) に対する明示的なラデマcher 型級数公式を導出する。 χ は p≡1 (mod 4) かつ p<24 のとき (·/p) である。
• 𝔭(n, (·/17)) および 𝔭(n, -(·/17)) が特定の模-34の剰余類で消えることを確立する。
• 消失結果を支える Dedekind 和および χ-ねじれ類似量を調べる。
• どの素数 p>2 が 𝔭(n, ±(·/p)) の周期消失を生じさせるかについての予想を提案する。

提案手法

• 𝔭(n, χ) の生成関数 Φ(x) を p の剰余に対する乗積として構成する。
• Φ(x) に対する gcd(k, 2p) の異なるケースでラデマcher 型の関数方程式を導出する。
• 円進法の分析を (k, 2p)=1, (k, 2p)=2, (k, 2p)=p, (k, 2p)=2p のケースに分解し、主項を Bessel I 関数を用いて抽出する。
• Kloosterman-type 和と Dedekind 和のねじれ量を解析して誤差項を抑える。
• 模34 の剰余類上で特定の和が消えることを示すことにより消失を証明する。
• 数値的証拠に支えられた p に関する消失の可能性について予想をまとめる。

実験結果

リサーチクエスチョン

• RQ1 χ=(·/p) かつ p≡1 (mod 4) のとき 𝔭(n, χ) のラデマcher 型級数表現は何か。
• RQ2 𝔭(n, (·/17)) および 𝔭(n, -(·/17)) が明示的な模-34の算術進公差で消えるかどうか、そしてそれをどう証明するか。
• RQ3 Dedekind 和と χ-ねじれ analogues は級数の係数の符号と大きさにどのような影響を与えるか。
• RQ4 p=17 を超える一般的な周期的消失現象が 𝔭(n, ±(·/p)) にあるか、どの素数 p がそのような消失を許すか。
• RQ5 消失を 5 と 17 のみに制限するという予想を支える数値的証拠は何か。

主な発見

• 𝔭(n, (·/17)) = 0 ならびにすべての n ≡ 17, 19, 25, 27 (mod 34) に対して。
• 𝔭(n, -(·/17)) = 0 ならびにすべての n ≡ 11, 15, 29, 33 (mod 34) に対して。
• 消失は特定の Kloosterman-type 和が指定された剰余類で消えることを示すことにより確立される。
• 和を制御しゼロ係数を証明するために Dedekind 和と χ-ねじれ analogues を用いる。
• 数値証拠は p>2 の唯一の素数として p=5 および p=17 がそのような進公差を持つと示唆しており、それが唯一の周期消失のケースであると予想される。
• 証明はラデマcher 型の級数を導出し、それに関連する主項と誤差項を分析することに依存する。