Extensively Not P-Bi-Immune promiseBQP-Complete Languages
Andrew Jackson
TL;DR
Analysis of the tools used in this paper shows there exists a language that every (promise) BQP language is one-one reducible to, but this language is also not P-bi-immune under very many promises.
Abstract
In this paper, I first establish -- via methods other than the Gottesman-Knill theorem -- the existence of an infinite set of instances of simulating a quantum circuit to decide a decision problem that can be simulated classically. I then examine under what restrictions on quantum circuits the existence of infinitely many classically simulable instances persists. There turns out to be a vast number of such restrictions, and any combination of those found can be applied at the same time without eliminating the infinite set of classically simulable instances. Further analysis of the tools used in this then shows there exists a language that every (promise) BQP language is one-one reducible to. This language is also not P-bi-immune under very many promises.