[论文解读] An algebraic interpretation of the intertwining operators associated with the discrete Fourier transform

M. K. Atakishiyeva, Natig M. Atakishiyev+1 more|arXiv (Cornell University)|May 21, 2021

Matrix Theory and Algorithms参考文献 27被引用 4

一句话总结

本文证明了在单位根处，离散傅里叶变换（DFT）的交织算子构成一个立方代数 $ C_q $，揭示了DFT背后深刻的代数结构。研究表明，这些算子生成一个非李、非经典的代数，与海森堡-外尔代数不同，解释了离散傅里叶谐振子哈密顿量的非精确可解性，并突显了离散与连续傅里叶变换之间的根本代数差异。

ABSTRACT

We show that intertwining operators for the discrete Fourier transform form a cubic algebra $\mathcal{C}_q$ with $q$ a root of unity. This algebra is intimately related to the two other well-known realizations of the cubic algebra: the Askey-Wilson algebra and the Askey-Wilson-Heun algebra.

研究动机与目标

• 揭示离散傅里叶变换（DFT）交织算子所形成的代数结构。
• 证明当 $ q $ 为单位根时，这些算子生成一个立方代数 $ C_q $。
• 阐明离散与连续傅里叶变换之间的代数差异，特别是在谐振子模型背景下的表现。
• 将所得代数 $ C_q $ 与著名的阿斯凯-威尔森代数及阿斯凯-威尔森-赫恩代数联系起来。
• 通过代数手段解释离散傅里叶谐振子哈密顿量 $ H = A^\dagger A + A A^\dagger $ 的非精确可解性。

提出的方法

• 从DFT矩阵 $ \Phi $ 推导出交织算子 $ A $ 和 $ A^\top $（厄米共轭）的显式形式，满足 $ A\Phi = i\Phi A $ 与 $ A^\top\Phi = -i\Phi A^\top $。
• 构造算子 $ X = \frac{1}{2}(A + A^\top) $ 与 $ Y = \frac{1}{2i}(A - A^\top) $，分别代表离散位置与动量的类比。
• 通过交换子 $ C = [A, A^\top] $ 定义立方代数，并推导出交换关系 $ [C, A] = \beta_1 A A^\top A + \beta_2 A - \beta_1 (A^\top)^3 $，其中 $ \beta_1, \beta_2 $ 以 $ q = e^{2\pi i/N} $ 表示。
• 利用雅可比恒等式验证代数的封闭性，并确认其与阿斯凯-威尔森代数结构的一致性。
• 分析算子 $ A $ 的谱与零空间，显示维度分裂：当 $ N $ 为奇数时秩为 $ N-1 $，当 $ N $ 为偶数时秩为 $ N-2 $，表明存在自发的反射对称性破缺。
• 将算子 $ W = [A, A^\top] $ 与赫恩型代数关联，并讨论其对相干态与 $ A^\dagger A $ 特征向量的含义。

实验结果

研究问题

• RQ1 当 $ q $ 为单位根时，DFT 的交织算子形成何种代数结构？
• RQ2 由 $ A $ 与 $ A^\top $ 生成的代数如何与阿斯凯-威尔森代数及阿斯凯-威尔森-赫恩代数相关联？
• RQ3 为何离散傅里叶谐振子哈密顿量 $ H = A^\dagger A + A A^\dagger $ 不是精确可解的？其代数特征是什么？
• RQ4 离散反射对称性在 $ A^\dagger A $ 的特征空间中起什么作用？其在奇数 $ N $ 与偶数 $ N $ 情况下有何不同？
• RQ5 能否显式构造DFT算子的广义相干态？在此背景下，赫恩算子起何作用？

主要发现

• 交织算子 $ A $ 与 $ A^\top $ 在单位根处生成一个立方代数 $ C_q $，其结构常数为 $ \beta_1 = (1 - q)^2 / (1 + q^2) $，$ \beta_2 = -4(q - q^{-1})^2 / (q + q^{-1}) $。
• 位置算子 $ X $ 为对角矩阵，其对角元为 $ 2\sin(n\theta_N) $，$ \theta_N = 2\pi/N $；动量算子 $ Y $ 为三对角矩阵，且主对角线全为零。
• 当 $ N $ 为奇数时，矩阵 $ A $ 的秩为 $ N-1 $，零空间维数为 1；当 $ N $ 为偶数时，秩为 $ N-2 $，零空间维数为 2，表明离散反射对称性被自发破缺。
• 哈密顿量 $ H = A^\dagger A + A A^\dagger $ 由于非经典的立方交换关系而不可精确求解，这与连续谐振子形成鲜明对比。
• 算子 $ W = [A, A^\top] $ 与DFT矩阵对易，并与 $ X $ 构成赫恩型代数，暗示其为数算子的离散类比。
• 当 $ N = 2L+1 $ 为奇数时，$ A^\dagger A $ 的特征向量仅在 $ P_d $ 对称下成立；而当 $ N = 2L $ 为偶数时，$ P_d $ 对称性被自发破缺，与已知的特征值重数公式一致。