[論文レビュー] Quantum search processes in the cyclic group state spaces

Xijia Miao|arXiv (Cornell University)|Jul 25, 2005

Quantum Computing Algorithms and Architecture参考文献 40被引用数 3

ひとこと要約

この論文は、巡回群の状態空間における非構造的量子探索問題を解くために、巡回群の対称的構造を活用した新しいオракルベースの量子ダイナミクス手法を提案する。2進数表現を多進数ダイナミクス表現に一般化することで、探索空間を低次元部分群に縮小し、振幅増幅を必要とせず、Groverのアルゴリズムが直面する標準的な平方根の高速化制限を回避する。

ABSTRACT

The hardness to solve an unstructured quantum search problem by a standard quantum search algorithm mainly originates from the low efficiency to amplify the amplitude of the marked state by the oracle unitary operation associated with other known quantum operations. In order to bypass the square speedup limitation of a standard quantum search algorithm it is necessary to develop other type of quantum search algorithms. It is described in detail in the paper for a quantum dynamical method to solve the quantum search problems in the cyclic group state space. The binary dynamical representation for a quantum state in the Hilbert space of the n-qubit quantum system is generalized to the multi-base dynamical representation for a quantum state in the cyclic group state space. Thus, any quantum state in the cyclic group state space may be described completely in terms of a set of dynamical parameters that are closely related to the symmetric property and structure of the cyclic group. The quantum search problem therefore could be solved by determining the set of dynamical parameters that describe completely the unknown marked state of the search problem instead by directly measuring the marked state which is a necessary step in the standard quantum search algorithm. An unstructured quantum search problem in the Hilbert space is inevitably affected greatly by the symmetric property and structure of a group. The main attempt of the paper is to make use of the symmetric properties and structures of groups to help solving the quantum search problems in the group state spaces. It is shown how the quantum search process could be reduced from the cyclic group state space to these cyclic group state subspaces with the help of the symmetric property and structure of the cyclic group on a universal quantum computer.

研究の動機と目的

• Groverのアルゴリズムのような標準的量子探索アルゴリズムに内在する平方根の高速化制限を克服すること。
• 直接測定するのではなく、マークド状態をパrameter化することに焦点を当てることで、振幅増幅を回避する新しい量子探索フレームワークの開発。
• 巡回群の対称的構造を活用して、探索空間をより小さな、効率的に解ける部分空間に分解すること。
• ユニタリ操作を用いて群の要素を量子状態にマッピングすることにより、高次元ヒルベルト空間における効率的量子探索を可能にすること。
• 状態ロックパルスを用いてユニタリに実行可能な量子プログラムおよび回路を設計すること。

提案手法

• 巡回群状態空間内の量子状態について、2進数ダイナミクス表現を多進数ダイナミクス表現に一般化する。
• 巡回群の要素をnキュービットヒルベルト空間の基底状態に一対一でマッピングし、群の対称性を量子状態空間に埋め込む。
• 中国剰余定理を用いて、巡回群状態空間を次元 ~O(log p) の小さな巡回部分群のテンソル積に分解する。
• 量子探索をパラメータ推定問題として定式化：部分群部分空間におけるマークド状態を完全に記述するダイナミクスパラメータを特定する。
• 状態ロックパルスを組み込んだユニタリ量子プログラムを設計し、理想の汎用量子コンピュータ上で効率的な計算をシミュレートする停止プロトコルを模倣する。
• 2準位制御部分空間と連続的状態ロックパルスを用いて、ユニタリプログラムをエミュレートする量子回路を構築する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト空間における群の対称性を活用することで、標準的量子探索アルゴリズムの平方根の高速化制限を克服できるか？
• RQ2 非構造的探索問題を、高次元の巡回群状態空間から低次元部分空間へ効率的に還元できるか？
• RQ3 直接的な振幅増幅や測定を伴わずに、マークド状態をどのように特徴づけ、操作できるか？
• RQ4 特に、小さな部分群の積として表現される場合に、巡回群の対称的構造が、どのように効率的量子探索を可能にするか？
• RQ5 現実的な量子回路において、状態ロックパルスを用いた停止プロトコルを備えたユニタリ量子プログラムを実装するのは現実的か？

主な発見

• 群が非常に対称的である、すなわち多数の小さな巡回部分群の積である場合、次元pの巡回群状態空間における量子探索問題は、次元 ~O(log p) の部分空間に効率的に還元可能である。
• 群構造に結びついたダイナミクスパラメータを用いてマークド状態をパrameter化することで、振幅増幅を回避し、未知状態を直接操作可能となる。
• 理論的解析により、これらの低次元部分空間は非常に小さく、任意の量子探索問題が効率的に解けることが示された。
• 単一の基底状態入力で、理想の汎用量子コンピュータ上で、状態ロックパルスを備えたユニタリ量子プログラムを設計可能である。
• 2準位制御部分空間と連続的パルスを活用した量子回路設計により、停止プロトコルをエミュレート可能であり、実験的制限が存在するものの実用的実装可能性を示唆する。
• 中国剰余定理により、部分空間間の構造的関係が得られ、部分群間でマークド状態の効率的分解と再構成が可能となる。