Weighted partitions with interval restrictions: exact formulas and a bivariate master identity

技術要約：区間制限を持つ重み付き分割：厳密な公式と二変量マスター・アイデンティティ

問題設定
本論文は、AndrewsとEl Bachraouiによる先行研究[3]で導入された、符号付き分割関数 $a''_2(n)$ および $b''_2(n)$ に関する2つの予想に対処するものである。これらの関数は、1より大きい部分の個数を $j$ としたとき、重み $(-1)^{j+1}$ を用いて、特定の区間制限を持つ整数 $n$ の分割を数え上げるものである。

• $a''_2(n)$: $l-1$ 個の1、最小の偶数部分 $2k$、$[2k, 2l-2]$ の範囲にある1より大きい部分、および1より大きい相異なる奇数部分を持つ分割を数える。
• $b''_2(n)$: $a''_2(n)$ と同様であるが、区間が $[2k, 2l-1]$ と拡大されている。

以下の予想が提示された：

1. $a''_2(n)$ の母関数は、周期的な符号を伴う「三角形の偽テータ（triangular false theta）」記述を認める。
2. $b''_2(n)$ の係数は、集合 $\{-1, 0, 1, 2\}$ に厳密に限定される。

手法
著者らは、解析的手法と組合せ論的な全単射を組み合わせた二重のアプローチを用いて、これらの予想を証明する。

1. 二変数への一般化: 中心的な手法上の革新は、1より大きい非強制的な部分の数を追跡するための補助変数 $z$ の導入である。これにより、二変数母関数 $A(z, q)$ および $B(z, q)$ が定義される。元の符号付き関数は、$z = -1$ という特殊化によって回収される。
2. 解析的証明: 著者らは、基本超幾何級数の恒等式、具体的には Andrews, Subbarao, および Vidyasagar による恒等式 [4] と Rogers–Fine 恒等式を用いて、$A(z, q)$ および $B(z, q)$ の閉形式を導出する。これらの導出は、$A(z, q)$ と $B(z, q)$ を結びつける「マスター・アイデンティティ（Master Identity）」を確立する。
3. 組合せ論的証明: 本論文は、母関数の恒等式に対する全単射的な証明を提供する。
   • 個々の関数に対して、全単射は分割のペアをそれぞれの生成級数へと写す。
   • マスター・アイデンティティに対しては、拡張された分割オブジェクトに対する符号反転の対合（sign-reversing involution）が構成される。この対合は $A$ と $B$ のファミリーからなる項の大部分をペアリングし、恒等式の補正項に正確に対応する、ペアリングされていない特定の「境界ファミリー」のオブジェクトを残す。
4. 特殊化と評価: マスター・アイデンティティにおいて $z = -1$ を代入し、Rogers–Fine 恒等式を適用することで、偽テータ級数を明示的に評価する。また、マスター・アイデンティティとは独立して、$a''_2(n)$ の偽テータ公式を検証するために、Heine の変換を用いた別の直接的な証明も提供される。

主要な貢献と結果

• マスター・アイデンティティ: 本論文は、基礎的な関係式を確立する：
  $$(1 + q^2)B(z, q) - (1 + q)A(z, q) = -\frac{q^4}{1 - q^3}$$
  この恒等式は、両方の分割ファミリーの研究を統合し、それらの通常の、符号付きの、および固定細分（fixed-refinement）母関数を制御する。

• 予想1の証明（偽テータ公式）: 著者らは、$a''_2(n)$ の母関数が以下であることを証明した：
  $$\sum_{n \ge 0} a''_2(n)q^n = \frac{q}{1-q^2} + \frac{1}{1+q} \sum_{n \ge 0} \chi(n)q^{\binom{n+1}{2}+1}$$
  ここで $\chi(n)$ は周期的な符号関数である。これは「三角形の偽テータ」構造を裏付け、 $a''_2(n)$ を決定する単純なパリティ規則を提供する。

• 予想2の証明（係数の範囲）: 本論文は、$b''_2(n)$ の明示的な母関数を導出する：
  $$\sum_{n \ge 0} b''_2(n)q^n = \frac{q + q^2 + q^3 - q^4}{(1-q)(1+q^2)(1+q+q^2)} + \frac{q}{1+q^2} \sum_{n \ge 0} \chi(n)q^{\binom{n+1}{2}}$$
  有理部分と偽テータの寄与を分析することにより、著者らはすべての $n$ に対して $b''_2(n) \in \{-1, 0, 1, 2\}$ であることを示し、予想を裏付けた。さらに、12周期関数と三角形の区間に基づく $b''_2(n)$ の厳密な係数公式を提供する。

• 精緻化された恒等式: マスター・アイデンティティは、$z=1$ を設定することによる通常の母関数、および $z^r$ の係数による固定細分母関数に対して即座に帰結をもたらし、これら2つの分割ファミリーの精緻化された計数の間の線形関係を確立する。

• 量子モジュラー解釈: $a''_2(n)$ に対して導出された偽テータ級数は、重み $1/2$ の強い量子モジュラー形式として特定される。本論文は、この級数を周期的な係数を持つ部分テータ関数へと結びつけ、単項テータ関数に関連するアイヒラー積分（Eichler integral）を通じてそのモジュラー障害を記述する。

意義
本論文の主な意義は、以前は計算によってのみ観察されていた、符号付き分割関数 $a''_2(n)$ および $b''_2(n)$ の剛性（rigidity）を証明した点にある。二変数 $z$ の導入は、これら一見異なる予想が、単一の構造的恒等式の帰結であることを明らかにしている。本研究は、範囲の主張を超えて、係数の完全な記述を提供し、厳密な公式へと到達している。さらに、本論文は、これらの分割恒等式と量子モジュラー形式の理論との関連性を強調しており、組合せ論的な分割問題から生じる偽テータ級数の具体的な例を提示している。解析的および組合せ論的な証明の両方の包含は、結果の堅牢性を保証するとともに、基礎となる全単射的構造への洞察を与える。