Hardness of classically sampling one clean qubit model with constant total variation distance error

The one clean qubit model (or the DQC1 model) is a restricted model of quantum computing where only a single input qubit is pure and all other input qubits are maximally mixed. In spite of the severe restriction, the model can solve several problems (such as calculating Jones polynomials) whose classical efficient solutions are not known. Furthermore, it was shown that if the output probability distribution of the one clean qubit model can be classically efficiently sampled with a constant multiplicative error, then the polynomial hierarchy collapses to the second level. Is it possible to improve the multiplicative error hardness result to a constant total variation distance error one like other sub-universal quantum computing models such as the IQP model, the Boson Sampling model, and the Fourier Sampling model? In this paper, we show that it is indeed possible if we accept a modified version of the average case hardness conjecture. Interestingly, the anti-concentration lemma can be easily shown by using the special property of the one clean qubit model that each output probability is so small that no concentration occurs.

[1]  R Laflamme,et al.  Experimental approximation of the Jones polynomial with one quantum bit. , 2009, Physical review letters.

[2]  Ashley Montanaro,et al.  Average-case complexity versus approximate simulation of commuting quantum computations , 2015, Physical review letters.

[3]  Larry J. Stockmeyer,et al.  On Approximation Algorithms for #P , 1985, SIAM J. Comput..

[4]  Gorjan Alagic,et al.  Approximating the Turaev-Viro Invariant of Mapping Tori is Complete for One Clean Qubit , 2011, TQC.

[5]  R. Jozsa,et al.  Classical simulation of commuting quantum computations implies collapse of the polynomial hierarchy , 2010, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[6]  Pawel Wocjan,et al.  Estimating Jones and Homfly polynomials with one clean qubit , 2008, Quantum Inf. Comput..

[7]  R. Laflamme,et al.  Exponential speedup with a single bit of quantum information: measuring the average fidelity decay. , 2003, Physical review letters.

[8]  E. Knill,et al.  Power of One Bit of Quantum Information , 1998, quant-ph/9802037.

[9]  Scott Aaronson,et al.  The computational complexity of linear optics , 2010, STOC '11.

[10]  David Poulin,et al.  Testing integrability with a single bit of quantum information , 2003 .

[11]  Scott Aaronson,et al.  Quantum computing, postselection, and probabilistic polynomial-time , 2004, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[12]  Keisuke Fujii,et al.  Power of Quantum Computation with Few Clean Qubits , 2015, ICALP.

[13]  Todd A. Brun,et al.  Quantum Computing , 2011, Computer Science, The Hardware, Software and Heart of It.

[14]  Bill Fefferman,et al.  The Power of Quantum Fourier Sampling , 2015, TQC.

[15]  Peter W. Shor,et al.  Estimating Jones polynomials is a complete problem for one clean qubit , 2007, Quantum Inf. Comput..

[16]  Keisuke Fujii,et al.  On the hardness of classically simulating the one clean qubit model , 2013, Physical review letters.

[17]  Keisuke Fujii,et al.  Quantum Commuting Circuits and Complexity of Ising Partition Functions , 2013, ArXiv.