Author: Abdullah M.  

Tags: physics  

Year: 2022

Text
                    New Search for the Polarization-Adjusted
Convolutional Codes with respect to the
AFER-Optimality Criterion
Presenter: Murad ABDULLAH (HKUST)
Supervisor: Wai Ho MOW (HKUST)
2022.09 .09
1


Outline ́ Introduction & Motivation ́ Polar codes ́ Polarization-adjusted convolutional (PAC) codes ́ Optimizing PAC codes ́ Conclusion 2
Introduction & Motivation ́ New applications in the 5G standardization demand improved performance of the channel codes ́ In coding theory, finding a codebook with maximum possible value of the minimum distance is a central open problem ́ In the high SNR regime, the performance of a code depends on the minimum distance and its error coefficient (i.e ., number of codewords of weight d) ́ Improve the performance of polarization-adjusted convolutional (PAC) codes an extension of polar codes by maximizing minimum distance and minimizing error coefficient 3
Polar codes 4 Figure credit: Qualcomm ́ Invented by E. Arikan in 2009 ́ Channel polarization is the underlying principle of polar codes ́ First mathematically proven codes to achieve capacity of binary input–discrete memoryless channels (BI-DMCs) ́ Included as control channel codes in enhanced mobile broadband (eMBB) service of 5G standard
Polar codes (cont.) 5 ́ W : {0,1} → Y is binary input channel with 0,1 as input alphabet, and Y as output alphabet ́ Symmetric capacity I W ∈ [0,1] IW≜$ !∈Y $$∈{&,(} 1 2 W(y|x) W(y|x) 1 2Wy0+ 1 2 W(y|1) ́ Bhattacharya parameter Z W ∈ [0,1] ZW≜$ !∈Y Wy0W(y|1)
Polar codes (cont.) 6 W W = u/ u0 x/ x0 y/ y0 W!y",y#u" = 4 $! " ∈{",#} 1 2 W y" u"⨁u# ) W(y#|u# ) ) W*y",y#,u"u# = 1 2 W y" u"⨁u# W(y#|u#) [1] Arikan, Erdal. "Channel polarization: A method for constructing capacity-achieving codes for symmetric binary-input memoryless channels. " I E EE Transactions on Information Theory 55.7 (2009): 3051-3073 . ́ The basic polarization kernel[1] G+= 10 11 ́ [u" u#]G+=[u"+u# u#] ́ This can be thought of combining two independent copies of the channel W ́IW ! ≤ I(W*) ́ Polar code of block length N = 2 , ,n≥0 canbe constructed by n-th Kronecker power of G+ ́ G-=G+ ⊗, , Polar transform, e.g., G/ = G+ 0+×+ G+ G+
Polar codes (cont.) 7 ́ Polar codes can be defined by the tuple N, K , A ́N=2 , ,n≥0isthecodelength ́ K is the code dimension ́ setA⊂{0,1,...,N −1}and A =Kisinformationindexset ́ Selecting the K rows of G! , indices present in A ́ Minimum Hamming distance of the code depends on A ́ x = uGN is the encoding operation ́ u is the length N vector contains information bits at the indices present in A
Polar codes (cont.) 8 ́ Finding the set A and assigning the information bits to the indices present in A is called rate-profiling ́ Followings are the commonly used rate-profiling methods ́ Reed-Muller (RM) rate profiling ́ Selecting the indices of the rows of the matrix G! having highest Hamming weight ́ Capacity score function ́ Indices of the K bit-channels having highest capacity ́ Gaussian approximation (GA) rate profiling ́ Choose the K most reliable bit-channels reliability calculated based on GA ́ 5G Universal reliability sequence ́ 5G standardization includes the universal sequence up to block length N = 1024
Polarization-adjusted convolutional (PAC) codes 9 [1] Arıkan, Erdal. "From sequential decoding to channel polarization and back again." arXiv preprint arXiv:1908.09594 (2019). ́ PAC codes proposed by Arikan in his 2019 Shannon lecture[1] ́ Performs very close to the AWGN dispersion bound ́ Convolution as pre-transformation ́ c impulse response of the convolution transform can be written as wherec"=c9 = 1andm+1isconstraintlength
10 Polarization-adjusted convolutional (PAC) codes (cont.) [1] Arıkan, Erdal. "From sequential decoding to channel polarization and back again." arXiv preprint arXiv:1908.09594 (2019). PAC coding scheme[1] Rate Profiling Convolution Transform Polar Transform Retrieving Message Tree Search Successive Cancellation Channel d v u x y M d N u O v ́ PAC codes can be described by thetuple(N,K,A,c) ́ N is code length ́ K is the code dimension ́ A information index set ́ c impulse response of the convolution transform ́ PAC encoding can be described as x=vTG! where T, G- are upper triangular and polar transform matrices, respectively.
11 Polarization-adjusted convolutional (PAC) codes (cont.) [1] Arıkan, Erdal. "From sequential decoding to channel polarization and back again." arXiv preprint arXiv:1908.09594 (2019). PAC coding scheme[1] Rate Profiling Convolution Transform Polar Transform Retrieving Message Tree Search Successive Cancellation Channel d v u x y M d N u ́ SC is an efficient method for computing the metrics ́ Fano algorithm as tree search algorithm[1] ́ SCL can be used as tree search algorithm
Polarization-adjusted convolutional (PAC) codes (cont.) 12 ́ Polar codes constructed under RM rate-profile has highest possible minimum distance, hence outperforms all others ́ Pre-transformation reduces the number of low-weight codewords ́ Higher minimum distance and smaller number low-weight codewords made PAC codes able to perform close to dispersion bound with list size of 128
Optimizing PAC codes 13 1Qx= ! "# ∫$ % exp − &! " dt ́ From truncated union bound FER under MLD P: ;< ≈ A=#$%Q 2d9>,RE?/N@ 1, so maximizing d9>, and minimizing A=#$% (no. of d9>, codewords), we call this asymptotic frame error rate (AFER)-optimality criteria ́ Higher d9>, of RM rate-profile makes it to outperform others by 0.15 dB @ 10!A ́ So, our objective is to optimize the A & c to maximize d9>, & minimize A=#$% ́ There are - B 2-!# total solutions (huge search space) ́ Need to compute exact d9>, (compute intensive task) ́ CUDA assisted simulated annealing (SA) could be used for limited N & K.
14 CPU GPU GPU threads Data transfer CPU thread Figure credit: Nvidia Optimizing PAC codes (cont.) ́ CUDA an acronym for Compute Unified Device Architecture ́ a parallel computing platform & application programing interface model created by Nvidia ́ Used to program graphics processing unit developed Nvidia for compute intensive tasks ́ Computation of minimum distance of code is compute intensive task ́ Computation of codewords are independent
Optimizing PAC codes (cont.) 15 ́ Effective and general form of optimization algorithm ́ Annealing refers to an analogy with thermodynamics ́ Cooling and annealing of metals ́ Uses the objective function of an optimization problem instead of the energy of the material ́ Randomly generate A and c, and compute the d9>, ́ d9>, improves keep with probability 1, otherwise accept with probability e ! C&' ()#* ,where Temp is the temperature used by SA, and ΔE is difference in energies of the current solution and previous solution
16 [1] Bioglio, Valerio, et al. "Minimum-distance based construction of multi-kernel polar codes." GLOBE COM 2017-2017 IEEE Global Communications Conference. IEEE, 2017. ́ Figure on the right presents the detailed CUDA-assisted SA algorithm to search for better PAC codes ́ We also consider mixed kernel construction of PAC codes [1]
Results 17 ́ Implemented SA in CUDA-C++ ́ Could search up to block length 64 ́ N = 64 , possible solutions 10AD , our algorithm searched only for 10D
Results (cont.) 18 [1] M. Grassl, “Bounds on the minimum distance of linear codes and quantum codes,” Online available at http://www.codetables.de, 2007, accessed on 2020-11 -03 . [1] ́ Our newly discovered (64,32) PAC codes have d9>, 12 ́ 0.29 dB gap to dispersion approximation @ 10!/ FER ́ 0.36 dB less SNR @ 10!/ FER as compared to the best-known minimum distance code in the literature[1] ́ A#+ = 720 (Ours) ́ A#+ = 12878 [1]
Results (cont.) 19 Union bound of (32,18) codes [1] M. Grassl, “Bounds on the minimum distance of linear codes and quantum codes,” Online available at http://www.codetables.de, 2007, accessed on 2020-11 -03 . ́ Our newly discovered (32,18) PAC codes have d9>, 6 ́ 0.49 dB less SNR @ 10!/ FER as compared to the best-known minimum distance codes in the literature[1] ́ AE=110(our) ́ AE=543[1]
Results (cont.) 20 [1] [2] [1] M. Grassl, “Bounds on the minimum distance of linear codes and quantum codes,” Online available at http://www.codetables.de, 2007, accessed on 2020-11 -03 . [2] Solé, Patrick, et al. "Linear Programming Bounds on the Kissing Number of q-ary Codes." 2021 IEEE Information Theory Workshop (ITW). IEEE, 2021. ́ Detailed search results of the PAC codes ́ Kernels column shows the permutation order of the kernels used to construct polarization matrix ́ Eb/N0 gain is calculated using the truncated ML bound @ 10#$ FER ́ In some cases, our codes achieve the lower bound on A% ́ We have general constructions for some of these codes
21 [1] [2] [1] M. Grassl, “Bounds on the minimum distance of linear codes and quantum codes,” Online available at http://www.codetables.de, 2007, accessed on 2020-11 -03 . [2] Solé, Patrick, et al. "Linear Programming Bounds on the Kissing Number of q-ary Codes." 2021 IEEE Information Theory Workshop (ITW). IEEE, 2021.
Conclusions ́ We presented an algorithm to search for better PAC codes having higher minimum distance and smaller error coefficient ́ Some of these codes achieve lower and upper bound on error coefficient & minimum distance, respectively 22
23 Thank you!