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:
- Each column of has at most nonzero entries.
- With probability at least , every nonzero vector such that has at least nonzero entries. Here is a negligible function of ; that is, for any positive integer .
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.