Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
166 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
42 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs (2307.01481v2)

Published 4 Jul 2023 in cs.SE and quant-ph

Abstract: Quantum programs exhibit inherent non-deterministic behavior, which poses more significant challenges for error discovery compared to classical programs. While several testing methods have been proposed for quantum programs, they often overlook fundamental questions in black-box testing. In this paper, we bridge this gap by presenting three novel algorithms specifically designed to address the challenges of equivalence, identity, and unitarity checking in black-box testing of quantum programs. We also explore optimization techniques for these algorithms, including specialized versions for equivalence and unitarity checking, and provide valuable insights into parameter selection to maximize performance and effectiveness. To evaluate the effectiveness of our proposed methods, we conducted comprehensive experimental evaluations, which demonstrate that our methods can rigorously perform equivalence, identity, and unitarity checking, offering robust support for black-box testing of quantum programs.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (61)
  1. Metamorphic testing of oracle quantum programs. In 2022 IEEE/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE) (2022), IEEE, pp. 16–23.
  2. Assessing the effectiveness of input and output coverage criteria for testing quantum programs. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) (2021), IEEE, pp. 13–23.
  3. Stabilization of quantum computations by symmetrization. SIAM Journal on Computing 26, 5 (1997), 1541–1557.
  4. Quantum state discrimination. arXiv preprint arXiv:0810.1970v1 (2008).
  5. Beizer, B. Black-box testing: techniques for functional testing of software and systems. John Wiley & Sons, Inc., 1995.
  6. Quantum machine learning. Nature 549, 7671 (2017), 195–202.
  7. Quantum fingerprinting. Physical Review Letters 87, 16 (2001), 167902.
  8. Advanced equivalence checking for quantum circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40, 9 (2020), 1810–1824.
  9. Variational quantum fidelity estimation. Quantum 4 (2020), 248.
  10. Unitarity estimation for quantum channels. IEEE Transactions on Information Theory (2023), 1–1.
  11. Chernoff, H. A measure of asymptotic efficiency for tests of a hypothesis based on the sum of observations. Annals of Mathematical Statistics 23, 4 (1952), 493–507.
  12. Prescription for experimental determination of the dynamics of a quantum black box. Journal of Modern Optics 44, 11-12 (1997), 2455–2467.
  13. Quantum tomography. Advances in Imaging and Electron Physics 128 (2003), 206–309.
  14. Deutsch, D. Quantum theory, the church–turing principle and the universal quantum computer. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences 400, 1818 (1985), 97–117.
  15. Direct estimations of linear and nonlinear functionals of a quantum state. Physical review letters 88, 21 (2002), 217901.
  16. A quantum approximate optimization algorithm. arXiv preprint arXiv:1411.4028 (2014).
  17. Direct fidelity estimation from few pauli measurements. Phys. Rev. Lett. 106 (Jun 2011), 230501.
  18. Mutation testing of quantum programs: A case study with Qiskit. IEEE Transactions on Quantum Engineering 3 (2022), 1–17.
  19. Mutation testing of quantum programs written in Qiskit. In 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (2022), IEEE, pp. 358–359.
  20. QMutPy: a mutation testing tool for quantum algorithms and applications in Qiskit. In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (2022), pp. 797–800.
  21. Quantum software testing: State of the art. Journal of Software: Evolution and Process (2021), e2419.
  22. Equivalent quantum circuits. arXiv preprint arXiv:1110.2998 (2011).
  23. Grover, L. K. A fast quantum mechanical algorithm for database search. In Proceedings of the twenty-eighth annual ACM symposium on Theory of computing (1996), pp. 212–219.
  24. isQ: An integrated software stack for quantum programming. IEEE Transactions on Quantum Engineering (2023), 1–18.
  25. Quantum algorithm for linear systems of equations. Physical review letters 103, 15 (2009), 150502.
  26. Hoeffding, W. Probability inequalities for sums of bounded random variables. Journal of the American Statistical Association 58 (03 1963), 13–30.
  27. Property-based testing of quantum programs in Q#. In First International Workshop on Quantum Software Engineering (Q-SE 2020) (2020).
  28. Equivalence checking of dynamic quantum circuits. In Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design (New York, NY, USA, 2022), ICCAD ’22, Association for Computing Machinery.
  29. Approximate equivalence checking of noisy quantum circuits. In 2021 58th ACM/IEEE Design Automation Conference (DAC) (2021), IEEE, pp. 637–642.
  30. Statistical assertions for validating patterns and finding bugs in quantum programs. In Proceedings of the 46th International Symposium on Computer Architecture (2019), pp. 541–553.
  31. " non-identity-check" is qma-complete. International Journal of Quantum Information 3, 03 (2005), 463–473.
  32. Projection-based runtime assertions for testing and debugging quantum programs. Proceedings of the ACM on Programming Languages 4, OOPSLA (2020), 1–29.
  33. Testing multi-subroutine quantum programs: From unit testing to integration testing. arXiv preprint arXiv:2306.17407 (2023).
  34. Quantum computational chemistry. arXiv preprint arXiv:1808.10402 (2018).
  35. Muskit: A mutation analysis tool for quantum software testing. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (2021), IEEE, pp. 1266–1270.
  36. Mingsheng, Y. Foundations of Quantum Programming, 1st ed. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2016.
  37. On testing quantum programs. In 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) (2019), IEEE, pp. 57–60.
  38. Is your quantum program bug-free? In 2020 IEEE/ACM 42nd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) (2020), IEEE Computer Society, pp. 29–32.
  39. On testing and debugging quantum software. arXiv preprint arXiv:2103.09172 (2021).
  40. A survey of quantum property testing. arXiv preprint arXiv:1310.2035 (2013).
  41. Mosca, M. Cybersecurity in an era with quantum computers: Will we be ready? IEEE Security & Privacy 16, 5 (2018), 38–41.
  42. Quantum computing: progress and prospects. National Academies Press, 2019.
  43. Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press, 2010.
  44. Quanto: Optimizing quantum circuits with automatic generation of circuit identities. arXiv preprint arXiv:2111.11387 (2021).
  45. Shor, P. W. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM review 41, 2 (1999), 303–332.
  46. Q#: enabling scalable quantum computing and development with a high-level DSL. In Proceedings of the Real World Domain Specific Languages Workshop 2018 (2018), pp. 1–10.
  47. Checking equivalence of quantum circuits and states. In 2007 IEEE/ACM International Conference on Computer-Aided Design (2007), IEEE, pp. 69–74.
  48. Determination of quasiprobability distributions in terms of probability distributions for the rotated quadrature phase. Phys. Rev. A 40 (Sep 1989), 2847–2849.
  49. QuanFuzz: Fuzz testing of quantum program. arXiv preprint arXiv:1810.10310 (2018).
  50. Equivalence checking of sequential quantum circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41, 9 (2022), 3143–3156.
  51. Application of combinatorial testing to quantum programs. In 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) (2021), IEEE, pp. 179–188.
  52. Generating failing test suites for quantum programs with search. In International Symposium on Search Based Software Engineering (2021), Springer, pp. 9–25.
  53. Quito: a coverage-guided test generator for quantum programs. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (2021), IEEE, pp. 1237–1241.
  54. QuSBT: Search-based testing of quantum programs. arXiv preprint arXiv:2204.08561 (2022).
  55. Mutation-based test generation for quantum programs with multi-objective search. In Proceedings of the Genetic and Evolutionary Computation Conference (2022), pp. 1345–1353.
  56. Fast equivalence-checking for quantum circuits. In 2010 IEEE/ACM International Symposium on Nanoscale Architectures (2010), IEEE, pp. 23–28.
  57. Mixed-quantum-dot solar cells. Nature communications 8, 1 (2017), 1–9.
  58. Unambiguous discrimination of mixed quantum states. Physics Letters A 353, 4 (2006), 300–306.
  59. Discrimination between pure states and mixed states. Phys. Rev. A 75 (Jun 2007), 062306.
  60. Zhao, J. Quantum software engineering: Landscapes and horizons. arXiv preprint arXiv:2007.07047 (2020).
  61. Bugs4Q: A benchmark of real bugs for quantum programs. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (2021), IEEE, pp. 1373–1376.
Citations (5)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now
X Twitter Logo Streamline Icon: https://streamlinehq.com

Tweets