A Sub-Optimal Log-Domain Decoding Algorithm for Non-Binary LDPC Codes

Similar documents
1 Minimum Cut Problem

10. The Discrete-Time Fourier Transform (DTFT)

Construction of asymmetric orthogonal arrays of strength three via a replacement method

Chapter 10. The singular integral Introducing S(n) and J(n)

Introduction to Arithmetic Geometry Fall 2013 Lecture #20 11/14/2013

PROOF OF FIRST STANDARD FORM OF NONELEMENTARY FUNCTIONS

That is, we start with a general matrix: And end with a simpler matrix:

1 Isoparametric Concept

Middle East Technical University Department of Mechanical Engineering ME 413 Introduction to Finite Element Analysis

Symmetric centrosymmetric matrix vector multiplication

Mutually Independent Hamiltonian Cycles of Pancake Networks

COHORT MBA. Exponential function. MATH review (part2) by Lucian Mitroiu. The LOG and EXP functions. Properties: e e. lim.

Abstract Interpretation: concrete and abstract semantics

Search sequence databases 3 10/25/2016

Unconventional Behavior of the Noisy Min-Sum Decoder over the Binary Symmetric Channel

Elements of Statistical Thermodynamics

Homotopy perturbation technique

The Matrix Exponential

Homework #3. 1 x. dx. It therefore follows that a sum of the

ECE602 Exam 1 April 5, You must show ALL of your work for full credit.

The Equitable Dominating Graph

Slide 1. Slide 2. Slide 3 DIGITAL SIGNAL PROCESSING CLASSIFICATION OF SIGNALS

Solution: APPM 1360 Final (150 pts) Spring (60 pts total) The following parts are not related, justify your answers:

The Matrix Exponential

Addition of angular momentum

Quasi-Classical States of the Simple Harmonic Oscillator

The van der Waals interaction 1 D. E. Soper 2 University of Oregon 20 April 2012

International Journal of Scientific & Engineering Research, Volume 6, Issue 7, July ISSN

Dynamic Modelling of Hoisting Steel Wire Rope. Da-zhi CAO, Wen-zheng DU, Bao-zhu MA *

(Upside-Down o Direct Rotation) β - Numbers

Chapter 6. The Discrete Fourier Transform and The Fast Fourier Transform

Density Evolution and Functional Threshold. for the Noisy Min-Sum Decoder

cycle that does not cross any edges (including its own), then it has at least

EEO 401 Digital Signal Processing Prof. Mark Fowler

Koch Fractal Boundary Single feed Circularly Polarized Microstrip Antenna

Einstein Equations for Tetrad Fields

2008 AP Calculus BC Multiple Choice Exam

Higher order derivatives

The graph of y = x (or y = ) consists of two branches, As x 0, y + ; as x 0, y +. x = 0 is the

10. Limits involving infinity

Problem Set 6 Solutions

Machine Detector Interface Workshop: ILC-SLAC, January 6-8, 2005.

Self-Adjointness and Its Relationship to Quantum Mechanics. Ronald I. Frank 2016

2 AN OVERVIEW OF THE TENSOR PRODUCT

Fourier Transforms and the Wave Equation. Key Mathematics: More Fourier transform theory, especially as applied to solving the wave equation.

First derivative analysis

LINEAR DELAY DIFFERENTIAL EQUATION WITH A POSITIVE AND A NEGATIVE TERM

Linear-Phase FIR Transfer Functions. Functions. Functions. Functions. Functions. Functions. Let

22/ Breakdown of the Born-Oppenheimer approximation. Selection rules for rotational-vibrational transitions. P, R branches.

Properties of Quarks ( ) Isospin. π = 1, 1

15. Stress-Strain behavior of soils

Procdings of IC-IDC0 ( and (, ( ( and (, and (f ( and (, rspctivly. If two input signals ar compltly qual, phas spctra of two signals ar qual. That is

BROADBAND and wireless networks are currently the

u 3 = u 3 (x 1, x 2, x 3 )

Background: We have discussed the PIB, HO, and the energy of the RR model. In this chapter, the H-atom, and atomic orbitals.

Recall that by Theorems 10.3 and 10.4 together provide us the estimate o(n2 ), S(q) q 9, q=1

Full Waveform Inversion Using an Energy-Based Objective Function with Efficient Calculation of the Gradient

THE IMPACT OF A PRIORI INFORMATION ON THE MAP EQUALIZER PERFORMANCE WITH M-PSK MODULATION

2.3 Matrix Formulation

Function Spaces. a x 3. (Letting x = 1 =)) a(0) + b + c (1) = 0. Row reducing the matrix. b 1. e 4 3. e 9. >: (x = 1 =)) a(0) + b + c (1) = 0

3 Finite Element Parametric Geometry

DIFFERENTIAL EQUATION

Computing and Communications -- Network Coding

Propositional Logic. Combinatorial Problem Solving (CPS) Albert Oliveras Enric Rodríguez-Carbonell. May 17, 2018

4.2 Design of Sections for Flexure

Derivation of Electron-Electron Interaction Terms in the Multi-Electron Hamiltonian

Addition of angular momentum

Probability and Stochastic Processes: A Friendly Introduction for Electrical and Computer Engineers Roy D. Yates and David J.

Combating Network Pollution Attacks: A Cascaded Error-Control Coding Approach

CS 361 Meeting 12 10/3/18

Sliding Mode Flow Rate Observer Design

Introduction to Condensed Matter Physics

Title: Vibrational structure of electronic transition

Square of Hamilton cycle in a random graph

On spanning trees and cycles of multicolored point sets with few intersections

Chapter 6 Folding. Folding

u r du = ur+1 r + 1 du = ln u + C u sin u du = cos u + C cos u du = sin u + C sec u tan u du = sec u + C e u du = e u + C

Numbering Systems Basic Building Blocks Scaling and Round-off Noise. Number Representation. Floating vs. Fixed point. DSP Design.

Note If the candidate believes that e x = 0 solves to x = 0 or gives an extra solution of x = 0, then withhold the final accuracy mark.

Basic Polyhedral theory

Random Access Techniques: ALOHA (cont.)

A Prey-Predator Model with an Alternative Food for the Predator, Harvesting of Both the Species and with A Gestation Period for Interaction

Exam 1. It is important that you clearly show your work and mark the final answer clearly, closed book, closed notes, no calculator.

Equidistribution and Weyl s criterion

Comparison of Some Iterative Methods of Solving Nonlinear Equations

EXPONENTIAL ENTROPY ON INTUITIONISTIC FUZZY SETS

UNTYPED LAMBDA CALCULUS (II)

COMPUTER GENERATED HOLOGRAMS Optical Sciences 627 W.J. Dallas (Monday, April 04, 2005, 8:35 AM) PART I: CHAPTER TWO COMB MATH.

BSc Engineering Sciences A. Y. 2017/18 Written exam of the course Mathematical Analysis 2 August 30, x n, ) n 2

GEOMETRICAL PHENOMENA IN THE PHYSICS OF SUBATOMIC PARTICLES. Eduard N. Klenov* Rostov-on-Don, Russia

3-2-1 ANN Architecture

ANALYSIS IN THE FREQUENCY DOMAIN

Calculus concepts derivatives

Observer Bias and Reliability By Xunchi Pu

In this lecture... Subsonic and supersonic nozzles Working of these nozzles Performance parameters for nozzles

Numerical considerations regarding the simulation of an aircraft in the approaching phase for landing

Iterative learning control with initial rectifying action for nonlinear continuous systems X.-D. Li 1 T.W.S. Chow 2 J.K.L. Ho 3 J.

Engineering 323 Beautiful HW #13 Page 1 of 6 Brown Problem 5-12

SCALING OF SYNCHROTRON RADIATION WITH MULTIPOLE ORDER. J. C. Sprott

2. Laser physics - basics

Transcription:

Procdings of th 9th WSEAS Intrnational Confrnc on APPLICATIONS of COMPUTER ENGINEERING A Sub-Optimal Log-Domain Dcoding Algorithm for Non-Binary LDPC Cods CHIRAG DADLANI and RANJAN BOSE Dpartmnt of Elctrical Enginring Indian Institut of Tchnology, Dlhi INDIA Phon: +91-11-26591048, Email:rbos@.iitd.ac.in Abstract: - Low-Dnsity Parity-Chck (LDPC cods hav gaind significant popularity rcntly and hav bn rcommndd for various wirlss standards of th futur. Non-binary LDPC cods provid all th wll-known advantags of binary LDPC cods but allow for much shortr block lngths. Th sum-product dcoding algorithm for non-binary LDPC cods is too compl for fficint implmntation. Hnc, w hav rprsntd th sum-product algorithm in a novl logdomain form in trms of oprators dfind arlir in litratur. This form gratly simplifis th ky stp in th chck-nod procssing and allows us to rplac a ma* opration in th dcodr by a ma opration. This lads to a sub-optimal dcoding algorithm which w propos in this papr. Ky-Words: - Low Dnsity Parity Chck (LDPC Cods, Dcoding Algorithm 1 Introduction Low-Dnsity Parity-Chck Cods Low-Dnsity Parity- Chck (LDPC Cods ar linar block cods which ar dfind in trms of a vry spars parity-chck matri [1-6]. LDPC cods wr discovrd by R. G. Gallagr [2], in 1962 who dfind thm as A Low-Dnsity Parity- Chck Cod is a cod spcifid by a parity chck matri which has th following proprtis: ach column contains a small fid numbr 3 of 1s and ach row contains a small fid numbr k > of 1s. Rgular LDPC cods ar thos in which th numbr of symbols participating in ach parity chck as wll as th numbr of parity chcks a symbol participats in is constant. Cods which do not satisfy this proprty ar known as irrgular cods [6]. Ths two valus ar rspctivly known as th chck nod dgr (d c and variabl nod dgr (d v. LDPC cods hav bn shown to achiv arbitrarily low probability of rror for transmission rats blow but vry clos to th channl capacity as th block-lngth gos to infinity [5]. LDPC cods hav bn shown to b ffctiv rror-corrcting cods whn dcodd using soft dcoding. This papr is organizd as follows. W bgin with an introduction to EXIT charts and thir proprtis. W thn prsnt a novl rprsntation of th sum-product dcoding algorithm in th log domain. This rprsntation lads us to a sub-optimal dcoding algorithm. Finally, w prov th convrgnc bhaviour of this algorithm using EXIT charts. 2 EXIT Charts An important tool usd to track th convrgnc bhaviour of itrativ dcoding algorithms for LDPC cod is EXIT (Etrinsic Information Transfr Function charts [4]. Etrinsic Information Transfr Function (EXIT Charts track th flow of mutual information in th dcodr through th dcoding itrations. EXIT charts provid us an ffctiv tool to study th bhaviour of dcodrs by tracking ust on scalar paramtr. EXIT charts hav bn usd in this papr to study and compar th convrgnc proprtis of dcoding algorithms. Hnc, w hav assumd that all mssags which ar fd to th componnt dcodrs (th variabl nod dcodr and th chck nod dcodr ar Gaussian distributd and indpndnt[3]. Without loss of gnrality, all simulations hav bn carrid out for rgular LDPC cods with variabl dgr d v 3 and chck dgr d c 6 and hnc th rat of th cod is givn by dv R 1 d (1 c ISSN: 1790-5117 110 ISBN: 978-960-474-166-3

Procdings of th 9th WSEAS Intrnational Confrnc on APPLICATIONS of COMPUTER ENGINEERING 3 Th Sum-Product Dcoding Algorithm Th sum-product algorithm for dcoding non-binary LDPC cods has bn studid widly in litratur. Th variabl nod procssing stp is simpl and computationally light to implmnt. Th chck nod dcoding stp on th othr hand, rquirs a sris of lngthy computations. Th lft-bound itration of th sum-product algorithm in th probability domain, as dscribd in litratur, can b rprsntd in a compact form as follows [1]: + g g d 1 1 ( ( d n g g n n 1 r [ ( ] whr r ( n is a right-bound mssag vctor (input mssag to th lft-bound stp and convolution oprator oprats on d -1 incoming mssags whr d is th chck nod dgr. Th + g oprator usd abov is dfind as follows [1]:,,..., g 1 + g ( q 1 + g Similarly, th g oprator is dfind as follows:,,..., 0 g 2. g ( q 1. g It should b notd that th ky stp in this procssing is th convolution oprator. Hnc, w focus on writing th convolution opration in a simplr form. 4 Log-domain GF(q Convolution Lt us considr two probability vctors p ( p0, p1, p2, p3 and q ( q0, q1, q2, q3 dfind ovr GF(4. Th corrsponding GF(4 vctor lmnts can b writtn as follows: p0 p0 w0 log( 0 w1 log( p0 p1 p0 p0 w2 log( w3 log( p2 p3 q0 q0 v0 log( 0 v1 log( q0 q1 q0 q0 v 2 log( log( q q (5 2 3 (2 (3 (4 By dfinition, th rsult of th convolution opration on p and q probability vctors is givn by: q (,,, q (0, 0 3 1 2 2 1 3 0 Th corrsponding vctor of this convolution is givn by:, p0q0+ p1q1 + p2q2+ p3q3 (21, log( log( p0q3+ p1q2 + p2q1+ p3q0 log( p0q0+ p1q1 + p2q2+ p3q3 (22 Also, it must b notd that for any i and, q (0 p q p q ( wi+ v 0 0 ( w0+ v1 ( w1+ v0 ( w2+ ( w3+ + + log(, ( w0+ v0 ( w1+ v1 ( w2+ ( w3+ + + ( w0+ ( w1+ ( w2+ v0 ( w3+ v1 + + log(, ( w0+ v0 ( w1+ v1 ( w2+ ( w3+ + + ( w0+ ( w1+ ( w2+ v1 ( w3+ v0 + + log(, ( w0+ v0 ( w1+ v1 ( w2+ ( w3+ + + i (6 (7 (8 Thrfor, th vctor of th convolution of th two vctors can b writtn as: W dfin th ma oprator as follows [6]: (9 ISSN: 1790-5117 111 ISBN: 978-960-474-166-3

Procdings of th 9th WSEAS Intrnational Confrnc on APPLICATIONS of COMPUTER ENGINEERING ma ( ( log 1 (10 Using this ma* oprator w rdfin th convolution oprator as: q (0, ma [ ( w + v, ( w + v, ( w + v, ( w + v ] J ma [ ( w + v, ( w + v, ( w + v, ( w + v ], ma [ ( w + v, ( w + v, ( w + v, ( w + v ] ma [ ( w + v, ( w + v, ( w + v, ( w + v ], ma [ ( w + v, ( w + v, ( w + v, ( w + v ] 0 3 1 2 2 1 3 0 ma [ ( w + v, ( w + v, ( w + v, ( w + v ] (11 Hnc, th convolution oprator can now b dfind for th gnral GF(q cas as follows: (1 (2 ( a k a + (1 (2 [ ] ma* k GF( q a GF( q (12 ma ( a, b ma( a, b + ln[1 + p( a b ] (13 From this altrnat dfinition it can b sn that th ma* oprator can b split as th sum of th ma oprator and an additional trm. Hnc, if it can b shown that th contribution of th additional trm is ngligibl, w will b abl to optimiz th sum-product dcoding algorithm by approimating th ma* oprator with th ma oprator in th chck nod procssing stag. It must b notd that this is possibl only whn th dcoding is don in th domain and is du to th rprsntation of th GF(q convolution oprator as a sris of ma* oprations. Th charactristics of th ma* function can b studid by plotting a graph of th ln[1 + p( ] function in Fig.1 for varying valus of. Hr rprsnts th diffrnc btwn th inputs of th ma* function. Hnc, sinc th contribution of th scond trm in th ma* oprator is ngligibl for largr valus, w hav nglctd it and significantly rducd th computational burdn of th chck nod procssing stp. It can b sn that th convolution oprator in GF(q now contains a sris of ma* oprations whn cutd in th domain as compard to a sris of multiplication oprations whn cutd in th probability domain. Thrfor, by oprating in th domain w can rduc th computational complity of th convolution oprator. Our optimization of th sumproduct algorithm is basd upon this particular structur of th convolution oprator. 5 Sub-optimal Dcoding Algorithm Th sub-optimal dcoding algorithm for non-binary LDPC cods is basd upon am approimation similar to th on mad in th sum-min dcoding algorithm for binary LDPC cods [6-9]. Th algorithm works in th log-liklihood ratio domain. Th ky sub-optimal stp in th algorithm is th rplacmnt of a ma function by a ma function. Th ma oprator which was dfind and usd in th prvious chaptr for rprsnting th convolution oprator in th domain can b altrnatly dfind as follows [6]: Figur 1: Proprtis of th ma* function 6 EXIT Chart Simulations EXIT chart simulations for th sub-optimal algorithm ar prsntd in Fig. 3 and Fig. 4 compars th chck nod dcodr curvs of th sub-optimal algorithm and th sum-product algorithm. Th chck nod procssing is th sam in both algorithms and hnc, only a chang in th chck nod curv was obsrvd. In cas of th EXIT chart for sum-product dcoding, th dcoding tractory has also bn plottd along with th EXIT chart. Both dcodrs hav bn implmntd in MATLAB and dcoding has bn tstd for block- ISSN: 1790-5117 112 ISBN: 978-960-474-166-3

Procdings of th 9th WSEAS Intrnational Confrnc on APPLICATIONS of COMPUTER ENGINEERING lngths of up to 50,000 symbols. Th dcodrs convrg in a finit numbr of stps. Figur 2: EXIT chart for sum-product dcoding of non-binary LDPC cods Figur 4: Comparison of chck nod curvs for sub-optimal and sum-product dcoding 7 Conclusions Th chck nod curvs for both dcodrs ar compard in Fig. 4. Also, w s that thr is a loss in thrshold SNR of approimatly 0.5 db for th sub-optimal algorithm as sn from Fig. 5. Th thrshold of th sumproduct dcoding lis at 1.8 db whras that of th suboptimal algorithm is at 2.3 db. Hnc, th sub-optimal algorithm rquirs an additional 0.5 db of input SNR for th dcodr to convrg. Figur 3: EXIT chart for sub-optimal dcoding algorithm Figur 5: Comparison of numbr of itrations ndd by both algorithms ISSN: 1790-5117 113 ISBN: 978-960-474-166-3

Procdings of th 9th WSEAS Intrnational Confrnc on APPLICATIONS of COMPUTER ENGINEERING Howvr, a spdup of 7% (for 100 symbol long cods and 9% (for 1000 symbol long cods has bn obsrvd in th MATLAB implmntation of th sub-optimal dcodr. Whn th dcodr is implmntd on a DSP, significant prformanc improvmnts will b sn bcaus th sub-optimal dcodr now consists ntirly of additions, subtractions, comparisons and log and division functions hav bn liminatd. Rfrncs: [1] Bnnatan and D. Burshtin, Dsign and analysis of nonbinary LDPC cods for arbitrary discrtmmorylss channls, IEEE Transactions on Information Thory, vol. 52, no. 2, pp. 549-583, Fbruary 2006 [2] R. G. Gallagr, Low Dnsity Parity Chck Cods. Cambridg, MA MIT Prss, 1963 [3] E. Sharon, A. Ashikhmin, and S. Litsyn, EXIT functions for th Gaussian channl, in Proc. 40th Annu. Allrton Conf. Communication, Control, and Computrs, Allrton, IL, Oct. 2003, pp. 972 981 [4] S. tn Brink, G. Kramr, and A. Ashikhmin, Dsign of low-dnsity parity-chck cods for modulation and dtction, IEEE Trans. Commun., vol. 52, no. 4, pp. 670 678, Apr. 2004 [5] S. tn Brink, Convrgnc bhavior of itrativly dcodd paralll concatnatd cods, IEEE Trans. Commun., vol. 49, no. 10, pp. 1727 1737, Oct. 2001 [6] H. Wymrsch, H. Stndam, and M. Monclay, Log-domain dcoding of LDPC cods ovr GF(q, in Proc. IEEE Int. Conf. Communications, Paris, Franc, Jun. 2004, pp. 772 776 [7] M. C. Davy and D. MacKay, Low-dnsity paritychck cods ovr GF(q, IEEE Commun. Ltt., vol. 2, pp. 165 167, Jun 1998 [8] T. J. Richardson and R. L. Urbank, Th capacity of low-dnsity parity chck cods undr mssagpassing dcoding, IEEE Trans. Inform. Thory, vol. 47, pp. 619 637, Fb. 2001 [9] Byrs, G.J.; Takawira, F., "EXIT charts for nonbinary LDPC cods," Communications, 2005. ICC 2005. 2005 IEEE Intrnational Confrnc on, vol.1, no.pp. 652-657 Vol. 1, 16-20 May 2005 ISSN: 1790-5117 114 ISBN: 978-960-474-166-3