Efficiently estimating average fidelity of a quantum logic gate using few classical random bits.

We give three new algorithms for efficient in-place estimation, without using ancilla qubits, of average fidelity of a quantum logic gate acting on a d-dimensional system using much fewer random bits than what was known so far. Previous approaches for efficient estimation of average gate fidelity replaced Haar random unitaries in the naive estimation algorithm by approximate unitary 2-designs, and sampled them uniformly and independently. In contrast, in our first algorithm we sample the unitaries of the approximate unitary 2-design uniformly using a limited independence pseudorandom generator, a powerful tool from derandomisation theory. This algorithm uses the same number of basic operations as previous efficient algorithms but much fewer number of random bits. Reducing the requirement of classical random bits increases the reliability of estimation as often, high quality random bits are an expensive computational resource. Our second efficient algorithm, based on a 4-quantum tensor product expander, works if the gate dimension d is large. It uses even lesser random bits than the first algorithm, and has the added advantage that it needs to implement only one unitary versus potentially all the unitaries of an approximate 2-design in the first algorithm. Our third efficient algorithm, based on an l-quantum tensor product expander for moderately large values of l, works for all values of the parameters. It uses slightly more random bits than the other algorithms but has the advantage that it needs to implement only a small number of unitaries versus potentially all the unitaries of an approximate 2-design in the first algorithm. This advantage is of great importance to experimental implementations in the near future.

[1]  Li Liu,et al.  Near-linear constructions of exact unitary 2-designs , 2015, Quantum Inf. Comput..

[2]  Aravind Srinivasan,et al.  Chernoff-Hoeffding bounds for applications with limited independence , 1995, SODA '93.

[3]  Matthew B. Hastings,et al.  Classical and quantum tensor product expanders , 2008, Quantum Inf. Comput..

[4]  Raymond Laflamme,et al.  Symmetrized Characterization of Noisy Quantum Processes , 2007, Science.

[6]  R. A. Low Large deviation bounds for k-designs , 2009, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[7]  Oded Goldreich,et al.  Pseudorandom Generators: A Primer , 2008 .

[8]  Pranab Sen,et al.  From Low-Distortion Norm Embeddings to Explicit Uncertainty Relations and Efficient Information Locking , 2010, JACM.

[9]  Noga Alon,et al.  Simple Construction of Almost k-wise Independent Random Variables , 1992, Random Struct. Algorithms.

[10]  Robin Blume-Kohout,et al.  Gate fidelity fluctuations and quantum process invariants , 2009, 0910.1315.

[11]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[12]  Alexei Y. Kitaev,et al.  Parallelization, amplification, and exponential time simulation of quantum interactive proof systems , 2000, STOC '00.

[13]  Noga Alon,et al.  Simple construction of almost k-wise independent random variables , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

[14]  J. Emerson,et al.  Scalable noise estimation with random unitary operators , 2005, quant-ph/0503243.

[15]  Mihir Bellare,et al.  Randomness-efficient oblivious sampling , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[16]  Debbie W. Leung,et al.  Quantum data hiding , 2002, IEEE Trans. Inf. Theory.

[17]  Christoph Dankert,et al.  Exact and approximate unitary 2-designs and their application to fidelity estimation , 2009 .

[18]  Pranab Sen Efficient quantum tensor product expanders and unitary t-designs via the zigzag product. , 2018 .

[19]  V. Koltchinskii,et al.  High Dimensional Probability , 2006, math/0612726.