Computing Boolean functions from multiple faulty copies of input bits

Suppose, we want to compute a Boolean function f, but instead of receiving the input, we only get l ?-faulty copies of each input bit. A typical solution in this case is to take the majority value of the faulty bits for each individual input bit and apply f on the majority values. We call this the trivial construction.We showt hat if f : {0, 1}n ? {0, 1} and ? are known, the best construction function, F, is often not the trivial. In particular, in many cases the best F cannot be written as a composition of some functions with f, and in addition it is better to use a randomized F than a deterministic one. We also prove, that the trivial construction is optimal in some rough sense: if we denote by l(f) the number of 1/10 -biased copies we need from each input to reliably compute f using the best (randomized) recovery function F, and we denote by ltriv(f) the analogous number for the trivial construction, then ltriv(f) = ?(l(f)). Moreover, both quantities are in ?(log S(f)), where S(f) is the sensitivity of f.A quantity related to l(f) is Dstat,?rand(f) = min?i=1n li, where li is the number of 0.1-biased copies of xi, such that the above number of readings is already sufficient to recover f with high certainty. This quantity was first introduced by Reischuk et al. [14] in order to provide lower bounds for the noisy circuit size of f. In this article we give a complete characterization of Dstat,?rand(f) through a combinatorial lemma, that can be interesting on its own right.

[1]  Claire Mathieu,et al.  On Evaluating Boolean Functions with Unreliable Tests , 1990, Int. J. Found. Comput. Sci..

[2]  Noam Nisan,et al.  On the degree of boolean functions as real polynomials , 1992, STOC '92.

[3]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[4]  Eli Upfal,et al.  Computing with unreliable information , 1990, STOC '90.

[5]  Nicholas Pippenger Invariance of complexity measures for networks with unreliable gates , 1989, JACM.

[6]  Rüdiger Reischuk,et al.  Reliable computation with noisy circuits and decision trees-a general n log n lower bound , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[7]  Anna Bernasconi Sensitivity vs. Block Sensitivity (an Average-Case Study) , 1996, Inf. Process. Lett..

[8]  Nicholas Pippenger,et al.  On networks of noisy gates , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).

[9]  J. von Neumann,et al.  Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components , 1956 .

[10]  David Rubinstein Sensitivity vs. block sensitivity of Boolean functions , 1995, Comb..

[11]  Noam Nisan,et al.  CREW PRAMS and decision trees , 1989, STOC '89.

[12]  Nathan Linial,et al.  The influence of variables on Boolean functions , 1988, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.

[13]  Anna Gál,et al.  Lower bounds for the complexity of reliable Boolean circuits with noisy gates , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[14]  I. Benjamini,et al.  Noise sensitivity of Boolean functions and applications to percolation , 1998, math/9811157.

[15]  J. van Leeuwen,et al.  Theoretical Computer Science , 2003, Lecture Notes in Computer Science.

[16]  Péter Gács,et al.  Lower bounds for the complexity of reliable Boolean circuits with noisy gates , 1994, IEEE Trans. Inf. Theory.

[17]  I. Benjamini,et al.  Noise sensitivity of Boolean functions and applications to percolation , 1998 .