{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,21]],"date-time":"2026-03-21T19:47:44Z","timestamp":1774122464601,"version":"3.50.1"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,11,21]],"date-time":"2012-11-21T00:00:00Z","timestamp":1353456000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Quantum Inf Process"],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1007\/s11128-012-0506-4","type":"journal-article","created":{"date-parts":[[2012,11,22]],"date-time":"2012-11-22T18:06:43Z","timestamp":1353607603000},"page":"2027-2070","source":"Crossref","is-referenced-by-count":107,"title":["Quantum adiabatic machine learning"],"prefix":"10.1007","volume":"12","author":[{"given":"Kristen L.","family":"Pudenz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel A.","family":"Lidar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,11,21]]},"reference":[{"key":"506_CR1","volume-title":"Statistical Learning Theory","author":"VN Vapnik","year":"1998","unstructured":"Vapnik, V.N.: Statistical Learning Theory. Wiley, London (1998)"},{"key":"506_CR2","doi-asserted-by":"crossref","first-page":"1067","DOI":"10.1137\/S0097539704412910","volume":"33","author":"RA Servedio","year":"2004","unstructured":"Servedio, R.A., Gortler, S.J.: Equivalences and separations between quantum and classical learnability. SIAM J. Comput. 33, 1067 (2004)","journal-title":"SIAM J. Comput."},{"key":"506_CR3","doi-asserted-by":"crossref","unstructured":"A\u00efmeur, E., Brassard, G., Gambs, S.: Machine learning in a quantum world. In: Lamontagne, L., Marchand, M. (eds.) Advances in Artificial Intelligence, vol. 4013 of Lecture Notes in Computer Science, p. 431. Springer, Berlin (2006)","DOI":"10.1007\/11766247_37"},{"key":"506_CR4","doi-asserted-by":"crossref","unstructured":"Meir, R., R\u00e4tsch, G.: An introduction to boosting and leveraging. In: Mendelson, S., Smola, A. (eds.) Advanced Lectures on Machine Learning, vol. 2600 of Lecture Notes in Computer Science, p. 118. Springer, Berlin (2003)","DOI":"10.1007\/3-540-36434-X_4"},{"key":"506_CR5","first-page":"771","volume":"14","author":"Y Freund","year":"1999","unstructured":"Freund, Y., Schapire, R., Abe, N.: A short introduction to boosting. J. Jpn. Soc. Artif. Intell. 14, 771 (1999)","journal-title":"J. Jpn. Soc. Artif. Intell."},{"key":"506_CR6","unstructured":"Neven, H., Denchev, V.S., Rose, G., Macready, W.G.: Training a binary classifier with the quantum adiabatic algorithm. eprint arXiv:0811.0416"},{"key":"506_CR7","unstructured":"Neven, H., Denchev., V.S., Drew-Brook, M., Zhang, J., Macready, W.G., Rose, G.: NIPS 2009 demonstration: Binary classification using hardware implementation of quantum annealing (2009)"},{"issue":"3","key":"506_CR8","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/1541880.1541882","volume":"41","author":"V Chandola","year":"2009","unstructured":"Chandola, V., Banerjee, A., Kumar, V.: Anomaly detection: A survey. ACM Comput. Surv. (CSUR) 41(3), 15 (2009)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"506_CR9","first-page":"1","volume-title":"Structured Programming","author":"EW Dijkstra","year":"1972","unstructured":"Dijkstra, E.W.: Notes on structured programming. In: Dahl, O.-J., Dijkstra, E.W., Hoare, C.A.R. (eds.) Structured Programming, p. 1. Academic Press, New York (1972)"},{"key":"506_CR10","unstructured":"Tassey, G.: The economic impacts of inadequate infrastructure for software testing. National Institute of Standards and Technology, RTI Project 7007.011 (2002)"},{"key":"506_CR11","doi-asserted-by":"crossref","unstructured":"Bryce, R., Kuhn, R., Lei, Y., Kacker, R.: Combinatorial testing. In: Ramachandran, M., de Carvalho, R.A. (eds.) Handbook of Software Engineering Research and Productivity Technologies, p. 196. IGI Global (2009)","DOI":"10.4018\/978-1-60566-731-7.ch014"},{"key":"506_CR12","doi-asserted-by":"crossref","unstructured":"Kuhn, D.R., Kacker, R.N., Lei, Y.: Practical combinatorial testing. NIST Special, Publication 800\u2013142 (2010)","DOI":"10.6028\/NIST.SP.800-142"},{"key":"506_CR13","unstructured":"Grindal, M., Offutt, J., Andler, S.F.: Combination Testing Strategies: A survey. GMU Technical, Report ISE-TR-04-05 (2004)"},{"key":"506_CR14","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1109\/52.536462","volume":"13","author":"DM Cohen","year":"1996","unstructured":"Cohen, D.M., Dalal, S.R., Parelius, J., Patton, G.C.: The combinatorial design approach to automatic test generation. Softw. IEEE 13, 83 (1996)","journal-title":"Softw. IEEE"},{"key":"506_CR15","doi-asserted-by":"crossref","first-page":"1165","DOI":"10.1109\/TCAD.2008.923410","volume":"27","author":"V D\u2019Silva","year":"2008","unstructured":"D\u2019Silva, V., Kroening, D., Weissenbacher, G.: A survey of automated techniques for formal software verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27, 1165 (2008)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"506_CR16","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1016\/j.jal.2007.07.003","volume":"7","author":"T Weber","year":"2009","unstructured":"Weber, T., Amjad, H.: Efficiently checking propositional refutations in HOL theorem provers. J. Appl. Log. 7, 26 (2009)","journal-title":"J. Appl. Log."},{"key":"506_CR17","unstructured":"Neven, H., Rose, G., Macready, W.G.: Image recognition with an adiabatic quantum computer I. mapping to quadratic unconstrained binary optimization. eprint arXiv:0804.4457"},{"key":"506_CR18","unstructured":"Neven, H., Denchev, V.S., Rose, G., Macready, W.G.: Training a large scale classifier with the quantum adiabatic algorithm. eprint arXiv:0912.0779"},{"key":"506_CR19","unstructured":"Bian, Z., Chudak, F., Macready, W.G., Rose, G.: The Ising model: teaching an old problem new tricks. D-Wave Systems (2010)"},{"key":"506_CR20","first-page":"197","volume":"5","author":"RE Schapire","year":"1990","unstructured":"Schapire, R.E.: The strength of weak learnability. Mach. Learn. 5, 197 (1990)","journal-title":"Mach. Learn."},{"key":"506_CR21","unstructured":"Farhi, E., Goldstone, J., Gutmann, S., Sipser, M.: Quantum computation by adiabatic evolution. eprint quant-ph\/0001106"},{"issue":"5516","key":"506_CR22","doi-asserted-by":"crossref","first-page":"472","DOI":"10.1126\/science.1057726","volume":"292","author":"E Farhi","year":"2001","unstructured":"Farhi, E., Goldstone, J., Gutmann, S., Lapan, J., Lundgren, A., Preda, D.: A quantum adiabatic evolution algorithm applied to random instances of an NP-complete problem. Science 292(5516), 472 (2001)","journal-title":"Science"},{"key":"506_CR23","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1137\/S0097539705447323","volume":"37","author":"D Aharonov","year":"2007","unstructured":"Aharonov, D., van Dam, W., Kempe, J., Landau, Z., Lloyd, S., Regev, O.: Adiabatic quantum computation is equivalent to standard quantum computation. SIAM J. Comput. 37, 166 (2007)","journal-title":"SIAM J. Comput."},{"key":"506_CR24","doi-asserted-by":"crossref","first-page":"070502","DOI":"10.1103\/PhysRevLett.99.070502","volume":"99","author":"A Mizel","year":"2007","unstructured":"Mizel, A., Lidar, D.A., Mitchell, M.: Simple proof of equivalence between adiabatic quantum computation and the circuit model. Phys. Rev. Lett. 99, 070502 (2007)","journal-title":"Phys. Rev. Lett."},{"key":"506_CR25","doi-asserted-by":"crossref","first-page":"052322","DOI":"10.1103\/PhysRevA.74.052322","volume":"74","author":"SP Jordan","year":"2006","unstructured":"Jordan, S.P., Farhi, E., Shor, P.W.: Error-correcting codes for adiabatic quantum computation. Phys. Rev. A 74, 052322 (2006)","journal-title":"Phys. Rev. A"},{"key":"506_CR26","doi-asserted-by":"crossref","first-page":"160506","DOI":"10.1103\/PhysRevLett.100.160506","volume":"100","author":"Daniel A Lidar","year":"2008","unstructured":"Lidar, Daniel A.: Towards fault tolerant adiabatic quantum computation. Phys. Rev. Lett. 100, 160506 (2008)","journal-title":"Phys. Rev. Lett."},{"key":"506_CR27","doi-asserted-by":"crossref","first-page":"012322","DOI":"10.1103\/PhysRevA.65.012322","volume":"65","author":"Andrew M Childs","year":"2001","unstructured":"Childs, Andrew M., Edward, Farhi, John, Preskill: Robustness of adiabatic quantum computation. Phys. Rev. A 65, 012322 (2001)","journal-title":"Phys. Rev. A"},{"key":"506_CR28","doi-asserted-by":"crossref","first-page":"250503","DOI":"10.1103\/PhysRevLett.95.250503","volume":"95","author":"MS Sarandy","year":"2005","unstructured":"Sarandy, M.S., Lidar, D.A.: Adiabatic quantum computation in open systems. Phys. Rev. Lett. 95, 250503 (2005)","journal-title":"Phys. Rev. Lett."},{"key":"506_CR29","doi-asserted-by":"crossref","unstructured":"Stehle, E., Lynch, K., Shevertalov, M., Rorres, C., Mancoridis, S.: On the use of computational geometry to detect software faults at runtime. ICAC10, June 711. Washington, DC, USA (2010)","DOI":"10.1145\/1809049.1809069"},{"key":"506_CR30","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1109\/TSE.2006.79","volume":"32","author":"Y Le Traon","year":"2006","unstructured":"Le Traon, Y., Baudry, B., Jezequel, J.-M.: Design by contract to improve software vigilance. IEEE Trans. Softw. Eng. 32, 571 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"506_CR31","doi-asserted-by":"crossref","unstructured":"Mannor, S., Meir, R.: Geometric bounds for generalization in boosting. In: Helmbold, D., Williamson, B. (eds.) Computational Learning Theory, vol. 2111 of Lecture Notes in Computer Science, pp. 461\u2013472. Springer, Berlin (2001)","DOI":"10.1007\/3-540-44581-1_30"},{"key":"506_CR32","first-page":"249","volume":"31","author":"SB Kotsiantis","year":"2007","unstructured":"Kotsiantis, S.B.: Supervised machine learning: A review of classification techniques. Informatica 31, 249 (2007)","journal-title":"Informatica"},{"key":"506_CR33","first-page":"1205","volume":"5","author":"L Yu","year":"2004","unstructured":"Yu, L., Liu, H.: Efficient feature selection via analysis of relevance and redundancy. J. Mach. Learn. Res. 5, 1205 (2004)","journal-title":"J. Mach. Learn. Res."},{"key":"506_CR34","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1080\/713827180","volume":"17","author":"S Zhang","year":"2003","unstructured":"Zhang, S., Zhang, C., Yang, Q.: Data preparation for data mining. Appl. Artif. Intell. 17, 375 (2003)","journal-title":"Appl. Artif. Intell."},{"key":"506_CR35","doi-asserted-by":"crossref","unstructured":"Cheng, H., Yan, X., Han, J., Hsu, C.-W.: Discriminative frequent pattern analysis for effective classification. In: International Conference on Data Engineering, p. 716 (2007)","DOI":"10.1109\/ICDE.2007.367917"},{"key":"506_CR36","doi-asserted-by":"crossref","first-page":"801","DOI":"10.1214\/aos\/1024691079","volume":"26","author":"L Breiman","year":"1998","unstructured":"Breiman, L.: Arcing classifiers. Ann. Stat. 26, 801 (1998)","journal-title":"Ann. Stat."},{"key":"506_CR37","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/0020-0190(87)90114-1","volume":"24","author":"A Blumer","year":"1987","unstructured":"Blumer, A., Ehrenfeucht, A., Haussler, D., Warmuth, M.K.: Occam\u2019s razor. Inf. Process. Lett. 24, 377 (1987)","journal-title":"Inf. Process. Lett."},{"key":"506_CR38","doi-asserted-by":"crossref","first-page":"012352","DOI":"10.1103\/PhysRevA.78.012352","volume":"78","author":"JD Biamonte","year":"2008","unstructured":"Biamonte, J.D., Peter, Love: Realizable Hamiltonians for universal adiabatic quantum computers. Phys. Rev. A 78, 012352 (2008)","journal-title":"Phys. Rev. A"},{"key":"506_CR39","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s11128-008-0082-9","volume":"7","author":"V Choi","year":"2008","unstructured":"Choi, V.: Minor-embedding in adiabatic quantum computation: I. The parameter setting problem. Quantum Inf. Process. 7, 193 (2008)","journal-title":"Quantum Inf. Process."},{"key":"506_CR40","doi-asserted-by":"crossref","unstructured":"Karimi, K., Dickson, N.G., Hamze, F., Amin, M.H.S., Drew-Brook, M., Chudak, F.A., Bunyk, P.I., Macready, W.G., Rose, G.: Investigating the performance of an adiabatic quantum optimization processor. Quantum Inf. Process. 11(1), 77 (2012)","DOI":"10.1007\/s11128-011-0235-0"},{"key":"506_CR41","doi-asserted-by":"crossref","first-page":"024511","DOI":"10.1103\/PhysRevB.82.024511","volume":"82","author":"R Harris","year":"2010","unstructured":"Harris, R., Johnson, M.W., Lanting, T., Berkley, A.J., Johansson, J., Bunyk, P., Tolkacheva, E., Ladizinsky, E., Ladizinsky, N., Oh, T., Cioata, F., Perminov, I., Spear, P., Enderud, C., Rich, C., Uchaikin, S., Thom, M.C., Chapple, E.M., Wang, J., Wilson, B., Amin, M.H.S., Dickson, N., Karimi, K., Macready, W., Truncik, C.J.S., Rose, G.: Experimental investigation of an eight-qubit unit cell in a superconducting optimization processor. Phys. Rev. B 82, 024511 (2010)","journal-title":"Phys. Rev. B"},{"key":"506_CR42","doi-asserted-by":"crossref","unstructured":"Cheng, H., Yan, X., Han, J., Hsu, C.-W.: Discriminative frequent pattern analysis for effective classification. In: IEEE 23rd International Conference on Data Engineering, Istanbul, Turkey (2007)","DOI":"10.1109\/ICDE.2007.367917"},{"key":"506_CR43","doi-asserted-by":"crossref","DOI":"10.1007\/b13355","volume-title":"Adiabatic Perturbation Theory in Quantum Dynamics","author":"S Teufel","year":"2003","unstructured":"Teufel, S.: Adiabatic Perturbation Theory in Quantum Dynamics. Springer, Berlin (2003)"},{"key":"506_CR44","doi-asserted-by":"crossref","first-page":"102111","DOI":"10.1063\/1.2798382","volume":"48","author":"S Jansen","year":"2007","unstructured":"Jansen, S., Ruskai, M.-B., Seiler, R.: Bounds for the adiabatic approximation with applications to quantum computation. J. Math. Phys. 48, 102111 (2007)","journal-title":"J. Math. Phys."},{"key":"506_CR45","doi-asserted-by":"crossref","first-page":"102106","DOI":"10.1063\/1.3236685","volume":"50","author":"DA Lidar","year":"2009","unstructured":"Lidar, D.A., Rezakhani, A.T., Hamma, A.: Adiabatic approximation with exponential accuracy for many-body systems and quantum computation. J. Math. Phys. 50, 102106 (2009)","journal-title":"J. Math. Phys."},{"key":"506_CR46","doi-asserted-by":"crossref","first-page":"042308","DOI":"10.1103\/PhysRevA.65.042308","volume":"65","author":"J Roland","year":"2002","unstructured":"Roland, J., Cerf, N.J.: Quantum search by local adiabatic evolution. Phys. Rev. A 65, 042308 (2002)","journal-title":"Phys. Rev. A"},{"key":"506_CR47","doi-asserted-by":"crossref","first-page":"052305","DOI":"10.1103\/PhysRevA.82.052305","volume":"82","author":"AT Rezakhani","year":"2010","unstructured":"Rezakhani, A.T., Pimachev, A.K., Lidar, D.A.: Accuracy versus run time in an adiabatic quantum search. Phys. Rev. A 82, 052305 (2010)","journal-title":"Phys. Rev. A"},{"key":"506_CR48","doi-asserted-by":"crossref","first-page":"170503","DOI":"10.1103\/PhysRevLett.101.170503","volume":"101","author":"AP Young","year":"2008","unstructured":"Young, A.P., Knysh, S., Smelyanskiy, V.N.: Size dependence of the minimum excitation gap in the quantum adiabatic algorithm. Phys. Rev. Lett. 101, 170503 (2008)","journal-title":"Phys. Rev. Lett."},{"key":"506_CR49","doi-asserted-by":"crossref","first-page":"185","DOI":"10.4153\/CJM-1953-020-x","volume":"5","author":"D Slepian","year":"1953","unstructured":"Slepian, D.: On the number of symmetry types of Boolean functions of N variables. Can. J. Math. 5, 185 (1953)","journal-title":"Can. J. Math."},{"key":"506_CR50","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C\u201335","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C\u201335, 677 (1986)","journal-title":"IEEE Trans. Comput."},{"key":"506_CR51","doi-asserted-by":"crossref","first-page":"062329","DOI":"10.1103\/PhysRevA.77.062329","volume":"77","author":"Stephen P Jordan","year":"2008","unstructured":"Jordan, Stephen P., Edward, Farhi: Perturbative gadgets at arbitrary orders. Phys. Rev. A 77, 062329 (2008)","journal-title":"Phys. Rev. A"},{"key":"506_CR52","doi-asserted-by":"crossref","first-page":"080502","DOI":"10.1103\/PhysRevLett.103.080502","volume":"103","author":"AT Rezakhani","year":"2009","unstructured":"Rezakhani, A.T., Kuo, W.-J., Hamma, A., Lidar, D.A., Zanardi, P.: Quantum adiabatic brachistochrone. Phys. Rev. Lett. 103, 080502 (2009)","journal-title":"Phys. Rev. Lett."},{"key":"506_CR53","doi-asserted-by":"crossref","first-page":"012321","DOI":"10.1103\/PhysRevA.82.012321","volume":"82","author":"AT Rezakhani","year":"2010","unstructured":"Rezakhani, A.T., Abasto, D.F., Lidar, D.A., Zanardi, P.: Intrinsic geometry of quantum adiabatic evolution and quantum phase transitions. Phys. Rev. A 82, 012321 (2010)","journal-title":"Phys. Rev. A"}],"container-title":["Quantum Information Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-012-0506-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11128-012-0506-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-012-0506-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,5]],"date-time":"2019-07-05T23:34:11Z","timestamp":1562369651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11128-012-0506-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11,21]]},"references-count":53,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,5]]}},"alternative-id":["506"],"URL":"https:\/\/doi.org\/10.1007\/s11128-012-0506-4","relation":{},"ISSN":["1570-0755","1573-1332"],"issn-type":[{"value":"1570-0755","type":"print"},{"value":"1573-1332","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,11,21]]}}}