{"id":"https://openalex.org/W7214957935","doi":"https://doi.org/10.48550/arxiv.2609.36242","title":"Dimensional colorful Helly theorems and topological variants","display_name":"Dimensional colorful Helly theorems and topological variants","publication_year":2026,"publication_date":"2026-09-28","ids":{"openalex":"https://openalex.org/W7214957935","doi":"https://doi.org/10.48550/arxiv.2609.36242"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.36242","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.36242","pdf_url":"https://arxiv.org/pdf/2609.36242","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.36242","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133142673","display_name":"Wei Rao","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I153845743","display_name":"Moscow Institute of Physics and Technology","ror":"https://ror.org/00v0z9322","country_code":"RU","type":"education","lineage":["https://openalex.org/I153845743"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Rao, Wei","raw_affiliation_strings":["Moscow Institute of Physics and Technology , Institutsky Lane 9 , Dolgoprudny , Moscow Region , 141700 , Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Moscow Institute of Physics and Technology , Institutsky Lane 9 , Dolgoprudny , Moscow Region , 141700 , Russia","institution_ids":["https://openalex.org/I153845743"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5133142673"],"corresponding_institution_ids":["https://openalex.org/I153845743"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9326000213623047,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9326000213623047,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/T11830","display_name":"Point processes and geometric inequalities","score":0.03440000116825104,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/T12536","display_name":"Topological and Geometric Data Analysis","score":0.0032999999821186066,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/convex-sets","display_name":"convex sets","score":0.6940000057220459},{"id":"https://openalex.org/keywords/simplicial-complex","display_name":"simplicial complexes","score":0.8880000114440918},{"id":"https://openalex.org/keywords/counterexample","display_name":"counterexample","score":0.5879999995231628},{"id":"https://openalex.org/keywords/topological-combinatorics","display_name":"topological combinatorics","score":0.6650000214576721}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7401000261306763},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.6425999999046326},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.559499979019165},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.46700000762939453},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.46219998598098755},{"id":"https://openalex.org/C2779304628","wikidata":"https://www.wikidata.org/wiki/Q3503480","display_name":"Face (sociological concept)","level":2,"score":0.4178999960422516},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.38440001010894775},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35850000381469727},{"id":"https://openalex.org/C119050217","wikidata":"https://www.wikidata.org/wiki/Q17101806","display_name":"Intersection theorem","level":5,"score":0.32499998807907104},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.3237000107765198},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.31779998540878296},{"id":"https://openalex.org/C2776477805","wikidata":"https://www.wikidata.org/wiki/Q4460773","display_name":"Topological data analysis","level":2,"score":0.3156999945640564},{"id":"https://openalex.org/C2778753846","wikidata":"https://www.wikidata.org/wiki/Q6554239","display_name":"Link (geometry)","level":2,"score":0.3133000135421753},{"id":"https://openalex.org/C187929450","wikidata":"https://www.wikidata.org/wiki/Q994399","display_name":"Simplicial complex","level":2,"score":0.31310001015663147},{"id":"https://openalex.org/C180375552","wikidata":"https://www.wikidata.org/wiki/Q2635326","display_name":"Structured program theorem","level":2,"score":0.3075000047683716},{"id":"https://openalex.org/C129621563","wikidata":"https://www.wikidata.org/wiki/Q429593","display_name":"Betti number","level":2,"score":0.30059999227523804},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.257099986076355},{"id":"https://openalex.org/C2778478883","wikidata":"https://www.wikidata.org/wiki/Q7825025","display_name":"Topological complexity","level":2,"score":0.2529999911785126}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.36242","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.36242","pdf_url":"https://arxiv.org/pdf/2609.36242","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.36242","doi":"https://doi.org/10.48550/arxiv.2609.36242","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.36242","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,"listed_in":[],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.36242","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.36242","pdf_url":"https://arxiv.org/pdf/2609.36242","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,"listed_in":[],"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214957935.pdf","grobid_xml":"https://content.openalex.org/works/W7214957935.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W7164943378"],"related_works":["https://openalex.org/W2053369489","https://openalex.org/W4298338769","https://openalex.org/W2009820254","https://openalex.org/W2085329197","https://openalex.org/W4393630255","https://openalex.org/W2285444140","https://openalex.org/W7124421729","https://openalex.org/W7165822474","https://openalex.org/W3095975798","https://openalex.org/W7214171071"],"abstract_inverted_index":{"We":[0,33,99],"prove":[1,86],"a":[2,36,40,74,80,87,102,116,141],"dimensional":[3,37,92],"strengthening":[4,38,104],"of":[5,16,27,39,42,54,70,90,105,113,126],"the":[6,48,62,67,71,91,106,121,135],"colorful":[7,93,123],"Helly":[8,94,124],"theorem.":[9],"Let":[10],"$\\mathcal{C}_1,\\dots,\\mathcal{C}_{d+1}$":[11],"be":[12],"finite":[13],"nonempty":[14],"families":[15],"convex":[17],"sets":[18],"in":[19,46,110],"$\\mathbb{R}^d$.":[20],"If":[21],"$C_1\\cap\\cdots\\cap":[22],"C_{d+1}\\neq\\varnothing$":[23],"for":[24,73,79,96],"every":[25],"choice":[26],"$C_i\\in\\mathcal{C}_i$,":[28],"then":[29],"$\\sum_{i=1}^{d+1}\\dim(\\bigcap\\mathcal{C}_i)\\geq0$,":[30],"where":[31],"$\\dim\\varnothing=-1$.":[32],"also":[34],"obtain":[35],"theorem":[41,95,109,125],"Kim":[43],"and":[44,76,128],"Lew,":[45],"which":[47],"intersections":[49],"are":[50],"taken":[51],"over":[52],"unions":[53],"color":[55],"classes.":[56],"For":[57],"simplicial":[58],"complexes,":[59],"we":[60,85,119,131],"introduce":[61],"link-Leray":[63],"dimension,":[64],"defined":[65],"as":[66,77],"Leray":[68],"number":[69],"link":[72],"face":[75],"$-1$":[78],"nonface.":[81],"Using":[82],"this":[83],"invariant,":[84],"matroidal":[88],"extension":[89],"$d$-Leray":[97],"complexes.":[98],"further":[100],"establish":[101],"corresponding":[103],"topological":[107,122,137],"Kim--Lew":[108],"two":[111],"ranges":[112],"parameters.":[114],"As":[115],"special":[117],"case,":[118],"recover":[120],"Kalai":[127],"Meshulam.":[129],"Finally,":[130],"construct":[132],"counterexamples":[133],"to":[134],"unrestricted":[136],"extension,":[138],"even":[139],"under":[140],"stronger":[142],"local":[143],"condition.":[144]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-01T00:00:00"}