A Quantum inspired proof of $P^{\#P}\subseteq IP$

Dorit Aharonov, Ayal Green

We provide a new, quantum inspired, proof for the celebrated claim of [LFKN92] that $P^{\#P}\subseteq IP$. The protocol is fundamentally different from the original sum-check prot…