信道极化:一种用于构造对称二进制输入无记忆信道的容量实现码的方法

本文介绍了信道极化方法,这是一种构造能实现对称二进制输入无记忆信道容量的码序列的技术。通过对信道进行合并和分裂,可以合成新的信道,使得部分信道的容量接近1,部分接近0。这种极化信道对于信道编码是理想的,只需通过高容量信道传输数据,其余信道则不传输,构建的极化码序列能实现接近对称容量的码率。论文还提出了连续消除解码器,证明了在特定码率下,极化码的块错误概率随着块长度增加而下降,且编码和解码复杂度为O(NlogN)。
摘要由CSDN通过智能技术生成

论文原文为:《Channel polarization: A method for constructing capacity-achieving codes for symmetric binary-input memoryless channels》本文为其翻译。
作者为:Erdal Arıkan
本文参考了些此网站上的翻译:https://marshallcomm.cn/2017/03/04/polar-code-2-encoding-principle/

摘要

提出了一种称为信道极化的方法来构造达到任意给定二进制输入离散无记忆信道(B-DMC) W W W的对称容量 I ( W ) I(W) I(W)的码序列。对称容量是使用具有相等概率的信道的输入字符可以达到的最高速率。信道极化是指可以从给定B-DMC W W W N N N个独立副本中合成第二组 N N N个二进制输入信道 { W N ( i ) : 1 ≤ i ≤ N } \{W^{(i)}_N:1≤i≤N\} { WN(i):1iN},使得当 N N N变大时, W N ( i ) W^{(i)}_N WN(i)接近1的索引 i i i的分数接近 I ( W ) I(W) I(W) W N ( i ) W^{(i)}_N WN(i)接近0的索引 i i i的分数接近 1 − I ( W ) 1-I(W) 1I(W)。极化信道 { W N ( i ) } \{W^{(i)}_N\} { WN(i)}对于信道编码是条件良好的:只需要通过容量接近1的通道以速率1发送数据,其余通道以速率0发送数据。基于此思想构造的代码称为极性代码。本文证明了,给定任意 I ( W ) > 0 I(W)>0 I(W)>0的B-DMCW和任意目标码率 R < I ( W ) R<I(W) R<I(W),存在一个极化码序列{CN;n≥1},使得Cn的块长 N = 2 n N=2^n N=2n,码率 ≥ R ≥R R,在与码速率无关的情况下,逐次抵消译码下块差错概率有界为 P e ( N , R ) ≤ O ( N − 14 ) Pe(N,R)≤O(N−14) Pe(NR)O(N14)。这种性能可以通过编码器和解码器来实现,每个编码器和解码器的复杂度分别为 O ( N l o g N ) O(NlogN) O(NlogN)

I.引言与概述

香农关于有噪的信道编码定理的一个令人着迷的证明是,他使用随机编码方法来显示容量实现代码序列的存在,而不给出任何特定的这种序列[1]。从那时起,构造具有低编码和解码复杂度的可证明容量的代码序列成为了一个遥不可及的目标。 本文是针对B-DMC类的这一目标的尝试。
在这一部分中,我们将对本文的主要观点和结果进行说明。 首先,我们给出了一些定义,并陈述了通篇使用的一些基本事实。

A.前期工作

一个二进制输入离散无记忆信道(B-DMC)可表示为 W : X → Y W:X→Y WXY表示为具有输入字母X,输出字母Y和转移概率W(y | x),x∈X,y∈Y。由于信道是二进制输入,集合 X = 0 , 1 X={0,1} X=0,1 Y Y Y W ( y ∣ x ) W(y|x) W(yx)是任意值。我们用 W N W^N WN表示 N N N次使用 W W W时对应的信道。因此, W N : X N → Y N W^N:X^N → Y^N WN:XNYN的转移概率为 W N ( y 1 N ∣ x 1 N ) = ∏ i = 1 N W ( y i ∣ x i ) W^N (y^N_1 | x^N_1) = \prod^N_{i = 1}W (y_i | x_i) WN(y1Nx1N)=i=1NW(yixi)
在给定B-DMCW的情况下,本文主要关注两个信道参数:对称容量
在这里插入图片描述
和巴氏指标参数

在这里插入图片描述
这些参数分别被用作速率和可靠性的度量。 I ( W ) I(W) I(W)是信道 W W W在等概率输入下的进行可靠传输的最高速率, Z ( W ) Z(W) Z(W)是当W仅使用一次发送0或1时最大似然(ML)判决错误概率的上界。
很容易看到 Z ( W ) Z(W) Z(W)取值于 [ 0 , 1 ] [0,1] [0,1]。 自始至终,我们将使用以2为底的对数;因此, I ( W ) I(W) I(W)也将取值于 [ 0 , 1 ] [0,1] [0,1]。 码率和信道容量的单位将是比特。
且仅当 Z ( W ) ≈ 0 Z(W)≈0 Z(W)0时, I ( W ) ≈ 1 I(W)≈1 I(W)1;当且仅当 Z ( W ) ≈ 1 Z(W)≈1 Z(W)1时, I ( W ) ≈ 0 I(W)≈0 I(W)0。附录中证明的以下界限可以使这一点更加精确。
命题1:对于任何B-DMCW,我们都有
在这里插入图片描述
当W是对称信道时,对称容量I(W)等于香农容量,即存在输出字母 Y Y Y的置换 π π π的信道,使得(I) π − 1 = π π^{−1}=π π1=π和(ii) W ( y ∣ 1 ) = W ( π ( y ) ∣ 0 ) W(y|1)=W(π(y)|0) W(y1)=W(π(y)0)对于所有y∈Y。二进制对称信道(Binary Symmetric Channel,BSC)和二进制删除信道(Binary Erasure Channel,BEC)都是满足对称性的B-DMC。具体地说,对于 Y = { 0 , 1 } Y=\{0,1\} Y={ 0,1},满足 W ( 0 ∣ 0 ) = W ( 1 ∣ 1 ) W(0|0)=W(1|1) W(00)=W(11) W ( 1 ∣ 0 ) = W ( 0 ∣ 1 ) W(1|0)=W(0|1) W(10)=W(01)的B-DMC是为BSC。对于 y ∈ Y y∈Y yY,满足 W ( y ∣ 0 ) W ( y ∣ 1 ) = 0 W(y|0)W(y|1)=0 W(y0)W(y1)=0 W ( y ∣ 0 ) = W ( y ∣ 1 ) W(y|0)=W(y|1) W(y0)=W(y1)的B-DMC是为BEC。对于BEC,符号 y y y称为删除符号(Erasure Symbol)所有删除符号上的总和 W ( y ∣ 0 ) W(y|0) W(y0)称为BEC的删除概率。

我们用大写字母(如 X , Y X,Y XY)表示随机变量(RVs),用相应的小写字母(如 x , y x,y xy)表示它们的实现(样本值)。对于 X X X 是RV, P X P_X PX表示X上的概率分配,对于 R V ( X , Y ) RV(X,Y) RV(XY)的联合集合, P X , Y P_{X,Y} PXY表示联合概率分配,我们用标准记号 I ( X ; Y ) I(X;Y) I(XY) I ( X ; Y ∣ Z ) I(X;Y|Z) I(XYZ)分别表示互信息及其条件形式。
行向量 ( a 1 , … , a N ) (a1,…,aN) (a1,,aN)在这里简写为 a 1 N a^N_1 a1N。对于给定的行向量 a 1 N a^N_1 a1N,其子向量表示为 a i j a^j_i aij, 1 ≤ i , j ≤ N 1≤i,j≤N 1i,jN,且 i ≤ j i≤j ij。如果 j < i j <i j<i a i j a^j_i aij被视为无效。对于给定的 a 1 N a^N_1 a1N A ⊂ { 1 , … , N } A⊂\{1,…,N\} A{ 1,,N},记 a A a_A aA表示子向量 ( a i : i ∈ A ) (a_i:i∈A) (ai:iA)。记 a 1 , o j a^j_{1,o} a1,oj表示奇数索引的子向量
( a k : 1 ≤ k ≤ j ; k   o d d ) (a_k:1≤k≤j;k\ odd) (ak:1kj;k odd),记 a 1 , e j a^j_{1,e} a1,ej表示偶数索引的子向量 ( a k : 1 ≤ k ≤ j ; k   e v e n ) (a_k:1≤k≤j;k\ even) (ak:1kj;k even)。例如,对于向量 a 1 5 = ( 5 , 4 , 6 , 2 , 1 ) a^5_1=(5,4,6,2,1) a15=(5,4,6,2,1),有 a 2 4 = ( 4 , 6 , 2 ) a^4_2=(4,6,2) a24=(4,6,2) a 1 , e 5 = ( 4 , 2 ) , a 1 , o 4 ( 5 , 6 ) a^5_{1,e}=(4,2),a^4_{1,o}(5,6) a1,e5=(4,2)a1,o4(5,6)。全零向量则记为 0 1 N 0^N_1 01N

本文中的码构造将在二进制域GF(2)上的向量空间中进行。 除非另有说明,否则所有的向量、矩阵和对它们的运算都将是GF(2)上的。

特别地,对于GF(2)上的 a 1 N a^N_1 a1N b 1 N b^N_1 b1N向量,我们写 a 1 N ⊕ b 1 N a^N_1⊕b^N_1 a1Nb1N表示它们的分量mod-2和。 m × n m×n m×n矩阵 A = [ A i j ] A = [A_{ij}] A=[Aij] r × s r×s r×s矩阵 B = [ B i j ] B = [B_{ij}] B=[Bij]的Kronecker乘积定义为
在这里插入图片描述
这是一个mr-by-ns矩阵。 对于所有n≥1,克罗内克积 A ⊗ n A^{⊗n} An被定义为 A ⊗ A ⊗ ( n − 1 ) A⊗A^{⊗(n-1)} AA(n1)。 并定义 A ⊗ 0 ≜ [ 1 ] A^{⊗0} \triangleq [1] A0[1]的约定。
我们用 ∣ A ∣ | A | A来表示集合 A A A中元素的数目,我们用 1 A 1_A 1A来表示集合的指示函数;因此,如果 x ∈ A x∈A xA,则 1 A ( x ) 1_{A(x)} 1A(x)等于1,否则为0。

B.信道极化

通道极化是一种操作,通过该操作,从给定B-DMC W W W N N N个独立副本中制造第二组N个信道 { W N ( i ) : 1 ≤ i ≤ N } \{W^{(i)}_N:1≤i≤N\} { WN(i)1iN},其显示极化效应的意义是,对称容量项 { W N ( i ) } \{W^{(i)}_N\} { WN(i)}对于除索引 i i i

评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值