Randomness-efficient sampling within NC1

被引:21
作者
Healy, Alexander D. [1 ]
机构
[1] Harvard Univ, Sch Engn & Appl Sci, Cambridge, MA 02138 USA
关键词
random walks on expander graphs; constant-depth circuits; pseudorandomness; derandomization;
D O I
10.1007/s00037-007-0238-5
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We construct a randomness-efficient averaging sampler that is computable by uniform constant-depth circuits with parity gates (i.e., in uniform AC(0)[circle plus]). Our sampler matches the parameters achieved by random walks on constant-degree expander graphs, allowing us to apply a variety expander-based techniques within NC1. For example, we obtain the following results: Randomness-efficient error-reduction for uniform probabilistic NC1, TC0, AC(0) [circle plus] and AC(0): Any function computable by uniform probabilistic circuits with error 1/3 using r random bits is computable by circuits of the same type with error 6 using r + O(log(1/delta)) random bits. An optimal bitwise E-biased generator in AC(0)[G)]: There exists a 1/2(Omega(n))-biased generator G : {0, 1}(O(n)) -> {0, 1}(2n) for which poly(n)-size uniform AC(0)[circle plus] circuits can compute G(s)(i) given (s, i) is an element of { 0, 1}(O(n)) X {0, 1}(n). This resolves a question raised by Gutfreund and Viola (Random 2004). uniform BP center dot AC(0) subset of uniform AC(0)/O(n). Our sampler is based on the zig-zag graph product of Reingold, Vadhan & Wigderson (Annals of Math 2002) and as part of our analysis we give an elementary proof of a generalization of Gillman's Chernoff Bound for Expander Walks (SIAM Journal on Computing 1998).
引用
收藏
页码:3 / 37
页数:35
相关论文
共 52 条
[1]   SORTING IN C LOG N PARALLEL STEPS [J].
AJTAI, M ;
KOMLOS, J ;
SZEMEREDI, E .
COMBINATORICA, 1983, 3 (01) :1-19
[2]  
Ajtai M., 1987, P 19 ANN ACM S THEOR, P132
[3]  
Ajtai Miklos, 1984, Symposium on Theory of Computing STOC, P471, DOI 10.1145/800057.808715
[4]   SIMPLE CONSTRUCTIONS OF ALMOST K-WISE INDEPENDENT RANDOM-VARIABLES [J].
ALON, N ;
GOLDREICH, O ;
HASTAD, J ;
PERALTA, R .
RANDOM STRUCTURES & ALGORITHMS, 1992, 3 (03) :289-304
[5]   RANDOM CAYLEY-GRAPHS AND EXPANDERS [J].
ALON, N ;
ROICHMAN, Y .
RANDOM STRUCTURES & ALGORITHMS, 1994, 5 (02) :271-284
[6]  
Alon N., 2008, Wiley-Interscience Series in Discrete Mathematics and Optimization, VThird
[7]  
[Anonymous], ALGORITHMS COMBINATO
[8]  
[Anonymous], AM MATH SOC
[9]   Deterministic amplification of space-bounded probabilistic algorithms [J].
Bar-Yossef, Z ;
Goldreich, O ;
Wigderson, A .
FOURTEENTH ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, 1999, :188-198
[10]   ON UNIFORMITY WITHIN NC1 [J].
BARRINGTON, DAM ;
IMMERMAN, N ;
STRAUBING, H .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1990, 41 (03) :274-306