{"id":"arxiv/2609.11742","url":"https://arxiv.org/abs/2609.11742","tags":["math.CO"],"score":0,"title":"Füredi's Conjecture and a Sharp Strengthening","domain":"math.CO","source":"arxiv","authors":["Zihao Huang","Suijie Wang"],"reviews":0,"subject":"math.CO","summary":"We prove a strengthening of Füredi's conjecture on strong Bollobás $t$-systems. For nonnegative integers $t$ and $s$, a family of $m\\ge2$ pairs of finite sets $(A_i,B_i)$ satisfying $|A_i\\cap B_i|\\le t$ and $|A_i\\cap B_j|>t+s$ for all $i\\ne j$ satisfies \\[ \\sum_{i=1}^{m} \\frac{\\binom{|B_i|-t+s}{s}} {\\binom{|A_i|+|B_i|-2t}{|A_i|-t}}\\le1. \\] When $s=0$, this is precisely Füredi's conjectured weighted inequality. The proof is based on a local growth inequality for graded exterior ideals, a basis-exchange construction, and a common-section reduction. The same method gives the corresponding…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}