Polar Codes are Optimal for Lossy Source Coding | IEEE Journals & Magazine | IEEE Xplore