5.量子回路の自動設計手法(<特集>量子コンピュータと量子計算)
スポンサーリンク
概要
- 論文の詳細を見る
現在のコンピュータの演算は,AND,OR,NOTなどの基本演算を組み合わせることで実現できる.同様に,量子コンピュータでは,1量子ビットの演算と2量子ビットの演算を基本演算とし,これらを組み合わせることで,所望のn量子ビットの演算を実現できる.いま,量子コンピュータの基本演算を,現在のコンピュータの論理回路のように記号を用いて表すことにすると,与えられた演算を実現する基本演算の構成を示した図が量子回路である.入出力の量子ビットの状態をベクトルで表すと,量子コンピュータの演算は行列で表現することができる.n量子ビットの演算に対応する行列の大きさは2^n×2^nである.基本演算は,2×2(1量子ビットの演算),または4×4(2量子ビットの演算)の行列で表現できる.したがって,n量子ビットの演算は,基本演算に対応する行列の積で書くことができる.本稿では,この行列表現を用いて,与えられたn量子ビットの演算(2^n×2^n行列)から量子回路を自動設計する手法を紹介する.量子回路は,量子コンピュータ上の実行命令の系列に対応しているので,本手法は,言い換えれば,量子コンピュータの演算を実行命令の系列に自動翻訳する手法である.利用する技術は行列の特異値分解である.
- 2006-12-15
著者
-
関川 浩
日本電信電話株式会社 NTTコミュニケーション科学基礎研究所
-
関川 浩
NTTコミュニケーション科学基礎研究所
-
河野 泰人
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
中島 裕美
日本電信電話(株)nttコミュニケーション科学基礎研究所
-
河野 泰人
Nttコミュニケーション科学基礎研究所
-
河野 泰人
日本電信電話(株)nttコミュニケーション科学基礎研究所
関連論文
- 数式処理と数値計算の融合
- 係数に誤差を持つ多項式同士の整除性判定
- 係数に誤差を含む多項式同士の整除性判定 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- IMACS-ACA'99の参加報告
- 5.量子回路の自動設計手法(量子コンピュータと量子計算)
- 円に関する人間らしい初等幾何証明を生成するための推論方法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 人間らしい初等幾何証明における角の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 初等幾何の自動証明における効率的な補助線の発見法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 初等幾何における読みやすい証明の生成手法について (Computer Algebra : Algorithms, Implementations and Applications)
- スピンの交換だけを用いた量子コンピュータにおける厳密なCNOTの存在
- 名作詰将棋における感性の定量的評価
- 安定化理論に基づくlog methodについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 安定化理論に基づくInterval Trace Liftingについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- PARTHENONにおける最新の論理合成機能
- Decoherence-free subspaceにおける量子ゲートについて
- ISO/IEC MPEG-4 Audio Lossless Coding (ALS)におけるIEEE754浮動小数点信号の可逆符号化(国際標準に向けたテレコム技術とその効用論文)
- 非常に手数の長い詰将棋問題を解くアルゴリズムについて
- 詰将棋を解くプログラムの進歩 (「ゲームプログラミング」)
- 編集にあたって(量子コンピュータと量子計算)
- 詰将棋 (ゲ-ムプログラミング) -- (第3章 パズル)
- 詰将棋問題のデータベースと評価
- 詰将棋の感性評価
- 係数に誤差のある連立代数方程式の可解性について (第19回日本数式処理学会大会報告)
- 与えられた実閉区間に重複零点を持つ最近実多項式
- 安定化理論に基づくグレブナ基底変換法
- 研究と開発
- 安定化理論における台収束の応用について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- とびらの言葉
- 実区間多項式の実重複零点の所在について
- 区間多項式の零点の所在について(数値計算,数理計画法)
- 11th International Conference on Applications of Computer Algebra(ACA' 2005)
- 実区間多項式の零点の所在について
- 近似計算を用いた代数的数のゼロ判定法
- 前提条件
- 新しい科学技術計算方式--数値計算と数式処理の融合 (特集論文1 情報科学研究の最前線--より安全で快適な情報処理技術を目指して) -- (大規模で高速な処理のために)
- 有理演算による実対称行列の三重対角化 (数式処理における理論と応用の研究)
- アルゴリズム自動安定化プロトタイプシステム
- 数式処理から見た行列の数値計算アルゴリズム (数式処理における理論と応用の研究)
- アルゴリズム自動安定化システムの構築に向けて
- 浮動小数点計算を用いた代数的数の符号判定(数式処理における理論と応用の研究)
- $\mathit{p}$進近似を利用した代数的数の取り扱い(数式処理における理論と応用の研究)
- 区間演算と Mahler の measure を用いた代数的数のゼロ判定
- ゼ口書換えに基づいた区間法とSturmのアルゴリズムへの応用
- 拡張された Mahler の measure による代数的数のゼロ判定(数式処理における理論と応用の研究)
- 近似計算による代数的数の符号判定について(数式処理における理論とその応用の研究)
- Diophantine近似グレブナ基底の計算(数式処理における理論とその応用の研究)
- 係数に誤差のある連立代数方程式の可解性について
- 安定化理論に基づくISCZ法の有効性について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 安定化理論に基づくISCZ 法の凸包構成への応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)