Equivalence, identity, and unitarity checking in black-box testing of quantum programs
- 15 February 2024
- journal article
- research article
- Published by Elsevier in Journal of Systems and Software
- Vol. 211
Abstract
No abstract availableKeywords
All Related Versions
Funding Information
- Japan Society for the Promotion of Science London
- Japan Society for the Promotion of Science (JP23H03372)
- National Natural Science Foundation of China (61832015)
This publication has 27 references indexed in Scilit:
- Quantum Algorithm for Linear Systems of EquationsPhysical Review Letters, 2009
- Discrimination between pure states and mixed statesPhysical Review A, 2007
- Unambiguous discrimination of mixed quantum statesPhysics Letters A, 2006
- Direct Estimations of Linear and Nonlinear Functionals of a Quantum StatePhysical Review Letters, 2002
- Quantum FingerprintingPhysical Review Letters, 2001
- Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum ComputerSIAM Review, 1999
- Prescription for experimental determination of the dynamics of a quantum black boxJournal of Modern Optics, 1997
- Determination of quasiprobability distributions in terms of probability distributions for the rotated quadrature phasePhysical Review A, 1989
- Probability Inequalities for Sums of Bounded Random VariablesJournal of the American Statistical Association, 1963
- A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of ObservationsThe Annals of Mathematical Statistics, 1952