Revision #5 Authors: Elchanan Mossel, Sampath Sampath Kannan, Swagato Sanyal, Grigory Yaroslavtsev

Accepted on: 7th September 2017 04:06

Downloads: 349

Keywords:

We initiate a systematic study of linear sketching over $\mathbb F_2$. For a given Boolean function $f \colon \{0,1\}^n \to \{0,1\}$ a randomized $\mathbb F_2$-sketch is a distribution $\mathcal M$ over $d \times n$ matrices with elements over $\mathbb F_2$ such that $\mathcal Mx$ suffices for computing $f(x)$ with high probability. We study a connection between $\mathbb F_2$-sketching and a two-player one-way communication game for the corresponding XOR-function. Our results show that this communication game characterizes $\mathbb F_2$-sketching under the uniform distribution (up to dependence on error). Implications of this result include: 1) a composition theorem for $\mathbb F_2$-sketching complexity of a recursive majority function, 2) a tight relationship between $\mathbb F_2$-sketching complexity and Fourier sparsity, 3) lower bounds for a certain subclass of symmetric functions. We also fully resolve a conjecture of Montanaro and Osborne regarding one-way communication complexity of linear threshold functions by designing an $\mathbb F_2$-sketch of optimal size.

Furthermore, we show that (non-uniform) streaming algorithms that have to process random updates over $\mathbb F_2$ can be constructed as $\mathbb F_2$-sketches for the uniform distribution with only a minor loss. In contrast with the previous work of Li, Nguyen and Woodruff (STOC'14) who show an analogous result for linear sketches over integers in the adversarial setting our result doesn't require the stream length to be triply exponential in $n$ and holds for streams of length $\tilde O(n)$ constructed through uniformly random updates. Finally, we state a conjecture that asks whether optimal one-way communication protocols for XOR-functions can be constructed as $\mathbb F_2$-sketches with only a small loss.

Revision #4 Authors: Elchanan Mossel, Sampath Sampath Kannan, Grigory Yaroslavtsev

Accepted on: 11th November 2016 16:14

Downloads: 521

Keywords:

We initiate a systematic study of linear sketching over $\mathbb F_2$. For a given Boolean function $f \colon \{0,1\}^n \to \{0,1\}$ a randomized $\mathbb F_2$-sketch is a distribution $\mathcal M$ over $d \times n$ matrices with elements over $\mathbb F_2$ such that $\mathcal Mx$ suffices for computing $f(x)$ with high probability. We study a connection between $\mathbb F_2$-sketching and a two-player one-way communication game for the corresponding XOR-function. Our results show that this communication game characterizes $\mathbb F_2$-sketching under the uniform distribution (up to dependence on error). Implications of this result include: 1) a composition theorem for $\mathbb F_2$-sketching complexity of a recursive majority function, 2) a tight relationship between $\mathbb F_2$-sketching complexity and Fourier sparsity, 3) lower bounds for a certain subclass of symmetric functions. We also fully resolve a conjecture of Montanaro and Osborne regarding one-way communication complexity of linear threshold functions by designing an $\mathbb F_2$-sketch of optimal size.

Furthermore, we show that (non-uniform) streaming algorithms that have to process random updates over $\mathbb F_2$ can be constructed as $\mathbb F_2$-sketches for the uniform distribution with only a minor loss. In contrast with the previous work of Li, Nguyen and Woodruff (STOC'14) who show an analogous result for linear sketches over integers in the adversarial setting our result doesn't require the stream length to be triply exponential in $n$ and holds for streams of length $\tilde O(n)$ constructed through uniformly random updates. Finally, we state a conjecture that asks whether optimal one-way communication protocols for XOR-functions can be constructed as $\mathbb F_2$-sketches with only a small loss.

support added

Revision #3 Authors: Elchanan Mossel, Sampath Sampath Kannan, Grigory Yaroslavtsev

Accepted on: 7th November 2016 05:51

Downloads: 1143

Keywords:

We initiate a systematic study of linear sketching over $\mathbb F_2$. For a given Boolean function $f \colon \{0,1\}^n \to \{0,1\}$ a randomized $\mathbb F_2$-sketch is a distribution $\mathcal M$ over $d \times n$ matrices with elements over $\mathbb F_2$ such that $\mathcal Mx$ suffices for computing $f(x)$ with high probability. We study a connection between $\mathbb F_2$-sketching and a two-player one-way communication game for the corresponding XOR-function. Our results show that this communication game characterizes $\mathbb F_2$-sketching under the uniform distribution (up to dependence on error). Implications of this result include: 1) a composition theorem for $\mathbb F_2$-sketching complexity of a recursive majority function, 2) a tight relationship between $\mathbb F_2$-sketching complexity and Fourier sparsity, 3) lower bounds for a certain subclass of symmetric functions. We also fully resolve a conjecture of Montanaro and Osborne regarding one-way communication complexity of linear threshold functions by designing an $\mathbb F_2$-sketch of optimal size.

Furthermore, we show that (non-uniform) streaming algorithms that have to process random updates over $\mathbb F_2$ can be constructed as $\mathbb F_2$-sketches for the uniform distribution with only a minor loss. In contrast with the previous work of Li, Nguyen and Woodruff (STOC'14) who show an analogous result for linear sketches over integers in the adversarial setting our result doesn't require the stream length to be triply exponential in $n$ and holds for streams of length $\tilde O(n)$ constructed through uniformly random updates. Finally, we state a conjecture that asks whether optimal one-way communication protocols for XOR-functions can be constructed as $\mathbb F_2$-sketches with only a small loss.

Revision #2 Authors: Elchanan Mossel, Grigory Yaroslavtsev

Accepted on: 7th November 2016 05:50

Downloads: 444

Keywords:

Furthermore, we show that (non-uniform) streaming algorithms that have to process random updates over $\mathbb F_2$ can be constructed as $\mathbb F_2$-sketches for the uniform distribution with only a minor loss. In contrast with the previous work of Li, Nguyen and Woodruff (STOC'14) who show an analogous result for linear sketches over integers in the adversarial setting our result doesn't require the stream length to be triply exponential in $n$ and holds for streams of length $\tilde O(n)$ constructed through uniformly random updates. Finally, we state a conjecture that asks whether optimal one-way communication protocols for XOR-functions can be constructed as $\mathbb F_2$-sketches with only a small loss.

Revision #1 Authors: Elchanan Mossel, Sampath Sampath Kannan, Grigory Yaroslavtsev

Accepted on: 7th November 2016 05:49

Downloads: 648

Keywords:

Furthermore, we show that (non-uniform) streaming algorithms that have to process random updates over $\mathbb F_2$ can be constructed as $\mathbb F_2$-sketches for the uniform distribution with only a minor loss. In contrast with the previous work of Li, Nguyen and Woodruff (STOC'14) who show an analogous result for linear sketches over integers in the adversarial setting our result doesn't require the stream length to be triply exponential in $n$ and holds for streams of length $\tilde O(n)$ constructed through uniformly random updates. Finally, we state a conjecture that asks whether optimal one-way communication protocols for XOR-functions can be constructed as $\mathbb F_2$-sketches with only a small loss.

TR16-174 Authors: Elchanan Mossel, Sampath Sampath Kannan, Grigory Yaroslavtsev

Publication: 7th November 2016 05:15

Downloads: 516

Keywords:

Furthermore, we show that (non-uniform) streaming algorithms that have to process random updates over $\mathbb F_2$ can be constructed as $\mathbb F_2$-sketches for the uniform distribution with only a minor loss. In contrast with the previous work of Li, Nguyen and Woodruff (STOC'14) who show an analogous result for linear sketches over integers in the adversarial setting our result doesn't require the stream length to be triply exponential in $n$ and holds for streams of length $\tilde O(n)$ constructed through uniformly random updates. Finally, we state a conjecture that asks whether optimal one-way communication protocols for XOR-functions can be constructed as $\mathbb F_2$-sketches with only a small loss.

This note is prepared based on the article titled \textquotedblleft Linear Sketching over $\mathbb{F}_2$\textquotedblright (ECCC TR16-174) by Sampath Kannan, Elchanan Mossel and Grigory Yaroslavtsev. We quantitatively improve the parameters of Theorem 1.4 of the above work. In particular, our result implies that the one-way communication complexity of any function $f^+(x,y):=f(x \oplus y)$ corresponding to the uniform distribution over the input domain $\{+1,-1\}^n \times \{+1,-1\}^n$ and error $\frac{1}{18}$ is asymptotically lower bounded by the linear sketch compexity of $f(x)$ corresponding to the uniform distribution over the input domain $\{+1,-1\}^n$ and error $\frac{1}{3}$. Our proof is information theoretic; our improvement is obtained by studying the mutual information between Alice's message and the evaluation of certain parities in the Fourier support of $f$ on her input.

This note is prepared based on the article titled \textquotedblleft Linear Sketching over $\mathbb{F}_2$\textquotedblright (ECCC TR16-174) by Sampath Kannan, Elchanan Mossel and Grigory Yaroslavtsev. We quantitatively improve the parameters of Theorem 1.4 of the above work, as well as an earlier bound of ours. In particular, our result implies that for every $\epsilon \in (0,\frac{1}{2})$ and every constant $\delta>0$, the one-way communication complexity of any Boolean function $f^+(x,y):=f(x \oplus y)$ corresponding to the uniform distribution over the input domain $\{+1,-1\}^n \times \{+1,-1\}^n$ and error $\epsilon$, is asymptotically lower bounded by the linear sketch complexity of $f(x)$ corresponding to the uniform distribution over the input domain $\{+1,-1\}^n$ and error $(2+\delta)\epsilon$. Our proof is information theoretic; our improvement is obtained by studying the mutual information between Alice's message and the evaluation of certain parities in the Fourier support of $f$ on her input.