| 研究課題/領域番号 |
23K03220
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分12040:応用数学および統計数学関連
|
|---|
| 研究機関 | 日本大学 |
|---|
研究代表者 |
町田 拓也 日本大学, 生産工学部, 准教授 (20637144)
|
|---|
| 研究期間 (年度) |
2023-04-01 – 2026-03-31
|
| 研究課題ステータス |
交付 (2024年度)
|
| 配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2025年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2024年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2023年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
|
|---|
| キーワード | 量子ウォーク / 極限定理 / ワイル方程式 |
|---|
| 研究開始時の研究の概要 |
量子ウォークは、数学、物理学、量子情報など、複数の分野で研究されてきた。特に、コンピュータサイエンスの分野では、量子コンピュータの基礎研究として、量子アルゴリズムへの応用研究が活発に行われている。この研究課題では、コンピュータによる数値計算と数学的な解析方法を用いた理論計算によって、量子物理学の基礎方程式のひとつであるワイル（Weyl）方程式のハミルトニアンによって時間発展が行われる量子ウォークを研究する。
|
| 研究実績の概要 |
令和6年度は、論文1本(単著)の出版と国内招待講演2件の研究発表を行った。論文は量子情報系の国際雑誌Quantum Information Processingから出版された（Takuya Machida, Phase transition of a continuous-time quantum walk on the half line, Quantum Information Processing, Vol.23, 243 (2024)）。半直線上で定義される連続時間量子ウォークを、空間的に2周期で変化するハミルトニアンで時間発展させたときに、ハミルトニアンのパラメータ値によって、量子ウォーカーの空間分布（確率分布）に局在化・非局在化の相転移が生じることを明らかにした。ラプラス変換を用いて量子ウォークの確率分布に対する長時間極限定理を導出することで、相転移現象を発見することができた。国内招待講演では、令和6年6月6日に立命館大学理工学部数理科学科で開催された「Math-Fi seminar (Co-organized as a Quantum Walk Seminar)」において、『量子ウォークの長時間極限分布からわかる量子ウォークの奇妙な性質』という講演タイトルのもと、量子ウォークの研究分野でこれまでに得られている極限定理について自身の研究成果も含めて発表した。また、令和7年2月21日に北海道大学理学部数学科で開催された「数理科学セミナー」では、『半直線上の連続時間量子ウォークの相転移現象』という講演タイトルのもと、半直線上で定義される連続時間量子ウォークの極限定理について自身の研究成果を発表した。また、令和6年8月にカリフォルニア大学バークレー校の数学科を訪問して、F. Grunbaum Alberto教授と量子ウォークについて議論を行った。
|
| 現在までの達成度 |
現在までの達成度
2: おおむね順調に進展している
理由
半直線上のある連続時間量子ウォークにおいて、量子ウォーカーが端点から出発する場合に対して、長時間極限定理を導出した。量子ウォークの確率振幅を時間発展させるために用いられるハミルトニアンは、2つのパラメータで定められる。量子ウォーカーの空間分布（確率分布）に対する長時間極限定理をラプラス変換によって導出することで、長時間後の確率分布に局在化・非局在化の相転移現象が生じることを証明した。研究成果は、長時間極限定理の妥当性を裏づける数値解析結果とともに論文にまとめて、量子情報を専門とする国際雑誌に投稿した。論文は受理され、令和6年6月に同雑誌から出版された。また、招待講演にて量子ウォークの専門家だけでなく、量子ウォークを専門としない数学者に対しても研究成果を発表した。国際的な研究活動として、計画していたカリフォルニア大学バークレー校を訪問して、数学科の教授に量子ウォークの研究進捗状況を報告して、研究を深化させるための議論を行った。研究はおおむね順調に進展していると言える。
|
| 今後の研究の推進方策 |
今後は、引き続きワイル方程式に基づく量子ウォークの新しい性質を明らかにするために、理論と計算機を併用して、モデルの構築とその数理構造を研究していく。数学的な研究だけではなく、量子ウォークの背景にある、意味のある量子物理学のモデルも考慮してモデルを構築するために、物理学の文献も調査しつつ研究を進めていく。数値計算は、コンピューターのプログラミングあるいは数式ソフトウェアの利用により実行する。離散時間モデル、連続時間モデルの両方に対し、ワイルハミルトニアンから構成される作用素で時間発展が行われるような量子ウォークモデルを構築して、量子ウォーカーの確率分布に対する解析を進めていく予定である。数値計算により興味深い性質を発見できた場合、フーリエ解析やラプラス変換を用いて長時間極限定理を導出することを目標として、理論計算を行う。本研究を円滑に進めるためにアドバイスが必要な場合、量子ウォークや量子物理学の専門家と議論を行う。研究進捗状況や成果は、国内外の研究集会に参加して発表する。得られた結果は、論文にまとめて国際雑誌に投稿する。同時に、ホームページ上で周知するなどして発信する。
|
