Beruflich Dokumente
Kultur Dokumente
/VE %DFORS
$IVISION OF 3IGNAL 0ROCESSING
,ULE¥ 5NIVERSITY OF 4ECHNOLOGY
3
,5,%
3WEDEN
3EPTEMBER
II
!BSTRACT
4HIS THESIS ADDRESSES LOW
COMPLEXITY ALGORITHMS IN DIGITAL RECEIVERS 4HIS INCLUDES ALGO
RITHMS FOR ESTIMATION DETECTION AND SOURCE CODING
,OW
COMPLEXITY ALGORITHMS FOR ESTIMATION AND DETECTION IN THIS THESIS CONCERNS THE
APPROXIMATION OF OPTIMAL ALGORITHMS SO THAT A LOW COMPLEXITY IS OBTAINED WHILE MOST
OF THE ORIGINAL PERFORMANCE IS MAINTAINED 4WO DIdERENT PROBLEMS ARE STUDIED #HANNEL
ESTIMATION IN ORTHOGONAL FREQUENCY
DIVISION MULTIPLEXING /&$- SYSTEMS AND SEQUENCE
DETECTION IN SYSTEMS WITH INTER
SYMBOL INTERFERENCE )3) 4HE WORK ON CHANNEL ESTIMATION
IS FOCUSED ON WHAT CAN BE VIEWED AS TRANSFORM
BASED ESTIMATORS WHERE THE ESTIMATION IS
TRANSFORMED TO A DOMAIN THAT ALLOWS THE STATISTICAL PROPERTIES OF THE CHANNEL TO BE USED
EbCIENTLY FOR COMPLEXITY REDUCTION %STIMATORS BASED BOTH ON THE DISCRETE &OURIER TRANS
FORM $&4 AND ON LOW
RANK APPROXIMATIONS ARE ADDRESSED )T IS SHOWN THAT THESE TYPES
OF ESTIMATORS WITH PROPER DESIGN CONSIDERATIONS PROVIDE GOOD LOW
COMPLEXITY ESTIMATORS
EVEN THOUGH THE $&4
BASED ESTIMATORS HAVE A TENDENCY TO SUdER FROM APPROXIMATION ER
RORS AT HIGH SIGNAL
TO
NOISE RATIOS
4HE WORK ON SEQUENCE DETECTION IN SYSTEMS WITH )3) IS A COMPARATIVE STUDY OF DESIGNS
IN A CLASS USUALLY REFERRED TO AS COMBINED LINEAR
6ITERBI EQUALIZERS #,6%S 4HE IDEA
BEHIND #,6%S IS TO SHORTEN THE IMPULSE RESPONSE OF THE CHANNEL BY A LINEAR PREçLTERING
BEFORE THE 6ITERBI DETECTOR IS APPLIED 4HE COMPARISON INCLUDES THREE PREVIOUSLY KNOWN
DESIGNS AND A MINIMAX DESIGN ! UNIçED DESIGN
FRAMEWORK IS ALSO DERIVED WHICH MAKES
THE COMPARISON EASIER
4HE LAST TWO PARTS OF THE THESIS ARE CONCERNED WITH THE DESIGN OF ROBUST VARIABLE
LENGTH CODES AND AN ANALYSIS OF THE DECODING SPEED FOR LOOK
UP TABLE BASED DECODERS FOR
VARIABLE
LENGTH CODES RESPECTIVELY
"Y ROBUST VARIABLE
LENGTH CODES ARE MEANT çXED VARIABLE
LENGTH CODES THAT HAVE A
LOW SUSCEPTIBILITY TO CHANGES IN THE PROBABILITY DISTRIBUTION OF THE SOURCE 2OBUSTNESS
MEASURES ARE DISCUSSED IN GENERAL AND A MEASURE CALLED GRADIENT ROBUSTNESS IS INTRODUCED
)T IS SHOWN THAT ONLY A SMALL LOSS IN THE DEGREE OF DATA COMPRESSION CAN RESULT IN SUBSTAN
TIALLY INCREASED ROBUSTNESS !S A SIDE EdECT THE PROPOSED DESIGN METHODS ALSO SHORTEN
THE LENGTH OF THE LONGEST CODE WORDS ALLOWING EbCIENT STORAGE OF CODE BOOKS
&INALLY THE DESIGN AND THE DECODING SPEED OF LOOK
UP TABLE BASED DECODERS FOR VARIABLE
LENGTH CODES ARE STUDIED 4HESE DECODERS ARE BASED ON USING THE CODED SEQUENCE FOR
INDEXING A TABLE THEREBY PROVIDING AN INSTANTANEOUS DECODING 4WO TYPES OF DECODERS
ARE STUDIED /NE ALLOWS A TRADE
Od BETWEEN DECODING SPEED AND MEMORY REQUIREMENT
III
IV
#ONTENTS
0REFACE VII
!CKNOWLEDGMENTS IX
4HESIS SUMMARY
%STIMATION AND DETECTION
3OURCE CODING
V
VI
4HIS DOCTORAL THESIS IS A RESULT OF MY TIME AS A 0H$ STUDENT AT THE $IVISION OF 3IGNAL
0ROCESSING ,ULE¥ 5NIVERSITY OF 4ECHNOLOGY
) HAVE BEEN INVOLVED IN THREE DIdERENT PROJECTS SINCE ) ENROLLED AS A 0H$ STUDENT
IN "ECAUSE OF THIS ) HAVE HAD THE OPPORTUNITY TO STUDY MANY DIdERENT ASPECTS OF
SIGNAL PROCESSING -Y PERSONAL INTEREST IN SIGNAL PROCESSING IS QUITE BROAD AND ) HAVE
ENJOYED WORKING WITH DIdERENT APPLICATIONS
) STARTED WITH SOURCE CODING IN AND CONTINUED UNTIL ) RECEIVED MY LICENTIATE DEGREE
IN 3HORTLY AFTER THIS ) HAD THE OPPORTUNITY TO WORK WITH LOW
COMPLEXITY EQUALIZERS
IN DIGITAL RECEIVERS A DIdERENT PROJECT WITHIN THE $IVISION OF 3IGNAL 0ROCESSING ) CHOSE
TO GO ON AN EXCURSION ALONG THIS NEW AT LEAST TO ME AND INTERESTING PATH LYING IN FRONT
OF ME $URING THIS PERIOD ) BECAME MORE INVOLVED IN OUR ONGOING COOPERATION WITH 4ELIA
2ESEARCH !" ,ULE¥ WHICH THEN LED ME IN THE DIRECTION OF ORTHOGONAL FREQUENCY
DIVISION
MULTIPLEXING /&$- 4HE COOPERATION WITH 4ELIA 2ESEARCH HAS HELPED ME TO çND INTER
ESTING AND RELEVANT RESEARCH PROBLEMS AND HAS ALSO RESULTED IN SEVERAL JOINT PUBLICATIONS
)N ADDITION TO OUR COOPERATION WITH INDUSTRY WE HAVE A COOPERATION WITH 0ROFESSOR 3ARAH
+ATE 7ILSON 0URDUE 5NIVERSITY WHICH HAS STRENGTHENED THE TELECOMMUNICATIONS ASPECTS
OF OUR RESEARCH 4HIS HAS ALSO RESULTED IN JOINT PUBLICATIONS OF WHICH SEVERAL ARE INCLUDED
IN THIS THESIS
)T IS ARMED WITH EXPERIENCES FROM THE ABOVE JOURNEY THROUGH THE WORLD OF SIGNAL
PROCESSING THAT ) TOGETHER WITH MY CO
AUTHORS HAVE PRODUCED THE MATERIAL PRESENTED IN
THIS THESIS
&INALLY ) WOULD LIKE TO ADD THAT ) HAVE CHOSEN TO ORGANIZE THIS THESIS INTO TWO TOPICS
Ô MOSTLY BECAUSE ) BELIEVE THEY GENERALLY APPLY TO DIdERENT AUDIENCES 4HE TWO TOPICS
ARE %STIMATION AND DETECTION AND 3OURCE CODING
VII
VIII
!CKNOWLEDGMENTS
)N THE LINE OF WORK AS A 0H$ STUDENT ) HAVE HAD THE OPPORTUNITY TO GET TO KNOW A LOT
OF PEOPLE WHO HAVE BOTH ENRICHED MY LIFE ON THE GREATER SCALE AND HAVE DIRECTLY ASSISTED
ME IN MY WORK 4HERE ARE SO MANY WHO HAVE BEEN SO IMPORTANT THAT ) WOULD LIKE TO
ACKNOWLEDGE THEM ALL HERE AND NOW BUT WHAT SCARES ME AND PROBABLY MANY IN THIS
SITUATION IS THAT THE MIND MAY SLIP AND SOMEONE NOT BE MENTIONED ) AM INDEBTED TO
YOU ALL
&IRST OF ALL ) WOULD LIKE TO EXTEND MY GRATITUDE TOWARDS MY ADVISOR 0ROFESSOR 0ER
/LA "¶RJESSON WHO HAS SUPPORTED ME IN MANY WAYS DURING THESE YEARS 7E HAVE HAD
NUMEROUS DISCUSSIONS ABOUT ALMOST EVERYTHING AND AT TIMES WHEN DISCUSSING INTERESTING
IDEAS ALMOST FORGOT ABOUT THE WORK AT HAND 4HE CURIOSITY WE SHARE HAS BEEN A GOOD
TEACHER
) AM ALSO IN GREAT DEBT TO 0ROFESSOR 3ARAH +ATE 7ILSON 0URDUE 5NIVERSITY 53! 7E
HAD JUST STARTED WORKING ON ORTHOGONAL FREQUENCY
DIVISION MULTIPLEXING WHEN SHE VISITED
US FOR THE çRST TIME IN "EING AN EXPERT ON THE NAMED SYSTEMS SHE HAS GUIDED
ME IN A WAY THAT ) AM ETERNALLY GRATEFUL FOR ) HAVE ALSO HAD THE PRIVILEGE TO SPEND SIX
MONTHS AS HER GUEST AT 0URDUE 5NIVERSITY IN
) WOULD ALSO LIKE TO ACKNOWLEDGE THE SUPPORT ) HAVE RECEIVED FROM MY CURRENT AND PAST
COLLEAGUES AT THE $IVISION OF 3IGNAL 0ROCESSING ) HAVE HAD A GREAT TIME BOTH SOCIALLY AND
ON THE JOB %SPECIALLY ) WOULD LIKE TO THANK *AN
*AAP VAN DE "EEK AND -AGNUS 3ANDELL
WITH WHOM ) HAVE WORKED VERY CLOSELY THE LAST FEW YEARS
! GREAT SOURCE FOR INSPIRATION HAS BEEN THE !PPLIED 3YSTEMS $EVELOPMENT 'ROUP AT
4ELIA 2ESEARCH !" ,ULE¥ /UR FREQUENT DISCUSSIONS AND MEETINGS HAVE SPAWNED MANY
INTERESTING QUESTIONS AND OUR WORK TOGETHER HAS HELPED ME TO A BETTER UNDERSTANDING OF
THE TERM ÞTECHNICAL RELEVANCEÞ
0AUL 0ETERSEN WHO ) GOT TO KNOW THROUGH 0ROFESSOR 7ILSON HAS BEEN OF GREAT ASSIS
TANCE 7E HAVE HAD MANY IN DEPTH DISCUSSIONS ABOUT EVERYTHING FROM TECHNICAL EDITING
PARTS OF THIS THESIS TO !MERICAN HISTORY
3OMEONE WHO HAS NOT DIRECTLY AdECTED THE CONTENTS OF THIS THESIS BUT STILL HAS HAD
A SIGNIçCANT IMPACT ON MY GENERAL KNOWLEDGE IN THE AREA OF SIGNAL PROCESSING IS $R
#HRISTOPHER +OH /UR DISCUSSIONS ON DIdERENT APPLICATIONS OF SIGNAL PROCESSING HAVE
BEEN BOTH INTERESTING AND EDUCATIONAL
,AST BUT NOT LEAST ) WOULD LIKE TO THANK MY FAMILY AND MY FRIENDS WHO HAVE PUT UP
WITH ME DURING THESE YEARS ) KNOW IT MAY HAVE SOMETIMES SEEMED THAT ) CHOSE MY WORK
BEFORE THEM BUT ) AM GRATEFUL FOR ALL THEIR PATIENCE AND SUPPORT AND ) ONLY HOPE THEY
WILL FORGIVE ME IF ) HAVE DISAPPOINTED THEM
"ECAUSE OF YOU THIS WORK HAS NOT ONLY BEEN POSSIBLE IT HAS BEEN A PLEASURE
IX
X
4HESIS SUMMARY
4HIS THESIS CONTAINS MATERIAL FROM THREE DIdERENT TOPICS THAT ) HAVE STUDIED 4HE THREE
TOPICS ARE CONCERNED WITH CHANNEL ESTIMATION IN ORTHOGONAL FREQUENCY
DIVISION MULTIPLEX
ING /&$- SYSTEMS COMBINED LINEAR
6ITERBI EQUALIZERS #,6%S AND VARIABLE
LENGTH
CODING ) HAVE CHOSEN TO PRESENT THE MATERIAL UNDER TWO MAIN TOPICS CHANNEL ESTIMATION
IN /&$- AND #,6%S UNDER %STIMATION AND DETECTION 0ARTS Ô AND VARIABLE
LENGTH
CODING UNDER 3OURCE CODING 0ARTS Ô 4HE TWO MAIN TOPICS ARE TREATED SEPARATELY
EVEN IF MOST OF THE MATERIAL IS DEALING WITH COMPLEXITY VERSUS PERFORMANCE
4HE SEVEN PARTS OF THIS THESIS ARE REPRODUCTIONS OF PUBLICATIONS WHOSE ORIGINAL REFER
ENCES ARE DISPLAYED BELOW 4HE CHANGES MADE ARE THE FOLLOWING 4O MAKE CROSS REFERENCING
AND CITATIONS UNIQUE SECTION AND EQUATION NUMBERING ARE CHANGED AND ALL REFERENCES ARE
COLLECTED IN A SINGLE BIBLIOGRAPHY AT THE END
;= / %DFORS - 3ANDELL *
* VAN DE "EEK $ ,ANDSTR¶M AND & 3J¶BERG !N INTRODUCTION
TO ORTHOGONAL FREQUENCY
DIVISION MULTIPLEXING 2ESEARCH 2EPORT 45,%! $IV OF
3IGNAL 0ROCESSING ,ULE¥ 5NIVERSITY OF 4ECHNOLOGY 3EPT
;= - 3ANDELL AND / %DFORS ! COMPARATIVE STUDY OF PILOT
BASED CHANNEL ESTIMATORS FOR
WIRELESS /&$- 2ESEARCH 2EPORT 45,%! $IV OF 3IGNAL 0ROCESSING ,ULE¥ 5NI
VERSITY OF 4ECHNOLOGY 3EPT 2ELATED PUBLICATIONS ; =
;= / %DFORS AND 0 / "¶RJESSON $ESIGN AND ANALYSIS OF ROBUST SOURCE CODES 2ESEARCH
2EPORT 45,%! ,ULE¥ 5NIVERSITY OF 4ECHNOLOGY ,ULE¥
INVERSE DISCRETE &OURIER TRANSFORM )$&4 4HE OUTPUT FROM THE )$&4 IS THEN TRANSMITTED
OVER THE CHANNEL AND NOISE IS ADDED /N THE RECEIVER SIDE THE DEMODULATION IS PERFORMED
BY A DISCRETE &OURIER TRANSFORM $&4 WHICH YIELDS THE - NOISY OUTPUTS X J
W X
W .OISE X
(#%3
#%3
#HANNEL
W- ` X- `
5NDER CERTAIN CONDITIONS SEE 0ART THE SYSTEM IN &IGURE CAN BE MODELLED AS
SHOWN IN &IGURE 4HIS MODEL CONSISTS OF - PARALLEL TRANSMISSION CHANNELS WITH AT
TENUATIONS G AND ADDITIVE NOISE M )F THE /&$- SYSTEM IS TRULY ORTHOGONAL THERE IS
J J
NO CROSSTALK BETWEEN TRANSMISSION CHANNELS AND NO )3) IS PRESENT IN THE SYSTEM IE CON
SECUTIVE /&$- SYMBOLS TRANSMITTED OVER THE CHANNEL DO NOT INTERFERE WITH ONE ANOTHER
X 7G
M
G M
W X
G M
W X
G- ` M- `
W- ` X- `
&IGURE /&$- SYSTEM MODELLED AS - PARALLEL CHANNELS WITH CORRELATED ATTENUATIONS
AND ADDITIVE NOISE
WHERE 7 IS A DIAGONAL MATRIX WITH THE TRANSMITTED CONSTELLATION POINTS ON ITS DIAGONAL G
IS A VECTOR OF CHANNEL ATTENUATIONS X IS A VECTOR OF RECEIVED DATA AND M IS A NOISE VECTOR
+NOWING 7 THE STRAIGHT
FORWARD LINEAR MINIMUM MEAN
SQUARED ERROR ,--3% ES
TIMATE OF THE CHANNEL G IS ;=
B 1 1` X
G GX
XX
WHERE 1 IS THE CROSS
CORRELATION MATRIX BETWEEN THE CHANNEL G AND THE RECEIVED DATA
GX
X AND 1 IS THE AUTO
CORRELATION MATRIX OF THE RECEIVED DATA %VEN IF THIS ESTIMATOR
XX
IS DESIGNED FOR çXED CORRELATION MATRICES THE COMPUTATIONAL COMPLEXITY BECOMES PRO
HIBITIVELY LARGE Ô THE ESTIMATION REQUIRES - MULTIPLICATIONS IN AN - `SUBCARRIER SYSTEM
4WO METHODS FOR LOWERING THE COMPUTATIONAL COMPLEXITY OF THIS /&$- CHANNEL ESTIMA
TOR ARE INVESTIGATED IN THIS THESIS 0ARTS Ô "OTH METHODS ARE TRANSFORM BASED AND
A SCHEMATIC STRUCTURE OF THE ESTIMATORS IS DISPLAYED IN &IGURE !N INTUITIVE EXPLA
NATION OF THE GENERAL APPROACH IS THAT BY CHOOSING A PROPER TRANSFORM
DOMAIN WE CAN
CONCENTRATE THE POWER OF THE CHANNEL TO A FEW TRANSFORM COEbCIENTS AND PERFORM THE
ESTIMATION IN A SPACE OF LOWER DIMENSION 4HIS IS POSSIBLE SINCE THE /&$- SYMBOLS
ARE BY DESIGN MUCH LONGER THAN THE IMPULSE RESPONSE OF THE TRANSMISSION CHANNEL 4HE
FREQUENCY RESPONSE IS THEREFORE OVERSAMPLED IN X AND CAN BE DESCRIBED ACCURATELY IN A
LOWER DIMENSION &OR THIS APPROACH TO YIELD A LOW
COMPLEXITY SOLUTION THE COMPLEXITY
OF THE TRANSFORMS AND THE ESTIMATION IN THE TRANSFORM DOMAIN HAS TO HAVE A COMBINED
COMPLEXITY LOWER THAN THE ORIGINAL - MULTIPLICATIONS
)N 0ART WE INVESTIGATE THE POSSIBILITY OF USING THE $&4 AS A POWER CONCENTRATING
TRANSFORM 4HE $&4 APPROACH HAS ALSO BEEN SUGGESTED FOR DISCRETE
TIME CHANNELS BY
#HINI ; = /UR ANALYSIS IS DIdERENT FROM THE ANALYSIS IN ;= IN THAT WE USE CONTINUOUS
TIME CHANNEL MODELS &OR LOW 3.2S THIS TYPE OF ESTIMATOR PERFORMS RELATIVELY WELL
BUT IN ORDER TO AVOID AN ERROR
âOOR INHERENT IN THIS TYPE OF ESTIMATOR A LARGE NUMBER
OF TRANSFORM COEbCIENTS ARE NEEDED /NE OF THE ANALYZED ESTIMATORS WHICH IS A NEW
DESIGN BOTH OBTAINS ITS MAXIMAL PERFORMANCE AND MAINTAINS ITS LOW COMPLEXITY WHEN ALL
COEbCIENTS ARE USED
)N 0ART WE APPLY THE THEORY OF OPTIMAL RANK REDUCTION ;= TO THE SAME CHANNEL
ESTIMATION PROBLEM 4HESE LOW
RANK ESTIMATORS CAN ALSO BE INTERPRETED IN THE STRUCTURE
OF &IGURE WHERE THE TRANSFORMS NOW DEPEND ON THE STATISTICAL PROPERTIES OF THE CHAN
NEL 3INCE THIS APPROACH YIELDS A BETTER OPTIMAL CONCENTRATION OF CHANNEL POWER IN THE
TRANSFORM DOMAIN THE ,--3% ESTIMATOR CAN BE APPROXIMATED WITH THE SAME ACCURACY
IN A SMALLER SUBSPACE THAN WITH $&4)$&4 (OWEVER AT THE SAME TIME THE TRANSFORMS
ARE NO LONGER FAST AND THIS INCREASES THE COMPLEXITY PER USED TRANSFORM COEbCIENT )N
THIS PART IT IS ALSO SHOWN THAT A çXED LOW
RANK ESTIMATOR DESIGN FOR A WORST
CASE CHANNEL
AND A HIGH 3.2 GIVES A GOOD ESTIMATOR PERFORMANCE UNDER MISMATCH 4HIS IS SIMILAR TO
THE RECOMMENDATIONS FOR THE DESIGN OF SINGLE
CARRIER PILOT
ASSISTED MODULATION 03!-
SYSTEMS BY #AVERS IN ;=
4HE INVESTIGATED CHANNEL ESTIMATORS HAVE SO FAR ONLY EXPLOITED THE FREQUENCY CORRELA
TION OF THE CHANNEL )N 0ART WE TAKE THE ANALYSIS ONE STEP FURTHER BY INCLUDING TIME
CORRELATION AS WELL 4O DO THIS SEVERAL CONSECUTIVE /&$- SYMBOLS HAVE TO BE OBSERVED
AND WE MODIFY THE MODEL TO
X 7G
M
K K K K
WHERE K IS THE TIME INDEX 4HE ANALYZED SYSTEM IS BASED ON A SCENARIO WHERE THE CHANNEL
ESTIMATORS USE SCATTERED PILOTS 4HIS MEANS THAT ONLY A SMALL FRACTION OF THE TRANSMITTED
DATA IN THE 7 S ARE KNOWN AT THE RECEIVER 4HE OPTIMAL LINEAR CHANNEL ESTIMATOR IN
K
THIS SITUATION IN TERMS OF MEAN
SQUARED ERROR IS A TWO
DIMENSIONAL
$ 7IENER çLTER
(OWEVER IN ;= (¶HER ARGUES THAT THE
$ 7IENER çLTER IS OF TOO HIGH A COMPLEXITY AND
PROPOSES THE USE OF SEPARABLE çLTERS 7E DESIGN LOW
RANK APPROXIMATIONS OF BOTH THE
$ 7IENER çLTER AND THE SEPARABLE çLTER AND COMPARE THE PERFORMANCES OF ALL çLTERS
4HE COMPARISON SHOWS THAT THE USE OF SEPARABLE çLTERS CAN INCREASE THE PERFORMANCE
SUBSTANTIALLY COMPARED TO
$ çLTERS WITH THE SAME COMPLEXITY &URTHER IF LOW
RANK
APPROXIMATIONS OF THE TYPE DISCUSSED IN 0ART ARE ADDED TO THESE SEPARABLE çLTERS THEN
THE PERFORMANCE IMPROVES EVEN MORE IF ONLY MARGINALLY SO
TRANSMITTED DATA G THE CHANNEL IMPULSE RESPONSE AND M IS WHITE 'AUSSIAN NOISE
J J
MJ
WJ XJ
GJ
&IGURE #HANNEL MODEL USED IN THE ANALYSIS OF COMBINED LINEAR 6ITERBI EQUALIZERS
4HE OPTIMAL DETECTOR FOR THE SEQUENCE W IS KNOWN AS THE 6ITERBI
DETECTOR ;= BUT ITS
J
DRAWBACK IS THE EXPONENTIAL GROWTH OF COMPLEXITY AS THE LENGTH OF THE CHANNEL IMPULSE
RESPONSE G INCREASES /NE METHOD TO REDUCE THE COMPLEXITY OF THIS EQUALIZER IS TO APPLY
J
LINEAR PREçLTERING TO THE RECEIVED DATA TO SHORTEN THE EdECTIVE IMPULSE RESPONSE OF THE
CHANNEL BEFORE APPLYING THE 6ITERBI
DETECTOR 4HE GENERAL STRUCTURE OF THIS DETECTOR
SHOWN IN &IGURE IS OFTEN REFERRED TO AS A COMBINED LINEAR
6ITERBI EQUALIZER #,6%
; =
&IGURE 4HE #,6% IS A COMBINATION OF A LINEAR PREçLTER AND A 6ITERBI DETECTOR
7HEN DESIGNING #,6%S IT IS OFTEN DESIRABLE TO MINIMIZE THE BIT
ERROR RATE OF THE
RECEIVER 4HE BIT ERROR PROBABILITY DEPENDS ON THE DESIGN PARAMETERS SUCH AS THE CHANNEL
MODEL AND THE IMPULSE RESPONSE OF THE PREçLTER IN A COMPLICATED AND NON
LINEAR WAY 4HE
PRE
çLTERING OF THE RECEIVED DATA PERTURBS THE SIGNAL SPACE AND COLOURS THE CHANNEL NOISE
)GNORING THIS COLOURING OR GIVING THE 6ITERBI DETECTOR AN APPROXIMATE CHANNEL MODEL RESULT
IN A DISPLACEMENT OF THE DECISION REGIONS FROM THEIR OPTIMAL LOCATIONS CF THE RESIDUAL )3)
IN ;= )NSTEAD OF USING THE BIT ERROR RATE AS A DESIGN CRITERION OTHER MORE FEASIBLE
CRITERIA ARE USED IN #,6% DESIGN METHODS 4HE CONTRIBUTION IN THIS PART OF THE THESIS
IS A COMPARATIVE STUDY OF #,6% DESIGNS FOUND IN THE LITERATURE ; = AND A
MINIMAX
DESIGN ! UNIçED DESIGN
FRAMEWORK IS DERIVED WHICH MAKES THE COMPARISON
EASIER
3OURCE CODING
6ARIABLE
LENGTH CODING BASED ON 3HANNONS 3OURCE #ODING 4HEOREM ;= IS A COMMON
DATA COMPRESSION TECHNIQUE 4HE CODE CONSTRUCTION METHODS EG THE ONE PRESENTED BY
(UdMAN ;= USE THE PRINCIPLE THAT SYMBOLS WITH A HIGH PROBABILITY OF APPEARANCE SHOULD
REQUIRE LESS STORAGE SPACE THAN LESS FREQUENT SYMBOLS 4HIS IS DONE BY ASSIGNING SHORT
CODE WORDS TO THE HIGH
PROBABILITY SYMBOLS AND LONG CODE WORDS TO THE LOW
PROBABILITY
ONES %NTROPY CODES OF THIS TYPE SUCH AS VARIABLE
LENGTH CODES ARE FOUND AS AN IMPORTANT
INTEGRATED PART IN MANY SOURCE CODING SCHEMES
4HE LAST TWO PARTS OF THIS THESIS ADDRESS THE DESIGN OF ROBUST VARIABLE
LENGTH CODES
0ART AND FAST LOOK
UP TABLE DECODERS 0ART FOR VARIABLE
LENGTH CODES
0ART IS CONCERNED WITH ROBUSTNESS MEASURES TO BE USED WITH VARIABLE
LENGTH CODES
AND THE DESIGN OF ROBUST CODES 2OBUSTNESS IN THIS CASE IS DEçNED AS LOW AVERAGE
CODE
WORD
LENGTH SUSCEPTIBILITY TO CHANGES IN THE PROBABILITY DISTRIBUTION OF THE SOURCE )N
MANY APPLICATIONS THE PROBABILITY DISTRIBUTION OF THE SOURCE IS NEITHER WELL KNOWN NOR
TIME
INVARIANT )N SUCH A SITUATION AN ADAPTIVE SOURCE CODER SEE EG ; = CAN BE
APPLIED TO ACHIEVE GOOD DATA COMPRESSION (OWEVER MANY APPLICATIONS DO NOT DEPEND ON
THE BEST POSSIBLE COMPRESSION A HIGH COMPRESSION SPEED OR PORTABLE LOW
COST HARDWARE
MAY BE MORE IMPORTANT 4HIS OPENS A NICHE FOR ROBUST STATIC SOURCE CODES
4HERE ARE SEVERAL WAYS TO INTRODUCE WHAT WE CALL ROBUSTNESS &OR INSTANCE BY RE
STRICTING THE LENGTH OF THE LONGEST CODE WORDS LIKE IN ;= THE RESULTING CODE WILL HAVE A
CERTAIN ROBUSTNESS 2OBUSTNESS IS ALSO OBTAINED THROUGH THE SYMBOL
SET PARTITIONING USED
IN ; = 4HE SITUATION WHERE CODES ARE DESIGNED USING AN INCORRECT ESTIMATE OF
THE PROBABILITY DISTRIBUTION HAS BEEN COVERED BY A NUMBER OF AUTHORS SEE EG ; =
7E INTRODUCE A ROBUSTNESS MEASURE NAMED GRADIENT ROBUSTNESS 4HIS MEASURE IS BASED
ON THE GRADIENT OF CHANGE OF THE AVERAGE CODE
WORD LENGTH WHEN THE SOURCE PROBABILITY
DISTRIBUTION CHANGES $ESIGNING ROBUST CODES ACCORDING TO THIS ROBUSTNESS MEASURE ALSO
YIELDS CODES WITH A RELATIVELY SMALL VARIATION IN CODE
WORD LENGTHS &OR CERTAIN PROBABIL
ITY DISTRIBUTIONS ONLY A SMALL LOSS IN AVERAGE CODE
WORD LENGTH RESULTS IN A SUBSTANTIAL
INCREASE OF ROBUSTNESS
)N 0ART WE ANALYZE TWO DECODING ALGORITHMS FOR BINARY VARIABLE
LENGTH CODES BASED
ON A LOOK
UP TABLE APPROACH ! VARIABLE
LENGTH CODED SEQUENCE CAN BE DECODED BY A TREE
SEARCH "Y MATCHING THE BITS IN THE SEQUENCE AGAINST THE BRANCHES IN THE CODE TREE ONE
WILL UPON ARRIVAL AT A LEAF HAVE DECODED ONE SOURCE SYMBOL (OWEVER THE TREE SEARCH
IS NOT A VERY FAST DECODING METHOD )F THE AVERAGE CODE WORD LENGTH IS 6 BITS A TRIVIAL
TREE SEARCH WILL REQUIRE AN AVERAGE OF 6 MATCHINGS BEFORE A SOURCE SYMBOL IS DECODED
!N EbCIENT DECODER OF THIS TYPE WAS PRESENTED BY ( 4ANAKA IN ;= 4HE APPROACH
WE HAVE CHOSEN IS TO COMPLETE THE CODE TREE TO A CERTAIN DEPTH OF EVERY BRANCH THUS
ALLOWING A TABULAR DECODING WHERE ONE OR SEVERAL SOURCE SYMBOLS ARE DECODED PER CYCLE
OF THE ALGORITHM $ECODING IS DONE BY INDEXING A TABLE WITH A çXED
LENGTH BLOCK FROM THE
VARIABLE
LENGTH CODE SEQUENCE ! NICE PROPERTY OF ONE OF THE DECODING ALGORITHMS IS THAT
IT ALLOWS A TRADE
Od BETWEEN DECODING SPEED AND MEMORY REQUIREMENT 6ARIATIONS ON THE
THEME HAVE BEEN KNOWN FOR SOME TIME SEE EG ;= WHERE SHORT BLOCKS OF COMPRESSED
DATA ARE DECODED USING A SET OF CONNECTED LOOK
UP TABLES
%STIMATION AND DETECTION
0ART
!N INTRODUCTION TO ORTHOGONAL
FREQUENCY
DIVISION MULTIPLEXING
!BSTRACT Ô 4HIS REPORT IS AN INTRODUCTION TO ORTHOGONAL FREQUENCY
DIVISION MULTIPLEXING
/&$- 4HE FOCUS IS ON SIGNAL PROCESSING AREAS PURSUED BY OUR RESEARCH GROUP AT ,ULE¥
5NIVERSITY OF 4ECHNOLOGY 7E PRESENT AN HISTORICAL BACKGROUND AND SOME FREQUENTLY USED
SYSTEM MODELS 4YPICAL AREAS OF APPLICATIONS ARE ALSO DESCRIBED BOTH WIRELESS AND WIRED
)N ADDITION TO THE GENERAL OVERVIEW THE ADDRESSED AREAS INCLUDE SYNCHRONIZATION CHANNEL
ESTIMATION AND CHANNEL CODING "OTH TIME AND FREQUENCY SYNCHRONIZATION ARE DESCRIBED
AND THE EdECTS OF SYNCHRONIZATION ERRORS ARE PRESENTED $IdERENT TYPES OF CHANNEL ESTIMA
TORS ARE DESCRIBED WHERE THE FOCUS IS ON LOW
COMPLEXITY ALGORITHMS AND IN THIS CONTEXT
ADVANTAGES AND DISADVANTAGES OF COHERENT AND DIdERENTIAL MODULATION ARE ALSO DISCUSSED
#HANNEL CODING IS DESCRIBED BOTH FOR WIRELESS AND WIRED SYSTEMS AND POINTERS ARE INCLUDED
TO EVALUATION TOOLS AND BITLOADING ALGORITHMS !N EXTENSIVE BIBLIOGRAPHY IS ALSO INCLUDED
)NTRODUCTION TO /&$-
)NTRODUCTION TO /&$-
)NTRODUCTION
4HE AIM OF THIS REPORT IS TWOFOLD 4HE çRST AIM IS TO PROVIDE AN INTRODUCTION TO ORTHOGONAL
FREQUENCY
DIVISION MULTIPLEXING /&$- SYSTEMS AND SELECTED PARTS OF ITS THEORETICAL
BACKGROUND 4HE SECOND AIM IS TO DESCRIBE THE AREAS OF RESEARCH WITHIN /&$- THAT ARE
PURSUED AT THE $IVISION OF 3IGNAL 0ROCESSING ,ULE¥ 5NIVERSITY 4HIS ALSO INCLUDES A BY
NO MEANS COMPLETE DESCRIPTION OF RELATED WORK THAT MAY BE OF INTEREST 4HE PRESENTATION
IS IN THE FORM OF A SINGLE BODY WHERE WE DO NOT SEPARATE OUR OWN WORK FROM THAT BY
OTHERS
4HE TECHNOLOGY WE CALL /&$- IN THIS REPORT IS USUALLY VIEWED AS A COLLECTION OF
TRANSMISSION TECHNIQUES 7HEN APPLIED IN A WIRELESS ENVIRONMENT SUCH AS RADIO BROAD
CASTING IT IS USUALLY REFERRED TO AS /&$- (OWEVER IN A WIRED ENVIRONMENT SUCH AS IN
ASYMMETRIC DIGITAL SUBSCRIBER
LINES !$3, THE TERM DISCRETE MULTITONE $-4 IS MORE
APPROPRIATE 4HROUGHOUT THIS REPORT WE ONLY USE THE TERM $-4 WHEN EXPLICITLY AD
DRESSING THE WIRED ENVIRONMENT &URTHER THE TWO TERMS SUBCARRIER AND SUBCHANNEL WILL
BE USED INTERCHANGEABLY 4HE HISTORY OF /&$- HAS BEEN ADDRESSED SEVERAL TIMES IN THE
LITERATURE SEE EG ; = WHICH WE HAVE CONDENSED TO THE BRIEF OVERVIEW BELOW
4HE HISTORY OF /&$- DATES BACK TO THE MID ÚS WHEN #HANG PUBLISHED HIS PAPER
ON THE SYNTHESIS OF BANDLIMITED SIGNALS FOR MULTICHANNEL TRANSMISSION ;= (E PRESENTS
A PRINCIPLE FOR TRANSMITTING MESSAGES SIMULTANEOUSLY THROUGH A LINEAR BANDLIMITED CHAN
NEL WITHOUT INTERCHANNEL )#) AND INTERSYMBOL INTERFERENCE )3) 3HORTLY AFTER #HANG
PRESENTED HIS PAPER 3ALTZBERG PERFORMED AN ANALYSIS OF THE PERFORMANCE ;= WHERE HE
CONCLUDED THAT ÞTHE STRATEGY OF DESIGNING AN EbCIENT PARALLEL SYSTEM SHOULD CONCENTRATE
MORE ON REDUCING CROSSTALK BETWEEN ADJACENT CHANNELS THAN ON PERFECTING THE INDIVIDUAL
CHANNELS THEMSELVES SINCE THE DISTORTIONS DUE TO CROSSTALK TEND TO DOMINATEÞ 4HIS IS AN
IMPORTANT CONCLUSION WHICH HAS PROVEN CORRECT IN THE DIGITAL BASEBAND PROCESSING THAT
EMERGED A FEW YEARS LATER
! MAJOR CONTRIBUTION TO /&$- WAS PRESENTED IN BY 7EINSTEIN AND %BERT ;=
WHO USED THE DISCRETE &OURIER TRANSFORM $&4 TO PERFORM BASEBAND MODULATION AND
DEMODULATION 4HIS WORK DID NOT FOCUS ON ÝPERFECTING THE INDIVIDUAL CHANNELSÞ BUT
RATHER ON INTRODUCING EbCIENT PROCESSING ELIMINATING THE BANKS OF SUBCARRIER OSCILLATORS
4O COMBAT )3) AND )#) THEY USED BOTH A GUARD SPACE BETWEEN THE SYMBOLS AND RAISED
COSINE WINDOWING IN THE TIME DOMAIN 4HEIR SYSTEM DID NOT OBTAIN PERFECT ORTHOGONALITY
BETWEEN SUBCARRIERS OVER A DISPERSIVE CHANNEL BUT IT WAS STILL A MAJOR CONTRIBUTION TO
/&$-
!NOTHER IMPORTANT CONTRIBUTION WAS DUE TO 0ELED AND 2UIZ IN ;= WHO IN
TRODUCED THE CYCLIC PREçX #0 OR CYCLIC EXTENSION SOLVING THE ORTHOGONALITY PROBLEM
)NSTEAD OF USING AN EMPTY GUARD SPACE THEY çLLED THE GUARD SPACE WITH A CYCLIC EXTENSION
OF THE /&$- SYMBOL 4HIS EdECTIVELY SIMULATES A CHANNEL PERFORMING CYCLIC CONVOLU
TION WHICH IMPLIES ORTHOGONALITY OVER DISPERSIVE CHANNELS WHEN THE #0 IS LONGER THAN
THE IMPULSE RESPONSE OF THE CHANNEL 4HIS INTRODUCES AN ENERGY LOSS PROPORTIONAL TO THE
LENGTH OF THE #0 BUT THE ZERO )#) GENERALLY MOTIVATES THE LOSS
/&$- SYSTEMS ARE USUALLY DESIGNED WITH RECTANGULAR PULSES BUT RECENTLY THERE HAS
BEEN AN INCREASED INTEREST IN PULSE SHAPING ; = "Y USING PULSES OTHER THAN
RECTANGULAR THE SPECTRUM CAN BE SHAPED TO BE MORE WELL
LOCALIZED IN FREQUENCY WHICH IS
)NTRODUCTION TO /&$-
&IGURE 4HE CYCLIC PREçX IS A COPY OF THE LAST PART OF THE /&$- SYMBOL
PLAYS A DECISIVE ROLL IN AVOIDING INTERSYMBOL AND INTERCARRIER INTERFERENCE ;= 4HIS IS
EXPLAINED LATER IN THIS SECTION !LTHOUGH THE CYCLIC PREçX INTRODUCES A LOSS IN SIGNAL
TO
NOISE RATIO 3.2 IT IS USUALLY A SMALL PRICE TO PAY TO MITIGATE INTERFERENCE
! SCHEMATIC DIAGRAM OF A BASEBAND /&$- SYSTEM IS SHOWN IN &IGURE
&OR THIS SYSTEM WE EMPLOY THE FOLLOWING ASSUMPTIONS
&IGURE ! DIGITAL IMPLEMENTATION OF A BASEBAND /&$- SYSTEM Ú#0Ú AND Ú#0ÚDENOTE b
THE INSERTION AND DELETION OF THE CYCLIC PREçX RESPECTIVELY
4HE DIbCULTIES IN A COMPLETE ANALYSIS OF THIS SYSTEM MAKE IT RATHER AWKWARD FOR
THEORETICAL STUDIES 4HEREFORE IT IS COMMON PRACTICE TO USE SIMPLIçED MODELS RESULTING IN
A TRACTABLE ANALYSIS 7E CLASSIFY THESE /&$- SYSTEM MODELS INTO TWO DIdERENT CLASSES
CONTINUOUS
TIME AND DISCRETE
TIME
W S S X
RS QS
K K
F~ S
W - ` K
- ` S - ` S X
- ` K
q 4RANSMITTER
!SSUMING AN /&$- SYSTEM WITH - SUBCARRIERS A BANDWIDTH OF 6 (Z AND SYMBOL
LENGTH OF 3 SECONDS OF WHICH 3 SECONDS IS THE LENGTH OF THE CYCLIC PREçX THE
BO
S J
3
3
OTHERWISE
)NTRODUCTION TO /&$-
WHERE 3 -6
3 .OTE THAT S S
-6 WHEN S IS WITHIN THE CYCLIC
BO J J
PREçX : 3 < 3INCE S IS A RECTANGULAR PULSE MODULATED ON THE CARRIER FREQUENCY
BO J
J
RS R S
K W S ` K3
JK
` `
J
K K J
q 0HYSICAL CHANNEL
7E ASSUME THAT THE SUPPORT OF THE POSSIBLY TIME VARIANT IMPULSE RESPONSE F~ S
OF THE PHYSICAL CHANNEL IS RESTRICTED TO THE INTERVAL ~ : 3 < IE TO THE LENGTH OF BO
WHERE M
ES IS ADDITIVE WHITE AND COMPLEX 'AUSSIAN CHANNEL NOISE
q 2ECEIVER
4HE /&$- RECEIVER CONSISTS OF A çLTER BANK MATCHED TO THE LAST PART :3 3 < OF BO
J
OTHERWISE
%dECTIVELY THIS MEANS THAT THE CYCLIC PREçX IS REMOVED IN THE RECEIVER 3INCE THE
CYCLIC PREçX CONTAINS ALL )3) FROM THE PREVIOUS SYMBOL THE SAMPLED OUTPUT FROM
THE RECEIVER çLTER BANK CONTAINS NO )3) (ENCE WE CAN IGNORE THE TIME INDEX K WHEN
CALCULATING THE SAMPLED OUTPUT AT THE JTH MATCHED çLTER "Y USING AND
WE GET
:
X Q c SJ Q S 3 ` S CS
`
J J S 3 J
: : BO `
8
:
c E 3 ` S c S CS
3 3 - 3
F~ S W S ` ~ C~ S CS
J M J J J
3BO
J
BO 3
7E CONSIDER THE CHANNEL TO BE çXED OVER THE /&$- SYMBOL INTERVAL AND DENOTE IT
BY F~ WHICH GIVES
8` : t: BO u :
c E 3 ` S c S CS
- 3 3 3
X
J W J F~ S ` ~ C~ S CS
MJ
J J
J BO 3 BO 3
)NTRODUCTION TO /&$-
F~ S ` ~ C~
F~ P C~
3 `3
J
BO
` BO : BO
F~ D`
D
I {J S 3 6- 3
P I {J ~ 6-
C~ 3 S3
BO
3 `3 BO
4HE LATTER PART OF THIS EXPRESSION IS THE SAMPLED FREQUENCY RESPONSE OF THE CHANNEL
AT FREQUENCY E J 6- IE AT THE J TH SUBCARRIER FREQUENCY
t u : BO
J F~ D`
6 3
G & I {J ~ 6-
C~
-
J
WHERE & E IS THE &OURIER TRANSFORM OF F ~ 5SING THIS NOTATION THE OUTPUT FROM
THE RECEIVER çLTER BANK CAN BE SIMPLIçED TO
`
8 : ` BO :
c S CS
E 3 ` S c S CS
-
D
3 I {J S 3 6- 3
X J WJ P G J M
3 `3
J J
J
3 BO BO 3 BO
`
8 :
S c S CS
M
- 3
W G
J J J J J
J
3 BO
E 3 ` S cJ S CS 3INCE THE TRANSMITTER çLTERS J S ARE ORTHOGO
2
WHERE M BO M
3
J
3
NAL
` BO
D` ` BO
: :
S c S CS CS p :J ` J <
D
3 3 I {J S 3 6- I {JS 3 6-
J
P P
3 `3 3 `3
J
3 BO 3 BO BO BO
WHERE p :J< IS THE +RONECKER DELTA FUNCTION ;= WE CAN SIMPLIFY AND OBTAIN
X G W
M
J J J J
4HE BENEçT OF A CYCLIC PREçX IS TWOFOLD IT AVOIDS BOTH )3) SINCE IT ACTS AS A GUARD
SPACE AND )#) SINCE IT MAINTAINS THE ORTHOGONALITY OF THE SUBCARRIERS "Y RE
INTRODUCING
THE TIME INDEX K WE MAY NOW VIEW THE /&$- SYSTEM AS A SET OF PARALLEL 'AUSSIAN
CHANNELS ACCORDING TO &IGURE
!N EdECT TO CONSIDER AT THIS STAGE IS THAT THE TRANSMITTED ENERGY INCREASES WITH THE
LENGTH OF THE CYCLIC PREçX WHILE THE EXPRESSIONS FOR THE RECEIVED
2 AND SAMPLED SIGNALS
STAY THE SAME 4HE TRANSMITTED ENERGY PER SUBCARRIER IS J SJ CS 3 3 ` 3 AND J BO
THE 3.2 LOSS BECAUSE OF THE DISCARDED CYCLIC PREçX IN THE RECEIVER BECOMES
G K M K
W K X K
G ` M `
- K - K
W `
- K X ` - K
&IGURE 4HE CONTINUOUS TIME /&$- SYSTEM INTERPRETED AS PARALLEL 'AUSSIAN CHANNELS
- RTAB@QQHDQR
2O@BHMF aE 6-
&IGURE ! SYMBOLIC PICTURE OF THE INDIVIDUAL SUBCHANNELS FOR AN /&$- SYSTEM WITH
- TONES OVER A BANDWIDTH 6
WHERE o 3 3 IS THE RELATIVE LENGTH OF THE CYCLIC PREçX 4HE LONGER THE CYCLIC PREçX
BO
THE LARGER THE 3.2 LOSS 4YPICALLY THE RELATIVE LENGTH OF THE CYCLIC PREçX IS SMALL AND
THE )#)
AND )3)
FREE TRANSMISSION MOTIVATES THE 3.2 LOSS LESS THAN D" FOR o
&IGURE DISPLAYS A SCHEMATIC PICTURE OF THE FREQUENCY RESPONSE OF THE INDIVIDUAL
SUBCHANNELS IN AN /&$- SYMBOL )N THIS çGURE THE INDIVIDUAL SUBCHANNELS OF THE SYSTEM
ARE SEPARATED 4HE RECTANGULAR WINDOWING OF THE TRANSMITTED PULSES RESULTS IN A SINC
SHAPED FREQUENCY RESPONSE FOR EACH CHANNEL 4HUS THE POWER SPECTRUM OF THE /&$-
SYSTEM DECAYS AS E ` )N SOME CASES THIS IS NOT SUbCIENT AND METHODS HAVE BEEN PROPOSED
TO SHAPE THE SPECTRUM )N ;= A RAISED COSINE
PULSE IS USED WHERE THE ROLL
Od REGION
ALSO ACTS AS A GUARD SPACE SEE &IGURE )F THE âAT PART IS THE /&$- SYMBOL
&IGURE 0ULSE SHAPING USING THE RAISED
COSINE FUNCTION 4HE GRAY PARTS OF THE SIGNAL
INDICATE THE EXTENSIONS
)NTRODUCTION TO /&$-
INCLUDING THE CYCLIC PREçX BOTH )#) AND )3) ARE AVOIDED 4HE SPECTRUM WITH THIS KIND
OF PULSE SHAPING IS SHOWN IN &IGURE WHERE IT IS COMPARED WITH A RECTANGULAR PULSE
4HE OVERHEAD INTRODUCED BY AN EXTRA GUARD SPACE WITH A GRACEFUL ROLL
Od CAN BE A GOOD
&IGURE 3PECTRUM WITH RECTANGULAR PULSE SOLID AND RAISED COSINE PULSE DASHED
INVESTMENT SINCE THE SPECTRUM FALLS MUCH MORE QUICKLY AND REDUCES THE INTERFERENCE TO
ADJACENT FREQUENCY BANDS
/THER TYPES OF PULSE SHAPING SUCH AS OVERLAPPING ;= AND WELL LOCALIZED PULSES
; = HAVE ALSO BEEN INVESTIGATED
&ROM THE RECEIVERÚS POINT OF VIEW THE USE OF A CYCLIC PREçX LONGER THAN THE CHANNEL
WILL TRANSFORM THE LINEAR CONVOLUTION IN THE CHANNEL TO A CYCLIC CONVOLUTION $ENOTING
CYCLIC CONVOLUTION BY Ú]Ú WE CAN WRITE THE WHOLE /&$- SYSTEM AS
X K #%3 (#%3 W ] F
ME K K K
#%3 (#%3 W ] F
M K K K
)NTRODUCTION TO /&$-
WHERE X CONTAINS THE - RECEIVED DATA POINTS W THE - TRANSMITTED CONSTELLATION POINTS
K K
F THE CHANNEL IMPULSE RESPONSE OF THE CHANNEL PADDED WITH ZEROS TO OBTAIN A LENGTH OF
K
E THE CHANNEL NOISE 3INCE THE CHANNEL NOISE IS ASSUMED WHITE AND 'AUSSIAN
- AND M K
$&4 OF TWO CYCLICALLY CONVOLVED SIGNALS IS EQUIVALENT TO THE PRODUCT OF THEIR INDIVIDUAL
$&4S $ENOTING ELEMENT
BY
ELEMENT MULTIPLICATION BY ÚaÚ THE ABOVE EXPRESSION CAN BE
WRITTEN
X W a #%3 F
M W a G
M
K K K K K K K
WHERE G #%3 F IS THE FREQUENCY RESPONSE OF THE CHANNEL 4HUS WE HAVE OBTAINED
K K
THE SAME TYPE OF PARALLEL 'AUSSIAN CHANNELS AS FOR THE CONTINUOUS
TIME MODEL 4HE
ONLY DIdERENCE IS THAT THE CHANNEL ATTENUATIONS G ARE GIVEN BY THE -
POINT $&4 OF THE
K
JK
WHERE THE FUNCTIONS S ARE TRANSLATIONS IN TIME BY ~ AND IN FREQUENCY BY y OF THE
JK
4HIS CREATES A TWO
DIMENSIONAL
$ LATTICE IN THE TIME
FREQUENCY PLANE ; = SEE
&IGURE 5SUALLY THE PROTOTYPE FUNCTION IS CHOSEN AS THE RECTANGULAR WINDOW OS
O v S v ~ 4HE SPACING IN THE FREQUENCY DIRECTION IS THEN y ~ ` 3
~ BO
WHERE 3 IS THE LENGTH OF THE CYCLIC PREçX &OR A DISCUSSION ON THE IMPACT OF PROTOTYPE
BO
FUNCTIONS SEE !PPENDIX ! %ACH TRANSMITTED DATA SYMBOL IN THE LATTICE EXPERIENCES
âAT FADING SEE WHICH SIMPLIçES EQUALIZATION AND CHANNEL ESTIMATION 4HE CHANNEL
ATTENUATIONS AT THE LATTICE POINTS ARE CORRELATED AND BY TRANSMITTING KNOWN SYMBOLS AT
SOME POSTIONS THE CHANNEL ATTENUATIONS CAN BE ESTIMATED WITH AN INTERPOLATION çLTER
; = 4HIS IS A
$ VERSION OF PILOT
SYMBOL ASSISTED MODULATION WHICH HAS BEEN
PROPOSED FOR SEVERAL WIRELESS /&$- SYSTEMS SEE EG ; = ! MORE DETAILED
DESCRIPTION OF /&$- CHANNEL ESTIMATION IS GIVEN IN 3ECTION
)MPERFECTIONS
$EPENDING ON THE ANALYZED SITUATION IMPERFECTIONS IN A REAL /&$- SYSTEM MAY BE
IGNORED OR EXPLICITLY INCLUDED IN THE MODEL "ELOW WE MENTION SOME OF THE IMPERFECTIONS
AND THEIR CORRESPONDING EdECTS
)NTRODUCTION TO /&$-
&IGURE ,ATTICE IN THE TIME
FREQUENCY PLANE 4HE DATA SYMBOLS W JK ARE TRANSMITTED
AT THE LATTICE POINTS
q $ISPERSION
"OTH TIME AND FREQUENCY DISPERSION OF THE CHANNEL CAN DESTROY THE ORTHOGONALITY OF
THE SYSTEM IE INTRODUCE BOTH )3) AND )#) ;= )F THESE EdECTS ARE NOT SUbCIENTLY
MITIGATED BY EG A CYCLIC PREçX AND A LARGE INTER
CARRIER SPACING THEY HAVE TO BE
INCLUDED IN THE MODEL /NE WAY OF MODELLING THESE EdECTS IS AN INCREASE OF THE
ADDITIVE NOISE ;=
q %XTERNAL INTERFERENCE
"OTH WIRELESS AND WIRED /&$- SYSTEMS SUdER FROM EXTERNAL INTERFERENCE )N WIRE
LESS SYSTEMS THIS INTERFERENCE USUALLY STEMS FROM RADIO TRANSMITTERS AND OTHER TYPES
ELECTRONIC EQUIPMENT IN THE VINCINITY OF THE RECEIVER )N WIRED SYSTEMS THE LIMIT
ING FACTOR IS USUALLY CROSSTALK WHICH IS DISCUSSED IN MORE DETAIL IN 3ECTION
)NTERFERENCE CAN BE INCLUDED IN THE MODEL AS EG COLOURED NOISE
IS USUALLY A MAJOR OBSTACLE WHILE FOR A WIRED /&$- AKA $-4 SYSTEM CROSSTALK AND
IMPULSIVE NOISE ARE MORE DIbCULT TO HANDLE
)N THE FOLLOWING SECTIONS WE BRIEâY DISCUSS THE WIRELESS AND WIRED ENVIRONMENTS
WHERE ~ IS THE TIME DELAY AND ~ IS THE ROOT MEAN
SQUARED 2-3 VALUE OF THE POWER
QLR
DELAY PROçLE 3EVERAL OTHER CHOICES ARE POSSIBLE SEE EG ;= 4HE MAXIMAL $OPPLER
FREQUENCY E L@W CAN BE DETERMINED BY
C
U
E CL@W E
B
B
WHERE THE CARRIER FREQUENCY IS E (Z THE SPEED OF THE RECEIVER IS U MS AND THE SPEED
B
OF LIGHT IS B { b MS )SOTROPIC SCATTERING IS COMMONLY ASSUMED IE THE RECEIVED
SIGNAL POWER IS SPREAD UNIFORMLY OVER ALL ANGLES OF ARRIVAL WHICH RESULTS IN A 5
SHAPED
$OPPLER SPECTRUM 4HIS IS USUALLY REFERRED TO AS A *AKES SPECTRUM ;= AND IS DETERMINED
BY THE MAXIMAL $OPPLER FREQUENCY
"EFORE WE START DISCUSSING THE DIdERENT SCENARIOS ENCOUNTERED IN WIRELESS SYSTEMS
THERE ARE A FEW THINGS THAT MAY BE SAID ABOUT /&$- ON FADING CHANNELS IN GENERAL
4HE INTER
CARRIER SPACING OF THE SYSTEM HAS TO BE CHOSEN LARGE COMPARED TO THE
MAXIMAL $OPPLER FREQUENCY OF THE FADING CHANNEL TO KEEP THE )#) SMALL ; =
4HIS IS FURTHER DISCUSSED IN !PPENDIX !
)F THE ORTHOGONALITY OF THE SYSTEM IS MAINTAINED THE BASIC /&$- STRUCTURE DOES NOT
NECESSITATE TRADITIONAL EQUALIZING (OWEVER TO EXPLOIT THE DIVERSITY OF THE CHANNEL
PROPER CODING AND INTERLEAVING IS REQUIRED ;=
)NTRODUCTION TO /&$-
7E HAVE CHOSEN TO DISCUSS THE WIRELESS ENVIRONMENT IN TWO CONTEXTS THE TRANSMISSION
FROM A BASE
STATION TO MOBILE TERMINALS DOWNLINK AND THE TRANSMISSION FROM MOBILE
TERMINALS TO A BASE
STATION UPLINK 4HE REASON FOR THE CHOSEN CONTEXTS IS THAT ONE OR
BOTH USUALLY ARE REPRESENTED IN EVERY WIRELESS SYSTEM AND THEY REQUIRE QUITE DIdERENT
DESIGN STRATEGIES
4HE MOST FREQUENTLY DISCUSSED WIRELESS /&$- SYSTEMS ARE FOR BROADCASTING EG
DIGITAL AUDIO AND DIGITAL VIDEO AND ONLY CONTAIN A DOWNLINK SINCE THERE IS NO RETURN
CHANNEL #ELLULAR SYSTEMS ON THE OTHER HAND HAVE BOTH A DOWNLINK AND AN UPLINK
$OWNLINK
! SCHEMATIC PICTURE OF THE DOWNLINK ENVIRONMENT IS SHOWN IN &IGURE )N THIS CASE
MOBILE TERMINAL NUMBER M RECEIVES THE SIGNAL R S TRANSMITTED FROM THE BASE STATION
THROUGH ITS OWN CHANNEL F S AND THE RECEIVED SIGNAL Q S IS GIVEN BY
M M
Q S R c F S
M M
#HAN
NEL NEL
#HAN +
L
NE
4ERMINAL 4ERMINAL +
AN
"ASE
#H
STATION
4ERMINAL
4HIS ENVIRONMENT IMPLIES THAT EACH RECEIVER TERMINAL ONLY HAS TO SYNCHRONIZE TO THE
BASE STATION AND FROM ITS POINT OF VIEW THE OTHER TERMINALS DO NOT EXIST 4HIS MAKES
SYNCHRONIZATION RELATIVELY EASY AND ALL PILOT INFORMATION TRANSMITTED FROM THE BASE STATION
CAN BE USED FOR CHANNEL ESTIMATION AND SYNCHRONIZATION
4HE DOWNLINK ENVIRONMENT HAS BEEN THOROUGHLY INVESTIGATED SEE EG ;
= ,ARGE PORTIONS OF WORK PRESENTED ON SYSTEMS OF THIS KIND HAVE BEEN CONCERNED WITH
DIGITAL AUDIO SEE EG ; = AND DIGITAL VIDEO SEE EG ;
= BROADCASTING
5PLINK
! SCHEMATIC PICTURE OF THE UPLINK ENVIRONMENT IS SHOWN IN &IGURE )N THIS CASE
THE BASE STATION RECEIVES THE TRANSMITTED SIGNAL R S FROM MOBILE TERMINAL M THROUGH
M
CHANNEL F S AND THE TOTAL RECEIVED SIGNAL Q S AT THE BASE STATION IS A SUPERPOSITION
M
8
*
Q S R c F S
M M
M
)NTRODUCTION TO /&$-
#HAN
NEL NEL
#HAN +
L
NE
4ERMINAL 4ERMINAL +
AN
"ASE
#H
STATION
4ERMINAL
WIDTH IT HAS BECOME A GOOD CANDIDATE FOR DIGITAL SUBSCRIBER
LINE $3, SYSTEMS $3, IS
ANOTHER NAME FOR DIGITAL HIGH SPEED COMMUNICATION IN THE TELEPHONE ACCESS NETWORK
7HEN THE BIT RATE OdERED IN DOWNSTREAM DIRECTION TO THE SUBSCRIBER IS LARGER THAN THE
BIT RATE IN UPSTREAM DIRECTION TO THE BASE IT IS CALLED AN ASYMMETRIC DIGITAL SUBSCRIBER
LINE !$3, !$3, IS SUITABLE FOR APPLICATIONS LIKE VIDEO ON DEMAND GAMES VIRTUAL
SHOPPING INTERNET SURçNG ETC WHERE MOST OF THE DATA GOES FROM THE BASE TO THE SUB
SCRIBER )N THE 53! THERE EXISTS AN !$3, STANDARD THAT SUPPORTS DOWNSTREAM BIT RATES
FROM TO -BITSS ;= 4HE BIT RATES OF THE UPSTREAM RETURN PATH USUALLY RANGES
BETWEEN AND KBITSS ;=
3TANDARDS FOR SYMMETRICAL $3,S HAVE ALSO EMERGED TO SUPPORT VIDEO CONFERENCING
AND OTHER SERVICES WITH HIGH DATA RATE IN THE UPSTREAM DIRECTION 4HE çRST SYMMETRIC
$3, SYSTEM WAS CALLED HIGH BIT
RATE DIGITAL SUBSCRIBER
LINE ($3, ;= WHICH CURRENTLY
SUPPORTS BIT RATES BETWEEN AND -BITSSEC IN BOTH DIRECTIONS ; = &OR DIGITAL
SUBSCRIBER LINES WITH HIGHER BIT RATES THAN ($3, AND !$3, THE TERM VERY HIGH BIT
RATE
DIGITAL SUBSCRIBER
LINE 6$3, IS USED
WHERE C IS THE LENGTH OF THE CABLE AND J IS A CABLE CONSTANT 4HIS MODEL IS OFTEN USED
WHEN 6$3, AND ($3, SYSTEMS ARE ANALYZED ; =
4HERE ARE BASICALLY TWO DIdERENT FORMS OF CROSSTALK NEAR
END CROSSTALK .%84 AND
FAR
END CROSSTALK &%84 .%84 OCCURS AT THE CENTRAL ObCE BASE STATION WHEN THE
WEAK UPSTREAM SIGNAL QS IS DISTURBED BY STRONG DOWNSTREAM SIGNALS RS SEE &IGURE
&%84 IS CROSSTALK FROM ONE TRANSMITTED SIGNAL RS TO ANOTHER QS IN THE SAME
DIRECTION SEE &IGURE AND APPEARS AT BOTH ENDS OF THE WIRE LOOP
/ E / E J E
- R -
WHERE / E IS THE SPECTRAL DENSITY OF THE TRANSMITTED SIGNALS J AND J ARE CONSTANTS
R - %
DEPENDING ON THE TYPE OF CABLE HOW WELL BALANCED THE CABLES ARE AND THE NUMBER OF
DISTURBING COPPER PAIRS ;= .OTE THAT .%84 DOES NOT DEPEND ON THE LENGTH OF THE
WIRE PAIR
)N &IGURE WE DISPLAY AN EXAMPLE OF THE SPECTRAL DENSITY OF A RECEIVED SIGNAL
.%84 AND &%84
3YNCHRONIZATION
/NE OF THE ARGUMENTS AGAINST /&$- IS THAT IT IS HIGHLY SENSITIVE TO SYNCHRONIZATION
ERRORS IN PARTICULAR TO FREQUENCY ERRORS ;= (ERE WE GIVE AN OVERVIEW OF THREE SYNCHRO
NIZATION PROBLEMS SYMBOL CARRIER FREQUENCY AND SAMPLING FREQUENCY SYNCHRONIZATION
!LSO THE EdECTS OF PHASE OdSETS AND PHASE NOISE ARE DISCUSSED
)NTRODUCTION TO /&$-
2 J ' E CJ
/
- E
/ NEXT
/ % E C FEXT
=
"
D
N
I
Z
(
7
;
Y
ITS
N
E
D
LA
RT
CE
P
S
RE
W
O
0
&REQUENCY ;-(Z=
&IGURE 0OWER SPECTRAL DENSITY OF ATTENUATED SIGNAL .%84 AND &%84
SIGNAL 4O çND THE PEAK OF THIS CORRELATION WITH ENOUGH ACCURACY A DIGITAL çLTER IS USED
TO PROVIDE INTERPOLATED DATA VALUES AT FOUR TIMES THE ORIGINAL DATA RATE )N THE LAST PHASE
OF THE SYNCHRONIZATION çNE SYNCHRONIZATION THE SUBCHANNELS WITH PILOTS ARE EQUALIZED
WITH THE ESTIMATED CHANNEL OBTAINED FROM PILOTS 3INCE THE COARSE SYNCHRONIZATION GUAR
ANTEES THAT THE TIMING ERROR IS LESS THAN f THE CHANNEL IMPULSE RESPONSE IS WITHIN
THE CYCLIC PREçX 4HE REMAINING PHASE ERRORS ON THE PILOT SUBCHANNELS ARE DUE TO TIMING
ERROR AND CAN BE ESTIMATED BY LINEAR REGRESSION
4HERE ARE ALSO SYNCHRONIZATION ALGORITHMS BASED ON THE CYCLIC PREçX )N ;= THE
DIdERENCE BETWEEN RECEIVED SAMPLES SPACED - SAMPLES APART IS FORMED QJ ` QJ
-
7HEN ONE OF THE SAMPLES BELONGS TO THE CYCLIC PREçX AND THE OTHER ONE TO THE /&$-
SYMBOL FROM WHICH IT IS COPIED THE DIdERENCE SHOULD BE SMALL /THERWISE THE DIdERENCE
BETWEEN TWO UNCORRELATED RANDOM VARIABLES WILL HAVE TWICE THE POWER AND HENCE ON
AVERAGE WILL BE LARGER "Y WINDOWING THIS DIdERENCE WITH A RECTANGULAR WINDOW OF THE
SAME LENGTH AS THE CYCLIC PREçX THE OUTPUT SIGNAL HAS A MINIMUM WHEN A NEW /&$-
SYMBOL STARTS
4HIS IDEA IS MORE FORMALLY ELABORATED IN ; = 4HE LIKELIHOOD FUNCTION GIVEN
THE OBSERVED SIGNAL QJ WITH A TIMING AND FREQUENCY ERROR IS DERIVED IN ; = 4HIS
FUNCTION IS MAXIMIZED TO SIMULTANEOUSLY OBTAIN ESTIMATES OF BOTH TIMING AND FREQUENCY
OdSETS 7ITH NO FREQUENCY OdSET THE LIKELIHOOD FUNCTION WITH RESPECT TO A TIMING OdSET
t IS
8`
t
+
1D FQJQc J
-G `
2-1
c t JQJ ` QJ
-J
J t
2-1
2-1
&OR MEDIUM AND HIGH 3.2S 2-1 A MAXIMUM LIKELIHOOD -, ESTIMATOR BASED ON
c t ESSENTIALLY APPLIES A MOVING AVERAGE TO THE TERM JQJ ` QJ
- J IE THE SAME AS
THE ESTIMATOR IN ;= (OWEVER FOR SMALL 3.2 VALUES THE CROSSCORRELATION QJQ c J
-
ALSO HAS TO BE TAKEN INTO ACCOUNT ! SIMILAR PROCEDURE IS USED IN ;= WITH THE DIdERENCE
THAT THE INPHASE AND QUADRATURE PARTS OF THE OBSERVED SIGNAL QJ ARE QUANTIZED TO BIT
BEFORE t IS ESTIMATED 4HIS YIELDS A SYMBOL SYNCHRONIZER WITH A LOW COMPLEXITY THAT CAN
BE USED IN AN ACQUISITION MODE
3YNCHRONIZATION IN THE UPLINK IS MORE DIbCULT THAN IN THE DOWNLINK OR IN BROADCASTING
4HIS IS DUE TO THE FACT THAT THERE WILL BE A SEPARATE OdSET FOR EACH USER 4HIS PROBLEM HAS
NOT YET BEEN GIVEN MUCH ATTENTION IN THE LITERATURE (OWEVER A RANDOM ACCESS SEQUENCE
IS USED TO SYNCHRONIZE THE MOBILE AND THE BASE STATION IN ;= )NTERFERENCE DUE TO
NON
SYNCHRONIZED TRANSMISSION HAS BEEN INVESTIGATED IN ;=
GENERATOR 4HE DEGRADATION IN 3.2 IE THE INCREASE IN 3.2 NEEDED TO COMPENSATE FOR
THE ERROR CAN BE APPROXIMATED BY
t u
n $
# D" { {-
R
KM 6 -
WHERE 6 IS THE BANDWIDTH AND $ - IS THE PER
SYMBOL 3.2 .OTE THAT THE DEGRADATION
R
INCREASES WITH THE NUMBER OF SUBCARRIERS $UE TO THE RAPID VARIATIONS OF THE PHASE NOISE
IT MAY CAUSE LARGE PROBLEMS !NALYSIS OF THE IMPACT OF PHASE NOISE IN CODED SYSTEMS HAS
BEEN DONE IN ;=
FREQUENCY OdSET AND - THE NUMBER OF SUBCARRIERS 4HE DEGRADATION # IN 3.2 IN D"
CAN THEN BE APPROXIMATED BY
t u
$ - a a% $
# D" { {aE {
R R
KM - KM 6 -
)NTRODUCTION TO /&$-
.OTE THAT THE DEGRADATION IN D" INCREASES WITH THE SQUARE OF THE NUMBER OF SUBCARRIERS
IF a% AND 6 ARE çXED
)N ;= -OOSE DERIVES THE SIGNAL
TO
INTERFERENCE
RATIO 2(1 ON A FADING AND DISPER
SIVE CHANNEL 4HE 2(1 IS DEçNED AS THE RATIO OF THE POWER OF THE USEFUL SIGNAL TO THE
POWER OF THE INTERFERENCE SIGNAL )#) ANDh ADDITIVE
i NOISE (E ASSUMED THAT ALL CHANNEL
ATTENUATIONS G HAVE THE SAME POWER $ JG J !N UPPER BOUND ON THE DEGRADATION IS
J J
R RHM {aE
$
# D" v KNF -
RHMB aE
WHERE RHMB W RHM {W {W 4HE FACTOR IS FOUND FROM A LOWER BOUND OF THE
SUMMATION OF ALL INTERFERING SUBCARRIERS )N &IGURE THE DEGRADATION IS PLOTTED AS
A FUNCTION OF THE NORMALIZED FREQUENCY OdSET aE IE RELATIVE TO THE SUBCARRIER SPAC
ING 4HE SYNCHRONIZATION REQUIREMENTS FOR AN /&$- SYSTEM HAVE BEEN INVESTIGATED IN
;= 4HE CONCLUSION THEREIN IS THAT IN ORDER TO AVOID SEVERE DEGRADATION THE FREQUENCY
SYNCHRONIZATION ACCURACY SHOULD BE BETTER THAN
&IGURE $EGRADATION IN 3.2 DUE TO A FREQUENCY OdSET NORMALIZED TO THE SUBCARRIER
SPACING !NALYTICAL EXPRESSION FOR !7'. DASHED AND FADING CHANNELS SOLID
! RELATED TECHNIQUE IS TO USE THE CYCLIC PREçX WHICH TO SOME EXTENT CAN BE VIEWED AS
PILOTS 4HE REDUNDANCY OF THE CYCLIC PREçX CAN BE USED IN SEVERAL WAYS EG BY CREATING
A FUNCTION THAT PEAKS AT ZERO OdSET AND çNDING ITS MAXIMIZING VALUE ; = OR BY DOING
MAXIMUM LIKELIHOOD ESTIMATION ; = )N ;= IT IS ASSUMED THAT THE CYCLIC
PREçX HAS THE SAME SIZE AS THE /&$- SYMBOL IE THE USEFUL SYMBOL IS TRANSMITTED
TWICE IN ;= AVERAGING IS PERFORMED TO REMOVE THE DATA DEPENDENCE AND IN ;= DECISION
DIRECTION IS USED )N ;= THE LIKELIHOOD FUNCTION FOR BOTH TIMING AND FREQUENCY OdSETS IS
DERIVED BY ASSUMING A NON
DISPERSIVE CHANNEL AND BY CONSIDERING THE TRANSMITTED DATA
SYMBOLS W UNCORRELATED "Y MAXIMIZING THIS FUNCTION A SIMULTANEOUS ESTIMATION OF THE
J
TIMING AND FREQUENCY OdSETS CAN BE OBTAINED )F THE FREQUENCY ERROR IS SLOWLY VARYING
COMPARED THE /&$- SYMBOL RATE A PHASE
LOCKED LOOP 0,, ;= CAN BE USED TO REDUCE
THE ERROR FURTHER
THE DATA
&IGURE !N EXAMPLE OF PILOT INFORMATION TRANSMITTED BOTH SCATTERED AND CONTINUAL
ON CERTAIN SUBCARRIERS
)N GENERAL THE FADING CHANNEL CAN BE VIEWED AS A
$ SIGNAL TIME AND FREQUENCY
WHICH IS SAMPLED AT PILOT POSITIONS AND THE CHANNEL ATTENUATIONS BETWEEN PILOTS ARE
ESTIMATED BY INTERPOLATION 4HIS ENABLES US TO USE THE
$ SAMPLING THEOREM TO PUT
LIMITS THE DENSITY OF THE PILOT PATTERN ;= (OWEVER AS IN THE SINGLE CARRIER CASE ;= THE
PILOT PATTERN SHOULD BE DESIGNED SO THAT THE CHANNEL IS OVERSAMPLED AT THE RECEIVER
4HIS çGURE ILLUSTRATES THAT COHERENT MODULATION WITH LOW
COMPLEXITY CHANNEL ESTIMA
TION CAN OUTPERFORM DIdERENTIAL MODULATION %VEN THOUGH THE CHANNEL CORRELATION IN THE
FREQUENCY DIRECTION IS LARGE IN THIS CASE THE BEGINNING OF AN ERROR
âOOR FOR THE DIdERENTIAL
MODULATION IS CLEARLY VISIBLE FOR $ - GREATER THAN ABOUT D" 4HIS ERROR
âOOR IS OF
A
THE SAME TYPE AS THE ONE EXPERIENCED IN THE SINGLE
CARRIER CASE WHEN THE CHANNEL IS FADING
;=
&IGURE !N EXAMPLE ON THE DIdERENCE BETWEEN COHERENT AND DIdERENTIAL
03+ IN A
2AYLEIGH
FADING ENVIRONMENT
ALLOWS THE EdECTIVE CODE RATE TO VARY BETWEEN AND
)NTERLEAVING IS PERFORMED IN BOTH TIME AND FREQUENCY 4HE FORMER IS A KIND OF BLOCK IN
TERLEAVING AFTER WHICH THE BITS ARE MAPPED TO 103+ SYMBOLS 4HE FREQUENCY INTERLEAVER
WORKING WITH THE 103+ SYMBOLS FOLLOWS A PERMUTATION RULE OF THE SUBCARRIERS )N
ONE OF THE THREE TRANSMISSIONS MODES THIS PERMUTATION RULE IS
e
e M e M `
LNC M
4HIS PERMUTATION DEçNES THE SET
Fe e e e G F G
ACCORDING TO WHICH THE INTERLEAVING PATTERN IS CHOSEN !FTER THE FREQUENCY INTERLEAVING
THE 103+ SYMBOLS ARE DIdERENTIALLY MODULATED ON EACH SUBCARRIER
TURED CODES 2#0# DERIVED FROM THE RATE CODE WITH CONSTRAINT LENGTH
4HE OUTER INTERLEAVING SCHEME IS APPLIED TO BREAK UP ERROR BURSTS FROM THE INNER CODING
SYSTEM 3INCE THESE BURSTS ARE TYPICALLY MUCH SHORTER THAN THE FADING BURSTS THE OUTER
INTERLEAVING CAN BE MUCH SIMPLER THAN THE INNER INTERLEAVING
4HE INNER CODE IS BINARY TRELLIS
CODED MODULATION 4#- WITH ONE
DIMENSIONAL SIGNAL
CONSTELLATION 4HE REASON FOR THIS CHOICE IS THAT THEY WERE FOUND TO PROVIDE A GOOD DIVER
SITY FACTOR AT A VERY LOW DECODER COMPLEXITY ;= 4HE CODE USED IS A ONE
DIMENSIONAL
)NTRODUCTION TO /&$-
STATE CODE WITH
LEVEL UNIFORM PULSE
AMPLITUDE MODULATION
0!- 4HE
0!-
OUTPUT SYMBOLS ARE THEN COMBINED TO A
POINT QUADRATURE
AMPLITUDE MODULATION
1!- CONSTELLATION AND INTERLEAVED TO BREAK UP CHANNEL MEMORY )N THE RECEIVER THE
6ITERBI ALGORITHM 6! IS USED FOR DECODING 4HIS ALGORITHM IS CAPABLE OF USING THE CHAN
NEL STATE INFORMATION OBTAINED FROM A PILOT SEQUENCE SEE 3ECTION 4HE DECODING IS
PERFORMED BY MINIMIZING THE METRIC
8 nn nn
) nB
G n JX ` W J
M M M
THE REAL OR IMAGINARY PART AND W IS A POTENTIAL CODEWORD "ECAUSE OF THE OUTER CODE
M
THE 6! SHOULD BE MODIçED TO PROVIDE RELIABILITY ESTIMATES TOGETHER WITH THE DECODED
SEQUENCE 4HIS ENABLES SOFT DECODING OF THE OUTER CODE AS WELL "Y APPLYING A SOFT
OUTPUT
6ITERBI ALGORITHM 3/6! AN IMPROVEMENT OF ABOUT D" IS OBTAINED ;= 4OGETHER WITH
INNER CODING MULTICARRIER SIGNALLING AND SLOW FREQUENCY HOPPING THE INTERLEAVER PROVIDES
DUAL TIMEFREQUENCY DIVERSITY !N EXAMPLE OF SLOW FREQUENCY HOPPING IS DEPICTED IN
&IGURE %ACH PROGRAM CONSISTS OF A NUMBER OF SUBCARRIERS AND /&$- SYMBOLS THE
&IGURE 3LOW FREQUENCY HOPPING %ACH PROGRAM / USES A BANDWIDTH ! AND CHANGES
H
PARAMETERS ! AND 3 ARE CHOSEN TO MAXIMIZE THE DIVERSITY OF THE SYSTEM ! SIMILAR
GNO
3.2 "ITS
3UBCARRIER 3UBCARRIER
&IGURE #HANNEL 3.2 LEFT AND CORRESPONDING NUMBER OF BITS ON EACH SUBCARRIER
RIGHT
OF CROSSTALK IS PROPORTIONAL TO THE TRANSMITTING POWER IN THE SYSTEMS SEE AND
)T IS THEREFORE DESIRABLE TO HAVE AN EQUAL TRANSMISSION POWER IN ALL SYSTEMS TO OBTAIN
EQUAL DISTURBANCE SITUATIONS )N A MULTI
SYSTEM ENVIRONMENT THE AVERAGE TRANSMITTING
POWER IS USUALLY çXED AND THE OPTIMIZATION IS FOR EITHER HIGH DATA RATE OR LOW BIT
ERROR
RATE
*}
J
WHERE A IS THE NUMBER OF BITS CARRIED BIT
LOADING FACTOR ON SUBCARRIER J $ THE AVERAGE
J J
SYMBOL TRANSMISSION ENERGY F THE CHANNEL ATTENUATION AND } THE NOISE VARIANCE 4HE
J J
CODING GAIN IS DENOTED o AND THE CONSTELLATION EXPANSION FACTOR DUE TO CODING IS DENOTED
C
" &URTHER TO OBTAIN A DESIRED SYMBOL
ERROR RATE OF / THE DESIGN CONSTANT * IS CHOSEN
D
)NTRODUCTION TO /&$-
TO v t uw
0` /
*
D
- D
%XPRESSION CAN BE VIEWED AS THE UNION BOUND FOR A 1!-
CONSTELLATION WITH
SOME MODIçCATIONS FOR CODING WHERE * IS THE 3.2 REQUIRED TO OBTAIN AN ERROR PROBABILITY
/ 4HE CHANNEL 3.2 INCLUDING CODING $ F o } IS DIVIDED BY THE 3.2 REQUIRED TO
D J J C J
TRANSMIT ONE BIT &INALLY THE NUMBER OF BITS NEEDED IN THE CODING KNF " IS SUBTRACTED
TO GET THE NUMBER OF BITS CARRIED BY SUBCHANNEL J
)F THE NUMBER OF SYSTEMS TRANSMITTING IN A CABLE VARY THE AMOUNT OF CROSSTALK WILL
VARY ACCORDINGLY 4O HANDLE THE SITUATION WHERE THE NUMBER OF TRANSMITTING SYSTEMS
VARY ONE CAN EITHER DO THE BIT LOADING FOR A WORST CASE OR EMPLOY ADAPTIVE BIT LOADING
#HOW ;= PRESENTS SUCH AN ADAPTIVE ALGORITHM CALLED THE BIT
SWAP ALGORITHM WHICH IS
DESIGNED FOR THE CASE WHEN A çXED DATA RATE IS SPECIçED
7HEN TRYING TO MAXIMIZE THE DATA RATE WITH A CONSTANT TRANSMITTING POWER IT IS
OPTIMAL TO ALLOW BIT
LOADING FACTORS TO SPAN A CONTINUOUS RANGE OF VALUES 4U PRESENTS
SOME RESULTS IN ;= ON HOW THE GRANULARITY OF BIT
LOADING FACTORS AdECTS THE OBTAINED
DATA
RATE IN SUCH A SYSTEM /NE WAY TO GET NON
INTEGER BIT
LOADING FACTORS IS TO USE
MULTIDIMENSIONAL CODES -ULTIDIMENSIONAL CODES ALLOW A FRACTIONAL NUMBER OF BITS PER
$ SYMBOL TO BE TRANSMITTED ON EACH SUBCHANNEL &OR
$
$ AND
$ CODES THE
GRANULARITIES BECOME BIT BITS AND BITS PER
$ SYMBOL RESPECTIVELY !NOTHER
TECHNIQUE REFERRED TO AS ENERGY LOADING IS TO ALLOW SOME SORT OF çNE TUNING OF THE
TRANSMITTED ENERGY ON THE SUBCHANNELS IE ADJUSTING THE ENERGY $ IN SO THAT IT
J
CORRESPONDS TO ONE OF THE SUPPORTED BIT
LOADING FACTORS (OWEVER ENERGY LOADING ONLY
WORKS IF THE TUNING IS SMALL WHICH REQUIRES MANY BIT
LOADING FACTORS AND A SIDE EdECT IS
THAT A MORE COMPLEX SIGNAL CONSTELLATION MAPPERDEMAPPER IS REQUIRED
$ISCUSSION
4HIS SECTION IS BOTH A DISCUSSION AND A SUMMARY OF THE MATERIAL PRESENTED EARLIER IN THIS
REPORT
/NE OF THE MAJOR ADVANTAGES OF /&$- IS ITS ROBUSTNESS AGAINST MULTIPATH PROP
AGATION (ENCE ITS TYPICAL APPLICATIONS ARE IN TOUGH RADIO ENVIRONMENTS /&$- IS
ALSO SUITABLE IN SINGLE FREQUENCY NETWORKS SINCE THE SIGNALS FROM OTHER TRANSMITTERS CAN
BE VIEWED AS ECHOES IE MULTIPATH PROPAGATION 4HIS MEANS THAT IT IS FAVORABLE TO
USE /&$- IN BROADCASTING APPLICATIONS SUCH AS $!" AND $6" 4HE USE OF /&$- IN
MULTIUSER SYSTEMS HAS GAINED AN INCREASING INTEREST THE LAST FEW YEARS 4HE DOWNLINK IN
THOSE SYSTEMS IS SIMILAR TO BROADCASTING WHILE THE UPLINK PUTS HIGH DEMANDS ON EG
SYNCHRONIZATION 4HE FUTURE OF /&$- AS A TRANSMISSION TECHNIQUE FOR MULTIUSER SYSTEMS
DEPENDS ON HOW WELL THESE PROBLEMS CAN BE SOLVED
)N WIRED SYSTEMS THE STRUCTURE OF /&$- OdERS THE POSSIBILITY OF EbCIENT BITLOADING
"Y ALLOCATING A DIdERENT NUMBER OF BITS TO DIdERENT SUBCHANNELS DEPENDING ON THEIR
INDIVIDUAL 3.2S EbCIENT TRANSMISSION CAN BE ACHIEVED !LTHOUGH OTHER SYSTEMS HAVE
BEEN PROPOSED /&$- IS THE DOMINATING TECHNIQUE ON EG DIGITAL SUBSCRIBER LINES .OTE
THAT /&$- OFTEN GOES UNDER THE NAME $-4 WHEN USED IN WIRED SYSTEMS WITH BITLOADING
4HERE ARE ALSO PROBLEMS ASSOCIATED WITH /&$- SYSTEM DESIGN 4HE TWO MAIN OBSTA
CLES WHEN USING /&$- ARE THE HIGH PEAK
TO
AVERAGE
POWER RATIO AND SYNCHRONIZATION
4HE FORMER PUTS HIGH DEMANDS ON LINEARITY IN AMPLIçERS 3YNCHRONIZATION ERRORS IN BOTH
TIME AND FREQUENCY DESTROY THE ORTHOGONALITY AND CAUSE INTERFERENCE "Y USING A CYCLIC
PREçX THE TIMING REQUIREMENTS ARE SOMEWHAT RELAXED SO THE BIGGEST PROBLEMS ARE DUE
TO HIGH FREQUENCY SYNCHRONIZATION DEMANDS $EGRADATION DUE TO FREQUENCY ERRORS CAN
BE CAUSED BOTH BY DIdERENCES IN LOCAL OSCILLATORS AND BY $OPPLER SHIFTS ! GREAT DEAL OF
EdORT IS THEREFORE SPENT ON DESIGNING ACCURATE FREQUENCY SYNCHRONIZERS FOR /&$-
!S IN ANY DIGITAL COMMUNICATION SYSTEM THERE ARE TWO ALTERNATIVES FOR MODULATION
COHERENT OR DIdERENTIAL 4HE %UROPEAN $!" SYSTEM USES DIdERENTIAL 103+ WHILE THE
PROPOSED SCHEME FOR $6" IS COHERENT
1!- $IdERENTIAL 03+ IS SUITABLE FOR LOW DATA
RATES AND GIVES SIMPLE AND INEXPENSIVE RECEIVERS WHICH IS IMPORTANT FOR PORTABLE CON
SUMER PRODUCTS LIKE $!" RECEIVERS (OWEVER IN $6" THE DATA RATE IS MUCH HIGHER AND
LOW BIT
ERROR RATES ARE DIbCULT TO OBTAIN WITH DIdERENTIAL 03+ ! NATURAL CHOICE FOR $6"
IS THEREFORE MULTIAMPLITUDE SCHEMES $UE TO THE STRUCTURE IN /&$- IT IS EASY TO DESIGN
EbCIENT CHANNEL ESTIMATORS AND EQUALIZERS 4HIS IS ONE OF THE APPEALING PROPERTIES OF
/&$- WHICH SHOULD BE EXPLOITED TO ACHIEVE HIGH SPECTRAL EbCIENCY
#ODING IN WIRELESS /&$- SYSTEMS DOES NOT DIdER MUCH FROM CODING IN WIRELESS SINGLE
CARRIER SYSTEMS 4HE MAIN DIdERENCE IS THAT INTERLEAVING IN /&$- ALLOWS SYMBOLS TO BE
SPREAD IN BOTH TIME AND FREQUENCY 4HE POSSIBILITY TO INTERLEAVE IN FREQUENCY OVERCOMES
THE DRAWBACK OF NOT OBTAINING DIVERSITY FROM THE EQUALIZER 3INCE EACH SUBCHANNEL EX
PERIENCES âAT FADING CODE DESIGN AND PERFORMANCE ANALYSIS DEVELOPED FOR âAT FADING
CHANNELS CAN BE USED $ECODING CAN BE PERFORMED WITH A 6ITERBI DECODER WHERE THE
METRIC DEPENDS ON THE ESTIMATED CHANNEL ATTENUATIONS 4HIS MEANS THAT SYMBOLS ARE
WEIGHED WITH THEIR RESPECTIVE CHANNEL STRENGTH 4HIS REDUCES THE EdECT OF ERRORS CAUSED
BY SYMBOLS TRANSMITTED DURING A FADE
)NTRODUCTION TO /&$-
!CKNOWLEDGEMENTS
4HE AUTHORS WOULD LIKE TO EXTEND THEIR GRATITUDE TO THE STAd AT 4ELIA 2ESEARCH !" ,ULE¥
AND THE COLLEAGUES AT THE $IVISION OF 3IGNAL 0ROCESSING ,ULE¥ 5NIVERSITY OF 4ECHNOLOGY
FOR PROVIDING VALUABLE COMMENTS AND CORRECTIONS
S O S ` K~ D
JK S
I {Jy S
4HIS ALLOWS US TO INTERPRET THE PULSE SHAPING PROBLEM 4HE RECEIVER USES THE FUNCTIONS
S THAT ARE TRANSLATIONS OF A POSSIBLY DIdERENT PROTOTYPE FUNCTION O S
JK Q
S O S ` K~ D
JK Q
I {Jy S
S p :J ` J K ` K <
l m
S
JK J K
WHERE Ha aI DENOTES THE %UCLIDEAN INNER PRODUCT ;= (ENCE THE TRANSMITTER AND RECEIVER
FUNCTIONS ARE BI
ORTHOGONAL ;= 4HIS SIMPLIçES THE RECEIVER SINCE
:
RSc SCS W
l m
RS S
`
JK JK JK
(OWEVER A TIME OR FREQUENCY DISPERSIVE CHANNEL DESTROYS THIS ORTHOGONALITY "Y CAREFULLY
CHOOSING O S AND O S THE EdECTS OF THE LOSS OF ORTHOGONALITY CAN BE KEPT LOW !N
S Q
/&$- SYSTEM MUST BE SUbCIENTLY RESISTANT TO BOTH TIME AND FREQUENCY DISPERSION 4HE
FORMER CAN DEALT WITH BY INTRODUCING A GUARD SPACE USUALLY IN THE FORM OF A CYCLIC PREçX
WHILE THE LATTER IS OFTEN APPROACHED BY PULSE SHAPING )N SYSTEMS WITH A CYCLIC PREçX
AND NO PULSE SHAPING THE FUNCTIONS O S AND O S ARE CHOSEN AS THE RECTANGULAR PULSE
S Q
ALTHOUGH OF DIdERENT LENGTHS 4HE RECEIVER PROTOTYPE FUNCTION O S IN THIS CASE IS SHORTER Q
THAN THE TRANSMITTER PROTOTYPE FUNCTION O S WHICH CORRESPONDS TO THE REMOVAL OF THE
S
CYCLIC PREçX
! COMMON PROPAGATION MODEL IS OBTAINED BY ASSUMING THAT THE CHANNEL CONSISTS OF A
NUMBER OF ELEMENTARY PATHS ;= WHERE EACH PATH IS DESCRIBED BY A DELAY A FREQUENCY
OdSET AND A COMPLEX ATTENUATION 4HUS BY INVESTIGATING THE EdECTS OF A STATIC DELAY AND
FREQUENCY OdSET THE SENSITIVITY TO A FADING MULTIPATH CHANNEL CAN BE EVALUATED ;= 4HIS
)NTRODUCTION TO /&$-
ANALYSIS CAN BE MADE WITH THE CROSS
AMBIGUITY FUNCTION ;= OF THE PROTOTYPE FUNCTIONS
O S AND O S
S Q
:
~ E O S Oc S ` ~ D` CS I {E S
`
S Q
WHICH CAN BE VIEWED AS A CROSSCORRELATION FUNCTION IN THE TIME
FREQUENCY PLANE 4HE
BI
ORTHOGONALITY OF AND S REQUIRES THAT
JK JK
:
l m `
S
S D
O S Oc S ` M~ D` CS
I {LK~
I {Ly S
`
JK J LK M S Q
D` I {LK~
M~ Ly p :M L<
4HIS IS A CONDITION ON THE SAMPLES OF THE CROSS
AMBIGUITY FUNCTION AT POSITIONS M~ Ly
4HE CROSS
AMBIGUITY FUNCTION SHOULD BE ZERO FOR ALL M L BUT A DELAY OR
FREQUENCY OdSET WILL DESTROY THE ORTOGONALITY SINCE ~ E IS NOT SAMPLED AT ITS ZEROS
7ITH A DELAY a~ AND A FREQUENCY OdSET ay THE SIGNAL POWER IS J a~ ayJ AND THE
INTERFERENCE POWER CAN BE UPPER BOUNDED BY ` J a~ ayJ ;= 4HIS BOUNDS THE
SIGNAL
TO
INTERFERENCE RATIO 3)2 FROM BELOW AS
J a~ ayJ
3)2 w
` J a~ ayJ
4HUS THE CROSS
AMBIGUITY FUNCTION IS A MEASURE OF THE INTERFERENCE IN THE SYSTEM CAUSED
BY A DELAY OR A FREQUENCY OdSET )N ;= A PROTOTYPE FUNCTION IS CREATED WHICH IS
CLAIMED TO HAVE A NEAR
OPTIMUM CROSS
AMBIGUITY FUNCTION 4HE CROSS
AMBIGUITY FUNCTION
FOR A RECTANGULAR PULSE IN A SYSTEM WITH CYCLIC PREçX IS SHOWN IN &IGURE .OTE THAT
&IGURE !MBIGUITY FUNCTION FOR A RECTANGULAR PULSE AND CYCLIC PREçX WITH LENGTHS
~ AND 3 RESPECTIVELY
BO
THE SYSTEM IS INSENSITIVE TO A TIME DELAY LESS THAN 3 BO SINCE THE CROSS
AMBIGUITY
FUNCTION IS âAT AT THE TOP
)NTRODUCTION TO /&$-
4HE MAIN PROBLEM WITH USING A RECTANGULAR PULSE OS IS THAT IT IS NOT WELL LOCALIZED IN
FREQUENCY $ENOTE THE TIME AND FREQUENCY WIDTHS RESPECTIVELY OF THE UNIT ENERGY SIGNAL
OS BY
:
aS S JOSJ CS
:`
aE E J/ E J CE
`
P
WHERE / E IS THE &OURIER TRANSFORM OF OS 4HEN aS ~ AND aE FOR THE
RECTANGULAR PULSE 4HIS FREQUENCY SPREAD OF ENERGY IS THE REASON FOR )#) IN THE CASE OF
TRANSMISSION OVER FREQUENCY DISPERSIVE CHANNELS ;= 4HUS OTHER PULSES HAVE BEEN SOUGHT
TO OVERCOME THIS PROBLEM 3INCE THE 'AUSSIAN PULSE OS D`
{S
HAS A MINIMAL TIME
BANDWIDTH PRODUCT ;= IT HAS BEEN USED TO FORM SUITABLE FUNCTIONS ; = 0ROLATE
SPHEROIDAL WAVE FUNCTIONS ;= HAVE ALSO BEEN USED TO MINIMIZE OUT
OF
BAND ENERGY IN
PULSES UNDER CERTAIN CONDITIONS ; =
0ART
!NALYSIS OF $&4
BASED CHANNEL
ESTIMATORS FOR /&$-
!BSTRACT Ô )N THIS PAPER WE ANALYZE THE PERFORMANCE OF THREE LOW
COMPLEXITY CHANNEL ESTI
MATORS BASED ON THE DISCRETE &OURIER
TRANSFORM $&4 FOR ORTHOGONAL FREQUENCY
DIVISION
MULTIPLEXING /&$- SYSTEMS %STIMATORS OF THIS TYPE HAVE BEEN ANALYZED FOR DISCRETE
TIME CHANNELS AND WE EXTEND THIS ANALYSIS TO CONTINUOUS
TIME CHANNELS 7E PRESENT ANALYT
ICAL EXPRESSIONS FOR THEIR MEAN
SQUARED ERROR -3% AND EVALUATE THEIR COMPLEXITY VERSUS
SYMBOL
ERROR RATE 3%2 FOR
1!- 4HE ANALYSIS SHOWS THAT THIS TYPE OF ESTIMATORS MAY
EXPERIENCE AN IRREDUCIBLE ERROR âOOR AT HIGH 3.2S (OWEVER IN ONE OF THE THREE ESTIMATORS
THE ERROR âOOR CAN BE ELIMINATED WHILE THE COMPLEXITY STAYS LOW AND THE PERFORMANCE IS
MAXIMIZED
$&4
BASED CHANNEL ESTIMATORS
$&4
BASED CHANNEL ESTIMATORS
)NTRODUCTION
7IRELESS DIGITAL COMMUNICATION SYSTEMS USING COHERENT SIGNALING SCHEMES SUCH AS A
QUADRATURE AMPLITUDE MODULATION 1!- REQUIRE ESTIMATION AND TRACKING OF THE FADING
CHANNEL )N GENERAL THIS MEANS A MORE COMPLEX RECEIVER THAN FOR DIdERENTIAL MODULA
TION SCHEMES SUCH AS DIdERENTIAL PHASE
SHIFT KEYING $03+ WHERE THE RECEIVERS OPERATE
WITHOUT A CHANNEL ESTIMATE ;= )N ORTHOGONAL FREQUENCY
DIVISION MULTIPLEXING /&$-
SYSTEMS ; = $03+ IS APPROPRIATE FOR RELATIVELY LOW DATA RATES SUCH AS IN THE %URO
PEAN DIGITAL
AUDIO BROADCAST $!" SYSTEM ;= (OWEVER FOR MORE SPECTRALLY
EbCIENT
/&$- SYSTEMS COHERENT MODULATION IS MORE APPROPRIATE
7E ADDRESS LINEAR ESTIMATORS FOR /&$- WHERE ALL CHANNEL ATTENUATIONS IN A RECEIVED
SYMBOL ARE ESTIMATED SIMULTANEOUSLY 5SING THE LINEAR MINIMUM MEAN
SQUARED ERROR
,--3% ESTIMATOR WHICH TAKES ADVANTAGE OF THE CORRELATION BETWEEN ALL - SUBCARRI
ERS REQUIRES AN - b - MATRIX MULTIPLICATION 4HIS COMPLEXITY CAN BE LARGE DEPENDING
ON THE NUMBER OF SUBCARRIERS IN THE SYSTEM 4HIS PAPER PRESENTS AND ANALYZES THREE
LOW
COMPLEXITY SUBOPTIMAL APPROXIMATIONS OF THE ,--3% CHANNEL ESTIMATOR 4HESE
ESTIMATORS ALL SHARE THE PROPERTY THAT THEY USE THE DISCRETE &OURIER TRANSFORM $&4 TO
ESTIMATE THE CHANNEL IN THE TIME DOMAIN %STIMATORS OF THIS TYPE HAVE BEEN PROPOSED
; = BUT ONLY ANALYZED FOR DISCRETE
TIME CHANNELS ;=
4HE ADDRESSED ESTIMATORS TAKE THE - NOISY FREQUENCY
DOMAIN OBSERVATIONS AND TRANS
FORM THEM TO THE TIME DOMAIN BY AN INVERSE $&4 )$&4 4HE LINEAR ESTIMATION IS THEN
PERFORMED IN THE TIME
DOMAIN AND THE RESULT TRANSFORMED BACK TO THE FREQUENCY DOMAIN
BY A $&4 4HE TRANSFORMS CAN BE IMPLEMENTED WITH FAST ALGORITHMS REQUIRING ONLY A
FEW MULTIPLICATIONS PER ESTIMATED ATTENUATION BUT THERE ARE STILL - COEbCIENTS TO ESTI
MATE SIMULTANEOUSLY IN THE TIME
DOMAIN (OWEVER AN /&$- SYMBOL TIME IS BY DESIGN
MUCH LARGER THAN THE LENGTH OF THE CHANNEL 4HE TIME
DOMAIN ESTIMATION TAKES ADVAN
TAGE OF THE FACT THAT THIS CONCENTRATES THE CHANNEL POWER TO A RELATIVELY SMALL NUMBER
OF TIME
DOMAIN SAMPLES 4HREE OF THE STRATEGIES FOR DOING TIME
DOMAIN APPROXIMATIONS
ARE APPROXIMATING TIME
DOMAIN SAMPLES WITH LOW CHANNEL POWER AS ZERO IGNORING CROSS
CORRELATIONS AND IGNORING DIdERENCES IN VARIANCE 4HE THREE ESTIMATORS ANALYZED HERE USE
THESE THREE STRATEGIES CUMULATIVELY
!FTER PRESENTING THE /&$- SYSTEM MODEL IN 3ECTION WE INTRODUCE THE THREE
$&4
BASED ESTIMATORS IN 3ECTION )N 3ECTION WE PRESENT AN ANALYSIS OF THE AVERAGE
MEAN
SQUARED ERROR -3% AND SHOW THAT THERE IS AN IRREDUCIBLE -3%
âOOR INHERENT IN
$&4
BASED LOW
COMPLEXITY ESTIMATORS 7E ALSO ILLUSTRATE THEIR PERFORMANCE BY PRESENTING
THE UNCODED
1!- SYMBOL ERROR RATE FOR A TONE /&$- SYSTEM ! COMPLEXITY VERSUS
PERFORMANCE COMPARISON IS DONE WHICH SINGLES OUT THE SECOND OF THE THREE ESTIMATORS AS
A GOOD TRADE
Od ! SUMMARY AND CONCLUDING REMARKS APPEAR IN 3ECTION
THE CHANNEL F~ S IS ASSUMED TO BE SLOWLY 2AYLEIGH
FADING AND CONSIDERED CONSTANT DUR
ING ONE /&$- SYMBOL 4HE NUMBER OF TONES IN THE SYSTEM IS - AND THE LENGTH OF THE
CYCLIC PREçX IS + SAMPLES
W X
W (#%3 .OISE X
#%3
# F~ S #
W- ` X- `
&IGURE "ASE BAND /&$- SYSTEM 4HE CYCLIC PREçX IS NOT SHOWN IN THIS çGURE
&IGURE 4HE /&$- SYSTEM DESCRIBED AS A SET OF PARALLEL 'AUSSIAN CHANNELS WITH
CORRELATED ATTENUATIONS
5NDER THESE ASSUMPTIONS WE CAN DESCRIBE THE SYSTEM AS A SET OF PARALLEL 'AUSSIAN
CHANNELS ;= SHOWN IN &IGURE WITH CORRELATED ATTENUATIONS
t u
J
G & J - `
-3
J
R
WHERE & a IS THE FREQUENCY RESPONSE OF THE CHANNEL F ~ S DURING THE /&$- SYMBOL
AND 3 IS THE SAMPLING PERIOD OF THE SYSTEM )N MATRIX NOTATION WE DESCRIBE THE /&$-
R
SYSTEM AS
X 7G
M
WHERE X IS THE RECEIVED VECTOR 7 IS A DIAGONAL MATRIX CONTAINING THE TRANSMITTED SIGNAL
POINTS G IS A CHANNEL ATTENUATION VECTOR AND M IS A VECTOR OF INDEPENDENT AND IDENTICALLY
DISTRIBUTED COMPLEX ZERO
MEAN h'AUSSIAN
i NOISE VARIABLES WITH VARIANCE } 7ITHOUT LOSS
M
OF GENERALITY WE ASSUME THAT $ JG J
J
$&4
BASED CHANNEL ESTIMATORS
3INCE /&$- SYSTEMS ARE DESIGNED SUCH THAT THE SYMBOL TIME IS SIGNIçCANTLY LONGER
THAN THE DURATION OF THE CHANNEL IMPULSE RESPONSE THE INVERSE $&4 OF THE CHANNEL
ATTENUATION VECTOR G HAS MOST OF ITS POWER CONCENTRATED TO RELATIVELY FEW SAMPLES !S AN
ILLUSTRATION OF THIS POWER CONCENTRATION &IGURE SHOWS THE CHANNEL POWER IN THE TIME
DOMAIN FOR TWO CHANNEL TYPES SAMPLE
SPACED AND NON
SAMPLE
SPACED 3AMPLE
SPACED
CHANNELS ARE CHANNELS THAT HAVE ALL FADING IMPULSES AT INTEGER MULTIPLES OF THE SYSTEM
SAMPLING RATE AND FOR WHICH THE $&4 GIVES OPTIMAL POWER CONCENTRATION ;=
0OWER
4IME 4IME
.%#, .%#,
"XBKHB RXLANK "XBKHB RXLANK
OQDEHW OQDEHW
&IGURE 3CHEMATIC PICTURES OF THE TIME
DOMAIN POWER DISTRIBUTION OF THE CHANNEL IE
OF (#%3 G
$&4
BASED ESTIMATION OF SAMPLE
SPACED CHANNELS IS ADDRESSED IN ;= AND THE THREE
ESTIMATORS WE PRESENT AND ANALYZE ARE GENERALIZATIONS THEREOF FOR NON
SAMPLE
SPACED CHAN
NELS &OR CLARITY WE çRST CALCULATE THE LINEAR MINIMUM MEAN
SQUARED ERROR ,--3%
ESTIMATE OF G
7E BASE OUR ESTIMATES ON THE ,3 ESTIMATE THE BACKROTATED OBSERVATIONS
B 7` X G
M
GKR E
E 7` M IS A VECTOR OF INDEPENDENT 'AUSSIAN NOISE VARIABLES WITH COVARIANCE
WHERE M
` a`
MATRIX 1E E } 77
MM
' B CONSTITUTES A SUbCIENT STATISTIC SINCE
4HE ,3 ESTIMATE G KR
M
h i J J
B
G KLLRD
B
6G KR
4HIS ,--3% ESTIMATOR STILL REQUIRES - MULTIPLICATIONS PER ESTIMATED ATTENUATION AND
WE USE IT BOTH AS A REFERENCE AND AS A STARTING POINT IN THE DERIVATION OF THE $&4
BASED
LOW
COMPLEXITY ESTIMATORS
7E NOW USE THE PROPERTY OF /&$- SYSTEMS IDENTIçED ABOVE AND IN ; = G IS
THE SAMPLED FREQUENCY RESPONSE OF A CHANNEL WITH SHORT TIME DURATION COMPARED TO THE
/&$- SYMBOL LENGTH AND HENCE ITS ASSOCIATED CYCLIC IMPULSE RESPONSE F (#%3 G HAS
ONLY A FEW TAPS WITH SIGNIçCANT POWER )F WE PERFORM THE ESTIMATION IN THE TIME
DOMAIN
WE CAN REDUCE THE COMPLEXITY OF THE ESTIMATION BY USING THIS POWER CONCENTRATION
4HIS PROMPTS THE ESTIMATOR STRUCTURE IN &IGURE r WHERE
s THE ,3 ESTIMATE IS TRANS
FORMED INTO ITS TIME
DOMAIN EQUIVALENT F B (#%3 G KR
B 4HE SMOOTHING IS THEN PER
KR
TANT BENEçT OF THIS ESTIMATOR STRUCTURE IN TERMS OF COMPLEXITY IS THE LOW COMPLEXITY OF THE
$&4)$&4 IMPLEMENTED AS FAST TRANSFORMS AND THE TIME
DOMAIN POWER CONCENTRATION
4HIS OdERS A SIMPLIçCATION OF WITHOUT SACRIçCING TOO MUCH IN PERFORMANCE
/UR APPROACH IS TO çND SPARSE APPROXIMATIONS OF THE ,--3% ESTIMATORÚS EQUIVALENT
TIME
DOMAIN SMOOTHING MATRIX
0 % 6% '
WHERE % IS THE - b- UNITARY $&4 MATRIX AND 6 IS DEçNED IN 4HIS WILL REDUCE THE
NUMBER OF REQUIRED MULTIPLICATIONS AND THUS THE ESTIMATOR COMPLEXITY ! STRAIGHTFORWARD
WAY IS TO SIMPLY IGNORE THE COEbCIENTS IN FB THAT CONTAIN MORE NOISE THAN CHANNEL POWER
KR
AND ONLY TRANSFORM THE REMAINING ELEMENTS BACK TO THE FREQUENCY DOMAIN &OR SAMPLE
SPACED CHANNELS THIS IS A FRUITFUL APPROACH ; = SINCE THE MAJOR PART OF THE COEbCIENTS
ONLY CONTAIN NOISE AND NO CHANNEL POWER )F THE CHANNEL IS NOT SAMPLE
SPACED HOWEVER
THE CHANNEL POWER IS STILL CONCENTRATED BUT DISTRIBUTED OVER ALL COEbCIENTS $UE TO THE
$&4
BASED CHANNEL ESTIMATORS
TRANSFORMATION
,INEAR
)$&4
$&4
W` `
-
X ` B
G FB FB ` B
G
- `
KR- KR- ` - `
-
&IGURE 3TRUCTURE OF $&4
BASED CHANNEL ESTIMATORS WHERE THE LINEAR TRANSFORMATION
B 0B
CONSISTS OF A MATRIX MULTIPLICATION F F KR
LOST CHANNEL POWER IN THE IGNORED COEbCIENTS THE SIMPLIçCATION CAUSES AN IRREDUCIBLE ERROR
âOOR ;=
7E NOW MOVE THROUGH THREE SIMPLIçCATION STEPS AND OBTAIN THREE DIdERENT LOW
COMPLEXITY ESTIMATORS OF WHICH THE LAST IS THE STRAIGHTFORWARD APPROACH DESCRIBED ABOVE
4HE GENERAL CONCEPT IS BASED ON REDUCING THE NUMBER OF NON
ZERO ELEMENTS IN THE TIME
DOMAIN MATRIX MULTIPLICATION WITH THE AIM OF REDUCING THE COMPUTATIONAL COM
PLEXITY AND PRESERVING THE PERFORMANCE 4HE THREE ESTIMATORS ARE SELECTED AS FOLLOWS
3EE !PPENDIX ! FOR A DETAILED DERIVATION
q %STIMATOR !
"Y CHOOSING THE , COEbCIENTS IN F B THAT HAVE THE HIGHEST CHANNEL POWER WE
KR
RESTRICT THE LINEAR TRANSFORM IN THE TIME
DOMAIN TO A çXED MATRIX OF SIZE , b ,
)F , IS CHOSEN MUCH SMALLER THAN - THE COMPLEXITY REDUCTION COMPARED TO THE
,--3% IS CONSIDERABLE 4HE COMPLEXITY OF THE TIME
DOMAIN PROCESSING IN THIS CASE
IS , - MULTIPLICATIONS PER ESTIMATED ATTENUATION 4HIS ESTIMATOR CONVERGES TO
THE ,--3% WHEN , - 7E HAVE PRESENTED A RELATED ESTIMATOR PREVIOUSLY IN
;=
q %STIMATOR "
&URTHER REDUCTIONS IN COMPLEXITY CAN BE DONE BY IGNORING CROSS
CORRELATION BETWEEN
THE , CHOSEN TAPS IN F B AND ONLY WEIGHTING THEM INDIVIDUALLY 4HIS ESSENTIALLY
KR
q %STIMATOR #
)N THIS LAST ESTIMATOR WE FURTHER RESTRICT THE TIME
DOMAIN PROCESSING TO ONLY USE
THE , CHOSEN COEbCIENTS DIRECTLY AS INPUT TO THE $&4 4HIS MEANS RESTRICTING THE
MATRIX TO AN , b , IDENTITY MATRIX WHICH DOES NOT REQUIRE ANY MULTIPLICATIONS
$&4
BASED CHANNEL ESTIMATORS
$, b,
" $IAGONAL MATRIX 1! - b - DIAG LOG . ,
v w -
), b ,
# )DENTITY MATRIX 1" - b - IDENT LOG .
,3 .! .! .!
4ABLE !NALYSED $&4 BASED ESTIMATORS 3EE !PPENDIX ! FOR DETAILS
4HE OUTLINED ESTIMATORS !
# ARE SUMMARIZED IN 4ABLE WHERE WE HAVE ALSO
INCLUDED THE ,--3% AND ,3 ESTIMATORS AS REFERENCES 4HE TABLE SHOWS THE TOTAL COM
PUTATIONAL COMPLEXITY INCLUDING THE )$&4 AND $&4 FOR ESTIMATORS !Ô# )N GENERAL
UNLESS , IS CLOSE TO - THE COMPLEXITY DECREASES IN 4ABLE FROM THE ,--3% TO THE
,3
THE LENGTH OF THE CYCLIC PREçX AND WITH A CONSTANT POWER DELAY PROçLE &ROM THIS CHANNEL
MODEL WE CALCULATE THE AUTO
COVARIANCE MATRIX 1 OF THE CHANNEL ATTENUATIONS G ;=
GG
4O
OBTAIN A COMPLEXITY MEASURE WE HAVE ASSUMED THAT . IS A POWER OF TWO AND THAT THE $&4 AND
THE )$&4 REQUIRES . LOG . COMPLEX MULTIPLICATIONS EACH ;=
$&4
BASED CHANNEL ESTIMATORS
4HROUGH DIRECT CALCULATION OF THE AUTO
COVARIANCE MATRIX OF THE ESTIMATION ERROR
|r sr s } '
1 $
D0 D0
B
G`G G`G B
.OTE THAT THE DIAGONAL ELEMENTS OF 1 ARE THE INDIVIDUAL ERROR VARIANCES FOR EACH
D0 D0
CHANNEL ATTENUATION 4HE CALCULATIONS ARE DERIVED IN !PPENDIX ! 4HE çNAL -3%
EXPRESSIONS FOR THE ,--3% ESTIMATOR THE LOW
COMPLEXITY ESTIMATORS !Ô# AND THE ,3
ESTIMATOR ARE DISPLAYED IN 4ABLE !PPENDIX ! ALSO CONTAINS A NOTE ON SAMPLE
SPACED
CHANNELS THAT IS OF INTEREST WHEN COMPARING THIS ANALYSIS WITH THE ANALYSIS IN ;= !S
DISPLAYED IN THE TABLE ESTIMATORS ! " AND # EXPERIENCE AN ERROR âOOR ,2$ DUE TO
THE CHANNEL POWER IN THE - ` , EXCLUDED CHANNEL TAPS 4HIS ERROR âOOR IS THE SAME FOR
ALL $&4
BASED LOW
COMPLEXITY ESTIMATORS 4HE INDIVIDUAL RANKING OF THE LOW
COMPLEXITY
ESTIMATORS IN TERMS OF -3% FOR A çXED , IS ,2$ v ,2$ v ,2$ ! "
2-1
`
J
0
,
! -3%
n wJ,
- 2-1 wJ,
n
2-1
`
J
0
,
" - 2-1
n oJ
n -3%
oJ
J 2-1
# ,
-
n
2-1
-3%
,3 2-1
n
`
0
-
-3% -
oJ -3% âOOR
J ,
4ABLE !VERAGE -3% FOR THE INVESTIGATED ESTIMATORS 1 DENOTES THE COVARIANCE FF,
MATRIX OF THE , DOMINATING TAPS IN F .OTE THAT THE w S ARE EIGENVALUES OF 1 J- FF
5SING THE FORMULAE FROM ;= WE DISPLAY
1!- 3%2 CURVES FOR TWO DIdERENT
NUMBERS OF INCLUDED TRANSFORM COEbCIENTS , AND , IN &IGURE 4HE
1!- 3%2 OF THE FULL ,--3% ESTIMATOR AND THE ,3 ESTIMATOR ARE ALSO INCLUDED IN THE
çGURE AS REFERENCES .OTE THAT FOR , THERE IS NO VISIBLE DIdERENCE IN 3%2 BETWEEN
THE THREE LOW
COMPLEXITY ESTIMATORS AND THAT THE 3%2 LEVELS Od AT HIGH 3.2S DUE TO
$&4
BASED CHANNEL ESTIMATORS
THE ERROR âOOR )T IS ONLY FOR HIGHER VALUES OF , THAT A DIdERENCE IN 3%2 IS NOTICEABLE
BETWEEN THE LOW
COMPLEXITY ESTIMATORS )T IS ALSO NOTEWORTHY THAT EVEN AT , OUT
OF A POSSIBLE - THE ERROR âOOR IS VISIBLE AND THE LOW
COMPLEXITY ESTIMATORS PERFORM
WORSE THAN THE ,3 ESTIMATOR ABOVE A CERTAIN 3.2 &OR , THE çGURE ALSO SHOWS
THAT THE PERFORMANCE OF THE ESTIMATORS IS DECREASING FROM ! TO #
1!- 3%2
1!- 3%2
- -
,--3% ,--3%
! !
" "
# #
,3
,3
3.2 ;D"= 3.2 ;D"=
&IGURE 5NCODED
1!- 3%2 FOR THREE SYSTEMS USING THE LOW
COMPLEXITY ESTIMATORS
! " AND # RESPECTIVELY .OTE %STIMATORS ! " AND # HAVE THE SAME 3%2 FOR ,
4HE PERFORMANCE OF THE LOW
COMPLEXITY ESTIMATORS ESPECIALLY FOR HIGH 3.2S DEPENDS
STRONGLY ON THE NUMBER OF INCLUDED TAPS !N ANALYSIS OF THIS BEHAVIOR SHOWS THAT THE THREE
LOW
COMPLEXITY ESTIMATORS ARE QUITE DIdERENT IN TERMS OF COMPLEXITY VERSUS PERFORMANCE
4HIS IS ILLUSTRATED IN &IGURE WHICH SHOWS THAT THE COMPLEXITY NEEDS TO BE HIGH TO MAKE
ESTIMATOR ! THE BEST IN TERMS OF 3%2 )N GENERAL ESTIMATORS " AND # ARE MORE EbCIENT
PER REQUIRED MULTIPLICATION &OR A SUBCARRIER SYSTEM THE COMPLEXITY OF ESTIMATOR # IS
ALWAYS MULTIPLICATIONS PER ATTENUATION WHILE ESTIMATOR " HAS A COMPLEXITY OF BETWEEN
AND MULTIPLICATIONS PER ATTENUATION DEPENDING ON THE NUMBER OF TAPS USED
)F WE WANT TO ELIMINATE THE ERROR âOOR ENTIRELY WE HAVE TO USE ALL TAPS , -
IN ESTIMATORS !Ô# %dECTIVELY THIS TURNS ESTIMATOR ! INTO THE HIGH
COMPLEXITY ,--3%
ESTIMATOR AND ESTIMATOR # INTO THE LOW
PERFORMANCE ,3 ESTIMATOR (OWEVER ESTIMATOR
" WHICH HAS LOWER COMPLEXITY THAN ESTIMATOR ! AND BETTER PERFORMANCE THAN ESTIMATOR
# IS A GOOD COMPROMISE BETWEEN THE TWO %STIMATOR ! DOES NOT HAVE A COMPLEXITY LOW
ENOUGH TO COMPETE WITH THE OTHER TWO AND THE APPROXIMATIONS IN ESTIMATOR # SEEM TO
BE TOO CRUDE TO PROVIDE A GOOD ESTIMATE 4HIS ENABLES US TO SINGLE OUT ESTIMATOR " AS THE
$&4
BASED CHANNEL ESTIMATORS
3.2 D"
,3
1!- 3%2
"
#
!
,--3%
&IGURE 3%2 VERSUS ESTIMATOR COMPLEXITY AT 3.2 D" .OTE THE DISCONTINUITIES
OF THE ABSCISSA
BEST TRADE Od BETWEEN COMPLEXITY AND PERFORMANCE AMONG THE THREE ESTIMATORS ANALYZED
!S A çNAL COMPARISON WE PRESENT THE
1!- 3%2 PERFORMANCE OF ESTIMATOR " WITH
ALL TAPS INCLUDED THE ,--3% ESTIMATOR AND THE ,3 ESTIMATOR IN &IGURE 4HE 3%2
PERFORMANCE OF ESTIMATOR " IS GOOD FOR LOW 3.2S WHERE IT RESEMBLES THAT OF THE ,--3%
ESTIMATOR AND THIS AT LESS THAN OF THE COMPLEXITY NUMBER OF MULTIPLICATIONS OF THE
,--3% !T HIGH 3.2S IT CONVERGES TO THE 3%2 OF THE ,3 ESTIMATOR BUT THERE IS NO ERROR
âOOR AND THE PERFORMANCE NEVER BECOMES WORSE THAN THAT OF THE ,3 ESTIMATOR %STIMATOR
" HAS MORE THAN A D" GAIN OVER THE ,3 ESTIMATE FOR 3.2S LESS THAN D" AND A D"
GAIN FOR 3.2S BELOW D"
#ONCLUSIONS
)N THIS PAPER WE HAVE PRESENTED THE -3% AND 3%2 PERFORMANCES OF THREE LOW
COMPLEXITY
$&4
BASED ESTIMATORS !Ô# 5SING , OF THE - TIME
DOMAIN COEbCIENTS YIELDS ESTIMA
TORS WITH COMPLEXITY EXCLUDING THE $&4)$&4 OF , - ,- AND MULTIPLICATIONS
PER ESTIMATED CHANNEL ATTENUATION RESPECTIVELY /NLY THE çRST OF THESE ESTIMATORS IS PO
TENTIALLY OF HIGH COMPLEXITY SINCE , v - 7E HAVE PROVIDED ANALYTICAL EXPRESSIONS FOR
THE MEAN
SQUARED ERROR OF ALL THREE ESTIMATORS AND SHOWN THAT IF THE NUMBER OF INCLUDED
TAPS IS LESS THAN - THEY SUdER FROM AN IRREDUCIBLE ERROR âOOR
4HE ERROR
âOOR CAN BE REMOVED IF ALL TAPS ARE USED IN THE LINEAR TRANSFORM BUT ONLY ES
TIMATOR " MAINTAINS BOTH ITS PERFORMANCE AND ITS LOW COMPLEXITY IN THIS CASE 4HE OTHER
TWO DESIGNS EITHER EXPERIENCE A DRASTICALLY INCREASED COMPLEXITY ESTIMATOR ! OR CON
VERGE TO THE POOR PERFORMANCE OF THE ,3 ESTIMATOR ESTIMATOR # %STIMATOR " MAINTAINS
GOOD PERFORMANCE WITH LOW COMPLEXITY BY IGNORING THE RELATIVELY SMALL CROSS
CORRELATION
$&4
BASED CHANNEL ESTIMATORS
1!- 3%2
%STIMATOR MULT
,--3%
" -
,3
3.2 ;D"=
&IGURE 5NCODED
1!- 3%2 FOR ESTIMATOR " WHERE ALL TAPS ARE USED , -
#URVES FOR THE ,--3% AND ,3 ESTIMATORS ARE INCLUDED AS REFERENCES
BETWEEN THE TIME
DOMAIN CHANNEL COEbCIENTS 3O WE CONSIDER ESTIMATOR " USING ALL -
COEbCIENTS TO BE THE MOST SUITABLE OF THE $&4
BASED CHANNEL ESTIMATORS )N THE INVESTI
GATED SYSTEM IT HAS ALMOST THE SAME PERFORMANCE AS THE ,--3% ESTIMATOR FOR LOW 3.2S
AND THIS AT LESS THAN OF THE COMPLEXITY &URTHER IN TERMS OF SYMBOL
ERROR RATE THIS
ESTIMATOR HAS MORE THAN A D" GAIN OVER THE ,3 ESTIMATOR FOR 3.2S LESS THAN D"
SINCE PERMUTATIONS OF THE $&4)$&4 COEbCIENTS DO NOT CHANGE THE ESTIMATORS Ô IT ONLY
CHANGES THE ORDER IN WHICH
h THE i COEbCIENTS ARE INDEXED 4HE CHANNEL POWER IN COEbCIENT
F IS DENOTED o $ JF J WHICH ARE THE DIAGONAL ELEMENTS OF 1
BKRJ J J FF
"EFORE WE START THE DERIVATION WE WRITE THE ESTIMATOR STRUCTURE &IGURE IN MATRIX
NOTATION
B %0% 7` X %0% G
G 0
'B '
KR
WHERE 0 IS THE MATRIX REPRESENTING THE LINEAR TRANSFORMATION IN THE TIME DOMAIN AND % IS
THE - b- UNITARY $&4 MATRIX .OTE %` % &URTHER WE NEED THE AUTO
COVARIANCE
'
MATRIX OF F WHICH IS ` a
1 $ FF % 1 % FF
' '
GG
$&4
BASED CHANNEL ESTIMATORS
7E ARE MINIMIZING THE ,2$ AND THUS NEED AN EXPLICIT EXPRESSION FOR THE AUTO
COVARIANCE MATRIX OF THE ESTIMATION ERROR
|r sr s } '
1 $
D0 D0 GB0 ` G G B0 ` G
t u
n
%0% 1
'
( %0 % ` ' '
2-1
GG
1 %0 % ` %0% 1
1
GG
' ' ' '
GG GG
q 3Q@BD # 1# 3Q@BD # # 1 WHEN # AND # ARE DIAGONAL MATRICES
b c
q 1 FF, 4 1 4 WHERE % 4
'
, GG , 5 ` AND 4 CONTAINS THE çRST ,
, - , ,
COLUMNS OF %
q 4 5'
, , WHERE 4 , AND 5 - ` , ARE DEçNED ABOVE
4O SIMPLIFY THE ,2$ EXPRESSIONS WE ALSO USE THAT THE TRACE OF A MATRIX IS EQUIVALENT
TO THE SUM OF ITS EIGENVALUES ;= &URTHER RELATION IMPLIES THAT 1 AND 1 GG FF
SHARE THE SAME EIGENVALUES ;= WHICH IS USED TO AVOID SEPARATE NOTATIONS
q ,3 ESTIMATOR
4HE ,3 ESTIMATE IS USED AS INPUT TO THE )$&4 IN &IGURE AND ITS -3% IS
n
,2$
2-1
4HIS ESTIMATE ONLY REQUIRES ONE MULTIPLICATION PER ESTIMATED ATTENUATION 3INCE IT
IS THE INPUT TO THE REST OF THE ESTIMATORS THIS ONE MULTIPLICATION WILL SHOW UP IN
THE FOLLOWING COMPLEXITY EXPRESSIONS
q ,--3% ESTIMATOR
4HE ,--3% ESTIMATOR IS GIVEN IN AND AND ITS ,2$ BECOMES
t u`
n
,2$ 3Q@BD 1 (` 1
( 1
- 2-1
GG GG GG
n 8
` w -
J-
- 2-1 w
J
J-
2-1
n
q %STIMATOR !
)MPOSING THE çRST RESTRICTION ON THE LINEAR TRANSFORMATION
v w
0 b
0 , ,
THE MINIMAL -3% IS OBTAINED IF
t u`
n
0 , b , 1 FF, 1 FF,
2-1
(
n 8
` w ,
,2$
J,
- 2-1 w
J
J,
n
2-1
` a 8
`-
WHERE 5 ` CONTAINS THE LAST - ` , COLUMNS OF % 7E CALL ,2$ THE -3% âOOR
- ,
SINCE IT ONLY DEPENDS ON THE NUMBER OF EXCLUDED TAPS - ` , AND LOWER BOUNDS
THE -3%
)MPLEMENTING THIS ESTIMATOR ACCORDING TO &IGURE REQUIRES KNF -
,
-
MUL
TIPLICATIONS PER ESTIMATED ATTENUATION
q %STIMATOR "
!PPLYING THE SECOND RESTRICTION ON THE LINEAR TRANSFORMATION
v w
# b
0 , ,
"
o
p J
J
o
J 2-1
n
,2$ J
,2$
- 2-1 o
J J 2-1
n
q %STIMATOR #
!PPLYING THE LAST RESTRICTION ON THE LINEAR TRANSFORMATION
v w
( b
0 , ,
#
WE DO NOT HAVE ANY CHOICE IN THE DESIGN EXCEPT FOR , AND THE -3% BECOMES
, n
,2$
,2$
- 2-1
WHERE AGAIN ,2$ IS GIVEN BY
)MPLEMENTING THIS ESTIMATOR ACCORDING TO &IGURE REQUIRES KNF -
MULTIPLI
CATIONS PER ESTIMATED ATTENUATION
F ~ S m S p ~ ` L3
L R
L
WHERE THE FADING AMPLITUDES m S OF THE SAMPLE
SPACED IMPULSES ARE INDEPENDENT
L
4HEN % DIAGONALIZES 1 AND 1 BECOMES DIAGONAL WITH ONLY + NON
ZERO ELEMENTS
GG FF
4HE CHANNEL POWER IN THE JTH COEbCIENT OF F B IS THEREFORE EQUIVALENT TO THE JTH LARGEST
KR
o OF WHICH ONLY THE çRST + ARE NON
ZERO (ENCE THE ,2$S FOR THE ESTIMATORS BECOME
J
,--3%
2-1
-
n
oJ
oJ
n
2-1
`
J
0
,
!
- 2-1
n
oJ
oJ
n
,2$
2-1
`
J
0
,
"
- 2-1
n
oJ
oJ
n
,2$
J 2-1
# ,
-
n
2-1
,2$
,3 2-1
n
&IRST OF ALL ESTIMATOR ! IS NOW EQUIVALENT TO ESTIMATOR " AND SINCE o FOR J w + J
BOTH ESTIMATOR ! AND " ARE EQUIVALENT TO THE ,--3% ESTIMATOR FOR , w + &URTHER
SINCE ,2$ FOR , w + WE CAN CHOOSE , + IN ESTIMATOR # WHICH REDUCES THE NOISE
COMPARED TO THE ,3 ESTIMATOR TO A FRACTION +- 4HIS LAST OBSERVATION WAS ALSO DONE IN
;=
$&4
BASED CHANNEL ESTIMATORS
0ART
/&$- CHANNEL ESTIMATION BY
SINGULAR VALUE DECOMPOSITION
!BSTRACT Ô )N THIS PAPER WE PRESENT AND ANALYSE LOW
RANK CHANNEL ESTIMATORS FOR ORTHOGONAL
FREQUENCY
DIVISION MULTIPLEXING /&$- USING THE FREQUENCY CORRELATION OF THE CHANNEL
,OW
RANK APPROXIMATIONS BASED ON THE DISCRETE &OURIER TRANSFORM $&4 HAVE BEEN PRO
POSED BUT THEY SUdER FROM POOR PERFORMANCE WHEN THE CHANNEL IS NOT SAMPLE
SPACED
7E APPLY THE THEORY OF OPTIMAL RANK
REDUCTION TO LINEAR MINIMUM MEAN
SQUARED ERROR
,--3% ESTIMATORS AND SHOW THAT THESE ESTIMATORS WHEN USING A çXED DESIGN ARE RO
BUST TO CHANGES IN CHANNEL CORRELATION AND SIGNAL
TO
NOISE RATIO 3.2 4HE PERFORMANCE
IS PRESENTED IN TERMS OF UNCODED SYMBOL
ERROR RATE 3%2 FOR A SYSTEM USING
1!-
36$
BASED CHANNEL ESTIMATORS
36$
BASED CHANNEL ESTIMATORS
)NTRODUCTION
7IRELESS DIGITAL COMMUNICATION SYSTEMS USING MULTI
AMPLITUDE MODULATION SCHEMES SUCH
AS QUADRATURE AMPLITUDE MODULATION 1!- REQUIRE ESTIMATION AND TRACKING OF THE
FADING CHANNEL )N GENERAL THIS MEANS A MORE COMPLEX RECEIVER THAN FOR DIdERENTIAL
MODULATION SCHEMES SUCH AS DIdERENTIAL PHASE
SHIFT KEYING $03+ WHERE THE RECEIVERS
OPERATE WITHOUT A CHANNEL ESTIMATE ;=
)N ORTHOGONAL FREQUENCY
DIVISION MULTIPLEXING /&$- SYSTEMS $03+ IS APPROPRIATE
FOR RELATIVELY LOW DATA RATES SUCH AS IN THE %UROPEAN DIGITAL
AUDIO BROADCAST $!"
SYSTEM ;= (OWEVER FOR MORE SPECTRALLY
EbCIENT /&$- SYSTEMS COHERENT MODULATION
IS MORE APPROPRIATE
4HE STRUCTURE OF /&$- SIGNALLING ALLOWS A CHANNEL ESTIMATOR TO USE BOTH TIME AND
FREQUENCY CORRELATION 3UCH A TWO
DIMENSIONAL ESTIMATOR STRUCTURE IS GENERALLY TOO COM
PLEX FOR A PRACTICAL IMPLEMENTATION 4O REDUCE THE COMPLEXITY SEPARATING THE USE OF
TIME AND FREQUENCY CORRELATION HAS BEEN PROPOSED ;= 4HIS COMBINED SCHEME USES TWO
SEPARATE &)2
7IENER
çLTERS ONE IN THE FREQUENCY DIRECTION AND THE OTHER IN THE TIME
DIRECTION
)N THIS PAPER WE PRESENT AND ANALYSE A CLASS OF BLOCK
ORIENTED CHANNEL ESTIMATORS FOR
/&$- WHERE ONLY THE FREQUENCY CORRELATION OF THE CHANNEL IS USED IN THE ESTIMATION
7HATEVER THEIR LEVEL OF PERFORMANCE IT MAY BE IMPROVED WITH THE ADDITION OF A SECOND
çLTER USING THE TIME CORRELATION ; =
4HOUGH A LINEAR MINIMUM MEAN
SQUARED ERROR ,--3% ESTIMATOR USING ONLY FRE
QUENCY CORRELATION HAS LOWER COMPLEXITY THAN ONE USING BOTH TIME AND FREQUENCY COR
RELATION IT STILL REQUIRES A LARGE NUMBER OF OPERATIONS 7E INTRODUCE A LOW
COMPLEXITY
APPROXIMATION TO A FREQUENCY
BASED ,--3% ESTIMATOR THAT USES THE THEORY OF OPTIMAL
RANK REDUCTION /THER TYPES OF LOW
RANK APPROXIMATIONS BASED ON THE DISCRETE
TIME
&OURIER TRANSFORM $&4 HAVE BEEN PROPOSED FOR /&$- SYSTEMS BEFORE ; = 4HE
WORK PRESENTED IN THIS PAPER WAS INSPIRED BY THE OBSERVATIONS IN ;= WHERE IT IS SHOWN THAT
$&4
BASED LOW
RANK CHANNEL ESTIMATORS HAVE LIMITED PERFORMANCE FOR NON
SAMPLE
SPACED
CHANNELS AND HIGH 3.2S
!FTER PRESENTING THE /&$- SYSTEM MODEL AND OUR SCENARIO IN 3ECTION WE IN
TRODUCE THE ESTIMATORS AND DERIVE THEIR COMPLEXITIES IN 3ECTION 7E ANALYSE THE
SYMBOL
ERROR RATE 3%2 PERFORMANCE IN 3ECTION WHERE WE ALSO DISCUSS DESIGN CONSID
ERATIONS 4HE PROPOSED LOW
RANK ESTIMATOR IS COMPARED TO OTHER ESTIMATORS IN 3ECTION
AND A SUMMARY AND CONCLUDING REMARKS APPEAR IN 3ECTION
DURING ONE /&$- SYMBOL 4HE NUMBER OF TONES IN THE SYSTEM IS - AND THE LENGTH OF
THE CYCLIC PREçX IS + SAMPLES
&IGURE "ASE BAND MODEL OF AN /&$- SYSTEM Ú#0Ú DENOTES THE CYCLIC PREçX
5NDER THESE ASSUMPTIONS WE CAN DESCRIBE THE SYSTEM AS A SET OF PARALLEL 'AUSSIAN
CHANNELS SHOWN IN &IGURE WITH CORRELATED ATTENUATIONS G 4HE ATTENUATIONS ON
J
&IGURE 4HE /&$- SYSTEM DESCRIBED AS A SET OF PARALLEL 'AUSSIAN CHANNELS WITH
CORRELATED ATTENUATIONS
WHERE & a IS THE FREQUENCY RESPONSE OF THE CHANNEL F S ~ DURING THE /&$- SYMBOL
AND 3 IS THE SAMPLING PERIOD OF THE SYSTEM )N MATRIX NOTATION WE DESCRIBE THE /&$-
R
SYSTEM AS
X 7G
M
WHERE X IS THE RECEIVED VECTOR 7 IS A MATRIX CONTAINING THE TRANSMITTED SIGNALLING POINTS
ON ITS DIAGONAL G IS A CHANNEL ATTENUATION VECTOR AND M IS A VECTOR OF IID COMPLEX
ZERO
MEAN 'AUSSIAN NOISE WITH VARIANCE } M
36$
BASED CHANNEL ESTIMATORS
F ~ m p ~ ` ~ 3
J J R
J
WHERE m ARE ZERO
MEAN COMPLEX 'AUSSIAN RANDOM VARIABLES WITH A POWER
DELAY PROçLE
J
t ~ )N THIS PAPER WE HAVE USED , IMPULSES AND TWO VERSIONS OF THIS CHANNEL
J
MODEL
q 5NIFORM CHANNEL !LL IMPULSES HAVE THE SAME AVERAGE POWER AND THEIR DELAYS ARE
UNIFORMLY AND INDEPENDENTLY DISTRIBUTED OVER THE LENGTH OF THE CYCLIC PREçX
3CENARIO
/UR SCENARIO CONSISTS OF A WIRELESS
1!- /&$- SYSTEM DESIGNED FOR AN OUTDOOR
ENVIRONMENT THAT IS CAPABLE OF CARRYING DIGITAL VIDEO 4HE SYSTEM OPERATES AT K(Z
BANDWIDTH AND IS DIVIDED INTO TONES WITH A TOTAL SYMBOL PERIOD OF xS OF WHICH
xS IS THE CYCLIC PREçX /NE /&$- SYMBOL THUS CONSISTS OF SAMPLES -
+
FOUR OF WHICH ARE CONTAINED IN THE CYCLIC PREçX + 4HE UNCODED DATA RATE OF THE
SYSTEM IS -"ITSEC 7E ASSUME THAT ~ SAMPLE FOR THE SYNCHRONIZED CHANNEL
QLR
WHERE v w
B
G 7` X
X X
aaa
X - `
3
KR
W W W - `
1 $ GG
GG
'
IS THE CHANNEL AUTOCORRELATION 4HE SUPERSCRIPT a DENOTES (ERMITIAN '
IN WITH ITS EXPECTATION $ 77 ` !SSUMING THE SAME SIGNAL CONSTELLATION i ON
'
h `
ALL TONES AND EQUAL PROBABILITY ON ALL CONSTELLATION POINTS WE HAVE $ 77
'
$ FJW J G ( WHERE ( IS THE IDENTITY MATRIX $EçNING THE AVERAGE SIGNAL
TO
NOISE RATIO
J
t u`
B1 n B
G 1
( G
2-1
GG GG KR
WHERE
h i h i
n $ JW J $ JW J
J J
&URTHERMORE IF 1 AND 2-1 ARE KNOWN BEFOREHAND OR ARE SET TO çXED NOMINAL VALUES
THE MATRIX 1 1
2-1 (` NEEDS TO BE CALCULATED ONLY ONCE 5NDER THESE CONDITIONS
GG
n
GG GG
THE ESTIMATION REQUIRES - MULTIPLICATIONS PER TONE 4O FURTHER REDUCE THE COMPLEXITY OF
THE ESTIMATOR WE PROCEED WITH LOW
RANK APPROXIMATIONS BELOW
1 GG 4c4 '
B 4aO 4 G
G O
B '
KR
3INCE
WE ARE DEALING WITH (ERMITIAN MATRICES THE wK S ARE ALSO EIGENVALUES (OWEVER WE USE THE
TERMINOLOGY OF THE 36$ SINCE IT IS MORE GENERAL AND CAN BE USED IN OPTIMAL RANK REDUCTION OF NON
(ERMITIAN MATRICES
36$
BASED CHANNEL ESTIMATORS
wJ
n J O `
p
J
wJ
2-1
J O - `
THE CHANNEL POWER VARIANCE CONTAINED IN THE J TRANSFORM COEbCIENT AFTER TRANSFORMING
SG
THE ,3 ESTIMATE G B 3INCE 4 IS UNITARY THIS TRANSFORMATION CAN BE VIEWED AS ROTATING THE
KR
B
VECTOR G SO THAT ALL ITS COMPONENTS ARE UNCORRELATED ;= 4HE DIMENSION OF THE SPACE
KR
OF ESSENTIALLY TIME
AND BAND
LIMITED SIGNALS LEADS US TO THE RANK NEEDED IN THE LOW
RANK
ESTIMATOR )N ;= IT IS SHOWN THAT THIS DIMENSION IS ABOUT !3
WHERE ! IS THE ONE
SIDED BANDWIDTH AND 3 IS THE TIME INTERVAL OF THE SIGNAL !CCORDINGLY THE MAGNITUDE OF
THE SINGULAR VALUES OF 1 SHOULD DROP RAPIDLY AFTER ABOUT +
LARGE VALUES WHERE + IS
GG
7E PRESENT THE CHANNEL POWER CONTAINED IN THE çRST COEbCIENTS IN &IGURE 4HE
CALCULATIONS ARE BASED ON OUR SCENARIO AND THE TWO CHANNEL MODELS THE SYNCHRONIZED AND
THE UNIFORM 4HE MAGNITUDE OF THE CHANNEL POWER DROPS RAPIDLY AFTER ABOUT J IE
COEbCIENTS WHICH IS CONSISTENT WITH THE OBSERVATION THAT THE DIMENSION OF THE SPACE
SPANNED BY 1 IS APPROXIMATELY +
THAT IS
IN THIS CASE
GG
&IGURE 2ELATIVE CHANNEL POWER w %JG J IN THE TRANSFORM COEbCIENTS FOR THE TWO
J J
EXAMPLE CHANNELS
! BLOCK DIAGRAM OF THE RANK`O ESTIMATOR IN IS SHOWN IN &IGURE WHERE THE
,3
ESTIMATE IS CALCULATED FROM X BY MULTIPLYING BY 7`
4HETRANSFORM IN THIS SPECIAL CASE OF LOW
RANK APPROXIMATION IS THE +ARHUNEN
,OEVE AKA (OTELLING
TRANSFORM OF H
36$
BASED CHANNEL ESTIMATORS
B
G
O p T T J
B
G
J P T G
' B
KR J J KR
J
J J
$ %
WHERE P p T AND T G
J J J J
BKR T G B IS THE %UCLIDIAN INNER PRODUCT 4HE LINEAR COM
'
KR
J
IF L M
Q `
L`M
`I {+
IF L M
LM D -
L`M
I {+
-
36$
BASED CHANNEL ESTIMATORS
4HIS ONLY DEPENDS ON THE DISTANCE BETWEEN THE TONES L ` M AND THE RATIO BETWEEN THE
LENGTH OF THE CYCLIC PREçX AND THE NUMBER OF TONES +- 4HE TONE SYSTEM CAN BE
DESCRIBED BY
X 7 G M
X
7
G M
X 7 G
M J
J J J J
7E HAVE THE SAME CHANNEL CORRELATION IN EACH SUBSYSTEM AS WE HAVE IN THE
TONE SCENARIO
IN THIS PAPER +- "Y ESTIMATING THE CHANNEL ATTENUATIONS G IN J
EACH SUB
SYSTEM INDEPENDENTLY WE NEGLECT THE CORRELATION BETWEEN TONES IN DIdERENT
SUB
SYSTEMS BUT OBTAIN THE SAME -3% PERFORMANCE AS IN OUR
TONE SCENARIO
IS MAINLY DETERMINED BY THE CHANNEL POWER CONTAINED IN THE TRANSFORM COEbCIENTS AND
CAN BE EXPRESSED SEE !PPENDIX #
` t
8
O
n
u `
8
-
LRD O w ` p
p
w
- 2-1 -
J J J J
J J O
WHERE w AND p ARE GIVEN BY AND RESPECTIVELY 4HE -3% IS A MONOTON
J J
ICALLY DECREASING FUNCTION OF 2-1 AND CAN BE BOUNDED FROM BELOW BY THE LAST TERM
`
8
-
J O
WHICH IS THE SUM OF THE CHANNEL POWER IN THE TRANSFORM COEbCIENTS NOT USED IN THE
ESTIMATE 4HIS -3%
âOOR LRDO WILL GIVE RISE TO A ERROR âOOR IN THE SYMBOL
ERROR RATES
36$
BASED CHANNEL ESTIMATORS
4HE ERROR âOOR IS THE MAIN LIMITATION ON THE COMPLEXITY REDUCTION ACHIEVED BY OPTIMAL
RANK REDUCTION !S AN ILLUSTRATION &IGURE DISPLAYS THE 3%2 RELATIVE TO THE CHANNEL
VARIANCE FOR THREE DIdERENT RANKS AS A FUNCTION OF THE 3.2 4HE RANKS CHOSEN ARE O
AND AND THE CHANNEL USED IN THE EXAMPLE IS THE SYNCHRONIZED CHANNEL 4HE
CORRESPONDING 3%2
âOORS ARE SHOWN AS HORIZONTAL LINES &OR O THE 3%2
âOOR IS
RELATIVELY SMALL AND THE 3%2 OF THE RANK` ESTIMATOR IS COMPARABLE TO THE ORIGINAL
FULL
RANK ESTIMATOR IN THE RANGE TO D" IN 3.2 "Y CHOOSING THE APPROPRIATE
RANK ON THE ESTIMATOR WE CAN ESSENTIALLY AVOID THE IMPACT FROM THE 3%2
âOOR UP TO A
GIVEN 3.2 7HEN WE HAVE FULL RANK O - NO 3%2
âOOR EXISTS
&IGURE ,OW
RANK ESTIMATOR SYMBOL
ERROR RATE AS A FUNCTION OF 3.2 WITH RANKS O
AND #ORRESPONDING 3%2
âOORS SHOWN AS HORIZONTAL LINES 3YNCHRONIZED CHANNEL
"ASED ON THE CHANNEL POWERS PRESENTED IN &IGURE WE SHOW THE CORRESPONDING
3%2
âOORS RELATIVE TO THE CHANNEL VARIANCE IN &IGURE !FTER ABOUT RANK` THE 3%2
âOOR DECREASES RAPIDLY 7E ARE THEREFORE ABLE TO OBTAIN A GOOD ESTIMATOR APPROXIMATION
WITH A RELATIVELY LOW RANK
= RESPECTIVELY WHERE G
1E E AND 2-1 E DENOTES A CHANNEL WITH DIdERENT STATISTICS THAN
GG
G 4HIS ALLOWS US TO ANALYSE THIS ESTIMATORÚS SENSITIVITY TO DESIGN ERRORS 5NDER THESE
ASSUMPTIONS THE RELATIVE -3% OF THE RANK`O ESTIMATE BECOMES SEE !PPENDIX #
` v
8
O
n
w
8
- `
LRD O x ` p
p
x
- = -
J J J J
J
2-1 J O
36$
BASED CHANNEL ESTIMATORS
&IGURE %STIMATOR 3%2
âOOR AS A FUNCTION OF ESTIMATOR RANK #IRCLES SHOW THE 3%2
âOORS APPEARING IN &IGURE
E
VARIANCE OF THE TRANSFORMED CHANNEL 4 G
'
UNDER CORRELATION MISMATCH SINCE
|r sr s }
'
$ E
4 G 4
' ' E
G 4 1E E 4
'
GG
)T SHOULD BE NOTED THAT THE ELEMENTS OF 4 G'E ARE NO LONGER UNCORRELATED (OWEVER DUE TO
THE FACT THAT THE POWER
DELAY PROçLE IS SHORT COMPARED TO THE /&$- SYMBOL THE çRST O
ELEMENTS CAN BE EXPECTED TO CONTAIN MOST OF THE POWER 4HIS PROPERTY WILL ENSURE ONLY
A SMALL PERFORMANCE LOSS WHEN THE ESTIMATOR IS DESIGNED FOR WRONG CHANNEL STATISTICS
)F RANK`O ESTIMATORS ARE USED IN A REAL SYSTEM THE SENSITIVITY TO MISMATCH IN BOTH
CHANNEL CORRELATION AND 3.2 ARE IMPORTANT 7E WILL SHOW THAT A RANK`O ESTIMATOR BASED
ON THE UNIFORM CHANNEL MODEL AND A NOMINAL 3.2 CAN BE USED AS çXED GENERIC ESTIMATOR
WITH ONLY A SMALL LOSS IN AVERAGE PERFORMANCE 7E DIVIDE THE MISMATCH ANALYSIS INTO TWO
PARTS çRST WE ANALYSE THE 3%2 WHEN WE HAVE A MISMATCH IN CHANNEL CORRELATION AND
LATER WE ANALYSE THE 3%2 WHEN WE HAVE A MISMATCH IN 3.2
PARED THE PERFORMANCE OF OUR CHANNEL ESTIMATOR IN TWO MISMATCH SITUATIONS I USING THE
A UNIFORM CHANNEL WHEN THE TRUE CHANNEL MODEL WAS THE SYNCHRONIZED CHANNEL AND II
USING THE SYNCHRONIZED CHANNEL WHEN THE TRUE CHANNEL MODEL WAS THE UNIFORM CHANNEL
4HE RESULTING CHANNEL ESTIMATES THAT WERE USED IN THE DETECTION OF THE DATA PRODUCED
NO NOTICABLE DIdERENCE IN SYMBOL ERROR RATES Ô LESS THAN D" CHANGE IN EdECTIVE 3.2
36$
BASED CHANNEL ESTIMATORS
FOR AN AVERAGE 3.2 UP TO D" 4O SHOW THE DIdERENCES MORE CLEARLY THE -3%S ARE
DISPLAYED IN &IGURE &OR THE MISMATCHED CASES MARKED WITH ÚqÚ THE UNIFORM DESIGN
IS MORE ROBUST IE THE ERROR IN CASE OF MISMATCH IS LOWER 7ITH THE RESTRICTION THAT
THE TRUE CHANNEL HAS A POWER
DELAY PROçLE SHORTER THAN THE CYCLIC PREçX DESIGNING FOR A
UNIFORM POWER
DELAY PROçLE CAN BE SEEN AS A MINIMAX DESIGN
&IGURE -3% FOR CORRECT AND MISMATCHED DESIGN 4HE LATTER IS MARKED WITH DOTS q
&IGURE 2ANK
ESTIMATOR 3%2 WHEN 3.2S OF AND D" ARE USED IN THE DESIGN
4HE ESTIMATORS ARE DESIGNED FOR INCORRECT CHANNEL CORRELATION
CANNOT AdORD AN ESTIMATOR THAT INCLUDES TRACKING OF CHANNEL CORRELATION AND 3.2 THIS
CHANNEL ESTIMATOR WORKS REASONABLY WELL FOR çXED 3.2 AND CHANNEL CORRELATION
&IGURE 3%2 FOR
1!- TRAINING DATA AND A SYNCHRONIZED CHANNEL 4HE GENERIC
RANK` ESTIMATOR DESIGNED FOR A UNIFORM CHANNEL AND D" IN 3.2 IS COMPARED TO THE
,3 ESTIMATOR AND KNOWN CHANNEL AT THE RECEIVER
THE /&$- SYMBOL THE LOW
RANK ESTIMATOR WOULD INCREASE ITS PERFORMANCE 4HIS IS DUE
TO THE FACT THAT THE ÞDIMENSIONÞ OF THE CHANNEL WHOSE DURATION IS ASSUMED TO BE SHORTER
THAN THE CYCLIC PREçX DECREASES AND CAN THUS BE REPRESENTED WITH FEWER COEbCIENTS /N
THE OTHER HAND IF THE CYCLIC PREçX INCREASES IN SIZE MORE COEbCIENTS ARE NEEDED TO AVOID
LARGE APPROXIMATION ERRORS (ENCE WHETHER OR NOT THE LOW
RANK ESTIMATOR IS BETTER THAN
THE &)2
çLTER DEPENDS ON THE RELATIVE SIZE OF THE CYCLIC PREçX AND THE ALLOWED COMPLEXITY
4HE LOW
RANK ESTIMATOR PRESENTED IN THIS PAPER IS BASED ON FREQUENCY CORRELATION ONLY
BUT THE TIME
CORRELATION OF THE CHANNEL CAN ALSO BE USED 4HE TWO
DIMENSIONAL ,--3%
ESTIMATOR CAN BE SIMPLIçED USING THE SAME TECHNIQUE WITH RANK REDUCTION AS DESCRIBED
HERE (OWEVER IN ;= IT IS SHOWN THAT SUCH AN ESTIMATOR GIVES AN INFERIOR PERFORMANCE
FOR A çXED COMPLEXITY (ENCE IT SEEMS THAT SEPARATING THE USE OF FREQUENCY
AND TIME
CORRELATION IS THE MOST EbCIENT WAY OF ESTIMATING THE CHANNEL
/THER APPROACHES TO USE THE TIME
CORRELATION IS EG TO USE A DECISION
DIRECTED SCHEME
;= OR &)2
çLTERS ; = 4HE FORMER CAN BE USED IN A SLOW
FADING ENVIRONMENT WHERE
IT OdERS GOOD PERFORMANCE FOR A MINIMAL COMPLEXITY AND THE LATTER IS PREFERRED IN CASE OF
FAST FADING )T IS POSSIBLE TO USE A BANK OF &)2
çLTERS AND CHOOSE THE MOST APPROPRIATE
ACCORDING THE ESTIMATED $OPPLER FREQUENCY ;=
36$
BASED CHANNEL ESTIMATORS
&IGURE 3%2 COMPARISON BETWEEN THE RANK`O ESTIMATORS AND &)2 7IENER
çLTERS OF
THE SAME COMPLEXITY "OTH ESTIMATORS ARE DESIGNED FOR THE UNIFORM CHANNEL AND D"
3.2 ! MULTIPLICATIONS PER TONE AND " MULTIPLICATIONS PER TONE
#ONCLUSIONS
7E HAVE INVESTIGATED LOW
COMPLEXITY LOW
RANK APPROXIMATIONS OF THE ,--3% CHANNEL
ESTIMATOR FOR NON
SAMPLE
SPACED CHANNELS 4HE INVESTIGATION SHOWS THAT AN ESTIMATOR
ERROR
âOOR INHERENT IN THE LOW
RANK APPROXIMATION IS THE SIGNIçCANT LIMITATION TO THE
ACHIEVED COMPLEXITY REDUCTION 7E SHOWED THAT A GENERIC LOW
RANK ESTIMATOR DESIGN
BASED ON THE UNIFORM CHANNEL CORRELATION AND A NOMINAL 3.2 CAN BE USED IN OUR
TONE
SCENARIO #OMPARED WITH THE FULL ,--3% THERE IS ONLY A SMALL LOSS IN PERFORMANCE
UP TO A 3.2 OF D" BUT A REDUCTION IN COMPLEXITY WITH A FACTOR -O &OR
SYSTEMS WITH MORE SUBCHANNELS THIS GAIN IS EVEN LARGER 4HE GENERIC ESTIMATOR DESIGN
ONLY REQUIRES KNOWLEDGE ABOUT THE LENGTH OF THE CYCLIC PREçX THE NUMBER OF TONES IN THE
SYSTEM AND THE TARGET RANGE OF 3.2S FOR THE APPLICATION
7E ALSO COMPARED LOW
RANK ESTIMATORS TO &)2
çLTERS ACROSS THE TONES 4HE COMPARISON
SHOWED THAT AT LOW COMPLEXITIES AND HIGH 3.2S THE &)2
çLTERS IS THE PREFERABLE CHOICE
DUE TO THE ERROR âOOR IN THE LOW
RANK APPROXIMATION (OWEVER IF WE CAN ALLOW UP TO
MULTIPLICATIONS PER TONE IN OUR SCENARIO THE LOW
RANK ESTIMATOR IS MORE ADVANTAGEOUS
!LSO THE LOW
RANK ESTIMATORS IMPROVE THEIR PERFORMANCE AS THE CYCLIC PREçX DECREASES IN
SIZE
WHERE 0 AND 0 ARE UNITARY MATRICES AND # IS A DIAGONAL MATRIX WITH THE SINGULAR
VALUES C w C w a a a w C ` ON ITS DIAGONAL 4HE BEST LOW
RANK ESTIMATOR ;= IS THEN
-
v w
B 0
G
# O
0 1
' ` B
G
O
GLS GLS KR
WHERE # IS THE O b O UPPER LEFT CORNER OF # IE WE EXCLUDE ALL BUT THE O LARGEST SINGULAR
O
THEY SHARE THE SAME SINGULAR VECTORS IE THE ONES OF 1 4c4 4HUS WE MAY GG
'
EXPRESS AS
t t u u`
n
4c4 4 c
'
( 4 '
2-1
t u`
n
4c c
( 4 0 #0
' '
2-1
t u`
n
0 0 4 AND # c c
(
2-1
B
G 4 O
4 4 c
'
( 4 B
G '
O
2-1
KR
v wt u` v w
# n
B a B
4 O
c
( 4 G 4 4 G ' O '
2-1 KR KR
t u`
n w w `
ac c
( CH@F aaa
-
2-1 w
2-1 n
w `
2-1 -
n
.OTE THAT 0 0 SINCE WE ARE ESTIMATING THE SAME TONES AS WE ARE OBSERVING IE
SMOOTHING AND AN EIGENVALUE DECOMPOSITION COULD BE USED TO ACHIEVE OPTIMAL RANK RE
DUCTION )N THE GENERAL CASE WHEN EG PILOT
SYMBOL ASSISTED MODULATION ;= IS USED AND
THERE ARE KNOWN SYMBOLS PILOTS ON ONLY A PART OF THE SUBCHANNELS WE HAVE 0 0
SINCE 1 B AND 1B B DONÚT SHARE THE SAME SINGULAR VECTORS THE MATRICES ARE NOT EVEN
GGKR GKR GKR
OF THE SAME SIZE (ENCE THE MORE GENERAL 36$ MUST BE USED WHICH MOTIVATES THE
NOMENCLATURE IN THIS ARTICLE
36$
BASED CHANNEL ESTIMATORS
: : 9` `
8
t ~ D`
, ,
`
L`M
Q LM aaa E ~ ~J J H
I {~ H
- C~ C~ ,
J H
` :
8
E ~ t ~ D`
,
L`M
~H H H
I {~ H
- C~ H
H
WHERE t~ IS THE MULTI PATH INTENSITY PROçLE AND E ~ IS THE PROBABILITY DENSITY FUNC ~J J
TION OF ~
J
4HE CORRELATION MATRICES OF THE THREE CHANNELS USED IN THIS PAPER ARE CALCULATED BELOW
q 3YNCHRONIZED CHANNEL
4HE PROBABILITY DISTRIBUTIONS FOR THE DELAYS ARE
E ~ p ~
~
|
+ IF ~ : +<
E ~ H , H
~H H
OTHERWISE
AND THE POWER
DELAY PROçLE IS t ~ " D` 3UBSTITUTING IN AND ~ ~ QLR
r s
+
` ` D`
+ {I
L`M
,
~ QLR -
I {
L`M
Q r ~ QLR
s -
LM
+
, ` ~ `D ` QLR
+
~ QLR
q 5NIFORM CHANNEL
4HE PROBABILITY DISTRIBUTIONS FOR THE DELAYS ARE
|
+ IF ~ : +<
E ~ H , H
~H
OTHERWISE
H
AND THE POWER
DELAY PROçLE IS CONSTANT t ~ " 3UBSTITUTED IN AND
NORMALIZING Q TO UNITY GIVES US
JJ
IF L M
Q ` L`M
`I {+
IF L M
LM D -
L`M
I {+
-
36$
BASED CHANNEL ESTIMATORS
WE HAVE G B GKR
E
M E WHERE THE NOISE TERM M
MM
n E B
1E E 2-1 ( 4HE ESTIMATION ERROR D G ` G OF THE RANK`O ESTIMATOR IS
O O
t v wu v w
D 4 (`
a '
4 G E`4 a O
4' M
E O
O
AND THE MEAN
SQUARED ERROR IS
h i
LRD O 3Q@BD $ D D '
-
O O
'
3Q@BD ! ;=
0
q 3Q@BD # # @ C WHEN # IS A DIAGONAL MATRIX WITH THE ELEMENTS C ON
J JJ J J
ITS DIAGONAL AND NOT NECESSARILY A DIAGONAL MATRIX HAS DIAGONAL ELEMENTS @ JJ
'
-
v w v w
' 4'
'
a a
4 O
4 1ME ME 4 O
` ` 8 ` n
8 8
O - O
x ` p
x
p
- -
J
J
J
=
2-1 J O
J
J
J
8
` t
O
n
u
8
` -
x ` p
p
x
- -
J
J
J
=
2-1
J
J O
J
WHERE x IS THE CHANNEL POWER IN THE JTH TRANSFORM COEbCIENT IE THE JTH DIAGONAL
J
LRD O x
- J
J O
36$
BASED CHANNEL ESTIMATORS
` a
)F THERE IS NO MISMATCH IN 2-1 OR CHANNEL CORRELATION WE HAVE x CH@F 4 1 4
J
'
GG
` t
8
O
n
u `
8
-
LRD O w ` p
p
w
- 2-1 -
J J J J
J J O
36$
BASED CHANNEL ESTIMATORS
0ART
! COMPARATIVE STUDY OF PILOT
BASED
CHANNEL ESTIMATORS FOR WIRELESS
/&$-
!BSTRACT Ô 4HIS REPORT DEALS WITH PILOT
BASED CHANNEL ESTIMATION IN WIRELESS /&$- SYS
TEMS 7E ASSUME THAT THE RECEIVER IS ABLE TO USE ALL TRANSMITTED PILOTS WHICH IS THE CASE
IN BROADCASTING AND IN THE DOWNLINK OF A MULTIUSER SYSTEM &OUR ESTIMATORS OF WHICH
TWO HAVE BEEN PROPOSED IN THE LITERATURE ARE COMPARED BOTH IN TERMS OF MEAN
SQUARED
ERROR AND BIT
ERROR RATES )N THE LATTER CASE WE SIMULATE A MULTIUSER SYSTEM WHICH IN
CORPORATES CHANNEL CODING 4HE CHANNEL ESTIMATION IS A TWO
DIMENSIONAL PROBLEM TIME
AND FREQUENCY AND BOTH SEPARABLE AND NON
SEPARABLE ESTIMATORS ARE INVESTIGATED 7E DE
SIGN LOW
RANK APPROXIMATIONS OF THESE ESTIMATORS AND COMPARE THE PERFORMANCE AT GIVEN
COMPLEXITIES 4HE COMPARISON SHOWS THAT THE USE OF SEPARABLE ESTIMATORS INCREASES THE
PERFORMANCE SUBSTANTIALLY COMPARED TO NON
SEPARABLE ESTIMATORS WITH THE SAME COMPLEX
ITY &OR THE SCENARIO INVESTIGATED IN THIS REPORT THE PERFORMANCE IS FURTHER IMPROVED BY
APPLYING LOW
RANK APPROXIMATIONS TO SEPARABLE ESTIMATORS
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
)NTRODUCTION
7IRELESS ORTHOGONAL FREQUENCY
DIVISION MULTIPLEXING /&$- IS CURRENTLY USED AND PRO
POSED FOR SEVERAL BROADCASTING APPLICATIONS 4HE %UROPEAN STANDARD FOR DIGITAL AUDIO
BROADCAST $!" ;= USES /&$- WITH DIdERENTIAL PHASE
SHIFT KEYING $03+ 4HIS IS
SUITABLE FOR LOW BIT
RATE SYSTEMS BUT WHEN HIGHER BIT
RATES ARE REQUIRED MULTIAMPLI
TUDE MODULATION IS MORE APPROPRIATE 0ROPOSALS FOR DIGITAL VIDEO BROADCASTING ; =
HAVE INCLUDED MULTIAMPLITUDE MODULATION /&$- 4HESE SCHEMES CAN BE MADE DIdEREN
TIAL WHICH OdERS THE ADVANTAGE OF AVOIDING CHANNEL ESTIMATION $IdERENTIAL AMPLITUDE
AND PHASE SHIFT KEYING $!03+ ;= IS AN EXAMPLE OF THIS APPROACH )N $!03+ HOW
EVER THE CONSTELLATION POINTS ARE NON
UNIFORMLY DISTRIBUTED IN THE SIGNAL SPACE WHICH
REDUCES PERFORMANCE 4HERE MAY ALSO BE METRIC DIbCULTIES CONCERNING DECODING #O
HERENT MODULATION ON THE OTHER HAND GIVES BETTER PERFORMANCE BUT BECAUSE OF THE
NECESSARY CHANNEL ESTIMATION IT REQUIRES MORE COMPLEXITY AT THE RECEIVER )T IS OF INTER
EST THEREFORE TO INVESTIGATE THE PERFORMANCE OF COHERENT /&$- SYSTEMS USING CHANNEL
ESTIMATORS WITH DIdERENT LEVELS OF COMPLEXITY )N THIS PAPER WE ANALYZE LOW
COMPLEXITY
COHERENT DEMODULATION RECEIVER SCHEMES SUITABLE FOR HIGH BIT
RATE /&$-
/NE WAY OF ESTIMATING THE CHANNEL IN A âAT FADING ENVIRONMENT IS TO MULTIPLEX PILOTS
KNOWN SYMBOLS INTO THE TRANSMITTED SIGNAL &ROM THESE SYMBOLS ALL CHANNEL ATTENU
ATIONS ARE ESTIMATED WITH AN INTERPOLATION çLTER 4HIS TECHNIQUE IS CALLED PILOT
SYMBOL
ASSISTED MODULATION 03!- AND WAS INTRODUCED FOR SINGLE
CARRIER SYSTEMS BY -OHER
AND ,ODGE ;= AND ANALYZED BY #AVERS ;= 3INCE EACH SUBCHANNEL IN /&$- IS âAT
FADING 03!- CAN BE GENERALIZED TO TWO DIMENSIONS WHERE PILOTS ARE TRANSMITTED IN CER
TAIN POSITIONS IN THE TIME AND FREQUENCY GRID OF /&$- 4HE CHANNEL ESTIMATION IS THEN
PERFORMED BY A TWO
DIMENSIONAL INTERPOLATION (¶HER ;= PROPOSES TO USE çNITE IMPULSE
RESPONSE &)2 çLTERS FOR THIS AND TO SEPARATE THE USE OF TIME
AND FREQUENCY CORRELATION
(E ARGUES THAT THIS IS A GOOD TRADE
Od BETWEEN COMPLEXITY AND PERFORMANCE
4HE SPACING OF PILOT SYMBOLS IN 03!- FOR SINGLE
CARRIER SYSTEMS WAS INVESTIGATED IN
;= )T WAS FOUND THAT THE OPTIMUM SPACING WAS SOMEWHAT CLOSER THAN THE .YQUIST RATE
IE THE INVERSE OF THE BANDWIDTH OF THE CHANNEL COVARIANCE FUNCTION 7E GENERALIZE THIS
RESULT TO TWO DIMENSIONS FOR THE /&$- TIME
FREQUENCY GRID 5SING A DENSE PILOT PATTERN
MEANS THAT THE CHANNEL IS OVERSAMPLED IMPLYING THAT LOW
RANK ESTIMATION METHODS ;=
CAN WORK WELL 4HIS TYPE OF LOW
COMPLEXITY ESTIMATION PROJECTS THE OBSERVATIONS ONTO A
SUBSPACE OF SMALLER DIMENSION AND PERFORMS THE ESTIMATION IN THAT SUBSPACE "Y OVER
SAMPLING THE CHANNEL IE PLACING THE PILOT SYMBOLS CLOSE TO EACH OTHER THE OBSERVATIONS
ESSENTIALLY LIE IN A SUBSPACE AND LOW
RANK ESTIMATION IS VERY EdECTIVE
)N THIS REPORT WE PRESENT AND ANALYZE PILOT
BASED /&$- CHANNEL ESTIMATORS THAT RELY
ON BOTH TIME AND FREQUENCY CORRELATION OF THE FADING CHANNEL 4HE ESTIMATORS ARE LINEAR
AND FEEDFORWARD IE NO DECISION DIRECTION OR FEEDBACK IS USED 7E DIVIDE THEM INTO TWO
CLASSES
DIMENSIONAL
$ AND SEPARABLE ESTIMATORS 4HE LATTER USES
DIMENSIONAL
$ INTERPOLATION çLTERS IN THE TIME AND FREQUENCY DIRECTIONS SEPARATELY )N EACH CLASS
WE COMPARE A &)2 7IENER çLTER ;= WITH A LOW
RANK APPROXIMATION OF THE LINEAR MIN
IMUM MEAN
SQUARED ERROR ,--3% ESTIMATOR ;= 4HE ESTIMATORS ARE COMPARED BOTH
IN TERMS OF MEAN
SQUARED ERROR -3% AND CODED BIT
ERROR RATE "%2 4HE SYSTEM AND
THE SCENARIO ARE INTRODUCED IN 3ECTION 4HE ESTIMATORS ARE DESCRIBED IN 3ECTION
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
AND THEIR PERFORMANCE IS PRESENTED IN 3ECTION BOTH IN TERMS OF MEAN
SQUARED ERROR
AND CODED BIT
ERROR RATE &INALLY IN 3ECTION WE PRESENT CONCLUSIONS
&IGURE /&$- SYSTEM A "ASE
BAND MODEL B PARALLEL SUBCHANNELS MODEL Ú#0Ú
b
AND Ú#0Ú DENOTE THE INSERTION AND DELETION OF THE CYCLIC PREçX RESPECTIVELY
PERIOD OF THE SYSTEM !DDING A CYCLIC PREçX #0 WITH A LENGTH OF 3 +3 MAKES THE
& R
AS A SET OF PARALLEL 'AUSSIAN CHANNELS ;= SHOWN IN &IGURE B WITH CORRELATED CHANNEL
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
ATTENUATIONS t u
J
G & J - `
-3
J
R
WHERE & a IS THE FREQUENCY RESPONSE OF THE CHANNEL F ~ DURING THE /&$- SYMBOL 4HE
RECEIVED SIGNAL X ON SUBCHANNEL J CAN THUS BE DESCRIBED AS
J
X G W
M
J J J J
WHERE W IS THE TRANSMITTED DATA SYMBOL AND M THE CHANNEL NOISE AT SUBCARRIER J 4HE
J J
RELATION HOLDS FOR EVERY /&$- SYMBOL THUS CREATING A TWO
DIMENSIONAL GRID WITH
FREQUENCY SUBCARRIERS ON ONE AXIS AND TIME /&$- SYMBOLS ON THE OTHER
3CENARIO
4HE CHANNEL ESTIMATION IS BASED ON PILOTS TRANSMITTED AT CERTAIN POSITIONS IN THE TIME
FREQUENCY GRID OF THE /&$- SYSTEM 4HE CHANNEL ATTENUATIONS ARE ESTIMATED BY MEANS
OF INTERPOLATION BETWEEN THESE PILOTS WHERE WE ASSUME THAT THE CHANNEL ESTIMATORS CAN
USE ALL TRANSMITTED PILOTS 4HIS IS THE CASE IN EG BROADCASTING OR IN THE DOWNLINK OF
A MULTIUSER SYSTEM )N BOTH THESE CASES THERE IS ONLY ONE PHYSICAL CHANNEL BETWEEN THE
TRANSMITTER AND THE RECEIVER 4HUS CHANNEL ATTENUATIONS IN NEIGHBORING TIME
FREQUENCY
GRIDPOINTS ARE HIGHLY CORRELATED A FEATURE THAT CAN BE USED FOR CHANNEL ESTIMATION )N THE
UPLINK OF A MULTIUSER SYSTEM ON THE OTHER HAND EACH USER HAS THEIR OWN PHYSICAL CHANNEL
SO CHANNEL ATTENUATIONS STEMMING FROM DIdERENT MOBILE TRANSMITTERS MUST BE ASSUMED
TO BE UNCORRELATED 4O ESTIMATE THE ATTENUATIONS FOR ONE USER ONLY PILOTS TRANSMITTED BY
THAT USER CAN BE USED 4HUS THE UPLINK IS QUITE DIdERENT FROM OUR SCENARIO AND WILL NOT
BE CONSIDERED HERE
4HE INVESTIGATED /&$- SYSTEM HAS A BANDWIDTH OF -(Z AND IS OPERATING IN THE
'(Z FREQUENCY BAND 4HE NUMBER OF SUBCARRIERS IS - WHICH MAKES THE
EdECTIVE SYMBOL LENGTH xS 4HE ENVIRONMENT IS A MACROCELL WHICH IS ASSUMED TO HAVE
A MAXIMUM DELAY SPREAD OF xS AND A MAXIMUM $OPPLER FREQUENCY OF (Z 4HUS THE
MAXIMUM $OPPLER FREQUENCY RELATIVE TO THE INTER
CARRIER SPACING IS E WHICH
#MAX
CORRESPONDS TO A VEHICLE SPEED OF KMH 4HE POWER DELAY PROçLE IS EXPONENTIALLY
DECAYING WITH ROOT MEAN SQUARE 2-3 WIDTH ~ xS 4O ELIMINATE )3) WE USE A
RMS
PATTERNS ARE RANDOM PERMUTATIONS AND CHANGED EVERY FRAME "Y HAVING DIdERENT INTER
LEAVING PATTERNS ON ALL SUBCARRIERS CHANNEL ATTENUATIONS ARE INTERLEAVED IN BOTH TIME AND
FREQUENCY 4HIS PRODUCES AN ALMOST PERFECT INTERLEAVING WITH NO SIGNIçCANT PERFORMANCE
LOSS
&OR ERROR CORRECTION A RATE CONVOLUTIONAL CODE WITH THE OCTAL POLYNOMIALS
IS USED IE THE CODE POLYNOMIALS ARE ;=
F #
#
#
#
#
F #
#
#
#
#
ENCODERÚS MEMORY 4HE RECEIVER USES A SOFT
DECISION 6ITERBI DECODER WITH A TRUNCATED
MEMORY LENGTH OF M BITS 4HE BITS ARE MODULATED USING "03+ IN EACH DIMENSION
$
AND THE INPHASE AND QUADRATURE PARTS ARE CONCATENATED TO FORM 103+ SYMBOLS 4HIS
MAKES THE DATA RATE OF THE SYSTEM -BITS
8 `
,
& E S P D I t M
{%#M S {E ~ M
, M
WHERE t IS THE PHASE % THE $OPPLER FREQUENCY AND ~ THE DELAY OF THE M PATH !LL
M #M M
SG
THESE PARAMETERS ARE INDEPENDENT RANDOM VARIABLES 4O OBTAIN 2AYLEIGH FADING WITH THE
*AKESÚ SPECTRUM ;= AND AN EXPONENTIALLY DECAYING POWER DELAY PROçLE WITH 2-3
VALUE
~ WE CHOOSE THE PROBABILITY DENSITY FUNCTIONS AS ;=
RMS
O t {
t v t {
O % Q
J% J%
%# #
{%#M A X ` %# %# M AX
# #MAX
`~ ~ RM S
O ~ v~ v3
`
D
~
~ RM S D
`3BO ~ RM S
BO
4HE RANDOM VARIABLES % AND ~ CAN EASILY BE OBTAINED FROM A UNIFORMLY DISTRIBUTED
#
RANDOM GENERATOR WITH OUTPUTS : < BY USING THE INVERSES OF THE DESIRED CUMULATIVE
DISTRIBUTION FUNCTIONS ;=
4HE BANDWIDTH OF THIS FUNCTION IS ! THE $OPPLER SPREAD IN THE aE DIRECTION AND ~
C MAX
THE MULTIPATH SPREAD IN THE aS DIRECTION ;= &OR THE ANALYZED /&$- SYSTEM WE
HAVE
E
! %
#MAX
-3
C #MAX
R
~ MAX +3 R
WHERE E #MAXIS THE MAXIMUM $OPPLER FREQUENCY RELATIVE TO THE INTER
CARRIER SPACING
)F WE ASSUME THAT PILOTS ARE PLACED - SUBCARRIERS APART IN EVERY - /&$- SYMBOLS
E S
WE HAVE t u
-
G & Ja K a - -
+ 3
E
-3
JK S R
R
SINCE THE INTER
CARRIER SPACING IS - 3 AND THE DURATION OF AN /&$- SYMBOL IS -
+ 3
R R
- S ` a
+
-
E#MAX
)N THE ANALYZED SYSTEM WE HAVE - + AND E #MAX WHICH GIVES
-
E
- S ` a
)N ;= WHERE 03!- FOR SINGLE
CARRIER SYSTEMS IS ANALYZED IT IS SHOWN THAT THE "%2
CAN BE LOWERED BY PLACING THE PILOT SYMBOLS CLOSER THAN THAT SPECIçED BY THE SAMPLING
THEOREM .OTE THAT THERE EXISTS A PILOT SPACING WHICH OPTIMIZES THE TRADE
Od BETWEEN
IMPROVED CHANNEL ESTIMATION AND REDUCED 3.2 ON THE DATA SYMBOLS "Y VARYING THE
PILOT SPACINGS - AND - IT WAS FOUND THAT - AND - WAS CLOSE TO OPTIMAL IN
E S E S
TERMS OF "%2 4HE USED PILOT PATTERN IS SHOWN IN &IGURE 4HIS MEANS THAT
{ OF THE BANDWIDTH AND THE TRANSMITTED POWER IS USED FOR PILOTS .OTE THAT THE
CHANNEL IS OVERSAMPLED WHICH MEANS THAT LOW
RANK ESTIMATORS CAN BE VERY EdECTIVE ;=
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
&IGURE 4HE PILOT PATTERN USED IN THE SYSTEM 0ILOT SYMBOLS ARE MARKED WITH GREY
SQUARES
)N OUR STUDY THE PILOT SYMBOLS HAVE THE SAME AVERAGE POWER AS THE DATA SYMBOLS
(OWEVER A TECHNIQUE CALLED BOOSTED PILOTS CAN ALSO BE USED WHICH IS PROPOSED FOR $6"
;= 4HIS MEANS THAT THE PILOT SYMBOLS ARE TRANSMITTED WITH A HIGHER AVERAGE POWER
THAN THE DATA SYMBOLS 4HE AVERAGE 3.2 ON THE DATA SYMBOLS IS REDUCED BUT THE CHANNEL
ESTIMATES ARE BETTER SINCE THE 3.2 AT THE PILOT SYMBOLS IS INCREASED 4HUS BY CHOOSING
A SUITABLE POWER LEVEL FOR THE PILOT SYMBOLS THE BIT
ERROR RATE CAN BE DECREASED
%STIMATORS
)N /&$- SYSTEMS THE OPTIMAL LINEAR ESTIMATOR IN THE MEAN
SQUARED ERROR SENSE IS A
$
BOTH TIME AND FREQUENCY çLTER (OWEVER THE COMPLEXITY OF THIS ESTIMATOR IS USUALLY
TOO LARGE FOR IT TO BE OF PRACTICAL USE ! NUMBER OF SUBOPTIMAL LOW
COMPLEXITY CHANNEL
ESTIMATORS HAVE BEEN SUGGESTED IN THE LITERATURE SEE EG ; = 7E WILL INVESTIGATE
TWO CLASSES OF ESTIMATORS
DIMENSIONAL AND SEPARABLE 4HE USE OF SEPARABLE çLTERS IS
A COMMON METHOD TO REDUCE COMPLEXITY IN MULTIDIMENSIONAL SIGNAL PROCESSING ;= &OR
BOTH SEPARABLE AND NON
SEPARABLE ESTIMATORS WE LOOK AT &)2 7IENER çLTERS AND LOW
RANK
APPROXIMATIONS OF ,--3% ESTIMATORS 7E COMPARE ALL ESTIMATORSÚ PERFORMANCES FOR
TWO LEVELS OF COMPLEXITY 3INCE THEY ARE ALL LINEAR ESTIMATORS A REASONABLE MEASURE OF
COMPLEXITY IS THE AVERAGE NUMBER OF MULTIPLICATIONS PER ESTIMATED ATTENUATION
)N THE SEQUEL WE USE THE FOLLOWING NOTATION 4HE BACKROTATED OR LEASTÔSQUARES
ESTIMATED CHANNEL ATTENUATIONS AT PILOT POSITIONS ARE DENOTED BY
X
O
JK
W
JK
JK
WHERE X IS THE RECEIVED SIGNAL AT SUBCARRIER J IN /&$- SYMBOL K AND W IS THE CORRE
JK JK
SPONDING TRANSMITTED PILOT SYMBOL 4HE çNAL ESTIMATE OF THE CHANNEL ATTENUATIONS G JK
ARE LINEAR COMBINATIONS OF THE O ÚS WHERE THE COEbCIENTS ARE CHOSEN ACCORDING TO EACH
JK
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
&IGURE 4WO
DIMENSIONAL &)2 7IENER çLTER 4HE ESTIMATED TONE b IS A LINEAR
COMBINATION OF THE PILOT TONES d
B 1GO 1` O
G
OO
WHERE 1GO IS THE CROSS
COVARIANCE MATRIX BETWEEN G AND O AND 1OO IS THE AUTO
COVARIANCE
MATRIX OF O $EPENDING ON THE NUMBER OF PILOTS USED AND THEIR RELATIVE LOCATIONS THE
SIZE OF O AND THE CORRESPONDING AUTO
COVARIANCE MATRIX 1OO WILL CHANGE !LSO DEPENDING
ON THE NUMBER OF ESTIMATED ATTENUATIONS THE SIZE OF G WILL CHANGE &URTHERMORE 1GO
DEPENDS ON THE RELATIVE POSITIONS BETWEEN ESTIMATED ATTENUATIONS AND THE USED PILOT
POSITIONS "ELOW WE ADDRESS SEVERAL CHOICES ON USED PILOTS AND ESTIMATED ATTENUATIONS
$ çLTERS
4HE
$ 7IENER çLTER IS OPTIMAL IN TERMS OF -3% IF COMPLEXITY IS NOT CONSIDERED (OW
EVER FOR A çXED COMPLEXITY THE NUMBER OF çLTER TAPS THAT CAN BE USED IS QUITE SMALL 7E
USE THIS ESTIMATOR AS A REFERENCE AND INVESTIGATE A REDUCED COMPLEXITY ESTIMATOR WHICH
IS DERIVED USING THE THEORY OF OPTIMAL RANK
REDUCTION ;=
$ ESTIMATOR
)F THE ALLOWED COMPLEXITY IS * MULTIPLICATIONS PER ATTENUATION THE TWO
DIMENSIONAL çLTER
USES THE * PILOTS CLOSEST TO THE ESTIMATED ATTENUATION )N &IGURE WE DISPLAY AN
EXAMPLE OF THE SEVEN PILOT POSITIONS USED * TO ESTIMATE ONE CHANNEL ATTENUATION
&OR EVERY ESTIMATED CHANNEL ATTENUATION THERE IS A SET OF * ASSOCIATED PILOTS /PTIMAL
WEIGHTS ARE CALCULATED ACCORDING TO &OR THE ESTIMATOR WITH THE LOWER COMPLEXITY
WE WILL USE THE CLOSEST PILOTS AND FOR THE HIGHER COMPLEXITY THE CLOSEST
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
&IGURE 3TRUCTURE OF THE LOWÔRANK
DIMENSIONAL ESTIMATOR 4HE TONES TO ESTIMATE
ARE MARKED WITH b AND THE PILOTS USED ARE MARKED WITH d
USING THE * CLOSEST PILOTS O )F THE ATTENUATIONS TO BE ESTIMATED AND THE PILOTS USED ARE
O
CHOSEN PROPERLY THE ESTIMATOR CAN BE WELL APPROXIMATED BY A LOW
RANK ESTIMATOR THEREBY
REDUCING THE COMPLEXITY CONSIDERABLY WHILE MAINTAINING MOST OF THE PERFORMANCE .OTE
THAT THE ESTIMATED ATTENUATIONS CAN BE CHOSEN ARBITRARILY IN THE TIME
FREQUENCY GRID )N
&IGURE AN EXAMPLE IS GIVEN FOR THE LOCATION OF ESTIMATED ATTENUATIONS * AND
G
WHERE & IS A LOW
RANK 7IENER çLTER ;= &ROM THE SINGULAR VALUE DECOMPOSITION 36$
Q
`
1GO 1OO
4f5 '
WHERE 4 AND 5 ARE UNITARY MATRICES AND f IS A DIAGONAL MATRIX ;= THE LOW
RANK 7IENER
çLTER IS DETERMINED BY ;=
& 4f 5 1OO
Q Q
`
'
* G
MULTIPLICATIONS PER ESTIMATED ATTENUATION WHERE Q IS THE RANK OF THE ESTIMATOR NUMBER
OF SINGULAR VALUES USED * THE NUMBER OF PILOTS USED AND * THE NUMBER OF ATTENUATIONS
O G
TO BE ESTIMATED
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
&OR THE LOWER COMPLEXITY ESTIMATOR WE CHOSE * PILOTS IN THE TIME DIRECTION
O
DIRECTION AND IN THE FREQUENCY DIRECTION 4HE LATTER WERE PLACED IN THE MIDDLE OF THE
FORMER IN ORDER TO EXPLOIT AS MUCH CORRELATION AS POSSIBLE 7ITH A RANK OF Q THE
NUMBER OF MULTIPLICATIONS PER ATTENUATION IS ACCORDING TO %Q
t u
"
LOW
&OR THE HIGHER COMPLEXITY WE CHOSE PILOTS IN THE TIME DIRECTION AND IN THE
FREQUENCY DIRECTION AND ATTENUATIONS TO ESTIMATE IN THE TIME DIRECTION AND IN
THE FREQUENCY DIRECTION 4HE RANK USED WAS GIVING
t u
"
HIGH
DIdERENT POSITIONS RELATIVE TO THE PILOTS WILL NEED DIdERENT çLTERS SO THERE WILL BE - E
DIdERENT çLTERS FOR THIS ESTIMATION .OTE THAT THESE çLTERS ARE NON
CAUSAL IN THE SENSE
THAT THEY WILL USE PILOTS ON BOTH SIDES OF THE ESTIMATED ATTENUATION IN ORDER TO EXPLOIT
THE CLOSEST PILOTS !FTER THIS PROCEDURE THERE WILL BE ESTIMATES OF ALL ATTENUATIONS IN EVERY
- /&$- SYMBOL &)2 7IENER çLTERS OF LENGTH * ARE NOW USED IN THE TIME DIRECTION TO
S
SG
S
OBTAIN ESTIMATES OF ALL ATTENUATIONS (ERE THERE WILL BE - ` DIdERENT çLTERS DEPENDING
S
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
&IGURE 3EPARABLE çLTER BASED ON ONE
DIMENSIONAL çLTERS IN FREQUENCY AND TIME
DIRECTIONS &ILTERING IN THE FREQUENCY DIRECTION IS PERFORMED çRST
ON WHICH ATTENUATION IS ESTIMATED 4HESE çLTERS CAN BE NONCAUSAL WHICH WILL INTRODUCE
A DELAY IN THE SYSTEM )F THIS DELAY CANNOT BE ACCEPTED CAUSAL çLTERS MUST BE USED
4HE TOTAL NUMBER OF MULTIPLICATIONS PER ESTIMATED ATTENUATION IS
*
*
E
-
S
S
SINCE THE FREQUENCY
DIRECTION çLTER HAS TO BE APPLIED IN ONLY ONE OUT OF EVERY - /&$-
S
SYMBOLS 4HIS FACT CAN BE USED IN THE DESIGN OF THE çLTERS SINCE THE FREQUENCY
DIRECTION
çLTER TAPS ARE CHEAPER IN TERMS OF COMPLEXITY "Y REDUCING THE NUMBER OF TAPS IN THE TIME
DIRECTION çLTER BY ONE - TAPS CAN BE ADDED TO THE FREQUENCY DIRECTION çLTER WITHOUT
E
MULTIPLICATIONS PER ATTENUATION &OR THE HIGHER COMPLEXITY AND TAPS WERE USED FOR
THE FREQUENCY AND TIME çLTERS RESPECTIVELY 4HIS MEANS A COMPLEXITY OF
"
HIGH
,--3% ESTIMATOR IS USED IN COMBINATION WITH THE TIME DIRECTION &)2 çLTER (ENCE A
FREQUENCY DIRECTION çLTERING IS PERFORMED FOR EACH /&$- SYMBOL CONTAINING PILOTS !N
OBVIOUS WAY OF DOING THIS çLTERING IS TO ESTIMATE ALL ATTENUATIONS IN AN /&$- SYMBOL
USING ALL PILOTS (OWEVER WHEN USING ALL PILOTS THE COMPLEXITY REDUCTION IS NOT SO LARGE
THAT IT CAN COMPETE WITH A SHORT &)2 7IENER çLTER 4HE NUMBER OF MULTIPLICATIONS PER
ATTENUATION IS SEE !PPENDIX !
t u
*
Q
O
* G
WHERE Q IS RANK USED * AND * ARE THE NUMBER OF ATTENUATIONS TO ESTIMATE AND NUMBER
G O
OF PILOTS USED RESPECTIVELY 3INCE PILOTS FAR AWAY FROM THE ESTIMATED ATTENUATIONS ARE
WEAKLY CORRELATED THEY DO NOT CONTRIBUTE MUCH TO THE ESTIMATE "Y EXCLUDING THEM
THE COMPLEXITY GOES DOWN WHILE THE PERFORMANCE IS ALMOST THE SAME (ENCE THE /&$-
SYMBOL IS PARTITIONED INTO A NUMBER OF SUB
SYMBOLS WHERE THE ATTENUATIONS ARE ESTIMATED
USING ONLY THE * PILOTS CLOSEST TO THE SUB
SYMBOL CONSISTING OF * SUBCARRIERS ;= )N
O G
,OW
RANK APPROXIMATIONS CAN BE DONE FOR THE TIME
DIRECTION çLTERING AS WELL BUT IN THIS
REPORT WE HAVE CHOSEN TO USE AN &)2 çLTER INSTEAD
&IGURE 3TRUCTURE OF THE LOWÔRANK ESTIMATOR IN THE FREQUENCY DIRECTION 4HE * G
ATTENUATIONS TO ESTIMATE ARE MARKED WITH b AND THE * PILOT SYMBOLS USED ARE
O
MARKED WITH d
MULTIPLICATIONS PER ATTENUATION &OR THE HIGHER COMPLEXITY WE USED PILOTS TO ESTIMATE
ATTENUATIONS WITH A RANK OF 4OGETHER WITH A TIME çLTER WITH TAPS THIS GIVES
` a
"
HIGH
*G
* O
*G
*S * *
O S
4HE AVERAGE NUMBER OF MULTIPLICATIONS PER ATTENUATION AND THE NUMBER OF PILOTS THE
ESTIMATORS ARE BASED ON ARE SHOWN IN 4ABLE 4HE ESTIMATORS USE THE PARAMETERS
DESCRIBED IN THE PREVIOUS SECTION !S CAN BE SEEN IN THE TABLE FOR A çXED COMPLEXITY
THE NUMBER OF PILOTS USED IN THE ESTIMATES CAN BE INCREASED BY POSING RESTRICTIONS ON THE
ESTIMATORS SUCH AS SEPARABILITY AND LOW RANK (OWEVER BECAUSE A LARGE NUMBER OF PILOTS
ARE USED MANY WILL BE ONLY WEAKLY CORRELATED WITH THE ESTIMATED CHANNEL ATTENUATIONS
AND WILL NOT THEREFORE CONTRIBUTE MUCH 4HUS CONSIDERING CORRELATION MISMATCH IN THE
DESIGN THE ESTIMATION MAY ACTUALLY BE DEGRADED BY INCREASING THE NUMBER OF USED PILOTS
4HE MAIN ADVANTAGE OF USING MANY PILOTS IS THAT THE IMPACT OF THE CHANNEL NOISE IS
REDUCED BY A LARGE AVERAGING
OTHERWISE OTHERWISE
-AX REL $OPPLER FREQUENCY
3.2 6ARYING D"
4ABLE $ESIGN AND TRUE VALUES OF SYSTEM PARAMETERS 4HE CONSTANT " IS A NORMALIZA
TION FACTOR
MODULATION IS ANALYZED &OR THE DETERMINATION OF THE CORRELATION MATRICES SEE !PPENDIX
" #ONTRARY TO THE WORST CASE RECOMMENDATIONS FOR çXED DESIGN CORRELATIONS THE çXED
DESIGN 3.2 SHOULD BE CHOSEN TO A BEST CASE 4HIS IMPLIES A CLOSE TO OPTIMAL PERFORMANCE
FOR 3.2S BELOW THE DESIGN 3.2 WHERE THE EdECTS OF 3.2 MISMATCH ARE SMALL COMPARED
TO THE OVERALL NOISE LEVEL 7E HAVE CHOSEN THE DESIGN 3.2 TO D"
7E EVALUATE THE ESTIMATORS UNDER MISMATCH IE THEY ARE DESIGNED FOR THE WRONG
CHANNEL CORRELATION AND 3.2 0ARAMETERS FOR THE DESIGN AND THE TRUE VALUES OF THE CHANNEL
STATISTICS ARE SHOWN BELOW IN 4ABLE .OTE THAT THERE IS NO MISMATCH IN $OPPLER
FREQUENCY 'IVEN THE DESIGN FOR RELATIVE $OPPLER FREQUENCY THE PERFORMANCE IS
APPROXIMATELY THE SAME FOR E #MAX v ;= 4HE 3.2 IS DEçNED AS THE TRANSMITTED
ENERGY PER DATA BIT OVER THE CHANNEL NOISE VARIANCE
h i h i
$ JG J $ JW J
J J
2- 1 h i a
$ JM J
J
A
WHERE A DENOTES THE NUMBER OF INFORMATION BITSSYMBOL )N OUR CASE WE HAVE A
&OR ALL ESTIMATORS THERE WILL BE DIdERENT MEAN
SQUARED ERRORS DEPENDING ON THE ESTIMATED
ATTENUATION )N ORDER TO COMPARE THE ESTIMATORS WE ONLY LOOK AT THE AVERAGE ERROR OVER
ALL ATTENUATIONS IE
8
*G
-3% 1DD M M TR 1DD
* G
M
* G
WHERE * IS THE NUMBER OF ESTIMATED ATTENUATIONS AND ÚTRÚ DENOTES THE TRACE OF A MATRIX
G
;=
)N &IGURE THE -3% FOR THE ESTIMATORS WITH THE LOWER COMPLEXITY LEVEL ARE SHOWN
AS A FUNCTION OF 3.2 )T SHOULD BE NOTED THAT THE NON
SEPARABLE ESTIMATORS HAVE AN ERROR
âOOR THAT IS ALREADY VISIBLE AT LOW 3.2 &OR THE SEPARABLE ESTIMATORS THE ERROR CURVES LEVEL
OUT FOR VERY HIGH 3.2S BUT THIS ERROR âOOR IS HARDLY NOTICEABLE IN THE çGURE "ECAUSE
THERE WILL ALWAYS BE AN INTERPOLATION ERROR EVEN IN THE NOISELESS CASE ALL THE ESTIMATORS
HAVE AN ERROR âOOR 4HIS IS DUE TO çNITE çLTER LENGTHS &OR 2-1 D" THE LOW
RANK
SEPARABLE ESTIMATOR IS D" BETTER THAN SEPARABLE &)2 çLTERS
4HE -3%
CURVES FOR THE HIGHER COMPLEXITY ARE SHOWN IN &IGURE 4HE ERROR âOORS
HAVE NOW BEEN LOWERED AND ARE ONLY NOTICEABLE FOR THE
$ ESTIMATOR .OTE ALSO THAT
THE MUTUAL ORDERING IS THE SAME AS FOR THE LOWER COMPLEXITY IE THE LOW
RANK SEPARABLE
ESTIMATOR IS THE BEST AND THE
$ ESTIMATOR IS THE WORST 4HE DIdERENCE BETWEEN THE LOW
RANK SEPARABLE ESTIMATOR AND SEPARABLE &)2 çLTERS IS NOW ABOUT D" )N BOTH &IGURES
AND IT CAN BE SEEN THAT SEPARABLE ESTIMATORS PERFORM BETTER THAN NON
SEPARABLE
4HIS WAS NOTED IN ;= WHERE IT WAS ARGUED THAT SEPARABLE ESTIMATORS PROVIDE A GOOD
TRADE
Od BETWEEN COMPLEXITY AND PERFORMANCE
&IGURE -EAN
SQUARED ERROR RELATIVE TO CHANNEL POWER FOR THE FOUR ANALYSED ESTIMA
TORS WITH THE LOWER COMPLEXITY MULTIPLICATIONS PER TONE
&IGURE -EAN
SQUARED ERROR RELATIVE TO THE CHANNEL POWER FOR THE FOUR ANALYSED
ESTIMATORS WITH THE HIGHER COMPLEXITY MULTIPLICATIONS PER TONE
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
&IGURE #ODED BIT ERROR RATE WITH THE LOW COMPLEXITY ESTIMATORS
&IGURE #ODED BIT
ERROR RATE WITH THE HIGH
COMPLEXITY ESTIMATORS
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
CHANNELS AND SCENARIOS SUCH AS THE UPLINK ANOTHER ESTIMATOR MIGHT BE BETTER 3EPARATE
STUDIES ARE REQUIRED FOR THESE CIRCUMSTANCES
&INALLY THE TWO LEVELS OF COMPLEXITY FOR THE LOW
RANK SEPARABLE ESTIMATOR WHICH WAS
SHOWN TO BE THE BEST ARE COMPARED TO KNOWN CHANNEL )N &IGURE IT CAN BE SEEN
THAT THE LOW AND HIGH COMPLEXITY ESTIMATORS ARE ABOUT D" AND D" AWAY FROM
KNOWN CHANNEL RESPECTIVELY 4HE "%2 WILL DECREASE WITH INCREASING COMPLEXITY BUT TO
&IGURE "%2 OF KNOWN CHANNEL AND THE SEPARABLE LOW
RANK ESTIMATOR OF LOW COM
PLEXITY MULTATT AND HIGH COMPLEXITY MULTATT
GET REALLY CLOSE TO THE PERFORMANCE OF KNOWN CHANNEL A VERY HIGH COMPLEXITY IS NEEDED
4HIS PROMPTS AN ANALYSIS OF THE TRADE
Od BETWEEN COMPLEXITY AND PERFORMANCE BUT THIS
IS BEYOND THE SCOPE OF THIS REPORT
#ONCLUSIONS
)N THIS REPORT WE HAVE INVESTIGATED FOUR /&$- CHANNEL ESTIMATORS SUITABLE FOR BROAD
CASTING OR FOR THE DOWNLINK IN A MULTIUSER SYSTEM 4HE ESTIMATORS USE PILOTS IE KNOWN
SYMBOLS TRANSMITTED IN CERTAIN POSITIONS IN THE TIME
FREQUENCY GRID OF /&$- 4WO CLASSES
OF ESTIMATORS
DIMENSIONAL AND SEPARABLE WERE INVESTIGATED 7ITHIN EACH CLASS WE COM
PARED AN &)2 7IENER çLTER WITH A LOW
RANK ,--3% ESTIMATOR 4HROUGH ANALYTICAL CAL
CULATIONS OF THE -3% AND SIMULATION OF THE CODED "%2 IT WAS FOUND THAT THE SEPARABLE
ESTIMATORS WERE THE BEST FOR A çXED COMPLEXITY 7ITHIN THE CLASS OF SEPARABLE ESTIMATORS
THE LOW
RANK ESTIMATOR WAS SHOWN TO BE ABOUT D" BETTER THAN THE &)2 ESTIMATOR FOR
THE CODED "%2 4WO LEVELS OF COMPLEXITIES WERE INVESTIGATED AND MULTIPLICATIONS
PER ESTIMATED ATTENUATION AND IT WAS FOUND THAT FOR THE CODED "%2 THE FORMER IS D"
FROM KNOWN CHANNEL AND THE LATTER D" ! NATURAL CONTINUATION OF THIS INVESTIGATION
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
B& O
G Q F F O
J
'
HF OI F
J J
J
J J
SINCE & IS A RANK
Q MATRIX 4HE INNER PRODUCTS HF OI REQUIRE * MULTIPLICATIONS EACH
Q J O
* G * G
8 ` ` ` D` ` `
,
%#M S aS
$ D D I tM t M I { %#M S I { E ~ M E aE ~ M
, MM
8 h i h ` a i
,
1 aE aS $ D a
$ D I {%#M S I { E~M
,
&&
h i h ` a i
M
$ D a
$ D
I {%#M
1 aE 1 aS
S I { E~M
E S
IE THE CHANNEL CORRELATION IS SEPARABLE 4HE EXPECTATIONS CAN BE FOUND FROM STANDARD
&OURIER TRANSFORMS ;=
h i
1 aS $ D
S
a
I {%#M
) {%
S
aS #MAX
` ` a
h ` a i `D RM S
a 3BO ~ I { E
1 aE $ D
` D`
I { E~M
RM S
I{aE~
E
3BO ~
RMS
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
WHERE ) a IS THE ZEROTH ORDER "ESSEL FUNCTION OF THE çRST KIND .OTE THAT THE CORRELATION
FUNCTION FOR THE UNIFORM POWER
DELAY PROçLE CAN BE OBTAINED BY LETTING ~ RMS
` D` a I { E 3BO
1 UNIFORM
aE
E
I{aE 3 BO
WHERE
a `
` D` ERM S
t u
J + ~ I {J-
` D` ERM S
I{JE
Q J 1
-3 ~ -
E E
+~
tR
t u u RMS
+
Q K 1 K -
+ 3 ) {E
K
-
S S R #MAX
AND E~RMS ~ 3 IS THE 2-3
SPREAD RELATIVE TO THE SAMPLING INTERVAL 3INCE THE ,3
RMS R
W W
JK JK
JK JK
5SING THESE FUNCTIONS THE AUTO
CORRELATION 1 OO AND THE CROSS
CORRELATION 1 GO CAN BE
CALCULATED
#OMPARATIVE STUDY OF CHANNEL ESTIMATORS
0ART
#OMBINED LINEAR
6ITERBI EQUALIZERS Ô
! COMPARATIVE STUDY AND A MINIMAX
DESIGN
!BSTRACT Ô #OMBINED LINEAR
6ITERBI EQUALIZER #,6% IS A TERM OFTEN USED FOR A CLASS OF DIGITAL
RECEIVERS REDUCING THE COMPLEXITY OF THE 6ITERBI DETECTOR BY ASSUMING AN APPROXIMATE
CHANNEL MODEL TOGETHER WITH LINEAR PRE
EQUALIZATION OF THE RECEIVED DATA
7E RECONSIDER A WEIGHTED LEAST SQUARES DESIGN TECHNIQUE FOR #,6%S BY INTRODUCING
A MINIMAX CRITERION FOR SUPPRESSING THE STRONGEST COMPONENT OF THE RESIDUAL INTERSYMBOL
INTERFERENCE 0REVIOUSLY IN ;= WE HAVE STUDIED THE PERFORMANCE OF SOME PROPOSED #,6%
DESIGN METHODS AND EVALUATED THEM BY SIMULATED BIT ERROR RATES (ERE WE INVESTIGATE THE
PERFORMANCE OF THE MINIMAX DESIGN AND OF THE #,6% DESIGNS FOUND IN LITERATURE ;
= FOR TWO '3- TEST CHANNELS
7E ALSO PRESENT A COMPARISON OF THE #,6% DESIGNS BASED ON A COMMON QUADRATIC
OPTIMIZATION CRITERION FOR THE SELECTION OF THE CHANNEL PREçLTER AND THE DESIRED IMPULSE
RESPONSE
#OMBINED LINEAR
6ITERBI EQUALIZERS
#OMBINED LINEAR
6ITERBI EQUALIZERS
)NTRODUCTION
4HE -AXIMUM ,IKELIHOOD 3EQUENCE $ETECTOR -,3$ IS A PROCEDURE FOR ESTIMATING A
SEQUENCE OF BITS FROM A SEQUENCE OF CHANNEL OUTPUT OBSERVABLES GIVEN A MODEL OF THE
COMMUNICATION SYSTEM )N THE PRESENCE OF INTERSYMBOL INTERFERENCE )3) THE 6ITERBI
ALGORITHM 6! PROVIDES AN EbCIENT WAY OF COMPUTING THE -,3$ ; = (OWEVER
THE 6! STILL BECOMES IMPRACTICAL WHEN THE TIME SPREAD OF THE )3) IS LARGE BECAUSE OF THE
EXPONENTIAL RELATION BETWEEN )3) TIME SPREAD AND 6! COMPLEXITY
4HE COMPLEXITY OF A 6ITERBI DETECTOR CAN BE REDUCED BY GIVING THE 6! AN APPROXIMATE
CHANNEL MODEL WITH A SHORTER TIME SPREAD THAN THAT OF THE ORIGINAL CHANNEL 4HE CLASS OF
RECEIVERS EMPLOYING THIS TECHNIQUE TOGETHER WITH LINEAR PRE
EQUALIZATION OF THE RECEIVED
DATA ARE OFTEN REFERRED TO AS COMBINED LINEAR
6ITERBI EQUALIZERS #,6%S SEE ;
= /THER CLASSES OF RECEIVERS ADDRESSING THE SAME COMPLEXITY PROBLEM CAN BE
FOUND IN EG ; = )N THIS PAPER WE FOCUS ON #,6%S
7HEN DESIGNING #,6%S IT IS OFTEN DESIRABLE TO MINIMIZE THE BIT ERROR RATE OF THE
RECEIVER 4HE BIT ERROR PROBABILITY DEPENDS ON THE DESIGN PARAMETERS SUCH AS THE CHANNEL
MODEL AND THE IMPULSE RESPONSE OF THE PREçLTER IN A COMPLICATED AND NON
LINEAR WAY
4HE PRE
çLTERING OF THE RECEIVED DATA PERTURBS THE SIGNAL SPACE AND COLOURS THE CHANNEL
NOISE )GNORING THIS COLOURING OR GIVING THE 6! AN APPROXIMATE CHANNEL MODEL RESULT IN A
DISPLACEMENT OF THE DECISION REGIONS FROM THEIR OPTIMAL LOCATIONS CF THE RESIDUAL )3) IN
;= )NSTEAD OF USING THE BIT ERROR RATE AS A DESIGN CRITERION OTHER MORE FEASIBLE CRITERIA
ARE USED IN #,6% DESIGN METHODS ; =
)N THIS PAPER WE INVESTIGATE THE PERFORMANCE OF A MINIMAX #,6% DESIGN 4HREE OTHER
PRINCIPAL TECHNIQUES FOR DESIGNING #,6%S ; = ARE ALSO OVERVIEWED AND COMPARED
ni
y
i
bi h Σ Recei-
ver
X 'A
M
#OMBINED LINEAR
6ITERBI EQUALIZERS
OBSERVABLES ARE X 2
` 4HE TIME INVARIANT CHANNEL IMPULSE RESPONSE IE THE )3)
- +
'AUSSIAN ZERO MEAN RANDOM VECTOR WITH A - 1 DISTRIBUTION WHERE 1 DENOTES THE
M M
HAVE CHOSEN TO CONçNE THE DEVELOPMENT OF THE MINIMAX DESIGN TO A CRITERION BASED ON SE
QUENCES OF INçNITE LENGTH 3OME REMARKS ON #,6% DESIGN FOR BLOCK TRANSMISSION SYSTEMS
CAN BE FOUND IN SECTION
! DESIGN MODEL IS PRESENTED IN &IG CF ;= WHERE P IS THE DESIRED IMPULSE RESPONSE
$)2 IE THE CHANNEL MODEL GIVEN TO THE 6! )F THE TIME DELAY MODELLED BY THE çLTER C
IS ZERO THE SYSTEM IS EQUIVALENT TO THE ONE FOUND IN ;= 3INCE THIS PAPER ONLY CONSIDERS
CAUSAL CHANNEL IMPULSE RESPONSES THE INTRODUCTION OF THE TIME DELAY OdERS THE POSSIBILITY
OF PLACING THE ENERGY OF THE $)2 IN AN ARBITRARY POSITION 4HIS POSSIBILITY IS ACCOUNTED
FOR IN ; = BY ALLOWING THE CHANNEL IMPULSE RESPONSE ANTI
CAUSAL COMPONENTS
ni
yi To VA
h Σ p
–
bi Σ εi
+
d q
:A c G c O ` C c P
M c O<
H H
h i
$ K'O ` #PK1
KOK1
H A
M
WHERE O AND P ARE VECTORS CONTAINING THE IMPULSE RESPONSE OF THE PREçLTER O AND THE $)2
P RESPECTIVELY AND 1 AND 1 ARE COVARIANCE MATRICES FOR THE TRANSMITTED SEQUENCE A
A M
AND THE NOISE M ' AND # ARE 4OEPLITZ BAND MATRICES SUCH THAT THE MULTIPLICATIONS 'O
#OMBINED LINEAR
6ITERBI EQUALIZERS
AND #P DESCRIBE CONVOLUTION 3INCE THE LENGTH OF G c O IS GREATER THAN THE LENGTH OF C c P
THE SUBTRACTION 'O ` #P IN NECESSITATES THAT THE SIZE OF # IS CHOSEN SUCH THAT THE
DIMENSIONS AGREE 4HE RESIDUAL )3) IS DEçNED BY THIS DIdERENCE AS
IE AS THE )3) THAT IS NOT ACCOUNTED FOR IN THE 6! CF ;=
)N THE SEQUEL BOTH THE CHANNEL INPUT AND THE CHANNEL NOISE ARE ASSUMED WHITE AND
STATIONARY HENCE 1 ( AND 1 } ( #OMPLETING THE SQUARE IN GIVES
A M M
WHERE
' 6 6'
} (
3 3
3 3
O `' 3
6 6#P
3
)N THE PRESENCE OF NOISE THE MATRICES AND ! ARE POSITIVE DEçNITE SO THE MINIMUM OF
WITH RESPECT TO O IS OBTAINED IF
O O `'
3
6 6#P
3
O %, `' 3
#P %,
4HERE ARE OTHER METHODS THAT DO NOT MINIMIZE BUT STILL OFTEN RENDER A LOWER
PROBABILITY OF BIT ERROR THAN THE METHOD ABOVE /NE SUCH METHOD WAS PRESENTED BY
#OMBINED LINEAR
6ITERBI EQUALIZERS
&REDRICSSON IN ;= &OR THE PURPOSE OF PRESERVING THE SIMILARITY TO THE EXPRESSIONS IN THE
ORIGINAL REFERENCE WE PRESENT HIS RESULT IN THE &OURIER DOMAIN
0 E' c E
/ E
%
J'E J
}
%
M
AND
J'E J
}
J0 E J M
}
%
M
%QUATION CORRESPONDS TO OF &ALCONER AND -AGEE 4HE $)2 HOWEVER IS
DETERMINED BY SPECTRUM MATCHING THE LEFT HAND SIDE TO THE RIGHT HAND SIDE OF EQUATION
GIVEN A LENGTH CONSTRAINT ON P 4HIS MATCHING WAS ADDRESSED BY "EARE IN ;=
WHERE AN ADAPTIVE ALGORITHM WAS PRESENTED
! WEIGHTED LEAST SQUARES 7,3 DESIGN APPROACH FOR O AND P WAS PRESENTED BY DLING
ET AL IN ;= 4HE $)2 IN THIS DESIGN METHOD IS ASSIGNED AN EXACT COPY OF THE CORRE
SPONDING POSITIONS OF 'O THUS GIVING THE 6! A CORRECT CHANNEL MODEL FOR THOSE POSITIONS
IE
P # 'O
6 +2 3
6 +2
4HE PREçLTER O 6 +2 IS CHOSEN BY MODIFYING TO
O `'
3
P
6 6# 3
P
6 +2
K
WHERE THE POSITION K IS CHOSEN AS A SUITABLE INDEX IN P "Y CHOOSING THE WEIGHTING
6 +2
MATRIX IN AS
6 CH@F a a a a a a a a a a a a
POS J
WHERE THE ZEROES COINCIDE WITH THE $)2 POSITION AND J IS CHOSEN SO THAT IT COINCIDES WITH
THE KTH POSITION OF P 4HIS ENSURES THAT THE TRIVIAL ALL ZERO SOLUTION FOR O IS AVOIDED 6 +2
AND THAT THE ENERGY IN 'O IS CONCENTRATED TO THE $)2 INTERVAL %QUATION CAN
6 +2
O 6 +2 `'
3
p J
3IMULATIONS
4O EVALUATE THE PERFORMANCES OF THE #,6%S FOR THE DIdERENT PREçLTER AND DESIRED IMPULSE
RESPONSE DESIGN METHODS DESCRIBED IN SECTION WE HAVE SIMULATED THE BLOCK TRANSMIS
SION SYSTEM OF SECTION 7E HAVE USED TWO '3- TEST CHANNELS ;= THE 4YPICAL 5RBAN
AREA CHANNEL 45 AND THE 2URAL !REA CHANNEL 2!
0.8
Typical Urban
0.4 0.6 Rural area
Impulse resp.
0.4 Impulse resp.
0.2
0.2
0 0
0 10 20 0 10 20
4 2
Typical Urban Rural area
Freq. resp. Freq. resp.
2 1
0 0
0 0.2 0.4 0 0.2 0.4
&IGURE )MPULSE AND FREQUENCY RESPONSES OF THE '3- 4YPICAL 5RBAN CHANNEL LEFT
AND 2URAL !REA CHANNEL RIGHT
7HEN IMPLEMENTING THE MINIMAX DESIGN WE HAVE USED A SEQUENTIAL QUADRATIC PRO
GRAMMING METHOD PROVIDED BY THE ÞMINIMAXÞ ROUTINE OF THE -ATLAB3, /PTIMIZATION
4OOLBOX3, ;= TO SOLVE STARTING WITH AN INITIAL PREçLTER O GIVEN BY
4O DETERMINE THE PREçLTER O AND THE $)2 P OF &REDRICSSON WE HAVE SOLVED EQUATION
BY MEANS OF A LEAST SQUARES çT OF THE SPECTRUM COEbCIENTS OF P TO THE RIGHT HAND
SIDE OF 4HE $)2 P WERE THEN CALCULATED ANALYTICALLY FROM THESE COEbCIENTS 4HE
2! CHANNEL HAS A SMOOTH FREQUENCY RESPONSE AND IS COMPARATIVELY EASY TO MATCH 4HE
MATCHING OF P TO THE 45 CHANNEL IS MORE DIbCULT DUE TO THE SPECTRAL DIPS OF THIS CHANNEL
SEE &IG !S A CONSEQUENCE AT HIGH 3.2S THE NUMBER OF POINTS USED IN THE LEAST
SQUARES çT MIGHT HAVE TO BE ADJUSTED IN ORDER TO OBTAIN REAL COEbCIENTS
#OMBINED LINEAR
6ITERBI EQUALIZERS
-1
10
Bit error rate (BER)
-2
10 x Minimax * WLS
+ Fredricsson o FaMa
-3
10
-5 0 5 10 15
Q:3 taps, P:53 taps
&IGURE "IT ERROR RATE FOR THE '3- 4YPICAL 5RBAN CHANNEL
3IMULATION RESULTS ARE SHOWN IN &IG AND FOR #,6% DESIGNS BY THE &ALCONER AND
-AGEE METHOD ;= ÚOÚ THE 7,3 METHOD ;= ÚcÚ THE -INIMAX METHOD ÚXÚ AND THE
METHOD OF &REDRICSSON ;= ÚÚ 4HE SIMULATIONS ON THE 2! CHANNEL ARE ALSO COMPARED
WITH THE FULL COMPLEXITY 6ITERBI DECODER ;= DOTTED LINE IN &IG 3UCH A COMPARISON
WAS NOT FEASIBLE IN SIMULATIONS ON THE 45 CHANNEL BECAUSE OF THIS CHANNELÚS LENGTH )N
ALL CASES WE HAVE CHOSEN THE LENGTH OF THE DESIRED IMPULSE RESPONSE TO COEbCIENTS AND
THE BLOCK LENGTH TO BITS 4HE PREçLTER LENGTH IS SET TO ONE COEbCIENT MORE THAN TWICE
THE )3) IE COEbCIENTS FOR THE 2! CHANNEL AND FOR THE 45 CHANNEL
-1
10
Bit error rate (BER)
-2
10 x Minimax * WLS o FaMa
-3
10
-10 -5 0 5 10
Q:3 taps, P:13 taps
&IGURE "IT ERROR RATE FOR THE '3- 2URAL AREA CHANNEL
WELL ON THE 45 CHANNEL WHICH IS SLIGHTLY SURPRISING CONSIDERING THE SPECTRAL SHAPE OF THIS
CHANNEL 4HE RESULTS IN THE PRESENTED SIMULATIONS AGREE WITH APPLICABLE OBSERVATIONS IN
; = AND IN OUR EARLIER INVESTIGATIONS ; =
4HE NEW METHOD BASED ON THE MINIMAX DESIGN WAS INTRODUCED AS AN ATTEMPT TO SHAPE
THE DISTRIBUTION OF THE RESIDUAL )3) IN A FASHION FAVOURABLE TO THE 6! "EING SIMILAR TO
THE 7,3 METHOD IT GIVES A TRUNCATED VERSION OF THE TOTAL SYSTEM IMPULSE RESPONSE AS A
$)2 TO THE 6! BUT INSTEAD OF MINIMIZING THE CRITERION )O P IT SUPPRESSES THE LARGEST
RESIDUAL )3) COEbCIENT 4HE PERFORMANCE IS ALMOST UP TO PAR WITH THE 7,3 RECEIVER
WHICH INDICATES A POTENTIAL FOR THE CONCEPT OF SHAPING THE RESIDUAL )3)
4HE HITHERTO DISCUSSED METHODS FOR #,6% DESIGN ARE DERIVED FOR CONTINUOUS TRANS
MISSION SYSTEMS (OWEVER MANY CONTEMPORARY AND FUTURE COMMUNICATION SYSTEMS ARE
OF BLOCK TRANSMISSION TYPE EG THE CELLULAR TELEPHONE SYSTEMS OF %UROPE '3- *APAN
*$# AND THE 53! !$# 4O OUR KNOWLEDGE THERE ARE TODAY NO #,6% DESIGN METHODS
THAT TAKE ADVANTAGE OF THE STRUCTURE OF SUCH SYSTEMS !N INCREASED UNDERSTANDING OF THE
PROPERTIES OF BLOCK TRANSMISSION SYSTEMS COULD RESULT IN IMPROVED RECEIVERS WITH RESPECT
TO BIT ERROR PROBABILITY AS WELL AS REDUCED IMPLEMENTATION COMPLEXITY AND COST )N #,6%S
DEVELOPED FOR BLOCK TRANSMISSION SYSTEMS THIS COULD BE REâECTED BY THE TIME
INVARIANT
LINEAR PREçLTERING BEING REPLACED BY EG A GENERAL MATRIX MULTIPLICATION IN ORDER TO UTI
LIZE THE ÞEDGEÞ EdECTS AT THE BLOCK BOUNDARIES FOR PERFORMANCE IMPROVEMENT 4HE NOISE
CORRELATION DUE TO THE PREçLTER O IS ANOTHER IMPORTANT ISSUE IN CONNECTION WITH #,6%S
CF ;= 4HIS IS RECOGNIZED BY &REDRICSSON AND "EARE BUT NOT CONSIDERED IN THE OTHER
DESCRIBED METHODS
7E REGARD THE ABOVE ISSUES AS KEY COMPONENTS IN THE DEVELOPMENT OF NEW #,6%S
#OMBINED LINEAR
6ITERBI EQUALIZERS
3OURCE CODING
0ART
$ESIGN AND ANALYSIS OF ROBUST SOURCE
CODES
!BSTRACT Ô )N THIS REPORT WE ARE PROPOSING A FRAMEWORK FOR ROBUSTNESS ANALYSIS OF SOURCE
CODES IN COMBINATION WITH A DESIGN PROCEDURE FOR çNDING AN OPTIMAL ROBUST CODE 4HE
ROBUSTNESS IS DEçNED AS LOW SUSCEPTIBILITY TO CHANGES IN THE PROBABILITY DISTRIBUTION OF THE
SOURCE )N MANY APPLICATIONS THE PROBABILITY DISTRIBUTION IS NOT WELL KNOWN NOR TIME
INVARIANT (ENCE BY INTRODUCING A ROBUSTNESS MEASURE WE CAN DESIGN A CODE BASED ON
A RELATIVELY POOR ESTIMATE OF THE PROBABILITY DISTRIBUTION WITHOUT RISKING A CATASTROPHIC
INCREASE OF THE AVERAGE CODE WORD LENGTH IF THE ESTIMATE WAS INCORRECT OR THE SOURCE CHAR
ACTERISTICS CHANGE
4HE BASIC CONCEPTS ARE ROBUSTNESS IN GENERAL AND GRADIENT ROBUSTNESS IN PARTICULAR
4HE GRADIENT ROBUSTNESS 2R # OF A VARIABLE
LENGTH CODE # WITH CODE WORD LENGTHS LI
r0 s`
I
I . ` IS DEçNED AS 2R # L
I I ` L WHERE L IS THE ARITHMETIC MEAN OF THE
CODE WORD LENGTHS )N THE EXPERIMENTAL PART IT IS SHOWN THAT EVEN A SMALL LOSS IN THE DEGREE
OF COMPRESSION CAN GIVE A SUBSTANTIAL INCREASE OF THE ROBUSTNESS OF THE CODE 4HE PROCEDURE
FOR çNDING THE OPTIMAL ROBUST CODE IS COMPUTATIONALLY INTENSE BUT AN EASY TO COMPUTE
APPROXIMATION FORMULA IS GIVEN 4HE EXPERIMENTS PERFORMED USING THE APPROXIMATION
FORMULA ONLY LEAD TO MINOR DIdERENCES IN THE OBTAINED ROBUSTNESS COMPARED TO THE OPTIMAL
ROBUST CODE
3OME OF THE OBSERVATIONS DONE IN THE EXPERIMENTS ARE
q 4HE LENGTHS OF THE LONGEST CODE WORDS ARE REDUCED WHEN INTRODUCING ROBUSTNESS THUS
REDUCING THE REQUIRED MEMORY SPACE FOR STORING CODE BOOKS
q 7HEN THE EXPERIMENTS ON ENTROPY
CLOSE CODES ARE APPLIED TO (UdMAN CODES WE GET
ROUGHLY THE SAME RESULTS 4HE DIdERENCES IS DUE TO THE QUANTIZATION OF CODE WORD
LENGTHS IN THE (UdMAN CODE
q 4HREE DIdERENT METHODS FOR MEASURING THE BEHAVIOUR OF THE GRADIENT ROBUST CODES
COMPARED TO THE OPTIMAL DATA COMPRESSION CODES ARE SHOWING PROMISING RESULTS
4HE ANALYSIS AND EXPERIMENTS IN THIS REPORT ONLY COVER A SMALL PART OF THE POSSIBILITIES
BUT THE RESULTS OBTAINED ARE PROVIDING INCENTIVE FOR FURTHER STUDIES ! ROBUSTNESS MEASURE
WE ARE PLANNING TO INVESTIGATE IN THE FUTURE IS BASED ON THE ARITHMETIC MEAN OF THE CODE
WORD COSTS
2OBUST SOURCE CODES
2OBUST SOURCE CODES
)NTRODUCTION
4HIS REPORT IS CONCERNED WITH TWO MAJOR POINTS ONE IS TO PROPOSE ROBUSTNESS MEASURES
TO BE USED WITH STATIC CODE BOOK SOURCE CODERS AND THE OTHER IS TO PROPOSE DESIGN
PROCEDURES FOR SUCH CODES 2OBUSTNESS IN THIS CASE IS DEçNED AS LOW AVERAGE CODE WORD
LENGTH SUSCEPTIBILITY TO CHANGES IN THE PROBABILITY DISTRIBUTION OF THE SOURCE
)N MANY APPLICATIONS THE PROBABILITY DISTRIBUTION OF THE SOURCE IS NEITHER WELL KNOWN
NOR TIME
INVARIANT )N A SITUATION WHERE SOME KIND OF DATA COMPRESSION IS NEEDED AN
EdECTIVE BUT COMPUTATIONALLY INTENSE METHOD TO SOLVE THE PROBLEM WITH A TIME
VARYING
PROBABILITY DISTRIBUTION IS TO USE AN ADAPTIVE SOURCE CODER SEE EG ;= AND ;= (OW
EVER MANY APPLICATIONS ARE NOT DEPENDENT ON THE BEST POSSIBLE COMPRESSION RATE A HIGH
COMPRESSION SPEED OR PORTABLE LOW
COST HARDWARE MIGHT BE MORE IMPORTANT "ECAUSE
OF THE NATURE OF THESE LIMITATIONS A STATIC CODER IS OFTEN A SUITABLE SOLUTION ,ONG
TIME
REGISTRATION OF %#'S ; = WHERE DATA COMPRESSION CODING IS USED IS A TYPICAL AP
PLICATION WHERE A ROBUST SOURCE CODER IS SUITABLE SINCE ONE OF THE REASONABLE SYSTEM
SPECIçCATIONS IS SMALL AND PORTABLE HARDWARE )F WE DECIDE TO USE A STATIC SOURCE CODE
THERE ARE SEVERAL DIdERENT METHODS AVAILABLE FOR DESIGNING THE CODE /NE EXTREME IS TO
ASSIGN CODE WORDS WITH EQUAL LENGTH AND THE OTHER EXTREME IS TO DO SOME KIND OF ESTI
MATION OF THE PROBABILITY DISTRIBUTION OF THE SOURCE AND DESIGN AN OPTIMAL CODE FOR THAT
PROBABILITY DISTRIBUTION 4HE INTENTION OF THIS REPORT IS TO PROPOSE TOOLS FOR THE ANALYSIS
AND CONSTRUCTION OF A SPECTRUM OF STATIC CODES IN BETWEEN THESE TWO EXTREMES
4HERE ARE SEVERAL METHODS TO INTRODUCE WHAT WE CALL ROBUSTNESS /NE APPROACH IS TO
PUT RESTRICTIONS ON THE LENGTH OF THE LONGEST CODE WORDS SEE EG ;= AND "¶RJESSON ET
AL USED A PARTITIONING OF THE SYMBOL SET IN ; = 4HE SITUATION WHERE CODES ARE
DESIGNED USING AN INCORRECT ESTIMATE OF THE PROBABILITY DISTRIBUTION HAS BEEN COVERED BY
A NUMBER OF AUTHORS SEE EG ;= AND ;= %VEN THOUGH PARTS OF THE PROBLEM HAVE BEEN
ADDRESSED BEFORE WE HAVE NOT FOUND A UNIçED APPROACH TO THE CONCEPT WE CALL ROBUSTNESS
)N #HAPTER WE OUTLINE THE CONDITIONS UNDER WHICH THE INVESTIGATION IS PERFORMED
AND SOME BASIC NOTATIONS ARE INTRODUCED )N #HAPTER THE CONCEPT OF ROBUSTNESS IN
GENERAL AND GRADIENT ROBUST CODES IN PARTICULAR ARE DISCUSSED TOGETHER WITH THE ANALYSIS
OF SOME BASIC PROPERTIES OF GRADIENT ROBUST CODES 4HE MAIN RESULTS OF THE BEHAVIOUR OF
GRADIENT ROBUST CODES ARE EVALUATED BY EXPERIMENTS IN #HAPTER ! DISCUSSION IN
COMBINATION WITH SOME CONCLUSIONS IS PRESENTED IN #HAPTER
ARE ASSUMED TO BE INDEPENDENT 4HE SOURCE CODE IS DEçNED BY A SET OF CODE WORDS
# FB B B ` G WHERE EVERY CODE WORD B IS ASSOCIATED WITH A COST K IN SOME
- J J
`
8
-
a - `
P1 J -
P > P w
H H
H
/NE OF THE QUANTITIES WE ARE TAKING INTO CONSIDERATION IS THE AVERAGE COST PER CODED
SYMBOL 4HIS QUANTITY FOR THE ABOVE DESCRIBED SYSTEM IS GIVEN BY $EçNITION
$EçNITION &OR A SOURCE CODING SYSTEM CONSISTING OF A SOURCE H3 OI AND A CODE #
THE AVERAGE CODING COST FUNCTION 6 # O WHEN O a ` IS DEçNED BY
-
`
8
-
6 # O OK
H H
H
)N A CASE WHERE WE CONSIDER VARIABLE
LENGTH CODERS AND DECIDE TO USE THE LENGTH OF
EACH CODE WORD AS THE CODING COST K EXPRESSION REPRESENTS THE AVERAGE CODE WORD
J
LENGTH )N THIS SITUATION 3HANNONÚS 3OURCE #ODING 4HEOREM ;=0STATES THAT THE COST
6 " O IS ALWAYS GREATER THAN OR EQUAL TO THE ENTROPY 'O ` ` O KNFO OF THE
-
H H
H
SOURCE
2OBUSTNESS
4HE REASON FOR INTRODUCING ROBUSTNESS IS THAT WE WOULD LIKE TO BE ABLE TO DESIGN STATIC
SOURCE CODES THAT ARE CHARACTERIZED BY A HIGH ROBUSTNESS OF THE CODING COST AGAINST CHANGES
IN THE PROBABILITY DISTRIBUTION OF THE SOURCE WITHOUT INCREASING THE CODING COST TOO
MUCH 4HE EXPRESSION ÞHIGH ROBUSTNESS AGAINSTÞ CAN BE INTERPRETED AS ÞLOW SUSCEPTIBILITY
TOÞ $IdERENT APPLICATIONS OR SITUATIONS MIGHT CHANGE THE MEANING OF ÞROBUSTNESSÞ AND
ÞCODING COSTÞ )N THIS CHAPTER WE HAVE CHOSEN TO FOCUS ON TWO LEVELS OF REçNEMENT OF THE
CONCEPT ROBUSTNESS 4HE çRST LEVEL IS A GENERAL DESCRIPTION OF WHAT WE MEAN BY SOURCE
CODING ROBUSTNESS AND THE SECOND LEVEL IS A CONCRETE EXAMPLE OF A ROBUSTNESS MEASURE
GRADIENT ROBUSTNESS
2OBUST SOURCE CODES
$EçNITION ,ET 5 DENOTE A SET OF POSSIBLE CODES FOR AN - `SYMBOL SOURCE &URTHER
-
TO EVERY CODE " 5 ASSUME THAT THERE IS A VECTOR K :K K a a a K ` < OF POSITIVE REAL
m - m -
3
m
VALUED CODE WORD COSTS 7E DEçNE A ROBUSTNESS MEASURE 1h # BASED ON THE CRITERION
h AS A FUNCTION HAVING THE FOLLOWING TWO PROPERTIES
4HE ROBUSTNESS 1h # IS A REAL VALUED NON
NEGATIVE FUNCTION ON THE SET OF ALL SOURCE
CODES ACCORDING TO SOME CRITERION h IE
1h # 5 ` 1
-
AND IF THE ELEMENTS OF THE CODE WORD COST VECTOR K :K K a a a K ` < ASSOCIATED WITH
-
3
# 5
m -
2EMARK !S A CONSEQUENCE OF $EçNITION WE SAY THAT IF 1h # 1h # THEN
THE CODE # IS A MORE ROBUST CODE THAN #
6 # O 6 # O
GD ` 6 # O 8
` -
KHL DK
D G
H H
G
H
% D1 J -
D > H D H
H H
3INCE THE DIRECTION OF CHANGE IS UNKNOWN WE CHOSE D TO BE THE DIRECTION IN WHICH THE
DIRECTIONAL DERIVATIVE IS THE LARGEST AND DEçNE THE ROBUSTNESS 1Q # TO BE THE RECIPROCAL
1Q # 0 `
L@W -
DK
D$ H H H
4HE MAXIMIZATION OF THE DENOMINATOR OF EXPRESSION CAN BE DONE BY APPLYING STAN
DARD LINEAR ALGEBRA OPERATIONS IN THE %UCLIDEAN SPACE 1 4HE MAXIMUM EQUALS THE -
LENGTH OF THE PROJECTION OF THE GRADIENT R6 # O ONTO THE HYPER
PLANE COINCIDING WITH
THE PROBABILITY SIMPLEX a ` )T CAN BE SHOWN THAT
-
V
` U ` `
8- U8 -
8 -
L@W DK T K ` K
D$
H
H H
H
-
H
I
I
4HE INTERESTED READER CAN çND A MORE DETAILED ANALYSIS OF EXPRESSION IN !PPENDIX
! 5SING THE ABOVE CALCULATIONS WE ARE READY TO PROPOSE A DEçNITION OF GRADIENT
ROBUSTNESS
$EçNITION 4HE GRADIENT ROBUSTNESS 1Q # OF A SOURCE CODE # WITH CODE WORD COSTS
K :K K a a a K ` < IS DEçNED AS
-
3
1Q # Q0 a
- ` ` K `K
H H
WHERE K IS THE ARITHMETIC MEAN OF THE CODE WORD COSTS IE K -
0 - `
K
H H
/NE CAN EASILY VERIFY THAT THE GRADIENT ROBUSTNESS SATISçES THE PROPERTIES OF $EçNITION
"Y USING A SUITABLE ROBUSTNESS MEASURE WE HAVE A TOOL FOR çNDING A ROBUST STATIC
SOURCE CODE TO BE USED ON A SOURCE WITH A PROBABILITY DISTRIBUTION THAT CHANGES SLIGHTLY
WITH TIME $EçNITION STATES THAT A CODE WITH EQUAL CODE WORD COSTS IS THE MOST ROBUST
CODE (ENCE WE CAN çND THE MOST ROBUST CODE BY CHOOSING A CODE WITH EQUAL CODE WORD
COSTS %VEN THOUGH THIS SEEMS LIKE A NICE PROPERTY THE UNIVERSALLY MOST ROBUST CODE IS
PROBABLY NOT A VALID OPTION IN A TYPICAL APPLICATION )N A CASE WHERE THE CODE WORD COSTS
EQUALS THE CODE WORD LENGTHS THE UNIVERSALLY MOST ROBUST CODE IS A çXED
LENGTH CODE IE
NO DATA COMPRESSION IS ACHIEVED
4O BE ABLE TO USE THE ROBUSTNESS MEASURE FOR DESIGN OF ROBUST SOURCE CODES WITH SOME
DEGREE OF DATA COMPRESSION WE WILL HAVE TO EXCLUDE SOME OF THE POSSIBLE CODES 4HIS CAN
BE DONE BY DEçNING A SET OF ADMISSIBLE CODES 5 c DUE TO SOME CRITERION 4HE CRITERION CAN
FOR INSTANCE BE A LIMIT ON THE AVERAGE CODE COST 6 # O AT THE ESTIMATED PROBABILITY
DISTRIBUTION O 7E THEREFORE SUGGEST THE FOLLOWING PROCEDURE FOR THE DESIGN OF ROBUST
SOURCE CODES
&IND THE MOST ROBUST CODE # NOS WITHIN THE SET 5 c IE
)N THIS REPORT THE CODE # NOS IS CALLED THE OPTIMAL ROBUST CODE IN THE SET 5 c
THAT 1h # IS MAXIMIZED &URTHER ASSUME THAT THE CODE WORD COSTS FOR # AND # ARE
1 . 1
GIVEN BY THE VECTORS K AND K RESPECTIVELY )F THE PROBABILITY DISTRIBUTION OF THE SOURCE
. 1
CHANGES FROM THE ESTIMATED O TO P EXPRESSION GIVE US THE CODING COSTS
`
8
-
6 # P
. PK
H .H
H
AND
`
8
-
6 # P
1 PK
H 1H
H
3INCE THE AIM OF DESIGNING A ROBUST CODE IS TO OBTAIN A CODE # WITH A DIdERENT
1
BEHAVIOUR THAN THE OPTIMAL MINIMAL COST CODE # WE ASSUME THAT K K 4HE TWO
. . 1
2OBUST SOURCE CODES
EXPRESSIONS AND ARE LINEAR FUNCTIONS ON 1 BUT WE ARE ONLY INTERESTED IN THE
-
PARTS WHERE P a ` ! SCHEMATIC PICTURE OF THE TWO HYPER
PLANES IS SHOWN IN &IGURE
-
&IGURE 3CEMATIC PICTURE OF THE AVERAGE CODING COST HYPER PLANES 4HE INDEPENDENT
VARIABLE IS P
4HE INTERSECTION OF THE TWO PLANES IE FOR THE POINTS P a ` WHERE 6 # P
- .
6 # P GIVE US A BOUNDARY BETWEEN TWO DISJOINTED PARTS OF THE SIMPLEX /N ONE SIDE
1
IT IS MORE BENEçCIAL TO USE # AND ON THE OTHER SIDE IT IS MORE BENEçCIAL TO USE # /N
. 1
THE BOUNDARY THE CHOICE OF CODE DOES NOT AdECT THE AVERAGE CODING COST )F WE CALCULATE
THE DIdERENCE IN AVERAGE CODING COST IE
a6 P 6 # P ` 6 # P
. 1
$EPENDING ON THE CONDITIONS WE ARE WORKING UNDER THE INTERPRETATION OF THE GOODNESS
OF OUR ROBUST CODE MIGHT VARY (ERE ARE TWO POSSIBLE GOODNESS MEASURES
q )F WE WANT TO LIMIT THE WORST CASE AVERAGE CODING COST WE MIGHT BE INTERESTED
IN THE LARGEST VALUE ON 6 # P ON SOME PRE
DEçNED SET OF POSSIBLE PROBABILITY
1
)F THE GOODNESS MEASURE IS VERY IMPORTANT IE IF THE APPLICATION IS DEPENDING HEAVILY
ON THE GOODNESS MEASURE A PARTICULAR ROBUSTNESS MEASURE 1h # MIGHT BEE NEEDED )F
THIS IS NOT THE SITUATION SOME KIND OF GENERAL ROBUSTNESS MEASURE CAN BE USED INSTEAD
$EçNITION !N ENTROPY CLOSE VARIABLE
LENGTH CODE #P IS A CODE WHERE THE CODE
WORD COST EQUALS THE SELF
INFORMATION OF THE CODED SOURCE SYMBOL )F #P IS DESIGNED FOR
A PROBABILITY DISTRIBUTION P :P P a a a P ` < THEN THE COST VECTOR K :K K a a a K ` <
-
3
-
3
4HE ABOVE DEçNITION IMPLIES THAT AN ENTROPY CLOSE CODE #P DESIGNED FOR A SOURCE
WITH PROBABILITY DISTRIBUTION P :P P a a a P ` < WILL HAVE AN AVERAGE CODING COST
-
3
6 # P THAT EQUALS THE ENTROPY 'P 4HE MOTIVATION FOR FOCUSING ON ENTROPY CLOSE
CODES ARE THE ANALYTICAL EXPRESSIONS IN P FOR THE CODE WORD COSTS )F WE WORK WITH OTHER
CODES FOR INSTANCE (UdMAN CODES THERE MIGHT NOT EXIST SUCH ANALYTICAL EXPRESSIONS )N
#HAPTER WE WILL SEE THAT THE RESULTS OBTAINED FOR ENTROPY CLOSE CODES CAN TO SOME
EXTENT BE APPLIED TO (UdMAN CODES &OR ENTROPY CLOSE CODES THE AVERAGE CODING COST
EQUALS THE AVERAGE CODE WORD LENGTH OF THE CODE DUE TO THE FACT THAT WE INTERPRET THE
COSTS THE ` KNFP ÚS AS CODE WORD LENGTHS
H
!S A CONSEQUENCE OF $EçNITION THE ENTROPY CLOSE CODE ITSELF AND THE AVERAGE
CODE COST AT THE ESTIMATED PROBABILITY DISTRIBUTION ARE COMPLETELY DEçNED BY THE CODE
CONSTRUCTION PROBABILITY DISTRIBUTION P )N THE SEQUEL WE WILL CHANGE THE NOTATIONS FOR
ENTROPY CLOSE CODES TO OBTAIN LESS COMPLICATED EXPRESSIONS 4HE CHANGES ARE
#P P
6 #P O 6 P O
1Q #P 1Q P
)F THE GRADIENT ROBUSTNESS IS TO BE USED FOR THE DESIGN OF AN OPTIMAL GRADIENT ROBUST
CODE WE NEED A SET OF ADMISSIBLE CODES 6 c 4HE RESTRICTION CHOSEN IS TO LIMIT THE EXPECTED
CODING COST AT THE ESTIMATED PROBABILITY DISTRIBUTION O )F 6 P O IS RESTRICTED TO BE
LESS THAN OR EQUAL TO 6 c WE DEçNE THE SET OF ESTIMATION POINT LIMITED CODES ACCORDING
TO THE DEçNITION BELOW
$EçNITION 4HE SET OF ESTIMATION POINT LIMITED %0, CODES IS DEçNED AS
6 c O FP a - ` J 6 P O v 6 c G
WHERE O IS THE ESTIMATED SOURCE PROBABILITY DISTRIBUTION 6 c IS THE UPPER LIMIT ON THE EX
PECTED CODING COST AT O AND a ` IS THE SET OF ALL POSSIBLE CODES PROBABILITY DISTRIBUTIONS
-
6 P O v
p6 O O
p'O
6 O FP a
p
- ` J 6 P O v
p'OG
0ROPERTY !N OPTIMAL GRADIENT ROBUST ENTROPY CLOSE CODE EXISTS FOR EVERY ESTIMATED
PROBABILITY DISTRIBUTION O WHICH IS AN INTERIOR POINT OF THE SIMPLEX a ` AND EVERY SET
-
0ROPERTY 4HE SET OF ENTROPY CLOSE %0, CODES 6 O IS CONVEX p
0ROPERTY 4HE OPTIMAL ROBUST ENTROPY CLOSE CODE IS FOUND BY MAXIMIZING THE GRADIENT
ROBUSTNESS 1Q P UNDER THE CONSTRAINT 6 P O
p'O
4HE çRST PROPERTY ENSURES THAT THERE IS AN OPTIMAL ROBUST CODE AND BOTH THE SECOND
AND THE THIRD PROPERTY WILL TO SOME EXTENT SIMPLIFY THE OPTIMIZATION PROCEDURE FOR çND
ING THE OPTIMAL ROBUST CODE 0ROPERTY IMPLIES THAT WHEREVER WE ARE IN THE SET 6 O p
WE HAVE ÞFREE SIGHTÞ TO THE OPTIMAL SOLUTION AND 0ROPERTY ALLOWS US TO CONCENTRATE
ON THE BORDER OF THE SET 6 O
p
Pa - `
AND
6 P O
p'O
(OWEVER THE OBTAINED SYSTEM OF EQUATIONS IS NOT EASILY SOLVED FOR LARGE VALUES ON -
4HEREFORE THE EXPERIMENTS IN THIS CHAPTER ARE PERFORMED BY USING A MODIçED GRADIENT
SEARCH OVER THE SET 6 O &OR THE INTERESTED READER WE HAVE INCLUDED A DESCRIPTION OF THE
p
NUMERICAL OPTIMIZATION METHOD IN !PPENDIX # ,ATER IN THIS CHAPTER WE ALSO PROPOSE
A COMPUTATIONALLY CHEAP APPROXIMATION FORMULA FOR THE OPTIMAL SOLUTION
q !RE THERE ANY GENERAL CHANGES IN THE CODE WORD LENGTHS THAT CAN BE SEEN IN OUR
EXPERIMENTS WHEN GRADIENT ROBUSTNESS IS INTRODUCED
q 7HAT IS THE DEPENDENCE BETWEEN ACHIEVED ROBUSTNESS AND THE DESIGN PARAMETER p
q )S IT POSSIBLE TO çND ROBUST CODES THAT ARE CLOSE TO THE OPTIMAL ROBUST CODE WITHOUT
USING A COMPLEX NUMERICAL ALGORITHM
q )S IT POSSIBLE TO EXTEND THE RESULTS OBTAINED FOR ENTROPY CLOSE CODES TO (UdMAN
CODES
q !RE THERE OTHER CODE DESIGN METHODS THAT HAVE SIMILAR ROBUSTNESS PROPERTIES
AND b c3
E n
& E n E n a a a E - ` n
& & &
WHERE `
`
8
E H m D` D`
-
H I
+
-m -m H - `
I
2OBUST SOURCE CODES
AND `
`
8
E H m D` D`
-
H
I
&
- m - m H - `
I
SAMPLED AND TRUNCATED VERSIONS OF THE CONTINUOUS ,APLACIAN AND 'AUSSIAN DISTRIBUTIONS
4HE TRUNCATION IS DONE IN A WAY THAT ONLY THE PART ABOVE THE MEAN IS USED 4HE PARAME
TERS ARE IN BOTH CASES NORMALIZED WITH RESPECT TO THE NUMBER OF SOURCE SYMBOLS - SUCH
THAT THE SAME SHAPE OF THE SAMPLED CONTINUOUS DISTRIBUTION WILL OCCUR FOR DIdERENT -S
)N &IGURE E m AND E n ARE PRESENTED FOR A SYMBOL SOURCE WITH PARAMETERS
+ &
O
E&
E + 'O :BITSYMBOL<
O
E+
E
+ 'O :BITSYMBOL<
O
E&
E + 'O :BITSYMBOL<
O
E+
E
+ 'O :BITSYMBOL<
GRADIENT ROBUST CODES WERE DESIGNED USING DESIGN PARAMETERS p AND p 4HE
LINE FOR WHICH p IS THE OPTIMAL COMPRESSION CODE
4HE RESULT PRESENTED IN &IGURE CAN BE INTERPRETED BY CONSIDERING THE FOLLOWING
ARGUMENTS
q THE OPTIMIZATION PROCEDURE TRIES TO MINIMIZE THE STANDARD DEVIATION OF THE CODE
WORD LENGTHS THUS SHRINKING THE SPAN BETWEEN THE LONGEST AND SHORTEST CODE WORDS
q AND THE CODING COST IS TO BE KEPT BELOW A CERTAIN LEVEL THUS FORCING MOST OF THE
CHANGES TO TAKE PLACE WHERE THE PROBABILITIES ARE THE SMALLEST
4HE SECOND QUESTION WAS CONCERNED WITH THE DEPENDENCE BETWEEN ACHIEVED ROBUSTNESS
AND THE DESIGN PARAMETER p 7E HAVE PERFORMED NUMERICAL EXPERIMENTS ON THE FOUR PROB
ABILITY DISTRIBUTIONS O O WHERE p WAS SELECTED IN THE INTERVAL : < IE BETWEEN
AND INCREASED AVERAGE CODING COST AT THE ESTIMATED PROBABILITY DISTRIBUTION )N
&IGURE THE ACHIEVED ROBUSTNESS RELATIVE TO THE ROBUSTNESS OF THE OPTIMAL COMPRESSION
CODE IS PRESENTED FOR DIdERENT VALUES ON p
!S ILLUSTRATED IN &IGURE EVEN SMALL VALUES ON THE DESIGN PARAMETER p CAN GIVE
QUITE A SUBSTANTIAL INCREASE OF THE ROBUSTNESS 4HIS EdECT IS DUE TO THE FACT THAT THERE
ARE A LARGE NUMBER OF LONG CODE WORDS THAT CAN BE SHORTENED WITHOUT LOSING MUCH IN
COMPRESSION
3.5
3.0
2.5
Relative robustness
2.0
1.5
1.0
0.5
p1 p2 p3 p4
0
0 0.02 0.04 0.06 0.08 0.10
Design parameter d
TRYING TO çND A SIMPLIçED DESIGN METHOD "ASED ON THE FACT THAT THE OPTIMIZATION
PROCEDURE IS MINIMIZING THE STANDARD DEVIATION OF THE CODE WORD LENGTHS UNDER THE
CONSTRAINT 6 P O
p'O WE HAVE CHOSEN TO APPLY A SIMILAR OPERATION ON THE
PROBABILITY DISTRIBUTION /NE OF THE MOTIVATIONS FOR THIS IS THAT THE CODE WORD LENGTHS
ARE STRICTLY DECREASING CONTINUOUS FUNCTIONS OF THEIR RESPECTIVE DESIGN PROBABILITIES
3INCE BOTH THE UNIFORM DISTRIBUTION O :- - a a a - < AND THE CORRESPOND
TMH
3
ING ENTROPY CLOSE CODE WORD LENGTHS HAVE ZERO STANDARD DEVIATION WE TRY TO çND A
GRADIENT ROBUST CODE ON THE STRAIGHT LINE FROM O TO O 4HE PROBABILITY DISTRIBUTIONS TMH
PO w ` wO
wO TMH w : <
4HE SET OF ADMISSIBLE CODES IS CONVEX 0ROPERTY HENCE THERE IS EXACTLY ONE w w O p
IN THE INTERVAL : < SUCH THAT PO wO IS A BOUNDARY POINT OF 6 O IE p
6 ` w OO
w OO
p p
TMH O
p'O
4HE VALUE ON w O CAN EASILY BE CALCULATED BY APPLYING SOME METHOD FOR çNDING SOLUTIONS
p
TO ONE VARIABLE EQUATIONS EG THE BISECTION METHOD WITH STARTING POINTS w AND w + 4
P ` w OO
w OO
w
p p
TMH
7E HAVE PERFORMED THE SAME EXPERIMENTS AS IN THE PREVIOUS SECTION ON THE FOUR DIS
TRIBUTIONS O O WHERE THE APPROXIMATION FORMULA WAS USED INSTEAD OF THE
OPTIMIZATION ALGORITHM !S A COMPARISON BETWEEN CODE WORD LENGTHS OF THE OPTIMAL
2OBUST SOURCE CODES
SOLUTION AND THE APPROXIMATIVE SOLUTION WE PRESENT THE CODE WORD LENGTHS FOR THE AP
PROXIMATIVE SOLUTION IN &IGURE )F WE COMPARE THE CODE WORD LENGTHS WITH THE ONES
PRESENTED IN &IGURE WE CAN OBSERVE THAT THE MEDIUM LENGTH CODE WORDS ARE THE ONES
THAT DIdER THE MOST
"Y EXPERIMENTAL EVALUATION WE OBSERVED THAT THE APPROXIMATION FORMULA HAVE
ROUGHLY THE SAME EdECT AS THE OPTIMIZATION ALGORITHM 5SING THE SAME VALUES ON THE DE
SIGN PARAMETER p AS IN &IGURE WE PERFORMED THE SAME EXPERIMENTS FOR THE APPROXIMA
TIVE SOLUTION AS FOR THE OPTIMAL SOLUTION AND FOUND THAT THERE ARE ONLY MINOR DIdERENCES
4HE RELATIVE DIdERENCE IN ROBUSTNESS BETWEEN THE OPTIMAL GRADIENT ROBUST CODE AND THE
APPROXIMATION GIVEN BY IS PRESENTED IN &IGURE WHERE THE RELATIVE DIdERENCE
IN ROBUSTNESS IS GIVEN BY 1Q P ` 1Q P 1a P .OTE THAT 1Q P v 1Q P
NOS w NOS w NOS
&ROM &IGURE IT CAN BE CONCLUDED THAT FOR THE EXPERIMENTS PERFORMED THERE IS
ONLY A SMALL LOSS IN OPTIMALITY IF WE USE THE APPROXIMATION INSTEAD OF THE MORE
COMPLICATED OPTIMIZATION ALGORITHM
4HE ROBUSTNESS OF THE CODE GIVEN BY CAN BE EXPRESSED EXPLICITLY IN TERMS OF O
AND p 4HE GRADIENT ROBUSTNESS IS
1Q P R r s
` ` KNF P
`
w
0 0
-
H wH
-
-
I
KNF P
wI
WHERE
w O p
P ` w OO
p
-
wH H
2OBUST SOURCE CODES
THE OBTAINED RESULTS FROM THE PREVIOUS SECTIONS SHOULD BE APPLICABLE TO SOME EXTENT ON
(UdMAN CODES 4HE APPLICATION TO (UdMAN CODES IS PERFORMED IN THE FOLLOWING MANNER
q %STIMATE THE PROBABILITY DISTRIBUTION OF THE SOURCE AND CALL THE ESTIMATE O
q &IND THE OPTIMAL GRADIENT ROBUST ENTROPY CLOSE CODE CHARACTERIZED BY P NOS
4HE EXPERIMENTS ARE PERFORMED ON THE SAME PROBABILITY DISTRIBUTIONS AS IN THE PRE
VIOUS SECTIONS THUS ALLOWING US TO COMPARE THE RESULTS IN A STRAIGHTFORWARD MANNER
&OR THE PROBABILITY DISTRIBUTIONS O O THE EXPERIMENTS SHOW THE SAME TYPE OF
BEHAVIOUR FOR THE CODE WORD LENGTHS AS THE ENTROPY CLOSE CODES 4HE LONG CODE WORDS
ARE SHORTENED AND THE SHORTER ONES ARE ALMOST UNCHANGED !S A DEMONSTRATION OF THE
CHANGES WE HAVE CHOSEN TO PLOT THE CODE WORD LENGTHS SEE &IGURE FOR PROBABILITY
DISTRIBUTION O WHERE THE DESIGN PARAMETER WAS CHOSEN TO p OPTIMAL COMPRESSION
CODE p AND p
)N &IGURE WE HAVE PLOTTED THE ACHIEVED ROBUSTNESS RELATIVE TO THE ROBUSTNESS OF
THE (UdMAN CODE FOR THE ORIGINAL PROBABILITY DISTRIBUTION IE 1Q # P 1Q # O
' NOS '
FOR DIdERENT VALUES ON THE DESIGN PARAMETER p "Y COMPARING WITH &IGURE WE CAN
2OBUST SOURCE CODES
SEE THAT HIGHER VALUES ON THE RELATIVE ROBUSTNESS SEEM TO BE ACHIEVED FOR (UdMAN CODES
3OMETHING ELSE NOTEWORTHY IS THAT THE CURVES OF RELATIVE ROBUSTNESS ACHIEVED FOR THE DIF
FERENT PROBABILITY DISTRIBUTIONS CROSS EACH OTHER WHICH WAS NOT THE SITUATION FOR ENTROPY
CLOSE CODES SEE &IGURE
4HERE ARE SEVERAL DIdERENCES BETWEEN ENTROPY CLOSE CODES AND (UdMAN CODES THAT ARE
AdECTING THE ACHIEVED ROBUSTNESS 7HILE THERE ARE AN UNCOUNTABLE NUMBER OF DIdERENT
ENTROPY CLOSE CODES FOR EVERY - `SYMBOL SOURCE THERE ARE ONLY A çNITE NUMBER OF DIdERENT
(UdMAN CODES 4HE CODE WORD LENGTHS FOR (UdMAN CODES CAN ONLY TAKE INTEGER VALUES
THUS GIVING LARGE RELATIVE DIdERENCES FOR HIGH
PROBABILITY CODEWORDS %VEN THOUGH THERE
2OBUST SOURCE CODES
ARE DIdERENCES THE METHOD SEEMS TO WORK FAIRLY WELL FOR THE PROBABILITY DISTRIBUTIONS
USED IN THE EXPERIMENTS
%VEN THOUGH THE DESIGN PARAMETER p LIMITS THE CODING COST FOR ENTROPY CLOSE CODES
AT THE PROBABILITY DISTRIBUTION O WE CAN NOT EXPECT THE SAME THING TO APPLY FULLY FOR
(UdMAN CODES DUE TO THE DIdERENCES MENTIONED ABOVE )N &IGURE WE HAVE PRESENTED
THE ACTUAL OBTAINED RELATIVE DIdERENCE 6 # P O ` 6 # O O6 # O O FOR
' NOS ' '
THE DIdERENT VALUES ON THE DESIGN PARAMETER p 4HE DOTTED LINE SYMBOLIZES THE RELATIVE
DIdERENCE WE TRIED TO OBTAIN IE p
&IGURE !CTUAL DIdERENCES IN CODING COST FOR THE (UdMAN CODES
4AKING THE CURVES IN &IGURE UNDER CONSIDERATION WE GET ONE PART OF THE EXPLA
NATIONS FOR THE FACT THAT THE CURVES IN &IGURE CROSS EACH OTHER "Y PRESENTING THE
ACHIEVED ROBUSTNESS AGAINST THE ACTUAL INCREASE OF CODING COST INSTEAD OF THE DESIGN PA
RAMETER p SEE &IGURE WE GET A MORE VALID PICTURE OF THE SITUATION (OWEVER THERE
ARE STILL DIdERENCES BETWEEN THE ENTROPY CLOSE CODES AND (UdMAN CODES THAT CANNOT BE
EXPLAINED FULLY BY THE DIdERENCE BETWEEN p AND THE ACTUAL INCREASE OF CODING COST
%VEN THOUGH THERE ARE A NUMBER OF QUESTIONS FOR WHICH WE HAVE NO EXPLICIT ANSWERS
EXCEPT THAT IT IS RELATED TO THE QUANTIZATION OF THE CODE WORD LENGTHS THE BASIC PROPERTIES
FOR GRADIENT ROBUST ENTROPY CLOSE CODES SEEM TO SOME EXTENT BE VALID FOR (UdMAN CODES
TOO 4HE BASIC PROPERTIES SUCH AS THE SHORTENING OF THE LONG CODE WORDS ARE THE SAME
FOR BOTH THE (UdMAN CODES AND THE ENTROPY CLOSE CODES
q 4HE çRST APPROACH WHICH IS BASED ON THE ASSUMPTION THAT WE DO NOT KNOW THE
DIRECTION OF CHANGE WE CALCULATE THE CODING COST FOR BOTH THE OPTIMAL COMPRESSION
CODE 6 # P AND THE ROBUST CODE 6 # P IN THE MOST UNFAVOURABLE DIRECTION
. 1
RESPECTIVELY AND SEE WHICH BEHAVES THE WORST 4HIS TYPE OF INTERPRETATION IS THE ONE
CLOSEST TO THE DEçNITION OF GRADIENT ROBUSTNESS !N INTERPRETATION OF THIS MEASURE
IS THAT WE LOOK AT TWO CODERS SEPARATELY AND CONSIDER THE WORST CASE DIRECTIONS
RESPECTIVELY
SURE IS THAT WE LOOK AT TWO CODERS WORKING IN PARALLEL ON THE SAME SOURCE AND
MEASURE THE DIdERENCE IN CODING COST IN A WORST CASE DIRECTION
q 4HE THIRD APPROACH IS BASED ON THE CODING COST AT THE UNIFORM DISTRIBUTION O TMH
4HIS MEASURE CAN BE USED IN SITUATIONS WHERE THERE ARE BURSTS OF NOISE IN THE SYS
TEM SUCH THAT THE PROBABILITY DISTRIBUTION OF THE SOURCE BECOMES ALMOST âAT !N
APPLICATION WHERE THIS IS A CONCEIVABLE SITUATION IS DATA ACQUISITION IN COMBINATION
WITH POORLY ATTACHED WIRING OR OTHER ARTIFACT SOURCES
)N THE çRST APPROACH WE LOOK AT THE EXPRESSIONS FOR THE CODING COSTS IN THE MOST
UNFAVOURABLE DIRECTIONS D AND D RESPECTIVELY 4HE CODING COST CAN BE EXPRESSED AS
. 1
C
6 C 6 # O
CD 6 # O
1Q #
. . . .
.
AND
C
6 C 6 # O
CD 6 # O
1Q #
1 1 1 1
1
2OBUST SOURCE CODES
CAN BE EXPRESSED AS
C
6 C
p6 # O
1Q #
1 .
1
%VEN THOUGH THE MOST UNFAVOURABLE DIRECTION MOST CERTAINLY IS DIdERENT FOR THE TWO
CODES WE CAN BY SETTING 6 C 6 C SAY THAT THE POINT OF BREAK
EVEN LIES AT A
. 1
DISTANCE
6 # O1Q # 1Q #
C p
. . 1
1Q # ` 1Q #
6
1 .
WORST CASE PERFORMANCE MIGHT BE BETTER IF WE USE THE ROBUST CODE 4O ILLUSTRATE THIS
CONCEPT WE PRESENT 6 C p AND 6 C FOR p AND p 4HE
. 1
PROBABILITY DISTRIBUTION WE CHOSE TO WORK WITH ARE O &IGURE AND O &IGURE
4HE SECOND APPROACH CHOSEN FOR THE PERFORMANCE EVALUATION IS BASED ON THE DIdERENCE
IN CODING COST BETWEEN THE TWO CODES WHICH CAN BE EXPRESSED AS
`
8
-
a6 P 6 # P ` 6 # P
. 1 P aK
H H
H
WHERE K AND K ARE THE COST VECTORS ASSOCIATED WITH THE CODES " AND " RESPECTIVELY
. 1 . 1
FUNCTION CAN BE CALCULATED BY USING THE SAME LINEAR ALGEBRA METHODS AS IN 3ECTION
2OBUST SOURCE CODES
&IGURE 6 C AND 6 C IN THE WORST CASE DIRECTION RESPECTIVELY USING O "REAK
. 1
EVEN POINTS WHERE THE DASHED LINES CROSS THE SOLID LINE
WHERE aK -
0 - `
aK 4HE DIdERENCE IN CODING COST IN THE WORST DIRECTION CAN BE
I I
EXPRESSED AS
V
U `
U8 ` a -
a6 C 6 # O ` 6 # O
CT
. aK ` aK
1 H
H
WHERE C IS THE %UCLIDEAN DISTANCE FROM THE ESTIMATED PROBABILITY DISTRIBUTION O SEE
&IGURE
%XPRESSION CAN BE REDUCED TO
V
U `
U8 ` a -
a6 C `p6 # O
CT . aK ` aK
H
H
BY TAKING THE DEçNITION OF %0, CODES INTO CONSIDERATION 4HE POINT OF BREAK
EVEN CAN
BE OBTAINED BY SETTING a6 C AND WE GET
6 # O
Ca p Q0
.
- ` `aK ` aKa
H H
&ROM EXPRESSION WE GET THE DISTANCE Ca ABOVE WHICH IT IS MORE BENEçCIAL TO USE
THE ROBUST CODE IF THE DIRECTION OF CHANGE IS THE WORST POSSIBLE 4HE DIdERENCE BETWEEN
2OBUST SOURCE CODES
&IGURE 6 C AND 6 C IN THE WORST CASE DIRECTION RESPECTIVELY USING O "REAK
. 1
EVEN POINTS WHERE THE DASHED LINES CROSS THE SOLID LINE
THE DISTANCE AND THE DISTANCE IS THAT WE MAKE THE CALCULATIONS IN THE SAME
DIRECTION FOR BOTH CODES IN THE LATTER ONE 4O ILLUSTRATE THIS SECOND METHOD WE PRESENT
a6 C FOR p AND p 4HE PROBABILITY DISTRIBUTIONS ARE THE SAME AS IN THE
çRST METHOD OF PERFORMANCE EVALUATION IE O &IGURE AND O &IGURE
4HE LAST AND PROBABLY THE MOST EASILY INTERPRETED APPROACH ON THE GOODNESS OF
THE ROBUST CODE IS WHERE WE ONLY LOOK AT THE CODING COST AT THE UNIFORM PROBABILITY
DISTRIBUTION 7E HAVE CHOSEN TO MEASURE THE GOODNESS AS THE DIdERENCE IN CODING COSTS
IE
a6 6 # O ` 6 # O
TMH . TMH 1 TMH
5SING EXPRESSION WE HAVE ILLUSTRATED THE DIdERENCE IN AVERAGE CODING COST AT THE âAT
PROBABILITY DISTRIBUTION SEE &IGURE WHERE WE USE THE SAME PROBABILITY DISTRIBUTIONS
AS BEFORE
4HE CURVES ARE DETERMINED BY USING DIdERENT VALUES ON THE DESIGN PARAMETER p 4HE
DASHED LINES SYMBOLIZE THE DESIGN PARAMETERS USED IN THE PREVIOUS TWO METHODS FOR ANA
LYZING THE PERFORMANCE
q 4HE GRADIENT ROBUST CODES EXAMINED ARE ONLY ONE CLASS OF ROBUST CODES AND MANY
APPLICATIONS WOULD PROBABLY GAIN MORE FROM OTHER TYPES OF ROBUSTNESS MEASURES
2OBUST SOURCE CODES
4HE QUESTION OF HOW TO DECIDE WHICH ROBUSTNESS MEASURE IS THE BEST FOR A PARTICULAR
SITUATION IS AN OPEN QUESTION AT THIS POINT
q 4HE EXPERIMENTS ONLY CONSIDER SOURCES WHERE THE NUMBER OF SYMBOLS IS -
4HE REASON FOR THIS IS THAT WE WANTED TO USE AS MANY SYMBOLS AS POSSIBLE WITHOUT
INCREASING THE EXECUTION TIME FOR THE NUMERICAL ALGORITHMS TOO MUCH
q 4HE EXPERIMENTS ARE PERFORMED ON A LIMITED NUMBER OF DIdERENT PROBABILITY DIS
TRIBUTIONS WHICH IS A FACT THAT WILL HAVE TO BE TAKEN INTO CONSIDERATION WHEN THE
RESULTS ARE INTERPRETED (OWEVER THE EXPRESSIONS USED ARE CONTINUOUS AND BEHAVES
FAIRLY WELL EXCEPT FOR THE ONES IN THE APPLICATION TO (UdMAN CODES WHERE THE CODE
WORD LENGTHS ARE NON
ANALYTICAL INTEGER APPROXIMATIONS OF THE ONES OBTAINED FOR
ENTROPY CLOSE CODES
q 7E HAVE NOT SHOWN THAT THE OPTIMAL GRADIENT ROBUST %,0 CODE IS UNIQUE 4HERE
MIGHT IN FACT BE SEVERAL LOCAL OPTIMA IN THE EXPRESSIONS USED FOR ROBUST CODES
OF WHICH WE ONLY çND ONE WHEN USING THE OPTIMIZATION PROCEDURE DESCRIBED IN
!PPENDIX # %VEN THOUGH WE HAVE NOT BEEN ABLE TO SHOW THAT THE OPTIMAL
ROBUST CODE IS UNIQUE OUR HYPOTHESIS IS THAT IN FACT IT IS UNIQUE 4HE PROBLEM IN
SHOWING THE UNIQUENESS GOES BACK TO SHOWING THAT THE SET OF CODES WITH GRADIENT
ROBUSTNESS GREATER THAN OR EQUAL TO SOME çXED VALUE IS CONVEX 7E WILL CONTINUE
WORKING ON THIS PROBLEM
)N THE EXPERIMENTS WE HAVE OBSERVED THAT THE GRADIENT ROBUST CODES FOR THE PROB
ABILITY DISTRIBUTIONS EXAMINED SEE #HAPTER HAVE CERTAIN USEFUL PROPERTIES 4HE
PROPERTIES WE HAVE TRIED TO ELUCIDATE ARE MORE OR LESS CONNECTED TO CERTAIN SITUATIONS
WHICH MIGHT ARISE IN REAL APPLICATIONS (OPEFULLY WITHOUT OVERRATING THE CONTENTS OF THE
ANALYSIS AND THE EXPERIMENTS THE FOLLOWING CONCLUSIONS ARE MADE
q /UR DEçNITION OF ROBUSTNESS MEASURE FOR SOURCE CODES AND THE PROPOSED DESIGN
PROCEDURE FOR OPTIMAL ROBUST SOURCE CODES PROVIDE A FRAMEWORK FOR A LARGE NUMBER
2OBUST SOURCE CODES
&IGURE a6 C FOR p AND p USING O "REAK
EVEN POINTS WHERE THE
DASHED LINES CROSSES THE SOLID LINE
OF DIdERENT CLASSES OF ROBUST CODES ! CERTAIN CLASS OF ROBUST SOURCE CODES CAN BE
CREATED BY FOLLOWING THE DIRECTIONS OF #HAPTER
q "Y INTRODUCING GRADIENT ROBUST CODES WE HAVE OBSERVED THAT THE MAXIMAL CODE WORD
LENGTH OF THE CODE IS REDUCED &OR LOW ENTROPY SOURCES THE DECREASE IN MAXIMAL CODE
WORD LENGTH IS SUBSTANTIAL EVEN FOR SMALL LOSSES IN ACHIEVED COMPRESSION )N SOME
APPLICATIONS IT IS BENEçCIAL TO REDUCE THE LENGTH OF THE LONGEST CODE WORDS ! GREAT
ADVANTAGE OF SHORT MAXIMAL CODE WORD LENGTH IS THAT THE MEMORY SIZE REQUIRED TO
STORE CODE BOOKS CAN BE REDUCED SUBSTANTIALLY SEE EG ;=;= AND ;= ! NUMBER
OF PAPERS HAVE BEEN PUBLISHED WHERE THE CONSTRUCTION OF LENGTH
LIMITED (UdMAN
CODES AND PATH LENGTH
LIMITED BINARY SEARCH TREES ARE ADDRESSED SEE EG ;=;=
AND ;=
&IGURE a6 C FOR p AND p USING O "REAK
EVEN POINTS WHERE THE
DASHED LINES CROSSES THE SOLID LINE
q 7HEN APPLYING THE EXPERIMENTS ON GRADIENT ROBUST ENTROPY CLOSE CODES TO (UdMAN
CODES WE HAVE OBSERVED THAT THE PROPERTIES ARE ROUGHLY THE SAME 4HE OBTAINED RO
BUSTNESS EVEN SEEMS TO BE SLIGHTLY HIGHER FOR (UdMAN CODES (OWEVER THE METHOD
WE USED FOR INTRODUCING GRADIENT ROBUSTNESS TO (UdMAN CODES IS SOMEWHAT ELUSIVE
WHEN IT COMES TO DEPENDENCE BETWEEN THE DESIGN PARAMETER p AND THE ACTUAL VALUE
ON THE INCREASE OF THE CODING COST 4HIS PROBLEM IS DUE TO THE INTEGER QUANTIZATION
OF THE CODE WORD LENGTHS OF (UdMAN CODES
q 4HE PERFORMANCE EVALUATIONS DONE ARE BASED ON THREE DIdERENT APPROACHES FOR
MEASURING THE GOODNESS OF A GRADIENT ROBUST CODE /NE OF THE APPROACHES IS BASED
ON THE ROBUSTNESS MEASURE ITSELF AND THE OTHER TWO ARE INCLUDED FOR COMPARISON AND
BECAUSE THEY PROBABLY ARE EASIER TO INTERPRET )N THE EXPERIMENTS IT WAS EVIDENT THAT
SMALL CHANGES IN THE AVERAGE CODING COST CAN GIVE SUBSTANTIAL ADVANTAGES IN DIdERENT
WORST CASE SITUATIONS 4HE LAST APPROACH WE USED IN THE PERFORMANCE ANALYSIS WAS
BASED ON THE DIdERENCE IN AVERAGE CODING COST AT THE âAT PROBABILITY DISTRIBUTION
! NOTEWORTHY PROPERTY OF THIS LAST METHOD IS THAT ONE OF THE POSSIBLE ROBUSTNESS
MEASURES BASED ON IT IMPLIES A MINIMIZATION OF THE ARITHMETIC MEAN OF THE CODE
WORD LENGTHS WHEREAS THE GRADIENT ROBUSTNESS MEASURE IMPLIES A MINIMIZATION OF
THE UNWEIGHTED STANDARD DEVIATION OF THE CODE WORD LENGTHS IE WE HAVE A CLOSE
CONNECTION TO THE WELL KNOWN QUANTITIES ARITHMETIC MEAN AND STANDARD DEVIATION
! MORE THOROUGH ANALYSIS AND THE INTRODUCTION OF OTHER ROBUSTNESS MEASURES ARE
UNDER CONSIDERATION SINCE THE RESULTS OBTAINED IN THIS REPORT SHOW THAT THE INTRODUCTION
OF ROBUSTNESS CAN GIVE CERTAIN BENEçCIAL PROPERTIES TO SOURCE CODES AT A LOW COST
2OBUST SOURCE CODES
&IGURE a6 FOR DIdERENT VALUES ON THE DESIGN PARAMETER p USING O AND O
TMH
$ASHED LINES SYMBOLIZE THE PARAMETER VALUES USED IN THE PREVIOUS EVALUATIONS
V
` U ` `
8 -
U8 8 - -
L@W DK T K ` K
D$ H
H H
- H
H
I
I
% D1 J -
D >
H D
H
H H
4O PROVE WE USE STANDARD LINEAR ALGEBRA OPERATIONS WHICH0 `CAN BE FOUND IN
MOST TEXTBOOKS ON THE SUBJECT EG ;= &IRST WE OBSERVE THAT
D K IS AN INNER -
H H H
WE KNOW THAT NTHE MAXIMIZATION O CAN BE DONE BY ORTHOGONAL PROJECTION OF K ONTO
0 `
THE SUBSPACE D 1 J -
D FOLLOWED BY A CALCULATION OF THE LENGTH OF THE
-
H H
LENGTH OF KD IS V
U ` `
U8 8 - -
JKD J JK ` HM KI MJ T K ` K
-
H I
H I
0ROPERTY !N OPTIMAL GRADIENT ROBUST ENTROPY CLOSE CODE EXISTS FOR EVERY ESTIMATED
PROBABILITY DISTRIBUTION O WHICH IS AN INTERIOR POINT OF THE SIMPLEX a ` AND EVERY SET -
0ROOF 7E WANT TO SHOW THAT THERE IS A P 6 O MAXIMIZING 1Q P ON 6 O 3INCE
p p
1Q P R r s
0 - ` ` KNF P
0 - `
KNF P
H H - I I
` `
8
-
8
-
)P ` KNF P
KNF P
-
H I
H I
CLEAR THAT NO P CAN BE ZERO DUE TO THE EXPRESSIONS AND )O IS A CONTINUOUS
H
FUNCTION ON THE INTERIOR OF THE SIMPLEX a ` HENCE ESPECIALLY ON 6 O &OR P O THE
-
p
AVERAGE CODING COST ATTAINS ITS MINIMUM 6 O O 'O 4HE SET 6 O IS COMPACT p
IE )O ATTAINS ITS MINIMUM ON 6 O (ENCE AN OPTIMAL ROBUST %0, CODE EXISTS IN
p
6 O
p
0ROPERTY 4HE SET OF ENTROPY CLOSE %0, CODES 6 O IS CONVEX p
H
0ROPERTY 4HE OPTIMAL ROBUST ENTROPY CLOSE CODE IS FOUND BY MAXIMIZING THE GRADIENT
ROBUSTNESS 1Q P UNDER THE CONSTRAINT 6 P O
p'O
2OBUST SOURCE CODES
0ROOF &ROM 0ROPERTY WE KNOW THAT THE DESIGN PROBABILITY DISTRIBUTION FOR THE
OPTIMAL ROBUST CODE CAN BE FOUND IN 6 O )F THERE IS AN INTERIOR MINIMUM POINT P
p
THE GRADIENT R)P MUST BE ZERO OR ORTHOGONAL TO THE PROBABILITY SIMPLEX a ` SEE EG -
P
R) P
) P
P- `
WHERE
)P P -
KNF 1 `
J
P J-P J
-
H
PH
ALL COMPONENTS OF R)O ARE EQUAL SINCE THE ORTHOGONAL DIRECTION OF THE SIMPLEX IS
b c 3
a a a )N THE CASE WHERE ALL P ARE EQUAL IT IS TRIVIAL THAT THE GRADIENT IS ZERO
H
BUT THIS POINT DOES NOT BELONG TO 6 O )N THE CASE WHERE ALL P ARE NOT EQUAL WE EXPRESS
p
H
THE ORTHOGONALITY AS
P -
P -
KNF 1 ` J
KNF 1 ` J K K
-P J
-
H
P -PH
P K
-
H H
3INCE ALL P ARE NOT EQUAL THERE MUST BE A LARGEST AND A SMALLEST ONE $ENOTE THESE BY
H
PL@W AND PLHM )F THE EQUALITY HOLDS FOR ALL J AND K THEN IT MUST HOLD FOR J AND K
CORRESPONDING TO PLHM AND PL@W IE
P -
P -
- PLHM
KNF 1 LHM `
-
P
- PL@W
KNF 1 L@W` P -
H H H H
#ONSIDERING THAT
PLHM -
P -
1 ` `
AND 1 L@W
-
H
P H
-
H
P H
WE HAVE OBTAINED A CONTRADICTION (ENCE THERE ARE NO INTERIOR MINIMUM POINTS AND
THE DESIGN PROBABILITY P FOR THE OPTIMAL GRADIENT ROBUST CODE MUST BE LOCATED ON THE
BOUNDARY OF 6 O IE WHERE 6 P O
p'O
p
AND THAT THE OPTIMIZING POINT RESIDES ON THE BOUNDARY WE DEVELOPED A MODIçED VERSION OF
A GRADIENT SEARCH ALGORITHM FOR çNDING THE OPTIMIZING POINT 4HE CONNECTION TO GRADIENT
SEARCH IS OBVIOUS BUT THERE ARE SOME DIdERENCES ONE SHOULD BE AWARE OF
)N &IGURE A VISUALIZATION IS DONE OF THE OPTIMIZATION SITUATION 4HE DASHED TRI
ANGULAR SHAPED CURVES ARE CONTOURS OF THE ROBUSTNESS MEASURE 1Q P SEE THE EXPRESSIONS
2OBUST SOURCE CODES
AND 4HE DASHED ELLIPTICAL CURVES ARE CONTOURS OF THE CODING COST FUNCTION
6 P O SEE THE EXPRESSIONS AND 4HE OPTIMUM POINT P IS GIVEN BY NOS
7E KNOW FROM 0ROPERTY THAT THE P IS TO BE FOUND ON THE BOUNDARY OF 6 O
NOS
p
REPRESENTED BY THE SOLID ELLIPTICAL CURVE IN &IGURE )NSTEAD OF MOVING ALONG THE
BOUNDARY OF 6 O WE HAVE CHOSEN A VARIATION OF THE GRADIENT SEARCH METHOD 4HE STEPS
p
OF THE ITERATIVE SEARCH FOR P ARE DESCRIBED BELOW )T SHOULD BE NOTED THAT THE
NOS
Q0 NOTATIONS
0 ` ` W
FOR THE INNER PRODUCT AND THE NORM ARE HW XI
W X AND KWK
-
H H H
-
H H
RESPECTIVELY
C R1Q P
M M
KR1Q P K
M M
M
2OBUST SOURCE CODES
P NOS
4HE PRINCIPAL DIdERENCE BETWEEN A GRADIENT SEARCH BASED ON THE DIRECTION ALONE
AND A GRADIENT SEARCH BASED ON ALTERNATION BETWEEN DIRECTION AND IS SHOWN
IN &IGURE WHERE PATH ) AND )) SYMBOLIZE THE TWO METHODS RESPECTIVELY !S ILLUSTRATED
IN THE çGURE A GRADIENT SEARCH BASED ONLY ON R1Q P WILL IN MOST CASES NOT CONVERGE
M
TO P 4HIS OBSERVATION HAS BEEN VERIçED THROUGH EXPERIMENTS DURING THE DEVELOPMENT
NOS
OF THE ALGORITHM
&IGURE )LLUSTRATION OF THE OPTIMIZATION PATHS FOR TWO DIdERENT GRADIENT METHODS
4HE STARTING POINT P IS CHOSEN AS A âATTENED VERSION OF THE ESTIMATED PROBABILITY DIS
TRIBUTION O BY MOVING TOWARDS THE RECTANGULAR PROBABILITY DISTRIBUTION Q : a a a < - 3
4HE ABOVE ALGORITHM IS NOT SELF ADJUSTING AND THEREFORE THE PARAMETERS w AND *
MIGHT HAVE TO BE CHANGED TO OBTAIN A PROPER CONVERGENCE OF P TO P 4HE CONVERGENCE
M NOS
AND
V 6 P O
M M
DURING THE ITERATIONS OF THE ALGORITHM !T THE OPTIMUM P R6 P O AND R1Q P
NOS NOS NOS
ARE POINTING IN THE SAME DIRECTION SEE EG;= &URTHER WE KNOW THAT THE OPTIMIZING
POINT RESIDES ON THE BOUNDARY OF 6 O IE WHERE 6 P O
p'O (ENCE IF
p
T AND V
p'O WE HAVE AN INDICATION ON THE CONVERGENCE P P
M M M NOS
)N THE EXPERIMENTS PERFORMED THE ALGORITHM SEEMS TO CONVERGE WITHIN A FEW HUNDRED
ITERATIONS WHEN THE NUMBER OF SOURCE SYMBOLS IS - w AND * )N SOME
EXTREME CASES * WAS CHOSEN TO A HIGHER VALUE TO OBTAIN CONVERGENCE
! MORE THOROUGH ANALYSIS OF THE OPTIMIZATION ALGORITHM IS NOT PERFORMED IN THIS
REPORT SINCE IT IS OUT OF THE SCOPE OF THIS REPORT 4HE ONLY REASON FOR DESIGNING A SPECIAL
ALGORITHM IN THIS CASE IS A MATTER OF SPEEDING UP THE CALCULATIONS DURING THE EXPERIMENTS
2OBUST SOURCE CODES
0ART
! PERFORMANCE ANALYSIS OF LOOK
UP
TABLE BASED VARIABLE
LENGTH DECODERS
!BSTRACT Ô )N THIS REPORT WE ARE PRESENTING TWO DECODING ALGORITHMS FOR BINARY VARIABLE
LENGTH CODES BASED ON A LOOK
UP TABLE APPROACH 4HIS TYPE OF ALGORITHMS ARE FAMILIAR TO
SOFTWARE DESIGNERS BUT THE AUTHORS HAVE NOT BEEN ABLE TO çND ANY SCIENTIçC MATERIAL WHERE
THE DECODING SPEED IS ANALYSED 4HE ALGORITHMS WILL DECODE ONE OR SEVERAL SOURCE SYMBOLS
FOR EACH CYCLE OF THE ALGORITHM 4HE LOOK
UP TABLE APPROACH IS BASED ON A COMPLETION OF THE
TREE REPRESENTATION OF THE VARIABLE
LENGTH CODE $ECODING IS DONE BY INDEXING A TABLE WITH
A çXED
LENGTH BLOCK FROM THE CONCATENATED VARIABLE
LENGTH CODE SEQUENCE /NE RESTRICTION
IS THAT THE çXED
LENGTH BLOCK MUST BE AT LEAST AS LONG AS THE MAXIMAL CODE WORD LENGTH IN
THE USED VARIABLE
LENGTH CODE
"OTH THE SPEED AND MEMORY REQUIREMENT PROPERTIES OF THE ALGORITHMS ARE STUDIED )T
IS SHOWN THAT THE LOOK
UP TABLE ALGORITHMS ARE CONSIDERABLY FASTER THAN THE TREE
SEARCH
ALGORITHM SEEN IN MOST TUTORIAL BOOKS AT A COST OF MEMORY REQUIREMENTS EXPONENTIALLY
GROWING WITH THE çXED
LENGTH BLOCK SIZE
/N THE ONE HAND THE MEMORY REQUIREMENTS OF THE LOOK
UP TABLE DECODERS ARE LARGE
BUT ON THE OTHER HAND THE COST PER BIT OF MEMORY HAS SHOWN A RAPIDLY DECREASING TREND
DURING THE LAST FEW DECADES
$EDICATED HARDWARE PROPOSALS ARE PRESENTED FOR THE LOOK
UP TABLE ALGORITHMS AS WELL
AS A SOFTWARE EVALUATION OF THE DECOMPRESSION SPEEDS ON AN I 0# USING A
BIT #
COMPILER
6ARIABLE
LENGTH DECODERS
6ARIABLE
LENGTH DECODERS
)NTRODUCTION
6ARIABLE
LENGTH CODING BASED ON 3HANNONS 3OURCE #ODING 4HEOREM ;= IS A COMMON
DATA COMPRESSION TECHNIQUE 4HE CODE CONSTRUCTION METHODS EG THE ONE PRESENTED
BY (UdMAN ;= USES THE PRINCIPLE THAT SYMBOLS WITH A HIGH PROBABILITY OF APPEARANCE
SHOULD REQUIRE LESS STORAGE SPACE THAN LESS FREQUENT SYMBOLS 4HIS IS DONE BY ASSIGN
ING SHORT CODE WORDS TO THE HIGH
PROBABILITY SYMBOLS AND LONG CODE WORDS TO THE LOW
PROBABILITY ONES
! VARIABLE
LENGTH CODED SEQUENCE CAN BE DECODED BY A TREE
SEARCH "Y MATCHING THE
BITS IN THE SEQUENCE AGAINST THE BRANCHES IN THE CODE TREE ONE WILL UPON ARRIVAL AT A LEAF
HAVE DECODED ONE SOURCE SYMBOL (OWEVER THE TREE SEARCH IS NOT A VERY FAST DECODING
METHOD )F THE AVERAGE CODE WORD LENGTH IS 6 BITS A TRIVIAL TREE SEARCH WILL REQUIRE
AN AVERAGE OF 6 MATCHINGS BEFORE A SOURCE SYMBOL IS DECODED 4HE APPROACH WE HAVE
CHOSEN IS TO COMPLETE THE CODE TREE TO A CERTAIN DEPTH OF EVERY BRANCH ALLOWING A TABULAR
DECODING WHERE ONE OR SEVERAL SOURCE SYMBOLS ARE DECODED PER CYCLE OF THE ALGORITHM
$IdERENT TYPES OF SIMILAR ALGORITHMS HAVE BEEN USED IN COMPRESSION SOFTWARE BUT AS FAR AS
THE AUTHORS KNOW NO SCIENTIçC MATERIAL HAS BEEN PUBLISHED WHERE THE SPEED PERFORMANCE
IS ANALYSED 4O MAKE SURE THAT THERE IS NO AMBIGUITY IN THE ANALYSIS WE CONSTRUCT A SET
OF DECODERS WHICH WE ARE USING IN THE ANALYSIS
)N #HAPTER THE BASIC STRUCTURES AND THE CODING ALGORITHMS ARE INTRODUCED 4HE
TABULAR DECODING CONSISTS OF TWO GROUPS OF ALGORITHMS EACH GROUP CONSISTING OF A LOOK
UP
TABLE CONSTRUCTION ALGORITHM AND A VARIABLE
LENGTH DECODER 4HE çRST TWO ALGORITHMS ARE
DESCRIBING A LOOK
UP TABLE DECODER AND THE TWO LATTER ONES AN EXTENDED LOOK
UP TABLE
DECODER #HAPTER ALSO CONTAINS A PROPOSAL ON DEDICATED HARDWARE FOR HIGH SPEED
DECODING
)N #HAPTER THE DECODING SPEED AND THE REQUIRED MEMORY SPACE OF THE LOOK
UP
TABLE DECODING ALGORITHMS ARE ANALYSED 4HE POSSIBLE PROBLEMS WITH LARGE MEMORY
REQUIREMENTS CAN BE DEALT WITH BY INTRODUCING SMALLER CHANGES IN THE DECODING AND
ENCODING ALGORITHMS ! GROUPING STRATEGY CAN BE APPLIED ON THE VARIABLE
LENGTH CODE
TO REDUCE THE MEMORY REQUIREMENTS SEE FOR INSTANCE ; = AND THERE ARE ALSO
ALGORITHMS AVAILABLE FOR DESIGNING LENGTH
LIMITED VARIABLE
LENGTH CODES SEE FOR INSTANCE
; = 4HESE METHODS FOR SOLVING MEMORY PROBLEMS ARE NOT INCLUDED IN THE
REPORT
)F A SHORT INTRODUCTION TO THE ALGORITHMS IS DESIRED IT IS RECOMMENDED TO HAVE A BRIEF
LOOK AT THE CHAPTERS AND IN COMBINATION WITH THE TWO APPENDICES ! AND "
WHICH CONTAIN A FEW EXAMPLES ON DECODING AND A 0# IMPLEMENTATION OF THE ALGORITHMS
A B Storage/ B A
Encoder Decoder
Channel
4O ENSURE THAT THERE IS NO AMBIGUOUSNESS IN THE MODEL DESCRIPTION USED A FEW BASIC
DEçNITIONS ARE STATED -OST OF THE NOTATIONS USED ARE LISTED IN !PPENDIX #
$EçNITION -
DENOTES
3 THE SET OF NON
EMPTY SEQUENCES CONSISTING OF ELEMENTS FROM
THE SET - IE -
-
M
M
IS A SET OF CODE WORDS WHERE EVERY CODE WORD " HAS A CERTAIN LENGTH K BITS AND NO " IS
H H H
THE PREçX OF ANY OTHER CODE WORD " I H SEE FOR INSTANCE ;=
I
$EçNITION "Y A TRIMMED BINARY VARIABLE LENGTH CODE WE MEAN A CODE # THAT HAS
NO EMPTY LEAVES IN THE TREE REPRESENTATION
0 ` ` OF THE CODE
0 4HIS CAN BE EXPRESSED AS EQUALITY
IN THE +RAFT INEQUALITY ;= -
v IE
KH ` `
WHERE K IS THE CODE
- KH
H H H
2EMARK !S LONG AS WE ARE STUDYING BINARY VARIABLE
LENGTH CODES THE CODE CAN ALWAYS
BE TRIMMED ACCORDING TO $EçNITION WITHOUT ANY LOSS IN COMPRESSION RATE )N FACT
THE COMPRESSION RATE IS ENHANCED BY TRIMMING A CODE 4HIS IS DUE TO THE FACT THAT THE
NUMBER OF LEAVES CAN BE INCREASED OR DECREASED BY ONE BY ADDING OR REMOVING ONE
NODE
$EçNITION 6ARIABLE
LENGTH CODING OF A SYMBOL FROM THE SOURCE SYMBOL SET 3 ACCORD
ING TO $EçNITION WITH A VARIABLE LENGTH CODE # ACCORDING TO $EçNITION IS DEçNED
AS A MAPPING 5+" 3 # SUCH THAT
5+"
R ` "
H H H - `
"EFORE DESCRIBING THE ENCODING AND DECODING ALGORITHMS A FEW FUNCTIONS AND A CON
CATENATION OPERATOR ARE INTRODUCED WHICH ARE TO BE USED ON SEQUENCES LATER ON
U@K! n H
L H
H
6ARIABLE
LENGTH DECODERS
2EMARK 4HE FUNCTIONS U@K! IN $EçNITION AND AHMRDPL M IN $EçNITION
DO NOT NECESSITATE CALCULATION ON AN ORDINARY COMPUTER SINCE THE BITS n n n `
L
h ! m m m `n
L n n M `
4HE ALGORITHM DESCRIPTION IN THE SEQUEL IS DONE IN AN ABSTRACT WAY BUT IN !PPENDIX
! AN EdORT IS MADE TO ELUCIDATE THE THEORY BY A FEW EXAMPLES
THE FOLLOWING ALGORITHM CAN BE USED FOR ENCODING INTO A BINARY SEQUENCE OF CONCATENATED
VARIABLE
LENGTH CODE WORDS ! 4HE ALGORITHM IS BASED ON $EçNITION
H !
! ! h 5 +"m H
HH
HE H L FNSN
!FTER COMPLETING THE ALGORITHM ! CONTAINS THE VARIABLE
LENGTH CODED VERSION OF THE SE
QUENCE
!LGORITHM ,OOK
UP TABLE ,ET # BE PRE
DEçNED TRIMMED VARIABLE LENGTH PREçX
CODE ACCORDING TO $EçNITION AND DENOTE THE MAXIMAL CODE WORD LENGTH IN # BY KL@W
(AVING AN ARRAY IMPLEMENTATION OF OUR LOOK
UP TABLE CDBNCD :H< 3 FOR H L@W ` K
H
I
" " h AHMRDPKL@W ` K I
H H
CDBNCD :U@K"< R H
I I
HE I L@W `
K
FNSN
KH
HH
HE H - FNSN
!FTER COMPLETING THE ABOVE ALGORITHM THE CDBNCD :a< ARRAY CAN BE USED IN THE DECODING
ALGORITHM TO PERFORM A DECODING
4HE çRST CODE WORD OF A VARIABLE LENGTH CODED SEQUENCE ! CAN NOW BE DECODED BY
INDEXING CDBNCD :a< WITH THE VALUATION OF THE çRST KL@W BITS OF ! 4HE BITS OF THE NEXT CODE
WORD IN THE SEQUENCE WILL NOT EdECT THE DECODED SYMBOL RETURNED BY CDBNCD :a< 4HIS IS
DUE TO THE STEPS
OF !LGORITHM !FTER THE BITS OF THE çRST CODE WORD ANOTHER SET
OF KL@W BITS ARE TAKEN 2EPEATING THIS THE WHOLE SEQUENCE CAN BE DECODED
!LGORITHM AND LET KL@W BE THE MAXIMAL CODE WORD LENGTH IN THE CODE # !SSUMING A
DECODE ARRAY CDBNCD :a< IE A LOOK
UP TABLE CREATED BY !LGORITHM THE DECODING OF !
INTO IS EXECUTED IN THE FOLLOWING MANNER
I b c
C CDBNCD U@Kn n I I
n I
KL@W `
hC
I I
KDMFSGC
HE I M FNSN
WHERE KDMFSGC IS A FUNCTION RETURNING THE LENGTH OF THE CODE WORD ASSOCIATED WITH THE
SOURCE SYMBOL C 7HEN COMPLETING THE ALGORITHM CONTAINS THE DECODED SOURCE SYMBOL
SEQUENCE
2EMARK )N STEP OF !LGORITHM THE INDEX OF THE BINARY SEQUENCE ! MIGHT EXCEED
THE WELL DEçNED BITS OF ! IE EXCEED M ` )F THIS SITUATION OCCURS THE UNDEçNED BITS
MAY BE çLLED WITH ANY CONTENTS EG ZEROS OR ONES
KDMFSG
FH J H KL@W G BY R ` KDMFSG :H<
H
6ARIABLE
LENGTH DECODERS
APPROACH WILL ALLOW MORE THAN ONE SOURCE SYMBOL TO BE DECODED AT EACH INDEXATION !NY
DECODING ALGORITHM CAN BE USED TO PERFORM THE RECURSIVE EXTENSION OF THE TREE BUT TO
MAKE THE DESCRIPTION OF !LGORITHM SHORTER THE DECODE ARRAY FROM !LGORITHM IS
USED 4HE DECODING PROCEDURE IS BASED ON TAKING K BIT BLOCKS AND DECODING AS MANY
CDOSG
!LGORITHM %XTENDED LOOK
UP TABLE !SSUME A PRE
DEçNED TRIMMED PREçX
FREE
VARIABLE
LENGTH CODE # ACCORDING TO $EçNITION WHERE THE MAXIMAL CODE WORD LENGTH IN
# IS KL@W (AVING A LOOK
UP TABLE CDBNCD :H< 3 FOR H L@W ` CREATED BY !LGORITHM
K
I
#
" AHMRDPK I VGDQD "
CDOSG KCDOSG `
J b c
C CDBNCD U@K
L@W `
J J J K
J J
KDMFSGC
HE J v K SGDM # # h C FNSN
CDOSG
CDBNCD :I< #
$
I I
HE I FNSN
KCDOSG
4HE DECODE ARRAY CDBNCD :a< CAN NOW BE USED IN THE EXTENDED LOOK
UP TABLE DECODER
$
2EMARK )N STEP OF !LGORITHM THE INDEX OF THE BINARY SEQUENCE " MIGHT EXCEED
THE WELL DEçNED BITS OF " IE EXCEED K ` )F THIS SITUATION OCCURS THE UNDEçNED
CDOSG
!LL CODE WORDS FULLY CONTAINED IN THE çRST K BITS OF A BINARY SEQUENCE ! CAN NOW
CDOSG
BE DECODED BY INDEXING CDBNCD :a< WITH THE VALUATION OF THOSE BITS !T THE END OF THE
$
LAST CODE WORD ANOTHER SET OF K BITS IS TAKEN 2EPEATING THIS THE WHOLE SEQUENCE CAN
CDOSG
BE DECODED
!LGORITHM %XTENDED LOOK
UP TABLE DECODER ,ET ! REPRESENT A BINARY CON
CATENATED VARIABLE
LENGTH CODE SEQUENCE ! n n n ` FOR INSTANCE CREATED BY !LGO
M
RITHM !SSUMING A LOOK
UP TABLE CDBNCD :a< CREATED BY !LGORITHM WITH A CHOSEN
$
6ARIABLE
LENGTH DECODERS
I H I
# CDBNCD U@Kn n $ I I
n I
KCDOSG `
h#
I I
KDMFSG#
HE I M FNSN
WHERE KDMFSG# IS A FUNCTION RETURNING THE SUM OF THE LENGTHS OF THE CODE WORDS ASSOCIATED
WITH THE SOURCE SYMBOL SEQUENCE # 7HEN COMPLETING THE ALGORITHM CONTAINS THE
DECODED SOURCE SYMBOL SEQUENCE
2EMARK )N STEP OF !LGORITHM THE INDEX OF THE BINARY SEQUENCE ! MIGHT EXCEED
THE WELL DEçNED BITS OF ! IE EXCEED M ` )F THAT SITUATION OCCURS THE UNDEçNED BITS
MAY BE çLLED WITH ANY CONTENTS EG ONES OR ZEROS &URTHER TO MAKE SURE THAT NO EXTRA
SYMBOLS ARE ADDED TO # WILL HAVE TO BE TRUNCATED UNTIL KDMFSG# HAS THE SAME SIZE AS
THE WELL DEçNED BITS OF n n
n
I I `
I KCDOSG
THE SAME NUMBER OF ENTRIES AS THE CDBNCD :a< ARRAY 5SING THE FACT THAT THE NUMBER OF
$
ENTRIES ARE THE SAME THE TWO ARRAYS CAN BE PLACED IN THE SAME 2!- INDEXING THEM WITH
THE SAME ADDRESS IE THE SAME K BITS OF THE BINARY CODE SEQUENCE
CDOSG
length(D)
Look-up table memory (RAM)
length ( D )
D n
2EMARK 4HE BUdER AND SHIFT REGISTER IMPLEMENTATION CAN BE DONE IN A WAY THAT
WILL ALLOW ANY SHIFT TO BE DONE IN CONSTANT TIME /NE APPROACH IS TO IMPLEMENT THE SHIFT
REGISTER AS A NET OF BINARY LOGIC IE A BARREL
TYPE SHIFT REGISTER
IN THE ASYMPTOTIC NUMBER OF DECODED SOURCE SYMBOLS PER ALGORITHM CYCLE 4HIS MAKES THE
MEASURE IMPLEMENTATION INDEPENDENT
4HERE ARE SEVERAL METHODS FOR STORING THE DECODING TABLES AND EACH METHOD WILL
REQUIRE A DIdERENT AMOUNT OF MEMORY 4HE MEMORY SIZES CONSIDERED IN THE ANALYSIS ARE
BASED ON THE HARDWARE IMPLEMENTATIONS PROPOSED IN 3ECTION
$EçNITION !LGORITHM CYCLE 4HE ALGORITHM CYCLE USED FOR MEASURING THE ALGO
RITHM SPEED CONSISTS OF THE TWO BASIC STEPS SHOWN BELOW /NE EXECUTION OF THE STEPS H
AND HH IS DEçNED AS ONE ALGORITHM CYCLE
H 'ET BITS FROM THE STORAGECHANNEL
HH $ECODE BITS DIdERENT APPROACH FOR THE ALGORITHMS
)N THE TREE
SEARCH ALGORITHM THE ALGORITHM CYCLE CONSISTS OF ÞGET ONE BIT AND MATCH
WITH THE BRANCHES IN THE CODE TREEÞ AND IN THE LOOK
UP TABLE AND EXTENDED LOOK
UP TABLE
ALGORITHMS !LGORITHM AND IT CONSISTS OF THE STEPS
SCRIBING THE NUMBER OF DECODED SOURCE SYMBOLS AT ALGORITHM CYCLE M OF DECODING ALGORITHM
7 USING THE CODE # ON THE SOURCE 3 WITH PROBABILITY DISTRIBUTION 0 4HE SPEED OF ALGO
RITHM 7 UNDER THESE CONDITIONS IS DEçNED AS THE FOLLOWING ASYMPTOTIC NUMBER OF DECODED
SOURCE SYMBOLS PER ALGORITHM CYCLE
8
L `
h 3 0 # KHL
7
L L b M
M
%XPRESSION OF $EçNITION WILL BE USED IMPLICITLY IN THE SEQUEL WITHOUT REF
ERENCES
$EçNITION 4HE THE AVERAGE CODE WORD LENGTH WHEN USING THE CODE # ON A SOURCE
WITH PROBABILITY DISTRIBUTION 0 IS GIVEN BY 6 # 0 :BITSYMBOL<
`
8
-
6 # 0 OK
H H
H
)NFORMATION ON AVERAGE CODE WORD LENGTH CAN BE FOUND IN SEVERAL TEXTS CONCERNING
VARIABLE
LENGTH CODING SEE FOR INSTANCE ; =
4HE çRST TWO PROPERTIES ARE GIVEN WITHOUT FORMAL PROOF AND ALL THREE OF THEM ARE BASED
ON THE ASYMPTOTIC NUMBER OF DECODED SOURCE SYMBOLS PER ALGORITHM CYCLE ACCORDING TO
$EçNITION 4HE AVERAGE CODE WORD LENGTH 6 # 0 OF $EçNITION IS USED AS THE
INDEPENDENT VARIABLE
6ARIABLE
LENGTH DECODERS
0ROPERTY 4REE
SEARCH SPEED 4HE ORIGINAL TREE
SEARCH ALGORITHM WILL ON AVER
AGE DECODE ONE SOURCE SYMBOL PER 6 # 0 BIT MATCHINGS AGAINST THE BRANCHES IN THE CODE
TREE (ENCE THE DECODING SPEED IS
h 32 3 0 #
6 # 0
0ROPERTY ,OOK
UP TABLE SPEED !S MENTIONED IN 3ECTION THE LOOK
UP TA
BLE DECODER IN !LGORITHM WILL DECODE ONE SOURCE SYMBOL PER ITERATION (ENCE THE
DECODING SPEED IS
h 3 0 #
+3
0ROPERTY %XTENDED LOOK
UP TABLE SPEED 4HE DECODING SPEED OF !LGORITHM
IS BOUNDED BY t u
K
K
L@W vh 3 0 # v
CDOSG CDOSG
$+3
6 # 0 6 # 0
0ROOF ,ET US START WITH THE UPPER BOUND &IRST ASSUME THAT L IS THE NUMBER OF SYMBOLS
IN THE SEQUENCE AND THAT M IS THE NUMBER OF BITS IN THE CODE SEQUENCE ! WHEN USING
THE CODE # ON 4HE MOST FAVOURABLE SITUATION WOULD BE IF THE DECODER ACTUALLY DECODED
K
CDOSG BITS EVERY STEP OF THE ALGORITHM )F THE DECODER HAD TO USE J STEPS TO DECODE ! INTO
THE TOTAL NUMBER OF DECODED BITS WOULD BE JK 4HE OBSERVED AVERAGE CODE WORD
CDOSG
BOUND
L L K
h 3 0 # v L
CDOSG
J MK
$ +3
6 # 0
CDOSG
)F WE CONSIDER THE LOWER BOUND IT IS QUITE OBVIOUS THAT THE EXTENDED LOOK
UP TABLE
DECODER WILL DECODE AT LEAST ONE SYMBOL PER ITERATION (OWEVER IT IS NOT A VERY APPEALING
LOWER BOUND 4HEREFORE CONSIDER A SITUATION WHERE TWO CONSECUTIVE ALGORITHM STEPS ARE
STUDIED )F THE DECODER MANAGES TO DECODE J BITS DURING THE çRST ALGORITHM STEP THE NEXT
K
CDOSG `J BITS IN THE SEQUENCE MUST BELONG TO ONE AND ONLY ONE CODE WORD OF LENGTH GREATER
OR EQUAL TO K
CDOSG ` J
HENCE IN THE NEXT STEP OF THE ALGORITHM AT LEAST K `J
CDOSG
BITS WILL BE DECODED &ROM THIS SITUATION WE CAN CONCLUDE THAT EVERY TWO STEPS OF THE
ALGORITHM AT LEAST KCDOSG
BITS WILL BE DECODED 5SING THE SAME TYPE OF ARGUMENTATION
AS IN EXPRESSION WE ARRIVE IN
K
h 3 0 # w L
CDOSG
$ +3
6 # 0
%XPRESSION IN COMBINATION WITH THE ÚAT LEAST ONE SYMBOL PER ITERATIONÚ STATEMENT
PRODUCES t u
K
h 3 0 # w L@W
CDOSG
$+3
6 # 0
"Y COMBINING THE TWO EXPRESSIONS AND THE PROOF IS COMPLETED
4HEOREM 5SING THE THREE DECODING ALGORITHMS TREE
SEARCH LOOK
UP TABLE AND EX
TENDED LOOK
UP TABLE ON THE SAME SYMBOL SOURCE WITH THE SAME VARIABLE
LENGTH CODE THE
FOLLOWING RELATION WILL HOLD FOR THE SPEED OF THE ALGORITHMS
0ROOF &OR EVERY VARIABLE
LENGTH CODE # THE AVERAGE CODE WORD LENGTH WILL BE GREATER
OR EQUAL TO ONE BIT PER SYMBOL IE 6 # 0 w 4HIS IS DUE TO THE FACT THAT EVERY CODE
WORD MUST HAVE A LENGTH OF AT LEAST ONE BIT 5SING THIS WE GET THE FOLLOWING BOUNDS ON
h 3 0 #
32
h 32 3 0 # v
4HIS IMPLIES h 3 0 # v h 3 0 # 5SING THE EXPRESSIONS AND THE
32 +3
3INCE ONLY UPPER AND LOWER BOUNDS ARE DERIVED ON h A SIMPLE EXPERIMENTAL EVALU
$ +3
ATION OF THE SPEED IS PRESENTED IN &IGURE ALONG WITH THE THEORETICAL SPEED PROPERTIES
4HE EXPERIMENTAL DATA WAS CREATED USING A UNIFORMLY DISTRIBUTED STOCHASTIC VARIABLE
t < AND A MAPPING
x y
E
t t
@t
WHERE OBSERVATIONS OF E t :< WERE USED AS THE INPUT SEQUENCE TO THE
ALGORITHM 4HE PARAMETER @ IN EXPRESSION WAS SET TO DIdERENT VALUES TO CHANGE THE
SHAPE OF THE DISTRIBUTION OF E
t IE TO CHANGE THE ENTROPY )T CAN BE SHOWN THAT
t u
` W
/Q W ` v W v
@t
@W @
WHERE M IS AN INTEGER 4HIS WILL IMPLY THAT THE PROBABILITY OF THE SMALLEST E
r VALUE ON
s t WILL
INCREASE WITH @ AND THE REST OF THE PROBABILITIES ARE SCALED TO MAKE /Q E t v
4HE REASON FOR CHOOSING THE ABOVE DESCRIBED METHOD FOR CREATING TEST DATA IS A MATTER
OF A SIMPLE REALIZATION IN THE # PROGRAMMING LANGUAGE
)N &IGURE WE HAVE PLOTTED THE THEORETICAL VALUES AND THE RESULT FROM THE EXPERI
MANTAL EVALUATION !T LEAST FOR THIS EXPERIMENT THE EXPERIMENTAL VALUES ARE NOT TOO FAR
FROM THE UPPER BOUND ON h $+3
6ARIABLE
LENGTH DECODERS
16
Tree-search
12
Extended look-up table (upper and lower bound)
+ Extended look-up table (experimental)
10
+
6 +
+
4
+
2 +
+
+
0
0 1 2 3 4 5 6 7 8
Average code word length, W [bit/symbol]
&IGURE $ECODING SPEED USING A SOURCE WITH - SYMBOLS AND K CDOSG
,EMMA 4HE SMALLEST MEMORY SPACE REQUIRED TO STORE ONE SYMBOL FROM A SET -
FL J H * ` G OF SIZE * SYMBOLS IS
H
0ROOF (AVING A MEMORY OF SIZE M BITS ONE CAN REPRESENT ONE OUT OF DIdERENT SYMBOLS M
4O BE ABLE TO STORE ONE OUT OF * SYMBOLS ONE HAS TO CHOOSE w * 3INCE M IS AN INTEGER M
WE WILL HAVE TO PICK THE SMALLEST INTEGER M SATISFYING THE INEQUALITY IE M DKNF *E
THUS PROVING ,EMMA
&OR BOTH DECODING ALGORITHMS THE LOOK
UP TABLE DECODER AND THE EXTENDED LOOK
UP
TABLE DECODER THE MEMORY SPACE REQUIRED FOR THE DECODE ARRAY IE THE LOOK
UP TABLE
WILL BE EXPONENTIALLY GROWING WITH THE DEPTH OF THE COMPLETED TREE
)N THE LOOK
UP TABLE ALGORITHM IE !LGORITHM A TABLE WITH L@W ENTRIES IS USED K
EACH ENTRY CONTAINING ONE SYMBOL FROM THE SET OF SOURCE SYMBOLS !PART FROM THE LOOK
UP
TABLE A TABLE WITH CODE WORD LENGTHS IS NEEDED SEE 2EMARK WITH A NUMBER OF ENTRIES
CORRESPONDING TO THE NUMBER OF CODE WORDS IE THE NUMBER OF SOURCE SYMBOLS
6ARIABLE
LENGTH DECODERS
4HE RESULT OF THE ABOVE DISCUSSION WILL IMPLY THE FOLLOWING PROPERTIES BASED ON ,EMMA
0ROPERTY ,OOK
UP TABLE MEMORY !SSUME A SET 3 OF - SOURCE SYMBOLS AND
A MAXIMAL CODE WORD LENGTH OF KL@W BITS 4HE TOTAL MEMORY SPACE REQUIRED FOR THE LOOK
UP
TABLE AND THE TABLE OF CODE WORD LENGTHS IS :BIT<
i L@W LDL3
- LDLFH J H KL@W G
K
+3
\ [Z ] \ [Z ]
LOOK
UP TABLE CODE WORD LENGTH TABLE
L@W DKNF -E
- DKNF KL@W E
K
)N THE EXTENDED LOOK UP TABLE ALGORITHM TWO ARRAYS ARE USED CDBNCD :a< AND KDMFSG :a< $
WITH KCDOSG
ENTRIES EACH
4HE DECODED SEQUENCE # CAN CONTAIN AT MOST K SYMBOLS WILL HAPPEN IF ONE OF THE
CDOSG
CODE WORDS HAS A LENGTH OF ONE BIT THEREFORE THE çXED LENGTH SYMBOL SEQUENCE # B MUST
BE OF LENGTH K TO BE ABLE TO STORE AN ARBITRARY CODE
CDOSG
0ROPERTY %XTENDED LOOK
UP TABLE MEMORY !SSUME A SET OF SOURCE SYMBOLS
3 FR J H - ` G AND A CHOSEN DEPTH K
H OF THE RECURSIVELY EXTENDED TREE 4HE
CDOSG
çXED
LENGTH SEQUENCE NUMBER OF VALID SYMBOLS KDMFSG #
KCDOSG
K CDOSG DKNF - E
DKNF KCDOSG E
)N &IGURE THE EXPRESSIONS AND ARE PLOTTED AS A FUNCTIONS OF THE DEPTH
OF THE COMPLETED TREE .OTE THAT THE MEMORY SIZE IS GIVEN IN BYTES IE IN BLOCKS OF
BITS
#ONCLUSIONS
)N THIS REPORT IT IS SHOWN THAT IT IS POSSIBLE TO ACHIEVE A CONSIDERABLE SPEED
UP IN THE
VARIABLE
LENGTH DECODING PROCEDURE COMPARED TO THE TREE
SEARCH ALGORITHM BY LOOKING
AT BLOCKS OF RECEIVED BITS AND UTILIZING A LOOK
UP TABLE FOR DECODING
4HE LOOK
UP TABLE DECODER !LGORITHM WILL DECODE ONE SOURCE SYMBOL PER ALGO
RITHM CYCLE AND THE EXTENDED LOOK
UP TABLE DECODER !LGORITHM WILL DECODE ONE OR
MORE SOURCE SYMBOLS PER ALGORITHM CYCLE (OWEVER THE MEMORY REQUIREMENTS ARE LARGE
IN BOTH CASES
&OR ANY GIVEN VARIABLE
LENGTH CODE THE SIZE OF THE LOOK
UP TABLE !LGORITHM WILL
BE DETERMINED BY THE MAXIMAL CODE WORD LENGTH ! LARGER TABLE WILL NOT INCREASE THE
DECODING SPEED AND THEREFORE WE HAVE A çXED MEMORY REQUIREMENT IN THIS CASE
4HE SIZE OF THE EXTENDED LOOK
UP TABLE !LGORITHM CAN BE CHOSEN BY INCREASING
THE DEPTH OF THE COMPLETED CODE TREE ! LARGER EXTENDED LOOK
UP TABLE WILL IMPLY A HIGHER
6ARIABLE
LENGTH DECODERS
109
108
6
409
N=
105
104
14 16 18 20 22 24
Completed tree depth (l max resp. l depth)
DECODING SPEED 4HEREFORE IT IS BENEçCIAL THAT THE DEPTH OF THE COMPLETED TREE BE AS LARGE
AS POSSIBLE ON CONDITION THAT THERE IS ENOUGH MEMORY AVAILABLE TO STORE THE TABLE
/N ONE HAND THE MEMORY REQUIREMENTS OF THE LOOK
UP TABLE DECODERS ARE LARGE BUT
ON THE OTHER HAND THE COST PER BIT OF MEMORY HAS SHOWN A RAPIDLY DECREASING TREND DURING
THE LAST FEW DECADES )F THE MAXIMAL CODE WORD LENGTH OF AN OPTIMAL VARIABLE
LENGTH CODE
MAKE THE LOOK
UP TABLE SIZE EXCEED THE FEASIBLE ADDRESS SPACE DUE TO HARDWARE LIMITATIONS
OR MEMORY COSTS THERE ARE SEVERAL METHODS FOR SHORTENING THE MAXIMAL CODE WORD LENGTH
IE DESIGNING OPTIMAL VARIABLE LENGTH CODES WITH A RESTRICTED MAXIMAL CODE WORD LENGTH
SEE FOR INSTANCE ; =
%XAMPLE %NCODING #ONSIDER THE VARIABLE LENGTH CODE REPRESENTED AS A BINARY TREE
IN çGURE &ROM THIS TREE IT IS RELATIVELY STRAIGHTFORWARD TO CREATE THE ENCODING TABLE
s0
0
1
0
s1
1 s2
0
1 s3
5SING TABLE A SEQUENCE
R R R R R R R R R R
2EMARK 4HE BINARY SEQUENCE WILL IN THE CONSIDERED IMPLEMENTATION BE STORED IN A
DATA STRUCTURE IN WHICH THE COMPUTER ALLOWS BIT OPERATIONS AND USUALLY HOLDS BITS 4HIS
WILL IMPLY THAT THE LAST BIT SEGMENT OF ! MAY NOT BE ENTIRELY çLLED WITH RELEVANT DATA
)N ORDER TO KNOW WHEN TO STOP DECODING THE NUMBER OF SYMBOLS WILL BE STORED TOO
%XAMPLE ,OOK
UP TABLE DECODING &IRST APPLY !LGORITHM ON THE VARIABLE
LENGTH
CODE IN ORDER TO CONSTRUCT THE LOOK
UP TABLE 4HE LOOK
UP TABLE CONSTRUCTION IS EQUIVALENT
TO COMPLETING THE BINARY TREE IN &IGURE THUS OBTAINING THE TREE IN &IGURE 4HIS
0 s0
0 1
s0
0 1
0 s0
1
s0
0 s1
1
0 1
s1
1
0 s2
1
s3
Depth
WILL PROVIDE THE DECODE ARRAY IN 4ABLE WHICH IS USED TO DECODE THE BINARY SEQUENCE !
GIVEN IN %XAMPLE 4HE DECODING IS DESCRIBED BY THE FOLLOWING NINE
STEP EXECUTION WHERE
A SLIDING WINDOW OF SIZE KL@W BITS IS USED
6ARIABLE
LENGTH DECODERS
)NDEX 3YMBOL
R
R
R
R
R
R
R
R
%XAMPLE %XTENDED LOOK
UP TABLE DECODING .OW APPLY !LGORITHM ON THE
LOOK
UP TABLE FROM %XAMPLE IN ORDER TO CONSTRUCT THE EXTENDED LOOK
UP TABLE )N THIS
EXAMPLE IT HAS BEEN CHOSEN TO SET K KL@W BUT IT CAN BE SET TO ANY VALUE K
CDOSG CDOSG w
KL@W 4HE DECODE ARRAY CONSTRUCTION IS EQUIVALENT TO COMPLETING THE BINARY TREE IN &IGURE
BY IT SELF IN A RECURSIVE MANNER THUS OBTAINING THE TREE IN &IGURE 4HIS
0 s0 s0 s0
0 1
s0 s0
0 1
0 s0 s1
1
s0
0 s1 s0
1
0 1
s1
1
0 s2
1
s3
Depth
PROCEDURE PROVIDES THE EXTENDED DECODE ARRAY IN 4ABLE WHICH IS USED TO DECODE THE
6ARIABLE
LENGTH DECODERS
)NDEX 3YMBOL
R R R
R R
R R
R
R R
R
R
R
BINARY SEQUENCE ! GIVEN IN %XAMPLE 4HE DECODING IS DESCRIBED BY THE FOLLOWING SIX
STEP
EXECUTION WHERE A SLIDING WINDOW OF SIZE K BITS IS USED
CDOSG
" ! 0# IMPLEMENTATION
4HIS APPENDIX DESCRIBES A 0# IMPLEMENTATION OF THE LOOK
UP TABLE DECODER AND THE
EXTENDED LOOK
UP TABLE DECODER 4HE FOLLOWING EQUIPMENT WAS USED
q )"-0# CLONE I-(Z -" 2!-
q 7ATCOM # COMPILER 2ATIONAL 3YSTEMS $/3 EXTENDER
4HE EXECUTION SPEED OF THIS IMPLEMENTATION WILL NOT BE PROPORTIONAL TO THE EXECU
TION TIME EXPECTED BY A DEDICATED HARDWARE SINCE DYNAMIC MEMORY ALLOCATION HAS BEEN
USED AND THE STANDARD SHIFT OPERATIONS OF THE I PROCESSOR DOES NOT PROVIDE THE SAME
SPEED AS A DEDICATED BARREL
SHIFTER (OWEVER THIS INFORMATION IS INCLUDED TO GIVE AN EX
EMPLIçCATION OF THE DECODING SPEED OBTAINED ON A 0# 4HE DECODING TABLE CONSTRUCTION
ALGORITHMS ARE NOT INCLUDED IN THIS DESCRIPTION
)N THE PROGRAM THE BINARY SEQUENCE TO DECODE IS LOCATED IN THE 2!- MEMORY WHERE
THE BUdER SIZE CAN BE CHOSEN ARBITRARY AS LONG AS THE COMPUTER HAVE SUbCIENT AMOUNT
OF 2!- )F THE SEQUENCE DOES NOT çT IN THE 2!- DISK OPERATIONS ARE INCLUDED THAT WILL
AUTOMATICALLY çLL THE BUdER WITH NEW DATA WHEN IT IS EMPTY
"OTH IMPLEMENTATIONS ARE BASED ON THE FOLLOWING TWO FUNCTIONS
TMRHFMDC KNNJ M AHSRHMS M
UNHC CQNO M AHSRHMS M
6ARIABLE
LENGTH DECODERS
WHERE THE LOOK?N?BITS FUNCTION RETURNS THE VALUE OF THE çRST N BITS IN THE SEQUENCE
AND THE DROP?N?BITS FUNCTION DROPS THE çRST N BITS OF THE SEQUENCE
1.5 +
1 +
+ + + + + +
+
0.5
0
0 1 2 3 4 5 6 7 8
Average code word length, W [bit/symbol]
# .OTATIONS
;= / %DFORS - 3ANDELL *
* VAN DE "EEK $ ,ANDSTR¶M AND & 3J¶BERG !N INTRO
DUCTION TO ORTHOGONAL FREQUENCY
DIVISION MULTIPLEXING 2ESEARCH 2EPORT 45,%!
$IV OF 3IGNAL 0ROCESSING ,ULE¥ 5NIVERSITY OF 4ECHNOLOGY 3EPT
;= / %DFORS - 3ANDELL *
* VAN DE "EEK 3 + 7ILSON AND 0 / "¶RJESSON
!NALYSIS OF $&4
BASED CHANNEL ESTIMATORS FOR /&$- 2ESEARCH 2EPORT 45,%!
$IV OF 3IGNAL 0ROCESSING ,ULE¥ 5NIVERSITY OF 4ECHNOLOGY 3EPT
;= / %DFORS - 3ANDELL *
* VAN DE "EEK 3 + 7ILSON AND 0 / "¶RJESSON /&$-
CHANNEL ESTIMATION BY SINGULAR VALUE DECOMPOSITION 2ESEARCH 2EPORT 45,%!
$IV OF 3IGNAL 0ROCESSING ,ULE¥ 5NIVERSITY OF 4ECHNOLOGY 3EPT
;= - 3ANDELL AND / %DFORS ! COMPARATIVE STUDY OF PILOT
BASED CHANNEL ESTIMATORS
FOR WIRELESS /&$- 2ESEARCH 2EPORT 45,%! $IV OF 3IGNAL 0ROCESSING
,ULE¥ 5NIVERSITY OF 4ECHNOLOGY 3EPT
;= . 3UNDSTR¶M / %DFORS 0 DLING ( %RIKSSON 0 / "¶RJESSON AND 4 +OSKI
#OMBINED LINEAR
6ITERBI EQUALIZERS Ô ! COMPARATIVE STUDY AND A MINIMAX DESIGN
)N 0ROC )%%% 6EHIC 4ECHNOL #ONF PAGES Ô 3TOCKHOLM 3WEDEN *UNE
;= / %DFORS AND 0 / "¶RJESSON $ESIGN AND ANALYSIS OF ROBUST SOURCE CODES 2ESEARCH
2EPORT 45,%! ,ULE¥ 5NIVERSITY OF 4ECHNOLOGY ,ULE¥
;= / %DFORS ! %RENDI AND 0 / "¶RJESSON ! PERFORMANCE ANALYSIS OF LOOK
UP TABLE
BASED VARIABLE
LENGTH DECODERS 2ESEARCH 2EPORT 45,%! ,ULE¥ 5NIVERSITY
OF 4ECHNOLOGY ,ULE¥
;= *
* VAN DE "EEK / %DFORS - 3ANDELL 3 + 7ILSON AND 0 / "¶RJESSON
/N CHANNEL ESTIMATION IN /&$- SYSTEMS )N 0ROC )%%% 6EHIC 4ECHNOL #ONF
VOLUME PAGES Ô #HICAGO ), *ULY
;= / %DFORS - 3ANDELL *
* VAN DE "EEK 3 + 7ILSON AND 0 / "¶RJESSON /&$-
CHANNEL ESTIMATION BY SINGULAR VALUE DECOMPOSITION )N 0ROC )%%% 6EHIC 4ECHNOL
#ONF PAGES Ô !TLANTA '! !PR
;= / %DFORS - 3ANDELL *
* VAN DE "EEK 3 + 7ILSON AND 0 / "¶RJESSON !N
APPLICATION OF THE SINGULAR VALUE DECOMPOSITION TO /&$- CHANNEL ESTIMATION )N
0ROC 2ADIOVETEN +ONF PAGES Ô ,ULE¥ *UNE
;= / %DFORS 0 / "¶RJESSON AND ! %RENDI !NALYSIS OF A FAST ALGORITHM FOR LOOK
UP
TABLE DECODING )N 0ROC 2ADIOVETEN +ONF PAGES Ô ,UND 3WEDEN !PR
;= 2ADIO BROADCASTING SYSTEMS $IGITAL !UDIO "ROADCASTING $!" TO MOBILE PORTABLE
AND çXED RECEIVERS %43 %43) Ô %UROPEAN 4ELECOMMUNICATIONS 3TANDARDS
)NSTITUTE 6ALBONNE &RANCE &EB
;= $IGITAL BROADCASTING SYSTEMS FOR TELEVISION SOUND AND DATA SERVICES %UROPEAN
4ELECOMMUNICATIONS 3TANDARD PR%43 $RAFT VERSION !PR
;= 4RANSMISSION AND RECEPTION 4ECHNICAL 2EPORT '3- 2ECOMMENDATION VER
SION %43) 6ALBONNE &RANCE -AR
;= 7ORKING DOCUMENT TOWARDS %423-'
SELECTION PROCEDURES FOR THE CHOICE OF
RADIO TRANSMISSION TECHNOLOGIES OF THE UNIVERSAL MOBILE TELECOMMUNICATIONS SYSTEM
5-43 4ECHNICAL 2EPORT $423-'
%43) 6ALBONNE &RANCE
;= - !LARD AND 2 ,ASSALLE 0RINCIPLES OF MODULATION AND CHANNEL CODING FOR DIGITAL
BROADCASTING FOR MOBILE RECEIVERS %"5 2EVIEW Ô 4ECHNICAL Ô !UG
;= * " !NDERSEN AND " , !NDERSEN &IRST
ORDER FREQUENCY SELECTIVE EdECTS ON PHASE
MODULATIONS IN A FADING CHANNEL 4ECHNICAL 2EPORT #/34 4$ %52/Ô
#/34 &IRENZE *AN
;= # 4 "EARE 4HE CHOICE OF THE DESIRED IMPULSE RESPONSE IN COMBINED LINEAR
6ITERBI
ALGORITHM EQUALIZERS )%%% 4RANSACTIONS ON #OMMUNICATION Ô
;= 0 / "¶RJESSON AND / 0AHLM 0REDICTIVE CODING FOR %#' DATA COMPRESSION
4ECHNICAL 2EPORT 42
4ELECOMMUNICATION 4HEORY 5NIVERSITY OF ,UND -AY
;= % & #ASAS AND # ,EUNG /&$- FOR DATA COMMUNICATION OVER MOBILE RADIO
&- CHANNELS Ô 0ART ) !NALYSIS AND EXPERIMANTAL RESULTS )%%% 4RANS #OMMUN
Ô -AY
;= % & #ASAS AND # ,EUNG /&$- FOR DATA COMMUNICATION OVER MOBILE RADIO &-
CHANNELS Ô 0ART )) 0ERFORMANCE IMPROVEMENT )%%% 4RANS #OMMUN Ô
!PR
;= * #AVERS AND 0 (O !NALYSIS OF THE ERROR PERFORMANCE OF TRELLIS
CODED MODULATION
IN 2AYLEIGH
FADING CHANNELS )%%% 4RANS #OMMUN Ô *AN
;= * + #AVERS !N ANALYSIS OF PILOT
SYMBOL ASSISTED MODULATION FOR 2AYLEIGH
FADING
CHANNELS )%%% 4RANS 6EHIC 4ECHNOL Ô .OV
;= 2 7 #HANG 3YNTHESIS OF BAND
LIMITED ORTHOGONAL SIGNALS FOR MULTICHANNEL DATA
TRANSMISSION "ELL 3YSTEM 4ECH * Ô $EC
;= , * #IMINI !NALYSIS AND SIMULATION OF A DIGITAL MOBILE CHANNEL USING ORTHOGONAL
FREQUENCY
DIVISION MULTIPLEXING )%%% 4RANS #OMMUN #/-
Ô *ULY
;= & #LASSEN AND ( -EYR &REQUENCY SYNCHRONIZATION ALGORITHMS FOR /&$- SYSTEMS
SUITABLE FOR COMMUNICATION OVER FREQUENCY
SELECTIVE FADING CHANNELS )N 0ROC )%%%
6EHIC 4ECHNOL #ONF VOLUME PAGES Ô 3TOCKHOLM 3WEDEN *UNE
;= , #OHEN 4IME FREQUENCY ANALYSIS 0RENTICE (ALL .EW *ERSEY
;= * 7 #OOK 7IDEBAND IMPULSIVE NOISE SURVEY OF THE ACCESS NETWORK "4 4ECHNOL
*OURN Ô *ULY
;= 4 DE #OUASNON 2 -ONNIER AND * " 2AULT /&$- FOR DIGITAL 46 BROADCASTING
3IGNAL 0ROC Ô Ô 3EPT
;= 3 . #ROZIER AND $ $ &ALCONER 2EDUCED COMPLEXITY SHORT
BLOCK DATA DETECTION
TECHNIQUES FOR FADING TIME
DISPERSIVE CHANNELS )%%% 4RANSACTIONS ON 6EHICULAR
4ECHNOLOGY Ô !UG
;= & $AdARA AND / !DAMI ! NEW FREQUENCY DETECTOR FOR ORTHOGONAL MULTICARRIER
TRANSMISSION TECHNIQUES )N 0ROC )%%% 6EHIC 4ECHNOL #ONF VOLUME PAGES
Ô #HICAGO ), *ULY
;= & $AdARA AND ! #HOULY -AXIMUM
LIKELIHOOD FREQUENCY DETECTORS FOR ORTHOGONAL
MULTICARRIER SYSTEMS )N 0ROC )NTERN #ONF #OMMUN PAGES Ô 'ENEVA
3WITZERLAND -AY
;= 2 $INIS 0 -ONTEZUMA AND ! 'USM£O 0ERFORMANCE TRADE
OdS WITH QUASI
LINEARLY AMPLIçED /&$- THROUGH A TWO
BRANCH COMBINING TECHNIQUE )N 0ROC
)%%% 6EHIC 4ECHNOL #ONF VOLUME PAGES Ô !TLANTA '! !PR
;= $ $IVSALAR AND - + 3IMON 4RELLIS
CODED MODULATION FOR
BITSS TRANS
MISSION OVER A FADING MOBILE SATELLITE CHANNEL )%%% * 3ELECT !REAS #OMMUN
3!#
Ô &EB
;= $ $IVSALAR AND - + 3IMON 4HE DESIGN OF TRELLIS
CODED -03+ FOR FADING CHANNELS
0ERFORMANCE CRITERIA )%%% 4RANS #OMMUN Ô 3EPT
;= $ $IVSALAR AND - + 3IMON 4HE DESIGN OF TRELLIS
CODED -03+ FOR FADING CHANNELS
3ET PARTITIONING FOR OPTIMUM CODE DESIGN )%%% 4RANS #OMMUN Ô
3EPT
;= * $U AND " 6UCETIC 4RELLIS
CODED
1!- FOR FADING CHANNELS %UR 4RANS
4ELECOMMUN 2EL 4ECHNOL Ô -AY
;= $ $ &ALCONER AND & 2 -AGEE !DAPTIVE CHANNEL MEMORY TRUNCATION FOR
MAXIMUM LIKELIHOOD SEQUENCE ESTIMATION 4HE "ELL 3YSTEM 4ECHNICAL *OURNAL
Ô .OV
;= . &ALLER !N ADAPTIVE SYSTEM FOR DATA COMPRESSION )N 2ECORD OF THE TH !SILOMAR
#ONFERENCE ON #IRCUITS 3YSTEMS AND #OMPUTERS PAGES Ô .AVAL 0OSTGRAD
UATE 3CHOOL -ONTEREY #ALIFORNIA
;= 0 ( (ALPERN /PTIMUM çNITE DURATION .YQUIST SIGNALS )%%% 4RANS #OMMUN
#/-
Ô *UNE
;= 4 (ASHIMOTO ! LIST
TYPE REDUCED
CONSTRAINT GENERALIZATION OF THE VITERBI ALGO
RITHM )%%% 4RANSACTIONS ON )NFORMATION 4HEORY )4
Ô .OV
;= 0 (O * #AVERS AND * 6ARALDI 4HE EdECTS OF CONSTELLATION DENSITY ON TRELLIS
CODED
MODULATION IN FADING CHANNELS )%%% 4RANS 6EHIC 4ECHNOL Ô !UG
;= 4 # (U AND + # 4AN /PTIMAL COMPUTER SEARCH TREES AND VARIABLE LENGTH
ALPHABETIC CODES 3)!- * !PPL -ATH Ô
;= 4 # (U AND + # 4AN 0ATH LENGTH OF BINARY SEARCH TREES 3)!- * !PPL -ATH
Ô -AR
;= * (UANG AND , , #AMPBELL 4RELLIS
CODED -$03+ IN CORRELATED AND SHADOWED
2ICIAN
FADING CHANNELS )%%% 4RANS #OMMUN Ô .OV
;= 0 (¶HER 4#- ON FREQUENCY
SELECTIVE LAND
MOBILE FADING CHANNELS )N 0ROC 4IR
RENIA )NT 7ORKSHOP $IGITAL #OMMUN 4IRRENIA )TALY 3EPT
;= 0 (¶HER ! STATISTICAL DISCRETE
TIME MODEL FOR THE 73353 MULTIPATH CHANNEL
)%%% 4RANS #OMMUN Ô .OV
;= 7 # *AKES -ICROWAVE -OBILE #OMMUNICATIONS *OHN 7ILEY AND 3ONS .EW 9ORK
;= 3 ( *AMALI AND 4 ,E
.GOC ! NEW
STATE
03+ 4#- SCHEME FOR FAST FADING
SHADOWED MOBILE RADIO CHANNELS )%%% 4RANS 6EHIC 4ECHNOL Ô &EB
;= ! *ONES AND 4 7ILKINSON #OMBINED CODING FOR ERROR CONTROL AND INCREASED RO
BUSTNESS TO SYSTEM NONLINEARITIES IN /&$- )N 0ROC )%%% 6EHIC 4ECHNOL #ONF
VOLUME PAGES Ô !TLANTA '! !PR
;= ! *ONES 4 7ILKINSON AND 3 "ARTON "LOCK CODING SCHEME FOR REDUCTION OF PEAK
TO MEAN ENVELOPE POWER RATIO OF MULTICARRIER TRANSMISSION SCHEMES %LECTRON ,ETT
Ô $EC
;= ' + +ALEH #HANNEL EQUALIZATION FOR BLOCK TRANSMISSION SYSTEMS )%%% *OURNAL
3EL !REAS #OM Ô *AN
;= ) +ALET 4HE MULTITONE CHANNEL )%%% 4RANS #OMMUN Ô &EB
;= ) +ALET AND 3 3HAMAI /N THE CAPACITY OF A TWISTED
WIRE PAIR 'AUSSIAN MODEL
)%%% 4RANS #OMMUN Ô -AR
;= 4 +ELLER ET AL 2EPORT ON DIGITAL AUDIO RADIO LABORATORY TESTS 4ECHNICAL REPORT
%LECTRONIC )NDUSTRIES !SSOCIATION -AY
;= , ' +RAFT ! DEVICE FOR QUANTIZING GROUPING AND CODING AMPLITUDE MODULATED
PULSES -ASTERS THESIS $EPT OF %% -)4 #AMBRIDGE -ASS
;= ( * ,ANDAU AND ( / 0OLLAK 0ROLATE SPHERIODAL WAVE FUNCTIONS &OURIER ANALYSIS
AND UNCERTAINTY Ô ))) 4HE DIMENSION OF THE SPACE OF ESSENTIALLY TIME
AND BAND
LIMITED SIGNALS "ELL 3YSTEM 4ECH *
;= , , ,ARMORE AND $ 3 (IRSCHBERG ! FAST ALGORITHM FOR OPTIMAL LENGTH
LIMITED
(UdMAN CODES *OURNAL OF THE !#- Ô *ULY
;= 4 ,ARSSON ! 3TATE
3PACE 0ARTITIONING !PPROACH TO 4RELLIS $ECODING 0H$ THESIS
#HALMERS 5NIVERSITY OF 4ECHNOLOGY '¶TEBORG
;= " ,E &LOCH - !LARD AND # "ERROU #ODED ORTHOGONAL FREQUENCY
DIVISION MUL
TIPLEXING 0ROC )%%% Ô *UNE
;= " ,E &LOCH 2 (ALBERT
,ASSALLE AND $ #ASTELAIN $IGITAL SOUND BROADCASTING TO
MOBILE RECEIVERS )%%% 4RANS #ONSUMER %LECTRONICS Ô !UG
;= ( ,I AND * + #AVERS !N ADAPTIVE çLTERING TECHNIQUE FOR PILOT
AIDED TRANSMISSION
SYSTEMS )%%% 4RANS 6EHIC 4ECHNOL Ô !UG
;= 4 0OLLET 0 3PRUYT AND - -OENECLAEY 4HE "%2 PERFORMANCE OF /&$- SYSTEMS
USING NON
SYNCHRONIZED SAMPLING )N 0ROC 'LOBECOM VOLUME PAGES Ô 3AN
&RANCISCO #! .OV
;= 4 0OLLET - VAN "LADEL AND - -OENECLAEY "%2 SENSITIVITY OF /&$- SYS
TEMS TO CARRIER FREQUENCY OdSET AND 7IENER PHASE NOISE )%%% 4RANS #OMMUN
Ô &EB-AR!PR
;= 3 1URESHI AND % .EWHALL !N ADAPTIVE RECEIVER FOR DATA TRANSMISSION OVER TIME
DISPERSIVE CHANNELS )%%% 4RANSACTIONS ON )NFORMATION 4HEORY )4
Ô
*ULY
;= * 2INNE AND - 2ENFORS 4HE BEHAVIOUR OF ORTHOGONAL FREQUENCY
DIVISION MULTI
PLEXING IN AN AMPLITUDE LIMITING CHANNEL )N 0ROC )%%% 6EHIC 4ECHNOL #ONF
VOLUME PAGES Ô .EW /RLEANS ,! -AY
;= - 2USSELL AND ' 3T¼BER )NTERCHANNEL INTERFERENCE ANALYSIS OF /&$- IN A MOBILE
ENVIRONMENT )N 0ROC )%%% 6EHIC 4ECHNOL #ONF VOLUME PAGES Ô
#HICAGO ), *ULY
;= - 3ABLATASH 4RANSMISSION OF ALL
DIGITAL ADVANCED TELEVISION 3TATE OF THE ART AND
FUTURE DIRECTIONS )%%% 4RANS "ROADC Ô *UNE
;= - 3ANDELL *
* VAN DE "EEK AND 0 / "¶RJESSON 4IMING AND FREQUENCY SYNCHRO
NIZATION IN /&$- SYSTEMS USING THE CYCLIC PREçX )N )NTERN 3YMP 3YNCH PAGES
Ô %SSEN 'ERMANY $EC
;= ' 3ANTELLA /&$- WITH GUARD INTERVAL AND SUBCHANNEL EQUALIZATION IN A
RESOLUTION TRANSMISSION SCHEME FOR DIGITAL TELEVISION BROADCASTING )N 0ROC )NTERN
#ONF #OMMUN VOLUME PAGES Ô .EW /RLEANS ,! -AY
;= ( 3ARI ' +ARAM AND ) *EANCLAUDE 4RANSMISSION TECHNIQUES FOR DIGITAL TERRISTRIAL
46 BROADCASTING )%%% #OMMUN -AG Ô &EB
;= , , 3CHARF 3TATISTICAL SIGNAL PROCESSING $ETECTION ESTIMATION AND TIME SERIES
ANALYSIS !DDISON
7ESLEY
;= # 3CHLEGEL 4RELLIS
CODED MODULATION ON TIME
SELECTIVE FADING CHANNELS )%%%
4RANS #OMMUN Ô
;= # 3CHLEGEL AND $ * #OSTELLO "ANDWIDTH EbCIENT CODING FOR FADING CHANNELS
#ODE CONSTRUCTION AND PERFORMANCE ANALYSIS )%%% * 3ELECT !REAS #OMMUN
Ô $EC
;= 7 & 3CHREIBER !DVANCED TELEVISION SYSTEMS FOR TERRISTRIAL BROADCASTING 3OME
PROBLEMS AND SOME PROPOSED SOLUTIONS 0ROC )%%% Ô *UNE
;= ! 3IEMINSKI &AST DECODING OF THE (UdMAN CODES )NFORMATION 0ROCESSING ,ETTERS
Ô *AN
;= - + 3IMON AND $ $IVSALAR 4HE PERFORMANCE OF TRELLIS
CODED MULTILEVEL $03+
ON A FADING MOBILE SATELLITE CHANNEL )%%% 4RANS 6EHIC 4ECHNOL Ô
-AY
;= 3 " 3LIMANE AND 4 ,E
.GOC 4IGHT BOUNDS ON THE ERROR PROBABILITY OF CODED
MODULATION SCHEMES IN 2AYLEIGH
FADING CHANNELS )%%% 4RANS 6EHIC 4ECHNOL
Ô &EB
;= ' 3TRANG ,INEAR !LGEBRA AND )TS !PPLICATIONS !CADEMIC 0RESS /RLANDO &LORIDA
EDITION
;= ' , 3T¼BER AND - 2USSELL 4ERRESTRIAL DIGITAL VIDEO BROADCASTING FOR MOBILE
RECEPTION USING /&$- )N 0ROC 'LOBECOM VOLUME PAGES Ô 3INGAPORE
.OV
;= ( 4ANAKA $ATA STRUCTURE OF HUdMAN CODES AND ITS APPLICATION TO EbCIENT ENCODING
AND DECODING )%%% 4RANS )NFORM 4HEORY )4
Ô *AN
;= 0 * 4OURTIER 2 -ONNIER AND 0 ,OPEZ -ULTICARRIER MODEM FOR DIGITAL ($46
TERRESTRIAL BROADCASTING 3IGNAL 0ROC )MAGE #OMMUN Ô Ô $EC
;= * # 4U 4HEORY DESIGN AND APPLICATION OF MULTI
CHANNEL MODULATION FOR DIGITAL
COMMUNICATIONS 0H$ THESIS 3TANFORD 5NIVERSITY #! *UNE
;= ! 6AHLIN AND . (OLTE /PTIMAL çNITE DURATION PULSES FOR /&$- )%%% 4RANS
#OMMUN Ô *AN
;= ) 6AJDA %STIMATION AND CODING OF INFORMATION SOURCES 0ROBLEMS OF #ONTROL AND
)NFORMATION 4HEORY Ô
;= - 6ETTERLI AND * +OVACEVIC 7AVELETS AND SUBBAND CODING 0RENTICE (ALL %NGLE
WOOD #LIdS .*
;= % 6ITERBO AND + &AZEL (OW TO COMBAT LONG ECHOES IN /&$- TRANSMISSION
SCHEMES 3UB
CHANNEL EQUALIZATION OR MORE POWERFUL CHANNEL CODING )N 0ROC
'LOBECOM VOLUME PAGES Ô 3INGAPORE .OV
;= $ # VAN 6OORHIS #ONSTRUCTING CODES WITH BOUNDED CODE WORD LENGTHS )%%%
4RANS )NFORM 4HEORY )4
Ô -AR
;= " 6UCETIC AND * $U 4HE EdECTS OF PHASE NOISE ON TRELLIS
CODED MODULATION OVER
'AUSSIAN AND FADING CHANNELS )%%% 4RANS #OMMUN Ô
;= 7 $ 7ARNER AND # ,EUNG /&$-&- FRAME SYNCHRONIZATION FOR MOBILE RADIO
DATA COMMUNICATION )%%% 4RANS 6EHIC 4ECHNOL Ô !UG
;= , 7EI AND # 3CHLEGEL 3YNCHRONIZATION REQUIREMENTS FOR MULTI
USER /&$- ON
SATELLITE MOBILE AND TWO
PATH 2AYLEIGH
FADING CHANNELS )%%% 4RANS #OMMUN
Ô &EB-AR!PR
;= 3 " 7EINSTEIN AND 0 - %BERT $ATA TRANSMISSION BY FREQUENCY
DIVISION MUL
TIPLEXING USING THE DISCRETE &OURIER TRANSFORM )%%% 4RANS #OMMUN #/-
Ô /CT
;= *
* 7ERNER 4HE ($3, ENVIRONMENT )%%% * 3ELECT !REAS #OMMUN 3!#
Ô !UG
;= 3 ' 7ILSON $IGITAL MODULATION AND CODING 0RENTICE
(ALL .EW *ERSEY 53!
;= 3 + 7ILSON $IGITAL AUDIO BROADCASTING IN A FADING AND DISPERSIVE CHANNEL 0H$
THESIS 3TANFORD 5NIVERSITY #! !UG
;= 3 + 7ILSON 2 % +HAYATA AND * - #IOb
1!- MODULATION WITH ORTHOGONAL
FREQUENCY
DIVISION MULTIPLEXING IN A 2AYLEIGH
FADING ENVIRONMENT )N 0ROC )%%%
6EHIC 4ECHNOL #ONF VOLUME PAGES Ô 3TOCKHOLM 3WEDEN *UNE
;= 9 7U AND " #ARON $IGITAL TELEVISION TERRESTRIAL BROADCASTING )%%% #OMMUN
-AG Ô -AY
;= & 8IONG ! :ERIK AND % 3HWEDYK 3EQUENTIAL SEQUENCE ESTIMATION FOR CHANNELS
WITH INTERSYMBOL INTERFERENCE OF çNITE OR INçNITE LENGTH )%%% 4RANSACTIONS ON
#OMMUNICATIONS Ô
;= ' 9OUNG + 4 &OSTER AND * 7 #OOK "ROADBAND MULTIMEDIA DELIVERY OVER
COPPER "4 4ECHNOL *OURN Ô /CT
;= % :EHAVI AND * + 7OLF /N THE PERFORMANCE EVALUATION OF TRELLIS CODES )%%%
4RANS )NFORM 4HEORY )4
Ô -AR
;= 4 . :OGAKIS * 4 * !SLANIS AND * - #IOb !NALYSIS OF A CONCATENATED
CODING SCHEME FOR A DISCRETE MULTITONE MODULATION SYSTEM )N 0ROC )%%% -ILITARY
#OMMUN #ONF VOLUME PAGES Ô ,ONG "RANCH .* /CT
;= 4 . :OGAKIS 0 3 #HOW * 4 !SLANIS AND * - #IOb )MPULSE NOISE MITIGATION
STRATEGIES FOR MULTICARRIER MODULATION )N 0ROC )NTERN #ONF #OMMUN PAGES
Ô 'ENEVA -AY
;= 4 . :OGAKIS AND * - #IOb 4HE EdECTS OF TIMING JITTER ON THE PERFORMANCE OF
A DISCRETE MULTITONE SYSTEM )%%% 4RANS #OMMUN Ô *ULY
;= 7 9 :OU AND 9 7U #/&$- !N OVERVIEW )%%% 4RANS "ROADC Ô
-AR
;= 0 DLING ,OW #OMPLEXITY $IGITAL 2ECEIVERS ,ICENTIATE THESIS ,ULE¥ 5NIVERSITY OF
4ECHNOLOGY