Quantum Lower Bound for the Collision Problem

dc.creatorAaronson, Scott
dc.date2001-11-20
dc.date.accessioned2026-07-07T06:03:03Z
dc.date.available2026-07-07T06:03:03Z
dc.descriptionThe collision problem is to decide whether a function X:{1,..,n}->{1,..,n} is one-to-one or two-to-one, given that one of these is the case. We show a lower bound of Theta(n^{1/5}) on the number of queries needed by a quantum computer to solve this problem with bounded error probability. The best known upper bound is O(n^{1/3}), but obtaining any lower bound better than Theta(1) was an open problem since 1997. Our proof uses the polynomial method augmented by some new ideas. We also give a lower bound of Theta(n^{1/7}) for the problem of deciding whether two sets are equal or disjoint on a constant fraction of elements. Finally we give implications of these results for quantum complexity theory.
dc.description10 pages plus 4 page appendix, no figures. Submitted to STOC'2002
dc.identifierhttps://arxiv.org/abs/quant-ph/0111102
dc.identifierhttp://arxiv.org/abs/quant-ph/0111102
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/89846
dc.subjectQuantum Physics
dc.subjectComputational Complexity
dc.titleQuantum Lower Bound for the Collision Problem
dc.typetext

Files

Collections