sentence1: polar codes are the first class of error-correcting codes that was proved to achieve channel capacity with efficient encoding and decoding algorithms .
sentence2: a s the first family of error-correcting codes provably achieving the channel capacity with explicit construction , polar codes are a major breakthrough in coding theory .