[論文レビュー] Two Non-Commutative Binomial Theorems

Walter Wyss|arXiv (Cornell University)|Jul 12, 2017

graph theory and CDMA systems参考文献 1被引用数 11

ひとこと要約

本稿は、単位元をもつ非可換かつ結合的代数における要素 A と B に対して、2つの非可換二項定理を導出する。最初の定理は、導分 d_B の繰り返し適用と二項係数を用いて (A+B)^n を表現し、e^{A+B} = [e^{A+d_B}1]e^B という新しい指数公式を導き、これは Campbell-Baker-Hausdorff 公式とは異なる。2番目の定理は、d_B A = hA^2 を満たす場合に適用可能で、一般化された階乗 γ_k(h) を含む閉形式の式が得られ、最終的に演算子 (x - d/dx)^n 1 によってエルミート多項式と結びつく。

ABSTRACT

We derive two formulae for (A + B)^n, where A and B are elements in a non-commutative, associative algebra with identity.

研究の動機と目的

• 可換でない結合的代数（AB ≠ BA）への古典的二項定理の一般化を図ること。
• 二項係数を保持しつつ、非可換構造を導分 d_B を通じて組み込んだ (A+B)^n の新しい公式を導出すること。
• 非可換な文脈における指数関数 e^{A+B} に対する Campbell-Baker-Hausdorff 公式の代替を提供すること。
• 非可換幾何学や量子力学を含む、特定の物理的・数学的問題への定理の応用を図ること。
• 演算子 (x - d/dx)^n が 1 に作用する際の関係を通じて、演算子表現と古典的直交多項式（例えばエルミート多項式）を結びつけること。

提案手法

• 導分 d_A(X) = [A,X] = AX - XA を導入し、A による左乗法と可換性、ヤコビ恒等式などの性質を用いる。
• 演算子 A + d_B を定義し、(A+B)^n を (A + d_B)^k 1 と二項係数を含む和として表現する。
• 数学的帰納法を用いて最初の非可換二項定理を証明する：(A+B)^n = ∑_{k=0}^n (n choose k) (A + d_B)^k 1 ⋅ B^{n-k}。
• 可換代数では消える非可換部分 D_n(B,A) = (A + d_B)^n 1 - A^n を導入する。
• D_n(B,A) の再帰的関係を導出し、d_B A = hA^2 などの特定の条件下で明示的形を計算する。
• 滑らかな関数上の演算子代数に応用し、A = x および B = λ d/dx とした場合、(x + λ d/dx)^n 1 に対してエルミート多項式を含む閉形式の式を得る。

実験結果

リサーチクエスチョン

• RQ1 可換でない結合的代数（AB ≠ BA）において、古典的二項定理をどのように一般化できるか？
• RQ2 二項係数を保ちつつ非可換性を反映する (A+B)^n の公式を構築できるか？
• RQ3 非可換代数における指数関数 e^{A+B} の構造は何か？ これは Campbell-Baker-Hausdorff 展開とどのように異なるか？
• RQ4 非可換二項公式が一般化された階乗を含む閉形式の式に簡略化される条件は何か？
• RQ5 導出された非可換二項定理を通じて、演算子 (x + λ d/dx)^n と古典的直交多項式をどのように関連づけられるか？

主な発見

• 最初の非可換二項定理は (A+B)^n = ∑_{k=0}^n (n choose k) (A + d_B)^k 1 ⋅ B^{n-k} であり、A と B が可換である場合には古典的二項定理に帰着する。
• 指数公式 e^{A+B} = [e^{A+d_B}1]e^B が導出され、これは Campbell-Baker-Hausdorff 公式とは異なることが示された。
• d_B A = hA^2 の場合、公式は (A+B)^n = ∑_{k=0}^n (n choose k) γ_k(h) A^k B^{n-k} に簡略化され、γ_k(h) = ∏_{i=1}^{k-1} (1 + ih) で、γ_0(h) = 1 である。
• h = 1 の場合、これは (A+B)^n = ∑_{k=0}^n (n! / (n-k)!) A^k B^{n-k} に簡略化され、演算子 x + d/dx の n 乗の形と一致する。
• 演算子 (x - d/dx)^n 1 が n 次のエルミート多項式 He_n(x) に等しいことが示され、非可換演算子計算と古典的直交多項式との間の直接的な関係が確立された。
• B = λ d/dx および A = x の場合、(x + λ d/dx)^n 1 = ∑_{k=0}^{[n/2]} x^{n-2k} (n! / ((n-2k)! k! 2^k)) λ^k が成り立ち、λ = -1 のとき、これはエルミート多項式 He_n(x) を与える。