Space-bounded quantum state testing via space-efficient quantum singular value transformation

François Le Gall,Yupan Liu,Qisheng Wang

2024-05-23

Abstract:Driven by exploring the power of quantum computation with a limited number of qubits, we present a novel complete characterization for space-bounded quantum computation, which encompasses settings with one-sided error (unitary coRQL) and two-sided error (BQL), approached from a quantum state testing perspective:

Quantum Physics,Computational Complexity

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the computational power of quantum state testing with limited qubit resources. Specifically, the authors focus on how to effectively test the similarity or difference between two quantum states in a space - constrained situation. This involves several key aspects:

1. **Space - Constrained Quantum State Certification**: For two given quantum states \(\rho_0\) and \(\rho_1\), determine whether they are very close or very different in trace distance or Hilbert - Schmidt distance. This is achieved by providing the "source code" of quantum circuits \(Q_0\) and \(Q_1\) that prepare \(\rho_0\) and \(\rho_1\) respectively.

2. **Space - Constrained Quantum State Testing**: Extended to the two - sided error case, consider more distance metrics such as quantum entropy difference and quantum Jensen - Shannon divergence. The goals of these problems are to determine the similarity or difference between two quantum states under these metrics.

3. **Algorithms and Techniques**: To achieve the above goals, the authors developed a space - efficient quantum singular value transformation (QSVT) technique. This technique can not only effectively handle the quantum state testing problem but also be used for other space - constrained quantum algorithm designs.

### Main Contributions

1. **Natural and Complete coRQUL and BQL Problems**:
- The authors proposed the first natural coRQUL - complete problem, that is, the space - constrained quantum state certification problem (CertQSDlog and CertQHSlog) in trace distance and Hilbert - Schmidt distance.
- Further proposed new natural BQL - complete problems, including space - constrained quantum state testing problems (GapQSDlog, GapQEDlog, GapQJSlog and GapQHSlog) in trace distance, quantum entropy difference and quantum Jensen - Shannon divergence.

2. **Algorithmic Holevo - Hellstrom Measurement**:
- Using the results of BQL - complete problems, the authors proposed an algorithmic Holevo - Hellstrom measurement method, which can be approximately implemented in quantum single - exponential time and linear space with an additive error of \(2^{-n}\).
- This result further improves the upper bound of the QSZK class, indicating that the GapQSD problem is in QIP(2), where the computational power of the honest verifier is quantum single - exponential time and linear space.

3. **Space - Efficient Quantum Singular Value Transformation**:
- Developed a space - efficient QSVT technique that can be used to design space - constrained quantum algorithms. This technique is not only applicable to time - efficient QSVT but also can handle the bounded polynomial approximation of piecewise smooth functions with only a constant - level space overhead.

### Significance

1. **Theoretical Contribution**: The paper provides a new perspective for understanding the computational power of space - constrained quantum computing, especially by revealing the computational complexity and difficulty of these problems through the completeness results of quantum state testing problems.

2. **Practical Application**: The proposed algorithms and techniques provide tools for designing and implementing space - constrained quantum algorithms, which helps to promote the development of quantum computing in practical applications.

3. **Future Research Directions**: The new problems and new methods proposed in the paper provide rich directions for future research, especially in the fields of quantum state testing and quantum singular value transformation.

In conclusion, this paper makes important contributions to understanding and utilizing the capabilities of space - constrained quantum computing by introducing new complete problems and developing new algorithmic techniques.