An Oracle with no $\mathrm{UP}$-Complete Sets, but $\mathrm{NP}=\mathrm{PSPACE}$

David Dingel,Fabian Egidy,Christian Glaßer

2024-04-30

Abstract:We construct an oracle relative to which $\mathrm{NP} = \mathrm{PSPACE}$, but $\mathrm{UP}$ has no many-one complete sets. This combines the properties of an oracle by Hartmanis and Hemachandra [HH88] and one by Ogiwara and Hemachandra [OH93].

Computational Complexity

What problem does this paper attempt to address?

$P\not=NP$ relative to a $P$-complete oracle

Reiner Czerwinski

2023-04-02

Abstract:The $P$ versus $NP$ problem is still unsolved. But there are several oracles with $P$ unequal $NP$ relative to them. Here we will prove, that $P\not=NP$ relative to a $P$-complete oracle. In this paper, we use padding arguments as the proof method. The padding arguments are not bounded by a computable function. Such as we can use methods from computability theory to separate complexity classes.

Computational Complexity
On Czerwinski's "${\rm P} \neq {\rm NP}$ relative to a ${\rm P}$-complete oracle"

Michael C. Chavrimootoo,Tran Duy Anh Le,Michael P. Reidy,Eliot J. Smith

2023-12-08

Abstract:In this paper, we take a closer look at Czerwinski's "${\rm P}\neq{\rm NP}$ relative to a ${\rm P}$-complete oracle" [Cze23]. There are (uncountably) infinitely-many relativized worlds where ${\rm P}$ and ${\rm NP}$ differ, and it is well-known that for any ${\rm P}$-complete problem $A$, ${\rm P}^A \neq {\rm NP}^A \iff {\rm P}\neq {\rm NP}$. The paper defines two sets ${\rm D}_{\rm P}$ and ${\rm D}_{\rm NP}$ and builds the purported proof of their main theorem on the claim that an oracle Turing machine with ${\rm D}_{\rm NP}$ as its oracle and that accepts ${\rm D}_{\rm P}$ must make $\Theta(2^n)$ queries to the oracle. We invalidate the latter by proving that there is an oracle Turing machine with ${\rm D}_{\rm NP}$ as its oracle that accepts ${\rm D}_{\rm P}$ and yet only makes one query to the oracle. We thus conclude that Czerwinski's paper [Cze23] fails to establish that ${\rm P} \neq {\rm NP}$.

Computational Complexity
Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists

Takayuki Kihara

2024-03-09

Abstract:We present three different perspectives of oracle. First, an oracle is a blackbox; second, an oracle is a tool to change the way we access mathematical objects; and third, an oracle is a factor that causes a change in truth values. Formally, the second perspective advocates that an oracle is an endofunctor on the category of coded sets (preserving underlying sets) -- we associate it with a universal closure operator. The third perspective advocates that an oracle is an operation on the object of truth values -- we associate it with a Lawvere-Tierney topology. These three perspectives create a link between the three fields, computability theory, synthetic descriptive set theory, and effective topos theory.

Logic,Logic in Computer Science
Polynomial-Time Random Oracles and Separating Complexity Classes

John M. Hitchcock,Adewale Sekoni,Hadi Shafei

DOI: https://doi.org/10.1145/3434389

2021-03-01

ACM Transactions on Computation Theory

Abstract:Bennett and Gill [1981] showed that P A ≠ NP A ≠ coNP A for a random oracle A , with probability 1. We investigate whether this result extends to individual polynomial-time random oracles. We consider two notions of random oracles: p-random oracles in the sense of martingales and resource-bounded measure [Lutz 1992; Ambos-Spies et al. 1997], and p-betting-game random oracles using the betting games generalization of resource-bounded measure [Buhrman et al. 2000]. Every p-betting-game random oracle is also p-random; whether the two notions are equivalent is an open problem. (1) We first show that P A ≠ NP A for every oracle A that is p-betting-game random. Ideally, we would extend (1) to p-random oracles. We show that answering this either way would imply an unrelativized complexity class separation: (2) If P A ≠ NP A relative to every p-random oracle A , then BPP ≠ EXP. (3) If P A ≠ NP A relative to some p-random oracle A , then P ≠ PSPACE. Rossman, Servedio, and Tan [2015] showed that the polynomial-time hierarchy is infinite relative to a random oracle, solving a longstanding open problem. We consider whether we can extend (1) to show that PH A is infinite relative to oracles A that are p-betting-game random. Showing that PH A separates at even its first level would also imply an unrelativized complexity class separation: (4) If NP A ≠ coNP A for a p-betting-game measure 1 class of oracles A , then NP ≠ EXP. (5) If PH A is infinite relative to every p-random oracle A , then PH ≠ EXP. We also consider random oracles for time versus space, for example: (6) L A ≠ P A relative to every oracle A that is p-betting-game random.
PPAD-Completeness Oracle Model Complexity SPERNER 3 D : Papadimitriou ’ 94 [ 43 ] 2 D Lower bound : Crescenzi and Silvestri ’

Xiaotie Deng,Amin Saberi

2011-01-01

Abstract:In this work, we study three discrete fixed point concepts (SPERNER,DPZP,BROUWER) under two different models: the polynomial-time function model and the oracle function model. We fully characterize the computational complexities of these three problems. The computational complexity unification of the above problems gives us more choices in the study of different applications. As an example, by a reduction from DPZP, we derive asymptotically equal lower and upper bounds for TUCKER in the oracle model. The same reduction also allows us to derive a single proof for the PPAD-completeness of TUCKER in any constant dimension d, which is significantly simpler than the recent proof for the 2D case by Pálvölgyi, and for the 3D case and higher dimensions by Papadimitriou.
Oracle Separations for the Quantum-Classical Polynomial Hierarchy

Avantika Agarwal,Shalev Ben-David

2024-10-25

Abstract:We study the quantum-classical polynomial hierarchy, QCPH, which is the class of languages solvable by a constant number of alternating classical quantifiers followed by a quantum verifier. Our main result is that QCPH is infinite relative to a random oracle (previously, this was not even known relative to any oracle). We further prove that higher levels of PH are not contained in lower levels of QCPH relative to a random oracle; this is a strengthening of the somewhat recent result that PH is infinite relative to a random oracle (Rossman, Servedio, and Tan 2016). The oracle separation requires lower bounding a certain type of low-depth alternating circuit with some quantum gates. To establish this, we give a new switching lemma for quantum algorithms which may be of independent interest. Our lemma says that for any $d$, if we apply a random restriction to a function $f$ with quantum query complexity $\mathrm{Q}(f)\le n^{1/3}$, the restricted function becomes exponentially close (in terms of $d$) to a depth-$d$ decision tree. Our switching lemma works even in a "worst-case" sense, in that only the indices to be restricted are random; the values they are restricted to are chosen adversarially. Moreover, the switching lemma also works for polynomial degree in place of quantum query complexity.

Quantum Physics,Computational Complexity
Restrictive Acceptance Suffices for Equivalence Problems

Bernd Borchert,Lane A. Hemaspaandra,Joerg Rothe

DOI: https://doi.org/10.48550/arXiv.cs/9907041

1999-07-26

Abstract:One way of suggesting that an NP problem may not be NP-complete is to show that it is in the class UP. We suggest an analogous new approach---weaker in strength of evidence but more broadly applicable---to suggesting that concrete~NP problems are not NP-complete. In particular we introduce the class EP, the subclass of NP consisting of those languages accepted by NP machines that when they accept always have a number of accepting paths that is a power of two. Since if any NP-complete set is in EP then all NP sets are in EP, it follows---with whatever degree of strength one believes that EP differs from NP---that membership in EP can be viewed as evidence that a problem is not NP-complete. We show that the negation equivalence problem for OBDDs (ordered binary decision diagrams) and the interchange equivalence problem for 2-dags are in EP. We also show that for boolean negation the equivalence problem is in EP^{NP}, thus tightening the existing NP^{NP} upper bound. We show that FewP, bounded ambiguity polynomial time, is contained in EP, a result that is not known to follow from the previous SPP upper bound. For the three problems and classes just mentioned with regard to EP, no proof of membership/containment in UP is known, and for the problem just mentioned with regard to EP^{NP}, no proof of membership in UP^{NP} is known. Thus, EP is indeed a tool that gives evidence against NP-completeness in natural cases where UP cannot currently be applied.

Computational Complexity
Supportive Oracles for Parameterized Polynomial-Time Sub-Linear-Space Computations in Relation to L, NL, and P

Tomoyuki Yamakami

DOI: https://doi.org/10.48550/arXiv.1901.05854

2019-01-17

Abstract:We focus our attention onto polynomial-time sub-linear-space computation for decision problems, which are parameterized by size parameters $m(x)$, where the informal term "sub linear" means a function of the form $m(x)^{\varepsilon}\cdot polylog(|x|)$ on input instances $x$ for a certain absolute constant $\varepsilon\in(0,1)$ and a certain polylogarithmic function $polylog(n)$. The parameterized complexity class PsubLIN consists of all parameterized decision problems solvable simultaneously in polynomial time using sub-linear space. This complexity class is associated with the linear space hypothesis. There is no known inclusion relationships between PsubLIN and para-NL (nondeterministic log-space class), where the prefix "para-" indicates the natural parameterization of a given complexity class. Toward circumstantial evidences for the inclusions and separations of the associated complexity classes, we seek their relativizations. However, the standard relativization of Turing machines is known to violate the relationships of L$\subseteq$NL=co-NL$\subseteq$DSPACE[O($\log^2{n}$)]$\cap$P. We instead consider special oracles, called NL-supportive oracles, which guarantee these relationships in the corresponding relativized worlds. This paper vigorously constructs such NL-supportive oracles that generate relativized worlds where, for example, para-L$\neq$para-NL$\nsubseteq$PsubLIN and para-L$\neq$para-NL$\subseteq$PsubLIN.

Computational Complexity
Ultimate Polynomial Time

Gregorio Malajovich

DOI: https://doi.org/10.48550/arXiv.math/9904130

1999-04-23

Abstract:The class $\mathcal{UP}$ of `ultimate polynomial time' problems over $\mathbb C$ is introduced; it contains the class $\mathcal P$ of polynomial time problems over $\mathbb C$. The $\tau$-Conjecture for polynomials implies that $\mathcal{UP}$ does not contain the class of non-deterministic polynomial time problems definable without constants over $\mathbb C$. This latest statement implies that $\mathcal P \ne \mathcal{NP}$ over $\mathbb C$. A notion of `ultimate complexity' of a problem is suggested. It provides lower bounds for the complexity of structured problems.

Numerical Analysis
Optimal Proof Systems for Complex Sets are Hard to Find

Fabian Egidy,Christian Glaßer

2024-11-25

Abstract:We provide the first evidence for the inherent difficulty of finding complex sets with optimal proof systems. For this, we construct oracles $O_1$ and $O_2$ with the following properties, where $\mathrm{RE}$ denotes the class of recursively enumerable sets and $\mathrm{NQP}$ the class of sets accepted in non-deterministic quasi-polynomial time. - $O_1$: no set in $\mathrm{PSPACE} \setminus \mathrm{NP}$ has optimal proof systems and $\mathrm{PH}$ is infinite - $O_2$: no set in $\mathrm{RE} \setminus \mathrm{NQP}$ has optimal proof systems and $\mathrm{NP} \neq \mathrm{coNP}$ Oracle $O_2$ is the first relative to which complex sets with optimal proof systems do not exist. By oracle $O_1$, no relativizable proof can show that there exist sets in $\mathrm{PSPACE} \setminus \mathrm{NP}$ with optimal proof systems, even when assuming an infinite $\mathrm{PH}$. By oracle $O_2$, no relativizable proof can show that there exist sets outside $\mathrm{NQP}$ with optimal proof systems, even when assuming $\mathrm{NP} \neq \mathrm{coNP}$. This explains the difficulty of the following longstanding open questions raised by Krajíček, Pudlák, Sadowski, Köbler, and Messner [KP89, Sad97, KM98, Mes00]. - Q1: Are there sets outside $\mathrm{NP}$ with optimal proof systems? - Q2: Are there arbitrarily complex sets outside $\mathrm{NP}$ with optimal proof systems? Moreover, relative to $O_2$, there exist arbitrarily complex sets $L \notin \mathrm{NQP}$ having almost optimal algorithms, but none of them has optimal proof systems. This explains the difficulty of Messner's approach [Mes99] to translate almost optimal algorithms into optimal proof systems.

Computational Complexity
Separating the Polynomial-Time Hierarchy by Oracles

Andrew Chi-Chih Yao

DOI: https://doi.org/10.1109/sfcs.1985.49

1985-01-01

Abstract:We present exponential lower bounds on the size of depth-k Boolean circuits for computing certain functions. These results imply that there exists an oracle set A such that, relative to A, all the levels in the polynomial-time hierarchy are distinct, i.e., ΣkP,A is properly contained in Σk+1P,A for all k.
Rheology of giant micelles

Michael E. Cates,Suzanne M. Fielding

DOI: https://doi.org/10.1080/00018730601082029

2007-02-02

Abstract:Giant micelles are elongated, polymer-like objects created by the self-assembly of amphiphilic molecules (such as detergents) in solution. Giant micelles are typically flexible, and can become highly entangled even at modest concentrations. The resulting viscoelastic solutions show fascinating flow behaviour (rheology) which we address theoretically in this article at two levels. First, we summarise advances in understanding linear viscoelastic spectra and steady-state nonlinear flows, based on microscopic constitutive models that combine the physics of polymer entanglement with the reversible kinetics of self-assembly. Such models were first introduced two decades ago, and since then have been shown to explain robustly several distinctive features of the rheology in the strongly entangled regime, including extreme shear-thinning. We then turn to more complex rheological phenomena, particularly involving spatial heterogeneity, spontaneous oscillation, instability, and chaos. Recent understanding of these complex flows is based largely on grossly simplified models which capture in outline just a few pertinent microscopic features, such as coupling between stresses and other order parameters such as concentration. The role of `structural memory' (the dependence of structural parameters such as the micellar length distribution on the flow history) in explaining these highly nonlinear phenomena is addressed. Structural memory also plays an intriguing role in the little-understood shear-thickening regime, which occurs in a concentration regime close to but below the onset of strong entanglement, and which is marked by a shear-induced transformation from an inviscid to a gelatinous state.

Soft Condensed Matter
A Survey of PPAD-Completeness for Computing Nash Equilibria

Paul W. Goldberg

DOI: https://doi.org/10.48550/arXiv.1103.2709

2011-03-16

Abstract:PPAD refers to a class of computational problems for which solutions are guaranteed to exist due to a specific combinatorial principle. The most well-known such problem is that of computing a Nash equilibrium of a game. Other examples include the search for market equilibria, and envy-free allocations in the context of cake-cutting. A problem is said to be complete for PPAD if it belongs to PPAD and can be shown to constitute one of the hardest computational challenges within that class. In this paper, I give a relatively informal overview of the proofs used in the PPAD-completeness results. The focus is on the mixed Nash equilibria guaranteed to exist by Nash's theorem. I also give an overview of some recent work that uses these ideas to show PSPACE-completeness for the computation of specific equilibria found by homotopy methods. I give a brief introduction to related problems of searching for market equilibria.

Computer Science and Game Theory,Computational Complexity
Quantum-Computable One-Way Functions without One-Way Functions

William Kretschmer,Luowen Qian,Avishay Tal

2024-11-05

Abstract:We construct a classical oracle relative to which $\mathsf{P} = \mathsf{NP}$ but quantum-computable quantum-secure trapdoor one-way functions exist. This is a substantial strengthening of the result of Kretschmer, Qian, Sinha, and Tal (STOC 2023), which only achieved single-copy pseudorandom quantum states relative to an oracle that collapses $\mathsf{NP}$ to $\mathsf{P}$. For example, our result implies multi-copy pseudorandom states and pseudorandom unitaries, but also classical-communication public-key encryption, signatures, and oblivious transfer schemes relative to an oracle on which $\mathsf{P}=\mathsf{NP}$. Hence, in our new relativized world, classical computers live in "Algorithmica" whereas quantum computers live in "Cryptomania," using the language of Impagliazzo's worlds. Our proof relies on a new distributional block-insensitivity lemma for $\mathsf{AC^0}$ circuits, wherein a single block is resampled from an arbitrary distribution.

Quantum Physics,Computational Complexity,Cryptography and Security
Bad oracles in higher computability and randomness

Laurent Bienvenu,Noam Greenberg,Benoit Monin

DOI: https://doi.org/10.48550/arXiv.1912.00807

2019-12-02

Abstract:Many constructions in computability theory rely on "time tricks". In the higher setting, relativising to some oracles shows the necessity of these. We construct an oracle~$A$ and a set~$X$, higher Turing reducible to~$X$, but for which $\Psi(A)\ne X$ for any higher functional~$\Psi$ which is consistent on all oracles. We construct an oracle~$A$ relative to which there is no universal higher ML-test. On the other hand, we show that badness has its limits: there are no higher self-PA oracles, and for no~$A$ can we construct a higher $A$-c.e.\ set which is also higher $A$-ML-random. We study various classes of bad oracles and differentiate between them using other familiar classes. For example, bad oracles for consistent reductions can be higher ML-random, whereas bad oracles for universal tests cannot.

Logic
Pseudorandomness in the (Inverseless) Haar Random Oracle Model

Prabhanjan Ananth,John Bostanci,Aditya Gulati,Yao-Ting Lin

2024-10-25

Abstract:We study the (in)feasibility of quantum pseudorandom notions in a quantum analog of the random oracle model, where all the parties, including the adversary, have oracle access to the same Haar random unitary. In this model, we show the following: - (Unbounded-query secure) pseudorandom unitaries (PRU) exist. Moreover, the PRU construction makes two calls to the Haar oracle. - We consider constructions of PRUs making a single call to the Haar oracle. In this setting, we show that unbounded-query security is impossible to achieve. We complement this result by showing that bounded-query secure PRUs do exist with a single query to the Haar oracle. - We show that multi-copy pseudorandom state generators and function-like state generators (with classical query access), making a single call to the Haar oracle, exist. Our results have two consequences: (a) when the Haar random unitary is instantiated suitably, our results present viable approaches for building quantum pseudorandom objects without relying upon one-way functions and, (b) for the first time, we show that the key length in pseudorandom unitaries can be generically shrunk (relative to the output length). Our results are also some of the first usecases of the new "path recording" formalism for Haar random unitaries, introduced in the recent breakthrough work of Ma and Huang.

Quantum Physics,Computational Complexity,Cryptography and Security
Classical vs Quantum Advice and Proofs under Classically-Accessible Oracle

Xingjian Li,Qipeng Liu,Angelos Pelecanos,Takashi Yamakawa

2024-01-19

Abstract:It is a long-standing open question to construct a classical oracle relative to which BQP/qpoly $\neq$ BQP/poly or QMA $\neq$ QCMA. In this paper, we construct classically-accessible classical oracles relative to which BQP/qpoly $\neq$ BQP/poly and QMA $\neq$ QCMA. Here, classically-accessible classical oracles are oracles that can be accessed only classically even for quantum algorithms. Based on a similar technique, we also show an alternative proof for the separation of QMA and QCMA relative to a distributional quantumly-accessible classical oracle, which was recently shown by Natarajan and Nirkhe.

Quantum Physics,Computational Complexity,Cryptography and Security
On low for speed oracles

Laurent Bienvenu,Rod Downey

DOI: https://doi.org/10.48550/arXiv.1712.09710

2017-12-28

Abstract:Relativizing computations of Turing machines to an oracle is a central concept in the theory of computation, both in complexity theory and in computability theory(!). Inspired by lowness notions from computability theory, Allender introduced the concept of "low for speed" oracles. An oracle A is low for speed if relativizing to A has essentially no effect on computational complexity, meaning that if a decidable language can be decided in time $f(n)$ with access to oracle A, then it can be decided in time poly(f(n)) without any oracle. The existence of non-computable such A's was later proven by Bayer and Slaman, who even constructed a computably enumerable one, and exhibited a number of properties of these oracles as well as interesting connections with computability theory. In this paper, we pursue this line of research, answering the questions left by Bayer and Slaman and give further evidence that the structure of the class of low for speed oracles is a very rich one.

Computational Complexity,Logic
Unambiguous discrimination among oracle operators

Anthony Chefles,Akira Kitagawa,Masahiro Takeoka,Masahide Sasaki,Jason Twamley

DOI: https://doi.org/10.1088/1751-8113/40/33/016

2007-07-08

Abstract:We address the problem of unambiguous discrimination among oracle operators. The general theory of unambiguous discrimination among unitary operators is extended with this application in mind. We prove that entanglement with an ancilla cannot assist any discrimination strategy for commuting unitary operators. We also obtain a simple, practical test for the unambiguous distinguishability of an arbitrary set of unitary operators on a given system. Using this result, we prove that the unambiguous distinguishability criterion is the same for both standard and minimal oracle operators. We then show that, except in certain trivial cases, unambiguous discrimination among all standard oracle operators corresponding to integer functions with fixed domain and range is impossible. However, we find that it is possible to unambiguously discriminate among the Grover oracle operators corresponding to an arbitrarily large unsorted database. The unambiguous distinguishability of standard oracle operators corresponding to totally indistinguishable functions, which possess a strong form of classical indistinguishability, is analysed. We prove that these operators are not unambiguously distinguishable for any finite set of totally indistinguishable functions on a Boolean domain and with arbitrary fixed range. Sets of such functions on a larger domain can have unambiguously distinguishable standard oracle operators and we provide a complete analysis of the simplest case, that of four functions. We also examine the possibility of unambiguous oracle operator discrimination with multiple parallel calls and investigate an intriguing unitary superoperator transformation between standard and entanglement-assisted minimal oracle operators.

Quantum Physics
The Separation of $NP$ and $PSPACE$

Tianrong Lin

2024-06-22

Abstract:There is a important and interesting open question in computational complexity on the relation between the complexity classes $\mathcal{NP}$ and $\mathcal{PSPACE}$. It is a widespread belief that $\mathcal{NP}\ne\mathcal{PSPACE}$. In this paper, we confirm this conjecture affirmatively by showing that there is a language $L_d$ accepted by no polynomial-time nondeterministic Turing machines but accepted by a nondeterministic Turing machine running within space $O(n^k)$ for all $k\in\mathbb{N}_1$, by virtue of the prerequisite of $$ {\rm NTIME}[S(n)]\subseteq{\rm DSPACE}[S(n)], $$ and then by diagonalization against all polynomial-time nondeterministic Turing machines via a universal nondeterministic Turing machine $M_0$ running in space $O(n^k)$ for all $k\in\mathbb{N}_1$. We further show that $L_d\in \mathcal{PSPACE}$, which leads to the conclusion $$ \mathcal{NP}\subsetneqq\mathcal{PSPACE}. $$ Our approach is based on standard diagonalization and novel new techniques developed in author's recent works \cite{Lin21a,Lin21b} with some new refinement.

Computational Complexity

An Oracle with no $\mathrm{UP}$-Complete Sets, but $\mathrm{NP}=\mathrm{PSPACE}$

$P\not=NP$ relative to a $P$-complete oracle

On Czerwinski's "${\rm P} \neq {\rm NP}$ relative to a ${\rm P}$-complete oracle"

Rethinking the notion of oracle: A prequel to Lawvere-Tierney topologies for computability theorists

Polynomial-Time Random Oracles and Separating Complexity Classes

PPAD-Completeness Oracle Model Complexity SPERNER 3 D : Papadimitriou ’ 94 [ 43 ] 2 D Lower bound : Crescenzi and Silvestri ’

Oracle Separations for the Quantum-Classical Polynomial Hierarchy

Restrictive Acceptance Suffices for Equivalence Problems

Supportive Oracles for Parameterized Polynomial-Time Sub-Linear-Space Computations in Relation to L, NL, and P

Ultimate Polynomial Time

Optimal Proof Systems for Complex Sets are Hard to Find

Separating the Polynomial-Time Hierarchy by Oracles

Rheology of giant micelles

A Survey of PPAD-Completeness for Computing Nash Equilibria

Quantum-Computable One-Way Functions without One-Way Functions

Bad oracles in higher computability and randomness

Pseudorandomness in the (Inverseless) Haar Random Oracle Model

Classical vs Quantum Advice and Proofs under Classically-Accessible Oracle

On low for speed oracles

Unambiguous discrimination among oracle operators

The Separation of $NP$ and $PSPACE$