ECCC-Report TR14-023https://eccc.weizmann.ac.il/report/2014/023Comments and Revisions published for TR14-023en-usSun, 09 Mar 2014 11:45:42 +0200
Revision 1
| Two Sides of the Coin Problem |
Gil Cohen,
Anat Ganor,
Ran Raz
https://eccc.weizmann.ac.il/report/2014/023#revision1In the Coin Problem, one is given n independent flips of a coin that has bias $\beta > 0$ towards either Head or Tail. The goal is to decide which side the coin is biased towards, with high confidence. An optimal strategy for solving the coin problem is to apply the majority function on the n samples. This simple strategy works as long as $\beta > \Omega(1/\sqrt{n})$. However, computing majority is an impossible task for several natural computational models, such as bounded width read once branching programs and $AC^0$ circuits.
Brody and Verbin [FOCS 2010] proved that a length n, width w read once branching program cannot solve the coin problem for $\beta < O(1/(\log{n})^{3w})$. This result was tightened by Steinberger [CCC 2013] to $O(1/({\log{n}})^{w-2})$. The coin problem in the model of $AC^0$ circuits was first studied by Shaltiel and Viola [STOC 2008], and later by Aaronson [STOC 2010] who proved that a depth d size s Boolean circuit cannot solve the coin problem for $\beta < O(1/(\log{s})^{d+2})$.
This work has two contributions:
1. We strengthen Steinberger result and show that any Santha-Vazirani source with bias $\beta < O(1/({\log{n}})^{w-2})$ fools length n, width w read once branching programs. In other words, the strong independence assumption in the coin problem is completely redundant in the model of read once branching programs. That is, the exact same result holds for a much more general class of sources.
2. We tighten Aaronson result and show that a depth d, size s Boolean circuit cannot solve the coin problem for $\beta < O(1/(\log{s})^{d-1})$. Moreover, our proof technique is different and we believe that it is simpler and more natural.Sun, 09 Mar 2014 11:45:42 +0200https://eccc.weizmann.ac.il/report/2014/023#revision1
Paper TR14-023
| Two Sides of the Coin Problem |
Gil Cohen,
Anat Ganor,
Ran Raz
https://eccc.weizmann.ac.il/report/2014/023In the Coin Problem, one is given n independent flips of a coin that has bias $\beta > 0$ towards either Head or Tail. The goal is to decide which side the coin is biased towards, with high confidence. An optimal strategy for solving the coin problem is to apply the majority function on the n samples. This simple strategy works as long as $\beta > \Omega(1/\sqrt{n})$. However, computing majority is an impossible task for several natural computational models, such as bounded width read once branching programs and $AC^0$ circuits.
Brody and Verbin [FOCS 2010] proved that a length n, width w read once branching program cannot solve the coin problem for $\beta < O(1/(\log{n})^{3w})$. This result was tightened by Steinberger [CCC 2013] to $O(1/({\log{n}})^{w-2})$. As for the model of $AC^0$ circuits, Aaronson [STOC 2010] proved that a depth d size s Boolean circuit cannot solve the coin problem for $\beta < O(1/(\log{s})^{d+2})$.
This work has two contributions:
1. We strengthen Steinberger result and show that any Santha-Vazirani source with bias $\beta < O(1/({\log{n}})^{w-2})$ fools length n, width w read once branching programs. In other words, the strong independence assumption in the coin problem is completely redundant in the model of read once branching programs. That is, the exact same result holds for a much more general class of sources.
2. We tighten Aaronson result and show that a depth d, size s Boolean circuit cannot solve the coin problem for $\beta < O(1/(\log{s})^{d-1})$. Moreover, our proof technique is different and we believe that it is simpler and more natural.Wed, 19 Feb 2014 22:02:43 +0200https://eccc.weizmann.ac.il/report/2014/023