Badih Ghazi

Sample-optimal average-case sparse Fourier Transform in two dimensions

We present the first sample-optimal sublinear time algorithms for the sparse Discrete Fourier Transform over a two-dimensional √n × √n grid. Our algorithms are analyzed for the average case signals. For signals whose spectrum is exactly sparse, we present algorithms that use O(k) samples and run in O(k log k) time, where k is the expected sparsity of the signal. For signals whose spectrum is approximately sparse, we have an algorithm that uses O(k log n) samples and runs in O(k log2 n) time, for k = Θ(√n). All presented algorithms match the lower bounds on sample complexity for their respective signal models.

On the NP-hardness of bounded distance decoding of Reed-Solomon codes

Guruswami and Vardy (IEEE Trans. Inf. Theory, 2005) show that given a Reed-Solomon code over a finite field F, of length n and dimension k, and given a target vector v ε Fn, it is NP-hard to decide if there is a codeword that disagrees with v on at most n - k - 1 coordinates. Understanding the complexity of this Bounded Distance Decoding problem as the amount of error in the target decreases is an important open problem in the study of Reed-Solomon codes. In this work, we extend the result of Guruswami and Vardy by proving that it is NP-hard to decide the existence of a codeword that disagrees with v on n - k - 2, and on n - k - 3 coordinates. No other NP-hardness results were known before for an amount of error <; n - k - 1. The core of our proofs is showing the NP-hardness of a parameterized generalization of the Subset-Sum problem to higher degrees (called Moments Subset-Sum) that may be of independent interest.

The Information Complexity Of Hamming Distance

The Hamming distance function Ham_{n,d} returns 1 on all pairs of inputs x and y that differ in at most d coordinates and returns 0 otherwise. We initiate the study of the information complexity of the Hamming distance function. We give a new optimal lower bound for the information complexity of the Ham_{n,d} function in the small-error regime where the protocol is required to err with probability at most epsilon < d/n. We also give a new conditional lower bound for the information complexity of Ham_{n,d} that is optimal in all regimes. These results imply the first new lower bounds on the communication complexity of the Hamming distance function for the shared randomness two-way communication model since Pang and El-Gamal (1986). These results also imply new lower bounds in the areas of property testing and parity decision tree complexity.

LP/SDP Hierarchy Lower Bounds for Decoding Random LDPC Codes

Random

Linear programming decoding of spatially coupled codes

(d_{v},d_{c})

NP-Hardness of Reed-Solomon Decoding and the Prouhet-Tarry-Escott Problem

- regular low-density parity-check (LDPC) codes, where each variable is involved in

Linear Programming Decoding of Spatially Coupled Codes

d_{v}

The Optimality of Correlated Sampling.

parity checks and each parity check involves

Communication complexity of permutation-invariant functions

d_{c}

Decidability of Non-interactive Simulation of Joint Distributions

variables are well-known to achieve the Shannon capacity of the binary symmetric channel, for sufficiently large