[論文レビュー] Congruences for Generalized Frobenius Partitions with an Arbitrarily Large Number of Colors

Frank Garvan, James A. Sellers|arXiv (Cornell University)|May 26, 2013

Advanced Mathematical Identities被引用数 11

ひとこと要約

この論文は、アンドリュースの1984年のメモワールに見過ごされていた生成関数の恒等式を用いて、任意に大きな色数 $k$ を持つ一般化されたフロベニウス分割関数 $c\phi_k(n)$ に対する無限族のラマヌジャン型合同式を確立する。この生成関数の素数法におけるモジュラー性を活用することで、$k$ が小さい場合に成立する合同式が、任意の $N \geq 0$ に対して $c\phi_{pN+k}(pn+r) \equiv 0 \pmod{p}$ に拡張されることを証明し、非常に大きな $k$ を持つ合同式の構成を可能にする。主な貢献は、大規模な $k$ に対してこのような合同式を体系的に生成する最初の手法を提供したことである。これは、長年の文献の空白を解消するものである。

ABSTRACT

In his 1984 AMS Memoir, George Andrews defined the family of $k$--colored generalized Frobenius partition functions. These are denoted by $c\\phi_k(n)$ where $k\\geq 1$ is the number of colors in question. In that Memoir, Andrews proved (among many other things) that, for all $n\\geq 0,$ $c\\phi_2(5n+3) \\equiv 0\\pmod{5}.$ Soon after, many authors proved congruence properties for various $k$--colored generalized Frobenius partition functions, typically with a small number of colors. Work on Ramanujan--like congruence properties satisfied by the functions $c\\phi_k(n)$ continues, with recent works completed by Baruah and Sarmah as well as the author. Unfortunately, in all cases, the authors restrict their attention to small values of $k.$ This is often due to the difficulty in finding a "nice" representation of the generating function for $c\\phi_k(n)$ for large $k.$ Because of this, no Ramanujan--like congruences are known where $k$ is large. In this note, we rectify this situation by proving several infinite families of congruences for $c\\phi_k(n)$ where $k$ is allowed to grow arbitrarily large. The proof is truly elementary, relying on a generating function representation which appears in Andrews' Memoir but has gone relatively unnoticed.

研究の動機と目的

• 色数 $k$ が大きい場合に、一般化されたフロベニウス分割関数に対して既知のラマヌジャン型合同式が不足しているという問題に取り組む。
• 色数 $k$ が大きい場合に $c\phi_k(n)$ の「良い」生成関数表現が得にくいという困難を克服する。
• 固定された素数法における、任意に大きな $k$ を持つ $c\phi_k(n)$ に対して無限族の合同式を生成する一般化された手法を確立する。
• 小さな $k$ に対して既知の合同式が、生成関数のモジュラー変換を用いて任意に大きな $k$ に拡張可能であることを示す。

提案手法

• 著者たちは、アンドリュースのメモワールの定理2.1を用い、$c\phi_k(n)$ の生成関数を $\prod_{n=0}^{\infty}(1+zq^{n+1})^k(1+z^{-1}q^n)^k$ の定数項として表現する。
• 彼らは素数 $p$ における二項定理を適用し、$c\phi_{pN+k}(n)$ の生成関数を $q^p$ と元の $c\phi_k(n)$ の生成関数を含む積に簡約する。
• この簡約により、$q^{pn+r}$ の係数を $p$ を法として分析でき、$c\phi_{pN+k}(pn+r)$ の振る舞いと $c\phi_k(pn+r)$ の振る舞いを結びつけることができる。
• この手法の根幹にあるのは、最初の積における $q^p$ の依存性のおかげで、$c\phi_{pN+k}(pn+r)$ の定数項抽出が、$c\phi_k(pn+r)$ の $p$ を法とする振る舞いにのみ依存することである。
• 核心的なアイデアは、$c\phi_k(pn+r) \equiv 0 \pmod{p}$ がすべての $n$ に対して成り立つならば、すべての $N$ と $n$ に対して $c\phi_{pN+k}(pn+r) \equiv 0 \pmod{p}$ が成り立つことである。
• 中国剰余定理を用いて、合成法に拡張され、1155 などの合成数法における合同式の構成が可能になる。

実験結果

リサーチクエスチョン

• RQ1 一般化されたフロベニウス分割関数に対して、色数 $k$ が任意に大きい場合にラマヌジャン型合同式を拡張することは可能か？
• RQ2 複雑な生成関数表現の困難を克服し、大規模な $k$ に対してこのような合同式を体系的に生成する手法は存在するか？
• RQ3 小さな $k$ に対して既知の合同式は、生成関数のモジュラー算術を用いて、大規模な $k$ を持つ無限族に持ち上げられるか？
• RQ4 アンドリュースのメモワールに由来する生成関数恒等式は、これらの拡張を可能にする役割を果たしているか？

主な発見

• この論文は、すべての $n \geq 0$ に対して $c\phi_k(pn+r) \equiv 0 \pmod{p}$ が成り立つならば、すべての $N \geq 0$ および $n \geq 0$ に対して $c\phi_{pN+k}(pn+r) \equiv 0 \pmod{p}$ が成り立つことを証明し、任意に大きな $k$ を持つ無限族の合同式を形成する。
• 系2.3では、5を法とするラマヌジャンの分割合同式から、すべての $N, n \geq 0$ に対して $c\phi_{5N+1}(5n+4) \equiv 0 \pmod{5}$ が導かれる。
• 系2.4では、$k=2$ の場合のアンドリュースの結果に基づき、すべての $N, n \geq 0$ に対して $c\phi_{5N+2}(5n+3) \equiv 0 \pmod{5}$ が示される。
• 系2.5では、$k=3$ の場合のコリッチの合同式を用いて、すべての $N \geq 1$ および $n \geq 0$ に対して $c\phi_{3N}(3n+2) \equiv 0 \pmod{3}$ が証明される。
• 系2.6では、中国剰余定理を用いて3, 5, 7, 11を法とする結果を統合し、$c\phi_{1155N+1002}(1155n+908) \equiv 0 \pmod{1155}$ という1155を法とする合同式が構成される。