I have a sparse vector $x \in \mathbb{R}^{N \times 1}$, it's real and positive, the non-zeros values are maximum $N/2$ values. It means, I have at least $N/2$ zeros values in $x$.
My question, is it possible to build a measurement matrix $M$ with dimension $N/2 \times N$ as measurement matrix, where the dimension of the vector $x$ can be reduced into $N/2 \times 1$ real-positive values too?
How can I generate the matrix $M$ such that $M \times x = y$? The indices of non-zeros values in $x$ are not well-known; what is known that at least $N/2$ zeros values are existed in $x$. Is that feasible? what's the process to do that, I mean with which compressive sensing technique I can handle that problem?