Codes based on algebraically structured parity check matrices are desirable in applications due to their compact representations, practical implementation advantages, and tractable decoder performance analysis. In this paper, we examine codes based on parity check matrices that are dyadic, $ n $-adic, or quasi-dyadic (QD), meaning the parity check matrix representation is block structured with dyadic matrices as blocks. Depending on the number of nonzero positions in the leading row of each matrix or block, these codes may be either low density or moderate density. We examine basic code properties of dyadic, $ n $-adic, and QD parity check codes, including reproducibility, bounds on the dimension and minimum distance, cycle structure of the corresponding Tanner graph, and their possible use in quantum code constructions.
| Citation: |
| [1] |
M. Baldi, M. Bodrato and F. Chiaraluce, A new analysis of the McEliece cryptosystem based on QC-LDPC codes, Proc. Security and Cryptography for Networks 2008 (Amalfi, Italy), LNCS, 5229 (2008), 246-262.
doi: 10.1007/978-3-540-85855-3_17.
|
| [2] |
G. Banegas, P. S. L. M. Barreto, E. Persichetti and P. Santini, Designing efficient dyadic operations for cryptographic applications, Journal of Mathematical Cryptology, 14 (2020), 95-109.
doi: 10.1515/jmc-2015-0054.
|
| [3] |
P. S. L. M. Barreto, R. Lindner and R. Misoczki, Monoidic codes in cryptography, IACR Cryptology ePrint Archive, 7071 (2011), 179-199.
doi: 10.1007/978-3-642-25405-5_12.
|
| [4] |
A. R. Calderbank and P. W. Shor, Good quantum error-correcting codes exist, Physical Review A, 54 (1996), 1098-1105.
doi: 10.1103/PhysRevA.54.1098.
|
| [5] |
T. Etzion, A. Trachtenberg and A. Vardy, Which codes have cycle-free Tanner graphs?, IEEE Transactions on Information Theory, 45 (1999), 2173-2181.
doi: 10.1109/18.782170.
|
| [6] |
D. Gottesman, Stabilizer Codes and Quantum Error Correction, Ph.D thesis, California Institute of Technology, 1997.
|
| [7] |
M. Grassl, Bounds on the minimum distance of linear codes and quantum codes, 2007. Available from: http://www.codetables.de.
|
| [8] |
J. L. Gross and T. W. Tucker, Topological Graph Theory, Wiley-Interscience, USA, 1987.
|
| [9] |
M. N. Gulamhusein, Simple matrix-theory proof of the discrete dyadic convolution theorem, Electronics Letters, 9 (1973), 238-239.
doi: 10.1049/el:19730172.
|
| [10] |
J. Li, S. Lin, K. Abdel-Ghaffar, W. E. Ryan and D. J. Costello, Jr., LDPC Code Designs, Constructions, and Unification, Cambridge University Press, Cambridge, 2017.
doi: 10.1017/9781316780152.
|
| [11] |
M. Martinez and C. A. Kelley, Minimum distance and other properties of quasi-dyadic parity check codes, 2022 IEEE International Symposium on Information Theory (ISIT), (2022), 2118-2123.
doi: 10.1109/ISIT50566.2022.9834770.
|
| [12] |
R. McEliece, A public-key cryptosystem based on algebraic coding theory, DSN Progress Report, 42 (1978), 114-116.
|
| [13] |
R. Misoczki and P. S. L. M. Barreto, Compact McEliece keys from Goppa codes, Selected Areas in Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 5867 (2009), 376-392.
doi: 10.1007/978-3-642-05445-7_24.
|
| [14] |
R. Misoczki, J.-P. Tillich, N. Sendrier and P. S. L. M. Baretto, MDPC-McEliece: New McEliece variants from moderate density parity-check codes, 2013 IEEE International Symposium on Information Theory, (2013), 2069-2073.
doi: 10.1109/ISIT.2013.6620590.
|
| [15] |
C. Monico, J. Rosenthal and A. Shokrollahi, Using low density parity check codes in the McEliece cryptosystem, Proceedings of the 2000 IEEE International Symposium on Information Theory 2000 (Sorrento, Italy), (2000), 215.
doi: 10.1109/ISIT.2000.866513.
|
| [16] |
E. Persichetti, Compact McEliece keys based on quasi-dyadic Srivastava codes, J. Math. Cryptol., 6 (2012), 149-169.
doi: 10.1515/jmc-2011-0099.
|
| [17] |
Report on Post-Quantum Cryptography, National Institute of Standards and Technology, 2016, NISTIR 8105.
|
| [18] |
T. Richardson and R. Urbanke, Modern Coding Theory, Cambridge University Press, Cambridge, 2008.
doi: 10.1017/CBO9780511791338.
|
| [19] |
P. Santini, E. Persichetti and M. Baldi, Reproducible families of codes and cryptographic applications, Journal of Mathematical Cryptology, 16 (2022), 20-48.
doi: 10.1515/jmc-2020-0003.
|
| [20] |
R. Smarandache and P. O. Vontobel, Quasi-cyclic LDPC codes: Influence of proto- and Tanner-graph structure on minimum Hamming distance upper bounds, IEEE Transactions on Information Theory, 58 (2012), 585-607.
doi: 10.1109/TIT.2011.2173244.
|
| [21] |
A. M. Steane, Simple quantum error-correcting codes, Physical Review A, 54 (1996), 4741-4751.
doi: 10.1103/PhysRevA.54.4741.
|
| [22] |
R. M. Tanner, A transform theory for a class of group-invariant codes, IEEE Transactions on Information Theory, 34 (1988), 752-775.
doi: 10.1109/18.9772.
|
| [23] |
R. M. Tanner, D. Sridhara and T. Fuja, A class of group-structured LDPC codes, 2001.
|
| [24] |
N. Wiberg, H.-A. Loeliger and R. Kotter, Codes and iterative decoding on general graphs, 1995 IEEE International Symposium on Information Theory, (1995), 468.
|