Project/Area Number |
19K11816
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 60010:Theory of informatics-related
|
Research Institution | Yamagata University |
Principal Investigator |
中西 正樹 山形大学, 地域教育文化学部, 教授 (40324967)
|
Project Period (FY) |
2019-04-01 – 2024-03-31
|
Project Status |
Granted (Fiscal Year 2022)
|
Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2022: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2021: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2020: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2019: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
Keywords | 量子コンピュータ / 量子アルゴリズム / 量子オートマトン / GPGPU / マージ処理 / 量子コンピュータシミュレータ |
Outline of Research at the Start |
量子計算機は従来の計算機(古典計算機)では成し得ない高速化を達成できる場合がある.その一方で,量子計算機の実現には技術的に困難な点も多く,実用規模の量子計算機が実現した初期の段階では,状態遷移やメモリの扱いに関して様々な制約が付くものと予想されている. これらのことを踏まえ,本研究では,実現初期段階の量子計算機に課されるさまざまな制約を想定し,その制約を克服する手法を考案した上で,量子計算機が古典計算機に比べて優位性があることを示すことを目的とする.また,それと同時に,実現初期の量子計算機を対象とした量子アルゴリズムの開発を行う.
|
Outline of Annual Research Achievements |
量子計算機は従来の計算機(古典計算機)とは異なり,量子力学に基づく動作をする。したがって,量子アルゴリズムは従来のアルゴリズムとは根本から異なるものであり,それゆえ従来のアルゴリズムでは成し得ない高速化を達成できる。その一方で,量子計算機の実現には技術的に困難な点も多く,量子計算機が実現した初期の段階では,状態遷移やメモリの扱いに関して様々な制約が付くものと予想されている。本研究では,このような制約の下で,量子計算機がどの程度の能力を発揮するのかを,理論・実験の両面から解析することが目標である。 本年度は量子カウンタオートマトンに近い性質を持つaffineカウンタオートマトンについて,誤りのない計算を行う際に,言語の認識能力や必要となる状態数について,古典計算モデルよりも優れていることを示す等,affineカウンタオートマトンとその他のモデルの能力の比較を行った。 さらに,主に量子オートマトンのシミュレーションのための要素技術として,昨年度提案したGPGPU向け並列マージ処理の高速化手法の詳細な分析も行った。本手法はMergePathと呼ばれるマージ処理の分割法を応用したものであり,マージ処理を分割する際の粒度を粗くすることで,分割に要する処理時間を低減し,大域メモリのバンド幅を最大限活用できる。昨年度の成果を基に,追加実験による詳細な検証を行い,提案手法が有効に働く条件を調査した。 大規模な入力に対しては限界に近い性能を持つことをすでに確認していたが,従来手法と比較した場合の優位性も含め詳細な性能比較を行った。また,提案手法は,メモリ領域の確保を不要とすることにより,要素数の小さなマージに関しても,性能の劣化が少ないアルゴリズムであるという点についても示すことができた。
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
これまでに量子計算モデルやその亜種の理論的な解析に加え,量子コンピュータのシミュレーションのための要素技術の開発について,一定の成果を上げているため。
|
Strategy for Future Research Activity |
量子コンピュータシミュレータの改良,およびそれを用いた具体的な量子アルゴリズムの解析,さらには量子オートマトンの理論的解析について研究を行う。特に,昨年度および今年度に得られた理論的な知見は他の計算モデルにも拡張できる可能性があり,また,シミュレータの実装に関しても,さらなる性能向上の余地がある。これらの点を中心に研究を進める予定である。
|
Report
(4 results)
Research Products
(9 results)
-
-
-
-
-
-
[Journal Article] Exact Affine Counter Automata2022
Author(s)
Nakanishi Masaki, Khadiev Kamil, Prusis Krisjanis, Vihrovs Jevgenijs, Yakaryilmaz Abuzer
-
Journal Title
International Journal of Foundations of Computer Science
Volume: 33
Issue: 03n04
Pages: 349-370
DOI
Related Report
Peer Reviewed / Int'l Joint Research
-
-
-