| 講演名 | 2014/1/23 ペトリネットを用いた量子回路のモデル化と解析 村主 健太, 太田 淳, 辻 孝吉, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 量子コンピュータは,Shorの因数分解アルゴリズムによって従来のコンピュータより高速な計算が可能であることが示され,注目されるようになった.量子コンピュータは量子ゲートと呼ばれる基本演算子の組み合わせである量子回路によって実現され,量子回路は,量子状態をベクトル,量子状態の時間発展(作用素)を行列とした数理モデルで表現することができる.しかしながら,この数理モデルで扱う行列の構造は複雑であり,数理モデルのみで設計を行うのは困難である.そこで本論文では,ペトリネットを拡張することで量子回路を表現することのできる新たなモデル(QCPN)を提案し,数理モデルとの相互変換のアルゴリズムの導出およびその正当性を証明する. |
| 抄録(英) | Quantum computers came to attention since the Shor's algorithm showed that they have the computing power superior to conventional computers. The operations of quantum computers are performed by quantum circuits that consist of the combination of quantum gates and can be described as a mathematical model. However, designing quantum circuits based only on this model is very difficult because of its complexity. So in this paper, we define a new model (called QCPN), that can describe quantum circuits and transition of its states, by extending the Petri Nets. In addition, we derive an algorithm to do interconversion between QCPN and conventional mathematical model of quantum circuits, and finally prove its validity. |
| キーワード(和) | 量子コンピュータ / 量子回路 / ペトリネット |
| キーワード(英) | Quantum computers / Quantum circuits / Petri Nets |
| 資料番号 | SS2013-57,MSS2013-60 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2014/1/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ペトリネットを用いた量子回路のモデル化と解析 |
| サブタイトル（和） | |
| タイトル（英） | Modeling and Analysis of Quantum Circuits by using Extended Petri Nets |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 量子コンピュータ / Quantum computers |
| キーワード(2)（和/英） | 量子回路 / Quantum circuits |
| キーワード(3)（和/英） | ペトリネット / Petri Nets |
| 第 1 著者 氏名（和/英） | 村主 健太 / KENTA MURANUSHI |
| 第 1 著者 所属（和/英） | 愛知県立大学大学院情報科学研究科 Graduate School of Information Science and Technology, Aichi Prefectural University |
| 第 2 著者 氏名（和/英） | 太田 淳 / ATSUSHI OHTA |
| 第 2 著者 所属（和/英） | 愛知県立大学情報科学部 Faculty of Information Science and Technology, Aichi Prefectural University |
| 第 3 著者 氏名（和/英） | 辻 孝吉 / KOHKICHI TSUJI |
| 第 3 著者 所属（和/英） | 愛知県立大学情報科学部 Faculty of Information Science and Technology, Aichi Prefectural University |
| 発表年月日 | 2014/1/23 |
| 資料番号 | SS2013-57,MSS2013-60 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 422 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |