[논문 리뷰] Towards favorable landscapes in quantum combinatorial optimization

Juneseo Lee, Alicia Magann외 2명|arXiv (Cornell University)|2021. 05. 03.

Quantum Computing Algorithms and Architecture참고 문헌 26인용 수 8

한 줄 요약

이 논문은 변량 양자 알고리즘(MaxCut)에서 양자 회로 구조가 고전적 최적화 지형에 미치는 영향을 조사한다. 지수적 수의 매개변수를 가진 교환 가능한 안사(Ansatz) 가족을 분석함으로써, 일반적인 그래프에 대해 국소 최적점이 존재하지 않음을 증명한다. 다만 초다항적 속도 향상은 달성하지 못한다. 수치적 결과는 비가환성과 얽힘의 중요성을 더욱 부각시킨다.

ABSTRACT

The performance of variational quantum algorithms relies on the success of using quantum and classical computing resources in tandem. Here, we study how these quantum and classical components interrelate. In particular, we focus on algorithms for solving the combinatorial optimization problem MaxCut, and study how the structure of the classical optimization landscape relates to the quantum circuit used to evaluate the MaxCut objective function. In order to analytically characterize the impact of quantum features on the landscape critical point structure, we consider a family of quantum circuit ansatze composed of mutually commuting elements. We identify multiqubit operations as a key resource, and show that overparameterization allows for obtaining favorable landscapes. Namely, we prove that an ansatz from this family containing exponentially many variational parameters yields a landscape free of local optima for generic graphs. However, we further prove that these ansatze do not offer superpolynomial advantages over purely classical MaxCut algorithms. We then present a series of numerical experiments illustrating that non-commutativity and entanglement are important features for improving algorithm performance.

연구 동기 및 목표

• 변량 양자 알고리즘에서 양자 회로 구조가 고전적 최적화 지형에 어떻게 영향을 미치는지 이해하기 위해.
• 특히 다큐비트 연산, 과다 매개변수화, 얽힘과 같은 양자 특성들이 최적화 지형의 임계점 구조에 미치는 역할를 분석하기 위해.
• 지수적 수의 매개변수를 가진 안사가 MaxCut 최적화에서 국소 최적점을 제거할 수 있는지 판단하기 위해.
• 그러한 양자 안사가 고전적 MaxCut 알고리즘보다 초다항적 우월성을 제공하는지 평가하기 위해.
• 수치 실험을 통해 비가환성과 얽힘이 알고리즘 성능에 미치는 영향을 조사하기 위해.

제안 방법

• 연구는 상호 교환 가능한 양자 연산으로 구성된 양자 회로 안사 가족에 집중하여 분석의 타당성을 확보한다.
• 저자들은 이러한 안사에 의해 유도되는 고전적 최적화 지형의 임계점 구조를 특성화하기 위해 분석 기법을 사용한다.
• 지수적 수의 변량 매개변수를 가진 과다 매개변수화된 안사가 일반적인 그래프에 대해 국소 최적점이 없는 지형을 유도함을 증명한다.
• 논문은 양자 접근법과 고전적 MaxCut 알고리즘을 비교하여 계산적 우월성을 평가하며, 초다항적 속도 향상은 없음을 보여준다.
• 비가환 안사의 성능을 평가하고, 얽힘이 최적화 결과 향상에 기여하는 정도를 평가하기 위해 수치 실험을 수행한다.
• 분석은 양자 회로를 사용해 목적 함수 평가를 매개변수화하는 MaxCut 문제를 기반으로 한다.

실험 결과

연구 질문

• RQ1 지수적 수의 매개변수를 가진 양자 회로 안사가 MaxCut의 고전적 최적화 지형에서 국소 최적점을 제거할 수 있는가?
• RQ2 교환 가능한 안사에서 다큐비트 연산의 사용이 유리한 최적화 지형을 초래하는가?
• RQ3 과다 매개변수화된 양자 회로가 고전적 MaxCut 솔버보다 얼마나 많은 계산적 우위를 제공하는가?
• RQ4 비가환성과 얽힘은 MaxCut 변량 양자 알고리즘의 성능에 어떻게 영향을 미치는가?
• RQ5 양자 회로 구조는 최적화 지형의 임계점 구조에 어떻게 영향을 미치는가?

주요 결과

• 서로 교환 가능한 양자 연산으로 구성되고 지수적 수의 변량 매개변수를 가진 안사는 일반적인 그래프에 대해 국소 최적점이 없는 고전적 최적화 지형을 유도한다.
• 유리한 지형이지만, 제안된 안사는 고전적 MaxCut 알고리즘보다 초다항적 우월성을 제공하지 못한다.
• 수치 실험 결과 비가환성과 얽힘은 알고리즘 성능 향상에 상당한 기여를 한다.
• 다큐비트 연산의 존재는 유리한 최적화 지형을 달성하는 데 핵심 요소로 규명된다.
• 안사 가정 내 과다 매개변수화는 국소 최적점 제거에 기여하며, 매개변수 수 증가에 따른 구조적 이점임을 시사한다.
• 결과적으로, 교환 가능한 안사로는 유리한 지형을 달성할 수 있지만, 실질적인 성능 향상은 비가환성과 얽힌 회로 구성 요소에 의존한다.