Efficient verification of quantum processes

Quantum processes, such as quantum circuits, quantum memories, and quantum channels, are essential ingredients in almost all quantum information processing tasks. However, the characterization of these processes remains as a daunting task due to the exponentially increasing amount of resources required by traditional methods. Here, by first proposing the concept of quantum process verification, we establish two efficient and practical protocols for verifying quantum processes which can provide an exponential improvement over the standard quantum process tomography and a quadratic improvement over the method of direct fidelity estimation. The efficacy of our protocols is illustrated with the verification of various quantum gates as well as the processes of well-known quantum circuits. Moreover, our protocols are readily applicable with current experimental techniques since only local measurements are required. In addition, we show that our protocols for verifying quantum processes can be easily adapted to verify quantum measurements.

[1]  Isaac L. Chuang,et al.  Prescription for experimental determination of the dynamics of a quantum black box , 1997 .

[2]  A. Datta,et al.  Accrediting outputs of noisy intermediate-scale quantum computing devices , 2018, New Journal of Physics.

[3]  A. Jamiołkowski.  Linear transformations which preserve trace and positive semidefiniteness of operators , 1972 .

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

[5]  Zach DeVito,et al.  Opt , 2017 .

[6]  Xiao-Dong Yu,et al.  Optimal verification of general bipartite pure states , 2019, npj Quantum Information.

[7]  Joseph Emerson,et al.  Scalable and robust randomized benchmarking of quantum processes. , 2010, Physical review letters.

[8]  S. Lloyd,et al.  Advances in quantum metrology , 2011, 1102.2318.

[9]  G M D'Ariano,et al.  Quantum tomography for measuring experimentally the matrix elements of an arbitrary quantum operation. , 2001, Physical review letters.

[10]  Jiangwei Shang,et al.  Efficient Verification of Dicke States , 2019, Physical Review Applied.

[11]  Masahito Hayashi,et al.  A study of LOCC-detection of a maximally entangled state using hypothesis testing , 2006 .

[12]  Stephen Becker,et al.  Quantum state tomography via compressed sensing. , 2009, Physical review letters.

[13]  Steven T. Flammia,et al.  Randomized benchmarking with confidence , 2014, 1404.6025.

[14]  Masahito Hayashi,et al.  Verification of hypergraph states , 2017 .

[15]  P. Zoller,et al.  Complete Characterization of a Quantum Process: The Two-Bit Quantum Gate , 1996, quant-ph/9611013.

[16]  Masahito Hayashi,et al.  Optimal verification and fidelity estimation of maximally entangled states , 2019, Physical Review A.

[17]  A. G. White,et al.  Ancilla-assisted quantum process tomography. , 2003, Physical review letters.

[18]  Tomoyuki Morimae,et al.  Verification of Many-Qubit States , 2017, Physical Review X.

[19]  Huangjun Zhu,et al.  Efficient verification of quantum gates with local operations , 2020 .

[20]  D. Deutsch,et al.  Rapid solution of problems by quantum computation , 1992, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences.

[21]  Man-Duen Choi.  Completely positive linear maps on complex matrices , 1975 .

[22]  Antonio-José Almeida,et al.  NAT , 2019, Springer Reference Medizin.

[23]  David Poulin,et al.  Practical characterization of quantum devices without tomography. , 2011, Physical review letters.

[24]  Masahito Hayashi,et al.  General framework for verifying pure quantum states in the adversarial scenario , 2019 .

[25]  Steven T. Flammia,et al.  Quantum tomography via compressed sensing: error bounds, sample complexity and efficient estimators , 2012, 1205.2300.

[26]  Jens Eisert,et al.  Guaranteed recovery of quantum processes from few measurements , 2017, Quantum.

[27]  Joseph Emerson,et al.  Efficient error characterization in quantum information processing , 2007 .

[28]  M. Horodecki,et al.  General teleportation channel, singlet fraction and quasi-distillation , 1998, quant-ph/9807091.

[29]  Yun-Guang Han,et al.  Efficient verification of bipartite pure states , 2019, Physical Review A.

[30]  I. Chuang,et al.  Quantum Computation and Quantum Information: Bibliography , 2010 .

[31]  P. Walther,et al.  Experimental few-copy multi-particle entanglement detection , 2018, Nature Physics.

[32]  G. Tóth,et al.  Quantum metrology from a quantum information science perspective , 2014, 1405.4878.

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

[34]  E. Knill,et al.  Randomized Benchmarking of Quantum Gates , 2007, 0707.0963.

[35]  Masahito Hayashi,et al.  Efficient Verification of Pure Quantum States in the Adversarial Scenario. , 2019, Physical review letters.

[36]  Aleksandra Dimić,et al.  Single-copy entanglement detection , 2017, 1705.06719.

[37]  Ashley Montanaro,et al.  Optimal Verification of Entangled States with Local Measurements. , 2017, Physical review letters.

[38]  Masahito Hayashi,et al.  Efficient Verification of Hypergraph States , 2018, Physical Review Applied.

[39]  Mark M. Wilde.  Quantum Information Theory by Mark M. Wilde , 2013 .

[40]  Isaac L. Chuang,et al.  Quantum Computation and Quantum Information: Frontmatter , 2010 .

[41]  Masahito Hayashi,et al.  Optimal verification of two-qubit pure states , 2019, Physical Review A.

[42]  M. Wilde.  Quantum Information Theory: Noisy Quantum Shannon Theory , 2013 .

[43]  Yi-Kai Liu,et al.  Direct fidelity estimation from few Pauli measurements. , 2011, Physical review letters.