| Project/Area Number |
19K20209
|
|---|
| Research Category |
Grant-in-Aid for Early-Career Scientists
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Basic Section 60010:Theory of informatics-related
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
竹内 耕太 筑波大学, 数理物質系, 助教 (50722485)
|
|---|
| Project Period (FY) |
2019-04-01 – 2025-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2022: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2021: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2020: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2019: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Keywords | one variable reduction / dividing line / Ramsey class / continuous logic / structural Ramsey theory / Indivisible / Metric structure / metric structures / Ramsey property / independent property / random graph / PAC学習 / VC密度 / VC次元 / 超平面 / モデル理論 / NIP |
|---|
| Outline of Research at the Start |
本研究は、PAC学習と呼ばれる機械学習に関する新しい理論的拡張（PACｎ学習）の数学的基礎を与えることを目的とする。従来のPAC学習では有限個の点サンプルから全体の情報を推測することを行っていたが、本研究では推測対象が高次元空間の部分集合であるとき、その超断面から全体の情報を推測する。この方法で従来より多くの対象が学習可能になるが、そのことを組み合わせ論のVCn次元と呼ばれる概念を用いて数学的に解析する。VCn次元とPACｎ学習の対応関係はn=1の場合には示されているので、その対応関係を一般のn次元空間においても示すことが目標である。
|
| Outline of Annual Research Achievements |
2023年度はモデル理論における安定性のクラスであるStable, NIP, n-dependent, dp-rankなどが一次元の一様定義可能集合族によって判別できるという結果について、独自の研究を行った。これら安定性のクラスはdividing lineとも呼ばれ重要な研究対象であるが、具体的な構造がどのクラスに分類されるかをチェックするのは簡単ではない。一次元の一様定義可能集合族を調べるだけでこのチェックが可能であるという結果は、応用上非常に重要で去る。今までこの結果は別々のクラスについて似たようなアイデアだが、異なる方法で証明が与えられていたが、本研究でラムゼイクラスを用いることである程度統一的な方法で証明が可能となることを示した。この結果はModel theory summer workshopならびにRIMS model theory workshopで発表を行った。
|
| Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
コロナ禍で停滞した研究の遅れを取り戻しつつあるが、開始当初の予定よりはやや遅れている。
|
| Strategy for Future Research Activity |
次年度でここまでの研究で得られた成果についてまとめて適切の方法で発表を行う。またn-dependentに関する研究が最近進展をみせているので、つづけて研究を行いたい。
|
