{"id":"https://openalex.org/W7130569997","doi":"https://doi.org/10.48550/arxiv.2602.16612","title":"Causal and Compositional Abstraction","display_name":"Causal and Compositional Abstraction","publication_year":2026,"publication_date":"2026-02-18","ids":{"openalex":"https://openalex.org/W7130569997","doi":"https://doi.org/10.48550/arxiv.2602.16612"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.16612","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"submittedVersion","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":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084300433","display_name":"Robin Lorenz","orcid":"https://orcid.org/0000-0003-0569-6732"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lorenz, Robin","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5047819773","display_name":"Sean Tull","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tull, Sean","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5084300433"],"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.6880000233650208,"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.6880000233650208,"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.07029999792575836,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.04349999874830246,"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/abstraction","display_name":"Abstraction","score":0.6764000058174133},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6194000244140625},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.6085000038146973},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5267999768257141},{"id":"https://openalex.org/keywords/causal-model","display_name":"Causal model","score":0.4542999863624573},{"id":"https://openalex.org/keywords/causal-structure","display_name":"Causal structure","score":0.4503999948501587},{"id":"https://openalex.org/keywords/causal-inference","display_name":"Causal inference","score":0.4235000014305115},{"id":"https://openalex.org/keywords/causality","display_name":"Causality (physics)","score":0.40950000286102295},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.36880001425743103}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7128999829292297},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6764000058174133},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6194000244140625},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.6085000038146973},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5479000210762024},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5267999768257141},{"id":"https://openalex.org/C11671645","wikidata":"https://www.wikidata.org/wiki/Q5054567","display_name":"Causal model","level":2,"score":0.4542999863624573},{"id":"https://openalex.org/C163504300","wikidata":"https://www.wikidata.org/wiki/Q2364925","display_name":"Causal structure","level":2,"score":0.4503999948501587},{"id":"https://openalex.org/C158600405","wikidata":"https://www.wikidata.org/wiki/Q5054566","display_name":"Causal inference","level":2,"score":0.4235000014305115},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.40950000286102295},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.36880001425743103},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.34369999170303345},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.3183000087738037},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3131999969482422},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.2992999851703644},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.2937999963760376},{"id":"https://openalex.org/C115086926","wikidata":"https://www.wikidata.org/wiki/Q17004651","display_name":"Causal reasoning","level":3,"score":0.2865000069141388},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.28459998965263367},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27570000290870667},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C166151441","wikidata":"https://www.wikidata.org/wiki/Q4923601","display_name":"Causation","level":2,"score":0.26570001244544983},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.26159998774528503},{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.260699987411499},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.25209999084472656}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.16612","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2602.16612","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.16612","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":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.16612","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"publisher-specific-oa","license_id":"https://openalex.org/licenses/publisher-specific-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"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":{"Abstracting":[0],"from":[1,142,156],"a":[2,6,37,60,102,106,114,189,202,208,240,266],"low":[3,43,145,157],"level":[4,10,46],"to":[5,21,24,29,144,158,187,197,233,268],"more":[7,173],"explanatory":[8],"high":[9,45,143],"of":[11,40,55,63,93,101,109,136,179,193,201,212],"description,":[12],"and":[13,28,32,44,83,96,111,122,147,247,260],"ideally":[14],"while":[15],"preserving":[16],"causal":[17,25,56,64,74,85,120,170,214,263],"structure,":[18],"is":[19,89],"fundamental":[20],"scientific":[22],"practice,":[23],"inference":[26],"problems,":[27],"robust,":[30],"efficient":[31],"interpretable":[33],"AI.":[34,271],"We":[35,131],"present":[36],"general":[38,99],"account":[39],"abstractions":[41,78,139,171,254],"between":[42,255],"models":[47,121,259,264],"as":[48,126,154,163,265],"natural":[49],"transformations,":[50],"focusing":[51],"on":[52,80],"the":[53,70,98,164,180,198,217],"case":[54],"models.":[57],"This":[58],"provides":[59],"new":[61,190],"formalisation":[62],"abstraction,":[65,75,195],"unifying":[66],"several":[67],"notions":[68,135],"in":[69,91,113,177,252],"literature,":[71],"including":[72,237],"constructive":[73,213],"Q-$\u03c4$":[76],"consistency,":[77],"based":[79],"interchange":[81],"interventions,":[82],"`distributed'":[84],"abstractions.":[86],"Our":[87,182],"approach":[88,183],"formalised":[90],"terms":[92,178],"category":[94],"theory,":[95],"uses":[97],"notion":[100,192],"compositional":[103,235,257],"model":[104],"with":[105,239],"given":[107],"set":[108],"queries":[110,124,141,152],"semantics":[112,242],"monoidal,":[115],"cd-":[116],"or":[117],"Markov":[118],"category;":[119],"their":[123],"such":[125,153],"interventions":[127],"being":[128],"special":[129],"cases.":[130],"identify":[132],"two":[133],"basic":[134],"abstraction:":[137],"downward":[138],"mapping":[140,150],"level;":[146],"upward":[148],"abstractions,":[149],"concrete":[151],"Do-interventions":[155],"high.":[159],"Although":[160],"usually":[161],"presented":[162],"latter,":[165],"we":[166,221,226,248],"show":[167,227],"how":[168],"common":[169],"may,":[172],"fundamentally,":[174],"be":[175,231],"understood":[176],"former.":[181],"also":[184],"leads":[185],"us":[186],"consider":[188],"stronger":[191],"`component-level'":[194],"applying":[196],"individual":[199],"components":[200],"model.":[203],"In":[204],"particular,":[205],"this":[206],"yields":[207],"novel,":[209],"strengthened":[210],"form":[211],"abstraction":[215,229],"at":[216],"mechanism-level,":[218],"for":[219],"which":[220],"prove":[222],"characterisation":[223],"results.":[224],"Finally,":[225],"that":[228],"can":[230],"generalised":[232],"further":[234],"models,":[236],"those":[238],"quantum":[241,245,256,270],"implemented":[243],"by":[244],"circuits,":[246],"take":[249],"first":[250],"steps":[251],"exploring":[253],"circuit":[258],"high-level":[261],"classical":[262],"means":[267],"explainable":[269]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-02-20T00:00:00"}