TY - GEN
T1 - The benes network is q(q-1)/2n-almost q-set-wise independent
AU - Gelman, Efraim
AU - Ta-Shma, Amnon
PY - 2014/12/1
Y1 - 2014/12/1
N2 - A switching network of depth d is a layered graph with d layers and n vertices in each layer. The edges of the switching network do not cross between layers and in each layer the edges form a partial matching. A switching network defines a stochastic process over Sn that starts with the identity permutation and goes through the layers of the network from first to last, where for each layer and each pair (i, j) in the partial matching of the layer, it applies the transposition (ij) with probability half. A switching network is good if the final distribution is close to the uniform distribution over Sn. A switching network is ε-almost q-permutation-wise independent if its action on any ordered set of size q is almost uniform, and is ε-almost q-set-wise independent if its action on any set of size q is almost uniform. Mixing of switching networks (even for q-permutation-wise and q-set-wise independence) has found several applications, mostly in cryptography. Some applications further require some additional properties from the network, e. g., the existence of an algorithm that given a permutation can set the switches such that the network generates the given permutation, a property that the Benes network has. Morris, Rogaway and Stegers showed the Thorp shuffle (which corresponds to applying two or more butterflies one after the other) is q-permutation-wise independent, for q = n γ for γ that depends on the number of sequential applications of the butterfly network. The techniques applied by Morris et al. do not seem to apply for the Benes network. In this work we show the Benes network is almost q-set-wise independent for q up to about √n. Our technique is simple and completely new, and we believe carries hope for getting even better results in the future.
AB - A switching network of depth d is a layered graph with d layers and n vertices in each layer. The edges of the switching network do not cross between layers and in each layer the edges form a partial matching. A switching network defines a stochastic process over Sn that starts with the identity permutation and goes through the layers of the network from first to last, where for each layer and each pair (i, j) in the partial matching of the layer, it applies the transposition (ij) with probability half. A switching network is good if the final distribution is close to the uniform distribution over Sn. A switching network is ε-almost q-permutation-wise independent if its action on any ordered set of size q is almost uniform, and is ε-almost q-set-wise independent if its action on any set of size q is almost uniform. Mixing of switching networks (even for q-permutation-wise and q-set-wise independence) has found several applications, mostly in cryptography. Some applications further require some additional properties from the network, e. g., the existence of an algorithm that given a permutation can set the switches such that the network generates the given permutation, a property that the Benes network has. Morris, Rogaway and Stegers showed the Thorp shuffle (which corresponds to applying two or more butterflies one after the other) is q-permutation-wise independent, for q = n γ for γ that depends on the number of sequential applications of the butterfly network. The techniques applied by Morris et al. do not seem to apply for the Benes network. In this work we show the Benes network is almost q-set-wise independent for q up to about √n. Our technique is simple and completely new, and we believe carries hope for getting even better results in the future.
KW - Benes
KW - Mixing
KW - Switching network
UR - http://www.scopus.com/inward/record.url?scp=84921535975&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.FSTTCS.2014.327
DO - 10.4230/LIPIcs.FSTTCS.2014.327
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84921535975
T3 - Leibniz International Proceedings in Informatics, LIPIcs
SP - 327
EP - 338
BT - 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014
A2 - Raman, Venkatesh
A2 - Suresh, S. P.
PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
T2 - 34th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2014
Y2 - 15 December 2014 through 17 December 2014
ER -