• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2013 年度 実施状況報告書

代数問題に対する量子アルゴリズムの新展開とその応用

研究課題

研究課題/領域番号 24700005
研究機関東京大学

研究代表者

ルガル フランソワ  東京大学, 情報理工学(系)研究科, 准教授 (50584299)

キーワード量子アルゴリズム / 代数問題
研究概要

本研究の目的は、代数問題を解くための新しいアプローチを開発することである。25年度は以下の3つの柱でこの研究を推進し、成果をあげた。
(1) 行列積に対する量子アルゴリズムの研究:今まで主に実数行列など環上の行列を扱ってきたのに対し、25年度はグラフの距離行列など一般の半環上の行列にも着目し、従来のアルゴリズムより高速な量子アルゴリズムをこの枠組みでも構築することに成功した。そして、この成果の応用にも着目し、全点対最短経路問題をはじめとする様々なグラフ問題に対して既存のアルゴリズムより速いアルゴリズムを構築することも可能にした。
(2) 正方形行列積に対する古典アルゴリズム:24年度の長方形行列積の研究を通じて獲得した知見を活かし、正方形行列積の研究を推進した。正方形行列積を計算する問題は、数学や計算機科学において極めて重要な問題であり、広く研究されてきた。ここで、量子計算に触発された新しいアプローチを提案し、体上の正方形行列の積を従来の方法より高速に求める古典アルゴリズムの構築に成功した。
(3) 量子対話型証明系の計算量の究明:量子プロトコルの中で代数的な要素を特に備えている量子対話型証明系というプロトコルに関する研究を推進した。この枠組みで、検証者が証明者と量子資源(量子もつれ状態)を共有することも可能としたモデル「一般化量子 Arthur-Merlin 証明」を定義し、そのモデルの様々な性質を明らかにすることに成功し、その量子プロトコルの計算能力の上限と下限を求めた。

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

25年度の目標にしていた(1)半環上の行列の積を計算する量子アルゴリズムの研究と(2)体上の正方形行列の積を計算する古典アルゴリズムの研究は計画通りに進んでおり、この二つの項目に関して従来のアルゴリズムより高速なアルゴリズムを構築することに成功した。また、量子対話型証明系の計算量の究明に対する新しいアプローチの提示にも計画通りに成功している。よって26年度以降に目標としている他のグラフ理論と計算量理論の諸問題への応用に取り組むための準備が整えられたので、研究の推進は順調に進展していると考えられる。

今後の研究の推進方策

25年度に得られた成果に基づき、研究の対象を拡張していく。特に以下の3つの柱で研究を推進していく予定である。
(1) グラフ問題に対する量子アルゴリズムの研究:今まで様々な行列を効率良く計算する量子アルゴリズムを開発してきた。次はその量子アルゴリズムを(グラフの三角形発見問題など)グラフ理論の諸問題への適応を目指す。また、その代数的なアプローチの他に、量子ウォークという組み合わせ的な手法を用いたグラフ問題に対する量子アルゴリズの開発も目標とする。
(2) 正方形行列積に対する古典アルゴリズムの研究:25年度に提示したアプローチの拡張を行い、古典アルゴリズムの計算時間の更なる改良を目標とする。そのアプローチの限界も追究していく予定である。また、他の量子計算から触発された方法がないかも調べていく。
(3) 量子対話型証明系の計算量の究明:25年度に提案した量子対話型証明系の新しいモデルの計算能力を追究する。特に、様々な制限がそのモデルの計算能力にどう影響するかを究明する予定である。
なお、国内・国際会議で発表するなど、本研究課題で得られた成果を引き続き広く公開していく予定である。

次年度の研究費の使用計画

25年度は本研究の理論的な基礎に力を注ぎ、当初計画していた高機能の計算機の導入を次年度に変更した。
これまでに得られた成果を確実に拡大していくため、計算環境をより充実する必要があるので、高機能の計算機と数値計算ソフトウェアを導入する予定である。それで演算能力を最大の状態に整えて、グラフ問題や組み合わせ問題の代数的な構造を特定し、新しいアルゴリズムの構築を目指す。

  • 研究成果

    (6件)

すべて 2013 その他

すべて 雑誌論文 (2件) (うち査読あり 2件) 学会発表 (4件) (うち招待講演 2件)

  • [雑誌論文] Property Testing for Cyclic Groups and Beyond2013

    • 著者名/発表者名
      Francois Le Gall and Yuichi Yoshida
    • 雑誌名

      Journal of Combinatorial Optimization

      巻: 26 ページ: 636-654

    • DOI

      10.1007/s10878-011-9445-8

    • 査読あり
  • [雑誌論文] Quantum Weakly Nondeterministic Communication Complexity2013

    • 著者名/発表者名
      Francois Le Gall
    • 雑誌名

      Theoretical Computer Science

      巻: 486 ページ: 43-49

    • DOI

      10.1016/j.tcs.2012.12.015

    • 査読あり
  • [学会発表] Quantum Complexity of Matrix Multiplication

    • 著者名/発表者名
      Francois Le Gall
    • 学会等名
      Satellite Workshop of ICALP 2013 on Quantum and Classical Complexity
    • 発表場所
      Riga, Latvia
    • 招待講演
  • [学会発表] Quantum algorithms for matrix multiplication

    • 著者名/発表者名
      Francois Le Gall
    • 学会等名
      13th Asian Quantum Information Science Conference
    • 発表場所
      Chennai, India
    • 招待講演
  • [学会発表] Quantum Algorithms for Matrix Products over Semirings

    • 著者名/発表者名
      Francois Le Gall
    • 学会等名
      第28回量子情報技術研究会研究会
    • 発表場所
      北海道大学, 札幌
  • [学会発表] Quantum algorithms for finding constant-sized sub-hypergraphs over 3-uniform hypergraphs

    • 著者名/発表者名
      Francois Le Gall
    • 学会等名
      第29回量子情報技術研究会研究会資料
    • 発表場所
      早稲田大学, 東京

URL: 

公開日: 2015-05-28  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi