| 研究課題/領域番号 |
21K03336
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分12030:数学基礎関連
|
|---|
| 研究機関 | 筑波大学 |
|---|
研究代表者 |
坪井 明人 筑波大学, 数理物質系(名誉教授), 名誉教授 (30180045)
|
|---|
| 研究分担者 |
竹内 耕太 筑波大学, 数理物質系, 助教 (50722485)
|
|---|
| 研究期間 (年度) |
2021-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
2024年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2023年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2022年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2021年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | モデル理論 / ランダム構造 / ランダムグラフ / 彩色 / 有限数学 / 一様列 / 数理論理学 |
|---|
| 研究開始時の研究の概要 |
有限モデル理論の研究対象は有限構造の無限クラスである．一つの有限構造に対してコンパクト性を用いて拡大構造を作ることはできない．しかし各構造が有限であっても，それらが無限クラスを構成していれば，コンパクト性が適用可能である．この手法を用いて，問題を見通しよく議論をして，有限モデル理論に関連する新たな知見を得ることを目的とする．
|
| 研究実績の概要 |
モデル理論においては，グラフとは2変数述語Rによって書かれた構造であり，対称性と非反射性を有するものとして扱うことが通常である．この場合Rを満たす２点は辺が存在すると考える．ランダムグラフは，すべての有限グラフのクラスのフライセ（Fraisse）極限として定義される．直観的にはすべての有限グラフをランダムに貼り合わせてできる可算無限構造となる．ランダムグラフGの辺に対する（有限色による）彩色が与えられたとき，Gのジェネリックな部分構造H（すなわちGと同型になる誘導部分グラフ）で単色のものがあるかどうかという問題を考えたとき，単色のジェネリック部分構造を持たないケースが知られている．本研究では，いかなる場合に単色ジェネリック部分構造が存在するかについて考察を行い，それがShelahの定義した強い意味の順序性（SOP,strict order property）と非常に関連性があるという結果を得た．
具体的には次の結果を得た：
結果：Gを可算ランダムグラフとする．また辺の有限彩色が与えられているとする．ただし，辺の有限彩色とは，有限個の互いに素な述語R１，．．．，Rｎの和としてＲを表現することを指す．このとき，次は同値である：
１．Ｇのジェネリック部分構造Ｈで，単一彩色のものが存在する．すなわちＨ上ではＲ＝Ｒｋとなるｋが存在する．
２．Ｇの任意のジェネリック部分構造Hに対して，更なるジェネリック部分構造Kであって，Kの拡張言語における理論がSOP(strict order property)を持つものがある．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
3: やや遅れている
理由
本研究では有限構造の解析に無限構造を利用することが主眼としてある．ランダム構造はそのような目的として使う．無限構造で得られた結果を有限構造に戻す段階では概ね当初考えていた方法を利用できているが，更なる発展のためには，より新しい発想が必要になると考えている．このため少し時間が必要になっている．
|
| 今後の研究の推進方策 |
今後はランダム構造における自己同型写像のorbitの個数について研究を行いたいと考えている．このため，自己同型群に関する知見を多く有する研究者との共同研究なども視野に入れたいと考える．
|
