极化码：基于单项式码的极化码部分序(Partial Order)表示

前言
极化码：极化码的单项式码(Monomial Codes)表示

正文
极化码的部分序(Partial Order)表示极化子信道的固定可靠度排序顺序。
给定极化子信道单项式
$$f=x_0^{a_0}{x}_1^{a_1}\cdots x_{n-1}^{a_{n-1}},$$设$\mathrm{i}\mathrm{n}\mathrm{d}(f)$表示 Ω = [ 0 , n − 1 ] = { 0 , 1 , ⋯   , n − 1 } \Omega = [0, n-1] = \{0,1,\cdots, n-1\} Ω=[0,n−1]={0,1,⋯,n−1}的排序子集，即 i n d ( f ) = { i ∣ a i = 1 , i = 0 , 1 , ⋯   , n − 1 } {\rm ind}(f) = \{i|a_i = 1,i = 0,1,\cdots, n-1\} ind(f)={i∣ai​=1,i=0,1,⋯,n−1}。

对于两个极化子信道单项式$f$和$g$，$f\succcurlyeq g$表示$f$的可靠度大于$g$。

那么具有相同多项式度$r$的$f$和$g$，有
$$f\succcurlyeq g\iff \mathrm{i}\mathrm{n}\mathrm{d}(f{)}_j\le \mathrm{i}\mathrm{n}\mathrm{d}(g{)}_j,\forall j=0,1,\cdots ,r-1.$$
对于不同多项式度的$f$和$g$，有
$$f\succcurlyeq g\iff \exists g^{\ast }|g,且deg(g^{\ast })=deg(f)和f\succcurlyeq g^{\ast }.$$其中，$g^{\ast }|g$表示$g^{\ast }$是$g$的因子。

参考文献
[1] M. Bardet, V. Dragoi, A. Otmani and J. -P. Tillich, “Algebraic properties of polar codes from a new polynomial formalism,” 2016 IEEE International Symposium on Information Theory (ISIT), 2016, pp. 230-234.
[2] M. Geiselhart, A. Elkelesh, M. Ebada, S. Cammerer and S. ten Brink, “On the Automorphism Group of Polar Codes,” 2021 IEEE International Symposium on Information Theory (ISIT), 2021, pp. 1230-1235.