{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T10:33:47Z","timestamp":1753439627618,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319208596"},{"type":"electronic","value":"9783319208602"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-20860-2_9","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T08:15:57Z","timestamp":1434701757000},"page":"139-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["A Fully Fault-Tolerant Representation of Quantum Circuits"],"prefix":"10.1007","author":[{"given":"Alexandru","family":"Paler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilia","family":"Polian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kae","family":"Nemoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon J.","family":"Devitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"issue":"5","key":"9_CR1","doi-asserted-by":"publisher","first-page":"052328","DOI":"10.1103\/PhysRevA.70.052328","volume":"70","author":"S Aaronson","year":"2004","unstructured":"Aaronson, S., Gottesman, D.: Improved simulation of stabilizer circuits. Physical Review A 70(5), 052328 (2004)","journal-title":"Physical Review A"},{"key":"9_CR2","unstructured":"Aharonov, D.: A simple proof that Toffoli and Hadamard are quantum universal. arXiv preprint quant-ph\/0301040 (2003)"},{"issue":"10","key":"9_CR3","doi-asserted-by":"publisher","first-page":"1476","DOI":"10.1109\/TCAD.2014.2341953","volume":"33","author":"M Amy","year":"2014","unstructured":"Amy, M., Maslov, D., Mosca, M.: Polynomial-time t-depth optimization of clifford+t circuits via matroid partitioning. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33(10), 1476\u20131489 (2014)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"issue":"6","key":"9_CR4","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1109\/TCAD.2013.2244643","volume":"32","author":"M Amy","year":"2013","unstructured":"Amy, M., Maslov, D., Mosca, M., Roetteler, M.: A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 32(6), 818\u2013830 (2013)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"1895","DOI":"10.1103\/PhysRevLett.70.1895","volume":"70","author":"CH Bennett","year":"1993","unstructured":"Bennett, C.H., Brassard, G., Cr\u00e9peau, C., Jozsa, R., Peres, A., Wooters, W.K.: Teleporting an Unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Phys. Rev. Lett. 70, 1895 (1993)","journal-title":"Phys. Rev. Lett."},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"022316","DOI":"10.1103\/PhysRevA.71.022316","volume":"71","author":"S Bravyi","year":"2005","unstructured":"Bravyi, S., Kitaev, A.: Universal quantum computation with ideal Clifford gates and noisy ancillas. Physical Review A 71(2), 022316 (2005)","journal-title":"Physical Review A"},{"issue":"1","key":"9_CR7","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1038\/nphys1157","volume":"5","author":"HJ Briegel","year":"2009","unstructured":"Briegel, H.J., Browne, D.E., D\u00fcr, W., Raussendorf, R., Van den Nest, M.: Measurement-based quantum computation. Nature Physics 5(1), 19\u201326 (2009)","journal-title":"Nature Physics"},{"key":"9_CR8","unstructured":"Cheung, D., Maslov, D., Severini, S.: Translation techniques between quantum circuit architectures. In: Workshop on Quantum Information Processing. Citeseer (2007)"},{"issue":"2","key":"9_CR9","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/1219092.1219096","volume":"54","author":"V Danos","year":"2007","unstructured":"Danos, V., Kashefi, E., Panangaden, P.: The measurement calculus. Journal of the ACM (JACM) 54(2), 8 (2007)","journal-title":"Journal of the ACM (JACM)"},{"issue":"8","key":"9_CR10","doi-asserted-by":"publisher","first-page":"083032","DOI":"10.1088\/1367-2630\/11\/8\/083032","volume":"11","author":"SJ Devitt","year":"2009","unstructured":"Devitt, S.J., Fowler, A.G., Stephens, A.M., Greentree, A.D., Hollenberg, L.C.L., Munro, W.J., Nemoto, K.: Architectural design for a topological cluster state quantum computer. New Journal of Physics 11(8), 083032 (2009)","journal-title":"New Journal of Physics"},{"issue":"7","key":"9_CR11","doi-asserted-by":"publisher","first-page":"076001","DOI":"10.1088\/0034-4885\/76\/7\/076001","volume":"76","author":"SJ Devitt","year":"2013","unstructured":"Devitt, S.J., Munro, W.J., Nemoto, K.: Quantum error correction for beginners. Reports on Progress in Physics 76(7), 076001 (2013)","journal-title":"Reports on Progress in Physics"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Devitt, S.J., Stephens, A.M., Munro, W.J., Nemoto, K.: Requirements for fault-tolerant factoring on an atom-optics quantum computer. Nature communications 4 (2013)","DOI":"10.1038\/ncomms3524"},{"key":"9_CR13","unstructured":"Devitt, S.J.: The Mequanics game (2013). www.mequanics.com"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"032324","DOI":"10.1103\/PhysRevA.86.032324","volume":"86","author":"AG Fowler","year":"2012","unstructured":"Fowler, A.G., Mariantoni, M., Martinis, J.M., Cleland, A.N.: Surface Codes, Towards practical large-scale quantum computation. Phys. Rev. A. 86, 032324 (2012)","journal-title":"Phys. Rev. A."},{"key":"9_CR15","unstructured":"Fowler, A.G.: Time-optimal quantum computation. arXiv preprint arXiv:1210.4626 (2012)"},{"key":"9_CR16","unstructured":"Gottesman, D.: The Heisenberg Representation of Quantum computers. quant-ph\/9807006 (1998)"},{"key":"9_CR17","unstructured":"Gottesman, D.: What is the overhead required for fault-tolerant quantum computation? arXiv preprint arXiv:1310.2984 (2013)"},{"issue":"1","key":"9_CR18","doi-asserted-by":"crossref","first-page":"142","DOI":"10.26421\/QIC11.1-2-10","volume":"11","author":"Y Hirata","year":"2011","unstructured":"Hirata, Y., Nakanishi, M., Yamashita, S., Nakashima, Y.: An efficient conversion of quantum circuits to a linear nearest neighbor architecture. Quantum Information & Computation 11(1), 142\u2013166 (2011)","journal-title":"Quantum Information & Computation"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Jones, C.N.: Novel constructions for the fault-tolerant Toffoli gate. arXiv preprint arXiv:1212.5069 (2012)","DOI":"10.1103\/PhysRevA.87.022328"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Cody Jones, N., Van Meter, R., Fowler, A.G., McMahon, P.L., Kim, J., Ladd, T.D., Yamamoto, Y.: A Layered Architecture for Quantum Computing Using Quantum Dots. Phys. Rev. X., 2(031007) (2012)","DOI":"10.1103\/PhysRevX.2.031007"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-319-08494-7_13","volume-title":"Reversible Computation","author":"DM Miller","year":"2014","unstructured":"Miller, D.M., Soeken, M., Drechsler, R.: Mapping NCV circuits to optimized clifford+T circuits. In: Yamashita, S., Minato, S. (eds.) RC 2014. LNCS, vol. 8507, pp. 163\u2013175. Springer, Heidelberg (2014)"},{"issue":"5","key":"9_CR22","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MSPEC.2012.6189562","volume":"49","author":"SK Moore","year":"2012","unstructured":"Moore, S.K.: Computing\u2019s power limit demonstrated. Spectrum, IEEE 49(5), 14\u201316 (2012)","journal-title":"Spectrum, IEEE"},{"key":"9_CR23","first-page":"031022","volume":"4","author":"K Nemoto","year":"2014","unstructured":"Nemoto, K., Trupke, M., Devitt, S.J., Stephens, A.M., Buczak, K., Nobauer, T., Everitt, M.S., Schmiedmayer, J., Munro, W.J.: Photonic architecture for scalable quantum information processing in NV-diamond. Phys. Rev. X. 4, 031022 (2014)","journal-title":"Phys. Rev. X."},{"key":"9_CR24","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum computation and quantum information. Cambridge University Press (2010)"},{"key":"9_CR25","unstructured":"Paetznik, A., Fowler, A.G.: Quantum circuit optimization by topological compaction in the surface code. arXiv preprint arXiv:1304.2807 (2013)"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Paler, A., Devitt, S., Nemoto, K., Polian, I.: Software-based Pauli tracking in fault-tolerant quantum circuits. In: Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014, pp. 1\u20134. IEEE (2014)","DOI":"10.7873\/DATE.2014.137"},{"issue":"2","key":"9_CR27","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/2431211.2431220","volume":"45","author":"M Saeedi","year":"2013","unstructured":"Saeedi, M., Markov, I.L.: Synthesis and optimization of reversible circuits - a survey. ACM Computing Surveys (CSUR) 45(2), 21 (2013)","journal-title":"ACM Computing Surveys (CSUR)"},{"issue":"6","key":"9_CR28","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 Transactions on Computer-Aided Design of Integrated Circuits and Systems 25(6), 1000\u20131010 (2006)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Wille, R., Drechsler, R.: Towards a design flow for reversible logic. Springer (2010)","DOI":"10.1007\/978-90-481-9579-4"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"802","DOI":"10.1038\/299802a0","volume":"299","author":"WK Wooters","year":"1982","unstructured":"Wooters, W.K., Zurek, W.H.: A Single Quantum Cannot be Cloned. Nature (London) 299, 802 (1982)","journal-title":"Nature (London)"},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"800","DOI":"10.1038\/ncomms1788","volume":"3","author":"NY Yao","year":"2012","unstructured":"Yao, N.Y., Jiang, L., Gorshkov, A.V., Maurer, P.C., Giedke, G., Cirac, J.I., Lukin, M.D.: Scalable Architecture for a Room Temperature Solid-State Quantum Information Processor. Nature Communications 3, 800 (2012)","journal-title":"Nature Communications"},{"issue":"5","key":"9_CR32","doi-asserted-by":"publisher","first-page":"052316","DOI":"10.1103\/PhysRevA.62.052316","volume":"62","author":"X Zhou","year":"2000","unstructured":"Zhou, X., Leung, D.W., Chuang, I.L.: Methodology for quantum logic gate construction. Physical Review A 62(5), 052316 (2000)","journal-title":"Physical Review A"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20860-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T02:19:57Z","timestamp":1676945997000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20860-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319208596","9783319208602"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20860-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}