Verifiable sufficient conditions in compressed sensing, in Sparse Recovery Problems in High Dimensions