{"id":"https://openalex.org/W4415368577","doi":"https://doi.org/10.1109/tcad.2025.3623498","title":"Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits","display_name":"Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits","publication_year":2025,"publication_date":"2025-10-20","ids":{"openalex":"https://openalex.org/W4415368577","doi":"https://doi.org/10.1109/tcad.2025.3623498"},"language":null,"primary_location":{"id":"doi:10.1109/tcad.2025.3623498","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3623498","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","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/A5102826383","display_name":"Mingyu Huang","orcid":"https://orcid.org/0009-0000-3219-1380"},"institutions":[{"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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingyu Huang","raw_affiliation_strings":["Key Laboratory of System Software and the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","Institute of Software, Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0000-3219-1380","affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software and the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Institute of Software, Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081435269","display_name":"Ji Guan","orcid":"https://orcid.org/0000-0002-3490-0029"},"institutions":[{"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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ji Guan","raw_affiliation_strings":["Key Laboratory of System Software and the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","Institute of Software, Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-3490-0029","affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software and the State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"Institute of Software, Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100747363","display_name":"Wang Fang","orcid":"https://orcid.org/0000-0001-7628-1185"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Wang Fang","raw_affiliation_strings":["School of Informatics, University of Edinburgh, Edinburgh, U.K","School of Informatics, University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-7628-1185","affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Edinburgh, U.K","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","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/I4210091585","display_name":"Quantum (Australia)","ror":"https://ror.org/00bp6rb10","country_code":"AU","type":"company","lineage":["https://openalex.org/I4210091585"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Mingsheng Ying","raw_affiliation_strings":["Centre for Quantum Software and Information, University of Technology Sydney, Ultimo, NSW, Australia"],"raw_orcid":"https://orcid.org/0000-0003-4847-702X","affiliations":[{"raw_affiliation_string":"Centre for Quantum Software and Information, University of Technology Sydney, Ultimo, NSW, Australia","institution_ids":["https://openalex.org/I114017466","https://openalex.org/I4210091585"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13995858,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"45","issue":"6","first_page":"2679","last_page":"2692"},"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.9988999962806702,"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.9988999962806702,"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.9853000044822693,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9801999926567078,"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","display_name":"Quantum circuit","score":0.578499972820282},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5702000260353088},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5419999957084656},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.5239999890327454},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4943000078201294},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.47870001196861267},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.47360000014305115},{"id":"https://openalex.org/keywords/quantum-gate","display_name":"Quantum gate","score":0.4415000081062317},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.4381999969482422},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4316999912261963}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5824999809265137},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.578499972820282},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5702000260353088},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5419999957084656},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.5239999890327454},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5121999979019165},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4943000078201294},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.47870001196861267},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.47360000014305115},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.4415000081062317},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.4381999969482422},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4316999912261963},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4138000011444092},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.413100004196167},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.34060001373291016},{"id":"https://openalex.org/C111996192","wikidata":"https://www.wikidata.org/wiki/Q7269075","display_name":"Quantum noise","level":3,"score":0.3188999891281128},{"id":"https://openalex.org/C83581934","wikidata":"https://www.wikidata.org/wiki/Q527381","display_name":"Arbitrary-precision arithmetic","level":2,"score":0.31209999322891235},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.30869999527931213},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.30140000581741333},{"id":"https://openalex.org/C22789450","wikidata":"https://www.wikidata.org/wiki/Q420904","display_name":"Singular value decomposition","level":2,"score":0.2996000051498413},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.28870001435279846},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2838999927043915},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2799000144004822},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.2786000072956085},{"id":"https://openalex.org/C122383733","wikidata":"https://www.wikidata.org/wiki/Q865920","display_name":"Approximation error","level":2,"score":0.2743000090122223},{"id":"https://openalex.org/C113089479","wikidata":"https://www.wikidata.org/wiki/Q210729","display_name":"Electrical element","level":2,"score":0.2736999988555908},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.27149999141693115},{"id":"https://openalex.org/C145242015","wikidata":"https://www.wikidata.org/wiki/Q774123","display_name":"Approximation theory","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.259799987077713},{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.2596000134944916},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.2590999901294708},{"id":"https://openalex.org/C161166931","wikidata":"https://www.wikidata.org/wiki/Q7269096","display_name":"Quantum simulator","level":4,"score":0.2574999928474426},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.2529999911785126},{"id":"https://openalex.org/C182953411","wikidata":"https://www.wikidata.org/wiki/Q917713","display_name":"Controlled NOT gate","level":5,"score":0.2524999976158142},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2025.3623498","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3623498","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2298986854","display_name":null,"funder_award_id":"2023116","funder_id":"https://openalex.org/F4320322847","funder_display_name":"Youth Innovation Promotion Association of the Chinese Academy of Sciences"},{"id":"https://openalex.org/G5252431065","display_name":null,"funder_award_id":"62402485","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322847","display_name":"Youth Innovation Promotion Association of the Chinese Academy of Sciences","ror":"https://ror.org/031141b54"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0],"the":[1,51,80,115],"current":[2],"NISQ":[3],"(Noisy":[4],"Intermediate-Scale":[5],"Quantum)":[6],"era,":[7],"simulating":[8,48],"and":[9,24,30,49,113,128,137],"verifying":[10],"noisy":[11,54],"quantum":[12,21,55,83,100],"circuits":[13,34,101,123],"is":[14,87],"crucial":[15],"but":[16],"faces":[17],"challenges":[18],"such":[19],"as":[20],"state":[22],"explosion":[23],"complex":[25],"noise":[26,105,130],"representations,":[27],"constraining":[28],"simulation":[29],"equivalence":[31,52,116],"checking":[32],"to":[33,59,78],"with":[35,74,102,124],"a":[36,68],"limited":[37],"number":[38],"of":[39,53,82,117],"qubits.":[40],"This":[41],"paper":[42],"introduces":[43],"an":[44],"approximation":[45],"algorithm":[46,110],"for":[47,94],"assessing":[50],"circuits,":[56],"specifically":[57],"designed":[58],"improve":[60],"scalability":[61,136],"under":[62],"low-noise":[63],"conditions.":[64],"The":[65,85],"approach":[66],"utilizes":[67],"novel":[69],"tensor":[70],"network":[71],"diagram":[72],"combined":[73],"singular":[75],"value":[76],"decomposition":[77],"approximate":[79],"tensors":[81],"noises.":[84],"implementation":[86],"based":[88],"on":[89,98],"Google\u2019s":[90],"TensorNetwork":[91],"Python":[92],"package":[93],"contraction.":[95],"Experimental":[96],"results":[97],"realistic":[99,103],"hardware":[104],"models":[106],"indicate":[107],"that":[108],"our":[109],"can":[111],"simulate":[112],"check":[114],"QAOA":[118],"(Quantum":[119],"Approximate":[120],"Optimization":[121],"Algorithm)":[122],"around":[125],"200":[126],"qubits":[127],"20":[129],"operators,":[131],"outperforming":[132],"state-of-the-art":[133],"approaches":[134],"in":[135],"speed.":[138]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-21T00:00:00"}