{"id":"https://openalex.org/W4416946797","doi":"https://doi.org/10.48550/arxiv.2511.22537","title":"A programming language combining quantum and classical control","display_name":"A programming language combining quantum and classical control","publication_year":2025,"publication_date":"2025-11-27","ids":{"openalex":"https://openalex.org/W4416946797","doi":"https://doi.org/10.48550/arxiv.2511.22537"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2511.22537","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2511.22537","pdf_url":"https://arxiv.org/pdf/2511.22537","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2511.22537","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5098659353","display_name":"Kinnari Dave","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dave, Kinnari","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012999280","display_name":"Louis Lemonnier","orcid":"https://orcid.org/0000-0003-1761-3244"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lemonnier, Louis","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051353259","display_name":"Romain P\u00e9choux","orcid":"https://orcid.org/0000-0003-0601-5425"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"P\u00e9choux, Romain","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5047314189","display_name":"Vladimir Zamdzhiev","orcid":"https://orcid.org/0000-0002-9061-3921"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zamdzhiev, Vladimir","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5098659353"],"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.4749000072479248,"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.4749000072479248,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.33480000495910645,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10020","display_name":"Quantum Information and Cryptography","score":0.10440000146627426,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/quantum-operation","display_name":"Quantum operation","score":0.6974999904632568},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.5755000114440918},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.559499979019165},{"id":"https://openalex.org/keywords/quantum-process","display_name":"Quantum process","score":0.5410000085830688},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.46630001068115234},{"id":"https://openalex.org/keywords/quantum-information","display_name":"Quantum information","score":0.45210000872612},{"id":"https://openalex.org/keywords/open-quantum-system","display_name":"Open quantum system","score":0.448199987411499},{"id":"https://openalex.org/keywords/quantum-network","display_name":"Quantum network","score":0.4453999996185303},{"id":"https://openalex.org/keywords/quantum-state","display_name":"Quantum state","score":0.4300999939441681}],"concepts":[{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.6974999904632568},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.5755000114440918},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.559499979019165},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.5410000085830688},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.46630001068115234},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.45210000872612},{"id":"https://openalex.org/C190474826","wikidata":"https://www.wikidata.org/wiki/Q2495111","display_name":"Open quantum system","level":3,"score":0.448199987411499},{"id":"https://openalex.org/C186468114","wikidata":"https://www.wikidata.org/wiki/Q836478","display_name":"Quantum network","level":4,"score":0.4453999996185303},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.4300999939441681},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41339999437332153},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.40639999508857727},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4002000093460083},{"id":"https://openalex.org/C41241483","wikidata":"https://www.wikidata.org/wiki/Q7269015","display_name":"Quantum capacity","level":5,"score":0.39410001039505005},{"id":"https://openalex.org/C190463098","wikidata":"https://www.wikidata.org/wiki/Q2081419","display_name":"Quantum technology","level":4,"score":0.33820000290870667},{"id":"https://openalex.org/C187486625","wikidata":"https://www.wikidata.org/wiki/Q2122176","display_name":"Quantum channel","level":4,"score":0.3345000147819519},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3319000005722046},{"id":"https://openalex.org/C179957908","wikidata":"https://www.wikidata.org/wiki/Q907206","display_name":"POVM","level":5,"score":0.3262999951839447},{"id":"https://openalex.org/C80469333","wikidata":"https://www.wikidata.org/wiki/Q189088","display_name":"Von Neumann architecture","level":2,"score":0.3093999922275543},{"id":"https://openalex.org/C192122513","wikidata":"https://www.wikidata.org/wiki/Q2835770","display_name":"Quantum phase estimation algorithm","level":5,"score":0.30160000920295715},{"id":"https://openalex.org/C5320026","wikidata":"https://www.wikidata.org/wiki/Q2122216","display_name":"Quantum information science","level":4,"score":0.30140000581741333},{"id":"https://openalex.org/C139356082","wikidata":"https://www.wikidata.org/wiki/Q7269038","display_name":"Quantum discord","level":4,"score":0.295199990272522},{"id":"https://openalex.org/C15184713","wikidata":"https://www.wikidata.org/wiki/Q7269042","display_name":"Quantum dynamics","level":3,"score":0.2921000123023987},{"id":"https://openalex.org/C186123792","wikidata":"https://www.wikidata.org/wiki/Q7390277","display_name":"SIC-POVM","level":5,"score":0.288100004196167},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2856999933719635},{"id":"https://openalex.org/C166834278","wikidata":"https://www.wikidata.org/wiki/Q4218494","display_name":"Quantum tomography","level":4,"score":0.2718999981880188},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.2687999904155731},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.26579999923706055},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.25360000133514404}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2511.22537","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2511.22537","pdf_url":"https://arxiv.org/pdf/2511.22537","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-05457001v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-05457001","pdf_url":null,"source":{"id":"https://openalex.org/S4406922454","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2026","raw_type":"Preprints, Working Papers, ..."},{"id":"doi:10.48550/arxiv.2511.22537","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2511.22537","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":"pmh:oai:arXiv.org:2511.22537","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2511.22537","pdf_url":"https://arxiv.org/pdf/2511.22537","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,67,97],"two":[1,68],"main":[2],"notions":[3],"of":[4,124,127,147,165],"control":[5,16,24],"in":[6,161],"quantum":[7,35,45,49,57,111,117,131,135,141,166],"programming":[8],"languages":[9],"are":[10,52,77],"often":[11],"referred":[12],"to":[13,42],"as":[14],"\"quantum\"":[15],"and":[17,37,59,75,153],"\"classical\"":[18],"control.":[19],"With":[20],"the":[21,23,61,88,94,125,134,162],"latter,":[22],"flow":[25],"is":[26,40,63,137],"based":[27,64],"on":[28,55,65],"classical":[29],"information,":[30],"potentially":[31],"resulting":[32],"from":[33,130],"a":[34,106,114],"measurement,":[36],"this":[38,83,102],"paradigm":[39],"well-suited":[41],"mixed":[43,72,115,158],"state":[44,116,159],"computation.":[46],"Whereas":[47],"with":[48,139],"control,":[50],"we":[51,85],"primarily":[53],"focused":[54],"pure":[56,110,140,151],"computation":[58,152,160],"there":[60],"\"control\"":[62],"superposition.":[66],"paradigms":[69,89],"have":[70],"not":[71],"well":[73],"traditionally":[74],"they":[76],"almost":[78],"always":[79],"treated":[80],"separately.":[81],"In":[82],"work,":[84],"show":[86],"that":[87],"may":[90],"be":[91],"combined":[92],"within":[93],"same":[95],"system.":[96],"key":[98],"ingredients":[99],"for":[100,108,150,157],"achieving":[101],"are:":[103],"(1)":[104],"syntactically:":[105],"modality":[107],"incorporating":[109],"types":[112],"into":[113],"type":[118],"system;":[119],"(2)":[120],"operationally:":[121],"an":[122],"adaptation":[123],"notion":[126],"\"quantum":[128],"configuration\"":[129],"lambda-calculi,":[132],"where":[133],"data":[136],"replaced":[138],"primitives;":[142],"(3)":[143],"denotationally:":[144],"suitable":[145],"(sub)categories":[146],"Hilbert":[148],"spaces,":[149],"von":[154],"Neumann":[155],"algebras,":[156],"Heisenberg":[163],"picture":[164],"mechanics.":[167]},"counts_by_year":[],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-12-03T00:00:00"}