[论文解读] Quantum mechanical perspectives and generalization of the fractional Fourier Transformation

Junhua Chen, Hong-Yi Fan|arXiv (Cornell University)|Jul 24, 2013

Mathematical Analysis and Transform Methods参考文献 4被引用 3

一句话总结

本文通过量子力学形式化方法，特别是利用数算符生成的幺正变换和正规有序积内的积分法（IWOP），推广了分数阶傅里叶变换（FrFT）。推导出一族可复合且可加的广义分数阶变换（GFrT），并明确给出了其本征函数，将FrFT从标准形式扩展至新的线性核变换类别。

ABSTRACT

Fourier and fractional-Fourier transformations are widely used in theoretical physics. In this paper we make quantum perspectives and generalization for the fractional Fourier transformation (FrFT). By virtue of quantum mechanical representation transformation and the method of integration within normal ordered product (IWOP) of operators, we find the key point for composing FrFT, and reveal the structure of FrFT. Following this procedure, a full family of generalized fractional transformations are discovered with the usual FrFT as one special case. The eigen-functions of arbitrary GFrT are derived explicitly.

研究动机与目标

• 通过识别其结构背后的量子力学原理，将分数阶傅里叶变换（FrFT）推广至标准形式之外。
• 建立构建新广义分数阶变换（GFrT）的标准，以保持其关键性质——可加性与可复合性。
• 利用量子力学技术显式推导任意GFrT的本征函数。
• 揭示幺正算符（特别是基于数算符和压缩的算符）在生成新类分数阶变换中的作用。
• 通过IWOP与表示变换，将多种已知变换（如Hadamard变换、标准FrFT）统一于单一量子力学框架之下。

提出的方法

• 利用量子力学的表示变换，在不同基态（如位置| x ⟩与动量| p ⟩）之间进行映射。
• 应用正规有序积内积分法（IWOP）以计算矩阵元并推导变换核。
• 通过形式为exp[i(π/2−α)a†a]的幺正算符及包含a²与(a†)²的广义压缩算符，构造广义分数阶变换（GFrT）。
• 利用相干态重叠与含复参数的高斯积分，推导出变换核⟨p|K̃αM†|x⟩。
• 引入参数θ以推广压缩算符，从而得到由α与θ参数化的变换族。
• 通过显式复合积分核并利用高斯积分恒等式，证明Fα∘Fβ = Fα+β，从而验证其可加性。

实验结果

研究问题

• RQ1 标准分数阶傅里叶变换的可加性与可复合性背后的量子力学结构是什么？
• RQ2 如何将分数阶傅里叶变换推广，以包含新的线性核变换类别，同时保持其关键性质？
• RQ3 任意广义分数阶变换（GFrT）的本征函数是什么？如何系统地推导它们？
• RQ4 幺正算符中压缩参数θ的不同选择如何影响结果变换核及其物理诠释？
• RQ5 Hadamard变换及其他已知变换能否作为该广义框架中的特例被恢复？

主要发现

• 推导出一族完整的广义分数阶变换（GFrT），当压缩参数θ = 0时，标准FrFT即为其特例。
• 广义变换核显式给出为⟨p|K̃αM†|x⟩ = 1/√(2πi cosθ sinhα) × exp[i/2((x²+p²)/(tanhα cosθ) + (x²−p²)tanθ − 2xp/(sinhα cosθ))]，当θ→0时退化为标准FrFT核。
• 严格证明了所有GFrT均满足可加性性质Fα∘Fβ = Fα+β，确认这些变换在复合下构成阿贝尔李群。
• 任意GFrT的本征函数以闭式显式推导，为这些广义变换提供了完整的谱分解。
• 当θ = π/2时，变换退化为连续变量的Hadamard变换，确认其在广义框架中作为特例的地位。
• 对于某些GFrT（如生成元为a²e^{iθ} + e^{-iθ}(a†)²的情况）不存在本征态，其原因在于生成元的非厄米特性，与缺乏本征函数一致。