{"id":"https://openalex.org/W3212034829","doi":"https://doi.org/10.1109/dac18074.2021.9586214","title":"Approximate Equivalence Checking of Noisy Quantum Circuits","display_name":"Approximate Equivalence Checking of Noisy Quantum Circuits","publication_year":2021,"publication_date":"2021-11-08","ids":{"openalex":"https://openalex.org/W3212034829","doi":"https://doi.org/10.1109/dac18074.2021.9586214","mag":"3212034829"},"language":"en","primary_location":{"id":"doi:10.1109/dac18074.2021.9586214","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac18074.2021.9586214","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 58th ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036946454","display_name":"Xin Hong","orcid":"https://orcid.org/0000-0002-1879-5011"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I4210096034","display_name":"Centre for Quantum Computation and Communication Technology","ror":"https://ror.org/00rnbty21","country_code":"AU","type":"facility","lineage":["https://openalex.org/I1337719021","https://openalex.org/I165143802","https://openalex.org/I2801453606","https://openalex.org/I4210096034","https://openalex.org/I4210132349"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Xin Hong","raw_affiliation_strings":["Centre for Quantum Software and Information, University of Technology Sydney, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Quantum Software and Information, University of Technology Sydney, Australia","institution_ids":["https://openalex.org/I4210096034","https://openalex.org/I114017466"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023088481","display_name":"Mingsheng Ying","orcid":"https://orcid.org/0000-0003-4847-702X"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210096034","display_name":"Centre for Quantum Computation and Communication Technology","ror":"https://ror.org/00rnbty21","country_code":"AU","type":"facility","lineage":["https://openalex.org/I1337719021","https://openalex.org/I165143802","https://openalex.org/I2801453606","https://openalex.org/I4210096034","https://openalex.org/I4210132349"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["AU","CN"],"is_corresponding":false,"raw_author_name":"Mingsheng Ying","raw_affiliation_strings":["Centre for Quantum Software and Information, University of Technology Sydney, Australia","Department of Computer Science and Technology, Tsinghua University, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Quantum Software and Information, University of Technology Sydney, Australia","institution_ids":["https://openalex.org/I4210096034","https://openalex.org/I114017466"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022869475","display_name":"Yuan Feng","orcid":"https://orcid.org/0000-0002-3097-3896"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I4210096034","display_name":"Centre for Quantum Computation and Communication Technology","ror":"https://ror.org/00rnbty21","country_code":"AU","type":"facility","lineage":["https://openalex.org/I1337719021","https://openalex.org/I165143802","https://openalex.org/I2801453606","https://openalex.org/I4210096034","https://openalex.org/I4210132349"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yuan Feng","raw_affiliation_strings":["Centre for Quantum Software and Information, University of Technology Sydney, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Quantum Software and Information, University of Technology Sydney, Australia","institution_ids":["https://openalex.org/I4210096034","https://openalex.org/I114017466"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061225561","display_name":"Xiangzhen Zhou","orcid":"https://orcid.org/0000-0003-3244-6675"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I4210096034","display_name":"Centre for Quantum Computation and Communication Technology","ror":"https://ror.org/00rnbty21","country_code":"AU","type":"facility","lineage":["https://openalex.org/I1337719021","https://openalex.org/I165143802","https://openalex.org/I2801453606","https://openalex.org/I4210096034","https://openalex.org/I4210132349"]},{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["AU","CN"],"is_corresponding":false,"raw_author_name":"Xiangzhen Zhou","raw_affiliation_strings":["Centre for Quantum Software and Information, University of Technology Sydney, Australia","State Key Lab of Millimeter Waves, Southeast University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Quantum Software and Information, University of Technology Sydney, Australia","institution_ids":["https://openalex.org/I4210096034","https://openalex.org/I114017466"]},{"raw_affiliation_string":"State Key Lab of Millimeter Waves, Southeast University, China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108049690","display_name":"Sanjiang Li","orcid":"https://orcid.org/0000-0002-3332-2546"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]},{"id":"https://openalex.org/I4210096034","display_name":"Centre for Quantum Computation and Communication Technology","ror":"https://ror.org/00rnbty21","country_code":"AU","type":"facility","lineage":["https://openalex.org/I1337719021","https://openalex.org/I165143802","https://openalex.org/I2801453606","https://openalex.org/I4210096034","https://openalex.org/I4210132349"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Sanjiang Li","raw_affiliation_strings":["Centre for Quantum Software and Information, University of Technology Sydney, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Quantum Software and Information, University of Technology Sydney, Australia","institution_ids":["https://openalex.org/I4210096034","https://openalex.org/I114017466"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7987,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.92148425,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"637","last_page":"642"},"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9957000017166138,"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"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.722054123878479},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.69126296043396},{"id":"https://openalex.org/keywords/fidelity","display_name":"Fidelity","score":0.5968248844146729},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.5785953998565674},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5681586861610413},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5480508804321289},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5257333517074585},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4915257394313812},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.46985924243927},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.44992977380752563},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.40936630964279175},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3908565640449524},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"Quantum error correction","score":0.3102577030658722},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20847997069358826},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.18597880005836487},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13270926475524902}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.722054123878479},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.69126296043396},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.5968248844146729},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.5785953998565674},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5681586861610413},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5480508804321289},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5257333517074585},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4915257394313812},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.46985924243927},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44992977380752563},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.40936630964279175},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3908565640449524},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.3102577030658722},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20847997069358826},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.18597880005836487},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13270926475524902},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dac18074.2021.9586214","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac18074.2021.9586214","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 58th ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W569769073","https://openalex.org/W1631356911","https://openalex.org/W1974566175","https://openalex.org/W1993688167","https://openalex.org/W1995412269","https://openalex.org/W2023885784","https://openalex.org/W2033216491","https://openalex.org/W2038709177","https://openalex.org/W2060407451","https://openalex.org/W2072969317","https://openalex.org/W2080267935","https://openalex.org/W2084652510","https://openalex.org/W2092494161","https://openalex.org/W2114946152","https://openalex.org/W2132833274","https://openalex.org/W2137147061","https://openalex.org/W2151919909","https://openalex.org/W2170620327","https://openalex.org/W2203382396","https://openalex.org/W2559394418","https://openalex.org/W2760965790","https://openalex.org/W2764347725","https://openalex.org/W2894798306","https://openalex.org/W2906538035","https://openalex.org/W2930242962","https://openalex.org/W2982169647","https://openalex.org/W2995811874","https://openalex.org/W3016880330","https://openalex.org/W3083463047","https://openalex.org/W3091814729","https://openalex.org/W3092110422","https://openalex.org/W3099200606","https://openalex.org/W3101479050","https://openalex.org/W3105677655","https://openalex.org/W3111969679","https://openalex.org/W3144070277","https://openalex.org/W3149477534","https://openalex.org/W3151473321","https://openalex.org/W3209612530","https://openalex.org/W4241688803","https://openalex.org/W4297799942","https://openalex.org/W6665802101","https://openalex.org/W6755496127","https://openalex.org/W6771884449","https://openalex.org/W6782369480"],"related_works":["https://openalex.org/W4200149527","https://openalex.org/W2372149058","https://openalex.org/W2991324428","https://openalex.org/W4379115997","https://openalex.org/W2792100442","https://openalex.org/W2997740458","https://openalex.org/W1996213744","https://openalex.org/W4284882292","https://openalex.org/W3092615945","https://openalex.org/W2903516100"],"abstract_inverted_index":{"We":[0],"study":[1],"the":[2,11,38,43,53,73,80,109,119],"fundamental":[3],"design":[4],"automation":[5],"problem":[6],"of":[7,26,29,49,75,93,102],"equivalence":[8,28],"checking":[9],"in":[10,113,123],"NISQ":[12,104],"(Noisy":[13],"Intermediate-Scale":[14],"Quantum)":[15],"computing":[16,79],"realm":[17],"where":[18,72],"quantum":[19,32,85],"noise":[20],"is":[21,34,55,96],"present":[22,65],"inevitably.":[23],"The":[24,91],"notion":[25],"approximate":[27],"(possibly":[30],"noisy)":[31],"circuits":[33],"defined":[35],"based":[36],"on":[37,100],"Jamiolkowski":[39],"fidelity":[40,81],"which":[41],"measures":[42],"average":[44],"distance":[45],"between":[46,82],"output":[47],"states":[48],"two":[50,66],"super-operators":[51],"when":[52],"input":[54],"chosen":[56],"at":[57,69],"random.":[58],"By":[59],"employing":[60],"tensor":[61],"network":[62],"contraction,":[63],"we":[64],"algorithms,":[67],"aiming":[68],"different":[70],"situations":[71],"number":[74],"noises":[76],"varies,":[77],"for":[78],"an":[83],"ideal":[84],"circuit":[86],"and":[87,126],"its":[88],"noisy":[89],"implementation.":[90],"effectiveness":[92],"our":[94],"algorithms":[95,121],"demonstrated":[97],"by":[98],"experimenting":[99],"benchmarks":[101],"real":[103],"circuits.":[105],"When":[106],"compared":[107],"with":[108],"state-of-the-art":[110],"implementation":[111],"incorporated":[112],"Qiskit,":[114],"experimental":[115],"results":[116],"show":[117],"that":[118],"proposed":[120],"outperform":[122],"both":[124],"efficiency":[125],"scalability.":[127]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}