{"id":"https://openalex.org/W2950237548","doi":"https://doi.org/10.1109/dsd.2007.4341490","title":"Algebraic Characterization of CNOT-Based Quantum Circuits with its Applications on Logic Synthesis","display_name":"Algebraic Characterization of CNOT-Based Quantum Circuits with its Applications on Logic Synthesis","publication_year":2007,"publication_date":"2007-08-01","ids":{"openalex":"https://openalex.org/W2950237548","doi":"https://doi.org/10.1109/dsd.2007.4341490","mag":"2950237548"},"language":"en","primary_location":{"id":"doi:10.1109/dsd.2007.4341490","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsd.2007.4341490","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/0712.2963","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049982359","display_name":"Mehdi Saeedi","orcid":"https://orcid.org/0000-0002-6510-0737"},"institutions":[{"id":"https://openalex.org/I158248296","display_name":"Amirkabir University of Technology","ror":"https://ror.org/04gzbav43","country_code":"IR","type":"education","lineage":["https://openalex.org/I158248296"]}],"countries":["IR"],"is_corresponding":true,"raw_author_name":"Mehdi Saeedi","raw_affiliation_strings":["Computer Engineering Department, Amirkabir University of Technology\uc2a0, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Computer Engineering Department, Amirkabir University of Technology\uc2a0, Tehran, Iran","institution_ids":["https://openalex.org/I158248296"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075732511","display_name":"Morteza Saheb Zamani","orcid":"https://orcid.org/0000-0002-0826-1091"},"institutions":[{"id":"https://openalex.org/I158248296","display_name":"Amirkabir University of Technology","ror":"https://ror.org/04gzbav43","country_code":"IR","type":"education","lineage":["https://openalex.org/I158248296"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Morteza Saheb Zamani","raw_affiliation_strings":["Computer Engineering Department, Amirkabir University of Technology\uc2a0, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Computer Engineering Department, Amirkabir University of Technology\uc2a0, Tehran, Iran","institution_ids":["https://openalex.org/I158248296"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064193814","display_name":"Mehdi Sedighi","orcid":"https://orcid.org/0000-0002-8304-1304"},"institutions":[{"id":"https://openalex.org/I158248296","display_name":"Amirkabir University of Technology","ror":"https://ror.org/04gzbav43","country_code":"IR","type":"education","lineage":["https://openalex.org/I158248296"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Mehdi Sedighi","raw_affiliation_strings":["Computer Engineering Department, Amirkabir University of Technology\uc2a0, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"Computer Engineering Department, Amirkabir University of Technology\uc2a0, Tehran, Iran","institution_ids":["https://openalex.org/I158248296"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5049982359"],"corresponding_institution_ids":["https://openalex.org/I158248296"],"apc_list":null,"apc_paid":null,"fwci":1.9462,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.89297764,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"339","last_page":"346"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":1.0,"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":1.0,"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.9972000122070312,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9955000281333923,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/controlled-not-gate","display_name":"Controlled NOT gate","score":0.8941962718963623},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.6530530452728271},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5344449877738953},{"id":"https://openalex.org/keywords/quantum-gate","display_name":"Quantum gate","score":0.5057952404022217},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4494275748729706},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.44732025265693665},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.4455057382583618},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40625935792922974},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.3940085470676422},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.3921204209327698},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37072184681892395},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.35837215185165405},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33224546909332275},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.18510392308235168},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1766473352909088}],"concepts":[{"id":"https://openalex.org/C182953411","wikidata":"https://www.wikidata.org/wiki/Q917713","display_name":"Controlled NOT gate","level":5,"score":0.8941962718963623},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.6530530452728271},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5344449877738953},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.5057952404022217},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4494275748729706},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.44732025265693665},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4455057382583618},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40625935792922974},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3940085470676422},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.3921204209327698},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37072184681892395},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.35837215185165405},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33224546909332275},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.18510392308235168},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1766473352909088},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/dsd.2007.4341490","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsd.2007.4341490","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:0712.2963","is_oa":true,"landing_page_url":"http://arxiv.org/abs/0712.2963","pdf_url":"https://arxiv.org/pdf/0712.2963","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:0712.2963","is_oa":true,"landing_page_url":"http://arxiv.org/abs/0712.2963","pdf_url":"https://arxiv.org/pdf/0712.2963","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1556233173","https://openalex.org/W1602271424","https://openalex.org/W1604160780","https://openalex.org/W1983474581","https://openalex.org/W2053364918","https://openalex.org/W2084652510","https://openalex.org/W2097754793","https://openalex.org/W2101220699","https://openalex.org/W2102296945","https://openalex.org/W2103915620","https://openalex.org/W2104590612","https://openalex.org/W2106850456","https://openalex.org/W2117443209","https://openalex.org/W2139894487","https://openalex.org/W2146532505","https://openalex.org/W2148602048","https://openalex.org/W2155163387","https://openalex.org/W2177423132","https://openalex.org/W2189477208","https://openalex.org/W2313433831","https://openalex.org/W2764347725","https://openalex.org/W2962960197","https://openalex.org/W3023478445","https://openalex.org/W3111297213","https://openalex.org/W4244065815","https://openalex.org/W4245816367","https://openalex.org/W4298878956","https://openalex.org/W6676407914","https://openalex.org/W6759099555","https://openalex.org/W6770759485","https://openalex.org/W7075998312"],"related_works":["https://openalex.org/W3200714110","https://openalex.org/W2037793298","https://openalex.org/W4387917696","https://openalex.org/W2565839197","https://openalex.org/W4320854618","https://openalex.org/W2045473016","https://openalex.org/W2066640878","https://openalex.org/W2808177279","https://openalex.org/W3092615945","https://openalex.org/W2916307283"],"abstract_inverted_index":{"The":[0],"exponential":[1],"speed":[2],"up":[3],"of":[4,11,31,35,49,64,75,135],"quantum":[5,23,36,89],"algorithms":[6],"and":[7],"the":[8,28,46,60,73,101,123,133,136],"fundamental":[9],"limits":[10],"current":[12],"CMOS":[13],"process":[14],"for":[15],"future":[16],"design":[17],"technology":[18],"have":[19,68],"directed":[20],"attentions":[21],"toward":[22],"circuits.":[24,90],"In":[25,58,91],"this":[26],"paper,":[27],"matrix":[29,47,67,102],"specification":[30],"a":[32,66,94,109,118,127],"broad":[33],"category":[34],"circuits,":[37,40],"i.e.":[38],"CNOT-based":[39,50,88,128],"are":[41],"investigated.":[42],"We":[43,115],"prove":[44,132],"that":[45,80],"elements":[48],"circuits":[51],"can":[52,83],"only":[53],"be":[54,84],"zeros":[55],"or":[56,62],"ones.":[57],"addition,":[59],"columns":[61],"rows":[63],"such":[65],"exactly":[69],"one":[70],"element":[71],"with":[72],"value":[74],"1.":[76],"Furthermore,":[77],"we":[78],"show":[79],"these":[81],"specifications":[82],"used":[85],"to":[86,99,121],"synthesize":[87],"other":[92],"words,":[93],"new":[95],"scheme":[96],"is":[97],"introduced":[98],"convert":[100],"representation":[103],"into":[104,126],"its":[105],"SOP":[106,125],"equivalent":[107],"using":[108],"novel":[110],"quantum-based":[111],"Karnaugh":[112],"map":[113],"extension.":[114],"then":[116],"apply":[117],"search-based":[119],"method":[120],"transform":[122],"obtained":[124],"circuit.":[129],"Experimental":[130],"results":[131],"correctness":[134],"proposed":[137],"concept.":[138]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}