On statistical query sampling and NMR quantum computing

We introduce a "statistical query sampling" model, in which the goal of an algorithm is to produce an element in a hidden set S/spl sube/{0,1}/sup n/ with reasonable probability. The algorithm gains information about S through oracle calls (statistical queries), where the algorithm submits a query function g(/spl middot/) and receives an approximation to Pr/sub x/spl isin/S/[g(x)=1]. We show how this model is related to NMR quantum computing, in which only statistical properties of an ensemble of quantum systems can be measured, and in particular to the question of whether one can translate standard quantum algorithms to the NMR setting without putting all of their classical postprocessing into the quantum system. Using Fourier analysis techniques developed in the related context of statistical query learning, we prove a number of lower bounds (both information-theoretic and cryptographic) on the ability of algorithms to produce an x/spl isin/S, even when the set S is fairly simple. These lower bounds point out a difficulty in efficiently applying NMR quantum computing to algorithms such as Shor's and Simon's algorithm that involve significant classical postprocessing. We also explicitly relate the notion of statistical query sampling to that of statistical query learning.

[1]  Daniel R. Simon,et al.  On the power of quantum computation , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[2]  Timothy F. Havel,et al.  Ensemble quantum computing by NMR spectroscopy , 1997, Proc. Natl. Acad. Sci. USA.

[3]  D. Deutsch Quantum computational networks , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[4]  H. S. Allen The Quantum Theory , 1928, Nature.

[5]  Umesh V. Vazirani,et al.  Quantum Mechanical Algorithms for the Nonabelian Hidden Subgroup Problem , 2004, Comb..

[6]  Amr F. Fahmy,et al.  Ensemble Quantum Computing by Nuclear Magnetic Resonance Spectroscopy , 1997 .

[7]  N. Gershenfeld,et al.  Bulk Spin-Resonance Quantum Computation , 1997, Science.

[8]  Sean Hallgren,et al.  Quantum Fourier sampling simplified , 1999, STOC '99.

[9]  Yishay Mansour,et al.  Weakly learning DNF and characterizing statistical query learning using Fourier analysis , 1994, STOC '94.

[10]  Peter W. Shor,et al.  Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer , 1995, SIAM Rev..

[11]  Dana Angluin,et al.  When won't membership queries help? , 1991, STOC '91.

[12]  N. Fisher,et al.  Probability Inequalities for Sums of Bounded Random Variables , 1994 .

[13]  Umesh V. Vazirani,et al.  An Introduction to Computational Learning Theory , 1994 .

[14]  SubgroupsMark Ettinger On Quantum Algorithms for Non ommutative Hidden Subgroups , 1999 .

[15]  John Rompel,et al.  One-way functions are necessary and sufficient for secure signatures , 1990, STOC '90.

[16]  U. Vazirani,et al.  Quantum algorithms and the fourier transform , 2004 .

[17]  Jeffrey C. Jackson On the Efficiency of Noise-Tolerant PAC Algorithms Derived from Statistical Queries , 2004, Annals of Mathematics and Artificial Intelligence.

[18]  Peter W. Shor,et al.  Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[19]  Andrew Chi-Chih Yao,et al.  Quantum Circuit Complexity , 1993, FOCS.

[20]  Umesh V. Vazirani,et al.  Quantum mechanical algorithms for the nonabelian hidden subgroup problem , 2001, STOC '01.

[21]  E. Knill,et al.  Hidden Subgroup States are Almost Orthogonal , 1999, quant-ph/9901034.

[22]  Michael Kearns,et al.  Efficient noise-tolerant learning from statistical queries , 1993, STOC.

[23]  Alexander Russell,et al.  Normal subgroup reconstruction and quantum computation using group representations , 2000, STOC '00.

[24]  DiVincenzo Two-bit gates are universal for quantum computation. , 1994, Physical review. A, Atomic, molecular, and optical physics.

[25]  D. Leung,et al.  Experimental realization of a quantum algorithm , 1998, Nature.

[26]  Sean Hallgren,et al.  Polynomial-time quantum algorithms for Pell's equation and the principal ideal problem , 2002, STOC '02.

[27]  D. Deutsch Quantum theory, the Church–Turing principle and the universal quantum computer , 1985, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[28]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, STOC '84.

[29]  Mark Ettinger,et al.  On Quantum Algorithms for Noncommutative Hidden Subgroups , 1998, STACS.

[30]  Ke Yang,et al.  New Lower Bounds for Statistical Query Learning , 2002, COLT.

[31]  Umesh V. Vazirani,et al.  Quantum complexity theory , 1993, STOC.

[32]  W. Hoeffding Probability Inequalities for sums of Bounded Random Variables , 1963 .

[33]  David C. Collins Modified Grover's algorithm for an expectation-value quantum computer , 2001, quant-ph/0111108.

[34]  Silvio Micali,et al.  A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks , 1988, SIAM J. Comput..