{"id":"https://openalex.org/W7161238347","doi":"https://doi.org/10.48550/arxiv.2605.14881","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","display_name":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","publication_year":2026,"publication_date":"2026-05-14","ids":{"openalex":"https://openalex.org/W7161238347","doi":"https://doi.org/10.48550/arxiv.2605.14881"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.14881","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.14881","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.14881","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Li, Zihao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Zihao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Guan, Ji","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guan, Ji","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Ying, Mingsheng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ying, Mingsheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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":1,"locations":[{"id":"doi:10.48550/arxiv.2605.14881","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.14881","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.14881","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.14881","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7608015537261963,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,5,47,58,75],"tool":[3],"QSeqSim,":[4],"Qiskit-integrated":[6],"symbolic":[7,80,109,120],"backend":[8],"that":[9,129],"fills":[10],"the":[11,43,140],"current":[12],"gap":[13],"of":[14,49,102,122],"having":[15],"no":[16],"Qiskit-native":[17],"support":[18],"for":[19,111,153],"simulating":[20],"while-loop":[21],"quantum":[22,28,124,141],"programs":[23],"and":[24,41,52,66,82,97,114],"their":[25],"induced":[26],"sequential":[27,53,60,123,135],"circuits.":[29,125],"QSeqSim":[30,73,130,159],"takes":[31],"Qiskit":[32],"QuantumCircuit":[33],"objects,":[34],"translates":[35],"them":[36],"into":[37,46],"OpenQASM":[38],"3":[39],"code,":[40],"organises":[42],"resulting":[44],"program":[45],"combination":[48],"combinational,":[50],"dynamic,":[51],"circuits,":[54],"thereby":[55,117],"assigning":[56],"while-loops":[57],"precise":[59],"circuit":[61],"semantics":[62],"with":[63,149],"explicit":[64],"internal":[65],"external":[67],"qubits.":[68],"Building":[69],"on":[70],"this":[71,103],"semantics,":[72],"adopts":[74],"Binary":[76],"Decision":[77],"Diagram":[78],"(BDD)-based":[79],"representation":[81],"integrates":[83],"weighted":[84],"model":[85],"counting":[86],"to":[87,132],"compute":[88],"measurement":[89],"probabilities":[90],"efficiently":[91],"by":[92],"exploiting":[93],"sharing":[94],"in":[95,137,139],"structured":[96],"sparse":[98],"BDDs.":[99],"On":[100],"top":[101],"Boolean":[104],"backbone,":[105],"it":[106],"introduces":[107],"dedicated":[108],"operators":[110],"state":[112,115],"composition":[113],"retention,":[116],"enabling":[118],"efficient":[119],"execution":[121],"Our":[126],"experiments":[127],"demonstrate":[128],"scales":[131],"substantial":[133],"while-induced":[134],"circuits;":[136],"particular,":[138],"random":[142],"walk":[143],"benchmark":[144],"we":[145],"successfully":[146],"simulate":[147],"circuits":[148],"over":[150],"1000":[151],"qubits":[152],"more":[154],"than":[155],"10":[156],"loop":[157],"iterations.":[158],"is":[160],"available":[161],"at":[162],"https://github.com/Veri-Q/QSeqSim.":[163]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-02-11T00:00:00"}