{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T02:03:47Z","timestamp":1780711427897,"version":"3.54.1"},"reference-count":57,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2017,5,21]],"date-time":"2017-05-21T00:00:00Z","timestamp":1495324800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. Emerg. Technol. Comput. Syst."],"published-print":{"date-parts":[[2017,10,31]]},"abstract":"<jats:p>One-way quantum computation (1WQC) is a model of universal quantum computations in which a specific highly entangled state called a<jats:italic>cluster state<\/jats:italic>allows for quantum computation by single-qubit measurements. The needed computations in this model are organized as measurement patterns. The traditional approach to obtain a measurement pattern is by translating a quantum circuit that solely consists of CZ and<jats:italic>J<\/jats:italic>(\u03b1) gates into the corresponding measurement patterns and then performing some optimizations by using techniques proposed for the 1WQC model. However, in these cases, the input of the problem is a quantum circuit, not an arbitrary unitary matrix. Therefore, in this article, we focus on the first phase\u2014that is, decomposing a unitary matrix into CZ and<jats:italic>J<\/jats:italic>(\u03b1) gates. Two well-known quantum circuit synthesis methods, namely cosine-sine decomposition and quantum Shannon decomposition are considered and then adapted for a library of gates containing CZ and<jats:italic>J<\/jats:italic>(\u03b1), equipped with optimizations. By exploring the solution space of the combinations of these two methods in a bottom-up approach of dynamic programming, a multiobjective quantum circuit synthesis method is proposed that generates a set of quantum circuits. This approach attempts to simultaneously improve the measurement pattern cost metrics after the translation from this set of quantum circuits.<\/jats:p>","DOI":"10.1145\/3064834","type":"journal-article","created":{"date-parts":[[2017,5,22]],"date-time":"2017-05-22T12:20:31Z","timestamp":1495455631000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Quantum Circuit Synthesis Targeting to Improve One-Way Quantum Computation Pattern Cost Metrics"],"prefix":"10.1145","volume":"13","author":[{"given":"Mahboobeh","family":"Houshmand","sequence":"first","affiliation":[{"name":"Amirkabir University of Technology, Tehran, Iran"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mehdi","family":"Sedighi","sequence":"additional","affiliation":[{"name":"Amirkabir University of Technology, Tehran, Iran"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Morteza Saheb","family":"Zamani","sequence":"additional","affiliation":[{"name":"Amirkabir University of Technology, Tehran, Iran"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kourosh","family":"Marjoei","sequence":"additional","affiliation":[{"name":"Amirkabir University of Technology, Tehran, Iran"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,5,21]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2794263"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.73.012340"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1038\/nphys2763"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.71.052330"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1038\/nphys1157"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2009.36"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.12.046"},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","unstructured":"D. Browne and H. J. Briegel. 2006. One-way quantum computation\u2014a tutorial introduction. arXiv:quant-ph\/0603226. D. Browne and H. J. Briegel. 2006. One-way quantum computation\u2014a tutorial introduction. arXiv:quant-ph\/0603226.","DOI":"10.1002\/9783527618637.ch20"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/9\/8\/250"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.68.012318"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2011572.2011575"},{"key":"e_1_2_1_13_1","unstructured":"T. H. Cormen C. E. Leiserson R. L. Rivest and C. Stein. 2009. Introduction to Algorithms. MIT Press Cambridge MA. T. H. Cormen C. E. Leiserson R. L. Rivest and C. Stein. 2009. Introduction to Algorithms. MIT Press Cambridge MA."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/5992.908999"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.54.3824"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1219092.1219096"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139193313.008"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1989.0099"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.88.012319"},{"key":"e_1_2_1_20_1","unstructured":"R. Dias da Silva E. Pius and E. Kashefi. 2015. Global quantum circuit optimization. arXiv:1301.0351. R. Dias da Silva E. Pius and E. Kashefi. 2015. Global quantum circuit optimization. arXiv:1301.0351."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/IranianCEE.2016.7585546"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.26421\/QIC11.9-10-10","article-title":"Constructing arbitrary Steane code single logical qubit fault-tolerant gates","volume":"11","author":"Fowler A. G.","year":"2011","journal-title":"Quantum Information and Computation"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.80.052312"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.87.032332"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129183199001108"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629526"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11128-014-0801-3"},{"key":"e_1_2_1_28_1","unstructured":"R. Jozsa. 2006. An introduction to measurement-based quantum computation. NATO Science Series III: Computer and Systems Sciences. Quantum Information Processing\u2014From Theory to Experiment 69 20 137--158. R. Jozsa. 2006. An introduction to measurement-based quantum computation. NATO Science Series III: Computer and Systems Sciences. Quantum Information Processing\u2014From Theory to Experiment 69 20 137--158."},{"key":"e_1_2_1_29_1","doi-asserted-by":"crossref","first-page":"7","DOI":"10.26421\/QIC13.7-8-4","article-title":"Fast and efficient exact synthesis of single-qubit unitaries generated by Clifford and T gates","volume":"13","author":"Kliuchnikov V.","year":"2013","journal-title":"Quantum Information and Computation"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2005.11.018"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2013.2269869"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 35th International Colloquium on Automata, Languages, and Programming (ICALP\u201908)","author":"Mhalla M."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70575-8_70"},{"key":"e_1_2_1_34_1","first-page":"285","article-title":"Rewriting measurement-based quantum computations with generalised flow","volume":"91","author":"Miyazaki J.","year":"2010","journal-title":"Automata, Languages and Programming. Lecture Notes in Computer Science"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.91.052302"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.93.130502"},{"key":"e_1_2_1_37_1","unstructured":"N. de Beaudrap V. Danos and E. Kashefi. 2006. Phase map decomposition for unitaries. arXiv:quant-ph\/0603266. N. de Beaudrap V. Danos and E. Kashefi. 2006. Phase map decomposition for unitaries. arXiv:quant-ph\/0603266."},{"key":"e_1_2_1_38_1","unstructured":"M. A. Nielsen and I. L. Chuang. 2010. Quantum Computation and Quantum Information (10th anniversary ed.). Cambridge University Press Cambridge UK. M. A. Nielsen and I. L. Chuang. 2010. Quantum Computation and Quantum Information (10th anniversary ed.). Cambridge University Press Cambridge UK."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2012.100"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2015.02.007"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/IranianCEE.2016.7585618"},{"key":"e_1_2_1_42_1","unstructured":"E. Pius. 2010. Automatic Parallelisation of Quantum Circuits Using the Measurement-Based Quantum Computing Model. Master\u2019s thesis. University of Edinburgh. E. Pius. 2010. Automatic Parallelisation of Quantum Circuits Using the Measurement-Based Quantum Computing Model. Master\u2019s thesis. University of Edinburgh."},{"key":"e_1_2_1_43_1","unstructured":"R. Raussendorf. 2012. Measurement-Based Quantum Computation with Cluster States. Ph.D. Dissertation. Ludwig-Maximilians-Universitat Munich. R. Raussendorf. 2012. Measurement-Based Quantum Computation with Cluster States. Ph.D. Dissertation. Ludwig-Maximilians-Universitat Munich."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.86.5188"},{"key":"e_1_2_1_45_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.26421\/QIC11.3-4-6","article-title":"Block-based quantum-logic synthesis","volume":"11","author":"Saeedi M.","year":"2011","journal-title":"Quantum Information and Computation"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2431211.2431220"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855930"},{"key":"e_1_2_1_48_1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.26421\/QIC8.5-6-8","article-title":"On the CNOT-cost of Toffoli gates","volume":"9","author":"Shende V. V.","year":"2009","journal-title":"Quantum Information and Computation"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.69.062321"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269020"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/2011517.2011522"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.77.793"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.92.177902"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.69.032315"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.69.010301"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1038\/nature03347"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.83.020302"}],"container-title":["ACM Journal on Emerging Technologies in Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064834","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3064834","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:40Z","timestamp":1750217800000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064834"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,21]]},"references-count":57,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,10,31]]}},"alternative-id":["10.1145\/3064834"],"URL":"https:\/\/doi.org\/10.1145\/3064834","relation":{},"ISSN":["1550-4832","1550-4840"],"issn-type":[{"value":"1550-4832","type":"print"},{"value":"1550-4840","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,21]]},"assertion":[{"value":"2016-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}