Simple Permutations Mix Even Better

Shlomo Hoory,Alex Brodsky
2005-06-09
Abstract: We study the random composition of a small family of O(n^3) simple permutations on {0,1}^n. Specifically we ask how many randomly selected simple permutations need be composed to yield a permutation that is close to k-wise independent. We improve on the results of Gowers 1996 and Hoory, Magen, Myers and Rackoff 2004, and show that up to a polylogarithmic factor, n^2*k^2 compositions of random permutations from this family suffice. In addition, our results give an explicit construction of a degree O(n^3) Cayley graph of the alternating group of 2^n objects with a spectral gap Omega(2^{-n}/n^2), which is a substantial improvement over previous constructions.
Combinatorics
What problem does this paper attempt to address?
The paper attempts to solve two main problems: 1. **Independence of Combinations of Simple Permutations**: Researchers hope to understand how many randomly - selected simple permutations are required in order to make the random combinations of simple permutations close to k - wise independence (that is, the operations on any k distinct elements are almost indistinguishable from the results of truly random permutations). Specifically, the paper mentions that previous studies have explored the applications of such combinations in cryptography, especially in the design of block ciphers (such as DES and AES). However, the mathematical rationality (or lack thereof) of these constructions is a concern. Therefore, the authors of this paper aim to improve previous work and determine the minimum number of combinations required. 2. **Construction of Expander Graphs**: Another motivation comes from a fundamental open problem in graph theory, that is, how to construct an expanding Cayley graph of the symmetric group with a constant degree. More specifically, the question is whether a small set of simple permutations can be found such that their actions on k points can form an expander graph. This involves calculating the mixing time and spectral gap of random walks to ensure the good expansion properties of the graph. ### Specific Problem Descriptions - **k - wise Independence**: Given a simple permutation distribution, when multiple permutations are randomly selected and combined from this distribution, whether the resulting permutation is close to the result of a truly random permutation for the operations on any k distinct elements. - **Construction of Expander Graphs**: Look for a small set of simple permutations such that their actions on k points can form a graph with good expansion properties. This involves calculating the mixing time and spectral gap of random walks on this graph. ### Main Contributions of the Paper - **Improved Bounds**: By introducing new comparison techniques and reversible computing theory, the authors have improved the previous bounds on mixing time and spectral gap. Specifically, they prove that for all \( k\leq2^{n / 50}\), the mixing time \( \tau(\epsilon)=\tilde{O}(n^{2}k^{2}\log(1 / \epsilon))\), and for all \( k\leq2^{n}-2\), the reciprocal of the spectral gap \( 1 / \text{gap}(P)=O(n^{2}k)\). - **Explicit Construction**: The paper also provides an explicit construction method for generating a Cayley graph of the alternating group with a degree of \( O(n^{3})\) and a spectral gap of \( \Omega(2^{-n}/n^{2})\), which is a significant improvement over previous constructions. In summary, through in - depth analysis of the combinatorial properties of simple permutations and the characteristics of random walks, the paper solves the above two problems and provides more rigorous theoretical bounds and explicit construction methods.