# On Baker-Gill-Solovay Oracle Turing Machines and Relativization Barrier

@article{Lin2021OnBO, title={On Baker-Gill-Solovay Oracle Turing Machines and Relativization Barrier}, author={Tianrong Lin}, journal={ArXiv}, year={2021}, volume={abs/2112.03677} }

This work analysis the so-called “Relativization Barrier” with respect to BakerGill-Solovay oracle Turing machine. We show that the diagonalization technique is a valid mathematical proof technique, but it has some prerequisites when referring to “Relativization barrier”.

## One Citation

The Separation of NP and PSPACE

- Computer ScienceArXiv
- 2021

This paper shows that NP 6= PSPACE via the premise of NTIME[S(n)] ⊆ DSPACE[S (n)], and then by diagonalization over all polynomial-time nondeterministic Turing machines via universal nondetergetic Turing machine M0 running in O(n ) space for any k ∈ N1.

## References

SHOWING 1-10 OF 17 REFERENCES

Diagonalization of Polynomial-Time Turing Machines Via Nondeterministic Turing Machine

- Computer ScienceArXiv
- 2021

It is obtained that there is a language Ld not accepted by any polynomial-time deterministic Turing machines but accepted by a nondeterministic Turing machine working within O(nk) for any k ∈ N1, i.e. Ld ∈ NP .

Resolution of The Linear-Bounded Automata Question

- Computer ScienceArXiv
- 2021

This work resolve a longstanding open question in automata theory, i.e. the linear-bounded automata question ( shortly, LBA question), which can also be phrased succinctly in the language of…

Algebrization: A New Barrier in Complexity Theory

- Mathematics, Computer ScienceTOCT
- 2009

This article systematically goes through basic results and open problems in complexity theory to delineate the power of the new algebrization barrier, and shows that almost all of the major open problems---including P versus NP, P versus RP, and NEXP versus P/poly---will require non-algebrizing techniques.

On Computable Numbers, with an Application to the Entscheidungsproblem

- Computer Science
- 1937

This chapter discusses the application of the diagonal process of the universal computing machine, which automates the calculation of circle and circle-free numbers.

Computational Complexity: A Modern Approach

- Education
- 2009

This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory and can be used as a reference for self-study for anyone interested in complexity.

Georg Cantor and Transcendental Numbers

- Mathematics
- 1994

Kac and Ulam are comparing Cantor's method with Liouville's earlier construction of transcendentals [24, 25] they find Cantor's method to be non-constructive. But Herstein and Kaplansky insist that…

The Design and Analysis of Computer Algorithms

- Computer Science
- 1974

This text introduces the basic data structures and programming techniques often used in efficient algorithms, and covers use of lists, push-down stacks, queues, trees, and graphs.

Principles of mathematical analysis

- Mathematics
- 1964

Chapter 1: The Real and Complex Number Systems Introduction Ordered Sets Fields The Real Field The Extended Real Number System The Complex Field Euclidean Spaces Appendix Exercises Chapter 2: Basic…

Affine Relativization: Unifying the Algebrization and Relativization Barriers

- MathematicsElectron. Colloquium Comput. Complex.
- 2016

Algebrization: a new barrier in complexity theory

- Mathematics, Computer ScienceSTOC
- 2008

This paper systematically goes through basic results and open problems in complexity theory to delineate the power of the new algebrization barrier, and shows that all known non-relativizing results based on arithmetization -- both inclusions such as IP=PSPACE and MIP=NEXP, and separations such as MAEXP not in P/poly -- do indeed algeBrize.