{"id":"arxiv/2601.19327","url":"https://arxiv.org/abs/2601.19327","tags":["math.CO","cs.IT"],"score":0,"title":"A generalization of Boppana's entropy inequality","domain":"math.CO","source":"arxiv","authors":["Boon Suan Ho"],"reviews":0,"subject":"math.CO","summary":"In recent progress on the union-closed sets conjecture, a key lemma has been Boppana's entropy inequality: $h(x^2)\\geφxh(x)$, where $φ=(1+\\sqrt5)/2$ and $h(x)=-x\\log x-(1-x)\\log(1-x)$. In this note, we prove that the generalized inequality $α_kh(x^k)\\ge x^{k-1}h(x)$, first conjectured by Yuster, holds for real $k>1$, where $α_k$ is the unique positive solution to $x(1+x)^{k-1}=1$. This implies an analogue of the union-closed sets conjecture for approximate $k$-union closed set systems. We also formalize our proof in Lean 4.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-27","reactions":{}}