Extensions to the Method of Multiplicities, with applications to Kakeya Sets and Mergers (original) (raw)
Abstract: We extend the "method of multiplicities" to get the following results, of interest in combinatorics and randomness extraction. (A) We show that every Kakeya set (a set of points that contains a line in every direction) in Fqn\F_q^nFqn must be of size at least qn/2nq^n/2^nqn/2n. This bound is tight to within a 2+o(1)2 + o(1)2+o(1) factor for every nnn as qtoinftyq \to \inftyqtoinfty, compared to previous bounds that were off by exponential factors in nnn. (B) We give improved randomness extractors and "randomness mergers". Mergers are seeded functions that take as input Lambda\LambdaLambda (possibly correlated) random variables in 0,1N\{0,1\}^N0,1N and a short random seed and output a single random variable in 0,1N\{0,1\}^N0,1N that is statistically close to having entropy (1−delta)cdotN(1-\delta) \cdot N(1−delta)cdotN when one of the Lambda\LambdaLambda input variables is distributed uniformly. The seed we require is only (1/delta)cdotlogLambda(1/\delta)\cdot \log \Lambda(1/delta)cdotlogLambda-bits long, which significantly improves upon previous construction of mergers. (C) Using our new mergers, we show how to construct randomness extractors that use logarithmic length seeds while extracting 1−o(1)1 - o(1)1−o(1) fraction of the min-entropy of the source.
The "method of multiplicities", as used in prior work, analyzed subsets of vector spaces over finite fields by constructing somewhat low degree interpolating polynomials that vanish on every point in the subset {\em with high multiplicity}. The typical use of this method involved showing that the interpolating polynomial also vanished on some points outside the subset, and then used simple bounds on the number of zeroes to complete the analysis. Our augmentation to this technique is that we prove, under appropriate conditions, that the interpolating polynomial vanishes {\em with high multiplicity} outside the set. This novelty leads to significantly tighter analyses.
Submission history
From: Swastik Kopparty [view email]
[v1] Fri, 16 Jan 2009 17:03:53 UTC (21 KB)
[v2] Wed, 13 May 2009 20:59:31 UTC (28 KB)