# American Institute of Mathematical Sciences

August  2020, 14(3): 423-436. doi: 10.3934/amc.2020058

## On the non-Abelian group code capacity of memoryless channels

 Avenida Tiaraju 810, Alegrete, RS, 97541-151, Brazil

* Corresponding author

Received  November 2018 Revised  August 2019 Published  January 2020

Fund Project: The author is supported by Fundação Universidade Federal do Pampa - UNIPAMPA, Brazil

In this work is provided a definition of group encoding capacity $C_G$ of non-Abelian group codes transmitted through symmetric channels. It is shown that this $C_G$ is an upper bound of the set of rates of these non-Abelian group codes that allow reliable transmission. Also, is inferred that the $C_G$ is a lower bound of the channel capacity. After that, is computed the $C_G$ of the group code over the dihedral group transmitted through the 8PSK-AWGN channel then is shown that it equals the channel capacity. It remains an open problem whether there exist non-Abelian group codes of rate arbitrarily close to $C_G$ and arbitrarily small error probability.

Citation: Jorge P. Arpasi. On the non-Abelian group code capacity of memoryless channels. Advances in Mathematics of Communications, 2020, 14 (3) : 423-436. doi: 10.3934/amc.2020058
##### References:

show all references

##### References:
$G(\mathit{\boldsymbol{l}})$-Symmetric sub-channels the $D_4$-symmetric channel 8PSK-AWGN
 $\rho$ Array Sub-group $G(\mathit{\boldsymbol{l}}_{ijk})$ Sub-Constellation ${\mathcal{X}}(\mathit{\boldsymbol{l}}_{ijk})$ 1 $\left( {\begin{array}{*{20}{c}} 1&1\\ 0&{} \end{array}} \right)$ $2 {\mathbb{Z}}_4\boxtimes \{0\}=\{e,a^2\}$ $\{x_0,x_4\}$ $\left( {\begin{array}{*{20}{c}} 1&1\\ 1&{} \end{array}} \right)$ $2 {\mathbb{Z}}_4\boxtimes {\mathbb{Z}}_2 = \{e,b,a^2,a^2b\}$ $\{x_0,x_1,x_4,x_5\}$ 2 $\left( {\begin{array}{*{20}{c}} 1&2\\ 0&{} \end{array}} \right)$ ${\mathbb{Z}}_4\boxtimes \{0\}=\{e,a,a^2,a^3\}$ $\{x_0,x_2,x_4,x_6\}$ $\left( {\begin{array}{*{20}{c}} 1&2\\ 1&{} \end{array}} \right)$ ${\mathbb{Z}}_4\boxtimes {\mathbb{Z}}_2 = D_4$ ${\mathcal{X}}_8$
 $\rho$ Array Sub-group $G(\mathit{\boldsymbol{l}}_{ijk})$ Sub-Constellation ${\mathcal{X}}(\mathit{\boldsymbol{l}}_{ijk})$ 1 $\left( {\begin{array}{*{20}{c}} 1&1\\ 0&{} \end{array}} \right)$ $2 {\mathbb{Z}}_4\boxtimes \{0\}=\{e,a^2\}$ $\{x_0,x_4\}$ $\left( {\begin{array}{*{20}{c}} 1&1\\ 1&{} \end{array}} \right)$ $2 {\mathbb{Z}}_4\boxtimes {\mathbb{Z}}_2 = \{e,b,a^2,a^2b\}$ $\{x_0,x_1,x_4,x_5\}$ 2 $\left( {\begin{array}{*{20}{c}} 1&2\\ 0&{} \end{array}} \right)$ ${\mathbb{Z}}_4\boxtimes \{0\}=\{e,a,a^2,a^3\}$ $\{x_0,x_2,x_4,x_6\}$ $\left( {\begin{array}{*{20}{c}} 1&2\\ 1&{} \end{array}} \right)$ ${\mathbb{Z}}_4\boxtimes {\mathbb{Z}}_2 = D_4$ ${\mathcal{X}}_8$
Output probability densities $\lambda_{\mathit{\boldsymbol{l}}_{ijk}}$ and capacities $C_{\mathit{\boldsymbol{l}}_{ijk}}$ of the sub-channels $G(\mathit{\boldsymbol{l}})$ of the $D_4$-symmetric channel 8PSK-AWGN, where $p_i(y): = p(y\vert x_i)$
 Array Sub-Constell. ${\mathcal{X}}(\mathit{\boldsymbol{l}}_{ijk})$ Density $\lambda_{\mathit{\boldsymbol{l}}_{ijk}}$ Capacity $C_{\mathit{\boldsymbol{l}}_{ijk}}$ $\left( {\begin{array}{*{20}{c}} 1&1\\ 0&{} \end{array}} \right)$ $\{x_0,x_4\}$ $\frac{1}{2}(p_0+p_4)$ $H(\lambda_{\mathit{\boldsymbol{l}}_{110}})-H(p_0)$ $\left( {\begin{array}{*{20}{c}} 1&1\\ 1&{} \end{array}} \right)$ $\{x_0,x_1,x_4,x_5\}$ $\frac{1}{4}(p_0+p_1+p_4+p_5)$ $H(\lambda_{\mathit{\boldsymbol{l}}_{111}})-H(p_0)$ $\left( {\begin{array}{*{20}{c}} 1&2\\ 0&{} \end{array}} \right)$ $\{x_0,x_2,x_4,x_6\}$ $\frac{1}{4}(p_0+p_2+p_4+p_6)$ $H(\lambda_{\mathit{\boldsymbol{l}}_{120}})-H(p_0)$ $\left( {\begin{array}{*{20}{c}} 1&2\\ 1&{} \end{array}} \right)$ ${\mathcal{X}}_8$ $\frac{1}{8}(p_0+p_1+\dots+p_7)$ $H(\lambda_{\mathit{\boldsymbol{l}}_{121}})-H(p_0)$
 Array Sub-Constell. ${\mathcal{X}}(\mathit{\boldsymbol{l}}_{ijk})$ Density $\lambda_{\mathit{\boldsymbol{l}}_{ijk}}$ Capacity $C_{\mathit{\boldsymbol{l}}_{ijk}}$ $\left( {\begin{array}{*{20}{c}} 1&1\\ 0&{} \end{array}} \right)$ $\{x_0,x_4\}$ $\frac{1}{2}(p_0+p_4)$ $H(\lambda_{\mathit{\boldsymbol{l}}_{110}})-H(p_0)$ $\left( {\begin{array}{*{20}{c}} 1&1\\ 1&{} \end{array}} \right)$ $\{x_0,x_1,x_4,x_5\}$ $\frac{1}{4}(p_0+p_1+p_4+p_5)$ $H(\lambda_{\mathit{\boldsymbol{l}}_{111}})-H(p_0)$ $\left( {\begin{array}{*{20}{c}} 1&2\\ 0&{} \end{array}} \right)$ $\{x_0,x_2,x_4,x_6\}$ $\frac{1}{4}(p_0+p_2+p_4+p_6)$ $H(\lambda_{\mathit{\boldsymbol{l}}_{120}})-H(p_0)$ $\left( {\begin{array}{*{20}{c}} 1&2\\ 1&{} \end{array}} \right)$ ${\mathcal{X}}_8$ $\frac{1}{8}(p_0+p_1+\dots+p_7)$ $H(\lambda_{\mathit{\boldsymbol{l}}_{121}})-H(p_0)$
 [1] Arseny Egorov. Morse coding for a Fuchsian group of finite covolume. Journal of Modern Dynamics, 2009, 3 (4) : 637-646. doi: 10.3934/jmd.2009.3.637 [2] Joe Gildea, Adrian Korban, Abidin Kaya, Bahattin Yildiz. Constructing self-dual codes from group rings and reverse circulant matrices. Advances in Mathematics of Communications, 2021, 15 (3) : 471-485. doi: 10.3934/amc.2020077 [3] Dandan Cheng, Qian Hao, Zhiming Li. Scale pressure for amenable group actions. Communications on Pure & Applied Analysis, 2021, 20 (3) : 1091-1102. doi: 10.3934/cpaa.2021008 [4] Zhimin Chen, Kaihui Liu, Xiuxiang Liu. Evaluating vaccination effectiveness of group-specific fractional-dose strategies. Discrete & Continuous Dynamical Systems - B, 2021  doi: 10.3934/dcdsb.2021062 [5] Hakan Özadam, Ferruh Özbudak. A note on negacyclic and cyclic codes of length $p^s$ over a finite field of characteristic $p$. Advances in Mathematics of Communications, 2009, 3 (3) : 265-271. doi: 10.3934/amc.2009.3.265 [6] Antonio Cossidente, Sascha Kurz, Giuseppe Marino, Francesco Pavese. Combining subspace codes. Advances in Mathematics of Communications, 2021  doi: 10.3934/amc.2021007 [7] Dean Crnković, Nina Mostarac, Bernardo G. Rodrigues, Leo Storme. $s$-PD-sets for codes from projective planes $\mathrm{PG}(2,2^h)$, $5 \leq h\leq 9$. Advances in Mathematics of Communications, 2021, 15 (3) : 423-440. doi: 10.3934/amc.2020075 [8] Alexander A. Davydov, Massimo Giulietti, Stefano Marcugini, Fernanda Pambianco. Linear nonbinary covering codes and saturating sets in projective spaces. Advances in Mathematics of Communications, 2011, 5 (1) : 119-147. doi: 10.3934/amc.2011.5.119 [9] W. Cary Huffman. On the theory of $\mathbb{F}_q$-linear $\mathbb{F}_{q^t}$-codes. Advances in Mathematics of Communications, 2013, 7 (3) : 349-378. doi: 10.3934/amc.2013.7.349 [10] Jérôme Ducoat, Frédérique Oggier. On skew polynomial codes and lattices from quotients of cyclic division algebras. Advances in Mathematics of Communications, 2016, 10 (1) : 79-94. doi: 10.3934/amc.2016.10.79 [11] Emily McMillon, Allison Beemer, Christine A. Kelley. Extremal absorbing sets in low-density parity-check codes. Advances in Mathematics of Communications, 2021  doi: 10.3934/amc.2021003 [12] Ricardo A. Podestá, Denis E. Videla. The weight distribution of irreducible cyclic codes associated with decomposable generalized Paley graphs. Advances in Mathematics of Communications, 2021  doi: 10.3934/amc.2021002 [13] Raj Kumar, Maheshanand Bhaintwal. Duadic codes over $\mathbb{Z}_4+u\mathbb{Z}_4$. Advances in Mathematics of Communications, 2021  doi: 10.3934/amc.2020135 [14] Muhammad Ajmal, Xiande Zhang. New optimal error-correcting codes for crosstalk avoidance in on-chip data buses. Advances in Mathematics of Communications, 2021, 15 (3) : 487-506. doi: 10.3934/amc.2020078 [15] Yun Gao, Shilin Yang, Fang-Wei Fu. Some optimal cyclic $\mathbb{F}_q$-linear $\mathbb{F}_{q^t}$-codes. Advances in Mathematics of Communications, 2021, 15 (3) : 387-396. doi: 10.3934/amc.2020072 [16] V. Kumar Murty, Ying Zong. Splitting of abelian varieties. Advances in Mathematics of Communications, 2014, 8 (4) : 511-519. doi: 10.3934/amc.2014.8.511 [17] Jong Yoon Hyun, Yoonjin Lee, Yansheng Wu. Connection of $p$-ary $t$-weight linear codes to Ramanujan Cayley graphs with $t+1$ eigenvalues. Advances in Mathematics of Communications, 2021  doi: 10.3934/amc.2020133 [18] Jennifer D. Key, Bernardo G. Rodrigues. Binary codes from $m$-ary $n$-cubes $Q^m_n$. Advances in Mathematics of Communications, 2021, 15 (3) : 507-524. doi: 10.3934/amc.2020079 [19] Peng Luo. Comparison theorem for diagonally quadratic BSDEs. Discrete & Continuous Dynamical Systems, 2021, 41 (6) : 2543-2557. doi: 10.3934/dcds.2020374 [20] Filippo Giuliani. Transfers of energy through fast diffusion channels in some resonant PDEs on the circle. Discrete & Continuous Dynamical Systems, 2021  doi: 10.3934/dcds.2021068

2019 Impact Factor: 0.734