2025-11-30T17:34:18.767871

Enumeration of Odd Dimensional Partitions modulo 4

Khanna

The number of standard Young tableaux of shape 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. Let $a_i(n)$ be the number of partitions of $n$ with dimension congruent to $i$ modulo 4. In this paper, we refine Macdonald's and McKay's results by computing $a_1(n)$ and $a_3(n)$ when $n$ has no consecutive 1s in its binary expansion or when the sum of binary digits of $n$ is 2.

academic

奇数次元分拆の法4による計数

基本情報

論文ID: 2207.07513
タイトル: Enumeration of Odd Dimensional Partitions modulo 4
著者: Aditya Khanna
分類: math.CO（組合数学）
投稿日時: 2022年7月初版投稿、2025年11月15日最新版(v3)
論文リンク: https://arxiv.org/abs/2207.07513

要約

本論文は整数分拆の次元を法4で計数する問題を研究している。分拆λの次元 $f^λ$ は、対応する形状の標準Young表の個数として定義される。著者は $a_i(n)$ をnの分拆のうち次元が法4で余りiであるものの個数と定義し、MacdonaldとMcKayによる奇次元分拆に関する結果を精密化した。特に、nの二進展開に連続する1がない場合、および二進数字和が2である場合の $a_1(n)$ と $a_3(n)$ を計算している。

研究背景と動機

研究問題

本論文が解決しようとする中心的問題は、次元が法4で1または3に合同である整数分拆の個数を正確に計数することである。 $\delta(n) = a_1(n) - a_3(n)$ と定義し、特定のn値に対してδ(n)の明示公式を見つけることが目標である。

問題の重要性

対称群表現論との関連：整数nの分拆は対称群 $S_n$ の既約表現に対応し、分拆の次元は表現の次元に対応する。法4の性質は対称群の旋量表現の分類と直接関連している。
既存結果の精密化：Macdonaldはp-core tower理論を用いて $m_2(n)$ （奇次元分拆の個数）を計算し、 $n = 2^{k_1} + \cdots + 2^{k_\ell}$ に対して $m_2(n) = 2^{k_1+\cdots+k_\ell}$ を得た。本論文はこの結果を法4レベルに精密化する。
表現論への応用：既存研究により、奇分拆に対応する既約表現は制限下で特殊な性質を持つことが知られており、奇文字値の密度はゼロである。法4の精密構造はこれらの表現の深い性質の理解に役立つ。

既存方法の限界

Macdonaldの結果は奇次元分拆の総数のみを与え、法4で余り1と余り3の場合を区別していない
Amrutha PとT. Geethaの研究は $m_4(2^\ell)$ と $m_8(2^\ell)$ を計算したが、一般的なnの完全な特性化を与えていない
法4計数の再帰構造を処理する体系的方法が欠けている

研究動機

著者は「親分拆」の概念とOd関数（奇部分を法4で抽出）を導入することで、次元の法4性質の再帰関係を確立し、特定の二進構造を持つn値を処理できるようにした。

核心的貢献

疎な数の場合の完全解決（定理2）：二進展開に連続する1がない疎な数に対して、δ(n)の明示公式を与えた：
- $\delta(2) = 2$
- $\delta(n) = 0$ （n>2が偶数）
- $\delta(n) = 4^{\nu(n)-1}$ （nが奇数）、ここでν(n)は二進展開における1の個数
再帰公式（定理1）： $n = 2^R + m$ かつ $2^{R-1} > m$ に対して、再帰関係を確立した： $\delta(n) = \begin{cases} 0, & \text{nが偶数の場合} \\ 4\delta(m), & \text{nが奇数の場合} \end{cases}$
二進数字和が2の場合（定理3）： $n = 2^R + 2^{R-1}$ に対して、以下を証明した： $\delta(n) = \begin{cases} 2, & R=1 \\ 8, & R=2 \\ 0, & \text{その他} \end{cases}$
技術的革新：
- Od関数を導入して次元の奇部分を法4で体系的に処理
- 「workhorse公式」（定理36）を確立して分拆とその $2^R$ -親分拆の次元を関連付け
- β-集合技術を用いてhook除去操作を統一的に処理

方法の詳細

タスク定義

入力：正整数n 出力： $\delta(n) = a_1(n) - a_3(n)$ 、すなわち次元≡1 (mod 4)の分拆数と次元≡3 (mod 4)の分拆数の差制約：本論文は特定の二進構造を満たすnに焦点を当てている

核心概念体系

1. β-集合とhook操作

分拆λに対して、第1列のhook長集合を $H(\lambda) = \{h_{i,1} | 1 \leq i \leq \ell(\lambda)\}$ と定義する。ここで $h_{i,1} = \lambda_i + k - i$ である。

β-集合は $H(\lambda)^{+r} = \{x+r | x \in H(\lambda)\} \cup \{0,\ldots,r-1\}$ と定義される。

命題15：λがt-hookを含むことと、ある $h \in H(\lambda)$ が存在して $h \geq t$ かつ $h-t \notin H(\lambda)$ であることは同値である。除去後の分拆μは $H(\mu) \sim_\beta H(\lambda)[h \to h-t]$ を満たす。

2. 奇分拆の特性化

命題21（Macdonald）： $n = 2^R + m$ かつ $m < 2^R$ とする。λ⊢nが奇分拆であることと、λがちょうど1つの $2^R$ -hookを含み、かつ $\text{core}_{2^R}(\lambda)$ も奇分拆であることは同値である。

定義22： $\text{core}_{2^R}(\lambda) = \mu$ のとき、λをμの $2^R$ -親分拆と呼ぶ。

3. 親分拆の分類

命題23：μの $2^R$ -親分拆は正確に2つのタイプに分類される：

Type I： $H(\lambda) = H(\mu)[x \to x+2^R]$ 、ある $x \in H(\mu)$
Type II： $H(\lambda) = H(\mu)^{+r}[0 \to 2^R]$ 、 $1 \leq r \leq 2^R$ かつ $2^R \notin H(\mu)^{+r}$

Type Iの親分拆は $\ell(\mu)$ 個、Type IIは $2^R - \ell(\mu)$ 個あり、合計 $2^R$ 個である。

4. Od関数

定義27： $n \in \mathbb{N}$ に対して、 $v_2(n)$ をnの最大2べき因子とするとき、 $\text{Od}(n) = \begin{cases} 1, & \text{if } n/2^{v_2(n)} \equiv 1 \pmod{4} \\ -1, & \text{if } n/2^{v_2(n)} \equiv 3 \pmod{4} \end{cases}$

補題28：Od関数は乗法的である、すなわち $\text{Od}(mn) = \text{Od}(m)\text{Od}(n)$ 。

補題33：階乗に対して明示公式がある $\text{Od}(n!) = (-1)^{D(n)+\nu(\lfloor n/4 \rfloor)}$ ここで $D(n)$ はnの二進展開における連続する1の対の個数である。

核心技術：Workhorse公式

η統計量の定義

定義34：λがμの $2^R$ -親分拆であり、 $h_\mu^\lambda$ が影響を受けるhook長とするとき、 $(-1)^{\eta_\mu^\lambda} = \prod_{\substack{x \in H(\lambda) \\ x \neq h_\mu^\lambda}} \frac{\text{Od}(|h_\mu^\lambda - x|)}{\text{Od}(|h_\mu^\lambda - 2^R - x|)}$

命題39：ηの明示計算公式は $\eta_\mu^\lambda = N_\lambda(h_\mu^\lambda) - I_{H(\lambda)}(h_\mu^\lambda - 2^{R-1}) + I_{H(\lambda)}(h_\mu^\lambda + 2^{R-1}) + I_{H(\lambda)}(h_\mu^\lambda - 3 \cdot 2^{R-1})$ ここで $N_\lambda(h) = |\{y \in H(\lambda) | h-2^R < y < h\}|$ である。

Workhorse公式

命題36： $n = 2^R + m > 3$ かつ $m < 2^R$ とし、λをμの $2^R$ -親分拆とするとき、 $\text{Od}(f^\lambda) = (-1)^{s_2(n)+s_2(h_\mu^\lambda)+\eta_\mu^\lambda} \text{Od}(f^\mu)$ ここで $s_2(n)$ はnの二進展開の最初の2桁の和である。

証明の概要：

Frobenius公式を用いてβ-集合から次元を計算する： $f^\lambda = \frac{n! \prod_{1 \leq i < j \leq k}(h_i - h_j)}{\prod_{i=1}^k h_i!}$
Od関数と補題33を適用して階乗を処理する
$H(\lambda)$ と $H(\mu)^{+r}$ の差異を分析し、 $h_\mu^\lambda$ のジャンプから生じる符号変化を利用する

疎な数の場合の簡略化

系47： $m < 2^{R-1}$ のとき（疎な数に対応）、workhorse公式は簡略化されて $\text{Od}(f^\lambda) = (-1)^{\eta_\mu^\lambda} \text{Od}(f^\mu)$ となる。なぜなら $s_2(n) = s_2(h_\mu^\lambda) = 1$ だからである。

系48：このとき、η公式は簡略化されて $\eta_\mu^\lambda = N_\lambda(h_\mu^\lambda) - I_{H(\lambda)}(h_\mu^\lambda - 2^{R-1})$ となる。

親分拆の計数

記号的な和を導入する： $S_\Lambda(\mu) = \frac{1}{\text{Od}(f^\mu)} \sum_{\lambda \in \Lambda} \text{Od}(f^\lambda)$

命題51（Type I）： $m < 2^{R-1}$ の奇分拆μに対して、 $S_{P_1(\mu)}(\mu) = \begin{cases} 0, & \text{if } \ell(\mu) \text{が偶数} \\ 1, & \text{if } \ell(\mu) \text{が奇数} \end{cases}$

命題53（Type II）： $S_{P_2(\mu)}(\mu) = \begin{cases} 2 - 2(-1)^m, & \text{if } \ell(\mu) \text{が偶数} \\ 1 - 2(-1)^m, & \text{if } \ell(\mu) \text{が奇数} \end{cases}$

Type IIの証明には、parity gap統計量 $G(X) = \sum_{x \in X} (-1)^x$ を導入し、 $P_2(\mu)$ の2つの部分集合 $P_2^\uparrow(\mu)$ （ $r \leq 2^{R-1}$ ）と $P_2^\downarrow(\mu)$ （ $r > 2^{R-1}$ ）を分析する必要がある。

補題59：奇分拆λに対して、 $G(H(\lambda)) = \begin{cases} 1-(-1)^n, & \text{if } \ell(\lambda) \text{が偶数} \\ (-1)^n, & \text{if } \ell(\lambda) \text{が奇数} \end{cases}$

再帰公式の確立

Type IとType IIの結果を組み合わせると： $S_{P(\mu)}(\mu) = S_{P_1(\mu)}(\mu) + S_{P_2(\mu)}(\mu) = 2 - 2(-1)^m$

したがって： $\delta(n) = \sum_{\mu \vdash m, \mu \text{ 奇}} S_{P(\mu)}(\mu) \text{Od}(f^\mu) = (2-2(-1)^m) \delta(m)$

これは定理1の再帰関係を与える。

実験設定

データ生成

本論文は純粋な理論数学論文であり、「実験」は数値計算の検証を意味する：

n=0からn=127までのすべての $\delta(n)$ 値を計算（付録の表を参照）
hook長公式を用いて分拆の次元を計算
β-集合アルゴリズムを用いて分拆とその親分拆を列挙

検証方法

小さいn値（n≤15）に対してすべての分拆を直接列挙し次元を計算
大きいn値に対して再帰公式を使用し、直接計算と比較
理論予測の特殊値（例えば疎な数の $4^{\nu(n)-1}$ 規則）を検証

実験結果

主要結果の検証

疎な数の検証

付録のデータから定理2を検証できる：

$\delta(1) = 1 = 4^{1-1}$ ✓
$\delta(2) = 2$ ✓
$\delta(5) = 4 = 4^{2-1}$ （5=101₂、ν(5)=2）✓
$\delta(9) = 4 = 4^{2-1}$ （9=1001₂、ν(9)=2）✓
$\delta(17) = 4 = 4^{2-1}$ （17=10001₂、ν(17)=2）✓
$\delta(21) = 16 = 4^{3-1}$ （21=10101₂、ν(21)=3）✓
$\delta(41) = 16 = 4^{3-1}$ （41=101001₂、ν(41)=3）✓

偶数の疎な数：

$\delta(4) = 0$ 、 $\delta(8) = 0$ 、 $\delta(16) = 0$ 、 $\delta(32) = 0$ ✓

二進数字和が2の場合の検証

定理3は $n = 2^R + 2^{R-1}$ のとき以下を予測する：

$n=3$ （R=1）： $\delta(3) = 2$ ✓
$n=6$ （R=2）： $\delta(6) = 8$ ✓
$n=12$ （R=3）： $\delta(12) = 0$ ✓
$n=24$ （R=4）： $\delta(24) = 0$ ✓
$n=48$ （R=5）： $\delta(48) = 0$ ✓
$n=96$ （R=6）： $\delta(96) = 0$ ✓

非疎な数の複雑性

付録のデータは $2^{R-1} < m < 2^R$ の場合の複雑性を明らかにしている：

例： $n=118 = 64 + 54 = 2^6 + 54$ （ $54 > 2^5$ ）

$\delta(118) = -384$ 、2の幂でもなく、正の数でもない

連続区間の激しい変動（n=122から127）：

n=122: δ=-256
n=123: δ=-256
n=124: δ=768
n=125: δ=640
n=126: δ=168
n=127: δ=256

これは未解決の場合におけるδ(n)の挙動が極めて不規則であり、分拆の精密構造に依存することを示している。

重要な発見

2の幂規則の破綻：非疎な数に対して、δ(n)はもはや2の幂ではなく、負の値さえ取り得る
core構造への依存：計算から $S_{P(\mu)}(\mu)$ は|μ|のみに依存するのではなく、μの具体的な構造に関連することが示される
再帰深度の増加：未解決の場合は $2^{R-1}$ -coreさらには更に深い層の再帰を考慮する必要があるかもしれない

結論と議論

主要な結論

疎な数の完全解決：二進展開に連続する1がないnに対して、δ(n)は明示公式を持ち、奇数の場合は $4^{\nu(n)-1}$ である
再帰枠組みの確立：親分拆理論とworkhorse公式を通じて、法4計数の再帰構造を確立した
特殊な場合の処理： $n = 2^R + 2^{R-1}$ のときδ(n)はR=1,2の場合のみ非ゼロである

限界

著者は第6節で方法の限界を誠実に議論している：

未解決領域： $2^{R-1} < m < 2^R$ の場合、 $S_{P(\mu)}(\mu)$ はμの具体的な構造に依存し、統一的に処理できない
技術的障害：
- 補題58の単射写像 $h \mapsto r_h$ がもはや成立しない
- $3 \cdot 2^{R-1} \in H(\mu)$ などの追加条件を確認する必要がある
- Type Iの親分拆の計算も $H(\mu)$ の要素に依存するようになる
再帰深度： $2^{R-1}$ -coreさらには更に深い層を考慮する必要があるかもしれず、複雑性が大幅に増加する
数値証拠：δ(118) = -384は値がもはや2の幂ではなく、負で非常に大きいことを示している

今後の方向

論文は3つの開放問題を提示している：

主要問題： $n = 2^R + m$ かつ $2^{R-1} < m < 2^R$ のときδ(n)を計算する
界の問題： $S_{P(\mu)}(\mu)$ に対して合理的な上界を与えることができるか？
特性化問題：法4の奇分拆をβ-集合で直接特性化する方法が存在するか？

著者は以下が必要かもしれないと提案している：

多層core構造を処理する新しい組合論的ツールの開発
法4の性質を捉えるβ-集合の新しい不変量の探索
計算機支援による規則性の探索

深い評価

利点

1. 方法の革新性

Od関数の導入：「奇部分を法4で」という操作を優雅に形式化し、乗法性（補題28）がそれを強力なツールにしている
Workhorse公式：命題36は異なる層の分拆の次元を正確に関連付け、全論文の技術的中核である
親分拆の分類：Type I/IIの体系的分類（命題23）は明確な組合論的構造を提供する

2. 証明の厳密性

すべての技術的補題は完全な証明を持ち、論理の流れは明確である
補題33（Od(n!)の公式）の証明は精密な二進分析技巧を示している
命題39（ηの明示公式）は3つの場合に分けて議論し、考慮が周到である

3. 結果の優美性

定理2で与えられた $\delta(n) = 4^{\nu(n)-1}$ （奇数の疎な数）は形式が簡潔である
Macdonaldの $m_2(n) = 2^{k_1+\cdots+k_\ell}$ との関係は美しい精密化を形成している
再帰公式（定理1）は構造が明確で、応用しやすい

4. 執筆の質

第2節は背景を体系的に概観し（分拆、hook、coreなど）、自己完結性が強い
多くの例（例17、25、41など）が抽象的概念の理解を助ける
付録はn=0から127までの完全なデータを提供し、検証と探索を容易にする

不足

1. 適用範囲の制限

疎な数と $\nu(n)=2$ の場合のみを解決し、一般的なnは未解決のままである
データから見ると、未解決の場合が大多数を占める（例えばn=29,30,31など）
第6節は $2^{R-1} < m < 2^R$ の場合が「我々の方法を逃れるほど困難」であることを認めている

2. 技術的複雑性の高さ

補題58と61の証明は多層の和と指標関数を含み、技巧的だが一般化しにくい
Parity gap統計量G(X)の導入は比較的一時的（ad hoc）である
ηの計算（命題39）は複数の場合に分ける必要があり、統一的枠組みが欠けている

3. 理論的説明の不足

なぜ疎な数の場合が特に単純なのか？背後の深い理由が十分に明らかにされていない
δ(n)の符号と大きさはどのような組合論的または表現論的意味を持つのか？
旋量表現分類との具体的な関連は序論でのみ言及され、深く展開されていない

4. 計算面

アルゴリズムの計算複雑性分析が提供されていない
大きなnに対してδ(n)を効率的に計算するにはどうするか？
数値データはn=127までのみで、より大きなnの挙動はどうか？

影響力の評価

分野への貢献

組合数学：分拆の法性質を研究するための新しいツール（Od関数、親分拆理論）を提供
表現論：対称群の旋量表現の精密な分類に対する組合論的基礎を提供
アルゴリズム：疎な数の場合の明示公式は高速計算に利用可能

実用的価値

疎な数はコンピュータ科学で一般的（例えばFibonacciコーディング）であり、公式は潜在的な応用を持つ
更なる研究のための明確な技術的枠組みと未解決問題を提供

再現可能性

定義と証明は完全であり、理論的結果は完全に検証可能である
付録のデータは独立した検証に利用可能
コードは提供されていないが、アルゴリズムの説明は実装に十分である

適用シーン

理論研究：
- 対称群表現の法性質を研究する
- 分拆統計量の精密構造を探索する
- p-core理論の新しい方向を発展させる
計算応用：
- 疎な数に対応する分拆の次元分布を高速に判定
- 対称群表現計算における最適化
教育用途：
- 組合数学と代数表現論の関連を示す
- 再帰方法と生成関数技術の事例

技術的ハイライトの深い分析

Od関数の威力

Od関数は一見単純だが、実は巧妙である：

乗法性により計算を分解できる： $\text{Od}(n!) = \prod_{r=1}^n \text{Od}(r)$
補題33の公式は階乗のOd値を二進統計量D(n)とν(n)に帰約する
hook長公式との組み合わせ：Frobenius公式（命題18）の積項はOdを通じて項ごとに処理できる

Workhorse公式の幾何学的直観

命題36は以下のように理解できる：

μからλへの $2^R$ -hookの追加はFerrer図の「ジャンプ」に対応する
$s_2$ 項はnと $h_\mu^\lambda$ の二進プレフィックス情報を記録する
$\eta_\mu^\lambda$ は「ジャンプ」過程で他のhookとの相互作用から生じる符号変化を正確に計量する
$m < 2^{R-1}$ のとき、幾何構造は単純で、 $s_2$ 項は相殺され、ηのみが残る

親分拆計数の組合論

Type IIの親分拆の分析（補題58,61）は深い組合論的洞察を示している：

$\{1,\ldots,2^R\}$ を $P_2^\uparrow$ と $P_2^\downarrow$ に分割することは $2^{R-1}$ の臨界的役割に対応する
Parity gap統計量Gの導入は奇偶性の全体的情報を捉える
補題59はGを分拆の長さと大きさの奇偶性と関連付け、深い構造を明らかにする

研究	研究対象	主要結果	本論文との比較
Macdonald 1	$m_2(n)$	$2^{k_1+\cdots+k_\ell}$	法4に精密化
Amrutha-Geetha 3	$m_4(2^\ell)$ , $m_8(2^\ell)$	再帰公式	より精密だがnが制限される
Ayyer-Prasad-Spallone 5	奇分拆構造	Young格の性質	計数公式を提供

開放問題の困難性分析

著者は第6節で $2^{R-1} < m < 2^R$ の場合の困難を分析している：

核心的障害： $S_{P(\mu)}(\mu)$ はもはや|μ|のみに依存するのではなく、μのhook長集合H(μ)の精密構造に関連する。

具体的な例（著者が与えた）：

$\mu = (17,3,1) \vdash 21$ ： $S_{P(\mu)}(\mu) = 8$
$\nu = (12,3,3,2,1) \vdash 21$ ： $S_{P(\nu)}(\nu) = 0$

これは21の奇分拆を分類するための新しい不変量の開発が必要であることを示している。

可能な方向：

H(μ)の精密な不変量（例えば「法4署名」）を探索する
多層core構造を考慮する（ $2^R$ -coreの $2^{R-1}$ -coreなど）
計算代数システムを利用して小さいnの規則性を探索し、予想を立てる

結語

本論文は組合数学と代数表現論の交差領域における優秀な研究であり、新しいツール（Od関数、親分拆理論）の導入と核心技術（workhorse公式）の確立を通じて、奇次元分拆の法4計数という精密な問題を部分的に解決している。疎な数の場合の完全解決は方法の有効性を示し、未解決の場合の困難も誠実に提示され、今後の研究の方向を示している。

論文の主要な価値は：

方法論的貢献：分拆の次元の法性質を処理するための体系的枠組みを提供
具体的結果：疎な数などの特殊な場合に対する優美な公式を与える
問題指向：解決済みと未解決の境界を明確に画定

組合数学と表現論の研究者にとって、本論文は分拆の法性質を深く理解するための重要な参考文献であり、高度な組合論技術を学びたい学生にとって、再帰方法、生成関数、二進分析の精妙な組み合わせを示す好例である。

参考文献（精選）

1 I. G. Macdonald. "On the Degrees of the Irreducible Representations of Symmetric Groups". Bulletin of the London Mathematical Society, 1971. （奇分拆計数の基礎的研究）

5 A. Ayyer, A. Prasad, S. Spallone. "Odd partitions in Young's lattice". arXiv:1601.01776, 2016. （奇分拆の構造的性質）

13 K. Davis, W. Webb. "Pascal's Triangle modulo 4". Fibonacci Quarterly, 1989. （D(n)統計量の出典）

評価の提案：

革新性：8/10（新しいツールと方法だが、問題自体は比較的専門的）
技術的深さ：9/10（証明は厳密で技術的に複雑）
完全性：7/10（部分的な場合のみを解決）
影響力：7/10（特定の分野で重要だが、応用面は限定的）
可読性：8/10（執筆は明確で例が豊富）

総合評価：これは高品質な組合数学論文であり、限定的だが重要な問題において実質的な進展を達成し、更なる研究のための堅固な基礎を築いている。