{"id":"arxiv/2609.28534","url":"https://arxiv.org/abs/2609.28534","tags":["cs.IT","math.CO"],"score":0,"title":"A weak Hellinger inequality for noisy Boolean channels","domain":"cs.IT","source":"arxiv","authors":["Polona Durcik","Marco Fraccaroli","Joris Roos"],"reviews":0,"subject":"cs.IT","summary":"A weak form of the Hellinger conjecture of Anantharam, Bogdanov, Chakrabarti, Jayram, and Nair for the binary symmetric channel is proved: dictator functions maximize Hellinger $Φ$-entropy among all Boolean functions of the input and all one-bit statistics of the output of a noisy channel. The technical heart of the matter is an explicit inequality in three real parameters, which is proved using explicit polynomial approximations and computer-assisted positivity checks. The results are also formally verified in Lean 4.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-22","reactions":{}}