[論文レビュー] Quantum Search Algorithm for Binary Constant Weight Codes

Kein Yukiyoshi, Naoki Ishikawa|arXiv (Cornell University)|Nov 9, 2022

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）を用いて、最適な符号の探索において2乗の高速化を達成すること。

提案手法

• ハミング距離を内積で表現することで、XORに基づく表現を置き換え、定重み符号問題をQUBO問題に再定式化する。
• 最小距離 $ d $ を符号語間で確保するための内積制約を用いた、新しい目的関数を構築する。
• QUBO定式化にグローバー適応探索（GAS）を適用し、最適な符号の探索における2乗の高速化を達成する。
• 代数的解析を用いて、最小目的関数値の上界と、正確な解の個数の下界を導出する。
• 列の重みや符号語の分布といった構造的制約を活用することで、キュービット要件を最小化する。
• シミュレーションにより、提案された定式化のもとで、古典的および量子的クエリ複雑度の性能向上を検証する。

実験結果

リサーチクエスチョン

• RQ1 二値定重み符号の構築問題は、量子最適化に適したQUBO問題に効果的に再定式化可能か？
• RQ2 定重み符号に内在する代数的構造をどのように活用すれば、キュービット数の削減と実行可能性の向上が達成できるか？
• RQ3 与えられた符号に対して、最小目的関数値と正確な有効な解の個数のタイトな境界は何か？
• RQ4 提案されたGASベースのアルゴリズムは、古典的および標準的な量子的手法と比較して、クエリ複雑度をどの程度削減できるか？
• RQ5 提案された手法は、符号理論における他の組合せ最適化問題へ一般化可能か？

主な発見

• 提案されたQUBO定式化は、定重み符号の構造的制約を活用することで、必要なキュービット数を削減する。
• アルゴリズムは、ベースライン手法と比較して、古典的クエリ複雑度を63%、量子的クエリ複雑度を31%削減する。
• 最小目的関数値の上界が導出され、よりタイトな最適化境界が可能になる。
• 正確な解の個数の下限は、$ w - d/2 \geq 2 $ のとき $ \boxed{\underline{t} = \min_{2 \leq i \leq w - d/2} \binom{w}{i}} $ であり、$ w - d/2 = 1 $ のときは $ w! $ である。
• 理論的解析により、問題固有の構造を活用することで、提案されたGASの変種が2乗の高速化を促進することが確認された。
• シミュレーションにより、複数のパrameterセットにおいて一貫した性能向上が確認され、理論的境界と効率の向上が妥当であることが検証された。