{"id":"https://openalex.org/W7166528508","doi":"https://doi.org/10.48550/arxiv.2606.27805","title":"The quantum instrument monad","display_name":"The quantum instrument monad","publication_year":2026,"publication_date":"2026-06-26","ids":{"openalex":"https://openalex.org/W7166528508","doi":"https://doi.org/10.48550/arxiv.2606.27805"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.27805","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.27805","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,"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.2606.27805","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139583088","display_name":"Tobias Fritz","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Fritz, Tobias","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5139583088"],"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.3828999996185303,"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"}},"topics":[{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.3828999996185303,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.26010000705718994,"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/T10126","display_name":"Logic, programming, and type systems","score":0.07289999723434448,"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/monad","display_name":"Monad (category theory)","score":0.9107999801635742},{"id":"https://openalex.org/keywords/noncommutative-geometry","display_name":"Noncommutative geometry","score":0.560699999332428},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.5590000152587891},{"id":"https://openalex.org/keywords/finitary","display_name":"Finitary","score":0.5257999897003174},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5109999775886536},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.48019999265670776},{"id":"https://openalex.org/keywords/von-neumann-algebra","display_name":"Von Neumann algebra","score":0.4790000021457672},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.43309998512268066},{"id":"https://openalex.org/keywords/von-neumann-architecture","display_name":"Von Neumann architecture","score":0.4226999878883362},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.40869998931884766}],"concepts":[{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.9107999801635742},{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.560699999332428},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5590000152587891},{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.5257999897003174},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5202999711036682},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5109999775886536},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.48019999265670776},{"id":"https://openalex.org/C153408630","wikidata":"https://www.wikidata.org/wiki/Q1970172","display_name":"Von Neumann algebra","level":3,"score":0.4790000021457672},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.45730000734329224},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43309998512268066},{"id":"https://openalex.org/C80469333","wikidata":"https://www.wikidata.org/wiki/Q189088","display_name":"Von Neumann architecture","level":2,"score":0.4226999878883362},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.40869998931884766},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.39259999990463257},{"id":"https://openalex.org/C2778249326","wikidata":"https://www.wikidata.org/wiki/Q1777803","display_name":"Coalgebra","level":3,"score":0.38679999113082886},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3833000063896179},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.3790999948978424},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.36239999532699585},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.35530000925064087},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.3492000102996826},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.3483999967575073},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.34610000252723694},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.3431999981403351},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3285999894142151},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.30799999833106995},{"id":"https://openalex.org/C2778926657","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum system","level":3,"score":0.290800005197525},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2906999886035919},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.2888000011444092},{"id":"https://openalex.org/C190474826","wikidata":"https://www.wikidata.org/wiki/Q2495111","display_name":"Open quantum system","level":3,"score":0.2759999930858612},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.26440000534057617},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.2615000009536743},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.26100000739097595},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.2590000033378601},{"id":"https://openalex.org/C191413488","wikidata":"https://www.wikidata.org/wiki/Q1892554","display_name":"Operator algebra","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C169460222","wikidata":"https://www.wikidata.org/wiki/Q1206311","display_name":"Quantum logic","level":4,"score":0.25380000472068787},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.25369998812675476},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.27805","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.27805","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,"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.2606.27805","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.27805","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,"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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Monads":[0],"are":[1,113],"a":[2,22,26,42,46,60,76,85,102,125,131,135],"ubiquitous":[3],"structure":[4],"in":[5,73],"functional":[6],"programming":[7],"used":[8],"for":[9],"modelling":[10],"computational":[11],"effects.":[12],"For":[13],"example,":[14],"the":[15,19,32,39,64,80,89,97,119],"state":[16,65],"monad":[17,35,72],"models":[18,38],"effect":[20,40],"of":[21,41,51,58,63,82,91,118,128,130],"computation":[23,43],"interacting":[24,44],"with":[25,45,49,108],"memory":[27],"system.":[28],"Here":[29],"we":[30],"introduce":[31],"quantum":[33,47,70],"instrument":[34,71],"$\\mathcal{I}_\\mathcal{A}$,":[36],"which":[37],"system":[48],"algebra":[50,107],"observables":[52],"$\\mathcal{A}$.":[53],"It":[54],"can":[55],"be":[56],"thought":[57],"as":[59],"noncommutative":[61],"generalization":[62],"monad.":[66],"We":[67],"construct":[68],"this":[69],"two":[74],"versions:":[75],"finitary":[77],"version":[78,87,121],"on":[79,88,124],"category":[81,90],"sets":[83],"and":[84],"measure-theoretic":[86,120],"measurable":[92],"spaces":[93],"(the":[94],"latter":[95],"under":[96],"assumption":[98],"that":[99],"$\\mathcal{A}$":[100],"is":[101,122],"type":[103],"I":[104],"von":[105],"Neumann":[106],"separable":[109],"predual).":[110],"Both":[111],"versions":[112],"strong":[114],"monads.":[115],"The":[116],"construction":[117],"based":[123],"new":[126],"notion":[127],"integral":[129],"quantum-operation-valued":[132],"function":[133],"against":[134],"state-valued":[136],"measure.":[137]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-30T00:00:00"}