Expressivity of IQP Feature-Map Quantum Kernels via Reproducing Kernel Hilbert Spaces

📄 arXiv: 2610.23692v1 📥 PDF

作者: Valeria Repetto, Stefano Melchionna, Romina D'Aurizio

分类: quant-ph, cs.LG

发布日期: 2026-10-16

备注: 19 pages, 11 Figures , Supplementary


💡 一句话要点

提出IQP特征映射量子核以解决量子机器学习中的表达能力问题

🎯 匹配领域: 支柱九:具身大模型 (Embodied Foundation Models)

关键词: 量子机器学习 量子核 再生核希尔伯特空间 傅里叶分析 异常检测 分类算法 数据结构

📋 核心要点

  1. 现有的量子核方法缺乏对其函数类的理论表征,特别是如何依赖于特征映射及其超参数的选择。
  2. 本文提出通过傅里叶表示来分析IQP特征映射的再生核希尔伯特空间,揭示其表达能力的不同带宽区间。
  3. 实验结果表明,IQP核在特定数据结构下表现出更强的表达能力,提供了带宽选择的新标准。

📝 摘要(中文)

量子核是量子机器学习中最具前景的方法之一,通过量子电路将数据嵌入高维希尔伯特空间,从而捕捉数据中的非线性关系。本文聚焦于瞬时量子多项式(IQP)特征映射,推导出与之相关的再生核希尔伯特空间(RKHS)生成器的傅里叶表示,揭示了不同带宽下的表达特性。通过对合成数据集的数值实验,验证了三种带宽区间在监督分类和无监督异常检测中的表现,明确了表达能力与数据结构之间的关系,为带宽选择提供了依据。

🔬 方法详解

问题定义:本文旨在解决量子核在表达能力上的理论缺失,尤其是如何根据特征映射和超参数选择影响函数类的问题。

核心思路:通过推导IQP特征映射的傅里叶表示,明确不同带宽对表达能力的影响,从而为带宽选择提供理论依据。

技术框架:研究首先定义IQP特征映射的结构,然后推导出其RKHS生成器的傅里叶表示,最后通过数值实验验证不同带宽下的表现。

关键创新:提出了将IQP特征映射与傅里叶分析结合的创新方法,揭示了带宽对表达能力的影响,填补了理论空白。

关键设计:通过对输入变量进行多项式变换,构建了有限频率集的傅里叶表示,设计了三种带宽区间的实验以验证其在分类和异常检测中的表现。

🖼️ 关键图片

img_0
img_1
img_2

📊 实验亮点

实验结果显示,在合成数据集上,IQP核在三种带宽区间内的表现明显优于经典高斯核,尤其在处理具有周期性和多模态结构的数据时,分类准确率和异常检测效果均有显著提升,验证了理论推导的有效性。

🎯 应用场景

该研究在量子机器学习领域具有广泛的应用潜力,尤其是在数据结构已知的情况下,可以优化量子核的带宽选择,从而提升模型的表达能力和性能。未来可能在量子计算、数据分析和模式识别等领域产生深远影响。

📄 摘要(原文)

Quantum kernels are among the most promising methods in quantum machine learning, providing a natural way to embed data into high-dimensional Hilbert spaces via quantum circuits and capturing non-linear relationships in data. Their learning behaviour is governed by the function class they represent, which is formally characterized by the structure of the associated Reproducing Kernel Hilbert Space (RKHS). However, a theoretical characterization of this function class, and of how it depends on the choice of feature map and its hyperparameters, is still lacking. In this work, we focus on the Instantaneous Quantum Polynomial (IQP) feature map and derive a Fourier representation of the associated RKHS generators as finite sums of trigonometric functions evaluated on polynomially transformed input variables, with a finite set of accessible frequencies determined by the circuit construction and scaled by the bandwidth hyperparameter. This representation identifies three bandwidth regimes with qualitatively distinct expressive properties from localised, through multimodal, to periodic. Numerical experiments on synthetic datasets with controlled periodic and multimodal structure, across data dimensions and feature-map configurations, reproduce the three regimes in both supervised classification and unsupervised anomaly detection, benchmarked against a classical Gaussian kernel. These results make the relationship between expressivity and data structure explicit for IQP kernels: expressive power translates into a practical benefit only when the accessible frequencies match with the structure of the data, which provides a criterion for selecting the bandwidth when the periodic or multimodal structure of data is known.