q-二項係数や Gaussian binomial coefficient などと呼ばれる概念がある。
q-Binomial Coefficient -- from Wolfram MathWorld
Gaussian binomial coefficient - Wikipedia
Q-analogs, q-Lucas theorem and q-Catalan numbers
詳細は上記のページなどを参照すると良い
基本事項
非負整数 に対し以下の記号を定義する。
\begin{align} \lbrack n \rbrack _ q &:= 1 + q + q ^ 2 + \cdots + q ^ {n - 1} = \frac{1 - q ^ n}{1 - q} \cr\cr \lbrack n \rbrack _ q ! &:= \lbrack 1 \rbrack _ q \lbrack 2 \rbrack _ q \cdots \lbrack n \rbrack _ q \cr\cr \binom{m}{n} _ q &:= \frac{\lbrack m \rbrack _ q !}{\lbrack n \rbrack _ q ! \lbrack m - n \rbrack _ q !} = \frac{(1 - q ^ m)(1 - q ^ {m - 1}) \cdots (1 - q ^ {m - n + 1})}{(1 - q)(1 - q ^ 2) \cdots (1 - q ^ n)} \end{align}
- は の多項式となる (分数が割り切れる)
- 有限体 上の 次元ベクトル空間の 次元部分空間の個数は
- を 個、 を 個並べた数列であって転倒数が のものの個数は
- 各要素が 以上 以下で、長さが 、合計が の広義単調増加列の個数は
- 各要素が 以上 未満で、長さが 、合計が の狭義単調増加列の個数は
\begin{align} \prod _ {i = 0} ^ {n - 1} (1 + q ^ i t) = \sum _ {k = 0} ^ {n} q ^ {k (k - 1) / 2} \binom{n}{k} _ q t ^ k \end{align}
とする。
\begin{align} \binom{n _ 1 d + n _ 0}{k _ 1 d + k _ 0} _ q \equiv \binom{n _1}{k _ 1} \binom{n _ 0}{k _ 0} _ q \pmod {\Phi _ d(q)} \end{align}
の部分は通常の二項係数であることに注意。 は 番目の円分多項式。
q-二項係数は、通常の二項係数で数えられる対象を更に何らかのパラメータで分類して、それを母関数として表したものと考えることも出来る。 言い換えると、 を代入すると通常の二項係数と一致する。 例えば転倒数の例では、全ての転倒数について数列の個数を足し合わせれば当然 個になるから が正解だろうと推測できて、 のようなものが答えになることはあり得ない。
計算について
- が定数なら、通常の二項係数のように階乗とその逆元のテーブルを作れば高速に二項係数が計算できる。ただし、 が の における位数より大きい場合、q-Lucas の定理を使う必要がある。
- が不定元として、 を 次まで計算することは FPS の exp と log を用いれば で行える。
証明
を 個、 を 個並べてできる全ての数列を考える。 これらの転倒数の分布を母関数として表す。すなわち
\begin{align} I (q) := \sum _ {k = 0} ^ {\infty} \left \lvert \left \lbrace 0 \text{ を } a \text{ 個、} 1 \text{ を } b \text{ 個並べてできる、転倒数が } k \text{ の数列} \right \rbrace \right \rvert q ^ k \end{align}
と定義する。
の順列の全てについて同様に、その転倒数の分布を母関数として表す。
\begin{align} P (q) := \sum _ {k = 0} ^ {\infty} \left \lvert \left \lbrace \lbrace 1, 2, \dots, a + b \rbrace \text{ の順列のうち、転倒数が } k \text{ であるもの} \right \rbrace \right \rvert q ^ k \end{align}
を 通りの方法で計算する。
計算方法
挿入 DP のように考える。 までの並びを決めたとき、次に をどこに差し込むか考えると、 通りの選択肢がありそれぞれで転倒数が 増加する。 これは母関数に を掛けることと同義だから、 である。
計算方法
まずは が順列のどこにあるかを決める。 内の並び順はまだ固定しないでおく。 選択肢は 通りあるが、それぞれについて既に確定した転倒の数を数えるとその母関数は定義より と一致する。 次に の並びと、 の並びをそれぞれ決定する。 その結果新たに確定する転倒の数の母関数は計算方法 と同様に考えればそれぞれ である。 よって 。
以上の結果を合わせると となり、 が従う。