Extending Andrews and Newman's refinement of the crank-mex theorem

問題提起
本論文は、AndrewsとD. Newman (2020) および HopkinsとSellers (2020) によって確立された「クランク–mex定理（crank–mex theorem）」の洗練化に取り組んでいる。元の定理は、$n$ の非負のクランクを持つ整数分割の数（$M_{\ge 0}(n)$）が、奇数の最小除外数（mex）を持つ分割の数（$X_o(n)$）に等しいことを述べている。AndrewsとM. Newmanは最近、1より大きい部分の数である統計量 $\beta(\lambda)$ を追跡することで、この等式を解析的に洗練させた。彼らは $x_o(n, k) = m_{\ge 0}(n, k)$ であることを解析的に証明したが、組合せ論的な証明を求めていた。

現在の研究は、この調査を補完的な一連の分割統計へと拡張するものである。具体的には、以下の間の等数性（equinumerosity）を調査している：

1. 偶数のmexを持つ分割（$X_e(n)$）。
2. 固定点を持つ分割（ある $i$ に対して $\lambda_i = i$ となるもの）。
3. 負のクランクを持つ分割（$M_{< 0}(n)$）。
4. 正のクランクを持つ分割（$M_{> 0}(n)$）。

著者らは、これらの関係を、1より大きい部分の数（$k$）を追跡し、固定点の場合にはそのような部分の具体的な個数を追跡することによって、確立および洗練させることを目的としている。

手法
本論文は、主定理を証明するために2つの異なる手法を用いている：

1. 解析的証明： 著者らは $q$ 系列と母関数を利用する。彼らは、1より大きい部分の数を追跡するための変数 $z$ と、部分の和を追跡するための変数 $q$ を導入し、4つの分割集合それぞれの母関数を定義する。クランクに関連する集合については、AndrewsとGarvan (1988) によって導出された既知のクランク母関数を利用する。Heineの変換や $q$-二項定理を含む代数的な操作を通じて、これらの集合の母関数が同一である（または単純な因子 $z$ によって関連付けられている）ことを示し、等数性を証明する。
2. 組合せ論的証明： 著者らは、各集合間の明示的な全単射を構成する。
   • 偶数mex $\leftrightarrow$ 固定点： 奇数のmexを持つ分割と固定点を持たない分割を結びつけるKonan (2023) による一般化された全単射を適応させる。これを修正して、偶数mexの分割と固定点を持つ分割を結びつけ、その際、反復的な写像の中で1より大きい部分の数がどのように変化するかを注意深く分析する。
   • 固定点 $\leftrightarrow$ 負のクランク： 固定点のインデックス、1の数（$\omega(\lambda)$）、およびクランクの関係に基づく全単射を定義する。固定点を持つ分割と負のクランクを持つ分割が、特定の $\omega(\lambda)$ の境界を満たすことを示すための補題を確立する。この写像は、固定点 $i$ を $i$ 個の1で置き換える（またはその逆）操作を含み、それに応じて1より大きい部分の数を調整する。
   • 負のクランク $\leftrightarrow$ 正のクランク： 負のクランクを持つ分割と正のクランクを持つ分割の間の直接的な全単射を構成する。この写像は、符号を反転させつつ、1より大きい部分の数を正確に1つ増やすように、部分と1の数をシフトさせる操作を含む。

主要な貢献と結果
主要な結果は定理1であり、これは、正の整数 $n$ および $k$ に対して、以下の4つの集合が等数であることを確立している：
(a) $n$ の偶数mexを持ち、かつ1より大きい部分が $k$ 個である分割。
(b) $n$ の固定点を持ち、かつ1より大きい部分が $k+1$ 個である分割。
(c) $n$ の負のクランクを持ち、かつ1より大きい部分が $k$ 個である分割。
(d) $n$ の正のクランクを持ち、かつ1より大きい部分が $k+1$ 個である分割。

これは数学的に次のように表現される：
$$x_e(n, k) = f(n, k+1) = m_{< 0}(n, k) = m_{> 0}(n, k+1)$$

論文は、この定理に対して解析的および組合せ論的な証明の両方を提供している。組合せ論的な証明は、一連の全単射に基づいている：
$$X_e(n, k) \xrightarrow{\text{Konanの写像}} (1) \times G_1(n-1, k) \xrightarrow{\text{固定点写像}} F(n, k+1) \xrightarrow{\text{クランク写像}} M_{< 0}(n, k) \xrightarrow{\text{クランク写像}} M_{> 0}(n, k+1)$$

著者らはまた、$k=0$ の特定の場合についても言及し、分割 $(1^n)$ に関する軽微な例外を指摘した上で、この境界条件を扱うための記法 $F^*(n, k+1)$ を導入している。

意義と限界
本論文は、クランク–mex定理の洗練を、偶数mex、固定点、および符号付きクランクを含む補完的な集合へと拡張することに成功したと主張している。解析的および組合せ論的な証明の両方を提供することで、本研究はこれらの分割統計に関するより深い構造的理解を提示している。

しかし、著者らはAndrewsとNewmanによって提起された未解決問題の解決に関しては、控えめな姿勢をとっている。彼らは、自分たちの結果は $x_o(n, k) = m_{\ge 0}(n, k)$ という洗練に対する組合せ論的な証明を提供しないことを明示している。彼らは、Konanの既存の全単射をこの特定のケースに対して洗練する際の「克服不可能な障害」を2つ特定している：

1. $X_o(n)$ と固定点を持たない分割（$G(n)$）の間には、$\beta$ 値の分布が根本的に異なるため、1より大きい部分の数を保存する全単射が存在しない。
2. $M_{\le 0}(n, k)$ と $M_{\ge 0}(n, k+1)$ の間には、クランクが0である分割のパリティを考慮したとしても、必要な統計量を保存する全単射が存在しない。

したがって、本論文は、奇数mexの洗練に対する組合細論的な証明の要求を満たすには、現在の全単射の拡張ではなく、$X_o(n)$ と $M_{\ge 0}(n)$ の間の直接的な接続、あるいは全く新しい等数な集合の発見が必要になるであろうと結論付けている。