2025-11-18T06:37:13.414405

Enumeration of Even Dimensional Partitions modulo 4

Khanna

The number of standard Young tableaux possible of shape corresponding to a partition $Î»$ is called the dimension of the partition and is denoted by $f^Î»$. Partitions with odd dimensions were enumerated by McKay and were further characterized by Macdonald using the theory of 2-core towers. We use the same theory to extend the results to partitions of $n$ with dimensions congruent to 2 modulo 4 which are enumerated by $a_2(n)$. We provide explicit results for $a_2(n)$ when $n$ has no consecutive 1s in its binary expansion and give a recursive formula to compute $a_2(n)$ for all $n$.

academic

偶数次元分拆の法4による列挙

基本情報

論文ID: 2511.11977
タイトル: Enumeration of Even Dimensional Partitions modulo 4
著者: Aditya Khanna
分類: math.CO（組合数学）
発表日: 2025年11月15日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2511.11977

要旨

整数分拆λの次元 $f^λ$ は、対応する形状の標準Young表の個数として定義される。McKayは奇次元分拆を列挙し、Macdonaldは2-核塔理論を用いてこれらの分拆をさらに特徴付けた。本論文は同じ理論を用いて、次元が法4で2に合同である分拆に結果を拡張し、 $a_2(n)$ でこのクラスの分拆の計数を表す。論文は、二進展開に連続する1を持たない整数 $n$ に対して $a_2(n)$ の明示公式を与え、一般的な $n$ に対して再帰計算公式を提供する。

研究背景と動機

問題背景

中心的問題：整数 $n$ の分拆のうち、次元が特定の合同性質（特に法4で2に合同）を満たす分拆の個数を計算すること
歴史的発展：
- McKay（1972）は $m_2(n)$ （次元が2で割り切れない分拆の数）を計算した
- Macdonald（1971）は $p$ -核塔理論を用いて $m_p(n)$ の完全な解を与えた
- $n = 2^{k_1} + \cdots + 2^{k_\ell}$ （ $k_1 > \cdots > k_\ell$ ）に対して、 $m_2(n) = 2^{k_1+\cdots+k_\ell}$ が成り立つ

重要性

理論的意義：法4による分類は対称群のスピン表現の分類に重要な意味を持つ
拡張価値：法2から法4への推広は、より一般的な合同性質を理解するための鍵となる
組合せ構造：分拆次元と二進展開の間の深い関連性を明らかにする

既存方法の限界

Amrutha PとT. Geerthaの研究は $m_{2^k}(n)$ の一般解（式(6)）を与えたが、結果は列挙に適さない
彼らは $n = 2^\ell$ の特殊な場合にのみ $m_4(n)$ の明示結果を提供した
一般的な $n$ に対する効果的な計算方法が欠けている

研究動機

2-核塔理論を通じて、次元が法4で2に合同である分拆と二進展開の間の組合せ対応を確立し、計算可能な再帰公式と特殊な場合の閉形式解を提供する。

核心的貢献

再帰公式（定理1）： $n = 2^R + m$ $n = 2^{R} + m$ （ $m < 2^R$ $m < 2^{R}$ ）に対して、 $a_2(n)$ $a_{2} (n)$ の区分的再帰公式を与える：
- $m < 2^{R-1}$ のとき： $a_2(n) = 2^R \cdot a_2(m) + \binom{2^{R-1}}{2} \cdot a(m)$
- $2^{R-1} \leq m < 2^R$ のとき： $a_2(n) = 2^R \cdot a_2(m) + \frac{1}{2^{R-1}}\left(\binom{2^{R-1}}{3} + 2^{R-1}\right) \cdot a(m)$
疎な数の閉形式（系2）：二進展開に連続する1を持たない疎な数 $n$ $n$ に対して：
- $n$ が偶数のとき： $a_2(n) = \frac{a(n)}{8}(n - 2\nu(n))$ 、ここで $\nu(n)$ は二進展開における1の個数
- $n$ が奇数のとき： $a_2(n) = a_2(n-1)$
2-核塔の特徴付け（命題13）： $v_2(f^\lambda) = 1$ の必要十分条件を与え、2-核塔の各層の重み $w_i(\lambda)$ を通じて特徴付ける
組合せ的解釈：計数問題を2-核塔ノードのラベリングの組合せ計数に変換し、明確な組合せ対応を確立する

方法の詳細

タスク定義

入力：正整数 $n$
出力： $a_2(n)$ 、すなわち $n$ のすべての分拆のうち次元 $f^\lambda \equiv 2 \pmod{4}$ を満たす分拆の個数
制約：2-核塔の組合せ構造を利用して計数する

核心的数学構造

1. 基本概念

分拆： $\lambda = (\lambda_1, \ldots, \lambda_k)$ は $\lambda_1 \geq \cdots \geq \lambda_k > 0$ かつ $|\lambda| = \sum \lambda_i = n$ を満たす
次元： $f^\lambda$ は形状 $\lambda$ の標準Young表（SYT）の個数
2-核：移除可能なドミノを含まない分拆、形式は $(n, n-1, \ldots, 2, 1)$

2. 2-核塔の構成

分拆 $\lambda$ に対して無限二分木を構成する：

ルートノードは $\text{core}_2(\lambda)$ でラベル付けされる
再帰的定義：ノード $v$ が $\text{core}_2(\lambda^{(b)})$ でラベル付けされている場合、その2つの子ノードはそれぞれ $\text{core}_2(\lambda^{(b0)})$ と $\text{core}_2(\lambda^{(b1)})$ でラベル付けされる
ここで $\lambda^{(0)}, \lambda^{(1)}$ は $\lambda$ の2-商である

3. 重み関数

第 $k$ 行の重みを定義する： $w_k(\lambda) := \sum_{b \in \{0,1\}^k} |\text{core}_2(\lambda^{(b)})|$

主要な性質：

命題12（Macdonald）： $\lambda$ が奇分拆であることと $w_i(\lambda) = b_i$ （ $n$ の第 $i$ ビット）が同値
命題13（本論文の核心）： $v_2(f^\lambda) = 1$ $v_{2} (f^{λ}) = 1$ であることと、 $R \in \text{bin}'(n)$ $R \in bin^{'} (n)$ が存在して以下を満たすことが同値：
- $w_{R-1}(\lambda) = b_{R-1} + 2$
- $w_R(\lambda) = 0$
- $w_i(\lambda) = b_i$ （すべての $i \neq R, R-1$ に対して）

技術的革新点

1. 重み数列の特徴付け

重み数列 $w^k(n) = (w^k_i(n))_{i \geq 0}$ を導入し、特定の層 $k$ が「異常」（重みが2増加）であることを指定することで、 $v_2(f^\lambda) = 1$ の条件を特徴付ける。これはMacdonaldの奇分拆の特徴付けから法4で2に合同な分拆への重要な推広である。

2. 組合せ計数関数 $T^k(w)$

第 $k$ 行に $2^k$ 個のノードがあり、ノードが2-核でラベル付けされ、サイズの合計が $w$ である方案の数を $T^k(w)$ と定義する：

$T^k(0) = 1$
$T^k(1) = 2^k$
$T^k(2) = \binom{2^k}{2}$
$T^k(3) = \binom{2^k}{3} + 2^k$

これは2-核の形式を利用する（補題6）。サイズが0、1、3である2-核はそれぞれ $\emptyset$ 、 $(1)$ 、 $(2,1)$ である。

3. 再帰分解戦略

$a_2(n)$ を以下のように表現する： $a_2(n) = \sum_{k \in \text{bin}'(n)} T(w^k(n))$ ここで $T(w^k(n)) = \prod_{i \geq 0} T^i(w^k_i(n))$

$k = R$ 項と他の項を分離し、帰納法の仮説を利用して $a_2(m)$ を計算することで、再帰公式を得る。

4. 疎な数の簡化

疎な数（連続する1を持たない）に対して、すべての $k \in \text{bin}'(n)$ に対して $b_{k-1} = 0$ であるため： $a_2(n) = a(n) \sum_{k \in \text{bin}'(n)} \frac{T^{k-1}(2)}{T^k(1)} = a(n) \sum_{k \in \text{bin}'(n)} \frac{2^k - 2}{8}$

この和は明示的に計算でき、閉形式を得る。

実験設定

注：本論文は純粋な理論数学論文であり、従来の意味での実験は含まれない。すべての結果は厳密な数学的証明により得られている。

検証方法

理論的導出はMacdonaldの2-核塔理論の枠組みに基づいている
補題15を通じて小規模な場合（ $w = 0, 1, 2, 3$ ）を検証する
再帰公式はコンピュータ検証に使用できる（論文は数値実験を提供していないが）

特殊な場合の検証

疎な数は検証可能な閉形式を提供する
既知の $m_4(2^\ell)$ の結果と一致する（注17）

実験結果

主要な結果

定理1の応用

再帰公式により、より小さい $m$ から $a_2(2^R + m)$ を計算できる：

第1の場合（ $m < 2^{R-1}$ ）：主に $a_2(m)$ に依存し、修正項の係数は $\binom{2^{R-1}}{2} = 2^{R-2}(2^{R-1}-1)$
第2の場合（ $m \geq 2^{R-1}$ ）：修正項はより複雑で、係数は $\frac{1}{2^{R-1}}\left(\binom{2^{R-1}}{3} + 2^{R-1}\right)$

系2の明示公式

疎な数に対して、公式は極めて簡潔である： $a_2(n) = \frac{a(n)}{8}(n - 2\nu(n)) \quad (\text{n偶数})$

例： $n = 42 = 2^5 + 2^3 + 2^1$ （疎）， $\nu(42) = 3$

$a(42) = 2^{5+3+1} = 512$
$a_2(42) = \frac{512}{8}(42 - 6) = 64 \times 36 = 2304$

理論的発見

法4構造の階層性：次元が法4で2に合同である分拆は、2-核塔において正確に1つの層が「異常」（重みが予想より2単位大きい）を示すことに対応する
二進展開の役割：
- 奇分拆：各二進ビットが対応する層の重みに対応する
- 法4で2に合同な分拆：特定のビットで「借用」が発生し、隣接する2つの層の重みが変化する
疎な数の特殊性：連続する1を持たないことにより、すべての可能な「異常」位置が同じ組合せ構造に寄与し、閉形式をもたらす
$m_4(n)$ との関係（注17）： $m_4(n) = a(n) + a_2(n)$ 次元が4で割り切れる分拆の数は $p(n) - a(n) - a_2(n)$ である

結論と議論

主要な結論

法4で2に合同な場合の完全な解決：定理1の再帰公式を通じて、 $a_2(n)$ はすべての $n$ に対して計算可能
疎な数の優雅な公式：系2は大規模な整数クラスの閉形式解を与える
明確な組合せ的解釈：2-核塔の重みの異常を通じて $v_2(f^\lambda) = 1$ を特徴付ける
既知の結果との一致：特殊な場合はAmrutha-Geerthaの結果と一致する

限界

再帰的性質：定理1は完全であるが、 $a_2(n)$ の計算にはより小さい値への再帰が必要であり、複雑度は二進展開の構造に依存する
一般的な場合に閉形式がない：疎な数を除いて、一般的な $n$ の閉形式公式は与えられていない
高階推広の困難さ（第4節で認められている）：
- 法 $2^k$ （ $k > 2$ ）の場合、再帰項が多すぎる
- 法 $p^2$ （ $p$ は奇素数）の計算は繁雑
- これらの推広は実際には処理が困難
数値検証の欠如：論文は計算例や他の方法との数値比較を提供していない

今後の方向

論文は第4節で以下を指摘している：

より高い法数：法 $2^k$ （ $k \geq 3$ ）または法 $p^2$ （ $p$ は奇素数）の場合を計算するが、再帰がより複雑になることを認める
他の特殊クラス：閉形式を許す整数のより多くのクラスを探す（疎な数に類似）
アルゴリズムの最適化： $a_2(n)$ を効率的に計算するアルゴリズムを開発する
表現論への応用：結果をスピン表現の具体的な分類問題に適用する

深い評価

利点

理論的厳密性：
- すべての定理に完全な証明がある
- 論理の連鎖が明確：補題15 → 命題13 → 定理1 → 系2
- 成熟した2-核塔理論の枠組みを使用
方法的革新性：
- 重み数列 $w^k(n)$ の導入は「異常」層の位置を巧妙に符号化する
- 計数関数 $T^k(w)$ は問題を処理可能な部分問題に分解する
- 疎な数の場合の処理は方法の力を示す
結果の計算可能性：
- 再帰公式は明確で、プログラム可能
- 疎な数の閉形式は優雅で直接適用可能
- 既知の結果との関連性が明確（注17）
記述の明確さ：
- 背景紹介が十分（第1節）
- 定義が詳細で、例を含む（第2節）
- 証明の思路が明確で、重要なステップに注釈がある

不足

実用性の限定：
- 再帰公式は完全だが、大きな $n$ の計算効率が不明
- アルゴリズムの複雑度分析がない
- 実装または数値表が提供されていない
カバー範囲が狭い：
- 法4で2に合同な場合のみを解決
- 法4で0および3に合同な場合（すなわち $a_0(n), a_3(n)$ ）は未討論
- $a(n) = a_1(n) + a_3(n)$ を通じて間接的に部分情報を得ることは可能だが
推広の道筋が不明確：
- 第4節は高階推広の困難さを認めるが、困難の本質を深く分析していない
- これらの困難を克服する可能な方向が提案されていない
- 疎な数の閉形式がより一般的な推広を持つか？
直感的説明の欠如：
- なぜ正確に $w_{R-1} = b_{R-1} + 2$ が $v_2(f^\lambda) = 1$ に対応するのか？
- 再帰公式の係数 $\binom{2^{R-1}}{2}$ と $\frac{1}{2^{R-1}}\left(\binom{2^{R-1}}{3} + 2^{R-1}\right)$ の組合せ的意味は？
- 証明は厳密だが、直感的な図像が欠けている
応用の未展開：
- スピン表現の動機に言及しているが、 $a_2(n)$ が表現論でどのように機能するかは具体的に説明されていない
- Ganguly-Spallone研究との関連は引用レベルに留まっている

影響力

分野への貢献：
- McKay-Macdonald理論の法4の場合への空白を埋める
- 後続の研究がより高い法数を研究するためのテンプレートを提供
- 分拆次元の合同性質の研究を豊かにする
実用的価値：
- 疎な数の公式は直接適用可能
- 再帰公式はコンピュータ代数システムの実装基礎を提供
- 表現論研究者に参考価値がある
再現可能性：
- 数学的証明は検証可能
- 再帰公式は明確で、プログラミングが容易
- ただし、コードまたは数値例の欠如は再現可能性を低下させる
潜在的な影響：
- 他の合同性質の研究を刺激する可能性
- 2-核塔方法のさらなる応用
- コンピュータ代数との結合

適用シーン

理論研究：
- 分拆理論における合同性質の研究
- 対称群表現論（特にスピン表現）
- 組合せ数論における二進展開の応用
計算応用：
- 特定の合同性質を持つ分拆数を計算する必要がある場合
- 記号計算システムの分拆関数ライブラリ
- 列挙組合せ学における生成関数の研究
教育的価値：
- 2-核塔理論の応用を示す
- 組合せ計数における再帰方法の例
- 二進展開と組合せ構造の関連性

参考文献

論文が引用する主要な文献：

J. McKay（1972）：「Irreducible representations of odd degree」、Journal of Algebra - 奇次元分拆の開拓的研究
I. G. Macdonald（1971）：「On the Degrees of the Irreducible Representations of Symmetric Groups」、Bulletin of the London Mathematical Society - $p$ -核塔理論の枠組みを確立
P. Amrutha & T. Geetha（2024）：「On the degrees of representations of groups not divisible by $2^k$ 」、Journal of Algebra and Its Applications - 最近の関連研究
J. Ganguly & S. Spallone（2020）：「Spinorial representations of symmetric groups」、Journal of Algebra - 本論文の研究の表現論的動機
J. B. Olsson（1993）：「Combinatorics and representations of finite groups」 - 核心的な技術参考文献

総合評価

これは高品質な組合せ数学の理論論文であり、McKay-Macdonald古典理論の基礎の上で実質的な推広を達成している。主な利点は理論の完全性、証明の厳密性、結果の計算可能性であり、主な不足は応用の展示不足と推広の道筋の不明確さである。分拆理論と対称群表現論の研究者にとって、これは詳細に読む価値のある文献である。疎な数の閉形式公式は特に優雅で、理論の深さを示している。後続の研究では、数値実験の補充、より多くの特殊クラスの閉形式の探索、および表現論との具体的な関連性を推奨する。

推奨指数：★★★★☆ (4/5)
技術的難度：高
応用価値：中程度
理論的貢献：顕著