Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity

Author(s):  
Swagato Sanyal
Complexity ◽  
2019 ◽  
Vol 2019 ◽  
pp. 1-10 ◽  
Author(s):  
Juan A. Aledo ◽  
Luis G. Diaz ◽  
Silvia Martinez ◽  
Jose C. Valverde

In this paper, we deal with one of the main computational questions in network models: the predecessor-existence problems. In particular, we solve algebraically such problems in sequential dynamical systems on maxterm and minterm Boolean functions. We also provide a description of the Garden-of-Eden configurations of any system, giving the best upper bound for the number of Garden-of-Eden points.


2013 ◽  
Vol 21 (1) ◽  
pp. 1-27 ◽  
Author(s):  
Benjamin Doerr ◽  
Thomas Jansen ◽  
Dirk Sudholt ◽  
Carola Winzen ◽  
Christine Zarges

Extending previous analyses on function classes like linear functions, we analyze how the simple (1+1) evolutionary algorithm optimizes pseudo-Boolean functions that are strictly monotonic. These functions have the property that whenever only 0-bits are changed to 1, then the objective value strictly increases. Contrary to what one would expect, not all of these functions are easy to optimize. The choice of the constant c in the mutation probability p(n)=c/n can make a decisive difference. We show that if c<1, then the (1+1) EA finds the optimum of every such function in [Formula: see text] iterations. For c=1, we can still prove an upper bound of O(n3/2). However, for [Formula: see text], we present a strictly monotonic function such that the (1+1) EA with overwhelming probability needs [Formula: see text] iterations to find the optimum. This is the first time that we observe that a constant factor change of the mutation probability changes the runtime by more than a constant factor.


2018 ◽  
Vol 28 (5) ◽  
pp. 309-318 ◽  
Author(s):  
Nikolay P. Redkin

Abstract When investigating the complexity of implementing Boolean functions, it is usually assumed that the basis inwhich the schemes are constructed and the measure of the complexity of the schemes are known. For them, the Shannon function is introduced, which associates with each Boolean function the least complexity of implementing this function in the considered basis. In this paper we propose a generalization of such a Shannon function in the form of an upper bound that is taken over all functionally complete bases. This generalization gives an idea of the complexity of implementing Boolean functions in the “worst” bases for them. The conceptual content of the proposed generalization is demonstrated by the example of a conjunction.


Quantum ◽  
2021 ◽  
Vol 5 ◽  
pp. 587
Author(s):  
Srinivasan Arunachalam ◽  
Sourav Chakraborty ◽  
Troy Lee ◽  
Manaswi Paraashar ◽  
Ronald de Wolf

We present two new results about exact learning by quantum computers. First, we show how to exactly learn a k-Fourier-sparse n-bit Boolean function from O(k1.5(log⁡k)2) uniform quantum examples for that function. This improves over the bound of Θ~(kn) uniformly random classical examples (Haviv and Regev, CCC'15). Additionally, we provide a possible direction to improve our O~(k1.5) upper bound by proving an improvement of Chang's lemma for k-Fourier-sparse Boolean functions. Second, we show that if a concept class C can be exactly learned using Q quantum membership queries, then it can also be learned using O(Q2log⁡Qlog⁡|C|)classical membership queries. This improves the previous-best simulation result (Servedio and Gortler, SICOMP'04) by a log⁡Q-factor.


Sign in / Sign up

Export Citation Format

Share Document