{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T02:12:06Z","timestamp":1774318326704,"version":"3.50.1"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,1,25]],"date-time":"2017-01-25T00:00:00Z","timestamp":1485302400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2017,1,25]],"date-time":"2017-01-25T00:00:00Z","timestamp":1485302400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100011039","name":"Intelligence Advanced Research Projects Activity","doi-asserted-by":"publisher","award":["D12PC00527"],"award-info":[{"award-number":["D12PC00527"]}],"id":[{"id":"10.13039\/100011039","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Quantum Inf Process"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s11128-016-1495-5","type":"journal-article","created":{"date-parts":[[2017,1,25]],"date-time":"2017-01-25T07:36:26Z","timestamp":1485329786000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":57,"title":["Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target"],"prefix":"10.1007","volume":"16","author":[{"given":"Artur","family":"Scherer","sequence":"first","affiliation":[]},{"given":"Beno\u00eet","family":"Valiron","sequence":"additional","affiliation":[]},{"given":"Siun-Chuon","family":"Mau","sequence":"additional","affiliation":[]},{"given":"Scott","family":"Alexander","sequence":"additional","affiliation":[]},{"given":"Eric","family":"van\u00a0den Berg","sequence":"additional","affiliation":[]},{"given":"Thomas E.","family":"Chapuran","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,25]]},"reference":[{"key":"1495_CR1","volume-title":"Quantum Computing and Quantum Information","author":"MA Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computing and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"key":"1495_CR2","unstructured":"Jordan, S.: Quantum Algorithm Zoo (2013). URL: \n                    http:\/\/math.nist.gov\/quantum\/zoo\/"},{"key":"1495_CR3","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":"1495_CR4","unstructured":"Ambainis, A.: Variable time amplitude amplification and a faster quantum algorithm for solving systems of linear equations. \n                    arXiv:1010.4458\n                    \n                   (2010)"},{"key":"1495_CR5","doi-asserted-by":"publisher","first-page":"250504","DOI":"10.1103\/PhysRevLett.110.250504","volume":"110","author":"BD Clader","year":"2013","unstructured":"Clader, B.D., Jacobs, B.C., Sprouse, C.R.: Preconditioned quantum linear system algorithm. Phys. Rev. Lett. 110, 250504 (2013)","journal-title":"Phys. Rev. Lett."},{"key":"1495_CR6","doi-asserted-by":"publisher","first-page":"4564","DOI":"10.1103\/PhysRevA.54.4564","volume":"54","author":"A Luis","year":"1996","unstructured":"Luis, A., Pe\u0159ina, J.: Optimum phase-shift estimation and the quantum description of the phase difference. Phys. Rev. A 54, 4564 (1996)","journal-title":"Phys. Rev. A"},{"key":"1495_CR7","unstructured":"Cleve, R., Ekert, A., Macchiavello, C., Mosca, M.: Quantum Algorithms Revisited. \n                    arXiv:quant-ph\/9708016\n                    \n                   (1997)"},{"issue":"2","key":"1495_CR8","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/s00220-006-0150-x","volume":"270","author":"DW Berry","year":"2007","unstructured":"Berry, D.W., Ahokas, G., Cleve, R., Sanders, B.C.: Efficient quantum algorithms for simulating sparse Hamiltonians. Commun. Math. Phys. 270(2), 359 (2007)","journal-title":"Commun. Math. Phys."},{"key":"1495_CR9","doi-asserted-by":"publisher","first-page":"050505","DOI":"10.1103\/PhysRevLett.109.050505","volume":"109","author":"N Wiebe","year":"2012","unstructured":"Wiebe, N., Braun, D., Lloyd, S.: Quantum Data Fitting. Phys. Rev. Lett. 109, 050505 (2012)","journal-title":"Phys. Rev. Lett."},{"key":"1495_CR10","doi-asserted-by":"publisher","first-page":"105301","DOI":"10.1088\/1751-8113\/47\/10\/105301","volume":"47","author":"DW Berry","year":"2014","unstructured":"Berry, D.W.: High-order quantum algorithm for solving linear differential equations. J. Phys. A Math. Theor. 47, 105301 (2014)","journal-title":"J. Phys. A Math. Theor."},{"key":"1495_CR11","unstructured":"Lloyd, S., Mohseni, M., Rebentrost, P.: Quantum algorithms for supervised and unsupervised machine learning. \n                    arXiv:1307.0411\n                    \n                   (2013)"},{"key":"1495_CR12","doi-asserted-by":"publisher","first-page":"6115","DOI":"10.1038\/srep06115","volume":"4","author":"S Barz","year":"2014","unstructured":"Barz, S., Kassal, I., Ringbauer, M., Lipp, Y., Dakic, B., Aspuru-Guzik, A., Walther, P.: Solving systems of linear equations on a quantum computer. Sci. Rep. 4, 6115 (2014). doi:\n                    10.1038\/srep06115","journal-title":"Sci. Rep."},{"key":"1495_CR13","doi-asserted-by":"publisher","first-page":"230501","DOI":"10.1103\/PhysRevLett.110.230501","volume":"110","author":"XD Cai","year":"2013","unstructured":"Cai, X.D., Weedbrook, C., Su, Z.E., Chen, M.C., Gu, M.J.Z.M., Li, L., Liu, N.L., Lu, C.Y., Pan, J.W.: Experimental quantum computing to solve systems of linear equations. Phys. Rev. Lett. 110, 230501 (2013)","journal-title":"Phys. Rev. Lett."},{"key":"1495_CR14","doi-asserted-by":"crossref","unstructured":"Green, A., Lumsdaine, P.L., Ross, N.J., Selinger, P., Valiron, B.: Quipper: a scalable quantum programming language. In: Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI\u201913, pp. 333\u2013342 (2013)","DOI":"10.1145\/2491956.2462177"},{"key":"1495_CR15","doi-asserted-by":"crossref","unstructured":"Green, A., Lumsdaine, P.L., Ross, N.J., Selinger, P., Valiron, B.: An introduction to quantum programming in Quipper. In: Proceedings of the 5th International Conference on Reversible Computation, Lecture Notes in Computer Science, vol. 7948 , Lecture Notes in Computer Science, vol. 7948, pp. 110\u2013124 (2013)","DOI":"10.1007\/978-3-642-38986-3_10"},{"key":"1495_CR16","unstructured":"Intelligence Advanced Research Projects Activity (IARPA). Quantum Computer Science (QCS) Program (2010). URL\u00a0\n                    http:\/\/www.iarpa.gov\/index.php\/research-programs\/qcs"},{"key":"1495_CR17","unstructured":"Intelligence Advanced Research Projects Activity (IARPA). Quantum Computer Science (QCS) Program Broad Agency Announcement (BAA) (April 2010). URL\u00a0\n                    http:\/\/www.iarpa.gov\/index.php\/research-programs\/qcs\/baa"},{"key":"1495_CR18","unstructured":"The Quipper Language (2013). URL\u00a0\n                    http:\/\/www.mathstat.dal.ca\/~selinger\/quipper\/"},{"key":"1495_CR19","unstructured":"The Quipper System (2013). URL\u00a0\n                    http:\/\/www.mathstat.dal.ca\/~selinger\/quipper\/doc\/"},{"key":"1495_CR20","unstructured":"Shewchuk, J.R.: An Introduction to the Conjugate Gradient Method Without the Agonizing Pain. (Technical Report CMU-CS-94-125 School of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania (1994))"},{"key":"1495_CR21","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718003","volume-title":"Iterative Methods for Sparse Linear Systems","author":"Y Saad","year":"2003","unstructured":"Saad, Y.: Iterative Methods for Sparse Linear Systems. Society for Industrial and Applied Mathematics, Philadelphia (2003)"},{"key":"1495_CR22","unstructured":"Brassard, G., Hoyer, P., Mosca, M., Tapp, A.: Quantum amplitude amplification and estimation. In: Quantum Computation and Quantum Information, vol. 305 (AMS Contemporary Mathematics, 2002), pp. 53\u201374 (2002)"},{"key":"1495_CR23","volume-title":"The Finite Element Method in Electromagnetics","author":"JM Jin","year":"2002","unstructured":"Jin, J.M.: The Finite Element Method in Electromagnetics. Wiley, New York (2002)"},{"key":"1495_CR24","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1109\/8.214614","volume":"41","author":"A Chatterjee","year":"1993","unstructured":"Chatterjee, A., Jin, J.M., Volakis, J.L.: Edge-based finite elements and vector ABCs applied to 3D scattering. IEEE Trans. Antennas Propagat. 41, 221 (1993)","journal-title":"IEEE Trans. Antennas Propagat."},{"key":"1495_CR25","doi-asserted-by":"crossref","unstructured":"Trotter, H.: On the product of semi-groups of operators. In: Proceedings of the American Mathematical Society, vol. 10, pp. 545\u2013551 (1959)","DOI":"10.1090\/S0002-9939-1959-0108732-6"},{"key":"1495_CR26","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0375-9601(90)90962-N","volume":"146","author":"M Suzuki","year":"1990","unstructured":"Suzuki, M.: Fractal decomposition of exponential operators with applications to many-body theories and Monte-Carlo simulations. Phys. Lett. A 146, 319 (1990)","journal-title":"Phys. Lett. A"},{"key":"1495_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-75934-0","volume-title":"The Mathematical Theory of Finite Element Methods","author":"SC Brenner","year":"2008","unstructured":"Brenner, S.C., Scott, L.R.: The Mathematical Theory of Finite Element Methods. Springer, New York (2008)"},{"issue":"6","key":"1495_CR28","doi-asserted-by":"publisher","first-page":"1383","DOI":"10.1137\/0726080","volume":"26","author":"RE Bank","year":"1989","unstructured":"Bank, R.E., Scott, L.R.: On the conditioning of finite element equations with highly refined meshes. SIAM J. Numer. Anal. 26(6), 1383 (1989)","journal-title":"SIAM J. Numer. Anal."},{"issue":"4\/5","key":"1495_CR29","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1016\/0898-1221(86)90182-3","volume":"12A","author":"W Layton","year":"1986","unstructured":"Layton, W.: High-accuracy finite-element methods for positive symmetric systems. Comput. Math. Appl. 12A(4\/5), 565 (1986)","journal-title":"Comput. Math. Appl."},{"key":"1495_CR30","unstructured":"Childs, A.M., Cleve, R., Deotto, E., Farhi, E., Gutmann, S., Spielman, D.A.: Exponential algorithmic speedup by a quantum walk. In: Proceedings of the Thirty-Fifth Annual ACM Symposium on Theory of Computing, STOC\u201903 (New York, NY, USA, 2003), pp. 59\u201368 (2003)"},{"key":"1495_CR31","unstructured":"\u00d6mer, B.: Quantum Programming in QCL. Master\u2019s thesis, Institute of Information Systems, Technical University of Vienna (2000)"},{"key":"1495_CR32","unstructured":"Claessen, K.: Embedded Languages for Describing and Verifying Hardware. Ph.D. thesis, Chalmers University of Technology and G\u00f6teborg University (2001)"},{"key":"1495_CR33","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1017\/CBO9781139193313.006","volume-title":"Semantic Techniques in Quantum Computation","author":"T Altenkirch","year":"2009","unstructured":"Altenkirch, T., Green, A.S.: The quantum IO monad. In: Gay, S., Mackie, I. (eds.) Semantic Techniques in Quantum Computation, pp. 173\u2013205. Cambridge University Press, Cambridge (2009)"},{"issue":"3","key":"1495_CR34","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0960129506005238","volume":"16","author":"P Selinger","year":"2006","unstructured":"Selinger, P., Valiron, B.: A lambda calculus for quantum computation with classical control. Math. Struct. Comput. Sci. 16(3), 527 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"1495_CR35","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1017\/CBO9781139193313.005","volume-title":"Semantic Techniques in Quantum Computation","author":"P Selinger","year":"2009","unstructured":"Selinger, P., Valiron, B.: Quantum lambda calculus. In: Gay, S., Mackie, I. (eds.) Semantic Techniques in Quantum Computation, pp. 135\u2013172. Cambridge University Press, Cambridge (2009)"},{"key":"1495_CR36","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1147\/rd.53.0261","volume":"5","author":"R Laundauer","year":"1961","unstructured":"Laundauer, R.: Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 5, 261 (1961)","journal-title":"IBM J. Res. Dev."},{"key":"1495_CR37","first-page":"351","volume":"6","author":"TG Draper","year":"2006","unstructured":"Draper, T.G., Kutin, S.A., Rains, E.M., Svore, K.M.: A logarithmic-depth quantum carry-lookahead adder. Quantum Inf. Comput. 6, 351 (2006)","journal-title":"Quantum Inf. Comput."},{"key":"1495_CR38","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813870","volume-title":"Quantum Computer Science: An Introduction","author":"ND Mermin","year":"2007","unstructured":"Mermin, N.D.: Quantum Computer Science: An Introduction. Cambridge University Press, Cambridge (2007)"},{"key":"1495_CR39","unstructured":"Fowler, A.G.: Towards Large-Scale Quantum Computation. Ph.D. thesis, \n                    arXiv:quant-ph\/0506126\n                    \n                   (2005)"},{"key":"1495_CR40","first-page":"867","volume":"11","author":"AG Fowler","year":"2011","unstructured":"Fowler, A.G.: Constructing arbitrary Steane code single logical qubit fault-tolerant gates. Quantum Inf. Comput. 11, 867 (2011)","journal-title":"Quantum Inf. Comput."},{"key":"1495_CR41","unstructured":"Matsumoto, K., Amano, K.: Representation of Quantum Circuits with Clifford and $$\\pi \/8$$ Gates. \n                    arXiv:0806.3834\n                    \n                   (2008)"},{"key":"1495_CR42","unstructured":"Giles, B., Selinger, P.: Remarks on Matsumoto and Amano\u2019s normal form for single-qubit Clifford+$${T}$$ operators. \n                    arXiv:1312.6584\n                    \n                   (2013)"},{"key":"1495_CR43","unstructured":"Berry, D.W., Cleve, R., Somma, R.D.: Exponential improvement in precision for Hamiltonian-evolution simulation. \n                    arXiv:1308.5424v3\n                    \n                   (2013)"},{"key":"1495_CR44","doi-asserted-by":"crossref","unstructured":"Berry, D.W., Childs, A.M., Cleve, R., Kothari, R., Somma, R.D.: Exponential improvement in precision for simulating sparse Hamiltonians. In: Proceedings of the 46th ACM Symposium on Theory of Computing (STOC 2014), pp. 283\u2013292 (2014)","DOI":"10.1145\/2591796.2591854"},{"key":"1495_CR45","doi-asserted-by":"crossref","unstructured":"Berry, D.W., Childs, A.M., Kothari, R.: Hamiltonian simulation with nearly optimal dependence on all parameters. In: Proceedings of the 56th IEEE Symposium on Foundations of Computer Science (FOCS 2015), pp. 792-809 (2015)","DOI":"10.1109\/FOCS.2015.54"},{"key":"1495_CR46","doi-asserted-by":"publisher","first-page":"052332","DOI":"10.1103\/PhysRevA.87.052332","volume":"87","author":"TT Pham","year":"2013","unstructured":"Pham, T.T., Meter, R.V., Horsman, C.: Optimization of the Solovay\u2013Kitaev algorithm. Phys. Rev. A 87, 052332 (2013)","journal-title":"Phys. Rev. A"},{"key":"1495_CR47","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"},{"issue":"012313","key":"1495_CR48","first-page":"13","volume":"88","author":"A Bocharov","year":"2013","unstructured":"Bocharov, A., Gurevich, Y., Svore, K.M.: Efficient decomposition of single-qubit gates into $${V}$$ basis circuits. Phys. Rev. A 88(012313), 13 (2013)","journal-title":"Phys. Rev. A"},{"key":"1495_CR49","unstructured":"Selinger, P.: Optimal ancilla-free Clifford+$${T}$$ approximation of $${Z}$$-rotations. \n                    arXiv:1403.2975\n                    \n                   (2014)"},{"issue":"190502","key":"1495_CR50","first-page":"5","volume":"110","author":"V Kliuchnikov","year":"2013","unstructured":"Kliuchnikov, V., Maslov, D., Mosca, M.: Asymptotically optimal approximation of single qubit unitaries by Clifford and $${T}$$ circuits using a constant number of ancillary qubits. Phys. Rev. Lett. 110(190502), 5 (2013)","journal-title":"Phys. Rev. Lett."},{"issue":"7\u20138","key":"1495_CR51","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 (2013)","journal-title":"Quantum Inf. Comput."},{"key":"1495_CR52","unstructured":"Selinger, P.: Efficient Clifford+$${T}$$ approximation of single-qubit operators. \n                    arXiv:1212.6253\n                    \n                   (2012)"},{"issue":"6","key":"1495_CR53","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"CH Bennett","year":"1973","unstructured":"Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17(6), 525 (1973)","journal-title":"IBM J. Res. Dev."}],"container-title":["Quantum Information Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-016-1495-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11128-016-1495-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-016-1495-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T15:55:01Z","timestamp":1589730901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11128-016-1495-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,25]]},"references-count":53,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["1495"],"URL":"https:\/\/doi.org\/10.1007\/s11128-016-1495-5","relation":{},"ISSN":["1570-0755","1573-1332"],"issn-type":[{"value":"1570-0755","type":"print"},{"value":"1573-1332","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1,25]]},"assertion":[{"value":"24 July 2015","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 December 2016","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 January 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"60"}}