English
Related papers

Related papers: Boolean functions with small spectral norm

200 papers

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…

Combinatorics · Mathematics 2024-04-17 Alexandr Valyuzhenich

This paper gives an introduction to the theory of orthogonal projection of functions or signals. Several kinds of decomposition are explored: Fourier, Fourier-Legendre, Fourier-Bessel series for 1D signals, and Spherical Harmonic series for…

Instrumentation and Methods for Astrophysics · Physics 2018-11-20 Eric Aristidi

The number of $n$-ary balanced correlation immune (resilient) Boolean functions of order $\frac{n}{2}$ is not less than $n^{2^{(n/2)-2}(1+o(1))}$ as $n\rightarrow\infty$. Keywords: resilient function, correlation immune function, orthogonal…

Information Theory · Computer Science 2023-03-30 Vladimir N. Potapov

The Fourier spectrum is a family of dimensions that interpolates between the Fourier and Hausdorff dimensions and are defined in terms of certain energies which capture Fourier decay. In this paper we obtain a convenient discrete…

Classical Analysis and ODEs · Mathematics 2024-03-20 Marc Carnovale , Jonathan M. Fraser , Ana E. de Orellana

The well known Boole-Shannon expansion of Boolean functions in several variables (with co-efficients in a Boolean algebra $B$) is also known in more general form in terms of expansion in a set $\Phi$ of orthonormal functions. However,…

Computational Complexity · Computer Science 2013-12-06 Virendra Sule

One matrix structure in the area of monotone Boolean functions is defined here. Some of its combinatorial, algebraic and algorithmic properties are derived. On the base of these properties, three algorithms are built. First of them…

Discrete Mathematics · Computer Science 2019-02-19 Valentin Bakoev

On the sets of $2\pi$-periodic functions $f$, which are defined with a help of $(\psi, \beta)$-integrals of the functions $\varphi$ from $L_{1}$, we establish Lebesgue-type inequalities, in which the uniform norms of deviations of Fourier…

Classical Analysis and ODEs · Mathematics 2023-01-06 Anatoly Serdyuk , Tetiana Stepaniuk

The union of a collection of $n$ sets is generally expressed in terms of a characteristic (indicator) function that contains $2^{n}-1$ terms. In this article, a much simpler expression is found that requires the evaluation of $n$ terms…

General Mathematics · Mathematics 2016-08-03 Vladimir García-Morales

Let $f\colon \{-1,1\}^n \to [-1,1]$ have degree $d$ as a multilinear polynomial. It is well-known that the total influence of $f$ is at most $d$. Aaronson and Ambainis asked whether the total $L_1$ influence of $f$ can also be bounded as a…

Computational Complexity · Computer Science 2015-03-31 Yuval Filmus , Hamed Hatami , Nathan Keller , Noam Lifshitz

We are looking at families of functions or measures on the torus which are specified by a finite number of parameters $N$. The task, for a given family, is to look at a small number of Fourier coefficients of the object, at a set of…

Classical Analysis and ODEs · Mathematics 2022-08-11 Benedikt Diederichs , Mihail N. Kolountzakis , Effie Papageorgiou

We show that any sequence of well-behaved (e.g. bounded and non-constant) real-valued functions of $n$ boolean variables $\{f_n\}$ admits a sequence of coordinates whose $L^1$ influence under the $p$-biased distribution, for any…

Discrete Mathematics · Computer Science 2024-06-18 Andrew J. Young , Henry D. Pfister

We study the Fourier ratio of a signal $f:\mathbb Z_N\to\mathbb C$, \[ \mathrm{FR}(f)\ :=\ \sqrt{N}\,\frac{\|\widehat f\|_{L^1(\mu)}}{\|\widehat f\|_{L^2(\mu)}} \ =\ \frac{\|\widehat f\|_1}{\|\widehat f\|_2}, \] as a simple scalar parameter…

Classical Analysis and ODEs · Mathematics 2025-11-26 K. Aldaleh , W. Burstein , G. Garza , G. Hart , A. Iosevich , J. Iosevich , A. Khalil , J. King , N. Kulkarni , T. Le , I. Li , A. Mayeli , B. McDonald , K. Nguyen , N. Shaffer

We introduce a continuous analog of the Fourier ratio for compactly supported Borel measures. For a measure \(\mu\) on \(\mathbb{R}^d\) and \(f\in L^2(\mu)\), the Fourier ratio compares \(L^1\) and \(L^2\) norms of a regularized Fourier…

Classical Analysis and ODEs · Mathematics 2025-12-19 A. Iosevich , Z. Li , E. Palsson , A. Yavicoli

Given Boolean functions \( f, g : \mathbb{F}_2^n \to \{-1,+1\} \), we say they are {\em linearly isomorphic} if there exists \( A \in \mathrm{GL}_n(\mathbb{F}_2) \) such that \( f(x)=g(Ax) \) for all \( x \). We study this problem in the…

Computational Complexity · Computer Science 2026-01-14 Swarnalipa Datta , Arijit Ghosh , Chandrima Kayal , Manaswi Paraashar , Manmatha Roy

We show an equivalence between 1-query quantum algorithms and representations by degree-2 polynomials. Namely, a partial Boolean function $f$ is computable by a 1-query quantum algorithm with error bounded by $\epsilon<1/2$ iff $f$ can be…

Quantum Physics · Physics 2016-07-01 Scott Aaronson , Andris Ambainis , Jānis Iraids , Martins Kokainis , Juris Smotrovs

Let F(R^n) be the algebra of Fourier transforms of functions from L_1(R^n), K(R^n) be the algebra of Fourier transforms of bounded complex Borel measures in R^n and W be Wiener algebra of continuous 2pi-periodic functions with absolutely…

Classical Analysis and ODEs · Mathematics 2011-08-16 A. F. Grishin , M. V. Skoryk

The construction of a multiresolution analysis starts with specification of a scale function. The Fourier transform of this function is defined by an infinite product. The convergence of this product is usually discussed in the context of…

Classical Analysis and ODEs · Mathematics 2007-05-23 V. Dobric , R. F. Gundy , P. Hitczenko

It is known that the inequality \begin{align*}\int_{-W/2}^{W/2}|\widehat{f}(\xi)|^2d\xi\leq \int_{-W/2}^{W/2}|\widehat{|f|^*}(\xi)|^2d\xi \end{align*} between the quadratic spectral concentration of a function and that of its decreasing…

Classical Analysis and ODEs · Mathematics 2024-06-24 Kristina Oganesyan

Let $(r_k)$ be an increasing sequence and $(w_k)$ a positive sequence. We study the following question: is it true that for every sequence $(a_k)$ satisfying $\sum_{k=0}^\infty |a_k|^2 w_k^2 < \infty$ there exists a function $f\in…

Classical Analysis and ODEs · Mathematics 2026-05-08 Aleksei Kulikov , Miquel Saucedo , Sergey Tikhonov

We consider the problem of representing Boolean functions exactly by "sparse" linear combinations (over $\mathbb{R}$) of functions from some "simple" class ${\cal C}$. In particular, given ${\cal C}$ we are interested in finding…

Computational Complexity · Computer Science 2018-02-27 R. Ryan Williams