{"id":"https://openalex.org/W7166647018","doi":"https://doi.org/10.1109/qsw72780.2026.00026","title":"MetaMorphQ: Physics-Based Metamorphic Testing of Variational Quantum Circuits","display_name":"MetaMorphQ: Physics-Based Metamorphic Testing of Variational Quantum Circuits","publication_year":2026,"publication_date":"2026-07-01","ids":{"openalex":"https://openalex.org/W7166647018","doi":"https://doi.org/10.1109/qsw72780.2026.00026"},"language":"en","primary_location":{"id":"doi:10.1109/qsw72780.2026.00026","doi":"https://doi.org/10.1109/qsw72780.2026.00026","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qsw72780.2026.00026","pdf_url":null,"source":{"id":"https://openalex.org/S7407088558","display_name":"IEEE International Conference on Quantum Software (QSW)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE International Conference on Quantum Software (QSW)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2606.28742","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113468682","display_name":"Ngoc Nhi Nguyen","orcid":"https://orcid.org/0009-0006-8228-3615","observed_orcids":["https://orcid.org/0009-0006-8228-3615","https://orcid.org/0009-0000-2032-5898"]},"institutions":[{"id":"https://openalex.org/I204824540","display_name":"University of Wollongong","ror":"https://ror.org/00jtmb277","country_code":"AU","type":"education","lineage":["https://openalex.org/I204824540"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Ngoc Nhi Nguyen","raw_affiliation_strings":["University of Wollongong"],"raw_orcid":"https://orcid.org/0009-0006-8228-3615","affiliations":[{"raw_affiliation_string":"University of Wollongong","institution_ids":["https://openalex.org/I204824540"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137698734","display_name":"John Le","orcid":"https://orcid.org/0000-0003-0019-0345","observed_orcids":["https://orcid.org/0000-0003-0019-0345"]},"institutions":[{"id":"https://openalex.org/I204824540","display_name":"University of Wollongong","ror":"https://ror.org/00jtmb277","country_code":"AU","type":"education","lineage":["https://openalex.org/I204824540"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"John Le","raw_affiliation_strings":["University of Wollongong"],"raw_orcid":"https://orcid.org/0000-0003-0019-0345","affiliations":[{"raw_affiliation_string":"University of Wollongong","institution_ids":["https://openalex.org/I204824540"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040179679","display_name":"Thai T. Vu","orcid":"https://orcid.org/0000-0002-9826-3321","observed_orcids":["https://orcid.org/0000-0002-9826-3321"]},"institutions":[{"id":"https://openalex.org/I204824540","display_name":"University of Wollongong","ror":"https://ror.org/00jtmb277","country_code":"AU","type":"education","lineage":["https://openalex.org/I204824540"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Thai T. Vu","raw_affiliation_strings":["University of Wollongong"],"raw_orcid":"https://orcid.org/0000-0002-9826-3321","affiliations":[{"raw_affiliation_string":"University of Wollongong","institution_ids":["https://openalex.org/I204824540"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5146617794","display_name":"Thi Thuy Nga Nguyen","orcid":"https://orcid.org/0009-0008-4777-5002","observed_orcids":["https://orcid.org/0009-0008-4777-5002"]},"institutions":[{"id":"https://openalex.org/I204824540","display_name":"University of Wollongong","ror":"https://ror.org/00jtmb277","country_code":"AU","type":"education","lineage":["https://openalex.org/I204824540"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Thi Thuy Nga Nguyen","raw_affiliation_strings":["University of Wollongong"],"raw_orcid":"https://orcid.org/0009-0008-4777-5002","affiliations":[{"raw_affiliation_string":"University of Wollongong","institution_ids":["https://openalex.org/I204824540"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031318875","display_name":"Jun Shen","orcid":"https://orcid.org/0000-0002-9403-7140","observed_orcids":["https://orcid.org/0000-0002-9403-7140","https://orcid.org/0000-0001-7746-5285","https://orcid.org/0000-0001-9348-9324","https://orcid.org/0000-0001-7826-5875"]},"institutions":[{"id":"https://openalex.org/I204824540","display_name":"University of Wollongong","ror":"https://ror.org/00jtmb277","country_code":"AU","type":"education","lineage":["https://openalex.org/I204824540"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Jun Shen","raw_affiliation_strings":["University of Wollongong"],"raw_orcid":"https://orcid.org/0000-0002-9403-7140","affiliations":[{"raw_affiliation_string":"University of Wollongong","institution_ids":["https://openalex.org/I204824540"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I204824540"],"apc_list":null,"apc_paid":null,"fwci":2.7486,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.92711062,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"166","last_page":"175"},"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.5189999938011169,"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.5189999938011169,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.4713999927043915,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.0006000000284984708,"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/metamorphic-testing","display_name":"metamorphic testing","score":0.9959999918937683},{"id":"https://openalex.org/keywords/variational-quantum-eigensolver","display_name":"variational quantum eigensolver","score":0.9869999885559082},{"id":"https://openalex.org/keywords/test-oracle-problem","display_name":"oracle problem","score":0.718999981880188},{"id":"https://openalex.org/keywords/rotation-gates","display_name":"rotation gates","score":0.5},{"id":"https://openalex.org/keywords/quantum-software-testing","display_name":"quantum software testing","score":0.5270000100135803},{"id":"https://openalex.org/keywords/convergence-tests","display_name":"convergence tests","score":0.4269999861717224},{"id":"https://openalex.org/keywords/false-positive-reduction","display_name":"false positive reduction","score":0.42800000309944153}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6771000027656555},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.6485000252723694},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5117999911308289},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.48500001430511475},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.4772000014781952},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4675000011920929},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.4611999988555908},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4318000078201294},{"id":"https://openalex.org/C58849907","wikidata":"https://www.wikidata.org/wiki/Q2118982","display_name":"Quantum gate","level":4,"score":0.4235000014305115},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42260000109672546},{"id":"https://openalex.org/C74050887","wikidata":"https://www.wikidata.org/wiki/Q848368","display_name":"Rotation (mathematics)","level":2,"score":0.40209999680519104},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.39809998869895935},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.38850000500679016},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3882000148296356},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.387800008058548},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.3644999861717224},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.35089999437332153},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.3443000018596649},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3375999927520752},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.32269999384880066},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30250000953674316},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.30140000581741333},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.2930000126361847},{"id":"https://openalex.org/C67820243","wikidata":"https://www.wikidata.org/wiki/Q179164","display_name":"Unitary state","level":2,"score":0.28540000319480896},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.28529998660087585},{"id":"https://openalex.org/C62064638","wikidata":"https://www.wikidata.org/wiki/Q553878","display_name":"Design for manufacturability","level":2,"score":0.2797999978065491},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.2727999985218048},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.26980000734329224},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.25119999051094055},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.25119999051094055},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.25040000677108765}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/qsw72780.2026.00026","doi":"https://doi.org/10.1109/qsw72780.2026.00026","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qsw72780.2026.00026","pdf_url":null,"source":{"id":"https://openalex.org/S7407088558","display_name":"IEEE International Conference on Quantum Software (QSW)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE International Conference on Quantum Software (QSW)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2606.28742","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2606.28742","pdf_url":"https://arxiv.org/pdf/2606.28742","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.2606.28742","doi":"https://doi.org/10.48550/arxiv.2606.28742","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.28742","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":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2606.28742","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2606.28742","pdf_url":"https://arxiv.org/pdf/2606.28742","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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7166647018.pdf","grobid_xml":"https://content.openalex.org/works/W7166647018.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W1631356911","https://openalex.org/W2049695835","https://openalex.org/W2135841285","https://openalex.org/W2152575748","https://openalex.org/W2161685427","https://openalex.org/W2257937122","https://openalex.org/W2324595780","https://openalex.org/W2755255888","https://openalex.org/W2781738013","https://openalex.org/W2782311202","https://openalex.org/W2790388700","https://openalex.org/W2794444783","https://openalex.org/W2903221501","https://openalex.org/W2906649690","https://openalex.org/W2921920881","https://openalex.org/W2950018366","https://openalex.org/W2972032089","https://openalex.org/W3043800467","https://openalex.org/W3047776431","https://openalex.org/W3136233239","https://openalex.org/W3166070894","https://openalex.org/W3212169067","https://openalex.org/W4205876794","https://openalex.org/W4206422925","https://openalex.org/W4282842784","https://openalex.org/W4285337083","https://openalex.org/W4378591002","https://openalex.org/W4384304865","https://openalex.org/W4416874202"],"related_works":["https://openalex.org/W7223249787","https://openalex.org/W4384302737","https://openalex.org/W4318830406","https://openalex.org/W4308627584","https://openalex.org/W4403136253","https://openalex.org/W7170067673","https://openalex.org/W7128487781","https://openalex.org/W7223474094","https://openalex.org/W4401823990","https://openalex.org/W4409510135"],"abstract_inverted_index":{"Variational":[0],"Quantum":[1],"Eigensolvers":[2],"(VQEs)":[3],"are":[4,33],"central":[5],"to":[6,15,41],"quantum":[7,57,133],"computing,":[8],"yet":[9],"testing":[10,49,132],"them":[11],"remains":[12],"challenging":[13],"due":[14,40],"the":[16,19],"oracle":[17],"problem:":[18],"ground-state":[20],"energy":[21],"they":[22],"compute":[23],"is":[24],"itself":[25],"unknown.":[26],"Existing":[27],"approaches,":[28],"such":[29],"as":[30],"convergence-based":[31],"testing,":[32],"unreliable":[34],"and":[35,70,84,106,141],"yield":[36],"high":[37],"false-positive":[38],"rates":[39],"optimisation":[42],"instability.":[43],"We":[44],"propose":[45],"METAMORPHQ,":[46],"a":[47,127],"metamorphic":[48],"framework":[50],"that":[51,78,123],"derives":[52],"test":[53],"oracles":[54],"directly":[55],"from":[56],"mechanical":[58],"properties":[59,65],"of":[60,66,138],"VQE":[61],"circuits.":[62,143],"Exploiting":[63],"algebraic":[64],"parametrised":[67],"rotation":[68],"gates":[69],"diagonal":[71],"Hamiltonians,":[72],"we":[73],"define":[74],"five":[75],"physics-based":[76],"invariants":[77,125],"hold":[79],"for":[80,117,131],"any":[81],"correct":[82],"circuit":[83],"can":[85],"be":[86],"verified":[87],"at":[88],"initialisation":[89],"without":[90],"ground-truth":[91],"outputs.":[92],"Evaluated":[93],"on":[94],"500":[95],"benchmark":[96],"circuits":[97],"with":[98],"2,469":[99],"mutants,":[100],"METAMORPHQ":[101],"achieves":[102],"zero":[103],"false":[104],"positives":[105],"significantly":[107],"improves":[108],"diagnostic":[109],"effectiveness":[110],"(Youden's":[111],"J":[112],"=":[113],"0.57":[114],"vs.":[115],"0.02":[116],"convergence":[118],"testing).":[119],"These":[120],"results":[121],"demonstrate":[122],"physics-derived":[124],"provide":[126],"practical,":[128],"oracle-free":[129],"foundation":[130],"software,":[134],"enabling":[135],"reliable":[136],"validation":[137],"both":[139],"human-":[140],"LLM-generated":[142]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-07-01T00:00:00"}