sentence1: polar codes are the first family of error-correcting codes with provable capacity-achieving property and a low-complexity encoding and decoding process .
sentence2: polar codes are the first family of provably capacity achieving codes for symmetric binaryinput discrete memoryless channels with low encoding and decoding complexity .