{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T02:04:11Z","timestamp":1780711451878,"version":"3.54.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030227401","type":"print"},{"value":"9783030227418","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-22741-8_1","type":"book-chapter","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T15:02:45Z","timestamp":1559919765000},"page":"3-16","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Synthesizing Quantum Circuits via Numerical Optimization"],"prefix":"10.1007","author":[{"given":"Timoth\u00e9e","family":"Goubault de Brugi\u00e8re","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc","family":"Baboulin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Beno\u00eet","family":"Valiron","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cyril","family":"Allouche","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Arrazola, J.M., Bromley, T.R., Izaac, J., Myers, C.R., Bradler, K., Killoran, N.: Machine learning method for state preparation and gate synthesis on photonic quantum computers. Quantum Science and Technology (2018)","DOI":"10.1088\/2058-9565\/aaf59e"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Bravyi, S., Browne, D., Calpin, P., Campbell, E., Gosset, D., Howard, M.: Simulation of quantum circuits by low-rank stabilizer decompositions. arXiv preprint arXiv:1808.00128 (2018)","DOI":"10.22331\/q-2019-09-02-181"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"032332","DOI":"10.1103\/PhysRevA.87.032332","volume":"87","author":"B Giles","year":"2013","unstructured":"Giles, B., Selinger, P.: Exact synthesis of multiqubit clifford+$$t$$ circuits. Phys. Rev. A 87, 032332 (2013)","journal-title":"Phys. Rev. A"},{"key":"1_CR4","unstructured":"Goubault de Brugi\u00e8re, T., Baboulin, M., Valiron, B., Allouche, C.: Quantum circuits synthesis using householder transformations (2018, submitted)"},{"key":"1_CR5","volume-title":"Kronecker Products and Matrix Calculus with Application","author":"A Graham","year":"1981","unstructured":"Graham, A.: Kronecker Products and Matrix Calculus with Application. Wiley, New York (1981)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proceedings of the Twenty-eighth Annual ACM Symposium on Theory of Computing, STOC 1996, pp. 212\u2013219. ACM, New York (1996)","DOI":"10.1145\/237814.237866"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Guillemin, V., Pollack, A.: Differential Topology, vol. 370. American Mathematical Society (2010)","DOI":"10.1090\/chel\/370"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"150502","DOI":"10.1103\/PhysRevLett.103.150502","volume":"103","author":"AW Harrow","year":"2009","unstructured":"Harrow, A.W., Hassidim, A., Lloyd, S.: Quantum algorithm for linear systems of equations. Phys. Rev. Lett. 103, 150502 (2009)","journal-title":"Phys. Rev. Lett."},{"key":"1_CR9","unstructured":"Kerenidis, I., Prakash, A.: Quantum recommendation systems. In: Papadimitriou, C.H. (ed.) 8th Innovations in Theoretical Computer Science Conference, ITCS 2017. LIPIcs, vol. 67, pp. 49:1\u201349:21. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)"},{"issue":"7\u20138","key":"1_CR10","first-page":"607","volume":"13","author":"V Kliuchnikov","year":"2013","unstructured":"Kliuchnikov, V., Maslov, D., Mosca, M.: Fast and efficient exact synthesis of single-qubit unitaries generated by Clifford and T gates. Quantum Inf. Comput. 13(7\u20138), 607\u2013630 (2013)","journal-title":"Quantum Inf. Comput."},{"key":"1_CR11","unstructured":"Knill, E.: Approximation by quantum circuits. arXiv preprint arXiv:quant-ph\/9508006 (1995)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Li, R., Alvarez-Rodriguez, U., Lamata, L., Solano, E.: Approximate quantum adders with genetic algorithms: an IBM quantum experience. arXiv preprint arXiv:1611.07851 (2016)","DOI":"10.1515\/qmetro-2017-0001"},{"issue":"3\u20134","key":"1_CR13","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1023\/B:AIRE.0000006605.86111.79","volume":"20","author":"M Lukac","year":"2003","unstructured":"Lukac, M., et al.: Evolutionary approach to quantum and reversible circuits synthesis. Artif. Intell. Rev. 20(3\u20134), 361\u2013417 (2003)","journal-title":"Artif. Intell. Rev."},{"issue":"6","key":"1_CR14","doi-asserted-by":"publisher","first-page":"063029","DOI":"10.1088\/1367-2630\/18\/6\/063029","volume":"18","author":"EA Martinez","year":"2016","unstructured":"Martinez, E.A., Monz, T., Nigg, D., Schindler, P., Blatt, R.: Compiling quantum algorithms for architectures with multi-qubit gates. New J. Phys. 18(6), 063029 (2016)","journal-title":"New J. Phys."},{"key":"1_CR15","unstructured":"Mottonen, M., Vartiainen, J.J.: Decompositions of general quantum gates. arXiv preprint arXiv:quant-ph\/0504100 (2005)"},{"key":"1_CR16","volume-title":"Quantum Computation and Quantum Information","author":"MA Nielsen","year":"2011","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2011)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"032302","DOI":"10.1103\/PhysRevA.83.032302","volume":"83","author":"M Plesch","year":"2011","unstructured":"Plesch, M., Brukner, \u010c.: Quantum-state preparation with universal gate decompositions. Phys. Rev. A 83, 032302 (2011)","journal-title":"Phys. Rev. A"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.22331\/q-2018-08-06-79","volume":"2","author":"J Preskill","year":"2018","unstructured":"Preskill, J.: Quantum Computing in the NISQ era and beyond. Quantum 2, 79 (2018)","journal-title":"Quantum"},{"key":"1_CR19","unstructured":"Python: Scientific computing tools for Python (SciPy). https:\/\/www.scipy.org"},{"issue":"6","key":"1_CR20","doi-asserted-by":"publisher","first-page":"1000","DOI":"10.1109\/TCAD.2005.855930","volume":"25","author":"VV Shende","year":"2006","unstructured":"Shende, V.V., Bullock, S.S., Markov, I.L.: Synthesis of quantum-logic circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(6), 1000\u20131010 (2006)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"issue":"6","key":"1_CR21","doi-asserted-by":"publisher","first-page":"062321","DOI":"10.1103\/PhysRevA.69.062321","volume":"69","author":"VV Shende","year":"2004","unstructured":"Shende, V.V., Markov, I.L., Bullock, S.S.: Minimal universal two-qubit controlled-not-based circuits. Phys. Rev. A 69(6), 062321 (2004)","journal-title":"Phys. Rev. A"},{"issue":"2","key":"1_CR22","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1137\/S0036144598347011","volume":"41","author":"PW Shor","year":"1999","unstructured":"Shor, P.W.: Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Rev. 41(2), 303\u2013332 (1999)","journal-title":"SIAM Rev."},{"issue":"3","key":"1_CR23","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1137\/0717034","volume":"17","author":"G Stewart","year":"1980","unstructured":"Stewart, G.: The efficient generation of random orthogonal matrices with an application to condition estimators. SIAM J. Numer. Anal. 17(3), 403\u2013409 (1980)","journal-title":"SIAM J. Numer. Anal."},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"147902","DOI":"10.1103\/PhysRevLett.91.147902","volume":"91","author":"G Vidal","year":"2003","unstructured":"Vidal, G.: Efficient classical simulation of slightly entangled quantum computations. Phys. Rev. Lett. 91, 147902 (2003)","journal-title":"Phys. Rev. Lett."},{"issue":"67\u201368","key":"1_CR25","first-page":"7","volume":"35","author":"S Wright","year":"1999","unstructured":"Wright, S., Nocedal, J.: Numerical optimization. Science 35(67\u201368), 7 (1999)","journal-title":"Science"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2019"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22741-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T03:25:54Z","timestamp":1686108354000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-22741-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030227401","9783030227418"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22741-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"8 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Faro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccs-computsci2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.iccs-meeting.org\/iccs2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}