# American Institute of Mathematical Sciences

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, 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] Cristina García Pillado, Santos González, Victor Markov, Consuelo Martínez, Alexandr Nechaev. New examples of non-abelian group codes. Advances in Mathematics of Communications, 2016, 10 (1) : 1-10. doi: 10.3934/amc.2016.10.1 [2] Sergio Estrada, J. R. García-Rozas, Justo Peralta, E. Sánchez-García. Group convolutional codes. Advances in Mathematics of Communications, 2008, 2 (1) : 83-94. doi: 10.3934/amc.2008.2.83 [3] Crnković Dean, Vedrana Mikulić Crnković, Bernardo G. Rodrigues. On self-orthogonal designs and codes related to Held's simple group. Advances in Mathematics of Communications, 2018, 12 (3) : 607-628. doi: 10.3934/amc.2018036 [4] Terasan Niyomsataya, Ali Miri, Monica Nevins. Decoding affine reflection group codes with trellises. Advances in Mathematics of Communications, 2012, 6 (4) : 385-400. doi: 10.3934/amc.2012.6.385 [5] Jamshid Moori, Amin Saeidi. Some designs and codes invariant under the Tits group. Advances in Mathematics of Communications, 2017, 11 (1) : 77-82. doi: 10.3934/amc.2017003 [6] Steven T. Dougherty, Cristina Fernández-Córdoba, Roger Ten-Valls, Bahattin Yildiz. Quaternary group ring codes: Ranks, kernels and self-dual codes. Advances in Mathematics of Communications, 2019, 0 (0) : 0-0. doi: 10.3934/amc.2020023 [7] Eldho K. Thomas, Nadya Markin, Frédérique Oggier. On Abelian group representability of finite groups. Advances in Mathematics of Communications, 2014, 8 (2) : 139-152. doi: 10.3934/amc.2014.8.139 [8] 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 [9] Olof Heden, Fabio Pasticci, Thomas Westerbäck. On the existence of extended perfect binary codes with trivial symmetry group. Advances in Mathematics of Communications, 2009, 3 (3) : 295-309. doi: 10.3934/amc.2009.3.295 [10] Axel Kohnert, Johannes Zwanzger. New linear codes with prescribed group of automorphisms found by heuristic search. Advances in Mathematics of Communications, 2009, 3 (2) : 157-166. doi: 10.3934/amc.2009.3.157 [11] Tobias Sutter, David Sutter, John Lygeros. Capacity of random channels with large alphabets. Advances in Mathematics of Communications, 2017, 11 (4) : 813-835. doi: 10.3934/amc.2017060 [12] Carolyn Mayer, Kathryn Haymaker, Christine A. Kelley. Channel decomposition for multilevel codes over multilevel and partial erasure channels. Advances in Mathematics of Communications, 2018, 12 (1) : 151-168. doi: 10.3934/amc.2018010 [13] Elena Celledoni, Brynjulf Owren. Preserving first integrals with symmetric Lie group methods. Discrete & Continuous Dynamical Systems - A, 2014, 34 (3) : 977-990. doi: 10.3934/dcds.2014.34.977 [14] Bernardo Gabriel Rodrigues. Some optimal codes related to graphs invariant under the alternating group $A_8$. Advances in Mathematics of Communications, 2011, 5 (2) : 339-350. doi: 10.3934/amc.2011.5.339 [15] Steven T. Dougherty, Joe Gildea, Abidin Kaya, Bahattin Yildiz. New self-dual and formally self-dual codes from group ring constructions. Advances in Mathematics of Communications, 2020, 14 (1) : 11-22. doi: 10.3934/amc.2020002 [16] John Franks, Michael Handel. Some virtually abelian subgroups of the group of analytic symplectic diffeomorphisms of a surface. Journal of Modern Dynamics, 2013, 7 (3) : 369-394. doi: 10.3934/jmd.2013.7.369 [17] Steven T. Dougherty, Joe Gildea, Adrian Korban, Abidin Kaya. Composite constructions of self-dual codes from group rings and new extremal self-dual binary codes of length 68. Advances in Mathematics of Communications, 2019, 0 (0) : 0-0. doi: 10.3934/amc.2020037 [18] John Fogarty. On Noether's bound for polynomial invariants of a finite group. Electronic Research Announcements, 2001, 7: 5-7. [19] Xiaojun Huang, Jinsong Liu, Changrong Zhu. The Katok's entropy formula for amenable group actions. Discrete & Continuous Dynamical Systems - A, 2018, 38 (9) : 4467-4482. doi: 10.3934/dcds.2018195 [20] Gustavo Terra Bastos, Reginaldo Palazzo Júnior, Marinês Guerreiro. Abelian non-cyclic orbit codes and multishot subspace codes. Advances in Mathematics of Communications, 2019, 0 (0) : 0-0. doi: 10.3934/amc.2020035

2018 Impact Factor: 0.879