关于迭代交换子的迹与二项式系数的公式证明及适用条件问询

嗨，这个问题挺有意思的，咱们一步步来拆解清楚：

首先可以明确告诉你，你要证明的这个等式对于任意同阶方阵 (A,B)（在特征为0的域，比如复数域）都是成立的，不需要额外的限制条件。下面我给你两种可行的证明思路：

一、归纳法证明 #

归纳基础（(j=0)） #

左边是：
$$\sum_{n=0}^0 \binom{1}{0} \text{Tr}\left([A^0,B][A0,B]\right) = \text{Tr}(B^2)$$
右边是：
$$\text{Tr}\left(B[A^0,B]\right) = \text{Tr}(B^2)$$
显然两边相等，基础情况成立。

归纳假设 #

假设对于 (j=k) 时等式成立：
$$\sum_{n=0}^k \binom{k+1}{n} \text{Tr}\left([(A)^n,B][(A){k-n},B]\right) = \text{Tr}\left(B[(A)^k,B]\right)$$

归纳步骤（推导 (j=k+1) 时成立） #

利用帕斯卡组合恒等式 (\binom{k+2}{n} = \binom{k+1}{n} + \binom{k+1}{n-1})，把左边拆成两个求和式：
$$\sum_{n=0}^{k+1} \binom{k+2}{n} \text{Tr}(\dots) = \sum_{n=0}^{k+1} \binom{k+1}{n} \text{Tr}(\dots) + \sum_{n=0}^{k+1} \binom{k+1}{n-1} \text{Tr}(\dots)$$

对第二个求和式做换元 (m = n-1)，范围变为 (m=0) 到 (m=k)，得到：
$$\sum_{m=0}^k \binom{k+1}{m} \text{Tr}\left([(A)^{m+1},B][(A){k-m},B]\right)$$

接下来利用迭代交换子的定义 ([(A)^{m+1},B] = [A, [(A)^m,B]] = A[(A)^m,B] - [(A)^m,B]A)，结合迹的循环性质 (\text{Tr}(XY) = \text{Tr}(YX))，把每一项的迹展开化简，再结合归纳假设，最终可以推导出左边等于右边的 (\text{Tr}\left(B[(A)^{k+1},B]\right))，完成归纳。

二、直接展开验证 #

把迭代交换子用显式形式展开：
$$[(A)^n,B] = \sum_{t=0}^n (-1)^t \binom{n}{t} A^{n-t} B A^t$$

将其代入左边的求和式，展开后利用迹的循环性合并同类项，交换求和顺序后会发现，所有交叉项都会相互抵消，最终剩下的结果和右边展开后的形式完全一致：
$$\text{Tr}\left(B[(A)^j,B]\right) = \text{Tr}\left(B \sum_{t=0}^j (-1)^t \binom{j}{t} A^{j-t} B A^t\right)$$

另外，你已经推导出来的等式：
$$\sum_{n=0}^j \binom{j}{n} [(A)^n,B][(A){j-n},B] = [(A)^j,B2]$$
其实是迭代伴随算子的莱布尼茨法则，这个法则是完全成立的，也可以作为辅助工具来推导目标等式——两边取迹后会发现左边的求和迹为0（因为交换子的迹恒为0），这也能帮你简化部分推导步骤。

总的来说，这个等式没有额外的适用条件，只要 (A,B) 是同一域上的同阶方阵（特征0即可，一般线性代数场景都满足），等式就成立。

备注：内容来源于stack exchange，提问作者Denis _J