[논문 리뷰] Design and Analysis of an Improved Constrained Hypercube Mixer in Quantum Approximate Optimization Algorithm

Arkadiusz Wołk, Karol Capała외 1명|arXiv (Cornell University)|2026. 03. 05.

Quantum Computing Algorithms and Architecture인용 수 0

한 줄 요약

본 논문은 회로 크기를 감소시키기 위해 QAOA에 대해 제약된 하이 큐브 믹서를 개선하고, 감소가 적용되는 시점을 분석적으로 상한으로 제시하며, 시뮬레이션에서 노이즈 강건성 향상을 보인다.

ABSTRACT

The Quantum Approximate Optimization Algorithm (QAOA) is expected to offer advantages over classical approaches when solving combinatorial optimization problems in the Noisy Intermediate-Scale Quantum (NISQ) era. In its standard formulation, however, QAOA is not suited for constrained problems. One way to incorporate certain types of constraints is to restrict the mixing operator to the feasible subspace; however, this substantially increases circuit size, thereby reducing noise robustness. In this work, we refine an existing hypercube mixer method for enforcing hard constraints in QAOA. We present a modification that generates circuits with fewer gates for a broad class of constrained problems defined by linear functions. Furthermore, we calculate an analytical upper bound on the number of binary variables for which this reduction might not apply. Additionally, we present numerical experimental results demonstrating that the proposed approach improves robustness to noise. In summary, the method proposed in this paper allows for more accurate QAOA performance in noisy settings, bringing us closer to practical, real-world NISQ-era applications.

연구 동기 및 목표

• 제약 최적화 문제에서 하드웨어 노이즈 하에서 QAOA 성능 향상을 촉진한다.
• 선형 제약 정의에 적용 가능한 게이트 수를 줄인 제약된 하이 큐브 믹서를 개발한다.
• 감소가 이로운 이진 변수의 수에 대한 분석적 상한을 제시한다.
• 일반적인 양자 노이즈 모델에 대한 강건성 향상을 수치 실험으로 보여준다.

제안 방법

• 사전 계산된 선형 함수 값 l(y)을 활용하여 회로 크기를 줄이는 수정된 제약된 하이 큐브 믹서 U_B'를 제안한다.
• 표준 검증 오라클 V를 선행 계산된 l(y)을 전용 레지스터에 사용하는 단순화된 V'로 교체하고 이웃 가용성 확인을 이에 맞게 조정한다.
• 상태 전이 중 올바른 l(y) 업데이트를 유지하기 위해 수정된 이웃-가능성 오라클 N'_j와 업데이트된 RX_j 적용을 도출한다.
• 병렬 및 순차 확장 방법을 상세히 제시하여 다중 선형 함수를 처리하기 위한 구성을 확장한다.
• 표준 방법과 수정된 방법 간의 게이트 수를 비교하기 위한 G 연산자를 이용한 회로 크기 분석 프레임워크를 제공한다.
• 다중 선형 함수로 확장하되 병렬 및 순차 체계를 포함하고, 이러한 설정에서 L, V, C 오퍼레이터의 스케일링 방법을 제시한다.

실험 결과

연구 질문

• RQ1 제약이 선형 함수로 정의될 때 게이트 효율적인 제약된 하이 큐브 믹서를 QAOA에 대해 설계할 수 있는가?
• RQ2 게이트 감소 수정이 이롭다고 남아 있는 이진 변수의 수에 대한 분석적 상한은 무엇인가?
• RQ3 제안된 수정이 위상 댐핑, 진폭 댐핑, 편극화 노이즈에 대한 강건성을 시뮬레이션에서 향상시키는가?
• RQ4 다중 선형 함수의 경우 회로 크기를 늘리지 않고 병렬 또는 순차 체계에서 실제로 어떻게 구현할 수 있는가?
• RQ5 회로 깊이와 가능성 처리 측면에서 표준 방법과 수정된 방법 간의 트레이드오프는 무엇인가?

주요 결과

• 수정된 제약된 하이 큐브 믹서 U_B'는 광범위한 선형 제약 문제에 대해 표준 구현보다 필요한 회로 크기를 감소시킨다.
• 표준 방법이 수정보다 성능을 낼 수 있는 조건을 보여주는 분석적 상한이 도출된다.
• 수치 실험은 수정된 접근법을 사용할 때 일반적인 노이즈 모델에 대한 강건성 향상을 나타낸다.
• 수정된 방법은 사전 계산된 선형 함수 값을 사용하여 가능한 상태 제약 혼합을 달성하고 오라클 복잡성을 감소시킨다.
• 다중 선형 함수에 대한 확장이 병렬 및 순차 옵션으로 자세히 설명되어 확장성 고려사항을 요약한다.
• 회로 크기 분석은 G 크기 함수를 사용하여 방법 간 게이트 수를 비교하기 위한 프레임워크를 제공한다.