<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE document PUBLIC "-//CNX//DTD CNXML 0.5 plus MathML//EN" "http://cnx.rice.edu/cnxml/0.5/DTD/cnxml_mathml.dtd">
<document xmlns="http://cnx.rice.edu/cnxml" xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="id3212821">
  <name>Optimal Encoding</name>
  <metadata>
  <md:version>1.1</md:version>
  <md:created>2007/07/16 12:20:42.648 GMT-5</md:created>
  <md:revised>2007/09/21 22:59:29.190 GMT-5</md:revised>
  <md:authorlist>
      <md:author id="devore">
      <md:firstname>Ronald</md:firstname>
      <md:othername>A.</md:othername>
      <md:surname>DeVore</md:surname>
      <md:email>devore@math.sc.edu</md:email>
    </md:author>
      <md:author id="shri">
      <md:firstname>Shriram</md:firstname>
      
      <md:surname>Sarvotham</md:surname>
      <md:email>shri@rice.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist>
    <md:maintainer id="Elchin">
      <md:firstname>Elchin</md:firstname>
      
      <md:surname>Asgarov</md:surname>
      <md:email>deoxman@gmail.com</md:email>
    </md:maintainer>
    <md:maintainer id="rswagner">
      <md:firstname>Raymond</md:firstname>
      
      <md:surname>Wagner</md:surname>
      <md:email>rwagner@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="richb">
      <md:firstname>Richard</md:firstname>
      <md:othername>G.</md:othername>
      <md:surname>Baraniuk</md:surname>
      <md:email>richb@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="mdavenport">
      <md:firstname>Mark</md:firstname>
      
      <md:surname>Davenport</md:surname>
      <md:email>md@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="devore">
      <md:firstname>Ronald</md:firstname>
      <md:othername>A.</md:othername>
      <md:surname>DeVore</md:surname>
      <md:email>devore@math.sc.edu</md:email>
    </md:maintainer>
    <md:maintainer id="shri">
      <md:firstname>Shriram</md:firstname>
      
      <md:surname>Sarvotham</md:surname>
      <md:email>shri@rice.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  

  <md:abstract/>
</metadata>
  <content>






<para id="id2247204">We shall consider now the encoding of signals on <m:math><m:mrow><m:mo>[</m:mo><m:mo>-</m:mo><m:mi>T</m:mi><m:mo>,</m:mo><m:mi>T</m:mi><m:mo>]</m:mo></m:mrow></m:math> where <m:math><m:mrow><m:mi>T</m:mi><m:mo>&gt;</m:mo><m:mn>0</m:mn></m:mrow></m:math> is fixed.
Ultimately we shall be interested in encoding classes of bandlimited signals like the class <m:math><m:msub><m:mi>B</m:mi> <m:mi>A</m:mi> </m:msub></m:math>
However, we begin the story by considering the more general setting of encoding
the elements of any given compact subset <m:math><m:mi>K</m:mi></m:math> of a normed linear space <m:math><m:mi>X</m:mi></m:math>. One can determine
the best encoding of <m:math><m:mi>K</m:mi></m:math> by what is known as the Kolmogorov entropy of <m:math><m:mi>K</m:mi></m:math> in <m:math><m:mi>X</m:mi></m:math>.</para>
<para id="id2247308">To begin, let us consider an encoder-decoder pair <m:math><m:mrow><m:mo>(</m:mo><m:mi>E</m:mi><m:mo>,</m:mo><m:mi>D</m:mi><m:mo>)</m:mo></m:mrow></m:math>
<m:math><m:mi>E</m:mi></m:math> maps <m:math><m:mi>K</m:mi></m:math> to a finite stream of bits. 
<m:math><m:mi>D</m:mi></m:math> maps a stream of bits to a signal in <m:math><m:mi>X</m:mi></m:math>.
This is illustrated in <cnxn target="uid7"/>.
Note that many functions can be mapped onto the same bitstream.

<figure id="uid7"><media type="application/postscript" src="figure3.eps">
<media type="image/png" src="figure3.png"/>
</media>
<caption>Illustration of encoding and
decoding.</caption></figure></para>
<para id="id2247386">Define the distortion <m:math><m:mi>d</m:mi></m:math> for this encoder-decoder by
<equation id="uid6"><m:math mode="display"><m:mrow><m:mi>d</m:mi><m:mrow><m:mo>(</m:mo><m:mi>K</m:mi><m:mo>,</m:mo><m:mi>E</m:mi><m:mo>,</m:mo><m:mi>D</m:mi><m:mo>,</m:mo><m:mi>X</m:mi><m:mo>)</m:mo></m:mrow><m:mo>:</m:mo><m:mo>=</m:mo><m:mtext>sup</m:mtext><m:msub><m:mspace width="4.pt"/> <m:mrow><m:mi>f</m:mi><m:mo>∈</m:mo><m:mi>K</m:mi></m:mrow> </m:msub><m:mo>∥</m:mo><m:mi>f</m:mi><m:mo>-</m:mo><m:mi>D</m:mi><m:mrow><m:mo>(</m:mo><m:mi>E</m:mi><m:mi>f</m:mi><m:mo>)</m:mo></m:mrow><m:msub><m:mo>∥</m:mo> <m:mover><m:munder><m:mi>X</m:mi> <m:mo>̲</m:mo></m:munder> <m:mo>¯</m:mo></m:mover> </m:msub><m:mo>.</m:mo></m:mrow></m:math></equation>
Let <m:math><m:mrow><m:mi>n</m:mi><m:mrow><m:mo>(</m:mo><m:mi>K</m:mi><m:mo>,</m:mo><m:mi>E</m:mi><m:mo>)</m:mo></m:mrow><m:mo>=</m:mo><m:mtext>sup</m:mtext><m:msub><m:mspace width="4.pt"/> <m:mrow><m:mi>f</m:mi><m:mo>∈</m:mo><m:mi>K</m:mi></m:mrow> </m:msub><m:mo>#</m:mo><m:mi>E</m:mi><m:mi>f</m:mi></m:mrow></m:math> where
<m:math><m:mrow><m:mo>#</m:mo><m:mi>E</m:mi><m:mi>f</m:mi></m:mrow></m:math> is the number of bits
in the bitstream <m:math><m:mrow><m:mi>E</m:mi><m:mi>f</m:mi></m:mrow></m:math>.
Thus <m:math><m:mi>n</m:mi></m:math> is the maximum
length of the bitstreams for the various <m:math><m:mrow><m:mi>f</m:mi><m:mo>∈</m:mo><m:mi>K</m:mi></m:mrow></m:math>. There are two ways we can
define optimal encoding:</para>
<list id="id2247616" type="enumerated">
<item>Prescribe <m:math><m:mi>ϵ</m:mi></m:math>, the maximum distortion that
we are willing to tolerate. For this <m:math><m:mi>ϵ</m:mi></m:math>, find the smallest
<m:math><m:mrow><m:msub><m:mi>n</m:mi> <m:mi>ϵ</m:mi> </m:msub><m:mrow><m:mo>(</m:mo><m:mi>K</m:mi><m:mo>,</m:mo><m:mi>X</m:mi><m:mo>)</m:mo></m:mrow><m:mo>:</m:mo><m:mo>=</m:mo><m:mtext>inf</m:mtext><m:msub><m:mspace width="4.pt"/> <m:mrow><m:mo>(</m:mo><m:mi>E</m:mi><m:mo>,</m:mo><m:mi>D</m:mi><m:mo>)</m:mo></m:mrow> </m:msub><m:mrow><m:mo>{</m:mo><m:mi>n</m:mi><m:mo>(</m:mo><m:mi>K</m:mi><m:mo>,</m:mo><m:mi>E</m:mi><m:mo>)</m:mo><m:mo>:</m:mo><m:mi>d</m:mi><m:mo>(</m:mo><m:mi>K</m:mi><m:mo>,</m:mo><m:mi>E</m:mi><m:mo>,</m:mo><m:mi>D</m:mi><m:mo>,</m:mo><m:mi>X</m:mi><m:mo>)</m:mo><m:mo>≤</m:mo><m:mi>ϵ</m:mi><m:mo>}</m:mo></m:mrow></m:mrow></m:math>. This is the smallest bit budget under which we could encode all elements of <m:math><m:mi>K</m:mi></m:math> to distortion <m:math><m:mi>ϵ</m:mi></m:math>.
</item>
<item>Prescribe <m:math><m:mi>N</m:mi></m:math> : find the smallest distortion <m:math><m:mrow><m:mi>d</m:mi><m:mo>(</m:mo><m:mi>K</m:mi><m:mo>,</m:mo><m:mi>E</m:mi><m:mo>,</m:mo><m:mi>D</m:mi><m:mo>,</m:mo><m:mi>X</m:mi><m:mo>)</m:mo></m:mrow></m:math>
over all <m:math><m:mrow><m:mi>E</m:mi><m:mo>,</m:mo><m:mi>D</m:mi></m:mrow></m:math> with <m:math><m:mrow><m:mi>n</m:mi><m:mo>(</m:mo><m:mi>K</m:mi><m:mo>,</m:mo><m:mi>E</m:mi><m:mo>)</m:mo><m:mo>≤</m:mo><m:mi>N</m:mi></m:mrow></m:math>. This is the best encoding performance possible
with a prescribed bit budget.
</item></list>
<para id="id2247860">There is a simple mathematical solution to these two encoding problems based on the notion of Kolmogorov Entropy.</para>

  </content>
</document>
