[논문 리뷰] Non-Linear Transformations of Quantum Amplitudes: Exponential Improvement, Generalization, and Applications

Arthur G. Rattew, Patrick Rebentrost|arXiv (Cornell University)|2023. 09. 18.

Quantum Computing Algorithms and ArchitectureComputer Science인용 수 3

한 줄 요약

이 논문은 대각 블록 인코딩과 양자 신호 처리를 사용하여 양자 상태의 진폭을 비선형으로 변환하는 데 새로운 양자 알고리즘 프레임워크를 제안한다. 이는 이전 방법 대비 지수적 속도 향상을 달성하며, ℓ₂-노름 오차 ε를 갖는 tanh와 같은 함수를 O(log(N/ε)) 쿼리로 효율적으로 적용할 수 있다. 이는 이전 연구에서의 O(√N log(N/ε))에 비해 향상된 결과이며, 엄밀한 오차 한계를 갖는 광범위한 비선형 함수 클래스로 일반화된다.

ABSTRACT

Quantum algorithms manipulate the amplitudes of quantum states to find solutions to computational problems. In this work, we present a framework for applying a general class of non-linear functions to the amplitudes of quantum states, with up-to an exponential improvement over the previous work. Our framework accepts a state preparation unitary (or block-encoding), specified as a quantum circuit, defining an $N$-dimensional quantum state. We then construct a diagonal block-encoding of the amplitudes of the quantum state, building on and simplifying previous work. Techniques from the QSVT literature are then used to process this block-encoding. The source of our exponential speedup comes from the quantum analog of importance sampling. We then derive new error-bounds relevant for end-to-end applications, giving the error in terms of $\ell_2$-norm error. We demonstrate the power of this framework with four key applications. First, our algorithm can apply the important function $ anh(x)$ to the amplitudes of an arbitrary quantum state with at most an $\ell_2$-norm error of $ε$, with worst-case query complexity of $O(\log(N/ε))$, in comparison to the $O(\sqrt{N}\log(N/ε))$ of prior work. Second, we present an algorithm solving a new formulation of maximum finding in the unitary input model. Third, we prove efficient end-to-end complexities in applying a number of common non-linear functions to arbitrary quantum states. Finally, we generalize and unify existing quantum arithmetic-free state-preparation techniques. Our work provides an important and efficient algorithmic building block with potentially numerous applications in areas such as optimization, state preparation, quantum chemistry, and machine learning.

연구 동기 및 목표

• 비선형 함수를 양자 상태 진폭에 적용하기 위한 일반적이고 효율적인 프레임워크를 개발하여 이전의 선형 변환 기반 양자 알고리즘의 한계를 극복한다.
• 양자 중요도 샘플링과 블록 인코딩 기법의 양자 유사 기법을 활용해 진폭 변환 작업에서 지수적 속도 향상을 달성한다.
• 종합적인 양자 알고리즘에 적용 가능한 엄밀한 ℓ₂-노름 오차 한계를 유도하여 양자 기계학습, 최적화, 양자 화학 분야에서의 실용적 응용을 가능하게 한다.
• 기존의 양자 산술 없는 상태 준비 기법들을 하나의 확장 가능한 프레임워크로 통합하고 일반화한다.
• 네 가지 핵심 응용을 통해 프레임워크의 유용성을 입증한다: tanh 적용, 최대값 탐색, 일반 비선형 함수 적용, 상태 준비

제안 방법

• 유니터리 회로에 의해 준비된 양자 상태의 진폭에 대해 대각 블록 인코딩을 구성함으로써 분석을 단순화하고 효율적인 처리를 가능하게 한다.
• 블록 인코딩된 진폭 연산자에 양자 신호 처리(QSP) 기법을 적용하여 다항식 근사 기법을 통해 비선형 변환을 구현한다.
• 핵심 케이스에서 쿼리 복잡도 향상을 위해 중요도 샘플링의 양자 유사 기법을 사용하여 O(√N)에서 O(log N)으로의 의존도 감소를 달성한다.
• 함수 f(ψ_j)가 구간 [−1,1]에서 낮은 차수의 다항식으로 잘 근사될 수 있음을 활용하여 QSP 기반의 효율적 구현이 가능하다.
• 하위공간 오차 정의를 사용하고, 종합적인 양자 알고리즘에 적용 가능한 날카운 오차 한계인 새로운 ℓ₂-노름 오차 한계를 도출한다.
• 복소수 진폭으로의 접근을 일반화하고, 보조 큒빗 요구량을 O(n)에서 O(1)로 줄일 수 있는 잠재적 방법을 탐색한다.

실험 결과

연구 질문

• RQ1 비선형 함수를 이전 방법에 비해 지수적 속도 향상을 달성하면서 양자 상태 진폭에 적용할 수 있는가?
• RQ2 실제 양자 알고리즘에서 진폭 변환의 ℓ₂-노름 오차를 엄밀하게 한정하고 최소화할 수 있는가?
• RQ3 이 프레임워크는 tanh와 삼각함수의 역함수를 포함한 광범위한 비선형 함수 클래스를 지원하도록 일반화할 수 있는가?
• RQ4 이 알고리즘은 유니터리 입력 모델에서 최대값 탐색과 같은 새로운 문제를 해결하는 데 사용될 수 있는가?
• RQ5 기존의 양자 산술 없는 상태 준비 기법들이 이 새로운 프레임워크 아래에서 통합되고 단순화될 수 있는가?

주요 결과

• tanh를 진폭에 적용할 때 ℓ₂-노름 오차 ε를 갖는 복잡도가 O(log(N/ε))로 도출되었으며, 이는 이전의 O(√N log(N/ε))에 비해 지수적 향상이다.
• 프레임워크를 통해 유니터리 입력 모델에서 최대값 탐색의 새로운 공식화가 가능해졌으며, 종합적인 효율적 복잡도를 확보하였다.
• 구간 [−1,1]에서 낮은 차수의 다항식으로 잘 근사 가능한 임의의 함수 f에 대해, f(ψ_j)의 적용 복잡도가 O(polylog(1/ε))로 스케일링됨을 보였다.
• ℓ₂-노름 오차 한계가 도출되었고, 이는 종합적 응용에서 신뢰할 수 있는 오차 분석이 가능함을 보여주었다.
• 대각 블록 인코딩 구성은 분석을 단순화하고 QSP를 통한 비선형 변환의 효율적 구현을 가능하게 하였다.
• 프레임워크는 기존의 양자 산술 없는 상태 준비 기법들을 일반화하고 통합하였으며, 양자 기계학습, 최적화, 양자 화학 분야에서 넓은 적용 가능성을 입증하였다.