Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

Revision #1 to TR13-064 | 17th September 2014 17:15

Space Pseudorandom Generators by Communication Complexity Lower Bounds

RSS-Feed




Revision #1
Authors: Anat Ganor, Ran Raz
Accepted on: 17th September 2014 17:15
Downloads: 503
Keywords: 


Abstract:

In 1989, Babai, Nisan and Szegedy [BNS92] gave a construction of a pseudorandom generator for logspace, based on lower bounds for multiparty communication complexity. The seed length of their pseudorandom generator was $2^{\Theta(\sqrt{\log n})}\,\,\,$, because the best lower bounds for multiparty communication complexity are relatively weak. Subsequently, pseudorandom generators for logspace with seed length $O(\log^2 n)$ were given by Nisan [N92] and Impagliazzo, Nisan and Wigderson [INW94].

In this paper, we show how to use the pseudorandom generator construction of [BNS92] to obtain a third construction of a pseudorandom generator with seed length $O(\log^2 n)$, achieving the same parameters as [N92] and [INW94]. We achieve this by concentrating on protocols in a restricted model of multiparty communication complexity that we call the conservative one-way unicast model and is based on the conservative one-way model of Damm, Jukna and Sgall [DJS98]. We observe that bounds in the conservative one-way unicast model (rather than the standard Number On the Forehead model) are sufficient for the pseudorandom generator construction of [BNS92] to work.

Roughly speaking, in a conservative one-way unicast communication protocol, the players speak in turns, one after the other in a fixed order, and every message is visible only to the next player. Moreover, before the beginning of the protocol, each player only knows the inputs of the players that speak after she does and a certain function of the inputs of the players that speak before she does. We prove a lower bound for the communication complexity of conservative one-way unicast communication protocols that compute a family of functions obtained by compositions of strong extractors. Our final pseudorandom generator construction is related to, but different from the constructions of [N92] and [INW94].


Paper:

TR13-064 | 22nd April 2013 17:22

Space Pseudorandom Generators by Communication Complexity Lower Bounds





TR13-064
Authors: Anat Ganor, Ran Raz
Publication: 22nd April 2013 17:27
Downloads: 1398
Keywords: 


Abstract:

In 1989, Babai, Nisan and Szegedy [BNS92] gave a construction of a pseudorandom generator for logspace, based on lower bounds for multiparty communication complexity. The seed length of their pseudorandom generator was $2^{\Theta(\sqrt n)}\,\,\,$, because the best lower bounds for multiparty communication complexity are relatively weak. Subsequently, pseudorandom generators for logspace with seed length $O(\log^2 n)$ were given by Nisan [N92] and Impagliazzo, Nisan and Wigderson [INW94].

In this paper, we show how to use the pseudorandom generator construction of [BNS92] to obtain a third construction of a pseudorandom generator with seed length $O(\log^2 n)$, achieving the same parameters as [N92] and [INW94]. We achieve this by concentrating on protocols in a restricted model of multiparty communication complexity that we call the conservative one-way unicast model and is based on the conservative one-way model of Damm, Jukna and Sgall [DJS98]. We observe that bounds in the conservative one-way unicast model (rather than the standard Number On the Forehead model) are sufficient for the pseudorandom generator construction of [BNS92] to work.

Roughly speaking, in a conservative one-way unicast communication protocol, the players speak in turns, one after the other in a fixed order, and every message is visible only to the next player. Moreover, before the beginning of the protocol, each player only knows the inputs of the players that speak after she does and a certain function of the inputs of the players that speak before she does. We prove a lower bound for the communication complexity of conservative one-way unicast communication protocols that compute a family of functions obtained by compositions of strong extractors. Our final pseudorandom generator construction is related to, but different from the constructions of [N92] and [INW94].



ISSN 1433-8092 | Imprint