A Additional definitions and assumptions

Let support (x) denote the set of coordinates where x is nonzero, i.e. support (x) = {i [d ]|x