Verifiable quantum advantage without structure

T Yamakawa, M Zhandry - Journal of the ACM, 2024 - dl.acm.org
We show the following hold, unconditionally unless otherwise stated, relative to a random
oracle:—There are NP search problems solvable by quantum polynomial-time (QPT) …

On pigeonhole principles and Ramsey in TFNP

S Jain, J Li, R Robere, Z Xun - 2024 IEEE 65th Annual …, 2024 - ieeexplore.ieee.org
We show that the TFNP problem Ramsey is not black-box reducible to Pigeon, refuting a
conjecture of Goldberg and Papadimitriou in the black-box setting. We prove this by giving …