| 研究課題/領域番号 |
20K14367
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分12040:応用数学および統計数学関連
|
|---|
| 研究機関 | 福知山公立大学 |
|---|
研究代表者 |
渡邉 扇之介 福知山公立大学, 情報学部, 准教授 (80735316)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2024-03-31
|
| 研究課題ステータス |
交付 (2022年度)
|
| 配分額 *注記 |
4,290千円 (直接経費: 3,300千円、間接経費: 990千円)
2023年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2022年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2021年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2020年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | Max-plus代数 / 量子ウォーク / 固有値 / 相関付きランダムウォーク / セルオートマトン / 交通流モデル / 固有ベクトル / 超離散系 / 有向グラフ |
|---|
| 研究開始時の研究の概要 |
本研究は，現在までに構築されてきた量子コンピュータの基礎理論の1つである量子ウォークの理論をmax-plus代数という特殊な代数の上で再構築し，そこで得られた結果がもたらす量子ウォークへの貢献を調べるというものである．Max-plus代数は，超離散化と呼ばれる手法を施すことで得られる代数系で，元の方程式等が持つ“極端な”性質を浮き彫りにすることが経験的に知られている．本研究はこの超離散化によって得られるmax-plus代数を用いて量子ウォークの本質に迫り，量子ウォークとmax-plus代数のどちらとも強い関係性を持つセルオートマトンやグラフ理論への応用を目指す．
|
| 研究実績の概要 |
これまでの研究成果として，量子ウォークモデルのmax-plus代数における類似物の構成を行った．ここでは，構成したmax-plus代数におけるモデルの時間発展を記述する行列の固有値が時間に関する保存量となっていることと，量子ウォークの各時刻における確率の総和が保存量になっていることを対応付けることで類似物であると呼んだ．
量子ウォークの時間発展を記述する行列はユニタリー行列であるが，max-plus代数においてはユニタリー性に対応する性質，特に直交性を議論することが困難である．そこで，2022年度ではmax-plus代数におけるベクトルの直交性に関する基礎理論の構築を目指した．結果として，max-plus代数における対称行列の異なる固有値に属する固有ベクトルが独立であり，さらに直交することを示した．本結果は現在国際論文誌に投稿中である．
また，2022年度はmax-plus代数における量子ウォークモデルの応用に関する研究をスタートした．着目したのは相関付きランダムウォークと呼ばれる，二項間の漸化式で記述されるランダムウォークを三項間の漸化式で時間発展するように一般化したもので，単純ではあるが量子性をもつ素朴な量子ウォークの１つとしても知られている．この相関付きランダムウォークのmax-plus代数における類似物を構成し，そのモデルがセルオートマトンとして解釈できることを示した．得られたセルオートマトンは通過する車の台数に応じて通行量に制約がかかる交通流モデルとなっていることについて議論した．この結果はJournal of difference equations and applicationsに掲載された．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
本研究はこれまでに３件の掲載済み論文で結果が発表されており，１件の査読中の論文もある．よって研究計画はおおむね順調に進展していると考える．
|
| 今後の研究の推進方策 |
量子ウォークとグラフ上のゼータ関数の関係のmax-plus類似の構築を目指す．グラフの隣接行列の行列式を用いた固有多項式と固有値やグラフの閉路を考えることが重要なグラフ上のゼータ関数への応用について，max-plus代数上の行列の固有値に関する基礎理論の準備はできたと考えている．グラフ上のゼータ関数に詳しい小山工業高等専門学校名誉教授の佐藤巌氏との研究打合せも予定できており，成果に結びつけることができるように尽力する．
|
