[论文解读] Cauchy type identities and corresponding fermatian matrices via non-comuting variables of extended finite operator calculus

Andrzej Kwaśniewski|ArXiv.org|Mar 5, 2004

Matrix Theory and Algorithms被引用 3

一句话总结

本文在扩展有限算子演算的框架下，通过使用 $ψ$-标记的 $ψ$-扩展 $ψ$-反对易变量，引入了一个广义的柯西恒等式。通过定义一个 $ψ$-形变的 $ψ$-换位算子 $ψ_{\hat{q}}$，作者推导出一个非交换的 $ψ$-柯西恒等式，并构造了一类具有算子系数的新类型 $ψ$-费马矩阵，将 $q$-柯西和斐波那契多项式-柯西情形统一为该框架下的特例。

ABSTRACT

New family of extended Cauchy type identities is found and related Fermat type matrices are provided ready for applications in extended scope. This is achieved due to the use specifically non-commuting variables of extended finite operator calculus introduced by the author few years ago.

研究动机与目标

• 将经典的柯西恒等式推广至扩展有限算子演算框架下的非交换 $ψ$-形变变量。
• 通过引入 $ψ$-换位算子 $ψ_{\hat{q}}$，解决非交换环境下标准二项式展开的失效问题。
• 通过 $ψ$-高斯系数，将 $q$-帕斯卡与斐波那契多项式-柯西恒等式统一于一个 $ψ$-扩展的框架中。
• 定义并表征一类新的对称矩阵——$ψ$-费马矩阵，其元素为算子值。
• 探讨 $ψ_{\hat{q}}$-量子平面作为扩展的阿诺德演算（umbral calculus）的罗塔风格算子公式基础的潜力。

提出的方法

• 将 $ψ$-标记序列引入为标准阶乘序列的可接受扩展，包括 $q$-高斯和斐波那契多项式情形。
• 通过 $ψ_{\hat{q}}$-换位关系 $yx = \hat{q}_{\psi}xy$ 定义 $ψ$-反对易变量，推广 $q$-反对易关系。
• 利用 $ψ$-形变阶乘 $n_{\hat{q}_{\psi}}! = \frac{1 - \hat{q}_{\psi}^n}{1 - \hat{q}_{\psi}}$ 构造 $ψ$-二项式系数 $\binom{n}{k}_{\hat{q}_{\psi}}$。
• 推导出 $ψ$-柯西恒等式：$\sum_{k \geq 0} \hat{q}_{\psi}^{(r-k)(j-k)} \binom{r}{k}_{\hat{q}_{\psi}} \binom{s}{j-k}_{\hat{q}_{\psi}} = \binom{r+s}{j}_{\hat{q}_{\psi}}$。
• 将该恒等式应用于定义 $ψ$-费马矩阵：$\sum_{k \geq 0} \hat{q}_{\psi}^{(r-k)(j-k)} \binom{i}{k}_{\hat{q}_{\psi}} \binom{j}{k}_{\hat{q}_{\psi}} = \binom{i+j}{j}_{\hat{q}_{\psi}}$。
• 引入 $ψ$-帕斯卡矩阵与 $ψ$-费马矩阵，其元素分别为 $x^{i-j} \binom{i}{j}_{\hat{q}_{\psi}}$ 与 $\binom{i+j}{j}_{\hat{q}_{\psi}}$。

实验结果

研究问题

• RQ1 能否利用 $ψ$-形变的 $ψ$-反对易变量构造非交换的柯西恒等式？
• RQ2 该 $ψ_{\hat{q}}$-换位算子如何实现对 $q$-情形之外的二项式型恒等式的稳定扩展？
• RQ3 该 $ψ$-费马矩阵的结构是什么？它如何统一 $q$-帕斯卡与斐波那契多项式-柯西情形？
• RQ4 $ψ_{\hat{q}}$-量子平面能否作为扩展的阿诺德演算的罗塔风格算子公式的基石？
• RQ5 $ψ$-柯西恒等式对组合学中算子代数表示理论有何影响？

主要发现

• 推导出一个新的 $ψ$-柯西恒等式：$\sum_{k \geq 0} \hat{q}_{\psi}^{(r-k)(j-k)} \binom{r}{k}_{\hat{q}_{\psi}} \binom{s}{j-k}_{\hat{q}_{\psi}} = \binom{r+s}{j}_{\hat{q}_{\psi}}$，在 $ψ_{\hat{q}}$-反对易关系 $[y,x]_{\hat{q}_{\psi}} = 0$ 下成立。
• $ψ$-费马矩阵通过 $\sum_{k \geq 0} \hat{q}_{\psi}^{(r-k)(j-k)} \binom{i}{k}_{\hat{q}_{\psi}} \binom{j}{k}_{\hat{q}_{\psi}} = \binom{i+j}{j}_{\hat{q}_{\psi}}$ 定义，推广了 $q$-费马矩阵。
• $ψ$-二项式系数 $\binom{n}{k}_{\hat{q}_{\psi}}$ 通过 $n_{\hat{q}_{\psi}}! = \frac{1 - \hat{q}_{\psi}^n}{1 - \hat{q}_{\psi}}$ 构造，扩展了 $q$-二项式与斐波那契多项式系数。
• $ψ$-帕斯卡矩阵 $P[x]$ 的元素为 $x^{i-j} \binom{i}{j}_{\hat{q}_{\psi}}$，$ψ$-费马矩阵 $F[1]$ 的元素为 $\binom{i+j}{j}_{\hat{q}_{\psi}}$，两者均具有算子值元素。
• 该恒等式对任意可接受的 $ψ$-序列均成立，包括 $q$-高斯与斐波那契多项式情形，展现出广泛适用性。
• 该框架在单一 $ψ$-扩展算子演算形式体系下，统一了标准、$q$-与斐波那契多项式-柯西恒等式。