English
Related papers

Related papers: Proof of the Most Informative Boolean Function Con…

200 papers

A collaborative distributed binary decision problem is considered. Two statisticians are required to declare the correct probability measure of two jointly distributed memoryless process, denoted by $X^n=(X_1,\dots,X_n)$ and…

Information Theory · Computer Science 2016-04-11 Gil Katz , Pablo Piantanida , Merouane Debbah

We show that any random vector uniformly distributed on any hyperplane projection of $B_1^n$ or $B_\infty^n$ verifies the variance conjecture $$\text{Var}|X|^2\leq C\sup_{\xi\in S^{n-1}}\E<X,\xi>^2\E|X|^2.$$ Furthermore, a random vector…

Functional Analysis · Mathematics 2012-09-20 David Alonso-Gutiérrez , Jesús Bastero

In this paper, we prove that most of the boolean functions, $f : \{-1,1\}^n \rightarrow \{-1,1\}$ satisfy the Fourier Entropy Influence (FEI) Conjecture due to Friedgut and Kalai (Proc. AMS'96). The conjecture says that the Entropy of a…

Combinatorics · Mathematics 2011-10-21 Bireswar Das , Manjish Pal , Vijay Visavaliya

Algebraic immunity of Boolean function $f$ is defined as the minimal degree of a nonzero $g$ such that $fg=0$ or $(f+1)g=0$. Given a positive even integer $n$, it is found that the weight distribution of any $n$-variable symmetric Boolean…

Cryptography and Security · Computer Science 2012-02-07 Hui Wang , Jie Peng , Yuan Li , Haibin Kan

The seminal result of Kahn, Kalai and Linial shows that a coalition of $O(\frac{n}{\log n})$ players can bias the outcome of any Boolean function $\{0,1\}^n \to \{0,1\}$ with respect to the uniform measure. We extend their result to…

Discrete Mathematics · Computer Science 2019-02-21 Yuval Filmus , Lianna Hambardzumyan , Hamed Hatami , Pooya Hatami , David Zuckerman

Let a Boolean function be available as a black-box (oracle) and one likes to devise an algorithm to test whether it has certain property or it is $\epsilon$-far from having that property. The efficiency of the algorithm is judged by the…

Quantum Physics · Physics 2013-06-27 Kaushik Chakraborty , Subhamoy Maitra

We study nondeterministic quantum algorithms for Boolean functions f. Such algorithms have positive acceptance probability on input x iff f(x)=1. In the setting of query complexity, we show that the nondeterministic quantum complexity of a…

Computational Complexity · Computer Science 2007-05-23 Ronald de Wolf

In this paper we consider an application of the recently proposed quantum hashing technique for computing Boolean functions in the quantum communication model. The combination of binary functions on non-binary quantum hash function is done…

Quantum Physics · Physics 2016-03-08 Alexander Vasiliev

The Bonami-Beckner hypercontractive inequality is a powerful tool in Fourier analysis of real-valued functions on the Boolean cube. In this paper we present a version of this inequality for matrix-valued functions on the Boolean cube. Its…

Quantum Physics · Physics 2016-11-15 Avraham Ben-Aroya , Oded Regev , Ronald de Wolf

This paper presents a method to detect and recognize symmetries in Boolean functions. The idea is to use information theoretic measures of Boolean functions to detect sub-space of possible symmetric variables. Coupled with the new…

Other Computer Science · Computer Science 2007-10-15 Denis V. Popel

In this paper we introduce the study of quantum boolean functions, which are unitary operators f whose square is the identity: f^2 = I. We describe several generalisations of well-known results in the theory of boolean functions, including…

Quantum Physics · Physics 2010-12-20 Ashley Montanaro , Tobias J. Osborne

We investigate the influences of variables on a Boolean function $f$ based on the quantum Bernstein-Vazirani algorithm. A previous paper (Floess et al. in Math. Struct. in Comp. Science 23: 386, 2013) has proved that if a $n$-variable…

Data Structures and Algorithms · Computer Science 2015-01-21 Hong-Wei Li , Li Yang

In this paper, we prove a strong XOR lemma for bounded-round two-player randomized communication. For a function $f:\mathcal{X}\times \mathcal{Y}\rightarrow\{0,1\}$, the $n$-fold XOR function $f^{\oplus n}:\mathcal{X}^n\times…

Computational Complexity · Computer Science 2022-08-25 Huacheng Yu

Consider a fixed universe of $N=2^n$ elements and the uniform distribution over elements of some subset of size $K$. Given samples from this distribution, the task of complement sampling is to provide a sample from the complementary subset.…

Quantum Physics · Physics 2026-02-02 Marcello Benedetti , Harry Buhrman , Jordi Weggemans

In this paper, we establish a new bound tying together the effective length and the maximum correlation between the outputs of an arbitrary pair of Boolean functions which operate on two sequences of correlated random variables. We derive a…

Information Theory · Computer Science 2017-05-02 Farhad Shirani , S. Sandeep Pradhan

It is proved an amplification of Cusick-Cheon's conjecture on balanced Boolean functions in the cosets of the binary Reed-Muller code RM(k,m) of order k and length 2^m, in the cases where k = 1 or k >= (m-1)/2.

Information Theory · Computer Science 2008-04-14 Yuri L. Borissov

For a Boolean function $\Phi\colon\{0,1\}^d\to\{0,1\}$ and an assignment to its variables $\mathbf{x}=(x_1, x_2, \dots, x_d)$ we consider the problem of finding the subsets of the variables that are sufficient to determine the function…

Computational Complexity · Computer Science 2019-06-19 Stephan Wäldchen , Jan Macdonald , Sascha Hauch , Gitta Kutyniok

A Bayesian net (BN) is more than a succinct way to encode a probabilistic distribution; it also corresponds to a function used to answer queries. A BN can therefore be evaluated by the accuracy of the answers it returns. Many algorithms for…

Artificial Intelligence · Computer Science 2013-02-08 Russell Greiner , Adam J. Grove , Dale Schuurmans

We present a simple information theoretical proof of the Fueter-P\'olya Conjecture: there is no polynomial pairing function that defines a bijection between the set of natural numbers N and its product set N^2 of degree higher than 2. We…

Discrete Mathematics · Computer Science 2018-09-27 Pieter W. Adriaans

We prove the following conjecture, raised by Aaronson and Ambainis in 2008: Let $f:\{-1,1\}^n \rightarrow [-1,1]$ be a multilinear polynomial of degree $d$. Then there exists a variable $x_i$ whose influence on $f$ is at least…

Computational Complexity · Computer Science 2019-12-03 Nathan Keller , Ohad Klein