Exponential bounds implying construction of compressed sensing matrices, error-correcting codes, and neighborly polytopes by ran