| 研究領域 | データ記述科学の創出と諸分野への横断的展開 |
|---|
| 研究課題/領域番号 |
22H05107
|
|---|
| 研究種目 |
学術変革領域研究(A)
|
| 配分区分 | 補助金 |
|---|
| 審査区分 |
学術変革領域研究区分(Ⅱ)
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
平岡 裕章 京都大学, 高等研究院, 教授 (10432709)
|
|---|
| 研究分担者 |
石井 豊 九州大学, 数理学研究院, 教授 (20304727)
池 祐一 東京大学, 大学院数理科学研究科, 准教授 (50850400)
落合 啓之 九州大学, マス・フォア・インダストリ研究所, 教授 (90214163)
|
|---|
| 研究期間 (年度) |
2022-06-16 – 2027-03-31
|
| 研究課題ステータス |
交付 (2025年度)
|
| 配分額 *注記 |
160,550千円 (直接経費: 123,500千円、間接経費: 37,050千円)
2025年度: 34,320千円 (直接経費: 26,400千円、間接経費: 7,920千円)
2024年度: 34,060千円 (直接経費: 26,200千円、間接経費: 7,860千円)
2023年度: 33,410千円 (直接経費: 25,700千円、間接経費: 7,710千円)
2022年度: 24,050千円 (直接経費: 18,500千円、間接経費: 5,550千円)
|
|---|
| キーワード | パーシステントホモロジー / D加群 / 層理論 / 高次元可視化 / 表現論 / 結晶基底 / 力学系 / マグニチュードホモロジー / バーチャルリアリティ / 代数解析 |
|---|
| 研究開始時の研究の概要 |
現代社会に氾濫する高次元データは，その構造を直接「見る」ことができない．低次元空間への射影や断面を用いる従来法からは，構造の直感的理解を得ることは難しく，さらには幾何・トポロジー構造が潰されたものになる問題点もある．そこで本研究では，高次元データを直感的に知覚できるデータ記述子の開発を目標に据えた，以下の３テーマを実施する．
テーマ１：バーチャルリアリティ（VR）を用いたインタラクティブな高次元可視化の数理
テーマ２：パーシステントホモロジーの代数解析・代数幾何的研究とその応用
テーマ３：マグニチュードホモロジーの自然言語処理・オミックスデータ解析への応用
|
| 研究実績の概要 |
本計画班では高次元データを直感的に知覚できるデータ記述子の開発を目標に据えた３テーマを実施している。それぞれのテーマごとに実績概要をまとめる。
テーマ１（バーチャル・リアリティ（VR）を用いたインタラクティブな高次元可視化の数理）：今年度は材料科学班の木村と共同して我々が開発を進めている高次元可視化ツールを、バッテリーなどの材料科学における鉱物反応現象の特異性の可視化を行なう研究に応用した。また４次元空間の可視化の数学的研究としてはThomas Richards と石井が中心となり複素２次多項式族のホースシュー領域におけるモノドロミー問題を考察した。
テーマ２（パーシステントホモロジーの代数解析・代数幾何的研究とその応用）：期間前半にD加群と代数群に関する先行研究の調査を行ったのち、柏原らによって導入された結晶理論のマルチパラメータ・パーシステントホモロジーへの応用について研究を実施した。一般のkパラメータ格子上のパーシステントホモロジーについては結晶構造が導入できることが証明できた。層の導来圏に入るインターリービング距離の完備性，およびラグランジュコボルディズム距離との間の不等式を証明し，それらをシンプレクティック幾何学に応用した．また，点群のパーシステントホモロジーを計算する際のフィルトレーションを学習する構造を開発した．
テーマ３（マグニチュードホモロジーの自然言語処理・オミックスデータ解析への応用）：機械学習で用いられているグラフ埋め込み法ではトポロジカルな構造が正確に保たれないことをいくつかの数値実験によって指摘し、それを改善する方法としてTopological node2vecを提案した。その際、最適輸送理論をパーシステント図に適用するために必要となるトポロジカル正則化に関するいくつかの定理を証明することに成功した。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
1: 当初の計画以上に進展している
理由
これまでの研究進捗状況は極めて順調であり、当初の予定を超える成果が得られると同時に、予想していない新たな方向性を見出すことにも成功している。
テーマ１：木村と城戸らによって得られた材料科学に現れる反応現象データを、五十嵐が中心となって virtual reality を用いて高次元可視化した。これによって、今までとは全く異なる視点からデータ特性の理解が可能になった。高次元可視化の数学的研究では２次多項式族のホースシュー領域において「擬モノドロミー」の概念を定式化し、その作用がマンデルブロー集合の特定の双曲成分によって記述できることを主張した。
テーマ２：従来の結晶理論ではpreprojective代数にたいしてその表現空間の既約成分が結晶基底を与える形で定式化されていた。我々のアイディアはこの既約分解を直既約分解より粗い分解論としてマルチパラメータ・パーシステントホモロジーの分解論として応用することである。そのための最初のステップとして可換関係式で定まる表現空間上に同様の結晶基底が導入できることが明らかになった。またEdelsbrunner氏によって提案されている6packsとcompressed multiplicityについての強弱関係を明らかにした。層理論に関しては、1次元的な層の導来インターリービング距離に関する理解が順調に進んでいると考えられる．また，機械学習モデルにパーシステントホモロジーの構造を組み込む方針でも成果が得られた．
テーマ３：Topological node2vecに関しては理論、アルゴリズム、実装に関して完成し現在論文を投稿中である。
|
| 今後の研究の推進方策 |
テーマ１：材料科学についての共同研究では、時間軸とエネルギー軸を同時に取り込んだ可視化を行って、破壊現象のトリガー・サイトの特定に繋げたい。ただそのためには改めて現象データを一から採取し直す必要があり、その計画について議論を進める予定である。高次元可視化の数学的研究については、上述の主張の完全な数学的証明を完成させることを目指す。
テーマ２：マルチパラメータ・パーシステントホモロジーの結晶構造に関しては、結晶の存在証明の細部を詰めることに取り掛かる。さらに既約成分分解に関する安定性定理、および具体的な分解の計算方法についても検討を開始する。また多次元パーシステンス加群と層の関わりについて研究を行う。特に、クイバー表現によるアプローチと比べて層を用いるアプローチの優位な部分を明らかにしたい。
テーマ３：Topological node2vecに関する今回の提案手法ではグラフの埋め込みについて扱っていたが、同様のアイディアで単体複体版が構成できると考えている。この方向性で理論の定式化に努める。さらに生物学のエピゲノムに関する構造情報としてHi-Cデータが近年注目されているが、このデータはゲノムの小領域間の距離行列を定めているとみなすことができる。よってグラフ埋め込みによって３次元構造を再構成することが原理的には可能である。そこで我々が開発したtopological node2vecをHi-Cデータに適用することで、エピゲノムと遺伝子発現に関する制御関係を空間構造から明らかにする研究を実施する。
|
