与えられた計算能力で範疇性が逆転する構造を構成
Switching Categoricity Behavior with a Given Degree
この論文をやさしく読む
ひとことで言うと
数学的な構造の異なる表現同士を計算で対応付けられるかという性質が、与えられた追加情報Dを使うと、どちらの方向にも変わり得ると示しています。
何に役立つ？
計算可能な構造の分類と、追加情報を使う相対計算の関係を理解する理論的な材料になります。
この研究の面白いところ
都合のよいDも同時に作るのではなく、条件を満たすDが先に与えられていても、性質が逆転する構造を作れる点が特徴です。
どこまで分かった？
Dは非計算可能で計算可算な集合という条件を満たす必要があります。相対化すると比較対象のコピーも広がるため、単純に追加情報が計算を遅くするという意味ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
非計算可能な計算可算集合Dが与えられたとき、計算可能な構造Gであって、Gの任意の二つの計算可能なコピーは計算可能に同型である一方、Dに相対的に計算可能な二つのコピーで、Dに相対的に計算可能には同型でないものが存在するようなものを構成する。言い換えると、Gは計算可能範疇的だが、Dに相対的には計算可能範疇的ではない。 逆に、計算可能範疇的ではないが、Dに相対的には計算可能範疇的となる計算可能構造も構成する。これらの結果は、次数Dを構成するのではなく、Dがあらかじめ与えられているという点で、計算可能範疇性とその相対化に関する既存文献の結果とは異なる。本研究は、計算可算の場合に、Downey、Harrison-Trainor、Melnikovの問いへ否定的な答えを与える。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Given a noncomputable, computably enumerable set $D$, we construct a computable structure $G$ such that any two computable copies of $G$ are computably isomorphic while there are two $D$-computable copies of $G$ that are not $D$-computably isomorphic. In other words, $G$ is computably categorical, but not computably categorical relative to $D$. Conversely, we construct a computable structure that is not computably categorical, but is computably categorical relative to $D$. These results differ from those in the literature regarding computable categoricity and its relativiziations because the degree $D$ is given instead of constructed. Our work negatively answers a question of Downey, Harrison-Trainor and Melnikov in the computably enumerable case.
arXiv ID: 2609.21047 ／ 要約の誤りについて