{"id":"https://openalex.org/W7138834819","doi":"https://doi.org/10.48550/arxiv.2603.17384","title":"Cohomological Obstructions to Global Counterfactuals: A Sheaf-Theoretic Foundation for Generative Causal Models","display_name":"Cohomological Obstructions to Global Counterfactuals: A Sheaf-Theoretic Foundation for Generative Causal Models","publication_year":2026,"publication_date":"2026-03-18","ids":{"openalex":"https://openalex.org/W7138834819","doi":"https://doi.org/10.48550/arxiv.2603.17384"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.17384","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.17384","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":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.17384","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5130010738","display_name":"Rui Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Rui","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130212811","display_name":"Hong Xie","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xie, Hong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5130154414","display_name":"Yongjun Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Yongjun","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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.941100001335144,"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"}},"topics":[{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.941100001335144,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.00860000029206276,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11273","display_name":"Advanced Graph Neural Networks","score":0.003700000001117587,"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/sheaf","display_name":"Sheaf","score":0.48919999599456787},{"id":"https://openalex.org/keywords/probability-measure","display_name":"Probability measure","score":0.47049999237060547},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4320000112056732},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.37709999084472656},{"id":"https://openalex.org/keywords/algebraic-topology","display_name":"Algebraic topology","score":0.36649999022483826},{"id":"https://openalex.org/keywords/persistent-homology","display_name":"Persistent homology","score":0.364300012588501},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.359499990940094},{"id":"https://openalex.org/keywords/manifold","display_name":"Manifold (fluid mechanics)","score":0.3582000136375427},{"id":"https://openalex.org/keywords/laplacian-matrix","display_name":"Laplacian matrix","score":0.3490999937057495}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6430000066757202},{"id":"https://openalex.org/C4017995","wikidata":"https://www.wikidata.org/wiki/Q595298","display_name":"Sheaf","level":2,"score":0.48919999599456787},{"id":"https://openalex.org/C21031990","wikidata":"https://www.wikidata.org/wiki/Q355020","display_name":"Probability measure","level":2,"score":0.47049999237060547},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4320000112056732},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3792000114917755},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.37709999084472656},{"id":"https://openalex.org/C145054310","wikidata":"https://www.wikidata.org/wiki/Q212803","display_name":"Algebraic topology","level":3,"score":0.36649999022483826},{"id":"https://openalex.org/C2874115","wikidata":"https://www.wikidata.org/wiki/Q17099562","display_name":"Persistent homology","level":2,"score":0.364300012588501},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.359499990940094},{"id":"https://openalex.org/C529865628","wikidata":"https://www.wikidata.org/wiki/Q1790740","display_name":"Manifold (fluid mechanics)","level":2,"score":0.3582000136375427},{"id":"https://openalex.org/C115178988","wikidata":"https://www.wikidata.org/wiki/Q772067","display_name":"Laplacian matrix","level":3,"score":0.3490999937057495},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.3449999988079071},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3337000012397766},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3273000121116638},{"id":"https://openalex.org/C2777680557","wikidata":"https://www.wikidata.org/wiki/Q7259417","display_name":"Pullback","level":2,"score":0.3257000148296356},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.3165000081062317},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.31299999356269836},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.30300000309944153},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2955000102519989},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.29510000348091125},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.2906999886035919},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.28839999437332153},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.28690001368522644},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.2831999957561493},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.28029999136924744},{"id":"https://openalex.org/C68363185","wikidata":"https://www.wikidata.org/wiki/Q180969","display_name":"Algebraic geometry","level":2,"score":0.2524000108242035},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.2522999942302704}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.17384","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.17384","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.17384","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.17384","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":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Current":[0],"continuous":[1],"generative":[2],"models":[3,48],"(e.g.,":[4,38],"Diffusion":[5],"Models,":[6],"Flow":[7],"Matching)":[8],"implicitly":[9],"assume":[10],"that":[11,26,178],"locally":[12],"consistent":[13],"causal":[14,33,47,191],"mechanisms":[15],"naturally":[16],"yield":[17],"globally":[18],"coherent":[19],"counterfactuals.":[20,164],"In":[21],"this":[22,27,117,168],"paper,":[23],"we":[24,76,81,102,128,166],"prove":[25,103],"assumption":[28],"fails":[29],"fundamentally":[30],"when":[31],"the":[32,87,109,119,145,173],"graph":[34],"exhibits":[35],"non-trivial":[36],"homology":[37],"structural":[39,46],"conflicts":[40],"or":[41],"hidden":[42],"confounders).":[43],"We":[44],"formalize":[45],"as":[49,78,183],"cellular":[50],"sheaves":[51],"over":[52],"Wasserstein":[53,89],"spaces,":[54],"providing":[55],"a":[56,93,130,184],"strict":[57],"algebraic":[58,187],"topological":[59,157],"definition":[60],"of":[61,96,112,144],"cohomological":[62],"obstructions":[63],"in":[64,161],"measure":[65],"spaces.":[66],"To":[67],"ensure":[68],"computational":[69],"tractability":[70],"and":[71,85],"avoid":[72],"deterministic":[73],"singularities":[74],"(which":[75],"define":[77],"manifold":[79],"tearing),":[80],"introduce":[82,172],"entropic":[83,105],"regularization":[84],"derive":[86],"Entropic":[88],"Causal":[90,175],"Sheaf":[91,180],"Laplacian,":[92],"novel":[94],"system":[95],"coupled":[97],"non-linear":[98],"Fokker-Planck":[99],"equations.":[100],"Crucially,":[101],"an":[104],"pullback":[106],"lemma":[107],"for":[108,189],"first":[110],"variation":[111],"pushforward":[113],"measures.":[114],"By":[115],"integrating":[116],"with":[118],"Implicit":[120],"Function":[121],"Theorem":[122],"(IFT)":[123],"on":[124],"Sinkhorn":[125],"optimality":[126],"conditions,":[127],"establish":[129],"direct":[131],"algorithmic":[132],"bridge":[133],"to":[134,155,171],"automatic":[135],"differentiation":[136],"(VJP),":[137],"achieving":[138],"O(1)-memory":[139],"reverse-mode":[140],"gradients":[141],"strictly":[142],"independent":[143],"iteration":[146],"horizon.":[147],"Empirically,":[148],"our":[149,179],"framework":[150,170],"successfully":[151],"leverages":[152],"thermodynamic":[153],"noise":[154],"navigate":[156],"barriers":[158],"(\"entropic":[159],"tunneling\")":[160],"high-dimensional":[162],"scRNA-seq":[163],"Finally,":[165],"invert":[167],"theoretical":[169],"Topological":[174],"Score,":[176],"demonstrating":[177],"Laplacian":[181],"acts":[182],"highly":[185],"sensitive":[186],"detector":[188],"topology-aware":[190],"discovery.":[192]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-03-20T00:00:00"}