English
Related papers

Related papers: New separation between $s(f)$ and $bs(f)$

200 papers

The role of symmetry in Boolean functions $f:\{0,1\}^n \to \{0,1\}$ has been extensively studied in complexity theory. For example, symmetric functions, that is, functions that are invariant under the action of $S_n$, is an important class…

Computational Complexity · Computer Science 2025-10-01 Sourav Chakraborty , Chandrima Kayal , Manaswi Paraashar

We consider various definitions of degrees of discrete functions and establish relations between the number of relevant (essential) variables and degrees of two- and three-valued functions. Keywords: relevant variable, sensitivity, degree…

Combinatorics · Mathematics 2025-12-01 V. N. Potapov

We show nearly quadratic separations between two pairs of complexity measures: 1. We show that there is a Boolean function $f$ with $D(f)=\Omega((D^{sc}(f))^{2-o(1)})$ where $D(f)$ is the deterministic query complexity of $f$ and $D^{sc}$…

Computational Complexity · Computer Science 2015-12-03 Andris Ambainis , Martins Kokainis

Relations between the decision tree complexity and various other complexity measures of Boolean functions is a thriving topic of research in computational complexity. It is known that decision tree complexity is bounded above by the cube of…

Computational Complexity · Computer Science 2022-09-19 Rahul Chugh , Supartha Podder , Swagato Sanyal

Boolean matching is significant to digital integrated circuits design. An exhaustive method for Boolean matching is computationally expensive even for functions with only a few variables, because the time complexity of such an algorithm for…

Computational Complexity · Computer Science 2021-11-12 Jiaxi Zhang , Liwei Ni , Shenggen Zheng , Hao Liu , Xiangfu Zou , Feng Wang , Guojie Luo

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

We study Fourier-sparse Boolean functions over general finite Abelian groups. A Boolean function $f : G \to \{-1,+1\}$ is $s$-sparse if it has at most $s$ non-zero Fourier coefficients. We introduce a general notion of granularity of…

Computational Complexity · Computer Science 2026-02-03 Sourav Chakraborty , Swarnalipa Datta , Pranjal Dutta , Arijit Ghosh , Swagato Sanyal

We define tests of boolean functions which distinguish between linear (or quadratic) polynomials, and functions which are very far, in an appropriate sense, from these polynomials. The tests have optimal or nearly optimal trade-offs between…

Combinatorics · Mathematics 2007-05-23 Alex Samorodnitsky

It is a commonly observed phenomenon that spherical particles with inertia in an incompressible fluid do not behave as ideal tracers. Due to the inertia of the particle, the dynamics are described in a four dimensional phase space and thus…

Chaotic Dynamics · Physics 2009-11-13 Phanindra Tallapragada , Shane. D. Ross

Knowledge of the Bs decay fraction of the Y(5S) resonance, fs, is important for Bs meson studies at the Y(5S) energy. Using a data sample collected by the CLEO III detector at CESR consisting of 0.423/fb on the Y(5S) resonance, 6.34/fb on…

High Energy Physics - Experiment · Physics 2010-04-08 G. S. Huang , CLEO Collaboration

We consider the problem of testing whether an unknown Boolean function $f$ is monotone versus $\epsilon$-far from every monotone function. The two main results of this paper are a new lower bound and a new algorithm for this well-studied…

Computational Complexity · Computer Science 2014-12-19 Xi Chen , Rocco A. Servedio , Li-Yang Tan

Boolean function bi-decomposition is ubiquitous in logic synthesis. It entails the decomposition of a Boolean function using two-input simple logic gates. Existing solutions for bi-decomposition are often based on BDDs and, more recently,…

Logic in Computer Science · Computer Science 2011-12-15 Huan Chen , Mikolas Janota , Joao Marques-Silva

We prove that cooperativity in Boolean networks precludes a strong notion of sensitive dependence on initial conditions. Weaker notions of sensitive dependence are shown to be consistent with cooperativity, but if each regulatory functions…

Dynamical Systems · Mathematics 2013-02-18 Winfried Just , Maciej Malicki

Let $\mathsf{s}(n)$ denote the sum of binary digits of an integer $n \geq 0$. In the recent years there has been interest in the behavior of the differences $\mathsf{s}(n+t)-\mathsf{s}(n)$, where $t \geq 0$ is an integer. In particular,…

Number Theory · Mathematics 2024-12-23 Bartosz Sobolewski

We consider the Stochastic Boolean Function Evaluation (SBFE) problem in the well-studied case of $k$-of-$n$ functions: There are independent Boolean random variables $x_1,\dots,x_n$ where each variable $i$ has a known probability $p_i$ of…

Data Structures and Algorithms · Computer Science 2025-11-25 Mads Anker Nielsen , Lars Rohwedder , Kevin Schewior

We construct a simple toy model and explicitly demonstrate that the Balance Function (BF) can become negative for some values of the rapidity separation and hence can not have any probabilistic interpretation. In particular, the BF can not…

High Energy Physics - Phenomenology · Physics 2020-03-13 V. Vechernin

The noise sensitivity of a Boolean function describes its likelihood to flip under small perturbations of its input. Introduced in the seminal work of Benjamini, Kalai and Schramm [Inst. Hautes \'{E}tudes Sci. Publ. Math. 90 (1999) 5-43],…

Probability · Mathematics 2015-12-23 Eyal Lubetzky , Jeffrey E. Steif

The noise sensitivity of a Boolean function $f: \{0,1\}^n \rightarrow \{0,1\}$ is one of its fundamental properties. A function of a positive noise parameter $\delta$, it is denoted as $NS_{\delta}[f]$. Here we study the algorithmic problem…

Data Structures and Algorithms · Computer Science 2019-04-16 Ronitt Rubinfeld , Arsen Vasilyan

Boolean functions and binary sequences are main tools used in cryptography. In this work, we introduce a new bijection between the set of Boolean functions and the set of binary sequences with period a power of two. We establish a…

Cryptography and Security · Computer Science 2026-05-01 S. D. Cardell , A. Fúster-Sabater , V. Requena , M. Beltrá

We describe a method that provides a model independent measurement of the Bs fraction in Y(5S) resonance decays, fs, using the relative rates of like-sign versus opposite sign dileptons; the like-sign leptons result from B^0 and Bs mixing.…

High Energy Physics - Phenomenology · Physics 2014-11-18 Radia Sia , Sheldon Stone