研究課題/領域番号 |
20K03646
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分12010:基礎解析学関連
|
研究機関 | 防衛大学校(総合教育学群、人文社会科学群、応用科学群、電気情報学群及びシステム工学群) |
研究代表者 |
瀬戸 道生 防衛大学校(総合教育学群、人文社会科学群、応用科学群、電気情報学群及びシステム工学群), 総合教育学群, 教授 (30398953)
|
研究分担者 |
谷口 哲至 広島工業大学, 工学部, 准教授 (90543728)
細川 卓也 茨城大学, 理工学研究科(工学野), 准教授 (90553579)
阿部 敏一 茨城大学, 理工学研究科(工学野), 講師 (40749157)
|
研究期間 (年度) |
2020-04-01 – 2024-03-31
|
研究課題ステータス |
交付 (2022年度)
|
配分額 *注記 |
2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
2023年度: 520千円 (直接経費: 400千円、間接経費: 120千円)
2022年度: 520千円 (直接経費: 400千円、間接経費: 120千円)
2021年度: 520千円 (直接経費: 400千円、間接経費: 120千円)
2020年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
キーワード | 関数解析 / グラフ理論 / 機械学習 / グラフ / 再生核ヒルベルト空間 / グラフ自己同型群 / ユニタリ表現 |
研究開始時の研究の概要 |
本研究では時間とともに増大するグラフの族を扱う。例えば、時間とともに大きくなるネットワークはその例である。研究代表者はこの設定に関数解析学の道具を持ち込み、その応用として、これまでにグラフの性質に関する不等式を複数得ている。さらに興味深いことに、そこで得られた結論にはグラフの有する対称性が自然に組み込まれていることに気づいた。これが本研究課題着想のきっかけである。そこで、本研究の目的は時間とともに増大するグラフの対称性を関数解析学の言葉で捉え、さらにそれを機械学習に応用することである。
|
研究実績の概要 |
1. グラフの包含から構成される de Branges-Rovnyak 空間とグラフの自己同型群との関係を調べた。特に、グラフの自己同型群に対し、一種の分離性を導入する必要があることに気づいた。その分離性をみたすグラフの例の探索をグラフ理論の専門家で研究分担者である谷口氏(広工大)と共同で進めた。
2. 制御理論の専門家で研究協力者である伊吹氏(明治大)、山内氏(東京大)、畑中氏(東工大)との共著「機械学習のための関数解析入門 カーネル法実践:学習から制御まで」が内田老鶴圃から令和5年5月末に発刊予定である。これにより、本研究の応用部門から発展したプロジェクトを完遂したことになる。
3. 1と2の研究の途中で、カーネル関数の構成法について、フォック空間のテンソル代数構造が利用できることに気づいた。このアイデアの応用として、有限生成な自由群上の語距離、単位開円板上の擬双曲距離から構成される指数関数型のカーネル関数に対し、それらが狭義正定値であることを示した。さらに、その副産物として、ガウス型カーネル関数に対する普遍近似定理の比較的簡単な新しい証明が得られた。それらを論文 ``An unbounded approach to the theory of kernel functions" としてまとめ、専門誌に投稿、現在査読中である。また、京都大学数理解析研究所にて研究集会「再生核ヒルベルト空間を中心とした実解析・複素解析・函数解析の総合的研究」を澤野氏(中央大)と共同で主催し、上記論文の内容の一部を報告した。なお、この研究集会には、海外から Deepak 氏 (Indian Statistical Institute Bangalore Centre) の参加があり、この機会を利用して共同研究を行った。
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
関数解析、機械学習に関する論文、書籍を出版することはできたが、本研究課題の主題であるグラフの構造に関する論文は執筆できなかった。以上を総合して「やや遅れている」と判断する。
|
今後の研究の推進方策 |
グラフの包含から構成される de Branges-Rovnyak 空間とグラフの自己同型群に対し、一種の分離性を導入したが、この性質をみたすグラフの包含を探す。
|