Related papers: Bohr's phenomenon for functions on the Boolean cub…

Let $f$ be a real-valued, degree-$d$ Boolean function defined on the $n$-dimensional Boolean cube $\{\pm 1\}^{n}$, and $f(x) = \sum_{S \subset \{1,\ldots,d\}} \widehat{f}(S) \prod_{k \in S} x_k$ its Fourier-Walsh expansion. The main result…

We say that a class $\mathcal{B}$ of analytic functions $f$ of the form $f(z)=\sum_{n=0}^{\infty} a_{n}z^{n}$ in the unit disk $\mathbb{D}:=\{z\in \mathbb{C}: |z|<1\}$ satisfies a Bohr phenomenon if for the largest radius $R_{f}<1$, the…

In this work, we consider a new type of Fourier-like representation of Boolean function $f\colon\{+1,-1\}^n\to\{+1,-1\}$ \[ f(x) = \cos\left(\pi\sum_{S\subseteq[n]}\phi_S \prod_{i\in S} x_i\right). \] This representation, which we call the…

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…

A function $f:\ \{-1,1\}^n\rightarrow \mathbb{R}$ is called pseudo-Boolean. It is well-known that each pseudo-Boolean function $f$ can be written as $f(x)=\sum_{I\in {\cal F}}\hat{f}(I)\chi_I(x),$ where ${\cal F}\subseteq \{I:\ I\subseteq…

We say that a class $\mathcal{F}$ consisting of analytic functions $f(z)=\sum_{n=0}^{\infty} a_{n}z^{n}$ in the unit disk $\mathbb{D}:=\{z\in \mathbb{C}: |z|<1\}$ satisfies a Bohr phenomenon if there exists $r_{f} \in (0,1)$ such that $$…

Bohr phenomenon for analytic functions $ f $ where $ f(z)=\sum_{n=0}^{\infty}a_nz^n $, first introduced by Harald Bohr in $ 1914 $, deals with finding the largest radius $ r_f $, $ 0<r_f<1 $, such that the inequality $…

The Bohr phenomenon for analytic functions of the form $f(z)=\sum_{n=0}^{\infty} a_{n}z^{n}$, first introduced by Harald Bohr in 1914, deals with finding the largest radius $r_{f}$, $0<r_{f}<1$, such that the inequality $\sum_{n=0}^{\infty}…

A Boolean function $f$ on $n$ variables is said to be a bent function if the absolute value of all its Walsh coefficients is $2^{n/2}$. Our main result is a new asymptotic lower bound on the number of Boolean bent functions. It is based on…

The Bohr radius for a class $\mathcal{G}$ consisting of analytic functions $f(z)=\sum_{n=0}^{\infty}a_nz^n$ in unit disc $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ is the largest $r^*$ such that every function $f$ in the class $\mathcal{G}$…

A function defined on the Boolean hypercube is $k$-Fourier-sparse if it has at most $k$ nonzero Fourier coefficients. For a function $f: \mathbb{F}_2^n \rightarrow \mathbb{R}$ and parameters $k$ and $d$, we prove a strong upper bound on the…

We demonstrate a phenomenon of condensation of the Fourier transform $\widehat{f}$ of a function $f$ defined on the real line $\mathbb{R}$ which decreases rapidly on one half of the line. For instance, we prove that if $f$ is…

Let $K(B_{\ell_p^n},B_{\ell_q^n}) $ be the $n$-dimensional $(p,q)$-Bohr radius for holomorphic functions on $\mathbb C^n$. That is, $K(B_{\ell_p^n},B_{\ell_q^n}) $ denotes the greatest constant $r\geq 0$ such that for every entire function…

We study a natural complexity measure of Boolean functions known as the rational degree. Denoted $\textrm{rdeg}(f)$, it is the minimal degree of a rational function that is equal to $f$ on the Boolean hypercube. For total functions $f$, it…

The spectral norm of a Boolean function $f:\{0,1\}^n \to \{-1,1\}$ is the sum of the absolute values of its Fourier coefficients. This quantity provides useful upper and lower bounds on the complexity of a function in areas such as learning…

Fourier analysis on the Boolean hypercube is fundamentally defined as the orthogonal decomposition of the space of pseudo-Boolean functions with respect to the uniform probability measure. In this work, we propose an ANOVA-based…

Suppose that f is a boolean function from F_2^n to {0,1} with spectral norm (that is the sum of the absolute values of its Fourier coefficients) at most M. We show that f may be expressed as +/- 1 combination of at most 2^(2^(O(M^4)))…

The Bohr theorem states that any function $f(z) = \sum_{n=0}^{\infty} a_{n} z^{n}$, analytic and bounded in the open unit disk, obeys the inequality $\sum_{n=0}^{\infty} |a_{n}| |z|^{n} < 1$ in the open disk of radius 1/3, the so-called…

The Bohr radius for an arbitrary class $\mathcal{F}$ of analytic functions of the form $f(z)=\sum_{n=0}^{\infty}a_nz^n$ on the unit disk $\mathbb{D}=\{z\in\mathbb{C} : |z|<1\}$ is the largest radius $R_{\mathcal{F}}$ such that every…

In this note we consider Boolean functions defined on the discrete cube equipped with a biased product probability measure. We prove that if the spectrum of such a function is concentrated on the first two Fourier levels, then the function…