<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE module PUBLIC "-//CNX//DTD CNXML 0.3 plus MathML//EN" "http://cnx.rice.edu/cnxml/0.3/DTD/cnxml_mathml.dtd">
<module xmlns="http://cnx.rice.edu/cnxml/0.3" xmlns:m="http://www.w3.org/1998/Math/MathML" id="m0073" levelmask="0" created="2000-07-31" revised="2001-06-05" version="2.3"> 

  <name xmlns:m="http://www.w3.org/1998/Math/MathML">Noisy Channel Theorems</name>
  
  
  <authorlist xmlns:m="http://www.w3.org/1998/Math/MathML"> 
    <author xmlns:m="http://www.w3.org/1998/Math/MathML" id="dhj">
      <honorific xmlns:m="http://www.w3.org/1998/Math/MathML">Dr.</honorific> 
      <firstname xmlns:m="http://www.w3.org/1998/Math/MathML">Don</firstname>
      <surname xmlns:m="http://www.w3.org/1998/Math/MathML">Johnson</surname>
      <email xmlns:m="http://www.w3.org/1998/Math/MathML">dhj@rice.edu</email> 
    </author>
  </authorlist> 
  
  <maintainerlist xmlns:m="http://www.w3.org/1998/Math/MathML">
    <maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" id="dhj">
      <honorific xmlns:m="http://www.w3.org/1998/Math/MathML">Dr.</honorific> 
      <firstname xmlns:m="http://www.w3.org/1998/Math/MathML">Don</firstname>
      <surname xmlns:m="http://www.w3.org/1998/Math/MathML">Johnson</surname>
      <email xmlns:m="http://www.w3.org/1998/Math/MathML">dhj@rice.edu</email>
    </maintainer>
    <maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" id="seejaie">
      <firstname xmlns:m="http://www.w3.org/1998/Math/MathML">C.J.</firstname>
      <surname xmlns:m="http://www.w3.org/1998/Math/MathML">Ganier</surname>
      <email xmlns:m="http://www.w3.org/1998/Math/MathML">seejaie@rice.edu</email>
    </maintainer>
    <maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" id="jac3">
      <firstname xmlns:m="http://www.w3.org/1998/Math/MathML">John</firstname>
      <othername xmlns:m="http://www.w3.org/1998/Math/MathML">Austin</othername>
      <surname xmlns:m="http://www.w3.org/1998/Math/MathML">Cottrell</surname>
      <lineage xmlns:m="http://www.w3.org/1998/Math/MathML">III</lineage>
      <email xmlns:m="http://www.w3.org/1998/Math/MathML">jac3@rice.edu</email>
    </maintainer>
  </maintainerlist>
  
  <keywordlist xmlns:m="http://www.w3.org/1998/Math/MathML">
    <keyword xmlns:m="http://www.w3.org/1998/Math/MathML">Shannon</keyword>
    <keyword xmlns:m="http://www.w3.org/1998/Math/MathML">noise</keyword>
    <keyword xmlns:m="http://www.w3.org/1998/Math/MathML">error</keyword>
    <keyword xmlns:m="http://www.w3.org/1998/Math/MathML">channel</keyword>
    <keyword xmlns:m="http://www.w3.org/1998/Math/MathML">noisy channel coding theorem</keyword>
    <keyword xmlns:m="http://www.w3.org/1998/Math/MathML">efficiency</keyword>
    <keyword xmlns:m="http://www.w3.org/1998/Math/MathML">error correcting code</keyword>
    <keyword xmlns:m="http://www.w3.org/1998/Math/MathML">capacity</keyword>
    <keyword xmlns:m="http://www.w3.org/1998/Math/MathML">digital communication</keyword>
    <keyword xmlns:m="http://www.w3.org/1998/Math/MathML">information communication</keyword>
  </keywordlist>

  <abstract xmlns:m="http://www.w3.org/1998/Math/MathML">Describes the Noisy Channel Coding Theorem.</abstract>
  <objectives xmlns:m="http://www.w3.org/1998/Math/MathML">Describes the Noisy Channel Coding Theorem.</objectives>

   <para xmlns:m="http://www.w3.org/1998/Math/MathML" id="par1"> 
As the block length becomes larger, more error correction will be needed. Do
codes exist that can correct  <emphasis xmlns:m="http://www.w3.org/1998/Math/MathML">all </emphasis>errors? Perhaps the crowning achievement of <link xmlns:m="http://www.w3.org/1998/Math/MathML" src="http://www.lucent.com/minds/infotheory/">Claude Shannon's</link> creation of information theory answers this question.
 His result comes in two complementary forms: the Noisy Channel Coding Theorem and its converse.                                                             
</para>
<section xmlns:m="http://www.w3.org/1998/Math/MathML" id="secnoisychannel">
<name xmlns:m="http://www.w3.org/1998/Math/MathML">Noisy  Channel  Coding  Theorem</name>
<para xmlns:m="http://www.w3.org/1998/Math/MathML" id="par2"> Let   <m:math mode="inline"><m:ci>E</m:ci></m:math> denote
the efficiency of an error-correcting code: the ratio of the number of data bits to the total
number of bits used to represent them. If the efficiency is less than the  
<term xmlns:m="http://www.w3.org/1998/Math/MathML">capacity </term>of the
digital channel, an error-correcting code exists that has the property that as the length of
the code increases, the probability of an error occurring in the decoded block approaches
zero.   <equation xmlns:m="http://www.w3.org/1998/Math/MathML" id="eqnoisychannel"><m:math mode="inline">
<m:apply><m:forall/>
   <m:bvar><m:ci>E</m:ci></m:bvar>
   <m:condition><m:apply><m:lt/>
      <m:ci>E</m:ci><m:ci>C</m:ci>
   </m:apply></m:condition>
   <m:apply><m:eq/>
      <m:apply><m:limit/>
         <m:bvar><m:ci>N</m:ci></m:bvar>
         <m:condition><m:reln>
            <m:tendsto/><m:ci>N</m:ci><m:infinity/>
         </m:reln></m:condition>
         <m:apply><m:ci>Pr</m:ci><m:ci>block error</m:ci></m:apply>
      </m:apply>
      <m:cn>0</m:cn>
   </m:apply>
</m:apply>
</m:math></equation>
</para> 
</section>
<section xmlns:m="http://www.w3.org/1998/Math/MathML" id="secconvnoisy"> 
<name xmlns:m="http://www.w3.org/1998/Math/MathML">Converse to the Noisy Channel Coding Theorem</name>
<para xmlns:m="http://www.w3.org/1998/Math/MathML" id="par3"> If  
<m:math mode="inline">
<m:apply><m:gt/>
   <m:ci>E</m:ci><m:ci>C</m:ci>
</m:apply>
</m:math>, the probability of an error in a decoded block must approach one regardless of the code that might
be chosen.   
<equation xmlns:m="http://www.w3.org/1998/Math/MathML" id="eqconvnoise"><m:math mode="inline">
<m:apply><m:eq/>
   <m:apply><m:limit/>
      <m:bvar><m:ci>N</m:ci></m:bvar>
      <m:condition><m:reln>
         <m:tendsto/><m:ci>N</m:ci><m:infinity/>
      </m:reln></m:condition>
      <m:apply><m:ci>Pr</m:ci><m:ci>block error</m:ci></m:apply>
   </m:apply>
   <m:cn>1</m:cn>
</m:apply>
</m:math></equation>
These results mean that it is possible to transmit digital information over a noisy channel
(one that introduces errors) and receive the information without error  <emphasis xmlns:m="http://www.w3.org/1998/Math/MathML">if  </emphasis>the code is
sufficiently  <emphasis xmlns:m="http://www.w3.org/1998/Math/MathML">inefficient </emphasis>compared to the channel's characteristics. Generally, a channel's capacity changes with the signal-to-noise ratio: As one increases or decreases so does the other. The capacity measures the overall error characteristics of a channel—the smaller the capacity the more frequently errors occur—and an overly efficient error-correcting
code will not build in enough error correction capability to counteract channel
errors.
</para>
<para xmlns:m="http://www.w3.org/1998/Math/MathML" id="par4">
   This result astounded communication engineers when Shannon published it in 1948.
Analog communication always yields a noisy version of the transmitted signal; in digital
communication, error correction can be powerful enough to correct all errors as the block
length increases. The key for this capability to exist is that the code's efficiency be less
than the channel's capacity. For a binary symmetric channel, the capacity is given by  
<equation xmlns:m="http://www.w3.org/1998/Math/MathML" id="eqprerr"><m:math mode="inline">
<m:apply><m:eq/>
   <m:ci>C</m:ci>
   <m:apply><m:plus/>
      <m:cn>1</m:cn>
      <m:apply><m:times/>
         <m:ci><m:msub><m:mi>p</m:mi><m:mi>e</m:mi></m:msub></m:ci>
         <m:apply><m:log/>
             <m:logbase><m:cn>2</m:cn></m:logbase>
             <m:ci><m:msub><m:mi>p</m:mi><m:mi>e</m:mi></m:msub></m:ci>
         </m:apply>
      </m:apply>
      <m:apply><m:times/>
         <m:apply><m:minus/>
            <m:cn>1</m:cn>
            <m:ci><m:msub><m:mi>p</m:mi><m:mi>e</m:mi></m:msub></m:ci>
         </m:apply>
         <m:apply><m:log/>
             <m:logbase><m:cn>2</m:cn></m:logbase>
             <m:apply><m:minus/>
                <m:cn>1</m:cn>
                <m:ci><m:msub><m:mi>p</m:mi><m:mi>e</m:mi></m:msub></m:ci>
             </m:apply>
         </m:apply>
      </m:apply>
   </m:apply>
</m:apply>
<m:mi>bits/transmission</m:mi>
</m:math></equation>
<cnxn xmlns:m="http://www.w3.org/1998/Math/MathML" target="capacity" strength="5"/>
shows how capacity varies with error probability.  For example, our  
<m:math mode="inline">
<m:apply>
   <m:interval closure="open">
      <m:cn>7</m:cn>
      <m:cn>4</m:cn>
   </m:interval>
</m:apply>
</m:math> Hamming code has an efficiency of   <m:math mode="inline">
<m:cn>.57</m:cn></m:math>,
and codes having the same efficiency but longer block sizes can be used
on additive noise channels where the signal-to-noise ratio exceeds  
<m:math mode="inline"><m:cn>0</m:cn><m:mtext>dB</m:mtext></m:math>.</para>
<figure xmlns:m="http://www.w3.org/1998/Math/MathML" id="capacity">
<name xmlns:m="http://www.w3.org/1998/Math/MathML">capacity of a channel</name>
<media xmlns:m="http://www.w3.org/1998/Math/MathML" type="image" src="capacity1.png"/>
<caption xmlns:m="http://www.w3.org/1998/Math/MathML">The  capacity  per  transmission  through  a  binary  symmetric  channel
is plotted as a function of the digital channel's error probability (upper) and as a
function of the signal-to-noise ratio for a BPSK signal set (lower). </caption></figure>
</section>
</module>
