ArticlePDF Available

Abstract and Figures

In this paper, some affine and rational functions are applied to define a class of LDPC codes, called RLDPC codes, which can be classified in two types, type-I and type-II, depending on being equivalent or not with APM-LDPC codes, respectively. Then, for each type, some explicit methods are provided to generate RLDPC codes with girth at least 6. While, cyclotomic cosets are used to generate type-I RLDPC codes, normal and diameter RLDPC codes are proposed as a class of type-II RLDPC codes which are analyzed for the existence of 4-cycles. Finally, simulation results show that the constructed type-II RLDPC codes outperform the randomly constructed QC LDPC codes, APM-LDPC codes and the LDPC codes based on PEG.
Content may be subject to copyright.
Full Terms & Conditions of access and use can be found at
https://www.tandfonline.com/action/journalInformation?journalCode=tijr20
IETE Journal of Research
ISSN: (Print) (Online) Journal homepage: https://www.tandfonline.com/loi/tijr20
LDPC Codes Based on Rational Functions
Mohammad Gholami & Akram Nassaj
To cite this article: Mohammad Gholami & Akram Nassaj (2021): LDPC Codes Based on Rational
Functions, IETE Journal of Research, DOI: 10.1080/03772063.2021.1951365
To link to this article: https://doi.org/10.1080/03772063.2021.1951365
Published online: 31 Aug 2021.
Submit your article to this journal
Article views: 5
View related articles
View Crossmark data
IETE JOURNAL OF RESEARCH
https://doi.org/10.1080/03772063.2021.1951365
LDPC Codes Based on Rational Functions
Mohammad Gholami 1,2and Akram Nassaj1
1Department of Mathematical Sciences, Shahrekord University, P. Code 88186-34141, Shahrekord, Iran ; 2School of Computer Science, Institute
for Research in Fundamental Sciences (IPM), P. Code 19538-33511, Tehran, Iran
ABSTRACT
In this paper, some affine and rational functions are applied to define a class of LDPC codes, called
RLDPC codes, which can be classified in two types, type-I and type-II, depending on being equivalent
or not with APM-LDPC codes, respectively. Then, for each type, some explicit methods are provided
to generate RLDPC codes with girth at least 6. While, cyclotomic cosets are used to generate type-I
RLDPC codes, normal and diameter RLDPC codes are proposed as a class of type-II RLDPC codes which
are analyzed for the existence of 4-cycles. Finally, simulation results show that the constructed type-II
RLDPC codes outperform the randomly constructed QC LDPC codes, APM-LDPC codes and the LDPC
codes based on PEG.
KEYWORDS
Linear codes; parity check
codes; error correction codes;
matrices; Bipartite graph;
performance analysis
1. INTRODUCTION
Low-density parity-check (LDPC) codes are the most
promising class of linear block codes which for many data
transmission and storage channels [1] perform very close
to the Shannon capacity.Bya(J,L)-regular LDPC code,
we mean the LDPC code whose parity-check matrix
(PCM) has row and column weight Land J,respectively.
To each PCM Hof an LDPC code, a Ta n n e r grap h [2],
denoted by TG(H), is associated which is helpful to iter-
atively share the results of the local node decoding by
passing them along the edges. The girth of an LDPC code
isthelengthofthesmallestcycleinitsTannergraph.The
construction of LDPC codes with large girth is interest-
ing, because of the accuracy of belief propagation, known
as sum-product algorithm [3].
LDPC codes are constructed into two main methods:
random [4,5]andalgebraicstructured[616]meth-
ods. While random methods are generally based on
a computer search, structured methods combine some
algebraic techniques along with some computer search
methods. Among random techniques, progressive edge-
growth (PEG) algorithm [5]isoneofthepromising
methods to construct a PCM with a large girth. On
the other hand, quasi-cyclic (QC) LDPC codes [7]are
among the most prominent structured methods, because
of the low encoding complexity and performing well
rather than random LDPC codes with moderate block
lengths.
Recently, a class of LDPC codes from ane permuta-
tion matrices,namedAPM-LDPC codes [13], have been
consideredbecausetheyhavesomeadvantagesinthe
cycle distribution, minimum-distance and error-rate per-
formance than QC-LDPC codes. Among the class of
APM-LDPC codes, anti-circulant and circulant permu-
tation matrices have been used to identify AQC-LDPC
codes [17], which outperform some QC and APM LDPC
codes with an explicit construction [11,14].
In this paper, rational LDPC (RLDPC) codes are dened
as a class of LDPC codes based on some ane and
rational functions which are bijections on a nite group.
Then, Type-I and Type-II RLDPC codes are presented
which are equivalent and non-equivalent with APM-
LDPC codes, respectively. For each type, some RLDPC
codeswithanexplicitmethodarepresentedwithgirthat
least 6. Although, cyclotomic cosets are used to construct
type-I LDPC codes, two explicit methods, normal and
diameter RLDPC codes, are proposed to dene a class of
Type-II RLDPC codes which outperform QC, APM and
PEG LDPC codes.
2. PRELIMINARIES
Let G={g1,...,gn}be a nite ordered group of order
nwith the identity element id(G)and f:GGbe
a bijective function, i.e a one-to-one correspondence
between the elements of G.ByIf,wemeanthen×n
© 2021 IETE
2 M. GHOLAMI AND A. NASSAJ: LDPC CODES BASED ON RATIONAL FUNCTIONS
the permutation matrix (pi,j)1i,jn,inwhichpi,j=1if
and only if f(gi)=gj. Some of the properties of such
permutation matrices are as follows [13].
Proposition 2.1: (1) (If)T=If1,where(If)Tis the
transpose of Ifand f 1is the inverse function of f.
(2) For two bijections f1and f2,wehaveIf1×If2=
If2f1in which f2f1is the composition of f2and f1.
(3) (If)n=If(n),wheref
(n)is the n times composition
of f.
Let Jand L,J<L,besomepositiveintegers.Fortheempty
function on G,wesetIto be the n×nzero matrix.
By a (J,L)bijective matrix,wemeanaJ×Larray of
some bijective functions or the empty function on G.For
a(J,L)bijective matrix F=(fi,j)J×L,thecorresponding
(J,L)LDPC code with exponent function matrix (EFM) F
of length nL,lifting-degree n and rate at least 1 J
Lcan be
dened as the protograph LDPC code with the following
parity-check matrix H=H(F).
H=
If1,1 ··· If1,L
.
.
.....
.
.
IfJ,1 ··· IfJ,L
(1)
Theorem 2.2 ([7]): H(F)canbeconsideredasthePCM
of a QC-LDPC code if, under the function composi-
tion operator, each two elements of F interchanges with
each other, i.e. fi1,j1fi2,j2=fi2,j2fi1,j1,foreach(i1,j1)=
(i2,j2),1i1,i2Jand1j1,j2L.
The following Theorem investigates a two-way condition
for H=H(F)to have 2lcycles in TG(H).
Theorem 2.3 ([13]): Each 2lcycleinTG(H)corre-
sponds to a chain (i0,j0);(i1,j1);··· ;(il1,jl1);(il,jl)=
(i0,j0),ik= ik+1and jk= jk+1for each 0kl1,for
which the function
f=fil,jlf1
il,jl1fil1,jl1f1
il1,jl2◦··· fi1,j1f1
i1,j0(2)
has a xed point in G.
TheLDPCcodewithPCM(1)iscalledconventional,if
the corresponding (J,L)bijective matrix Fdoes not con-
tain the empty function, i.e. Hdoes not contain the zero
block, otherwise it is called unconventional.
The following main theorem gives a necessary condi-
tion to construct LDPC codes equivanent with a primary
code.
Theorem 2.4: For F =(fi,j)J×Las the EFM on the group
GofanLDPCcodeCwith PCM H(F),ifCis the LDPC
code with EFM F=(f
i,j)J×L,inwhichf
i,j=ricjfi,j,
where ri,1iJ, and cj,1jLaresomebijective
functions on G, then Cis equivalent with C.
Proof: Let Ri=Iriand Cj=Icjand H1and H2be the
PCMs derived from multiplication of Riand Cjon the
ith row-block and jth column-block of H,respectively.
Clearly, EFMs corresponding to the LDPC code with
PCMs H1and H2are those from combining the bijec-
tive functions riand cjwith the functions in the ith row
and jth column of F,respectively,whichcompletesthe
proof.
3. RLDPC CODES
Clearly, for each eG,theane function f1(x)=ex and
rational function f2(x)=ex1are bijective functions on
G, then, for simplicity of the notations, If1and If2are
denoted by A(e)and R(e),respectively,whenGis known.
Moreover, we accept this convention that for e=∞,A(e)
and R(e)are the zero matrix of order n.ByProposi-
tion 2.1, some of the properties of the matrices A(e)and
R(e)can be simplied as follows.
Lemma 3.1: For each e,e1,e2G, we have:
(1) (R(e))1=(R(e))T=R(e),
(2) R(e1)×R(e2)=A(e2e1
1),
(3) A(e1)×A(e2)=A(e2e1),
(4) R(e1)×A(e2)=R(e2e1),
(5) A(e1)×R(e2)=R(e2e1
1),
Then, by the above lemma, the set G={A(e),R(e):e
G}isagroupwhichisnotabelian(commutative)ingen-
eral. By following lemma, the order of Gmay be less than
2|G|
Lemma 3.2: A(e1)=R(e2),forsomee
1,e2G, if and
only if e1=e2and for each x G, we have x =x1.
It is noticed that there exist some groups satised in
Lemma 3.2, for example the set of all symmetric permu-
tation matrices of the same order.
For positive integers J,L,J<L,letE=(ei,j)be a J×L
array of some elements of G∪{}.Bya(J,L)rational
M. GHOLAMI AND A. NASSAJ: LDPC CODES BASED ON RATIONAL FUNCTIONS 3
LDPC,orbriey(J,L)RLDPC,codewithexponent
matrix E=(ei,j), we mean the LDPC code having the
PCM H=H(E), with lifting degree |G|,inwhich(i,j)th
element of the corresponding EFM is the ane function
ei,jxor the rational function ei,jx1. To simplify of the
notations, the element ei,jis denoted by eA
i,jand eR
i,jfor
ane and rational functions, respectively.
Example 3.3: For positive integer m,letG=Z
mbe the
group of nonnegative integers less than mwhich are
coprime relative to m, i.e. Z
m={iZm|gcd(i,m)=
1}.Clearly,Z
mis of order φ(m)in which φ(m)is the
Euler’s phi function. Now, for m=8and(2, 3)exponent
matrix E=1A1A1A
5A3R7R, the corresponding RLDPC code
has the following PCM.
H=
100010001000
010001000100
001000100010
000100010001
001001000001
000110000010
100000010100
010000101000
(3)
Dene G={aA,aR,:aG}.Clearly,Gisanon-
abelian group with the following product operation:
1)aAbA=(ab)A2)aAbR=(ab)R
3)aRbA=(ab1)R4)aRbR=(ab1)A
5)∞∗aR=aR∗∞=
6)aA∗∞=∞∗aA=∞
Now, for a given exponent matrix Eof a (J,L)RLDPC
code with the elements belong to G,byanextension
of E, we mean the exponent matrix derived by mul-
tiplyingtherowsorcolumnsofEby some elements
of G\{}. By Lemma 3.1, it can be seen easily that
the RLDPC code with the exponent matrix Eis equiv-
alent with an APM-LDPC code if and only if there
is an extension of E,sayEe, such that all of the ele-
ments of Eebelong to the set {aA,:aG}.Incon-
tinue, type-I and type-II RLDPC codes are precedented
which are and are not equivalent with APM-LDPC codes,
respectively.
4. TYPE-I RLDPC CODES
Let E=(eR
i,j),inwhichei,jGand H=H(E)be the
PCM of the corresponding RLDPC code. Clearly, Ee=
(aA
i,j),aA
i,j=eR
i,1 eR
i,j, is an extension of E,sointhis
case, the RLDPC code with PCM His equivalent with
the APM-LDPC code with PCM H(Ee).Then,using
Theorem 2.3 and Theorem 3 in [13], pursuing the cycles
in the class of constructed RLDPC LDPC codes can be
summarized as follows.
Theorem 4.1: Each 2lcycle in TG(H)corresponds to a
chain (i0,j0);(i1,j1);··· ;(il1,jl1);(il,jl)=(i0,j0),ik=
ik+1and jk= jk+1,0kl1,suchthat
l1
k=0
eik,jk=
l1
k=0
eik+1,jk(4)
Especially, for 4-cycles, we have the following conse-
quence.
Corollary 4.2: For l =2and G =Z
min Theorem 4.1,
it can see easily that the Tanner graph of H=H(E)is
free of 4-cycle, if and only if each 2×2submatrix of E has
nonzero determinant.
Moreover, the following theorem investigates the condi-
tion in which the constructed RLDPC code is equivalent
with a QC-LDPC code.
Theorem 4.3: H(E)canbeconsideredasthePCMof
aQC-LDPCcodeife
2
i1,j1=e2
i2,j2in group G for each
(i1,j1)= (i2,j2)with 1i1,i2Jand1j1,j2L.
Here, we propose a class of RLDPC codes based on
cyclotomic cosets which are free of 4-cycles.
4.1 Cyclotomic Coset
For prime integer mand prime power q,(m,q)=1, let
Fqbe the nite eld of order qand xm1Fq[x], where
Fq[x]isthesetofnitedegreepolynomialshavingcoef-
cients in Fq.Thesplitting eld of xm1overFqis Fqs,
in which sisthesmallestpositiveintegersatisfyingin
m|qs1. The roots of xm1inthesplittingeldFqs
are called the mth roots of unity over Fq.Forxm1
Fq[x], let βbe a primitive element of the splitting eld
Fqs.Clearly,ω=β
qs1
misaprimitivemth root of unity,
that is, the mth roots of unity are {1, ω,ω2,...,ωm1}.
For 0 i<m,theconjugates of ωiare
ωi,ωiq,ωiq2,...,ωiqd1(5)
where dis the smallest positive integer for which iqd=
iin modulo m.Foreachi,0i<m,thesetCi=
4 M. GHOLAMI AND A. NASSAJ: LDPC CODES BASED ON RATIONAL FUNCTIONS
{i,iq,...,iqd1}, is referred to as the ith cyclotomic coset
of qmodulo m.Sincemis prime and sis the order of q
in modulo m,wehaves|m1, i.e. m1=ls, for a pos-
itive integer l,thenZ
mcan be partitioned to lcyclotomic
cosets Ci1,Ci2,··· ,Cil,forsomei1=1, i2,...,ilZ
m.
Clearly, for each k,1kl,wehaveCik=ikC1and
|Cik|=s.Now,deneM=(M1M2...Ml),inwhich
Mk,1kl, is the following circulant matrix.
Mk=
ikq0ikq1··· ikqs1
ikqs1ikq0··· ikqs2
.
.
..
.
.....
.
.
ikq1ikq2··· ikq0
s×s
(6)
It is veried in [15]thatforeach2×2submatrixab
cd
of M,wehavea+d= b+cmod m.Now,forM=
i,j),letCMbe the RLDPC code with lifting degree
qs1andtheexponentmatrixE=(eR
i,j),ei,j=ωμi,j.
The following lemma conrms that CMisa4-cyclefree
RLDPC code.
Lemma 4.4: CMhas girth at least 6.
Proof: By Corollary 4.2, it is sucient to verify that
each 2 ×2submatrixE1=ei1,j1ei1,j2
ei2,j1ei2,j2of the exponent
matrix Ehas a nonzero determinant. However, det(E1)=
0ifandonlyifei1,j1ei2,j2=ei1,j2ei2,j1in Fqs,whichleadsto
μi1,j1+μi2,j2=μi1,j2+μi2,j1mod mandthisisacon-
tradiction with denition of the matrix M=i,j).
Example 4.5: for n=11 and q=3, we have l=2,
s=5andM=(M1M2),where
M1=
13954
41395
54139
95413
39541
,
M2=
2 6 7108
826710
108267
710826
671082
Then, CMis a (5, 10)RLDPC code with lifting degree 242
and girth 6.
Adding an all-zero row-vector to the matrix M,and
then adding an all-zero column vector to the left side
of the obtained matrix gives the following (s+1)(sl +1)
matrix extension Mex.
Mex =00 0··· 0
0M1M2··· Ml
Moreover, if V=(Ci1Ci2···Cil)be the vector from the
concatenation of the cyclotomic cosets Cik,1kl,
then Mkr can be dened as the Kronecker product of VT,
the transpose of V,withVmodulo m, i.e. Mkr :=VT
V. Similar to Lemma 4.4, CMex and CMkr are RLDPC
codes having girth at least 6.
5. TYPE-II RLDPC CODES
AnotherclassofRLDPCcodesarethosewhicharenot
equivalent with APM-LDPC codes, i.e. each extension of
the PCM contains some elements corresponding to ratio-
nal functions. Unfortunately, in this case, there are not
a regular relation, other than Theorem 2.3, to represent
the cycles. On the other hand, there are some dierent
explicit methods to construct such RLDPC codes. Here,
we just consider two classes of (conventional) RLDPC
codes which are not equivalent with APM-LDPC codes
and they are 4-cycle free.
5.1 Normal RLDPC Codes
By a normal RLDPC code, we mean the RLDPC code
with the following exponent matrix.
E=
eA
1,1 eA
1,2 ··· eA
1,L
eA
2,1 eR
2,2 ··· eR
2,L
.
.
..
.
.....
.
.
eA
J,1 eR
J,2 ··· eR
J,L
(7)
in which the rst row and column correspond to ane
functions and the other elements correspond to ratio-
nal function. For example, the exponent matrix of the
RLDPC code in Example 3.3 is in the normal form.
Now, using Theorem 2.3 for l=2, each 4-cycle in a nor-
mal RLDPC code with the exponent matrix in Equation 7
corresponds to one of the following cases.
(1) a1
i1,j0ai0,j0x=ai1,j1a1
i0,j1x1,Figure1,Part(a).
(2) ai1,j0a1
i0,j0x1=ai1,j1a1
i0,j1x1,Figure1,Part(b).
(3) a1
i1,j0ai0,j0x=ai1,j1a1
i0,j1x,Figure1,Part(c).
(4) ai1,j0a1
i0,j0x=ai1,j1a1
i0,j1x,Figure1, Part (d).
5.2 Diameter RLDPC Codes
By a diameter RLDPC code,wemeananRLDPCcode
with the exponent matrix E=(ei,j)J×L,inwhichei,j
M. GHOLAMI AND A. NASSAJ: LDPC CODES BASED ON RATIONAL FUNCTIONS 5
Figure 1: All of the possible 4-cycles appeared in the EFM of normal and diameter RLDPC codes.
corresponds to an ane function if and only if i=jmod
J. For example, the exponent matrix of a (3, 7)diameter
RLDPCcodeisinthefollowingform.
E=
aA
1,1 aR
1,2 aR
1,3 aA
1,4 aR
1,5 aR
1,6 aA
1,7
aR
2,1 aA
2,2 aR
2,3 aR
2,4 aA
2,5 aR
2,6 aR
2,7
aR
3,1 aR
3,2 aA
3,3 aR
3,4 aR
3,5 aA
3,6 aR
3,7
For diameter RLDPC codes, each 4-cycle corresponds to
one of the following cases.
Figure 2: RLDPC codes against QC, APM and PEG codes.
(1) ai1,j0a1
i0,j0x1=a1
i1,j1ai0,j1x,Figure1,Part(e).
(2) ai1,j0a1
i0,j0x1=ai1,j1a1
i0,j1x,Figure1,Part(f).
(3) ThiscaseissameasCase2fornormalRLDPCcodes.
(4) ThiscaseissameasCase4fornormalRLDPCcodes.
To constructed normal and diameter RLDPC codes with
girth at least 6, the exponent matrices are constructed
such that the corresponding relations 1–4 in Section (A)
or Section (B) are avoided.
5.3 Simulation Results
Forsimulationresults,wehaveusedanadditivewhite
Gaussian noise (AWGN) channel, using software avail-
able online [18]. The decoding algorithm is sum-product
with iteration number 20 and block number 10000.
Figure 2is provided a bit error performance compari-
son between the normal and diameter RLDPC codes with
girth 6, denoted by RLDPC-T1 and RLDPC-T2, respec-
tively, on one hand and randomly constructed QC-LDPC
codes, APM-LDPC codes [13]andLDPCcodesbasedon
PEG [5], on the other hand. As the gure conrms, the
constructed type-II RLDPC codes outperform QC, APM
andPEGcodeswiththesamelength,rateandgirth.
ACKNOWLEDGMENTS
Theauthorswouldliketothanktheanonymousrefereefor
their helpful comments.
DISCLOSURE STATEMENT
No potential conict of interest was reported by the
author(s).
FUNDING
This work was supported by the research council of Shahrekord
University.
ORCID
Mohammad Gholami http://orcid.org/0000-0002-3174-0138
6 M. GHOLAMI AND A. NASSAJ: LDPC CODES BASED ON RATIONAL FUNCTIONS
REFERENCES
1. R. G. Gallager, “Low-density parity-check codes,” IEEE
Trans. Inform. Theory, Vol. IT-8, no. 1, pp. 21–28, Jan. 1962.
2. R. M. Tanner, “Arecursive approach to low complexity
codes,” IEEE Trans. Inform. Theory, Vol. IT-27, pp. 533–547,
Sept 1981.
3. F. R. Kschischang, B. J. Frey and H. A. Loeliger, “Factor
graphs and the sum-product algorithm,” IEEE Trans. Inform.
Theory, Vol. 47, no. 2, pp. 498–519, Feb. 2001.
4. D. J. C. MacKay and R. M. Neal, “Near Shannon limit per-
formance of low density parity-check code,” IEEE Electron.
Lett., Vol. 32, no. 18, pp. 1645, Aug. 1996.
5.X.Y.Hu,E.EleftheriouandD.M.Arnold,“Regular
and irregular progressive edge-growth tanner graphs,” IEEE
Trans. Inform. Theory, Vol. 51, no. 1, pp. 386–398, Jan.
2005.
6. J. Thorpe“Low-dencity parity-check (LDPC) codes con-
structed from protographs,” IPN Progress Report, Aug. 2003.
pp. 42–154.
7. Marc P. C. Fossorier, “Quasi-cyclic low-density parity-check
codes from circulant permutation matrices,” IEEE Trans.
Inform. Theory, Vol. 50, no. 8, pp. 1788–1793, 2004.
8. H.Song,J.LiuandB.V.K.V.Kumar,“Largegirthcyclecodes
for partial response channels,IEEE Trans. Magn., Vol. 40,
pp. 3084–3086, 2004.
9. S. Kim, J-S. No, H. Chung and D-J. Shin, “Quasi-cyclic
low-density parity-check codes with girth larger than 12,”
IEEE Trans. Inform. Theory, Vol. 53, pp. 2885–2891, Aug
2007.
10. M. Gholami, M. Samadieh and Gh. Raeisi, “Column-
weight three QC LDPC codes with girth 20,” IEEE Commun.
Lett., Vol. 17, pp. 1439–1442, July 2013.
11. M. Karimi and A. H. Banihashemi, “On the girth of quasi-
cyclic protograph LDPC codes,” IEEE Trans. Inform. Theory,
Vol. 59, pp. 4542–4552, July 2013.
12. S. Sonavane, D. P. Rathod, S. Sukhdeve and A. Patil, “Con-
struction of irregular LDPC code using ACE algorithim,”
Int. J. Adv. Res. Computer Sci. Softw. Eng.,Vol.3,no.3,
pp. 650-–653, March 2013.
13. M. Gholami and M. Alinia, “High-performance binary
and non-binary low-density parity-check codes based on
ane permutation matrice,IET Commun.,Vol.9,no.17,
pp. 2114–2123, Nov. 2015.
14. M. Gholami and M. Alinia, “Explicit APM-LDPC codes
with girths 6, 8, and 10,” IEEE Signal Process. Lett.,Vol.24,
no. 6, pp. 741–745, 2017.
15. M.Esmaeili,M.NajaanandA.T.Gulliver,“Structured
quasi-cyclic low-density parity-check codes based on cyclo-
tomic cosets,” IET Commun., Vol. 9, no. 4, pp. 541–547, Jan
2015.
16. M. Gholami and A. Nassaj, “Row and column extensions of
4-cyclefreeLDPCcodes,IEEE Commun. Lett., Vol. 20, no. 1,
pp. 25–28, 2016.
17. Z. Gholami and M. Gholami, “Anti quasi-cyclic LDPC
codes,” IEEE Commun. Lett., Vol. 22, no. 6, pp. 1116–1119,
Jun. 2018.
18. Radford M. Neal, “Software for Low Density Parity
Check (LDPC) codes,” copyright © 1995–2012. Available:
http://www.cs.utoronto.ca/ radford/ldpc.software.html
AUTHORS
Mohammad Gholami wasbornin27
July 1979, Isfahan, Iran, received the M.S.
degree in Mathematics in 2003 from Sharif
University of Technology, Tehran, Iran,
and the Ph.D degree in Mathematics
(Coding Theory) in 2009 form Isfahan
University of Technology, Isfahan, Iran.
His research interest includes algebraic
coding theory, LDPC codes and iterative decoding algorithms.
Since September 2009 he has been with the Department of
Mathematical Sciences at Shahrekord University, Shahrekord,
Iran, where he is now an Associate Professor.
Corresponding author Email: gholami-m@sci.sku.ac.ir; gho-
lamimoh@gmail.com
Akram Nassaj was born in Iran, she
received the B.E. degree in Mathemati-
calfromKashanUniversityofIranand
M.E. degree in mathematical from Sharif
University of Technology of Tehran. She
is now a doctor candidate of coding. Her
research interests include LDPC codes.
Email: akramnassaj@gmail.com.
ResearchGate has not been able to resolve any citations for this publication.
Article
Full-text available
LDPC codes based on affine permutation matrices, APM-LDPC codes, have been attracted recently, because of some advantages rather than QC-LDPC codes in minimum-distance, cycle distribution and error-rate performance. In this paper, circulant and anti-circulant permutation matrices are used to define a class of LDPC codes, called AQC-LDPC codes, which can be considered as an especial case of APM-LDPC codes. In fact, each AQC-LDPC code can be verified by a sign matrix and a slope matrix which are helpful to show each cycle in the Tanner graph by a modular linear equation. For the normal sign matrix A, if −1 ∈ A, it is shown that the corresponding AQC-LDPC code has maximum-girth 8. Finally, two explicit constructions for AQC-LDPC codes with girths 6, 8 are presented which have some benefits rather than the explicitly constructed QC and APM LDPC codes in minimum-distance, cycle distributions and bit-error-rate performances.
Article
Full-text available
Recently, some attentions have been focused on a class of low-density parity-check codes from affine permutation matrices, called APM-LDPC codes, which have some advantages rather than QC-LDPC codes in the minimum-distance, cycle distribution and error-rate performance. In this paper, first, some novel explicit constructions for exponent matrices of conventional APM-LDPC codes with girths 6, 8 and 10 are investigated and for each given exponent matrix E corresponding to an APM-LDPC code with girth 2g 3≤ g ≤ 5, a lower bound Q = Q(E, g) is obtained, such that APM-LDPC codes with exponent matrix E have girth at least 2g, for each (prime) APM-size m≥Q. Then, regarding to reduce the lowerbound, an improved bound IQ is obtained which is significantly better than some lower-bounds reported for QC-LDPC codes with explicit constructions. Simulation results show that the constructed APM-LDPC codes outperform QC-LDPC codes with the same girth.
Article
Full-text available
In this letter, an approach is proposed to increase the row (column)-weight of the parity-check matrix of a 4-cycle free LDPC code such that the constructed LDPC code has girth of at least 6. In fact, to each parity-check matrix H, a new graph Gr (H) (Gc(H)) is assigned in which the vertices correspond to the rows (columns) of H and two vertices are adjacent if and only if the associated rows (columns) have in common at least one nonzero element. Now, in a proper vertex coloring of Gr (H) (Gc(H)), each color is considered as a new column (row) whose nonzero elements happen in the rows (columns) in which the corresponding vertices have the same color. Based on this method, some high-rate LDPC codes with girth 6 and column-weight of at least 4 can be constructed from the recently proposed column-weight three LDPC codes with girth 6. Moreover, using the mutually orthogonal Latin squares, this approach is applied on the incidencematrices of some complete bipartite graphs to generate some girth-6 LDPC codes with different column-weights and large minimum-distances.
Article
Full-text available
Low-density parity-check (LDPC) codes from affine permutation matrices, called APM-LDPC codes, are a class of LDPC codes whose parity-check matrices consist of zero matrices or APMs of the same orders. APM-LDPC codes are not quasi-cyclic (QC), in general. In this study, necessary and sufficient conditions are provided for an APM-LDPC code to have cycles of length 2l, l 2, and a deterministic algorithm is given to generate APM-LDPC codes with a given girth. Unlike Type-I conventional QC-LDPC codes, the constructed (J, L) APM-LDPC codes with the J x L all-one base matrix can achieve minimum distance greater than (J + 1)! and girth larger than 12. Moreover, the lengths of the constructed APM-LDPC codes, in some cases, are smaller than the best known lengths reported for QC-LDPC codes with the same base matrices. Another significant advantage of the constructed APM-LDPC codes is that they have remarkably fewer cycle multiplicities compared with QC-LDPC codes with the same base matrices and the same lengths. Simulation results show that the binary and non-binary constructed APM-LDPC codes with lower girth outperform QC-LDPC codes with larger girth.
Article
Full-text available
In this paper, some well-structured block designs are presented whose incidence matrices can be considered as the mother matrices of some regular and irregular column-weight three quasi cyclic low-density parity-check codes of girth 20. The class of LDPC codes derived from our construction possesses much more flexibility in terms of code length and rate. Moreover, the length of the regular constructed codes with rate at most 0.5 is at least 4.9 times smaller than the length of the voltage graph LDPC codes with the same rate and girth. Simulation results show that the constructed codes outperform progressive edge growth, repeat accumulate and random LDPC codes.
Article
Algorithms that must deal with complicated global functions of many variables often exploit the manner in which the given functions factor as a product of “local” functions, each of which depends on a subset of the variables. Such a factorization can be visualized with a bipartite graph that we call a factor graph, In this tutorial paper, we present a generic message-passing algorithm, the sum-product algorithm, that operates in a factor graph. Following a single, simple computational rule, the sum-product algorithm computes-either exactly or approximately-various marginal functions derived from the global function. A wide variety of algorithms developed in artificial intelligence, signal processing, and digital communications can be derived as specific instances of the sum-product algorithm, including the forward/backward algorithm, the Viterbi algorithm, the iterative “turbo” decoding algorithm, Pearl's (1988) belief propagation algorithm for Bayesian networks, the Kalman filter, and certain fast Fourier transform (FFT) algorithms
Article
This study considers the construction of four-cycle free quasi-cyclic low-density parity-check (QC-LDPC) codes. These codes are based on the cyclotomic cosets of q modulo n where q is a prime power, n is a prime and (n, q) = 1. If s is the order of q modulo n, then n − 1 = sl for some integer l. Then there are l distinct cyclotomic cosets Cai, 1 ≤ i ≤ l. Concatenation of the l circulant matrices formed using these sets gives an s × sl matrix Mco(n, q). In addition, the Kronecker product of the transpose of ∪i Cai with itself modulo n gives an sl × sl matrix Mkr(n, q). Replacing the entries of these matrices with their associated dispersed binary n × n matrices provides binary QC-LDPC codes with girth at least six. Furthermore, for any prime power q′ such that q′ = n + 1 or q′ ≥ 2n, these two matrices can be used to construct q′-ary QC-LDPC codes with girth at least six. These constructions produce large classes of four-cycle free binary and non-binary QC-LDPC codes. Among the structured LDPC codes, the introduced technique, from code-construction-complexity perspective, which is an engineering factor, is at least among the best ones if not the best. P- rformance results are presented which show that the codes obtained perform well over additive white Gaussian noise channel with the iterative sum-product decoding algorithm.
Article
In this paper, we study the relationships between the girth of the Tanner graph of a quasi-cyclic (QC) protograph low-density parity-check (LDPC) code, the lifting degree, and the size and the structure of the base graph. As a result, for a given base graph, we derive a lower bound on the lifting degree as a necessary condition for the lifted graph to have a certain girth. This also provides an upper bound on the girth of the family of graphs lifted from a given base graph with a given lifting degree. The upper bounds derived here, which are applicable to both regular and irregular base graphs with no parallel edges, are in some cases more general and in some other cases tighter than the existing bounds. The results presented in this work can be used to design cyclic liftings with relatively small degree and relatively large girth. As an example, we present new QC protograph LDPC code constructions with girth 8 using fully connected base graphs. These constructions provide upper bounds on the lifting degree required for achieving girth 8 using fully connected base graphs.
Article
The authors report the empirical performance of Gallager's low density parity check codes on Gaussian channels. They show that performance substantially better than that of standard convolutional and concatenated codes can be achieved; indeed the performance is almost as close to the Shannon limit as that of turbo codes
Article
The authors report the empirical performance of Gallager's low density parity check codes on Gaussian channels. It is shown that performance substantially better than that of standard convolutional and concatenated codes can be achieved, indeed the performance is almost as close to the Shannon limit as that of Turbo codes