{"id":"https://openalex.org/W7161418959","doi":"https://doi.org/10.1007/978-3-032-26204-2_30","title":"QSeqSim: A Symbolic Simulator for\u00a0Qiskit While Loops Using Sequential Quantum Circuits (Long Tool Paper)","display_name":"QSeqSim: A Symbolic Simulator for\u00a0Qiskit While Loops Using Sequential Quantum Circuits (Long Tool Paper)","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7161418959","doi":"https://doi.org/10.1007/978-3-032-26204-2_30"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-26204-2_30","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-26204-2_30","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26204-2_30.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26204-2_30.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136335663","display_name":"Zihao Li","orcid":"https://orcid.org/0009-0002-1768-6662"},"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"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zihao Li","raw_affiliation_strings":["Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China","University of Chinese Academy of Sciences, Beijing, 101408, China"],"raw_orcid":"https://orcid.org/0009-0002-1768-6662","affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"University of Chinese Academy of Sciences, Beijing, 101408, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"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":true,"raw_author_name":"Ji Guan","raw_affiliation_strings":["Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China"],"raw_orcid":"https://orcid.org/0000-0002-3490-0029","affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China","institution_ids":["https://openalex.org/I4210128818"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5136328599","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, 2007, 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, 2007, Australia","institution_ids":["https://openalex.org/I114017466","https://openalex.org/I4210091585"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5081435269"],"corresponding_institution_ids":["https://openalex.org/I4210128818"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.90853769,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"578","last_page":"598"},"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.9894999861717224,"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.9894999861717224,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.0010000000474974513,"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.0008999999845400453,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.7260000109672546},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5533999800682068},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.542900025844574},{"id":"https://openalex.org/keywords/qubit","display_name":"Qubit","score":0.5117999911308289},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4900999963283539},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.48739999532699585},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.4867999851703644},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.48159998655319214},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.4564000070095062}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7307000160217285},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.7260000109672546},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5533999800682068},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.542900025844574},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5163999795913696},{"id":"https://openalex.org/C203087015","wikidata":"https://www.wikidata.org/wiki/Q378201","display_name":"Qubit","level":3,"score":0.5117999911308289},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4970000088214874},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4900999963283539},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48739999532699585},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.4867999851703644},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.48159998655319214},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.4564000070095062},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.4237000048160553},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.3962000012397766},{"id":"https://openalex.org/C187075797","wikidata":"https://www.wikidata.org/wiki/Q173245","display_name":"Sequential logic","level":3,"score":0.39489999413490295},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.392300009727478},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.3822999894618988},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.3522000014781952},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.31790000200271606},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2671999931335449},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.2632000148296356},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.258899986743927},{"id":"https://openalex.org/C2778926657","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum system","level":3,"score":0.25760000944137573},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.2556999921798706},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.25099998712539673}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-032-26204-2_30","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-26204-2_30","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26204-2_30.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:arXiv.org:2605.14881","is_oa":true,"landing_page_url":"https://arxiv.org/abs/2605.14881","pdf_url":"https://arxiv.org/pdf/2605.14881","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-26204-2_30","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-26204-2_30","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-26204-2_30.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7608015537261963,"id":"https://metadata.un.org/sdg/16"}],"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/G2832068239","display_name":null,"funder_award_id":"2023116","funder_id":"https://openalex.org/F4320321133","funder_display_name":"Chinese Academy of Sciences"},{"id":"https://openalex.org/G4909519911","display_name":null,"funder_award_id":"096GJHZ2025013FN","funder_id":"https://openalex.org/F4320321133","funder_display_name":"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/F4320311778","display_name":"China Association for Science and Technology","ror":"https://ror.org/035vmht26"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"},{"id":"https://openalex.org/F4320322847","display_name":"Youth Innovation Promotion Association of the Chinese Academy of Sciences","ror":"https://ror.org/031141b54"},{"id":"https://openalex.org/F4320335892","display_name":"Youth Innovation Promotion Association","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7161418959.pdf","grobid_xml":"https://content.openalex.org/works/W7161418959.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"We":[1],"present":[2],"a":[3,7,48,59,76],"tool":[4],"QSeqSim":[5,32,74,132,161],",":[6],"Qiskit-integrated":[8],"symbolic":[9,81,110,122],"backend":[10],"that":[11,131],"fills":[12],"the":[13,44,142],"current":[14],"gap":[15],"of":[16,50,103,124],"having":[17],"no":[18],"Qiskit-native":[19],"support":[20],"for":[21,112,155],"simulating":[22],"-loop":[23],"quantum":[24,30,113,126,143],"programs":[25],"and":[26,42,53,67,83,98,116],"their":[27],"induced":[28],"sequential":[29,54,61,125,137],"circuits.":[31,127],"takes":[33],"Qiskit":[34],"objects,":[35],"translates":[36],"them":[37],"into":[38,47],"OpenQASM":[39],"3":[40],"code,":[41],"organises":[43],"resulting":[45],"program":[46],"combination":[49],"combinational,":[51],"dynamic,":[52],"circuits,":[55],"thereby":[56,119],"assigning":[57],"-loops":[58],"precise":[60],"circuit":[62],"semantics":[63],"with":[64,151],"explicit":[65],"internal":[66],"external":[68],"qubits.":[69],"Building":[70],"on":[71],"this":[72,104],"semantics,":[73],"adopts":[75],"Binary":[77],"Decision":[78],"Diagram":[79],"(BDD)-based":[80],"representation":[82],"integrates":[84],"weighted":[85],"model":[86],"counting":[87],"to":[88,134],"compute":[89],"measurement":[90],"probabilities":[91],"efficiently":[92],"by":[93],"exploiting":[94],"sharing":[95],"in":[96,139,141],"structured":[97],"sparse":[99],"BDDs.":[100],"On":[101],"top":[102],"Boolean":[105],"backbone,":[106],"it":[107],"introduces":[108],"dedicated":[109],"operators":[111],"state":[114,117],"composition":[115],"retention,":[118],"enabling":[120],"efficient":[121],"execution":[123],"Our":[128],"experiments":[129],"demonstrate":[130],"scales":[133],"substantial":[135],"-induced":[136],"circuits;":[138],"particular,":[140],"random":[144],"walk":[145],"benchmark":[146],"we":[147],"successfully":[148],"simulate":[149],"circuits":[150],"over":[152],"1000":[153],"qubits":[154],"more":[156],"than":[157],"10":[158],"loop":[159],"iterations.":[160],"is":[162],"available":[163],"at":[164],"https://github.com/Veri-Q/QSeqSim":[165],".":[166]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2026-02-11T00:00:00"}