English
Related papers

Related papers: On the Structure of Boolean Functions with Small S…

200 papers

We study the Stochastic Boolean Function Certification (SBFC) problem, where we are given $n$ Bernoulli random variables $\{X_e: e \in U\}$ on a ground set $U$ of $n$ elements with joint distribution $p$, a Boolean function $f: 2^U \to \{0,…

Data Structures and Algorithms · Computer Science 2026-04-06 Rohan Ghuge , Jai Moondra , Mohit Singh

The Fourier Entropy-Influence (FEI) conjecture of Friedgut and Kalai [FK96] seeks to relate two fundamental measures of Boolean function complexity: it states that $H[f] \leq C Inf[f]$ holds for every Boolean function $f$, where $H[f]$…

Computational Complexity · Computer Science 2013-04-05 Ryan O'Donnell , Li-Yang Tan

Given a function $f$ on $\mathbb{F}_2^n$, we study the following problem. What is the largest affine subspace $\mathcal{U}$ such that when restricted to $\mathcal{U}$, all the non-trivial Fourier coefficients of $f$ are very small? For the…

Computational Complexity · Computer Science 2023-05-04 Siddharth Iyer , Michael Whitmeyer

Let $G=(V,E)$ be a simple, connected graph. One is often interested in a short path between two vertices $u,v$. We propose a spectral algorithm: construct the function $\phi:V \rightarrow \mathbb{R}_{\geq 0}$ $$ \phi = \arg\min_{f:V…

Combinatorics · Mathematics 2020-04-17 Stefan Steinerberger

We show that there exists a Boolean function $F$ which observes the following separations among deterministic query complexity $(D(F))$, randomized zero error query complexity $(R_0(F))$ and randomized one-sided error query complexity…

Computational Complexity · Computer Science 2015-06-25 Sagnik Mukhopadhyay , Swagato Sanyal

In this paper, we continue to discuss normality based on a single\linebreak holomorphic function. We obtain the following result. Let $\CF$ be a family of functions holomorphic on a domain $D\subset\mathbb C$. Let $k\ge2$ be an integer and…

Complex Variables · Mathematics 2011-11-08 Xiaojun Liu , Shahar Nevo

Starting from the Davenport-Heilbronn function equation: $f(s) = X(s) f(1-s)$, we discover the four properties of the meromorphic function $X(s)$ defined as the ratio of the Davenport-Heilbronn functions: $\frac{f(s)}{f(1-s)} = X(s)$, and…

Number Theory · Mathematics 2020-10-08 Tao Liu , Juhao Wu

In this paper, we consider bounded width circuits and nondeterministic circuits in three somewhat new directions. In the first part of this paper, we mainly consider bounded width circuits. The main purpose of this part is to prove that…

Computational Complexity · Computer Science 2019-04-15 Hiroki Morizumi

According to recent Quantum Monte Carlo simulations the small polaron theory is practically exact in a wide range of the long-range (Frohlich) electron-phonon coupling and adiabatic ratio. We apply the Lang-Firsov transformation to convert…

Superconductivity · Physics 2009-10-31 A. S. Alexandrov , C. Sricheewin

Evolving Boolean functions with specific properties is an interesting optimization problem since, depending on the combination of properties and Boolean function size, the problem can range from very simple to (almost) impossible to solve.…

Neural and Evolutionary Computing · Computer Science 2024-11-20 Claude Carlet , Marko Ðurasevic , Domagoj Jakobovic , Luca Mariot , Stjepan Picek

We establish an explicit link between depth-3 formulas and one-sided approximation by depth-2 formulas, which were previously studied independently. Specifically, we show that the minimum size of depth-3 formulas is (up to a factor of n)…

Computational Complexity · Computer Science 2017-05-11 Shuichi Hirahara

We show that sharp thresholds for Boolean functions directly imply average-case circuit lower bounds. More formally we show that any Boolean function exhibiting a sharp enough threshold at \emph{arbitrary} critical density cannot be…

Computational Complexity · Computer Science 2024-07-17 David Gamarnik , Elchanan Mossel , Ilias Zadik

We study the asymptotic decay of the Fourier spectrum of real functions $f\colon \{-1,1\}^N \rightarrow \mathbb{R}$ in the spirit of Bohr's phenomenon from complex analysis. Every such function admits a canonical representation through its…

Functional Analysis · Mathematics 2017-07-31 Andreas Defant , Mieczysław Mastyło , Antonio Pérez

We present a quantum algorithm for approximating the linear structures of a Boolean function $f$. Different from previous algorithms (such as Simon's and Shor's algorithms) which rely on restrictions on the Boolean function, our algorithm…

Quantum Physics · Physics 2016-02-17 Hong-Wei Li , Li Yang

We give the first agnostic, efficient, proper learning algorithm for monotone Boolean functions. Given $2^{\tilde{O}(\sqrt{n}/\varepsilon)}$ uniformly random examples of an unknown function $f:\{\pm 1\}^n \rightarrow \{\pm 1\}$, our…

Data Structures and Algorithms · Computer Science 2023-05-25 Jane Lange , Arsen Vasilyan

Each Boolean function can be computed by a single-pass instruction sequence that contains only instructions to set and get the content of Boolean registers, forward jump instructions, and a termination instruction. Auxiliary Boolean…

Computational Complexity · Computer Science 2016-12-30 J. A. Bergstra , C. A. Middelburg

We prove that Boolean functions on $S_n$, whose Fourier transform is highly concentrated on irreducible representations indexed by partitions of $n$ whose largest part has size at least $n-t$, are close to being unions of cosets of…

Combinatorics · Mathematics 2017-06-30 David Ellis , Yuval Filmus , Ehud Friedgut

We provide two sufficient and necessary conditions to characterize any $n$-bit partial Boolean function with exact quantum 1-query complexity. Using the first characterization, we present all $n$-bit partial Boolean functions that depend on…

Computational Complexity · Computer Science 2021-02-24 Guoliang Xu , Daowen Qiu

We establish in this work approximation results of deep neural networks for smooth functions measured in Sobolev norms, motivated by recent development of numerical solvers for partial differential equations using deep neural networks. {Our…

Numerical Analysis · Mathematics 2022-07-25 Sean Hon , Haizhao Yang

We study one class of continuous functions $f$ defined on segment $[0,1]$ by equality $$ f(x)=\delta_{\alpha_1(x)1}+\sum^{\infty}_{k=2}\left[\delta_{\alpha_k(x)k}\prod^{k-1}_{j=1}g_{\alpha_j…

Classical Analysis and ODEs · Mathematics 2026-03-10 S. O. Klymchuk , M. V. Pratsiovytyi
‹ Prev 1 8 9 10 Next ›