Sparse matrices for LPN (proposed by Sunghyeon)

We are looking for an infinite family of (distributions on) matrices in , parametrized by their dimensions and , having the following properties. (Let be a fixed constant between 0 and 1):

If is a random matrix sampled from the distribution, then:

Parameters

Your solution is better if is larger: we want for some , the bigger the better.

Your solution is better if is smaller. is a fine value.

Your solution is better if is larger.

Remark

For one construction, see Theorem 7.18 . Can you do better?

Motivation

Learning parity with noise (LPN) is an encryption scheme: a vector over is encrypted as , where is a secret key, and is a randomly chosen vector with some fraction of its entries equal to 1. (For this to be a sensible encryption scheme, you can suppose for instance that is known to be either or .)

For certain applications, it is useful for to have a special structure: , where is a random matrix (maybe square), and is drawn from the distribution described above.