{"id":"arxiv/2607.04858","url":"https://arxiv.org/abs/2607.04858","tags":["math.CO"],"score":0,"title":"Recursive Lifting Beyond the Ahlswede--Khachatrian Construction","domain":"math.CO","source":"arxiv","authors":["Xiaochen Zhao","Gennian Ge"],"reviews":0,"subject":"math.CO","summary":"For the Erdős--Frankl--Pach problem on uniform set systems of bounded VC-dimension, the Ahlswede--Khachatrian/Mubayi--Zhao construction has long served as the standard lower-bound benchmark. We develop a recursive lifting method that goes beyond this benchmark in every dimension \\(d\\ge3\\), proving that for every \\(d\\ge3\\) and \\(n\\ge d+3\\), \\[ M_d(n)\\ge \\binom{n-1}{d}+\\binom{n-4}{d-2}+M_{d-3}(n-5). \\] The proof is elementary and proceeds through explicit trace obstructions. We also record a further recursive improvement in the concluding remarks.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-06","reactions":{}}