[논문 리뷰] Quantum Search Algorithm for Binary Constant Weight Codes

Kein Yukiyoshi, Naoki Ishikawa|arXiv (Cornell University)|2022. 11. 09.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 이차 무제약 이진 최적화(QUBO)와 그로버 적응형 탐색(GAS)을 사용하여 이진 일정 무게 코드를 위한 새로운 양자 탐색 알고리즘을 제안한다. 이로 인해 고전적 쿼리 복잡도는 63% 감소하고 양자 쿼리 복잡도는 31% 감소한다. 알고리즘은 대수적 구조를 활용하여 큐비트 요구량을 줄이며, 해의 수와 목적 함수 최소값에 대한 날카운 경계를 설정한다.

ABSTRACT

A binary constant weight code is a type of error-correcting code with a wide range of applications. The problem of finding a binary constant weight code has long been studied as a combinatorial optimization problem in coding theory. In this paper, we propose a quantum search algorithm for binary constant weight codes. Specifically, the search problem is newly formulated as a quadratic unconstrained binary optimization (QUBO) and Grover adaptive search (GAS) is used for providing the quadratic speedup. Focusing on the inherent structure of the problem, we derive an upper bound on the minimum of the objective function value and a lower bound on the exact number of solutions. In our algebraic analysis, it was found that this proposed algorithm is capable of reducing the number of required qubits, thus enhancing the feasibility. Additionally, our simulations demonstrated that it reduces the query complexities by 63% in the classical domain and 31% in the quantum domain. The proposed approach may be useful for other quantum search algorithms and optimization problems.

연구 동기 및 목표

• 최적의 이진 일정 무게 코드를 찾는 데서 발생하는 조합 폭발 문제를 해결하기 위해, 이는 부호 이론 분야의 주요 과제이다.
• 일정 무게 부호 문제를 QUBO 문제로 재구성하여 양자 최적화를 가능하게 하기 위해.
• 구조 분석을 통해 양자 회로 구현에서 필요한 큐비트 수를 줄이기 위해.
• 목적 함수 최솟값과 해의 수에 대한 날카운 상한과 하한을 유도하여 알고리즘의 효율성을 향상시키기 위해.
• 그로버 적응형 탐색(GAS)을 사용하여 최적의 부호를 찾는 데서 제곱근 속도 향상을 달성하기 위해.

제안 방법

• 해밍 거리의 표현으로 내적을 사용하여, XOR 기반 표현을 대체함으로써 일정 무게 부호 문제를 QUBO 문제로 재구성한다.
• 두 코드워드 간 최소 거리 $ d $ 를 내적 제약 조건을 통해 강제하는 데 사용되는 새로운 목적 함수를 구성한다.
• 최적의 부호를 찾는 데 제곱근 속도 향상을 달성하기 위해 QUBO 수식에 그로버 적응형 탐색(GAS)을 적용한다.
• 대수적 분석을 통해 목적 함수 최솟값에 대한 상한과 정확한 해의 수에 대한 하한을 유도한다.
• 열 무게와 코드워드 분포와 같은 구조적 제약 조건을 활용하여 큐비트 요구량을 최소화한다.
• 시뮬레이션을 통해 제안된 수식에 따라 고전적 및 양자 쿼리 복잡도에서 성능 향상이 검증된다.

실험 결과

연구 질문

• RQ1 이진 일정 무게 부호 구축 문제는 양자 최적화를 위해 효과적으로 QUBO 문제로 재구성될 수 있는가?
• RQ2 일정 무게 부호의 내재된 대수적 구조는 큐비트 수를 줄이고 실행 가능성을 향상시키는 데 어떻게 활용될 수 있는가?
• RQ3 주어진 부호에 대해 목적 함수 최솟값과 유효한 해의 정확한 수에 대한 날카운 경계는 무엇인가?
• RQ4 제안된 GAS 기반 알고리즘은 고전적 및 표준 양자 방법에 비해 쿼리 복잡도를 얼마나 줄이는가?
• RQ5 제안된 방법은 부호 이론의 다른 조합 최적화 문제로 일반화될 수 있는가?

주요 결과

• 제안된 QUBO 수식은 일정 무게 부호의 구조적 제약 조건을 활용하여 필요한 큐비트 수를 줄인다.
• 기본 방법에 비해 고전적 쿼리 복잡도는 63% 감소하고 양자 쿼리 복잡도는 31% 감소한다.
• 목적 함수 최솟값에 대한 상한이 도출되어 보다 날카운 최적화 경계를 가능하게 한다.
• 정확한 해의 수에 대한 하한은 $ \boxed{\underline{t} = \min_{2 \leq i \leq w - d/2} \binom{w}{i}} $ 로 설정되며, 이는 $ w - d/2 \geq 2 $ 일 때이고, $ w - d/2 = 1 $ 일 때는 $ w! $ 이다.
• 이론적 분석은 제안된 GAS 변종이 문제 특화된 구조를 활용하여 제곱근 속도 향상을 가속화함을 확인한다.
• 시뮬레이션은 다양한 파라미터 조합에서 일관된 성능 향상을 보이며, 이론적 경계와 효율성 향상의 타당성을 검증한다.