[論文レビュー] Quantum k-means algorithm based on Trusted server in Quantum Cloud Computing

Changqing Gong, Dong Zhao-yang+2 more|arXiv (Cornell University)|Nov 9, 2020

Quantum Computing Algorithms and Architecture参考文献 17被引用数 4

ひとこと要約

この論文は、量子クラウドコンピューティングにおける信頼できるサーバー支援型の量子k-meansアルゴリズムを提案しており、計算負荷の高いサブルーチン（特に$ ext{SwapTest}$および$ ext{GroverOptim}$）をクラウドに外部委託するために、量子同型暗号（QHE）を活用している。信頼できるサーバーが複雑な$T$-ゲート鍵の更新を管理することで、クライアントの計算負荷が軽減され、時間計算量は$O(Mnkt)$から$O(M\log(n)\sqrt{k}t)$に削減される。同時に、量子ワンタイムパッド（QOTP）を用いた暗号化により、セキュリティが維持されている。

ABSTRACT

We propose a quantum k-means algorithm based on quantum cloud computing that effectively solves the problem that the client can not afford to execute the same quantum subroutine repeatedly in the face of large training samples. In the quantum k-means algorithm, the core subroutine is the Quantum minimization algorithm (GroverOptim), the client needs to repeat several Grover searches to find the minimum value in each iteration to find a new clustering center, so we use quantum homomorphic encryption scheme (QHE) to encrypt the data and upload it to the cloud for computing. After calculation, the server returns the calculation result to the client. The client uses the key to decrypt to get the plaintext result. It reduces the computing pressure for the client to repeat the same operation. In addition, when executing in the cloud, the key update of T-gate in the server is inevitable and complex. Therefore, this paper also proposes a T-gate update scheme based on trusted server in quantum ciphertext environment. In this scheme, the server is divided into trusted server and semi-trusted server. The semi-trusted server completes the calculation operation, and when the T-gate is executed in the circuit, the trusted server assists the semi-trusted server to calculate the T-gate, and then randomly generates a key and uploads it to the semi-trusted server. The trusted server assists the client to complete the key update operation, which once again reduces the pressure on the client and improves the efficiency of the quantum homomorphic encryption scheme. And on the basis of this scheme, the experiment is given by using IBM Qiskit to give the subroutine of quantum k-means. The experimental results show that the scheme can realize the corresponding computing function on the premise of ensuring security.

研究の動機と目的

• 大規模なトレーニングデータセットを用いた量子k-meansにおいて、繰り返し実行される$\text{GroverOptim}$によるクライントの高い計算負荷を軽減すること。
• データ機密性を保ちながら、量子機械学習サブルーチンをクラウドに安全に外部委託すること。
• 量子同型暗号操作における$T$-ゲート鍵の更新管理におけるクライントの複雑さを軽減すること。
• 効率性とセキュリティを向上させるために、ハイブリッド型の信頼できる／準信頼できるサーバー・モデルを設計すること。
• IBM Qiskitを用いた量子回路シミュレーションを通じて、提案手法の実現可能性と正しさを検証すること。

提案手法

• 量子ワンタイムパッド（QOTP）に基づく量子同型暗号（QHE）方式を用いて、量子状態データを暗号化し、クラウドでの安全な計算を実現する。
• 半信頼性の量子クラウドサーバーに、$\text{SwapTest}$および$\text{GroverOptim}$サブルーチンの実行を外部委託する。
• 信頼できるサーバーを導入し、$T$-ゲート鍵の更新を支援することで、クライントの役割を鍵管理および復号に限定する。
• 量子回路を信頼できる部分と準信頼できる部分に分解し、信頼できるサーバーが$T$-ゲート操作と鍵の更新を処理する。
• IBM Qiskitを用いて、類似度テストと暗号化領域内での最小値の取得を含む、完全な量子k-meansパイプラインを実装・シミュレーションする。
• ノイジーな量子環境におけるデコherenceに起因する誤りを軽減するために、振幅増幅と繰り返し実行を適用する。

実験結果

リサーチクエスチョン

• RQ1 クライントがデータプライバシーを損なうことなく、大規模なトレーニングデータセットを用いた量子k-meansにおいて、繰り返し実行される$\text{GroverOptim}$を安全に外部委託する方法は何か？
• RQ2 量子同型暗号フレームワーク内において、信頼できるサーバーが$T$-ゲート鍵の更新操作を簡素化する役割を果たす仕組みは何か？
• RQ3 提案手法は、ネイティブ実行と比較して、クライント側の計算負荷をどの程度軽減できるか？
• RQ4 実際の量子デバイスにおけるノイズとデコherenceは、$\text{GroverOptim}$や$\text{SwapTest}$のような外部委託された量子サブルーチンの正確性にどのように影響を与えるか？
• RQ5 提案されたQHEベースの信頼できるサーバー・モデルは、複雑で繰り返しの多い操作を要する他の量子機械学習アルゴリズムへ一般化可能か？

主な発見

• 提案手法により、量子k-meansの時間計算量は$O(Mnkt)$から$O(M\log(n)\sqrt{k}t)$に削減され、スケーラビリティが顕著に向上した。
• 信頼できるサーバーによる$T$-ゲート鍵の更新により、クライント側の複雑さが軽減され、量子同型暗号の効率性が向上した。
• IBM Qiskitを用いた実験的結果により、暗号化領域内での$\text{SwapTest}$および$\text{GroverOptim}$の正しく動作することが確認され、期待される量子状態が高確率で得られた。
• 実際の量子デバイスにおけるノイズとデコherenceは、状態の劣化やビット反転を引き起こし、出力状態の確率分布のずれや精度の低下をもたらした。
• 振幅増幅と複数回の実行により誤りの影響が緩和され、適切な繰り返しを施せば、ノイズ下でも手法が堅牢であることが示された。
• QOTPに基づくQHEモデル下で、提案手法は安全であり、複雑で繰り返しの多い操作を要するその他の委託型量子計算タスクへも適用可能である。