| 研究課題/領域番号 |
20J23039
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 国内 |
|---|
| 審査区分 |
小区分12030:数学基礎関連
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
湯山 孝雄 東京工業大学, 理学院, 特別研究員(DC1)
|
|---|
| 研究期間 (年度) |
2020-04-24 – 2023-03-31
|
| 研究課題ステータス |
完了 (2022年度)
|
| 配分額 *注記 |
2,500千円 (直接経費: 2,500千円)
2022年度: 800千円 (直接経費: 800千円)
2021年度: 800千円 (直接経費: 800千円)
2020年度: 900千円 (直接経費: 900千円)
|
|---|
| キーワード | 群の語の問題 / 形式言語理論 / Hilbertの第10問題 / 計算可能性理論 / Diophantus方程式 |
|---|
| 研究開始時の研究の概要 |
与えられたDiophantus方程式が整数解を持つか否かを判定する方法が存在するか否かを問うたHilbertの第10問題は1970年にMatiyasevichらによって解決された．ところが，整数解を有理数解に置き換えた同様の問題は50年経った今なお未解決のままである．本研究はこの問題の解決に向けて，従来の整数論的手法とは異なる視点として，計算可能性理論の手法を用いたアプローチを行うものである．
|
| 研究実績の概要 |
令和4年度は前年度に引き続き，より広く「代数学と計算論の相互関係」という観点から，群の語の問題と形式言語理論の関係について研究を進めた．特に「語の問題が文脈自由言語であるような群は実質的自由群である」というMuller-Schupp定理の一般化を目指す方向で研究を進めた．正則言語や文脈自由言語などの基本的な言語クラスを含む形式言語クラスのうち，特に群オートマトンと呼ばれる概念によって定義される言語クラスに着目した.既存の言語クラスのいくつかは群オートマトンを用いて特徴付けられることが知られているので，これを用いて「語の問題が特定の形式言語クラスに属する群はどのようなものか」という従来のMuller-Schupp型の条件を「語の問題がGオートマトンで認識されるような群Hはどのようなものか」という条件に一般化した問いを考えた.これにより問題が「1つの群と1つの言語クラスの関係」から「2つ群の間の形式言語理論的な関係」へと帰着され，より代数的な考察を行うことが可能となった.この問題に関する既知の結果として，特に「群Gが自由アーベル群Z^nのとき，語の問題があるGオートマトンで受理される群Hは実質的自由アーベル群である」というElder-Kambites-Ostheimerの定理が知られていた．令和4年度の研究の成果として，彼らの定理のより単純かつ純粋に組合せ論的な証明を与えることができた．この結果は令和5年6月に行われる国際会議に論文として投稿し受理され，発表予定である．
|
| 現在までの達成度 (段落) |
令和4年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
令和4年度が最終年度であるため、記入しない。
|
