$\开始组$
  • a(n)美元$A000041号即分区数n美元$(分区号)。

  • T(n,k)美元$A083906号.在这里

$$T(n,k)=[q^k]\sum\limits_{m=0}^{n}\binom{n}{m} (_q)$$

哪里$\binom{n}{m} (_q)$表示高斯二项式系数.

我猜想

$$T(n,k)=[n>k](T(n-1,k)+a(k))+[倾斜k]\\T(0,k)=[k=0],T(1,k)=2[k=0]。$$

其中方括号表示艾弗森支架.

我还推测

$$\总和\limits_{i=0}^{n} T型(n-i,i)=a(n+1)$$

注意,总和的上限可以降低。

有办法证明吗?有没有办法得到一个简单的闭合表单T(n,k)美元$基于给定的递归?

$\端组$
1
  • 1
    $\开始组$ 对于零件$n>k$,请参见A083906中给出的条目FORMULA。 $\端组$
    – 尼莫
    评论 2月12日13:23

1答案1

重置为默认值
8
$\开始组$

考虑由以下公式定义的Rogers-Szego多项式$$H_n(t)=\sum\limits_{m=0}^{n}\binom{n}{m} 数量(_qt)^米。$$

在安德鲁斯的“分割理论”中,第3章的练习6给出了该多项式满足的三项递推

$$H_{n}(t)=(1+t)H_{n-1}。$$

$$T(n,k)=[q^k]H_n(1),$$

人们可以很容易地解决这个问题$n\le k美元$的重复出现次数T(n,k)美元$从这里开始。

至于猜测$$\总和\limits_{i=0}^{n} T型(n-i,i)=a(n+1),$$可以用安德鲁书中的(3.3.9)来证明$$\裂缝{1}{(q;q){m+1}}=\sum\limits{j=0}^{infty}q^j\binom{m+j}{m} (_q),$$如下:$$\总和\limits_{i=0}^{n} T型(n-i,i)=\sum\limits_{i=0}^{n}[q^i]\sum\limits_{m=0}^{n-i}\binom{n-i{{m} q(_q)=\sum\limits_{i=0}^{n}[q^{n-i}]\sum\limits_{m=0}^{i}\binom{i}{m} (_q)\\=[q^{n}]\sum\limits_{i=0}^{n} q个^i\sum\limits_{m=0}^{i}\binom{i}{m} q(_q)=[q^{n}]\sum\limits_{m=0}^{n{}\sum\limits_{i=m}^{n} q个^i\binom{i}{m} (_q)=[q^{n}]\sum\limits_{m=0}^{n} q个^m\sum\limits_{i=0}^{n-m}q^i \binom{i+m}{m} (_q)\\=[q^{n}]\sum\limits_{m=0}^{n} q个^m\sum\limits_{i=0}^{\infty}q^i\binom{i+m}{m} (_q)=[q^{n}]\sum\limits_{m=0}^{n} q个^m\frac{1}{(q;q){m+1}}\\=[q^{n+1}]\sum\limits_{m=0}^{n}\frac}1-(1-q^{m+1})}{(q;q){m}}\右)=[q^{n+1}]\左(\frac{1}{(q;q){n+1}}-1\右)=a(n+1)$$

$\端组$

你的答案

单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览已标记的其他问题问你自己的问题.