[論文レビュー] Targeted Fibonacci Exponentiation

Burton S. Kaliski|arXiv (Cornell University)|Nov 5, 2017

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

ひとこと要約

本稿では、最小限のアーキテクチャqubitを用いて可逆な量子回路で$ a^k $を計算する3つのターゲット型フィボナッチ累乗アルゴリズムを提示する。最終状態では、$ a^k $と固定されたゴミ値のみが残り、中間値とのもつれを回避する。フィボナッチ加法的鎖とホフスタッターGペアアルゴリズムの新規変種を活用することで、レジスタ使用量と反復回数を削減し、量子暗号解析用途における空間的・時間的効率のトレードオフを実現する。

ABSTRACT

A targeted exponentiation algorithm computes a group exponentiation operation $a^k$ with a reversible circuit in such a way that the initial state of the circuit consists of only the base $a$ and fixed values, and the final state consists of only the exponential $a^k$ and fixed values. Three targeted exponentiation algorithms based on Fibonacci addition chains are considered, offering tradeoffs in terms of the number of working registers and the number of iterations. The approaches also motivate related results on the Fibonacci Zeckendorf array, including a new \emph{modular Hofstadter G problem} and an improvement to Anderson's recent algorithm for locating pairs of adjacent integers in the extended Fibonacci Zeckendorf array. The algorithms have applications in quantum computing.

研究の動機と目的

• 最終状態で$ a^k $と固定されたアーキテクチャqubit値のみが残り、中間値ともつれを生じさせない可逆な量子回路を設計すること。
• 2進表現の代わりにフィボナッチ加法的鎖を活用することで、量子累乗における作業qubit数と反復回数を削減すること。
• 基数$ a $が変動するか、計算中に動的に生成される状況において、重ね合わせ状態での効率的累乗を可能にすること。
• 拡張フィボナッチ・ゼッケンドルフ配列における隣接ペアの特定に向けた既存のアルゴリズムを改善し、新たなモジュラー・ホフスタッターG問題を解くこと。
• 特に群累乗を含むショアアルゴリズムの変種に関連する量子暗号解析に向けた実用的で最適化されたツールを提供すること。

提案手法

• フィボナッチ加法的鎖を用いて、$ (a, b) \mapsto (b, ab) $を実現する可逆回路を構築し、可逆性を保ちつつアーキテクチャqubitを最小限に抑える。
• 低から高へのフィボナッチ累乗アルゴリズムを基本的手法とし、状態遷移が$ a^{F_i} $の累乗を追跡する。
• 2つの鎖を並列に処理する「デュアル」アプローチを導入し、レジスタ効率を向上させるが、反復回数が増加する。
• 高から低へのホフスタッターGペア累乗と低から高へのフィボナッチ累乗を組み合わせたハイブリッド手法を構築し、qubit数と反復回数のコストをバランスさせる。
• フィボナッチ・ゼッケンドルフ配列における隣接フィボナッチペアの効率的計算を可能にする、新たなモジュラー・ホフスタッターG問題の解決法を適用する。
• アンドリュースのアルゴリズムを改善し、拡張フィボナッチ・ゼッケンドルフ配列における隣接整数ペアの特定を効率化する。

実験結果

リサーチクエスチョン

• RQ1 フィボナッチベースの累乗を、中間値とのもつれを生じさせず、$ a^k $と固定されたアーキテクチャqubitのみが残るようにターゲット化できるか？
• RQ2 ターゲット型フィボナッチ累乗において、作業レジスタ数と反復回数の間にはどのようなトレードオフが存在するか？
• RQ3 ホフスタッターGペア累乗アルゴリズムを、ターゲット型量子累乗回路に適応できるか？
• RQ4 ゼッケンドルフ表現やフィボナッチ配列の性質を活用することで、量子累乗の効率を向上させられるか？
• RQ5 ターゲット型累乗における最小のqubit数と反復回数の要件は何か？また、下界を確立できるか？

主な発見

• 基本的なフィボナッチ累乗アルゴリズムは3つの作業レジスタを用い、$ 3h $回の反復を要する。ここで$ h = \lceil \log_\phi r \rceil $である。
• デュアルアプローチは4つのレジスタを用い、$ 4h $回の反復を要する。これにより、より良好なレジスタ効率が達成されるが、反復回数が増加する。
• ハイブリッド手法は3つのレジスタを用い、$ 3h $回の反復を要する。これにより、空間的・時間的コストのバランスの取れたトレードオフが実現される。
• 本稿では新たなモジュラー・ホフスタッターG問題を導入し、その解決法を提供することで、フィボナッチ・ゼッケンドルフ配列における効率的計算を可能にする。
• 拡張フィボナッチ・ゼッケンドルフ配列における隣接整数ペアの特定を効率化する、改善されたアルゴリズムが提示された。
• ターゲット型累乗フレームワークにより、量子回路におけるクリーンな重ね合わせベースの累乗が可能となり、ショアアルゴリズムにおける固有状態の変換などの応用にとって不可欠である。