English

On the Courtade-Kumar conjecture for certain classes of Boolean functions

Information Theory 2017-02-15 v1 math.IT

Abstract

We prove the Courtade-Kumar conjecture, for certain classes of nn-dimensional Boolean functions, n2\forall n\geq 2 and for all values of the error probability of the binary symmetric channel, 0p12\forall 0 \leq p \leq \frac{1}{2}. Let X=[X1...Xn]\mathbf{X}=[X_1...X_n] be a vector of independent and identically distributed Bernoulli(12)(\frac{1}{2}) random variables, which are the input to a memoryless binary symmetric channel, with the error probability in the interval 0p120 \leq p \leq \frac{1}{2}, and Y=[Y1...Yn]\mathbf{Y}=[Y_1...Y_n] the corresponding output. Let f:{0,1}n{0,1}f:\{0,1\}^n \rightarrow \{0,1\} be an nn-dimensional Boolean function. Then, the Courtade-Kumar conjecture states that the mutual information MI(f(X),Y)1H(p)\operatorname{MI}(f(\mathbf{X}),\mathbf{Y}) \leq 1-\operatorname{H}(p), where H(p)\operatorname{H}(p) is the binary entropy function.

Keywords

Cite

@article{arxiv.1702.03953,
  title  = {On the Courtade-Kumar conjecture for certain classes of Boolean functions},
  author = {Septimia Sarbu},
  journal= {arXiv preprint arXiv:1702.03953},
  year   = {2017}
}

Comments

submitted to 2017 IEEE International Symposium on Information Theory (ISIT 2017); this article is a summarized version of my previous arXiv manuscript arXiv:1701.05014 , which was rejected by the IEEE Transactions on Information Theory

R2 v1 2026-06-22T18:17:20.222Z