情報理論・符号理論の問題

二元体 ${\mathbb{F}}_2=\{0,1\}$ 上で、生成多項式
$$g(x)=(x+1)(x^4+x+1)=x^5+x^4+x^2+1$$
で定まる符号長 $15$ の巡回符号 $C$ を考える。すなわち、$C$ は ${\mathbb{F}}_2[x]$ の次数 $14$ 以下の多項式のうち $g(x)$ で割り切れるもの全体であり、多項式 $c_0+c_{1}x+\cdots +c_{14}{x}^{14}$ を語 $(c_0,c_1,\dots ,c_{14})\in {\mathbb{F}}_2^{15}$ と同一視する。また、$\alpha$ を ${\mathbb{F}}_{16}$ における $x^4+x+1$ の根とする（$\alpha$ の位数は $15$ である）。

符号語 $c(x)\in C$ を送信し、誤りパターン $e(x)$（次数 $14$ 以下）が加わって $r(x)=c(x)+e(x)$ を受信したとする。復号器は $s_0=r(1)\in {\mathbb{F}}_2$、$s_1=r(\alpha )\in {\mathbb{F}}_{16}$ を計算し、次の規則で動作する。

• $(1)$ $s_0=0$ かつ $s_1=0$ のとき：$r(x)$ をそのまま出力する。
• $(2)$ $s_0=1$ かつ $s_1\ne 0$ のとき：$s_1={\alpha }^m$ $(0\le m\le 14)$ となる $m$ をとり、$r(x)+x^m$ を出力する。
• $(3)$ それ以外のとき：誤りを検出したと宣言し、何も出力しない。

ハミング重み（$0$ でない係数の個数）が $1$ 以上 $5$ 以下の誤りパターン $e(x)$ のうち、復号器が送信した符号語 $c(x)$ と異なる語を出力してしまうものの個数を求めよ。

二元体 ${\mathbb{F}}_2=\{0,1\}$ 上で、生成多項式 $$g(x)=x^4+x+1$$ で定まる符号長 $15$ の巡回符号 $C$ を考える。すなわち、$C$ は ${\mathbb{F}}_2[x]$ の次数 $14$ 以下の多項式のうち $g(x)$ で割り切れるもの全体（係数の列を長さ $15$ のベクトルとみなす）である。なお、$g(x)$ は ${\mathbb{F}}_2$ 上の原始多項式であり、$x^{15}-1$ を割り切る。

$C$ の符号語を、ビット反転確率が $p$ $\left(0<p<\frac{1}{2}\right)$ の 2 元対称通信路で送る。各ビットの反転は互いに独立に起こるものとする。受信語は、シンドロームを計算し、そのシンドロームをもつベクトルのうちハミング重みが最小のもの（コセットリーダー）を誤りとみなして訂正する方法で復号する。

復号した符号語が送信した符号語と一致する確率を $p$ の式で求めよ。

二元体 ${\mathbb{F}}_2=\{0,1\}$ 上で、生成多項式
$$g(x)=x^3+x+1$$
で定まる符号長 $7$ の巡回符号 $C$ を考える。すなわち、$C$ は ${\mathbb{F}}_2[x]$ の次数 $6$ 以下の多項式のうち $g(x)$ で割り切れるものの係数ベクトル全体である。

$C$ の符号語を $1$ つ選び、各ビットが互いに独立に確率 $p=\frac{1}{10}$ で反転する二元対称通信路で送る。受信側は、受信語とのハミング距離が最小となる符号語に復号する。復号結果が送信した符号語に一致する確率を求めよ。

二元体 ${\mathbb{F}}_2=\{0,1\}$ 上で、生成多項式
$$g(x)=x^4+x+1$$
で定まる符号長 $15$ の巡回符号 $C$ を考える。すなわち、符号語 $c=(c_0,c_1,\dots ,c_{14})\in {\mathbb{F}}_2^{15}$ を多項式 $c(x)=c_0+c_{1}x+\cdots +c_{14}{x}^{14}$ と同一視し、$C=\{c(x)\mid \mathrm{deg}c(x)\le 14,g(x)\text{ が }c(x)\text{ を割り切る}\}$ とする。なお、$g(x)$ は ${\mathbb{F}}_2$ 上の原始多項式である（既約であり、その根 $\alpha$ は $15$ 個の元 ${\alpha }^0,{\alpha }^1,\dots ,{\alpha }^{14}$ がすべて異なる、${\mathbb{F}}_{16}$ の $0$ でない元すべてとなる）。

この符号を誤り検出のためだけに用いる。送信した符号語 $c$ に誤りパターン $e\in {\mathbb{F}}_2^{15}$ が加わって $r=c+e$ が受信されたとき、$r\in C$ ならば「誤りなし」と判定し、$r\notin C$ ならば「誤りあり」と判定する。$e\ne 0$ で $r\in C$ となるとき、誤りは検出されない。

ハミング重み（$1$ である成分の個数）が $1$ 以上 $4$ 以下の誤りパターン $e$ のうち、検出されないものの個数を求めよ。

二元体 ${\mathbb{F}}_2=\{0,1\}$ 上で、次の $4\times 10$ 行列 $H$ を考える。
$$H=\left(\begin{array}{cccccccccc}1& 0& 0& 0& 1& 1& 1& 0& 0& 0\\ 0& 1& 0& 0& 1& 0& 0& 1& 1& 0\\ 0& 0& 1& 0& 0& 1& 0& 1& 0& 1\\ 0& 0& 0& 1& 0& 0& 1& 0& 1& 1\end{array}\right)$$
$H$ の列は、${\mathbb{F}}_2^4$ のベクトルのうちハミング重み（$1$ である成分の個数）が $1$ または $2$ であるもの全部（$10$ 個）を $1$ 回ずつ並べたものである。$H$ を検査行列とする符号長 $10$ の二元線形符号
$$C=\{x\in {\mathbb{F}}_2^{10}:H{x}^T=0\}$$
について、$C$ の最小距離を $d$ とし、$C$ に含まれるハミング重み $k$ の符号語の個数を $A_k$ とする。$d,A_d,A_{d+1}$ をこの順に組で求めよ。