{"id":"https://openalex.org/W7225457002","doi":"https://doi.org/10.5281/zenodo.24026292","title":"Theoretical Cartography 2: Homological Detection of Missing Bridges\u2014Component Criteria, Mayer\u2013Vietoris Counting, and Obstruction Stratification","display_name":"Theoretical Cartography 2: Homological Detection of Missing Bridges\u2014Component Criteria, Mayer\u2013Vietoris Counting, and Obstruction Stratification","publication_year":2026,"publication_date":"2026-11-07","ids":{"openalex":"https://openalex.org/W7225457002","doi":"https://doi.org/10.5281/zenodo.24026292"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24026292","doi":"https://doi.org/10.5281/zenodo.24026292","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24026292","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24026292","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136242336","display_name":"ziqing zhou","orcid":"https://orcid.org/0009-0005-6883-6300","observed_orcids":["https://orcid.org/0009-0005-6883-6300"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"zhou, ziqing","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0005-6883-6300","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5108680601","display_name":"changzheng zhou","orcid":"https://orcid.org/0009-0002-4186-7877","observed_orcids":["https://orcid.org/0009-0002-4186-7877"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"zhou, Changzheng","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0002-4186-7877","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.5375999808311462,"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.5375999808311462,"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.31859999895095825,"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/T10304","display_name":"Geometric and Algebraic Topology","score":0.04769999906420708,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/weighted-hypergraphs","display_name":"weighted hypergraphs","score":0.8759999871253967},{"id":"https://openalex.org/keywords/flag-complexes","display_name":"flag complexes","score":0.9039999842643738},{"id":"https://openalex.org/keywords/mayer-vietoris-sequence","display_name":"Mayer-Vietoris sequence","score":0.8899999856948853},{"id":"https://openalex.org/keywords/homology","display_name":"homology","score":0.5389999747276306},{"id":"https://openalex.org/keywords/connected-components","display_name":"connected components","score":0.6880000233650208},{"id":"https://openalex.org/keywords/obstruction-theory","display_name":"obstruction theory","score":0.8629999756813049},{"id":"https://openalex.org/keywords/simplicial-complex","display_name":"simplicial complexes","score":0.7260000109672546}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7404999732971191},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.6403999924659729},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.45089998841285706},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.43560001254081726},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.4296000003814697},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4074000120162964},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3950999975204468},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.38920000195503235},{"id":"https://openalex.org/C162329640","wikidata":"https://www.wikidata.org/wiki/Q332648","display_name":"Covering space","level":2,"score":0.3880999982357025},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.387800008058548},{"id":"https://openalex.org/C192943249","wikidata":"https://www.wikidata.org/wiki/Q1893382","display_name":"Stratification (seeds)","level":5,"score":0.3321000039577484},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.3221000134944916},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3174999952316284},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.31130000948905945},{"id":"https://openalex.org/C2778023277","wikidata":"https://www.wikidata.org/wiki/Q321703","display_name":"Premise","level":2,"score":0.2939000129699707},{"id":"https://openalex.org/C9357733","wikidata":"https://www.wikidata.org/wiki/Q6878417","display_name":"Missing data","level":2,"score":0.287200003862381},{"id":"https://openalex.org/C21596040","wikidata":"https://www.wikidata.org/wiki/Q2896771","display_name":"Unimodality","level":2,"score":0.2840999960899353},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.27959999442100525},{"id":"https://openalex.org/C193435613","wikidata":"https://www.wikidata.org/wiki/Q2997928","display_name":"Connected component","level":2,"score":0.2791999876499176},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2685999870300293},{"id":"https://openalex.org/C40753290","wikidata":"https://www.wikidata.org/wiki/Q1139111","display_name":"Quotient space (topology)","level":3,"score":0.2662000060081482}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24026292","doi":"https://doi.org/10.5281/zenodo.24026292","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24026292","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.24026293","doi":"https://doi.org/10.5281/zenodo.24026293","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24026293","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24026292","doi":"https://doi.org/10.5281/zenodo.24026292","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24026292","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7225463410","https://openalex.org/W4401534446","https://openalex.org/W7211901540","https://openalex.org/W7116737654","https://openalex.org/W2074574936","https://openalex.org/W6990894319","https://openalex.org/W2060882629","https://openalex.org/W7137256698","https://openalex.org/W2086333030","https://openalex.org/W2022908062"],"abstract_inverted_index":{"Theoretical":[0],"space":[1,167,181],"can":[2,215],"be":[3],"formalized":[4],"as":[5,41,74,119,171],"an":[6,82],"axiom-annotated":[7],"weighted":[8],"hypergraph.This":[9],"paper":[10,57,221],"transforms":[11],"the":[12,28,37,53,65,103,115,165,172,187,203,217,231,234,238,268,293,302,311,313],"structural":[13],"question":[14],"\u201cwhether":[15],"there":[16],"exists":[17,85],"a":[18,59,78,87,135,200,245,265,271],"direct":[19],"channelbetween":[20],"two":[21],"subtheories":[22],"that":[23,223],"does":[24,242],"not":[25,243],"pass":[26],"through":[27],"axiomatic":[29],"root":[30,54],"layer\u201d":[31],"into":[32],"acomputable":[33],"decision":[34],"theory.":[35],"Let":[36],"flag":[38],"complex":[39],"decompose":[40],"K":[42,92,207],"=":[43,50,124,126,130,209],"K1":[44,210],"\u222a":[45,211],"K2,":[46,212],"withshared":[47],"layer":[48,73],"L":[49],"K1\u2229K2":[51],"containing":[52],"layer.":[55],"This":[56],"establishes":[58],"two-levelcriterion.":[60],"The":[61,112,161,195],"order-0":[62,83],"criterion":[63],"uses":[64],"number":[66,104,188],"of":[67,91,105,164,177,189,202,233,283,295],"connected":[68,88],"components":[69],"after":[70],"deletingthe":[71],"shared":[72],"its":[75,120],"reading:":[76],"under":[77,134],"closed":[79,136,196,224,239],"cover":[80,137,197,225,240],"decomposition,":[81],"missingpair":[84],"within":[86,292],"component":[89,107],"C":[90],"if":[93,96,206],"and":[94,256,286,298],"only":[95],"c0(C\u2212L)":[97],"\u2265":[98],"2;":[99],"when":[100,122],"Kis":[101],"connected,":[102],"missing":[106,174,191],"pairs":[108],"is":[109,158,182,199,227,259],"C(c0(K":[110],"\u2212L),2).":[111],"order-1criterion":[113],"takes":[114],"Mayer\u2013Vietoris":[116,204],"exact":[117],"sequence":[118],"framework:":[121],"H1(L)":[123,153],"0,\u03b21(K)":[125],"\u03b21(K1)+\u03b21(K2)+dimker\u03c6,":[127],"where":[128,150],"dimker\u03c6":[129],"c0(L)\u2212c0(K1)\u2212c0(K2)+c0(K);":[131],"more":[132],"generally,":[133],"decomposition":[138],"one":[139],"always":[140],"has":[141],"\u03b21(K)":[142],"=\u03b21(K1)":[143],"+":[144,148],"\u03b21(K2)":[145],"\u2212":[146],"rankj":[147],"dimker\u03c6,":[149],"j":[151],":":[152],"\u2192":[154],"H1(K1)":[155],"\u2295":[156],"H1(K2)":[157],"theinclusion-induced":[159],"map.":[160],"nonzero":[162],"classes":[163,176],"quotient":[166],"H1(K)/im(H1(K1)\u2295H1(K2))":[168],"are":[169,251,288,299,308],"defined":[170],"order-1":[173,190],"bridge":[175,192],"this":[178],"decomposition;":[179],"thisquotient":[180],"isomorphic":[183],"to":[184,230],"ker\u03c6,":[185],"so":[186,237],"classesequals":[193],"dimker\u03c6.":[194],"condition":[198,241],"premise":[201],"exactsequence:":[205],"\u0338":[208],"cross-side":[213],"simplices":[214],"make":[216],"counting":[218],"identity":[219],"fail.This":[220],"proves":[222],"repair":[226],"linear":[228],"relative":[229],"size":[232],"explicitflag":[235],"complex,":[236],"constitute":[244],"restriction":[246],"on":[247,261],"theinput.":[248],"Both":[249],"criteria":[250],"polynomial-time":[252],"computable":[253],"over":[254],"GF(2),":[255],"deterministicmachine":[257],"verification":[258],"completed":[260],"three":[262],"explicit":[263],"configurations:":[264],"regression":[266],"checkof":[267],"running":[269],"example,":[270],"testbed":[272],"with":[273],"controllable":[274],"ground-truth":[275],"implantation,":[276],"anda":[277],"cycle\u2013arc":[278],"standard":[279],"example.":[280],"Missing":[281],"structures":[282],"order":[284],"2":[285],"above":[287],"given":[289],"aprogrammatic":[290],"formulation":[291],"framework":[294],"obstruction":[296],"theory":[297],"strictlydistinguished":[300],"from":[301],"proven":[303],"criteria.":[304],"Four":[305],"open":[306],"problems":[307],"registered":[309],"at":[310],"endof":[312],"paper.":[314]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-11-08T00:00:00"}