Even Quantum Advice is Unlikely to Solve PP
by Justin Yirka
Theory of Computing, Volume 21(7), pp. 1-13, 2025
Bibliography with links to cited articles
[1] Scott Aaronson: Quantum computing, postselection, and probabilistic polynomial-time. Proc. Royal Soc. A, 461(2063):3473–3482, 2005. [doi:10.1098/rspa.2005.1546]
[2] Scott Aaronson: Oracles are subtle but not malicious. In Proc. 21st IEEE Conf. on Comput. Complexity (CCC’06), pp. 340–354. IEEE Comp. Soc., 2006. [doi:10.1109/CCC.2006.32]
[3] Scott Aaronson: The learnability of quantum states. Proc. Royal Soc. A, 463(2088):3089–3114, 2007. [doi:10.1098/rspa.2007.0113]
[4] Scott Aaronson: Yet more errors in papers, May 2017. Available at https://scottaaronson.blog/?p=3256.
[5] Scott Aaronson and Andrew Drucker: A full characterization of quantum advice. SIAM J. Comput., 43(3):1131–1183, 2014. [doi:10.1137/110856939]
[6] Avantika Agarwal, Sevag Gharibian, Venkata Koppula, and Dorian Rudolph: Quantum polynomial hierarchies: Karp–Lipton, error reduction, and lower bounds. In Proc. Internat. Symp. Math. Foundations of Comp. Sci. (MFCS’24), pp. 7:1–17. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2024. [doi:10.4230/LIPIcs.MFCS.2024.7]
[7] Sanjeev Arora and Boaz Barak: Computational Complexity: A Modern Approach. Cambridge Univ. Press, 2009. [doi:10.1017/CBO9780511804090]
[8] Venkatesan T. Chakaravarthy and Sambuddha Roy: Oblivious symmetric alternation. In Proc. 23rd Symp. Theoret. Aspects of Comp. Sci. (STACS’06), pp. 230–241. Springer, 2006. [doi:10.1007/11672142_18]
[9] Stephen A. Fenner: PP-lowness and a simple definition of AWPP. Theory Computing Sys., 36(2):199–212, 2003. [doi:10.1007/s00224-002-1089-8]
[10] Lance Fortnow and John Rogers: Complexity limitations on quantum computation. J. Comput. System Sci., 59(2):240–252, 1999. [doi:10.1006/jcss.1999.1651]
[11] Lance Fortnow, Rahul Santhanam, and Ryan Williams: Fixed-polynomial size circuit bounds. In Proc. 24th IEEE Conf. on Comput. Complexity (CCC’09), pp. 19–26. IEEE Comp. Soc., 2009. [doi:10.1109/CCC.2009.21]
[12] Karthik Gajulapalli, Zeyong Li, and Ilya Volkovich: Oblivious complexity classes revisited: Lower bounds and hierarchies. In Proc. 44th Found. Softw. Techn. Theoret. Comp. Sci. Conf. (FSTTCS’24), pp. 23:1–19. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2024. [doi:10.4230/LIPIcs.FSTTCS.2024.23]
[13] Oded Goldreich and Or Meir: Input-oblivious proof systems and a uniform complexity perspective on P/poly. ACM Trans. Comput. Theory, 7(4):1–13, 2015. [doi:10.1145/2799645]
[14] Richard M. Karp and Richard J. Lipton: Some connections between nonuniform and uniform complexity classes. In Proc. 12th STOC, pp. 302–309. ACM Press, 1980. [doi:10.1145/800141.804678]
[15] Greg Kuperberg: How hard is it to approximate the Jones polynomial? Theory of Computing, 11(6):183–219, 2015. [doi:10.4086/toc.2015.v011a006]
[16] Lide Li: On the counting functions. Ph. D. thesis, The University of Chicago, 1993. Available at https://www.proquest.com/dissertations-theses/on-counting-functions/docview/304080357/se-2.
[17] Carsten Lund, Lance Fortnow, Howard Karloff, and Noam Nisan: Algebraic methods for interactive proof systems. J. ACM, 39(4):859–868, 1992. [doi:10.1145/146585.146605]
[18] Chris Marriott and John Watrous: Quantum Arthur–Merlin games. Comput. Complexity, 14(2):122–152, 2005. [doi:10.1007/s00037-005-0194-x]
[19] Peter Bro Miltersen, N. V. Vinodchandran, and Osamu Watanabe: Super-polynomial versus half-exponential circuit size in the Exponential Hierarchy. In Proc. 5th Internat. Combinatorics and Computing Conf. (COCOON’99), pp. 210–220. Springer, 1999. [doi:10.1007/3-540-48686-0_21]
[20] Tomoyuki Morimae and Harumichi Nishimura: Quantum interpretations of AWPP and APP. Quantum Info. Comput., 16(5–6):498–514, 2016. [doi:10.26421/QIC16.5-6-6]
[21] N. V. Vinodchandran: A note on the circuit complexity of PP. Theoret. Comput. Sci., 347(1–2):415–418, 2005. [doi:10.1016/j.tcs.2005.07.032]
[22] Mikhail N. Vyali: QMA = PP implies that PP contains PH. Electron. Colloq. Comput. Complexity, TR03-021, 2003. [ECCC]
[23] John Watrous: Quantum computational complexity, 2008. See also the Encycopedia of Complexity and Systems Science. [arXiv:0804.3401]
[24] Ryan Williams: Nonuniform ACC circuit lower bounds. J. ACM, 61(1, art. 2):1–32, 2014. [doi:10.1145/2559903]
[25] Complexity Zoo: BQP/poly, BQP/mpoly, BQP/qpoly, BQP. https://complexityzoo.net/Complexity_Zoo:B. Accessed 13 Mar. 2024.