AI summary · arXiv: 2611.05430v1 · cs.IT
On the most informative Boolean function under noise
The essentials
The paper proves that no Boolean function of a bit-flipped uniform string is more informative about the original string than a single noisy bit.
Based on the abstract only: check the details in the original paper.
Question
For a uniform random bit string X and its independently bit-flipped version Y, can any Boolean function C of Y contain more information about X than one coordinate of Y? The paper resolves the Courtade–Kumar conjecture on this question.
Method
The authors consider X uniform and form Y by flipping each bit independently with probability p, for p in [0,1]. They prove that for any bit C obtained as a function of Y, the mutual information I(C:X) is at most I(Y₁:X).
Findings
-
Result
For every p in [0,1], the information that C provides about X is bounded above by the information in one coordinate of Y.
See the passage in the paper
We show that $\mathbf{I}(C:X)\le \mathbf{I}(Y_1:X)$ for all $p\in[0,1]$
-
Authors’ interpretation
The result resolves the conjecture posed by Courtade and Kumar in 2013.
See the passage in the paper
which resolves a conjecture posed by Courtade and Kumar in 2013.
Limitations
- The available abstract does not specify the string length or provide details of the proof, so the scope and technical assumptions beyond the stated setup cannot be assessed from this source.
Why it matters
The result settles the stated conjecture by establishing a single-coordinate upper bound on the information obtainable through any Boolean function of the noisy string.
Written by AI from the paper. Passages are checked word for word against the text we analysed; the rest may contain errors.
Ask questions about this paper to our AI assistant
How to chat with this paper? Illustrated guide
You can also chat with multiple papers at once here.
Keep this conversation — a free account saves your questions and answers, your collections of papers and your alerts.
Continue with Google Create a free accountTools for this paper
Advanced tools Premium
For researchers who follow a field closely: citation alerts, journal-club slides, version comparison and Zotero export. Discover Premium
Papers around this one
See them on a mapRanked by how close their title and abstract are to this paper’s. Select some to read them together.
Closest papers
-
The "Most informative boolean function" conjecture holds for high noiseAlex Samorodnitsky · 2015 · arXiv.org · preprint, not peer reviewed · cited 9 times · Not summarized yet
The high-noise proof establishes the Courtade–Kumar bound near crossover probability one-half, a partial result for the conjecture resolved here.
Abstract
We prove the "Most informative boolean function" conjecture of Courtade and Kumar for high noise $\epsilon \ge 1/2 - \delta$, for some absolute constant $\delta > 0$. Namely, if $X$ is uniformly distributed in $\{0,1\}^n$ and $Y$ is obtained by flipping each coordinate of $X$ independently with probability $\epsilon$, then, provided $\epsilon \ge 1/2 - \delta$, for any boolean function $f$ holds $I(f(X);Y) \le 1 - H(\epsilon)$. This conjecture was previously known to hold only for balanced functions.
-
On the Most Informative Boolean Functions of the Very Noisy ChannelHengjie Yang, R. Wesel · 2018 · International Symposium on Information Theory · cited 7 times · Not summarized yet
This paper uses a second-derivative argument to prove the conjecture in a dimension-dependent high-noise regime, rather than resolving it for every noise level.
Abstract
Let X<sup>n</sup> be a uniformly distributed n-dimensional binary vector, and Y<sup>n</sup> be the result of passing X<sup>n</sup> through a binary symmetric channel (BSC) with crossover probability α. A recent conjecture postulated by Courtade and Kumar states that I(f(X<sup>n</sup>); Y<sup>n</sup>) ≤ 1 − H(α). Although the conjecture has been proved to be true in the dimension-free high noise regime by Samorodnitsky, here we present a calculus-based approach to show a dimension-dependent result by examining the second derivative of H(α) − H(f(X<sup>n</sup>)|Y<sup>n</sup>) at α = 1/2. Along the way, we show that the dictator function is the most informative function in the high noise regime…
-
Proof of the Most Informative Boolean Function ConjectureMustafa Kesal · 2015 · arXiv.org · preprint, not peer reviewed · cited 8 times · Not summarized yet
This paper also proves the Courtade–Kumar conjecture that no Boolean function reveals more about the noisy channel output than the stated coordinate benchmark.
Abstract
Suppose $\XX{N}$ is a uniformly distributed $N$-dimensional binary vector and $\YY{N}$ is obtained by passing $\XX{N}$ through a binary symmetric channel with crossover probability $\alpha$. Recently, Courtade and Kumar postulates that $I(f(\XX{N});\YY{N})\leq 1-\Be(\alpha)$ for any Boolean function $f$ \cite{courtade}. In this paper, we provide a proof of the correctness of this conjecture.
-
The Most Informative Bit and Beyond: A Proof of the Courtade-Kumar Conjecture and Multibit ExtensionsHessam Mahdavifar, Ahmad Beirami · 2026 · arXiv.org · preprint, not peer reviewed · cited 6 times · Not summarized yet
This paper proves the same one-bit conjecture in every dimension and extends the coordinate benchmark to multibit quantizers.
Abstract
Let \(X=(X_1,\ldots,X_n)\) be uniform on the Boolean cube, and let \(Y\) be obtained by passing its coordinates independently through a binary symmetric channel with crossover probability \(p\). For a \(k\)-bit quantizer \(Q(X)\), reporting \(k\) input coordinates retains \(k(1-h_2(p))\) bits of information, making coordinate projections a natural quantization benchmark. For \(k=1\), this is the Courtade--Kumar conjecture: every Boolean function \(f\) satisfies \(I(f(X);Y)\leq 1-h_2(p)\), with equality for coordinate functions. We prove the conjecture in every dimension and for every crossover probability, without a balance assumption. The proof tracks the information gap relative to a coord…
-
Which Boolean functions are most informative?G. Kumar, T. Courtade · 2013 · 2013 IEEE International Symposium on Information Theory · cited 30 times · Not summarized yet
This paper formulates the Courtade–Kumar conjecture and gives supporting evidence, while the present paper proves it.
Abstract
We introduce a simply stated conjecture regarding the maximum mutual information a Boolean function can reveal about noisy inputs. Specifically, let X<sup>n</sup> be i.i.d. Bernoulli(l/2), and let Y<sup>n</sup> be the result of passing X<sup>n</sup> through a memoryless binary symmetric channel with crossover probability α. For any Boolean function b : {0, l}<sup>n</sup> → {0,1}, we conjecture that I(b(X<sup>n</sup>);Y<sup>n</sup>) ≤ 1 - H (α). While the conjecture remains open, we provide substantial evidence supporting its validity.
-
An improved upper bound for the most informative boolean function conjectureOr Ordentlich, Ofer Shayevitz, Omri Weinstein · 2015 · International Symposium on Information Theory · cited 23 times · Not summarized yet
This paper derives an improved upper bound for balanced Boolean functions, rather than proving the conjectured bound for all functions.
Abstract
Suppose X is a uniformly distributed n-dimensional binary vector and Y is obtained by passing X through a binary symmetric channel with crossover probability α. A recent conjecture by Courtade and Kumar postulates that I(f(X); Y ) ≤ 1 - h(α) for any Boolean function f. So far, the best known upper bound was essentially I(f(X); Y ) ≤ (1 - 2α)2. In this paper, we derive a new upper bound that holds for all balanced functions, and improves upon the best known previous bound for α > 1 over 3.
-
On the Courtade-Kumar conjecture for certain classes of Boolean functionsSeptimia Sârbu · 2017 · arXiv.org · preprint, not peer reviewed · cited 1 time · Not summarized yet
This paper proves the Courtade–Kumar bound for certain classes of Boolean functions across dimensions and channel error probabilities.
Abstract
We prove the Courtade-Kumar conjecture, for certain classes of $n$-dimensional Boolean functions, $\forall n\geq 2$ and for all values of the error probability of the binary symmetric channel, $\forall 0 \leq p \leq \frac{1}{2}$. Let $\mathbf{X}=[X_1...X_n]$ be a vector of independent and identically distributed Bernoulli$(\frac{1}{2})$ random variables, which are the input to a memoryless binary symmetric channel, with the error probability in the interval $0 \leq p \leq \frac{1}{2}$, and $\mathbf{Y}=[Y_1...Y_n]$ the corresponding output. Let $f:\{0,1\}^n \rightarrow \{0,1\}$ be an $n$-dimensional Boolean function. Then, the Courtade-Kumar conjecture states that the mutual information $\ope…
-
The maximum mutual information between the output of a discrete symmetric channel and several classes of Boolean functions of its inputSeptimia Sârbu · 2017 · arXiv.org · preprint, not peer reviewed · cited 1 time · Not summarized yet
This paper proves the same mutual-information bound for several classes of Boolean functions on binary symmetric channels.
Abstract
We prove the Courtade-Kumar conjecture, for several classes of n-dimensional Boolean functions, for all $n \geq 2$ and for all values of the error probability of the binary symmetric channel, $0 \leq p \leq 1/2$. This conjecture states that the mutual information between any Boolean function of an n-dimensional vector of independent and identically distributed inputs to a memoryless binary symmetric channel and the corresponding vector of outputs is upper-bounded by $1-\operatorname{H}(p)$, where $\operatorname{H}(p)$ represents the binary entropy function. That is, let $\mathbf{X}=[X_1 \ldots X_n]$ be a vector of independent and identically distributed Bernoulli(1/2) random variables, which…
Prior work it builds on
-
The Courtade-Kumar Most Informative Boolean Function Conjecture and a Symmetrized Li-Médard Conjecture are EquivalentL. Barnes, Ayfer Özgür · 2020 · International Symposium on Information Theory · cited 12 times · Not summarized yet
This paper relates the balanced-function Courtade–Kumar conjecture to a conjecture about noise-operator norms.
Abstract
We consider the Courtade-Kumar most informative Boolean function conjecture for balanced functions, as well as a conjecture by Li and Médard that dictatorship functions also maximize the Lα norm of Tpf for 1 ≤ α ≤ 2 where Tp is the noise operator and f is a balanced Boolean function. By using a result due to Laguerre from the 1880’s, we are able to bound how many times an Lα-norm related quantity can cross zero as a function of α, and show that these two conjectures are essentially equivalent.
-
On the Optimality of Dictator Functions and Isoperimetric Inequalities on Boolean HypercubesZi-Jie Chen, Chandra Nair · 2024 · International Symposium on Information Theory · cited 10 times · Not summarized yet
This paper studies dictator optimality for a family of entropy inequalities and connects them to the mutual-information conjecture.
Abstract
In this paper, we present a family of conjectures on the optimality of the dictator function among all Boolean functions for a new family of $\Phi$-entropies. Our main theorem shows that there is an ordering of these conjectures, in that if the conjecture is established for a value $\alpha$, then it holds for any $\beta$: $\beta\geq \alpha$ • For the parameter range $\frac{1}{2}\leq\alpha, \beta < 1$, this family of conjectures is stronger than the mutual information conjecture, originally proposed in a paper by Courtade and Kumar. By considering a limiting value of the noise parameter $\rho$, we show how these conjectures relate to isoperimetric inequalities on the Boolean Hypercube of a fl…
-
A Tight Upper Bound on the Mutual Information of Two Boolean FunctionsGeorg Pichler, G. Matz, Pablo Piantanida · 2016 · Information Theory Workshop · cited 9 times · Not summarized yet
The title indicates a mutual-information bound for pairs of Boolean functions, but no abstract is provided to specify its relationship further.
-
Which Boolean Functions Maximize Mutual Information on Noisy Inputs?T. Courtade, G. Kumar · 2014 · IEEE Transactions on Information Theory · cited 64 times · Not summarized yet
The title concerns Boolean functions maximizing mutual information on noisy inputs, but no abstract is provided for a more specific comparison.
-
Local Optimality of Dictator Functions with Applications to Courtade-Kumar ConjectureLei Yu · 2024 · arXiv.org · preprint, not peer reviewed · cited 1 time · Not summarized yet
The title studies local optimality of dictator functions and its application to the Courtade–Kumar conjecture.
Go further
How are these papers found?
We compare the title and abstract of this paper with those of every paper summarized on this site, and with the papers Semantic Scholar recommends, those it cites and those citing it (for a much-cited paper, its most recent citations and, from OpenAlex, the most cited ones). Among the prior work and the follow-ups, the papers that use each other in depth, a method it uses and the much-cited follow-ups come a little higher. The levels (very close, close, related) come from the similarity of the texts, not from a judgment of quality; * marks a paper without an abstract, compared by its title. The sentence under a paper is written by an AI from the two abstracts: check it in the papers. A paper marked not relevant by three readers leaves the list.
Updated on 9 November 2026.
Disclaimer: The AI-based summarization tool and virtual assistant provided on this website may not always provide accurate and complete summaries or responses. We encourage you to carefully review and evaluate the generated content to ensure its quality and relevance to your needs.