[论文解读] The skew spectrum of functions on finite groups and their homogeneous spaces

Risi Kondor|ArXiv.org|Dec 27, 2007

Digital Filter Design and Implementation参考文献 3被引用 5

一句话总结

本文提出了一种称为偏谱（skew spectrum）的新方法，作为在有限群及其齐性空间上以平移不变方式表示函数的计算高效、酉等价于三谱（bispectrum）的替代方案。通过利用傅里叶变换和克劳森型快速傅里叶变换（FFT）技术，偏谱实现了对群平移的无损、完全不变性，且与传统三谱方法相比计算成本显著降低。

ABSTRACT

Whenever we have a group acting on a class of functions by translation, the bispectrum offers a principled and lossless way of representing such functions invariant to the action. Unfortunately, computing the bispectrum is often costly and complicated. In this paper we propose a unitarily equivalent, but easier to compute set of invariants, which we call the skew spectrum. For functions on homogeneous spaces the skew spectrum can be efficiently computed using some ideas from Clausen-type fast Fourier transforms.

研究动机与目标

• 解决在有限群上计算三谱时计算成本高、复杂度大的问题。
• 开发一种更高效、但完整的平移不变性不变量集合。
• 将平移不变不变量推广至更贴近实际应用的齐性空间 G/H 上的函数。
• 利用特定的快速傅里叶变换算法（尤其是克劳森型FFT）实现高效计算。
• 建立偏谱在理论上唯一确定函数（至多平移）的完备性。

提出的方法

• 提出偏谱作为三谱的酉等价替代，避免显式计算 Clebsch-Gordan 矩阵。
• 通过定义修改函数 r_z(x) = f(x)f(zx) 的傅里叶变换，定义偏谱，得到变换表达式 q̂_z(ρ) = f̂(ρ) ⊗ f̂(ρ) ⋆ C_{ρρ} [⊕_ρ f̂(ρ)^⁺⁾^{m_ρ}] C_{ρρ}^⁺⁾。
• 利用傅里叶变换的左平移协变性：f̂^{t}(ρ) = ρ(t) f̂(ρ)，推导出对群作用的不变性。
• 将偏谱构造方法适配至齐性空间 G/H 上的函数，通过限制变换至相关子空间，并利用傅里叶矩阵的行稀疏性。
• 采用克劳森型FFT加速特定群结构上的计算，尤其当 f 支持在 G/H 上时。
• 证明偏谱保持完备性：其能唯一确定 f 至多平移，与三谱的理论性质一致。

实验结果

研究问题

• RQ1 能否构建一种计算高效的三谱替代方法，使其在有限群上保持完备性和酉等价性？
• RQ2 如何利用快速傅里叶变换技术高效计算偏谱，特别是针对齐性空间上的函数？
• RQ3 偏谱与三谱在不变性和信息保持性方面有何关系？
• RQ4 偏谱在齐性空间 G/H 上的函数上是否仍保持完备性？在何种条件下？
• RQ5 能否利用克劳森型FFT高效计算偏谱，尤其当傅里叶矩阵具有行稀疏性时？

主要发现

• 偏谱与三谱酉等价，确保其能完整保留原函数至多平移的信息。
• 偏谱避免显式计算 Clebsch-Gordan 矩阵，与三谱相比显著降低了计算复杂度。
• 对于齐性空间 G/H 上的函数，可通过限制至平凡表示分量的局部傅里叶变换，高效计算偏谱。
• 当 f(ρ) 的傅里叶矩阵秩等于 ρ↓H 中平凡表示的重数时，偏谱在 G/H 上的函数上仍保持完备性。
• 偏谱可通过克劳森型FFT实现高效计算，尤其当傅里叶矩阵稀疏时，对结构化群可实现显著加速。
• 偏谱可自然推广至右不变情形，已建立相应的构造方法与右平移不变性下的完备性结果。