{"id":"https://openalex.org/W7204452197","doi":"https://doi.org/10.48550/arxiv.2608.25147","title":"Frankl's Conjecture at Height Four and the Structure of Height-Five Counterexamples","display_name":"Frankl's Conjecture at Height Four and the Structure of Height-Five Counterexamples","publication_year":2026,"publication_date":"2026-08-25","ids":{"openalex":"https://openalex.org/W7204452197","doi":"https://doi.org/10.48550/arxiv.2608.25147"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.25147","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.25147","pdf_url":"https://arxiv.org/pdf/2608.25147","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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/2608.25147","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000278541","display_name":"Chenxiao Tian","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tian, Chenxiao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5000278541"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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.9937000274658203,"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.9937000274658203,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.0026000000070780516,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.0010000000474974513,"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/union-closed-families","display_name":"union-closed families","score":0.7990000247955322},{"id":"https://openalex.org/keywords/critical-elements","display_name":"critical elements","score":0.9010000228881836},{"id":"https://openalex.org/keywords/join-irreducible-elements","display_name":"join-irreducible elements","score":0.8169999718666077},{"id":"https://openalex.org/keywords/minimal-counterexample","display_name":"minimal counterexample","score":0.5299999713897705}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.9556000232696533},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8788999915122986},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.8075000047683716},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.7322999835014343},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6200000047683716},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.5432000160217285},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47620001435279846},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.47110000252723694},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43220001459121704},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.39969998598098755},{"id":"https://openalex.org/C2776175482","wikidata":"https://www.wikidata.org/wiki/Q1195816","display_name":"Transfer (computing)","level":2,"score":0.3750999867916107},{"id":"https://openalex.org/C150591576","wikidata":"https://www.wikidata.org/wiki/Q739925","display_name":"Family of sets","level":3,"score":0.37229999899864197},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.365200012922287},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.35910001397132874},{"id":"https://openalex.org/C196773441","wikidata":"https://www.wikidata.org/wiki/Q1475294","display_name":"Maximal element","level":3,"score":0.2572000026702881},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.2515000104904175},{"id":"https://openalex.org/C2778408900","wikidata":"https://www.wikidata.org/wiki/Q1329258","display_name":"Cardinal number (linguistics)","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.25147","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.25147","pdf_url":"https://arxiv.org/pdf/2608.25147","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.25147","doi":"https://doi.org/10.48550/arxiv.2608.25147","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.25147","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":"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":"pmh:oai:arXiv.org:2608.25147","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.25147","pdf_url":"https://arxiv.org/pdf/2608.25147","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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/W7204452197.pdf","grobid_xml":"https://content.openalex.org/works/W7204452197.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W1993810789","https://openalex.org/W2114722286","https://openalex.org/W2138776194","https://openalex.org/W2709002772","https://openalex.org/W4200635943","https://openalex.org/W4415315920","https://openalex.org/W4417109249"],"related_works":["https://openalex.org/W7221104042","https://openalex.org/W7207535050","https://openalex.org/W7221083203","https://openalex.org/W7204936788","https://openalex.org/W7213997157","https://openalex.org/W2022700105","https://openalex.org/W7096435794","https://openalex.org/W7171679138","https://openalex.org/W2159197536","https://openalex.org/W7095441604"],"abstract_inverted_index":{"We":[0,67],"study":[1],"Frankl's":[2],"union-closed":[3,40,55],"sets":[4],"conjecture":[5,36],"through":[6],"the":[7,10,15,31,35,48,58,74,106,119,157,171,196],"height":[8,43,63,84],"of":[9,30,42,83,101,118,160],"inclusion":[11],"poset.":[12],"Working":[13],"in":[14,25],"equivalent":[16],"empty-set-free":[17,81],"formulation,":[18],"where":[19],"one":[20],"seeks":[21],"an":[22,151],"element":[23,114],"contained":[24],"strictly":[26],"more":[27],"than":[28],"half":[29],"members,":[32],"we":[33,88,169],"prove":[34],"for":[37,53,73],"every":[38,54,125],"finite":[39],"family":[41,56],"at":[44,64,85,96],"most":[45,65,86],"four.":[46,185],"Equivalently,":[47],"usual":[49],"at-least-half":[50],"formulation":[51],"holds":[52],"containing":[57],"empty":[59],"set":[60],"and":[61,104,136,174],"having":[62],"five.":[66],"also":[68],"develop":[69],"a":[70,79,116,129,132,137,142],"structural":[71],"theory":[72],"next":[75],"unresolved":[76],"case.":[77],"Assuming":[78],"smallest":[80],"counterexample":[82,193],"five,":[87],"show":[89,175],"that":[90,176],"it":[91],"has":[92],"even":[93],"cardinality":[94],"$2t$,":[95],"least":[97],"three":[98,183],"critical":[99,113,126,167,178],"elements":[100],"frequency":[102],"$t$,":[103],"satisfies":[105,128],"minimal-counterexample":[107],"bound":[108],"$t":[109],"\\geq":[110],"2n-1$.":[111],"Every":[112],"determines":[115],"coatom":[117],"form":[120],"$U":[121],"\\setminus":[122],"\\{x\\}$,":[123],"while":[124,194],"pair":[127],"dichotomy":[130],"between":[131],"full":[133],"double-avoidance":[134],"top":[135],"large":[138],"avoidance":[139],"fiber":[140],"admitting":[141],"three-layer":[143],"trace":[144],"normal":[145],"form.":[146],"Coordinate":[147],"deletion":[148],"further":[149],"yields":[150],"exact":[152],"matching-defect":[153],"obstruction.":[154],"Finally,":[155],"introducing":[156],"minimum":[158],"number":[159,180],"join-irreducible":[161],"members":[162],"required":[163],"to":[164],"cover":[165],"all":[166],"elements,":[168],"exclude":[170],"five-cover":[172],"case":[173],"this":[177],"join-cover":[179],"is":[181],"either":[182],"or":[184],"These":[186],"results":[187],"substantially":[188],"constrain":[189],"any":[190],"possible":[191],"height-five":[192],"leaving":[195],"remaining":[197],"transfer":[198],"problem":[199],"explicit.":[200]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-08-28T00:00:00"}