sentence1: polar codes introduced in are the first type of channel codes that are theoretically proven to achieve the channel capacity for infinite length codes under successive cancellation decoding .
sentence2: polar codes are the first family of codes proven to be capacity achieving for any binary input discrete memoryless channel and with an explicit construction method under low complexity successive cancellation decoding .