| Project/Area Number |
21K03340
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 12030:Basic mathematics-related
|
|---|
| Research Institution | Tokyo Metropolitan University |
|---|
Principal Investigator |
鈴木 登志雄 東京都立大学, 理学研究科, 准教授 (30235973)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
隈部 正博 放送大学, 教養学部, 教授 (70255173)
宮部 賢志 明治大学, 理工学部, 専任准教授 (00583866)
吉冨 和志 東京都立大学, 理学研究科, 教授 (40304729)
|
|---|
| Project Period (FY) |
2021-04-01 – 2025-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2024: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2023: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2022: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2021: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
|
|---|
| Keywords | アルゴリズム的ランダム性 / 計算可能解析 / 実閉体 / ハウスドルフ次元 / ゲージ積分 |
|---|
| Outline of Research at the Start |
実数のランダム性の程度の比較は，それらに収束する有理数列の収束の速さによって特徴付けられる．我々はこの考え方を発展させ，ランダム性の程度の比較をヘルダー連続な実関数の存在で特徴付け，ハウスドルフ次元に新しい意味付けを与えた．次のステップとして，解析学の言葉に立脚した計算可能性理論の枠組みを探求し，ランダムでない実数の作る実閉体を研究する．
|
| Outline of Annual Research Achievements |
鈴木・隈部・宮部によるオンラインセミナーを開催し（２０２３年６月1回、８月4回、９月1回、１０月1回、１１月2回、２０２４年２月１回、３月1回）、宮部による原案を３人で議論して改良し、１１月に宮部が代表著者となって論文「Solovay reducibility via Lipschitz functions and signed-digit representation」を学術雑誌に投稿した。プレプリントは宮部のウェブサイト（後述）で公開している。ソロベイ還元は実数同士のランダム性を比較する擬順序で、従来は左c.e.実数に対してはよいふるまいをするがそれより広い範囲では扱いが難しいとされてきた。Zheng-Rettinger (2004)はソロベイ還元の定義を少し修正し、よいふるまいをする範囲を計算近似可能実数へ拡張した。拡張したソロベイ還元を、数列を明示的に使用せず特徴づけることが望まれていたが、我々は１１月に投稿した論文で、リプシッツ連続関数を用いてそれを達成した。一方、計算可能性理論で考察される還元概念はユース（クエリーの範囲を示す量）によって特徴づけられるものが多い（例、弱真理値表還元、cL還元など）。１１月に投稿した論文ではsigned-digit representation（ビットごとに符号が付いた小数表示）を用いて、ソロベイ還元をcL還元に類似した形で特徴づけた。12月以降のオンラインセミナーでは実閉体の研究を進めた。並行して、鈴木は東京都立大学大学院生とゲーム木均衡値について共同研究を進めた。また、昨年度の実績報告の段階では「巻号未定、掲載決定」となっていた、吉冨による擬微分作用素のフレドホルム性についての論文が出版されたことを受け、あらためて今年度の実績報告書に掲載する。口頭発表は鈴木２件、宮部５件（うち３件は国際研究集会）、吉冨１件である。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
リプシッツ連続関数についての研究が順調に進展し、その内容について複数の口頭発表（国際研究集会３件を含む）を行うことができた。その後も実閉体についての共同研究が進展した。ゲーム木均衡値については、２０２３年度末時点で論文執筆中であり、２０２４年度前半に投稿できる見込みである。
|
| Strategy for Future Research Activity |
２０２４年度前半に、実閉体に関する成果を論文にまとめて投稿する。また、ゲーム木に関する鈴木と都立大学大学院生（２０２４年３月に博士号を取得して卒業）による共著論文も投稿する。２０２４年度後半は成果発表に比重を置いた活動をしつつ、次の研究の構想を練る。
|
