Elementary proofs of quantum lower bounds for element distinctness and k-sum
π arXiv:2610.32693 Β· π₯ PDF Β· 2026-10-23 Β· quant-ph
Authors: Andris Ambainis [arXiv Β· scholar] , Martins Kokainis [arXiv Β· scholar]
π Abstract
We give elementary proofs of the $Ξ©(n^{2/3})$ quantum query lower bound for element distinctness and the $Ξ©(n^{k/(k+1)})$ lower bound for the $k$-sum problem, for fixed $k$ and sufficiently large groups. The proofs use only basic properties of quantum states and linear algebra, analyzing the differences of algorithm states on different inputs.