Lower bounds for quantum-inspired classical algorithms via communication complexity

Nikhil S. Mande,Changpeng Shao
2024-05-09
Abstract:Quantum-inspired classical algorithms provide us with a new way to understand the computational power of quantum computers for practically-relevant problems, especially in machine learning. In the past several years, numerous efficient algorithms for various tasks have been found, while an analysis of lower bounds is still missing. Using communication complexity, in this work we propose the first method to study lower bounds for these tasks. We mainly focus on lower bounds for solving linear regressions, supervised clustering, principal component analysis, recommendation systems, and Hamiltonian simulations. For those problems, we prove a quadratic lower bound in terms of the Frobenius norm of the underlying matrix. As quantum algorithms are linear in the Frobenius norm for those problems, our results mean that the quantum-classical separation is at least quadratic. As a generalisation, we extend our method to study lower bounds analysis of quantum query algorithms for matrix-related problems using quantum communication complexity. Some applications are given.
Quantum Physics,Computational Complexity
What problem does this paper attempt to address?
The problem this paper attempts to address is the lower bound analysis of quantum-inspired classical algorithms when dealing with practically relevant problems. Specifically, the authors propose, for the first time, a method to study these task lower bounds through communication complexity, focusing mainly on tasks such as linear regression, supervised clustering, principal component analysis, recommendation systems, and Hamiltonian simulation. For these problems, the authors prove quadratic lower bounds in terms of the Frobenius norm of the matrix. Since quantum algorithms are linear for such problems, their results imply that the separation between quantum and classical algorithms is at least quadratic. ### Main Contributions 1. **Proposed Method**: Using communication complexity to study the lower bounds of quantum-inspired classical algorithms, which is a first attempt. 2. **Specific Problems**: Proving quadratic lower bounds in terms of the Frobenius norm for tasks such as linear regression, supervised clustering, principal component analysis, recommendation systems, and Hamiltonian simulation. 3. **Extended Application**: Extending the method to study the lower bound analysis of quantum query algorithms related to matrix problems. ### Method Overview - **Communication Complexity Model**: By establishing a connection between quantum-inspired classical algorithms and communication complexity, using known communication complexity lower bounds (such as the set disjointness problem) to derive the lower bounds of quantum-inspired classical algorithms. - **Specific Implementation**: Assuming input data is accessed through some data structure (such as SQ), simulating quantum-inspired classical algorithms through communication protocols in a multi-player coordination model. ### Key Technical Details - **Data Structure SQ**: Allows sampling and querying specific entries from vectors or matrices. - **Communication Protocol**: Implementing SQ operations through communication between a coordinator and players to simulate quantum-inspired classical algorithms. - **Lower Bound Proof**: Deriving corresponding lower bounds by reducing problems like linear regression to known communication complexity problems (such as the set disjointness problem). ### Conclusion - **Quadratic Lower Bound**: For the aforementioned tasks, the complexity of quantum-inspired classical algorithms is at least a quadratic function of the Frobenius norm. - **Future Work**: Further improving the lower bounds or finding more efficient quantum-inspired classical algorithms. ### Significance This research not only fills the gap in the lower bound analysis of quantum-inspired classical algorithms but also provides a new perspective for understanding the separation between quantum and classical algorithms. This is of significant importance for algorithm design in machine learning and other practical applications.