量子输入空间上 Sobolev 函数的调和分析与量子电路近似

研究为定义在复单位球面、复射影空间及特殊与射影酉群上的 Sobolev 函数推导出近似速率，这些空间分别表示量子态与量子酉操作。作者借助紧群与紧齐性空间上的调和分析，用不可约表示和 Laplace-Beltrami 算子刻画 Peter-Weyl 分解与 Sobolev 空间，并结合谱截断与有限深度量子电路近似，援引 Solovay-Kitaev 定理给出将谱截断误差与电路近似误差分离的定量速率。