{"id":"https://openalex.org/W2627093003","doi":"https://doi.org/10.48550/arxiv.1706.02721","title":"Logic Synthesis for Quantum Computing","display_name":"Logic Synthesis for Quantum Computing","publication_year":2017,"publication_date":"2017-06-08","ids":{"openalex":"https://openalex.org/W2627093003","doi":"https://doi.org/10.48550/arxiv.1706.02721","mag":"2627093003"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:1706.02721","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1706.02721","pdf_url":"https://arxiv.org/pdf/1706.02721","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1706.02721","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084007478","display_name":"Mathias Soeken","orcid":"https://orcid.org/0000-0002-0229-8766","observed_orcids":["https://orcid.org/0000-0002-0229-8766"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Soeken, Mathias","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040193392","display_name":"Martin Roetteler","orcid":"https://orcid.org/0000-0003-0234-2496","observed_orcids":["https://orcid.org/0000-0003-0234-2496"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Roetteler, Martin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004290683","display_name":"Nathan Wiebe","orcid":"https://orcid.org/0000-0001-7642-1061","observed_orcids":["https://orcid.org/0000-0001-7642-1061","https://orcid.org/0000-0001-6047-0547"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wiebe, Nathan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5046223318","display_name":"Giovanni De Micheli","orcid":"https://orcid.org/0000-0002-7827-3215","observed_orcids":["https://orcid.org/0000-0002-7827-3215"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"De Micheli, Giovanni","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13182","display_name":"Quantum-Dot Cellular Automata","score":0.00139999995008111,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.00039999998989515007,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-circuit-synthesis","display_name":"quantum circuit synthesis","score":0.9089999794960022},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"logic synthesis","score":0.6759999990463257},{"id":"https://openalex.org/keywords/reversible-logic","display_name":"reversible logic","score":0.7549999952316284},{"id":"https://openalex.org/keywords/clifford-t-gates","display_name":"Clifford+T gates","score":0.9129999876022339},{"id":"https://openalex.org/keywords/floating-point-arithmetic","display_name":"floating-point arithmetic","score":0.5590000152587891},{"id":"https://openalex.org/keywords/ieee-floating-point-standard","display_name":"IEEE floating-point standard","score":0.3700000047683716}],"concepts":[{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.5803074240684509},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5553068518638611},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5550925731658936},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.3783915638923645},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.373754620552063},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.20335516333580017},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.18205952644348145}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:1706.02721","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1706.02721","pdf_url":"https://arxiv.org/pdf/1706.02721","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.1706.02721","doi":"https://doi.org/10.48550/arxiv.1706.02721","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1706.02721","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1706.02721","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1706.02721","pdf_url":"https://arxiv.org/pdf/1706.02721","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W9166514","https://openalex.org/W654533096","https://openalex.org/W1144493394","https://openalex.org/W1492999010","https://openalex.org/W1498138768","https://openalex.org/W1576866980","https://openalex.org/W1631356911","https://openalex.org/W1667742331","https://openalex.org/W1749786511","https://openalex.org/W1776822698","https://openalex.org/W1905608265","https://openalex.org/W1965245973","https://openalex.org/W1979130667","https://openalex.org/W1998923851","https://openalex.org/W2021709993","https://openalex.org/W2028526701","https://openalex.org/W2035561773","https://openalex.org/W2036325507","https://openalex.org/W2041506125","https://openalex.org/W2046826122","https://openalex.org/W2061073612","https://openalex.org/W2068277524","https://openalex.org/W2078644645","https://openalex.org/W2100955320","https://openalex.org/W2102008187","https://openalex.org/W2105259569","https://openalex.org/W2105715355","https://openalex.org/W2140132043","https://openalex.org/W2145633150","https://openalex.org/W2150528339","https://openalex.org/W2150787480","https://openalex.org/W2155163387","https://openalex.org/W2161982050","https://openalex.org/W2202869460","https://openalex.org/W2242458479","https://openalex.org/W2343247541","https://openalex.org/W2344561532","https://openalex.org/W2394549188","https://openalex.org/W2415710521","https://openalex.org/W2542879242","https://openalex.org/W2569934227","https://openalex.org/W2586874551","https://openalex.org/W2588538322","https://openalex.org/W3101201397","https://openalex.org/W3102615112","https://openalex.org/W3103810096","https://openalex.org/W4293765427"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2052585299"],"abstract_inverted_index":{"We":[0,68,161],"present":[1],"a":[2,27,35,40,48,83,89,114,216,242],"synthesis":[3,16,57,60,71],"framework":[4,17,72,99,255],"to":[5,53,80,101,146,177,200,214,234],"map":[6,147],"logic":[7,32,56,59,85],"networks":[8,22,175],"into":[9,151],"quantum":[10,13,62,90,111,139,182,204,231,245,266,276],"circuits":[11],"for":[12,61,107,207,220,241],"computing.":[14],"The":[15,98],"is":[18,82,88,120],"based":[19],"on":[20],"LUT":[21,41],"(lookup-table":[23],"networks),":[24],"which":[25,265],"play":[26],"key":[28],"role":[29],"in":[30,39,47,93,136,168,271],"conventional":[31,55],"synthesis.":[33],"Establishing":[34],"connection":[36],"between":[37],"LUTs":[38],"network":[42,50,91,119],"and":[43,128],"reversible":[44,49],"single-target":[45,126,149],"gates":[46,127],"allows":[51],"us":[52],"bridge":[54],"with":[58],"computing,":[63],"despite":[64],"several":[65],"fundamental":[66],"differences.":[67],"call":[69],"our":[70,166],"LUT-based":[73],"Hierarchical":[74],"Reversible":[75],"Logic":[76],"Synthesis":[77],"(LHRS).":[78],"Input":[79],"LHRS":[81,254],"classical":[84],"network;":[86],"output":[87],"(realized":[92],"terms":[94],"of":[95,105,110,125,134,165,193,203,244,263,275],"Clifford+$T$":[96,152],"gates).":[97],"offers":[100],"trade-off":[102],"the":[103,108,132,137,163,201,221,236,248,253,261,272],"number":[104,109,133],"qubits":[106,135],"gates.":[112],"In":[113],"first":[115,237,273],"step,":[116],"an":[117,257],"initial":[118],"derived":[121],"that":[122,229],"only":[123],"consists":[124],"already":[129],"completely":[130],"determines":[131],"final":[138],"network.":[140],"Different":[141],"methods":[142],"are":[143,256],"then":[144],"used":[145],"each":[148],"gate":[150],"gates,":[153],"while":[154],"aiming":[155],"at":[156],"optimally":[157],"using":[158],"available":[159],"resources.":[160],"demonstrate":[162],"effectiveness":[164],"method":[167],"automatically":[169],"synthesizing":[170],"IEEE":[171],"compliant":[172],"floating":[173,194],"point":[174,195],"up":[176],"double":[178],"precision.":[179],"As":[180],"many":[181],"algorithms":[183,267],"target":[184],"scientific":[185],"simulation":[186],"applications,":[187],"they":[188],"can":[189,211],"make":[190],"rich":[191],"use":[192],"arithmetic":[196],"components.":[197],"But":[198],"due":[199],"lack":[202],"circuit":[205],"descriptions":[206],"those":[208],"components,":[209],"it":[210],"be":[212,269],"difficult":[213],"find":[215],"realistic":[217],"cost":[218,227,239],"estimation":[219],"algorithms.":[222,246],"Our":[223],"synthesized":[224],"benchmarks":[225,249],"provide":[226,235],"estimates":[228,240],"allow":[230],"algorithm":[232],"designers":[233],"complete":[238],"host":[243],"Thus,":[247],"and,":[250],"more":[251],"generally,":[252],"essential":[258],"step":[259],"towards":[260],"goal":[262],"understanding":[264],"will":[268],"practical":[270],"generations":[274],"computers.":[277]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":5}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2025-10-10T00:00:00"}