[논문 리뷰] Infinite quantum signal processing

Yulong Dong, Lin Lin외 2명|arXiv (Cornell University)|2022. 09. 21.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 ℓ¹ 공간에서 단위 계수의 위상 인자로 비다항식 함수를 표현할 수 있도록 일반화한 무한 양자 신호 처리(IQSP)를 소개한다. ℓ¹ 노름이 유계인 경우 위상 인자가 수렴함을 증명하고, 고차 다항근사에서 증명 가능하게 수렴하는 수치적으로 안정된 고정점 알고리즘을 더블 정밀도 산술을 사용하여 제시한다.

ABSTRACT

Quantum signal processing (QSP) represents a real scalar polynomial of degree $d$ using a product of unitary matrices of size $2 imes 2$, parameterized by $(d+1)$ real numbers called the phase factors. This innovative representation of polynomials has a wide range of applications in quantum computation. When the polynomial of interest is obtained by truncating an infinite polynomial series, a natural question is whether the phase factors have a well defined limit as the degree $d o \infty$. While the phase factors are generally not unique, we find that there exists a consistent choice of parameterization so that the limit is well defined in the $\ell^1$ space. This generalization of QSP, called the infinite quantum signal processing, can be used to represent a large class of non-polynomial functions. Our analysis reveals a surprising connection between the regularity of the target function and the decay properties of the phase factors. Our analysis also inspires a very simple and efficient algorithm to approximately compute the phase factors in the $\ell^1$ space. The algorithm uses only double precision arithmetic operations, and provably converges when the $\ell^1$ norm of the Chebyshev coefficients of the target function is upper bounded by a constant that is independent of $d$. This is also the first numerically stable algorithm for finding phase factors with provable performance guarantees in the limit $d o \infty$.

연구 동기 및 목표

• 무한 급수를 근사할 때 다항식 차수 d → ∞ 일 때 양자 신호 처리의 위상 인자가 잘 정의된 극한을 갖는지 조사한다.
• 비다항식 목표 함수에 대해 ℓ¹ 공간에서 위상 인자가 수렴하는 조건을 설정한다.
• 증명 가능하게 수렴 보장이 있는 수치적으로 안정적이고 효율적인 알고리즘을 개발하여 고차 무한 근사에서 위상 인자를 계산한다.
• 목표 함수의 정칙성과 위상 인자의 감쇠 특성 사이의 관계를 탐색한다.
• 양자 특이값 변환을 통해 부드럽고 비다항식 함수를 위한 실용적인 양자 알고리즘을 가능하게 한다.

제안 방법

• Chebyshev 계수의 ℓ¹ 노름이 유계일 경우 수렴 보장이 되는 ℓ¹ 공간에서 무한 수열의 위상 인자를 일반화한 양자 신호 처리를 수행한다.
• 고정점 반복 알고리즘(알고리즘 1)을 사용하여 위상 인자를 계산하며, 더블 정밀도 산술에 기반하고 ‖c‖₁ ≤ r_c 조건에서 증명 가능하게 수렴한다.
• 행렬 도함수 DF의 구조를 분석하고 ℓ¹ 공간에서의 가역성을 확보하여 해의 존재성과 유일성을 입증한다.
• 부드러운 함수를 표현하기 위해 Chebyshev 다항식 전개를 사용하고, 계수 감쇠와 위상 인자 감쇠 간의 관계를 분석한다.
• Banach 공간 이론과 행렬 노름 추정을 활용하여 고정점 방법의 수렴성과 안정성을 증명한다.
• 목표 함수로 |x|³ 및 f_even, f_odd의 짝수/홀수 성분을 사용하여 수치적 검증을 수행하고 기존 솔버와의 비교를 실시한다.

실험 결과

연구 질문

• RQ1 다항식 차수 d → ∞ 일 때 양자 신호 처리의 위상 인자가 어떤 조건에서 수렴하는가?
• RQ2 비다항식 함수에 대해 ℓ¹ 공간에서 극한이 존재하도록 일관된 위상 인자 매개변수화를 정의할 수 있는가?
• RQ3 목표 함수의 정칙성과 그에 대응하는 위상 인자의 감쇠 속도 사이의 관계는 무엇인가?
• RQ4 고차 무한 근사에서 위상 인자를 계산하기 위한 수치적으로 안정적이고 증명 가능하게 수렴하는 알고리즘을 구축할 수 있는가?
• RQ5 제안된 고정점 알고리즘의 성능은 QSPPACK과 같은 기존 방법과 비교해 속도와 정확도 측면에서 어떻게 다른가?

주요 결과

• 목표 함수의 Chebyshev 계수의 ℓ¹ 노름이 다항식 차수 d 와 무관한 상수로 유계일 경우 위상 인자가 ℓ¹ 공간에서 수렴한다.
• 고정점 반복 알고리즘이 동일한 ℓ¹ 노름 조건 하에서 증명 가능하게 수렴하며, 더블 정밀도 산술을 사용하고 CPU 시간은 τ² 비례로 증가한다. 여기서 τ는 잘라낸 차수이다.
• 수렴에 필요한 반복 횟수는 τ와 독립적이며, τ가 1000 이하일 경우 일반적으로 14에서 16회 사이로 안정되어 있다.
• 위상 인자의 감쇠가 Chebyshev 계수의 감쇠와 매우 유사하게 나타나, 함수의 부드러움과 위상 인자의 희소성 간의 강력한 연관성이 있음을 시사한다.
• 수치 실험 결과, 알고리즘이 QSPPACK보다 빠르며, 큰 τ에서도 정확도가 매우 높게 유지된다(ε = 10⁻¹²).
• ℓ¹ 노름이 이론적 유계 조건을 초과하는 경우에도(예: τ = 3.2332) 알고리즘이 효과적으로 작동함을 확인하여 조건의 완화 가능성을 시사한다.