{"id":"https://openalex.org/W7162407586","doi":"https://doi.org/10.48550/arxiv.2605.26060","title":"The Erd\u0151s Matching Conjecture for 4-uniform hypergraphs","display_name":"The Erd\u0151s Matching Conjecture for 4-uniform hypergraphs","publication_year":2026,"publication_date":"2026-05-25","ids":{"openalex":"https://openalex.org/W7162407586","doi":"https://doi.org/10.48550/arxiv.2605.26060"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2605.26060","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2605.26060","pdf_url":"https://arxiv.org/pdf/2605.26060","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","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2605.26060","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103008890","display_name":"Jianfeng Hou","orcid":"https://orcid.org/0009-0008-3791-6107","observed_orcids":["https://orcid.org/0009-0008-3791-6107"]},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hou, Jianfeng","raw_affiliation_strings":["Center for Discrete Mathematics , Fuzhou University , Fuzhou , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Discrete Mathematics , Fuzhou University , Fuzhou , China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102699967","display_name":"Caiyun Hu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hu, Caiyun","raw_affiliation_strings":["Center for Discrete Mathematics , Fuzhou University , Fuzhou , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Center for Discrete Mathematics , Fuzhou University , Fuzhou , China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5137672200","display_name":"Xizhi Liu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liu, Xizhi","raw_affiliation_strings":["School of Mathematical Sciences , University of Science and Technology of China , Hefei , Anhui , China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences , University of Science and Technology of China , Hefei , Anhui , China","institution_ids":["https://openalex.org/I126520041"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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/T11329","display_name":"Limits and Structures in Graph Theory","score":1.0,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":1.0,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":9.999999747378752e-05,"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/T11166","display_name":"Analytic Number Theory Research","score":0.0,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/erdos-matching-conjecture","display_name":"Erd\u0151s matching conjecture","score":0.9860000014305115},{"id":"https://openalex.org/keywords/4-uniform-hypergraphs","display_name":"4-uniform hypergraphs","score":0.9909999966621399},{"id":"https://openalex.org/keywords/extremal-hypergraph-theory","display_name":"extremal hypergraph theory","score":0.7860000133514404},{"id":"https://openalex.org/keywords/matching-number","display_name":"matching number","score":0.7319999933242798},{"id":"https://openalex.org/keywords/dual-certificates","display_name":"dual certificates","score":0.6389999985694885},{"id":"https://openalex.org/keywords/computer-assisted-proof","display_name":"computer-assisted proof","score":0.6460000276565552},{"id":"https://openalex.org/keywords/extremal-constructions","display_name":"extremal constructions","score":0.5809999704360962}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7838000059127808},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7297999858856201},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.7214999794960022},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5534999966621399},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5388000011444092},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5145000219345093},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5092999935150146},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.4975000023841858},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.45649999380111694},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.398499995470047},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.3668000102043152},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.3467999994754791},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.33550000190734863},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.3328000009059906},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3158000111579895},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.3057999908924103},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.2962000072002411},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.27810001373291016},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.2750999927520752},{"id":"https://openalex.org/C46875033","wikidata":"https://www.wikidata.org/wiki/Q1244890","display_name":"Rational number","level":2,"score":0.25209999084472656}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2605.26060","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2605.26060","pdf_url":"https://arxiv.org/pdf/2605.26060","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.2605.26060","doi":"https://doi.org/10.48550/arxiv.2605.26060","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.26060","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:2605.26060","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2605.26060","pdf_url":"https://arxiv.org/pdf/2605.26060","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":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7162407586.pdf","grobid_xml":"https://content.openalex.org/works/W7162407586.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7131395028","https://openalex.org/W2949510484","https://openalex.org/W2953323341","https://openalex.org/W2095093161","https://openalex.org/W7097166505","https://openalex.org/W7098317321","https://openalex.org/W2763042140","https://openalex.org/W4296917346","https://openalex.org/W2963431948","https://openalex.org/W2766492472"],"abstract_inverted_index":{"We":[0],"prove":[1],"the":[2,55,68,74,80,83,125],"Erd\u0151s":[3],"Matching":[4],"Conjecture":[5],"for":[6,9,15,50],"$4$-uniform":[7,81],"hypergraphs":[8],"every":[10],"matching":[11,33],"number":[12],"$s\\ge6004$.":[13],"Specifically,":[14],"integers":[16],"$s\\ge":[17],"6004$":[18],"and":[19,62,88,96,109],"$n\\ge":[20],"4s+4$,":[21],"if":[22],"a":[23,32,47,59,63],"$n$-vertex":[24],"4-uniform":[25],"hypergraph":[26],"$\\mathcal":[27],"F$":[28],"does":[29],"not":[30],"contain":[31],"of":[34],"size":[35],"$s+1$,":[36],"then":[37],"\\[":[38],"|\\mathcal":[39],"F|\\le":[40],"\\max\\left\\{\\binom{4s+3}{4},\\binom":[41],"n4-\\binom{n-s}{4}\\right\\}.":[42],"\\]":[43],"Our":[44],"proof":[45],"introduces":[46],"finite-board":[48],"reduction":[49],"general":[51],"uniformity.":[52],"It":[53],"reduces":[54],"global":[56],"conjecture":[57],"to":[58],"lower-uniformity":[60],"bound":[61],"fixed":[64],"finite":[65,126],"optimization":[66],"at":[67],"two":[69],"adjacent":[70],"vertex":[71],"numbers":[72],"where":[73],"candidate":[75],"constructions":[76],"exchange":[77],"dominance.":[78],"In":[79],"case":[82],"board":[84],"has":[85],"$19$":[86],"vertices,":[87],"its":[89],"weighted":[90],"inequality":[91],"splits":[92],"into":[93],"$19$-,":[94],"$15$-,":[95],"$11$-vertex":[97],"layers.":[98],"The":[99],"hardest":[100],"layer":[101],"is":[102],"resolved":[103],"by":[104,121],"exact":[105,119],"rational":[106],"dual":[107],"certificates":[108],"deterministic":[110],"integer":[111],"searches.":[112],"All":[113],"computer-assisted":[114],"steps":[115],"are":[116],"checked":[117],"in":[118],"arithmetic":[120],"verifiers":[122],"that":[123],"reconstruct":[124],"systems":[127],"directly":[128],"from":[129],"their":[130],"mathematical":[131],"definitions.":[132]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-05-27T00:00:00"}