Are most Boolean functions determined by low frequencies?

Roman Vershynin

2024-01-24

Abstract:We ask whether most Boolean functions are determined by their low frequencies. We show a partial result: for almost every function $f: \{-1,1\}^p \to \{-1,1\}$ there exists a function $f': \{-1,1\}^p \to (-1,1)$ that has the same frequencies as $f$ up to dimension $(1/2-o(1))p$.

Combinatorics

What problem does this paper attempt to address?

Boolean functions whose Fourier transform is concentrated on pairwise disjoint subsets of the input

Aviad Rubinstein,Muli Safra

DOI: https://doi.org/10.48550/arXiv.1512.09045

2015-12-31

Abstract:We consider Boolean functions f:{-1,1}^n->{-1,1} that are close to a sum of independent functions on mutually exclusive subsets of the variables. We prove that any such function is close to just a single function on a single subset. We also consider Boolean functions f:R^n->{-1,1} that are close, with respect to any product distribution over R^n, to a sum of their variables. We prove that any such function is close to one of the variables. Both our results are independent of the number of variables, but depend on the variance of f. I.e., if f is \epsilon*Var(f)-close to a sum of independent functions or random variables, then it is O(\epsilon)-close to one of the independent functions or random variables, respectively. We prove that this dependence on Var(f) is tight. Our results are a generalization of the Friedgut-Kalai-Naor Theorem [FKN'02], which holds for functions f:{-1,1}^n->{-1,1} that are close to a linear combination of uniformly distributed Boolean variables.

Probability,Combinatorics
An upper bound on the number of relevant variables for Boolean functions on the Hamming graph

Alexandr Valyuzhenich

2024-04-16

Abstract:The spectrum of a complex-valued function $f$ on $\mathbb{Z}_{q}^n$ is the set $\{|u|:u\in \mathbb{Z}_q^n~\mathrm{and}~\widehat{f}(u)\neq 0\}$, where $|u|$ is the Hamming weight of $u$ and $\widehat{f}$ is the Fourier transform of $f$. Let $1\leq d'\leq d\leq n$. In this work, we study Boolean functions on $\mathbb{Z}_{q}^n$, $q\geq 3$, whose spectrum is a subset of $\{0\}\cup \{d',\ldots,d\}$. We prove that such functions have at most $\frac{d}{2}\cdot \frac{q^{d+d'}}{2^{d'}(q-1)^{d'}}$ relevant variables for $d'+d\leq n+1$. In particular, we prove that any Boolean function of degree $d$ on $\mathbb{Z}_{q}^n$, $q\geq 3$, has at most $\frac{dq^{d+1}}{4(q-1)}$ relevant variables. We also show that any equitable 2-partition of the Hamming graph $H(n,q)$, $q\geq 3$, associated with the eigenvalue $n(q-1)-qd$ has at most $\frac{d}{2}\cdot \frac{q^{2d}}{2^d(q-1)^{d}}$ relevant variables for $d\leq \frac{n+1}{2}$.

Combinatorics
On Fourier analysis of sparse Boolean functions over certain Abelian groups

Sourav Chakraborty,Swarnalipa Datta,Pranjal Dutta,Arijit Ghosh,Swagato Sanyal

2024-06-27

Abstract:Given an Abelian group G, a Boolean-valued function f: G -> {-1,+1}, is said to be s-sparse, if it has at most s-many non-zero Fourier coefficients over the domain G. In a seminal paper, Gopalan et al. proved "Granularity" for Fourier coefficients of Boolean valued functions over Z_2^n, that have found many diverse applications in theoretical computer science and combinatorics. They also studied structural results for Boolean functions over Z_2^n which are approximately Fourier-sparse. In this work, we obtain structural results for approximately Fourier-sparse Boolean valued functions over Abelian groups G of the form,G:= Z_{p_1}^{n_1} \times ... \times Z_{p_t}^{n_t}, for distinct primes p_i. We also obtain a lower bound of the form 1/(m^{2}s)^ceiling(phi(m)/2), on the absolute value of the smallest non-zero Fourier coefficient of an s-sparse function, where m=p_1 ... p_t, and phi(m)=(p_1-1) ... (p_t-1). We carefully apply probabilistic techniques from Gopalan et al., to obtain our structural results, and use some non-trivial results from algebraic number theory to get the lower bound. We construct a family of at most s-sparse Boolean functions over Z_p^n, where p > 2, for arbitrarily large enough s, where the minimum non-zero Fourier coefficient is 1/omega(n). The "Granularity" result of Gopalan et al. implies that the absolute values of non-zero Fourier coefficients of any s-sparse Boolean valued function over Z_2^n are 1/O(s). So, our result shows that one cannot expect such a lower bound for general Abelian groups. Using our new structural results on the Fourier coefficients of sparse functions, we design an efficient testing algorithm for Fourier-sparse Boolean functions, thata requires poly((ms)^phi(m),1/epsilon)-many queries. Further, we prove an Omega(sqrt{s}) lower bound on the query complexity of any adaptive sparsity testing algorithm.

Computational Complexity
One-Way Communication Complexity of Partial XOR Functions

Vladimir V. Podolskii,Dmitrii Sluch

2024-06-01

Abstract:Boolean function $F(x,y)$ for $x,y \in \{0,1\}^n$ is an XOR function if $F(x,y)=f(x\oplus y)$ for some function $f$ on $n$ input bits, where $\oplus$ is a bit-wise XOR. XOR functions are relevant in communication complexity, partially for allowing Fourier analytic technique. For total XOR functions it is known that deterministic communication complexity of $F$ is closely related to parity decision tree complexity of $f$. Montanaro and Osbourne (2009) observed that one-sided communication complexity $D_{cc}^{\rightarrow}(F)$ of $F$ is exactly equal to nonadaptive parity decision tree complexity $NADT^{\oplus}(f)$ of $f$. Hatami et al. (2018) showed that unrestricted communication complexity of $F$ is polynomially related to parity decision tree complexity of $f$. We initiate the studies of a similar connection for partial functions. We show that in case of one-sided communication complexity whether these measures are equal, depends on the number of undefined inputs of $f$. On the one hand, if $D_{cc}^{\rightarrow}(F)=t$ and $f$ is undefined on at most $O(\frac{2^{n-t}}{\sqrt{n-t}})$, then $NADT^{\oplus}(f)=t$. On the other hand, for a wide range of values of $D_{cc}^{\rightarrow}(F)$ and $NADT^{\oplus}(f)$ (from constant to $n-2$) we provide partial functions for which $D_{cc}^{\rightarrow}(F) < NADT^{\oplus}(f)$. In particular, we provide a function with an exponential gap between the two measures. Our separation results translate to the case of two-sided communication complexity as well, in particular showing that the result of Hatami et al. (2018) cannot be generalized to partial functions. Previous results for total functions heavily rely on Boolean Fourier analysis and the technique does not translate to partial functions. For the proofs of our results we build a linear algebraic framework instead. Separation results are proved through the reduction to covering codes.

Computational Complexity
The Entropy Influence Conjecture Revisited

Bireswar Das,Manjish Pal,Vijay Visavaliya

DOI: https://doi.org/10.48550/arXiv.1110.4301

2011-10-20

Abstract: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 boolean function is at most a constant times the Influence of the function. The conjecture has been proven for families of functions of smaller sizes. O'donnell, Wright and Zhou (ICALP'11) verified the conjecture for the family of symmetric functions, whose size is $2^{n+1}$. They are in fact able to prove the conjecture for the family of $d$-part symmetric functions for constant $d$, the size of whose is $2^{O(n^d)}$. Also it is known that the conjecture is true for a large fraction of polynomial sized DNFs (COLT'10). Using elementary methods we prove that a random function with high probability satisfies the conjecture with the constant as $(2 + \delta)$, for any constant $\delta > 0$.

Combinatorics,Computational Complexity,Discrete Mathematics
On the Fourier spectrum of functions on Boolean cubes

Andreas Defant,Mieczysław Mastyło,Antonio Pérez

DOI: https://doi.org/10.1007/s00208-018-1756-y

2018-09-25

Mathematische Annalen

Abstract:Let f be a real-valued function of degree d defined on the n-dimensional Boolean cube {±1}n\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\{ \pm 1\}^{n}$$\end{document}, and f(x)=∑S⊂{1,…,n}f^(S)∏k∈Sxk\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$f(x) = \sum _{S \subset \{1,\ldots ,n\}} \widehat{f}(S) \prod _{k \in S} x_k$$\end{document} its Fourier-Walsh expansion. The main result states that there is an absolute constant C>0\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$C >0$$\end{document} such that the ℓ2d/(d+1)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\ell _{2d/(d+1)}$$\end{document}-sum of the Fourier coefficients of f:{±1}n⟶[-1,1]\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$f:\{ \pm 1\}^{n} \longrightarrow [-1,1]$$\end{document} is bounded by Cdlogd\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$C^{\sqrt{d \log d}}$$\end{document}. It was recently proved that a similar result holds for complex-valued polynomials on the n-dimensional polytorus Tn\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mathbb {T}^n$$\end{document}, but that in contrast to this, a replacement of the n-dimensional torus Tn\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\mathbb {T}^n$$\end{document} by the n-dimensional cube [-1,1]n\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$[-1, 1]^n$$\end{document} leads to a substantially weaker estimate. This in the Boolean case forces us to invent novel techniques which differ from the ones used in the complex or real case. We indicate how our result is linked with several questions in quantum information theory.

mathematics
On Boolean Functions with Low Polynomial Degree and Higher Order Sensitivity

Subhamoy Maitra,Chandra Sekhar Mukherjee,Pantelimon Stanica,Deng Tang

DOI: https://doi.org/10.48550/arXiv.2107.11205

2021-07-23

Abstract:Boolean functions are important primitives in different domains of cryptology, complexity and coding theory. In this paper, we connect the tools from cryptology and complexity theory in the domain of Boolean functions with low polynomial degree and high sensitivity. It is well known that the polynomial degree of of a Boolean function and its resiliency are directly connected. Using this connection we analyze the polynomial degree-sensitivity values through the lens of resiliency, demonstrating existence and non-existence results of functions with low polynomial degree and high sensitivity on small number of variables (upto 10). In this process, borrowing an idea from complexity theory, we show that one can implement resilient Boolean functions on a large number of variables with linear size and logarithmic depth. Finally, we extend the notion of sensitivity to higher order and note that the existing construction idea of Nisan and Szegedy (1994) can provide only constant higher order sensitivity when aiming for polynomial degree of $n-\omega(1)$. In this direction, we present a construction with low ($n-\omega(1)$) polynomial degree and super-constant $\omega(1)$ order sensitivity exploiting Maiorana-McFarland constructions, that we borrow from construction of resilient functions. The questions we raise identify novel combinatorial problems in the domain of Boolean functions.

Computational Complexity,Cryptography and Security
The Fourier Entropy-Influence Conjecture For Certain Classes Of Boolean Functions

Ryan O'Donnell,John Wright,Yuan Zhou

DOI: https://doi.org/10.1007/978-3-642-22006-7_28

2011-01-01

Abstract:In 1996, Friedgut and Kalai made the Fourier Entropy-Influence Conjecture: For every Boolean function f : {-1, 1}(n) -> {-1, 1} it holds that H[(f) over cap (2)] <= C . I[f], where H[(f) over cap (2)] is the spectral entropy of f, I[f] is the total influence of f, and C is a universal constant. In this work we verify the conjecture for symmetric functions. More generally, we verify it for functions with symmetry group S-n1 x ... x S-nd where d is constant. We also verify the conjecture for functions computable by read-once decision trees.
Separation Results for Boolean Function Classes

Aniruddha Biswas,Palash Sarkar

DOI: https://doi.org/10.48550/arXiv.2010.11754

2020-10-22

Abstract:We show (almost) separation between certain important classes of Boolean functions. The technique that we use is to show that the total influence of functions in one class is less than the total influence of functions in the other class. In particular, we show (almost) separation of several classes of Boolean functions which have been studied in the coding theory and cryptography from classes which have been studied in combinatorics and complexity theory.

Computational Complexity,Cryptography and Security
Low-degree functions without non-essential arguments

Denis S. Krotov

2024-12-06

Abstract:For the Hamming graph $H(n,q)$, where a $q$ is a constant prime power and $n$ grows, we construct perfect colorings without non-essential arguments such that $n$ depends exponentially on the off-diagonal part of the quotient matrix. In particular, we construct unbalanced Boolean ($q=2$) functions such that the number of essential arguments depends exponentially on the degree of the function.

Combinatorics
On the Rational Degree of Boolean Functions and Applications

Vishnu Iyer,Siddhartha Jain,Matt Kovacs-Deak,Vinayak M. Kumar,Luke Schaeffer,Daochen Wang,Michael Whitmeyer

2023-10-12

Abstract:We study a natural complexity measure of Boolean functions known as the (exact) rational degree. For total functions $f$, it is conjectured that $\mathrm{rdeg}(f)$ is polynomially related to $\mathrm{deg}(f)$, where $\mathrm{deg}(f)$ is the Fourier degree. Towards this conjecture, we show that symmetric functions have rational degree at least $\mathrm{deg}(f)/2$ and monotone functions have rational degree at least $\sqrt{\mathrm{deg}(f)}$. We observe that both of these lower bounds are tight. In addition, we show that all read-once depth-$d$ Boolean formulae have rational degree at least $\Omega(\mathrm{deg}(f)^{1/d})$. Furthermore, we show that almost every Boolean function on $n$ variables has rational degree at least $n/2 - O(\sqrt{n})$. In contrast to total functions, we exhibit partial functions that witness unbounded separations between rational and approximate degree, in both directions. As a consequence, we show that for quantum computers, post-selection and bounded-error are incomparable resources in the black-box model.

Computational Complexity,Quantum Physics
The stability of the algebraic degree of Boolean functions when restricted to affine spaces

Claude Carlet,Serge Feukoua,Ana Sălăgean

2024-09-30

Abstract:We study the $n$-variable Boolean functions which keep their algebraic degree unchanged when they are restricted to any (affine) hyperplane, or more generally to any affine space of a given co-dimension $k$. For cryptographic applications it is of interest to determine functions $f$ which have a relatively high degree and also maintain this degree when restricted to affine spaces of co-dimension $k$ for $k$ ranging from 1 to as high a value as possible. This highest value will be called the restriction degree stability of $f$, denoted by $\rm deg\_stab(f)$. We give several necessary and/or sufficient conditions for $f$ to maintain its degree on spaces of co-dimension $k$; we show that this property is related to the property of having ``fast points'' as well as to other properties and parameters. The value of $\rm deg\_stab(f)$ is determined for functions of degrees $r\in \{1,2,n-2,n-1,n\}$ and for functions which are direct sums of monomials; we also determine the symmetric functions which maintain their degree on any hyperplane. Furthermore, we give an explicit formula for the number of functions which maintain their degree on all hyperplanes. Finally, using our previous results and some computer assistance, we determine the behaviour of all the functions in 8 variables, therefore determining the optimal ones (i.e. with highest value of $\rm deg\_stab(f)$) for each degree.

Commutative Algebra
On the Analysis of Boolean Functions and Fourier-Entropy-Influence Conjecture

Xiao Han

2023-11-21

Abstract:This manuscript includes some classical results we select apart from the new results we've found on the Analysis of Boolean Functions and Fourier-Entropy-Influence conjecture. We try to ensure the self-completeness of this work so that readers could probably read it independently. Among the new results, what is the most remarkable is that we prove that the entropy of a boolean function $f$ could be upper bounded by $O(I(f))+O(\sum\limits_{k}I_k(f)\log (1/I_k(f)))$.

Combinatorics,Functional Analysis
On the expressive power of mod-$p$ linear forms on the Boolean cube

Thomas Karam

2023-09-25

Abstract:Let $(\mathcal{A}_i)_{i \in [s]}$ be a sequence of dense subsets of the Boolean cube $\{0,1\}^n$ and let $p$ be a prime. We show that if $s$ is assumed to be superpolynomial in $n$ then we can find distinct $i,j$ such that the two distributions of every mod-$p$ linear form on $\mathcal{A}_i$ and $\mathcal{A}_j$ are almost positively correlated. We also prove that if $s$ is merely assumed to be sufficiently large independently of $n$ then we may require the two distributions to have overlap bounded below by a positive quantity depending on $p$ only.

Combinatorics,Information Theory,Number Theory
Linear isomorphism testing of Boolean functions with small approximate spectral norm

Arijit Ghosh,Chandrima Kayal,Manaswi Paraashar,Manmatha Roy

2023-08-05

Abstract:Two Boolean functions f, g : F_2^{n} \to {-1, 1} are called linearly isomorphic if there exists an invertible matrix M \in F_2^{n\times n} such that f\circ M = g. Testing linear isomorphism is a generalization of, now classical in the context of property testing, isomorphism testing between Boolean functions. Linear-invariance of Boolean functions has also been extensively studied in other areas like coding theory and cryptography, and mathematics in general. In this paper, we will study the following two variants of this problem: [1] [Communication complexity: ] Assume that Boolean functions f and g on F_2^{n} are given to Alice and Bob respectively, and the goal is to test linear isomorphism between f and g by exchanging a minimum amount of communication, measured in bits, between Alice and Bob. Our main result is an efficient two-party communication protocol for testing linear isomorphism in terms of the approximate spectral norm of the functions. We will crucially exploit the connection between approximate spectral norm and sign-approximating polynomials. [2] [Query complexity: ] If f: F_2^{n} \to { -1, 1 } is a known function and g : F_2^{n} \to { -1, 1 } be an unknown function with a query access. We study the query complexity of testing linear isomorphism between f and g in terms of the approximate spectral norm of f. As in the case of communication complexity, we will use properties of the approximate spectral norm.

Computational Complexity
Sparse juntas on the biased hypercube

Irit Dinur,Yuval Filmus,Prahladh Harsha

DOI: https://doi.org/10.46298/theoretics.24.18

2024-07-29

Abstract:We give a structure theorem for Boolean functions on the $p$-biased hypercube which are $\epsilon$-close to degree $d$ in $L_2$, showing that they are close to sparse juntas. Our structure theorem implies that such functions are $O(\epsilon^{C_d} + p)$-close to constant functions. We pinpoint the exact value of the constant $C_d$. We also give an analogous result for monotone Boolean functions on the biased hypercube which are $\epsilon$-close to degree $d$ in $L_2$, showing that they are close to sparse DNFs. Our structure theorems are optimal in the following sense: for every $d,\epsilon,p$, we identify a class $\mathcal{F}_{d,\epsilon,p}$ of degree $d$ sparse juntas which are $O(\epsilon)$-close to Boolean (in the monotone case, width $d$ sparse DNFs) such that a Boolean function on the $p$-biased hypercube is $O(\epsilon)$-close to degree $d$ in $L_2$ iff it is $O(\epsilon)$-close to a function in $\mathcal{F}_{d,\epsilon,p}$.

Computational Complexity,Combinatorics
The Binary Linearization Complexity of Pseudo-Boolean Functions

Matthias Walter

2024-08-13

Abstract:We consider the problem of linearizing a pseudo-Boolean function $f : \{0,1\}^n \to \mathbb{R}$ by means of $k$ Boolean functions. Such a linearization yields an integer linear programming formulation with only $k$ auxiliary variables. This motivates the definition of the linarization complexity of $f$ as the minimum such $k$. Our theoretical contributions are the proof that random polynomials almost surely have a high linearization complexity and characterizations of its value in case we do or do not restrict the set of admissible Boolean functions. The practical relevance is shown by devising and evaluating integer linear programming models of two such linearizations for the low auto-correlation binary sequences problem. Still, many problems around this new concept remain open.

Discrete Mathematics,Optimization and Control
Stratification and enumeration of Boolean functions by canalizing depth

Qijun He,Matthew Macauley

DOI: https://doi.org/10.1016/j.physd.2015.09.016

2016-01-01

Abstract:Boolean network models have gained popularity in computational systems biology over the last dozen years. Many of these networks use canalizing Boolean functions, which has led to increased interest in the study of these functions. The canalizing depth of a function describes how many canalizing variables can be recursively “picked off”, until a non-canalizing function remains. In this paper, we show how every Boolean function has a unique algebraic form involving extended monomial layers and a well-defined core polynomial. This generalizes recent work on the algebraic structure of nested canalizing functions, and it yields a stratification of all Boolean functions by their canalizing depth. As a result, we obtain closed formulas for the number of n-variable Boolean functions with depth k, which simultaneously generalizes enumeration formulas for canalizing, and nested canalizing functions.
The Approximate Degree of DNF and CNF Formulas

Alexander A. Sherstov

DOI: https://doi.org/10.48550/arXiv.2209.01584

2022-09-04

Computational Complexity

Abstract:The approximate degree of a Boolean function $f\colon\{0,1\}^n\to\{0,1\}$ is the minimum degree of a real polynomial $p$ that approximates $f$ pointwise: $|f(x)-p(x)|\leq1/3$ for all $x\in\{0,1\}^n.$ For every $\delta>0,$ we construct CNF and DNF formulas of polynomial size with approximate degree $\Omega(n^{1-\delta}),$ essentially matching the trivial upper bound of $n.$ This improves polynomially on previous lower bounds and fully resolves the approximate degree of constant-depth circuits ($\text{AC}^0$), a question that has seen extensive research over the past 10 years. Previously, an $\Omega(n^{1-\delta})$ lower bound was known only for $\text{AC}^0$ circuits of depth that grows with $1/\delta$ (Bun and Thaler, FOCS 2017). Moreover, our CNF and DNF formulas are the simplest possible in that they have constant width. Our result holds even for one-sided approximation, and has the following further consequences. (i) We essentially settle the communication complexity of $\text{AC}^0$ circuits in the bounded-error quantum model, $k$-party number-on-the-forehead randomized model, and $k$-party number-on-the-forehead nondeterministic model: we prove that for every $\delta>0$, these models require $\Omega(n^{1-\delta})$, $\Omega(n/4^kk^2)^{1-\delta}$, and $\Omega(n/4^kk^2)^{1-\delta}$, respectively, bits of communication even for polynomial-size constant-width CNF formulas. (ii) In particular, we show that the multiparty communication class $\text{coNP}_k$ can be separated essentially optimally from $\text{NP}_k$ and $\text{BPP}_k$ by a particularly simple function, a polynomial-size constant-width CNF. (iii) We give an essentially tight separation, of $O(1)$ versus $\Omega(n^{1-\delta})$, for the one-sided versus two-sided approximate degree of a function; and $O(1)$ versus $\Omega(n^{1-\delta})$ for the one-sided approximate degree of a function $f$ versus its negation $\neg f$.

Are most Boolean functions determined by low frequencies?

Boolean functions whose Fourier transform is concentrated on pairwise disjoint subsets of the input

An upper bound on the number of relevant variables for Boolean functions on the Hamming graph

On Fourier analysis of sparse Boolean functions over certain Abelian groups

One-Way Communication Complexity of Partial XOR Functions

The Entropy Influence Conjecture Revisited

On the Fourier spectrum of functions on Boolean cubes

On Boolean Functions with Low Polynomial Degree and Higher Order Sensitivity

The Fourier Entropy-Influence Conjecture For Certain Classes Of Boolean Functions

Separation Results for Boolean Function Classes

Low-degree functions without non-essential arguments

On the Rational Degree of Boolean Functions and Applications

The stability of the algebraic degree of Boolean functions when restricted to affine spaces

On the Analysis of Boolean Functions and Fourier-Entropy-Influence Conjecture

On the expressive power of mod-$p$ linear forms on the Boolean cube

Linear isomorphism testing of Boolean functions with small approximate spectral norm

Sparse juntas on the biased hypercube

The Binary Linearization Complexity of Pseudo-Boolean Functions

Stratification and enumeration of Boolean functions by canalizing depth

The Approximate Degree of DNF and CNF Formulas