Abstract:Quantum computing introduces many problems rooted in physics, asking to compute information from input quantum states. Determining the complexity of these problems has implications for both computer science and physics. However, as existing complexity theory primarily addresses problems with classical inputs and outputs, it lacks the framework to fully capture the complexity of quantum-input problems. This gap is relevant when studying the relationship between quantum cryptography and complexity theory, especially within Impagliazzo's five worlds framework, as characterizing the security of quantum cryptographic primitives requires complexity classes for problems involving quantum inputs. To bridge this gap, we examine the complexity theory of quantum promise problems, which determine if input quantum states have certain properties. We focus on complexity classes p/mBQP, p/mQ(C)MA, $\mathrm{p/mQSZK_{hv}}$, p/mQIP, and p/mPSPACE, where "p/mC" denotes classes with pure (p) or mixed (m) states corresponding to any classical class C. We establish structural results, including complete problems, search-to-decision reductions, and relationships between classes. Notably, our findings reveal differences from classical counterparts, such as p/mQIP $\neq$ p/mPSPACE and $\mathrm{mcoQSZK_{hv}} \neq \mathrm{mQSZK_{hv}}$. As an application, we apply this framework to cryptography, showing that breaking one-way state generators, pseudorandom states, and EFI is bounded by mQCMA or $\mathrm{mQSZK_{hv}}$. We also show that the average-case hardness of $\mathrm{pQCZK_{hv}}$ implies the existence of EFI. These results provide new insights into Impagliazzo's worlds, establishing a connection between quantum cryptography and quantum promise complexity theory. We also extend our findings to quantum property testing and unitary synthesis, highlighting further applications of this new framework.

Progress on Problem about Quantum Hamming Bound for Impure Quantum Codes

No ((n, k, d < 127)) code can violate the quantum Hamming bound

Asymptotics of the quantum Hamming bound for subsystem codes

Quantum Error-Correcting Codes with Preexisting Protected Qubits

No More Perfect Codes: Classification of Perfect Quantum Codes

The Influence of Imprecise Quantum Measurement on Quantum Dense Coding

The Mass Spectrum of Light and Heavy Hadrons from Improved Lattice Actions

The Modified Hamming Bound for Unequal Error Protection Codes

Solution to the mean king's problem using quantum error-correcting codes

A Finite Gilbert-Varshamov Bound for Pure Stabilizer Quantum Codes

Complete Weight Distributions and MacWilliams Identities for Asymmetric Quantum Codes

Quantum error avoiding codes verses quantum error correcting codes

Overcoming the Zero-Rate Hashing Bound with Holographic Quantum Error Correction

Experimental Quantum Coding Against Qubit Loss Error

A Hamming-Like Bound for Degenerate Stabilizer Codes

A unification of the coding theory and OAQEC perspective on hybrid codes

Determining the upper bound of code distance of quantum stabilizer codes through Monte Carlo method based on fully decoupled belief propagation

Simple and general bounds on quantum random access codes

ONE-PARTY QUANTUM-ERROR-CORRECTING CODES FOR UNBALANCED ERRORS: PRINCIPLES AND APPLICATION TO QUANTUM DENSE CODING AND QUANTUM SECURE DIRECT COMMUNICATION

Khovanov homology and quantum error-correcting codes

Complexity Theory for Quantum Promise Problems