arXiv:2501.12365cs.CCcs.DM2025-01被引 2

提出GFast算法,高效计算广义q元函数的稀疏傅里叶变换。

Efficient Algorithm for Sparse Fourier Transform of Generalized $q$-ary Functions

  • 基于编码理论设计新算法GFast,适用于广义q元序列空间。
  • 样本复杂度O(Sn),计算复杂度O(Sn log N),可处理高达N^δ阶稀疏性。
  • 在合成与真实数据上均显著减少样本和计算量,适合生物与机器学习场景。

计算从q元序列到实数的函数f:ℤ_q^n→ℝ的傅里叶变换是数学中的重要问题,广泛应用于生物学、信号处理和机器学习。以往研究在稀疏假设下已实现高效算法,但实际中函数常定义在更一般的广义q元序列空间ℤ_{q₁}×ℤ_{q₂}×⋯×ℤ_{qₙ},其中每个ℤ_{qᵢ}为模qᵢ整数。本文提出GFast算法,可在稀疏度S=N^δ(0≤δ<1)条件下,以样本复杂度O(Sn)、计算复杂度O(Sn log N)完成S-稀疏傅里叶变换,且失败概率随N=∏_{i=1}^n q_i→∞趋于零。其抗噪版本样本复杂度为O(Sn²),计算复杂度为O(Sn² log N),仍保持高概率正确性。合成实验表明,GFast比现有方法快8倍、少用16倍样本;在真实心病诊断与蛋白质适应度模型中,最多可减少13倍样本,显著优于当前最优参数化下的传统傅里叶算法。

原文摘要 · Abstract (English)

Computing the Fourier transform of a $q$-ary function $f:\mathbb{Z}_{q}^n\rightarrow \mathbb{R}$, which maps $q$-ary sequences to real numbers, is an important problem in mathematics with wide-ranging applications in biology, signal processing, and machine learning. Previous studies have shown that, under the sparsity assumption, the Fourier transform can be computed efficiently using fast and sample-efficient algorithms. However, in most practical settings, the function is defined over a more general space -- the space of generalized $q$-ary sequences $\mathbb{Z}_{q_1} \times \mathbb{Z}_{q_2} \times \cdots \times \mathbb{Z}_{q_n}$ -- where each $\mathbb{Z}_{q_i}$ corresponds to integers modulo $q_i$. Herein, we develop GFast, a coding theoretic algorithm that computes the $S$-sparse Fourier transform of $f$ with a sample complexity of $O(Sn)$, computational complexity of $O(Sn \log N)$, and a failure probability that approaches zero as $N=\prod_{i=1}^n q_i \rightarrow \infty$ with $S = N^δ$ for some $0 \leq δ< 1$. We show that a noise-robust version of GFast computes the transform with a sample complexity of $O(Sn^2)$ and computational complexity of $O(Sn^2 \log N)$ under the same high probability guarantees. Additionally, we demonstrate that GFast computes the sparse Fourier transform of generalized $q$-ary functions $8\times$ faster using $16\times$ fewer samples on synthetic experiments, and enables explaining real-world heart disease diagnosis and protein fitness models using up to $13\times$ fewer samples compared to existing Fourier algorithms applied to the most efficient parameterization of the models as $q$-ary functions.

傅里叶变换稀疏算法编码理论机器学习

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。