{"id":"https://openalex.org/W7160878236","doi":"https://doi.org/10.48550/arxiv.2605.07968","title":"Measure Many Quantum Finite Automata on Infinite Words","display_name":"Measure Many Quantum Finite Automata on Infinite Words","publication_year":2026,"publication_date":"2026-05-08","ids":{"openalex":"https://openalex.org/W7160878236","doi":"https://doi.org/10.48550/arxiv.2605.07968"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.07968","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.07968","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.07968","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068325074","display_name":"Abhisek Midya","orcid":"https://orcid.org/0000-0001-5692-565X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Midya, Abhisek","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5135905188","display_name":"A Baskar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Baskar, A","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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.901199996471405,"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.901199996471405,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.02410000003874302,"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"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.012000000104308128,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unitary-state","display_name":"Unitary state","score":0.5116000175476074},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.48590001463890076},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.48339998722076416},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.4496999979019165},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.4442000091075897},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.35670000314712524},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.3544999957084656},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.3499999940395355},{"id":"https://openalex.org/keywords/quantum-state","display_name":"Quantum state","score":0.3481999933719635},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.34389999508857727}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.652899980545044},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5626000165939331},{"id":"https://openalex.org/C67820243","wikidata":"https://www.wikidata.org/wiki/Q179164","display_name":"Unitary state","level":2,"score":0.5116000175476074},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.48590001463890076},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.48339998722076416},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.4496999979019165},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.4442000091075897},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.35670000314712524},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.3544999957084656},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.3499999940395355},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.3481999933719635},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.34389999508857727},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.34299999475479126},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3301999866962433},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.3287000060081482},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.32749998569488525},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.32690000534057617},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.30300000309944153},{"id":"https://openalex.org/C174784677","wikidata":"https://www.wikidata.org/wiki/Q176567","display_name":"Probabilistic automaton","level":3,"score":0.28859999775886536},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2883000075817108},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.2833999991416931},{"id":"https://openalex.org/C80469333","wikidata":"https://www.wikidata.org/wiki/Q189088","display_name":"Von Neumann architecture","level":2,"score":0.28029999136924744},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.2775000035762787},{"id":"https://openalex.org/C165973109","wikidata":"https://www.wikidata.org/wiki/Q894014","display_name":"Quantum probability","level":5,"score":0.2768000066280365},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2745000123977661},{"id":"https://openalex.org/C68576872","wikidata":"https://www.wikidata.org/wiki/Q4893239","display_name":"Quantum cellular automaton","level":3,"score":0.2743000090122223},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.27140000462532043},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.2678000032901764},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C92117001","wikidata":"https://www.wikidata.org/wiki/Q6997829","display_name":"Nested word","level":5,"score":0.2596000134944916},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.2556000053882599},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.2515999972820282}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.07968","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.07968","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.07968","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.07968","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.7897564172744751,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,91,124],"define":[1],"a":[2,53,98,118],"quantum":[3,34],"computational":[4],"model":[5],"over":[6],"infinite":[7,24,46],"words,":[8],"called":[9],"Measure-Many":[10],"Quantum":[11,18],"B\u00fcchi":[12,28],"Automata":[13],"(MMQBA),":[14],"which":[15],"extends":[16],"Measure-many":[17],"Finite":[19],"automata":[20],"(MMQFA)":[21],"to":[22,52],"the":[23,33,62,70,81,93,108,121,139,145],"word":[25,47],"setting":[26],"with":[27,50],"acceptance":[29,73],"condition.":[30],"In":[31],"MMQBA,":[32,96],"state":[35],"evolves":[36],"through":[37],"unitary":[38],"transformations":[39],"followed":[40],"by":[41],"repeated":[42],"projective":[43],"measurements.":[44],"An":[45],"is":[48,56,75,86,128,148],"accearaq2ppted":[49],"respect":[51],"cutpoint":[54],"p":[55],"in":[57],"(0,":[58],"1]":[59],"if":[60],"(i)":[61],"run":[63],"visits":[64],"accepting":[65],"states":[66],"infinitely":[67],"often,":[68],"(ii)":[69],"limiting":[71,82],"cumulative":[72,83],"probability":[74],"at":[76],"least":[77],"p,":[78],"and":[79,116,154],"(iii)":[80],"rejection":[84],"lprobability":[85],"strictly":[87],"less":[88],"than":[89],"p.":[90],"formalize":[92],"semantics":[94],"of":[95,107,120],"establish":[97],"language-theoretic":[99],"characterization":[100],"showing":[101],"that":[102,126,144],"MMQBA":[103,127],"languages":[104],"are":[105],"precisely":[106],"form":[109],"lim(L(M,":[110],"p))":[111],"for":[112],"MMQFA":[113],"M":[114],",":[115],"develop":[117],"decomposition":[119],"non-halting":[122],"subspace.":[123],"prove":[125],"closed":[129],"under":[130,134],"union":[131],"but":[132],"not":[133],"intersection":[135],"or":[136],"complementation.":[137],"On":[138],"algorithmic":[140],"side,":[141],"we":[142],"show":[143],"emptiness":[146],"problem":[147],"semi-decidable,":[149],"while":[150],"universality,":[151],"inclusion,":[152],"equivalence,":[153],"membership":[155],"remain":[156],"undecidable.":[157]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-12T00:00:00"}