From $P\subseteq \oplus P \subseteq PSPACE$ and $P\subseteq PP \subseteq PSPACE$ we infer $\oplus P\neq PP$ gives that $$P\neq PSPACE.$$
Are there any other consequences?
$\begingroup$
$\endgroup$
1
-
2$\begingroup$ Clearly that $\oplus\neq P$ and $P\neq 0$. *rimshot* $\endgroup$– David RicherbyCommented May 2, 2019 at 14:55
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
Turns out, you are immediately able to separate $\mathrm{P}$ from $\mathrm{PP}$.
Assuming that $\oplus\mathrm{P\neq PP}$ but also assume to the contradiction that $\mathrm{P=PP}$, then $\mathrm{P^{PP}=P}$. But $\oplus\mathrm{P\subseteq P^{\#P[1]}=P^{PP}=P}$. So, $\oplus\mathrm{P=P=PP}$ violating our assumption and concluding our proof by contradiction.
answered Sep 20, 2018 at 10:02