| 研究課題/領域番号 |
18K11166
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60010:情報学基礎論関連
|
|---|
| 研究機関 | 京都大学 |
|---|
研究代表者 |
ディブレクト マシュー 京都大学, 人間・環境学研究科, 准教授 (20623599)
|
|---|
| 研究期間 (年度) |
2018-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,550千円 (直接経費: 3,500千円、間接経費: 1,050千円)
2022年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2021年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2020年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2019年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2018年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | quasi-Polish space / duality / valuations / computability theory / descriptive set theory / algebraic geometry / topology / domain theory / measure theory / category theory / locale theory / Stone-duality / frames / computable analysis / geometric logic / quasi-Polish spaces / logic / computation |
|---|
| 研究実績の概要 |
This year we continued finding applications and presenting results of the general theory developed during this project.
At CCR 2023, we presented our work on the valuations powerspace functor on the category of quasi-Polish spaces. There is a close correspondence between valuations and Borel measures on quasi-Polish spaces, and this correspondence is a bijection when restricted to probabilistic valuations and Borel probability measures. Our result shows how to computably convert codes for a continuous map between quasi-Polish spaces into codes for the corresponding spaces of valuations and a code for the continuous map that sends a valuation to its pushforward valuation along the original map. The construction is simple and formalizable within second order arithmetic, but general enough for applications involving Polish spaces (e.g., random dynamical systems) and continuous domains (e.g. probabilistic programming languages).
We also published a journal article containing joint work with T. Kihara and V. Selivanov, which contained and extended results we presented earlier at CiE 2022. The new results included work on effectively extending quasi-Polish topologies, and new results on effective continuous domains, such as enumerating continuous domains, on ideal presentations of effective domains, and on the degree spectra of continuous domains.
We also gave lectures about computable topology as part of a summer school for young researchers and students studying mathematical logic (数学基礎論サマースクール2023). The participants were very active and talented.
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
We have been able to attend international conferences in person again this year, after several years of only being able to attend online. This has allowed us to get valuable feedback and ideas for future research. Our joint work with T. Kihara and V. Selivanov was accepted to a journal, and it contains many important results and applications to computability theory and computable topology. Participating in the summer school allowed us to share some of the latest ideas on computable topology with the next generation of Japanese mathematicians and logicians.
|
| 今後の研究の推進方策 |
This year we will continue developing applications of the results achieved during this project, as well as presenting our findings at international conferences and papers. We have already started looking at generalizations of the result on effectively extending topologies that was published in joint work with T. Kihara and V. Selivanov. We are also interested in applications of this work to better understanding some basic results in computability, such as the low basis theorem. In addition, we hope to look at more examples of coPolish rings and their spectra.
|
