[論文レビュー] Diagonalization Without Relativization A Closer Look at the Baker-Gill-Solovay Theorem

Baruch Garcia|arXiv (Cornell University)|Jan 14, 2026

Complexity and Algorithms in Graphs被引用数 0

ひとこと要約

本論文は、RとREの分離を半相対化を用いる受理問題オラクルで確立し、そのアイデアを多項式時間問題に拡張して相対化と代数化の障壁を回避することを示す。多項式時間の受理問題を導入し、A_TM-PTIME から CIRCUIT-SAT および 3-CNF-SAT への帰約を示し、P ≠ NP が完全な相対化なしで確立可能であることを示唆する。

ABSTRACT

We already know that several problems like the inequivalence of P and EXP as well as the undecidability of the acceptance problem and halting problem relativize. However, relativization is a limited tool which cannot separate other complexity classes. What has not been proven explicitly is whether the Turing-recognizability of the acceptance problem relativizes. We will consider an oracle for which R and RE are equivalent; RA = REA, where A is an oracle for the equivalence problem in the class ALL, but not in RE nor co-RE. We will then differentiate between relativization and what we will call "semi-relativization", i.e., separating classes using only the acceptance problem oracle. We argue the separation of R and RE is a fact that only "semi-relativization" proves. We will then "scale down" to the polynomial analog of R and RE, to evade the Baker-Gill-Solovay barrier using "semi-relativized" diagonalization, noting this subtle distinction between diagonalization and relativization. This "polynomial acceptance problem" is then reducible to CIRCUIT-SAT and 3-CNF-SAT proving that these problems are undecidable in polynomial time yet verifiable in polynomial time. "Semi-relativization" does not employ arithmetization to evade the relativization barrier, and so itself evades the algebrization barrier of Aaronson and Wigderson. Finally, since semi-relativization is a non-constructive technique, the natural proofs barrier of Razborov and Rudich is evaded. Thus the separation of R and RE as well as P and NP both do not relativize but do "semi-relativize", evading all three barriers.

研究の動機と目的

• 相対化と半相対化の違いを、複雑さクラスの分離において明確にする。
• 受理問題オラクル（半相対化）を用いて R ≠ RE を確立できることを示すが、従来の相対化による分離は不可能である。
• このアプローチを多項式時間問題へ拡張し、Arithmetization を使わずに Baker-Gill-Solovay の障壁を回避する。

提案手法

• 受理問題オラクルを用いた対角化フレームワークで R と RE を分離する。
• ALL (LANG) オラクルを特徴づけ、R^EQ_TM = RE^EQ_TM = co-RE^EQ_TM がこのオラクルの下で成り立つことを示す。
• 多項式時間の受理問題（A_TM-PTIME）を導入し、対角化を EXP 時間内で動作させるよう適応する。
• A_TM-PTIME を CIRCUIT-SAT へ、さらに Tseitin 変換を用いて 3-CNF-SAT へ還元し、NP-完全問題へ連結させる。
• 半相対化が算術化（arithmetization）と自然証明の障壁を回避することを主張する。

実験結果

リサーチクエスチョン

• RQ1 EQ_TM を ALL に含むオラクルの下で R と RE を分離できるのか、A_TM が RE 完全であることが保たれるのか？
• RQ2 半相対化は算術化を用いずに P と NP の分離を提供し得るのか？
• RQ3 受理問題の多項式時間類似体（A_TM-PTIME）を NP-完全問題へ還元して、多項式時間で非決定可能だが多項式時間で検証可能であることを示せるのか？
• RQ4 半相対化は対角化を道具として保持しつつ、代数化障壁を避けられるのか？

主な発見

• R と RE は ALL/等価性オラクルの下で分離可能であり、R^A = RE^A = co-RE^A となる。
• 半相対化は受理問題オラクルを用いて R と RE の分離を実現するが、一般には相対化に完全には帰着しない。
• 多項式時間の受理問題（A_TM-PTIME）も同様に対角化でき、P の外部に位置づつつ NP による検証が可能な Cook–Levin の表を介して検証できる。
• A_TM-PTIME は CIRCUIT-SAT へ還元され、それが 3-CNF-SAT へ還元され、A_TM-PTIME を NP-完全問題へ結びつける。
• 半相対化は算術化を回避するため、代数化障壁と自然証明の障壁を回避する。