6
大学数学基礎解説
文献あり

気になるトピック(1)〜overpartitionとq-Bailey恒等式〜

133
0

新シリーズ爆誕??

直交多項式と超幾何関数の記事を現在連載中とはいえ...(終わるつもりはない)
あれ下調べに時間かかるのよ。笑
それに、それ以外のことについて何も書けなくなる雰囲気も嫌で

このシリーズでは、私が論文などを漁っていたときに気になったトピックを
備忘録がてら書いていくシリーズにしたい。
いわゆる、ゆるふわ回。

前提知識が容赦ない時もあるかもしれない。その時はすまん。気まぐれで。

今回は、overpartition について。

overpartition とは

こういう専門用語は日本語にさえ訳されていない。
機械的に訳すサイトでは、過剰分割とか返ってくるが、、過剰というイメージとは全く違う。

overpartition

nを自然数とする。
nの overpartition とは、nの分割であって、出てくる各数ごとに最初に現れる場所を上線付け(overline)することを許す分割のことである。

overline の "over" なのだ。「上線付き分割」がいいところかしら。

n=3のとき

3, 3, 2+1, 2+1, 2+1, 2+1, 1+1+1, 1+1+1 の8個の overpartition がある。

ちなみに、例の如く、小さいnに対する overpartition の総数はOEISの A015128 に載っている。
n=10のときが232個、n=30のときが116624個、などとなっている。
OEISでは帰納的な公式が書かれている:a(n)=2m1(1)m+1a(nm2)
プログラムを走らせると、n=50,100のときにそれぞれ10605564個、53287424374個と爆増する。
#そりゃたくさんあるっしょ

基本的な性質は、次のようなものがある。

overpartitionの個数の母関数

以下、nの overpartition の個数をp(n)と書くことにする。この時
n=0p(n)qn=n=11+qn1qn=n=0(1;q)n(q;q)nqn=1+2q+4q2+8q3+14q4+

このように母関数は比較的美しい形で書くことが可能である。

overpartition のうち、上線付けられている箇所はn以下の分割で part が全て異なるもの。
また、上線がないところは通常の分割と思うことができる。
すなわち
n=0p(n)qn=n=0k=0n#{k の分割で part が全て異なるもの}p(nk)qn={k=0#{k の分割で part が全て異なるもの}qk}{nk=0p(nk)qnk}={n=1(1+qn)}{n=111qn}=n=11+qn1qn
となり overpartition の個数の母関数を求めることができる。
その次の等式
n=11+qn1qn=n=0(1;q)n(q;q)nqn
q-二項定理そのものである。(証明終わり)

この定理も十分美しいが、より条件を加えたoverpartitionの個数を数えやすくするための主張を述べる。

条件付きoverpartitionの個数の母関数

pk,l,m(n)として、nのoverpartitionのうち、長さがk、上線つけられた個数がl、rankがmのもの全体の個数とする。
このとき(l,m,nを動かして)長さがkのoverpartitionの個数に関する母関数は次のように書き表される。
l,m,n=0pk,l,m(n)albmzkqn=(a;q)k(zq)k(bq;q)k
ここでoverpartitionのrankとは、(最も大きいpartの値-1)-(最も大きいpartよりも小さく上線付けられたpartの個数)として定義するものとする。

なんだなんだこのrankの定義は!
通常のpartitionには、(最も大きいpartの値)-(長さ) で定められるrankが入っているが、
これとは異なる値であることに注意せよ。
(overpartitionは通常のpartitionを含んでいるが、そこのrankとは合致しないという意味)

右辺を二つの積に分けてから、組み合わせ論的全単射を構成する。

まず(zq)k(bq;q)kについて
この関数は、長さがkのpartitionλ全体を生成する。
qのべきはpartの和、zのべきkは長さ(当然)、bのべきは(最も大きいpart-1)の値と対応する。
ここに関しては直接は対応が見えにくいが
「長さがkのpartitionλ全体」は
・まず全てのpartから1を引くことで、「長さkの非負のpartition全体」と対応
・次に隣接する差を取ることで、「非負整数k個の組と対応」することからべき級数表示が得られる。
長さkの非負のpartition λ~に対し、κi:=λ~iλ~i+1とおくと
(qのべき)=(λ~のpartの和)+k=κ1+2κ2++kκk+kであり、また
(bのべき)=κ1+κ2++κkがわかり
qkzk(1+bq+b2q2+)(1+bq2+b2q4+)(1+bq3+b2q6+)(1+bqk1+b2q2k2+)
のような関数を考えるべきである。これは(zq)k(bq;q)k1に等しい。

次に(a;q)k=(1+a)(1+aq)(1+aq2)(1+aqk1)について
これはすぐわかるように、各partがk1以下の、成分が非負のstrict partitonμ全体を生成する。
qのべきはpartの和、aのべきは長さを表す。

最後に(λ,μ)のペアが、長さkのoverpartition全体と全単射で対応することを示す。
長さkのpartitonλに対し、以下の(μの長さ)回の操作を行う:
「各μiに対し、λの最初からμi項に1を加え、μi+1番目に上線付ける」
この対応は可逆であり全単射であることが従う。
ex. (8+4+4+2+1,4+3+0)(10+6+6+3+1) (証明終わり)

ある程度overpartitionの母関数に対する基礎づけができたと思われる。
次はFrobenius座標を導入する。

Frobenius座標との関係

分割に付随するヤング図形に関して、Frobenius座標という概念がある。軽く復習する。

nの分割λに対し、d=d(λ):=max{iλii} とおく。
これはヤング図形の対角成分の長さに一致する。
次に、各対角成分の枡ごとに、それより右にある数と下に数の両方を調べる。
式で書くと
pi(λ):=λii,qi(λ):=λii=#{jλji}i
このときλの Frobenius座標 を
λ=p1(λ),p2(λ),,pd(λ)q1(λ),q2(λ),,qd(λ)
のように定める。
これが一般的な記法ではあるが、以下では次の記法でも書く。
λ=(p1(λ)p2(λ)pd(λ)q1(λ)q2(λ)qd(λ))

逆にFrobenius座標から元の分割を与えることもできる:

分割とFrobenius座標の関係

上のように分割からFrobenius座標を与える方法によって、以下の2つの集合の間に全単射があることがわかる。

  • nの分割全体
  • 行列(a1a2amb1b2bm)のうち以下の3つの条件を満たすもの全体
     ① a1>a2>>am0 (長さm0を許すstrict partition)
     ② b1>b2>>bm0
     ③ j=1m(aj+bj)+m=n

Frobenius座標から分割を作るには、ただ指示通り四角形を並べるだけである。証明終わり。笑

今、overpartitionを考えているので、Frobenius座標の方も少し定義を拡張する必要がある。
実は次のように定義を広げることで、overpartitionもまたFrobenius座標と全単射がつけられる。

overpartition と Frobenius座標

次の2つの集合の間に全単射があることが示される。

  • nのoverpartitionλ全体
  • Frobenius座標(a1a2amb1b2bm)のうち、{bi}にoverpartitionの定義と同じ上線付けを許すもの

また、λの上線の個数と、{bi}のうち上線が付いていない個数が対応するように出来る。

こちらも全単射的証明を行う。
まず、λの全てのpartに上線があるとき、上線を忘れたpartitionのFrobenius座標を対応させる。

さて、以下ではhookの記法を用いる。
hookとはh(a,b)=a+1++1(b1が並ぶ)の形で書かれる分割であり、ヤング図形は鉤型をしている。
hookを分割のヤング図形のすぐ左上に寄せてその全体がまた分割のヤング図形になる時、結合可能であると呼ぶ。
言い換えるなら、分割αにhookh(a,b)が結合可能 a>α1かつbl(α)である。

以上を踏まえて、拡張されたFrobenius座標からoverpartitionを構成する方法を述べる。

まずFrobenius座標νに対し、その上の行{ai}の値を全て1増やし{ai}とする。
次に、分割α,βを用意するが、現在は空分割としておく。
そしてiが大きい順に(mから1まで)m回次の操作を行う。

  • biが上線付けられているとき
    このときは、hookh(ai,bi)を分割αに結合させる
  • biが上線付けられていないとき
    このときは、αは共役を取り、biを加え、そして共役を戻す。
    またβにはaiを加える。

このようにして操作を終えたあと、分割αβを繋げた分割(βのpartには全て上線を付ける)が求めるoverpartitionである。

さらに、この操作は可逆であり、逆操作も構成可能である。(証明終わり)

note: overpartitionのFrobenius座標についても、{ai}{bi}を制限することで色々な母関数が生み出される結果が知られている。詳細はまとめの章に。

q-Bailey恒等式

次に示すのは、q-Bailey identityと呼ばれる次の等式である。

q-Bailey identity

(*)n=0bnqn(n+1)/2(a,q/a;q)n(bq;q)n(q2;q2)n=(abq,bq2/a;q2)(bq;q)

この等式は、q1の極限の元で、Baileyによる次の式に帰着されることからそう名付けられた。
2F1[a,1a;c;12]=Γ[c2,c+12a+c2,ca+12]
さて以下ではq-Bailey identity(*)を示すが、いくつかの段階に分けて話す。

Step 1 q-Bailey恒等式の右辺はoverpartitionを生成するべき級数である

このStepが記事の内容的に一番本質で核心の気がする。細かい計算は後ろのStepに回そう。

さて右辺のべき級数は、(abq,bq2/a;q2)(bq;q)1の積で書けるが
それぞれの意味を考察する。
前者は書き下すと
(abq,bq2/a;q2)=(1+abq)(1+a1bq2)(1+abq3)(1+a1bq4)
のような積である。
これはa=b=1の時はstrict partitionの母関数になるため、そこと関係がある。
bは全てのqべきに1回ずつ掛かるため、partの数
aは奇数べきで1回、偶数べきで1回かかるため、(奇数のpartの数)-(偶数のpartの数)
と対応する。
次に後者は
(bq;q)1=(1+bq+b2q2+)(1+bq2+b2q4+)(1+bq3+b2q6+)
であり、これはb=1で分割の母関数であった。またbは同様に長さを意味する。

以上を考えて、これらの積(abq,bq2/a;q2)(bq;q)1
(定理1の証明を思い出して)全てのoverpartitionを生成する。
bは(上線付きと上線付きでない両方の長さの和)=(overpartitonの長さ)
aは(奇数の上線付きpartの数)-(偶数の上線付きpartの数)
を表す。

Step2: Durfeeの正方形の一般化

次にDurfeeの正方形を導入する。
これはpartitionに対し、そのヤング図形に(左上詰めで)含まれる最大の正方形である。
またこの正方形の一辺の長さはヤング図形の対角成分の長さと一致する。
Durfeeの正方形はpartitionの理論で多々使われるが、これをoverpartitionにも適用する。

具体的には、overpartitionλに対し
一般化されたDurfeeの正方形の一辺の長さD(λ)を、
全ての上線付きの数とn以上の上線付けられていない数とを合わせた個数がn以上になる最大のn
というように定める。
例えば、わかりやすく極端な例だが
λ=6+5+4+3+2+1の時はD(λ)=3であるが、(通常のpartitionと同じ)
λ=6+5+4+3+2+1の時はD(λ)=6であることに注意する。

この一般化されたDurfeeの正方形の大きさD(λ)に対し、次の定理が成立する。

<定理>
overpartitionλは、D(λ)=nを満たすとする。
このときλは次を満たすμ1μ2に分けることができる。

  • μ1: 長さnのoverpartitionで、n未満の数は全て上線付けられている
  • μ2: 長さn以下のpartition

この定理で言うμ1は、上線付けられた数、及び上線付けられてない数を大きい方から順に、合わせて長さnになるように取る。
またμ2は、残りの数からなるpartitionの共役として取る。
(例えばλ=5+1+1+1+1のとき、D(λ)=1なのでμ1=5だが残りは長さが4である。
この場合共役を取ってμ2=4とすることで長さを1にすることができる。)
また逆に任意μ1,μ2で条件を満たすものに対しD(λ)=nを満たすoverpartitionが存在する。(全単射:四角形を並べれば良い)

ということで、overpartitionの話からμ1μ2の話に切り替えることできる。

μ2全体の母関数は上と同様に考えて(bq;q)n1と書き表されるので、次を示せば良い。

補題: μ1に関する母関数表示

以下fn(r,m)として、mの長さnのoverpartitionであって (i) n未満の数字は全て上線付けられている (ii) (奇数の上線つけられた数)-(偶数の上線つけられた数)=r であるものの個数とする。
この時、次の母関数表示が成立する:
(a,q/a;q)nqn(n+1)/2(q2;q2)n=rZm0fn(r,m)arqm

この補題を使うと、(μ1は長さnなのでbnが掛かることに注意して)
μ1全体の母関数が(a,q/a;q)nbnqn(n+1)/2(q2;q2)nであることが従う。
これとμ2の母関数(bq;q)n1を掛け合わせることで、q-Bailey恒等式の左辺を得ることがわかる。

以下この補題を示すが、両辺が同じ漸化式で定義づけられるという方針で示す。

補題の証明(1)

まず、左辺は次の漸化式で特徴づけられることを言う:
Fn(a)=qn1q2n{(a+qn1)Fn1(1a)+qn(1a+qn1)Fn1(a)},F0(a)=1
実際Fn(a):=(a,q/a;q)nqn(n+1)/2(q2;q2)nを代入すると
RHS=qn1q2n{(a+qn1)(1/a,aq;q)n1qn(n1)/2(q2;q2)n1+qn(1a+qn1)(a,q/a;q)n1qn(n1)/2(q2;q2)n1}=qn(n+1)/2(1q2n)(q2;q2)n1{(a+qn1)(1/a,aq;q)n1+a1qn(1+aqn1)(a,q/a;q)n1}=qn(n+1)/2(q2;q2)n{(a+qn1)(1/a;q)n1(aq;q)n1+a1qn(1+aqn1)(a;q)n1(q/a;q)n1}(外の分母をまとめた)=qn(n+1)/2(q2;q2)n{(a+qn1)1+1/a(1+qn1/a)(1+qn/a)(q/a;q)n(a;q)n1+a+a1qn(1+aqn1)(a;q)n1+aqn1(q/a;q)n(1+qn/a)}(初項・項数を揃えた)=qn(n+1)/2(a,q/a;q)n(q2;q2)n{(a+qn1)1+1/a(1+qn1/a)(1+qn/a)11+a+a1qn1(1+qn/a)}=qn(n+1)/2(a,q/a;q)n(q2;q2)n{aa+qn+qna+qn}=qn(n+1)/2(a,q/a;q)n(q2;q2)n=LHS
である。また、初項はF0(a)=1q0/1=1であることからこの漸化式を満たす。

補題の証明(2)

次に、右辺もまた上の漸化式を満たすことを示す。ここで
Gn(a)=rZm0fn(r,m)arqm
とおく。G0(a)=1は自明である。

さて、Gn(a)で数えられるoverpartitionλに対して、
1nの少なくとも一方が入っていなければ
少なくとも一方が出てくるまで全ての数字から1を引き続ける。
その結果得られたものをλとおく。
λもまた、「上線付けられていない数はn以上(n未満の数字は全て上線付けられている)」の性質を満たしている。

ここでλ1があるかどうか、と
λからλに至るまで1を引いた回数の偶奇、によって
4通りの場合分けを行う。

  • λ1があるとき
    このときは、その項を削除しそして全ての数字から1を引く。それをλとする。
    (12つ以上はないことに注意せよ)
    するとλは長さがn1以下のoverpartitionであり、上線付けられていない数はn1以上である。
    λからλr: 偶数回1が引かれた場合、λaGn1(1/a)に入り(1を引いた分偶奇が1個ずれる)
    λはこれの逆操作を行うことで計算ができる。
    すなわち
    r0r:偶数aGn1(1/a)q(n1)(r+1)×q1+r=aqnGn1(1/a)r2r:偶数qnr=aqn1q2nGn1(1/a)
    としてλの方は計算できる。
    またλからλr: 奇数回1が引かれた場合、λa1Gn1(a)に入り
    r1r:奇数a1Gn1(a)q(n1)(r+1)×q1+r=q2na(1q2n)Gn1(a)
    としてλの方は計算できる。
  • λ1がないとき
    このときは仮定からnがあるので、そのnを削除しそして全ての数字から1を引く。それをλとする。
    こちらもまた長さn1のoverpartitionであり、上線付けられていない数はn1以上である。
    λからλr: 偶数回1が引かれた場合、λGn1(1/a)に入り
    すなわち
    r0r:偶数Gn1(1/a)q(n1)(r+1)×qn+r=q2n11q2nGn1(1/a)
    としてλの方は計算できる。
    またλからλr: 奇数回1が引かれた場合、λGn1(a)に入り
    r1r:奇数Gn1(a)q(n1)(r+1)×qn+r=q3n11q2nGn1(a)
    としてλの方は計算できる。

以上をまとめることで
Gn(a)=aqn1q2nGn1(1/a)+q2na(1q2n)Gn1(a)q2n11q2nGn1(1/a)+q3n11q2nGn1(a)=qn1q2n{(a+qn1)Gn1(1a)+qn(1a+qn1)Gn1(a)}
となり題意の漸化式を満たすことが示された。

以上より、q-Bailey恒等式をoverpartitionを用いて組み合わせ論的に示すことができた。(証明終わり)

さて、他にも書きたいことは山ほどあるが
キリがないので
少し掻い摘んで内容を紹介する。

他のoverpartitionの応用例

山ほど論文があるので、超ざっくり。

S.Corteel, J.Lovejoy(2004)は今回一番最初に気になった論文。
これ一つでも様々なことが書かれているが...

  • q-Chu-Vandermondeの和公式、Ramanujanの1ψ1和公式が定理4から得られること
  • Rogers-Fineの等式のq-類似がDurfeeグラフ(ヤング図形)を分割して計算できる(面白そうだけど画力がなかったのw)
  • overpartitionのrankの偶奇の個数の差は素因数分解と関連する
  • Bailey鎖、テータ級数、partialテータ関数との関連

など、どれ一つとっても記事が一本書けそうなほど面白い内容尽くしであった。

今回メインの内容にはq-Bailey恒等式との対応を書いたS.Corteel, J.Lovejoy(2009)を選んだ。
なおこの論文の4節では、同様の手順を焼き直すことでq-Gauss恒等式についても示す方法が書かれているが本質的ではないので本記事では省略した。

他に面白そうな論文をピックアップする。(歴史的に大事な論文を見落としてるかも)

  • S.Corteel, J.Lovejoy, A.J.Yee(2004): 10以上のpA,B(n)の母関数を示している (楽しそう)
  • K.Bringmann, K.Ono(2010): weak Maass formとの対応が言われた。保形形式との関連
  • S.DeSalvo, I.Pak(2015), B.Engel(2017): overpartition関数に関する凸不等式, その後も詳しい結果が数本
  • J.Dousse, B.Kim(2017/2018): q-二項係数のoverpartition類似(気になる)
  • Ramanujanの分割合同式の類似の論文も山ほど(!)
  • もちろんq-超幾何級数の諸定理への応用なんて数知れず、というかそれがメインストリーム

とまぁ、arXivだけ探しても100本は関連論文は下らない。全く知らなかった。

まとめ

ゆるふわ回とか言いながら
ゆるふわ回のつもりで書いていたのに
こういう概念があるんだのつもりで書いたのに
色々研究されていて今も研究最先端なんだなと思わされた。

結局サーベイが終わんなかったよ。
ぴえん。
気になるトピックのネタは山ほど...もないけど山ほどあるけど
結局サーベイが追いつかないに尽きる :‑(
overpartitionについてはおしまい。
もう疲れたよパトラッシュ

知見が広まったからよしとするか。終わり。

参考文献

投稿日:2024514
更新日:2024514
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

整数論を研究中。 本音は組合せ論がやりたい。 最近は直交多項式・超幾何級数にお熱。 だけど幾何と解析は鬼弱い。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. overpartition とは
  2. Frobenius座標との関係
  3. q-Bailey恒等式
  4. 他のoverpartitionの応用例
  5. まとめ
  6. 参考文献