<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!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="m11294">

  <name xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Non-overlapping Received Signals</name>
  
  <metadata xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
  <md:version xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">1.4</md:version>
  <md:created xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">2003/06/10 19:00:00 GMT-5</md:created>
  <md:revised xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">2003/09/08 13:34:23.392 GMT-5</md:revised>
  <md:authorlist xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <md:author xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="dhj">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Don</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Johnson</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">dhj@rice.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="dhj">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Don</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Johnson</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">dhj@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="erkrause">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Eileen</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Krause</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">erkrause@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="kclarks">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Kyle</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Clarkson</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">kclarks@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="lizzardg">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Elizabeth</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Gregory</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">lizzardg@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="mariyah">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Mariyah</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Poonawala</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">mariyah@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="mjeanes">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Matthew</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Jeanes</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">mjeanes@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="jsilv">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Jeffrey</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Silverman</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">jsilv@rice.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">multipath channel</md:keyword>
  </md:keywordlist>

  <md:abstract xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/"/>
</metadata>

  <content xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <para 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="NOpara1">
      If we restrict to observing 
      <m:math>
	<m:apply>
	  <m:ci type="fn">r</m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math>
      over 
      <m:math>
	<m:interval closure="closed-open">
	  <m:cn>0</m:cn>
	  <m:ci>T</m:ci>
	</m:interval>
      </m:math>, the minimum 
      <m:math>
	<m:ci>
	  <m:msub>
	    <m:mi>P</m:mi>
	    <m:mi>e</m:mi>
	  </m:msub>
	</m:ci>
      </m:math> receiver computes
      
      <m:math display="block">    
	<m:apply>
	  <m:minus/>
	  <m:apply>
	    <m:plus/>
	    <m:apply>
	      <m:times/>
	      <m:apply>
		<m:divide/>
		<m:ci>
		  <m:msub>
		    <m:mi>N</m:mi>
		    <m:mn>0</m:mn>
		  </m:msub>
		</m:ci>
		<m:cn>2</m:cn>
	      </m:apply>
	      <m:apply>
		<m:ln/>
		<m:ci>
		  <m:msub>
		    <m:mi>π</m:mi>
		    <m:mi>i</m:mi>
		  </m:msub>
		</m:ci>
	      </m:apply>
	    </m:apply>
	    
	    <m:apply>
	      <m:scalarproduct/>
	      <m:ci type="vector">
		<m:msubsup>
		  <m:mi>s</m:mi>
		  <m:mi>i</m:mi>
		  <m:mi>*</m:mi>
		</m:msubsup>
	      </m:ci>
	      <m:ci type="vector">r</m:ci>
	    </m:apply>
	  </m:apply>
	  
	  <m:apply>
	    <m:divide/>
	    <m:apply>
	      <m:power/>
	      <m:apply>
		<m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
		<m:ci type="vector">
		  <m:msubsup>
		    <m:mi>s</m:mi>
		    <m:mi>i</m:mi>
		    <m:mi>*</m:mi>
		  </m:msubsup>
		</m:ci>
	      </m:apply>
	      <m:cn>2</m:cn>
	    </m:apply>
	    <m:cn>2</m:cn>
	  </m:apply>
	</m:apply>
      </m:math>
      and chooses the largest. Here, 
      
      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:scalarproduct/>
	    <m:ci type="vector">
	      <m:msubsup>
		<m:mi>s</m:mi>
		<m:mi>i</m:mi>
		<m:mi>*</m:mi>
	      </m:msubsup>
	    </m:ci>
	    <m:ci type="vector">r</m:ci>
	  </m:apply>
	  
	  <m:apply>
	    <m:int/>
	    <m:bvar>
	      <m:ci>t</m:ci>
	    </m:bvar>
	    <m:lowlimit>
	      <m:cn>0</m:cn>
	    </m:lowlimit>
	    <m:uplimit>
	      <m:ci>T</m:ci>
	    </m:uplimit>
	    <m:apply>
	      <m:times/>
	      <m:apply>
		<m:ci type="function">
		  <m:msubsup>
		    <m:mi>s</m:mi>
		    <m:mi>i</m:mi>
		    <m:mi>*</m:mi>
		  </m:msubsup>
		</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn">r</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      
      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:power/>
	    <m:apply>
	      <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
	      <m:ci type="vector">
		<m:msubsup>
		  <m:mi>s</m:mi>
		  <m:mi>i</m:mi>
		  <m:mi>*</m:mi>
		</m:msubsup>
	      </m:ci>
	    </m:apply>
	    <m:cn>2</m:cn>
	  </m:apply>
	  <m:apply>
	    <m:int/>
	    <m:bvar>
	      <m:ci>t</m:ci>
	    </m:bvar>
	    <m:lowlimit>
	      <m:cn>0</m:cn>
	    </m:lowlimit>
	    <m:uplimit>
	      <m:ci>T</m:ci>
	    </m:uplimit>
	    
	    <m:apply>
	      <m:power/>
	      <m:apply>
		<m:ci type="fn">
		  <m:msubsup>
		    <m:mi>s</m:mi>
		    <m:mi>i</m:mi>
		    <m:mi>*</m:mi>
		  </m:msubsup>
		</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	      <m:cn>2</m:cn>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      When we have a binary signal set, the probability
      of error is given by
      
      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:ci>
	    <m:msub>
	      <m:mi>P</m:mi>
	      <m:mi>e</m:mi>
	    </m:msub>
	  </m:ci>
	  
	  <m:apply>
	    <m:ci type="fn">Q</m:ci>
	    <m:apply>
	      <m:divide/>
	      <m:apply>
		<m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
		<m:apply>
		  <m:minus/>
		  <m:ci type="vector">
		    <m:msubsup>
		      <m:mi>s</m:mi>
		      <m:mn>0</m:mn>
		      <m:mi>*</m:mi>
		    </m:msubsup>
		  </m:ci>
		  <m:ci type="vector">
		    <m:msubsup>
		      <m:mi>s</m:mi>
		      <m:mn>1</m:mn>
		      <m:mi>*</m:mi>
		    </m:msubsup>
		  </m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:root/>
		<m:apply>
		  <m:times/>
		  <m:cn>2</m:cn>
		  <m:ci>
		    <m:msub>
		      <m:mi>N</m:mi>
		      <m:mn>0</m:mn>
		    </m:msub>
		  </m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
    </para>
    
    <para 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="NOpara2">One question of interest is what the "best"
      signal set at the transmitter to use to maximize the
      performance. We want to find the 
      <m:math>
	<m:apply>
	  <m:ci type="fn">
	    <m:msub>
	      <m:mi>s</m:mi>
	      <m:mi>i</m:mi>
	    </m:msub>
	  </m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math> 
      that maximizes 
      
      <m:math>
	<m:apply>
	  <m:power/>
	  <m:apply>
	    <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
	    <m:apply>
	      <m:minus/>
	      <m:ci type="vector">
		<m:msubsup>
		  <m:mi>s</m:mi>
		  <m:mn>0</m:mn>
		  <m:mi>*</m:mi>
		</m:msubsup>
	      </m:ci>
	      <m:ci type="vector">
		<m:msubsup>
		  <m:mi>s</m:mi>
		  <m:mn>1</m:mn>
		  <m:mi>*</m:mi>
		</m:msubsup>
	      </m:ci>
	    </m:apply>
	  </m:apply>
	  <m:cn>2</m:cn> 
	</m:apply> 
      </m:math> for a given channel model. As usual, we constrain the
      <emphasis xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">transmitter</emphasis> signal energies by
      <m:math>
	<m:apply>
	  <m:leq/>
	  <m:apply>
	    <m:power/>
	    <m:apply>
	      <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
	      <m:ci type="vector">
		<m:msub>
		  <m:mi>s</m:mi>
		  <m:mi>i</m:mi>
		</m:msub>
	      </m:ci>
	    </m:apply>
	    <m:cn>2</m:cn>
	  </m:apply>
	  <m:ci>E</m:ci>
	</m:apply>
      </m:math>. Now
      
      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:power/>
	    <m:apply>
	      <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
	      <m:apply>
		<m:minus/>
		<m:ci type="vector">
		  <m:msubsup>
		    <m:mi>s</m:mi>
		    <m:mn>0</m:mn>
		    <m:mi>*</m:mi>
		  </m:msubsup>
		</m:ci>
		<m:ci type="vector">
		  <m:msubsup>
		    <m:mi>s</m:mi>
		    <m:mn>1</m:mn>
		    <m:mi>*</m:mi>
		  </m:msubsup>
		</m:ci>
	      </m:apply>
	    </m:apply>
	    <m:cn>2</m:cn>
	  </m:apply>
	  
	  <m:apply>
	    <m:int/>
	    <m:bvar>
	      <m:ci>t</m:ci>
	    </m:bvar>
	    <m:lowlimit>
	      <m:cn>0</m:cn>
	    </m:lowlimit>
	    <m:uplimit>
	      <m:ci>T</m:ci>
	    </m:uplimit>
	    <m:apply>
	      <m:plus/>
	      <m:apply>
		<m:minus/>
		<m:apply>
		  <m:power/>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msubsup>
			<m:mi>s</m:mi>
			<m:mn>0</m:mn>
			<m:mi>*</m:mi>
		      </m:msubsup>
		    </m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		  <m:cn>2</m:cn>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:cn>2</m:cn>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msubsup>
			<m:mi>s</m:mi>
			<m:mn>0</m:mn>
			<m:mi>*</m:mi>
		      </m:msubsup>
		    </m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msubsup>
			<m:mi>s</m:mi>
			<m:mn>1</m:mn>
			<m:mi>*</m:mi>
		      </m:msubsup>
		    </m:ci>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:power/>
		<m:apply>
		  <m:ci type="fn">
		    <m:msubsup>
		      <m:mi>s</m:mi>
		      <m:mn>1</m:mn>
		      <m:mi>*</m:mi>
		    </m:msubsup>
		  </m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
		<m:cn>2</m:cn>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math> As 
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:ci>
	    <m:msubsup>
	      <m:mi>s</m:mi>
	      <m:mi>i</m:mi>
	      <m:mi>*</m:mi>
	    </m:msubsup>
	  </m:ci>
	  <m:apply>
	    <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#convolve"/>
	    <m:apply>
	      <m:ci>
		<m:msub>
		  <m:mi>s</m:mi>
		  <m:mi>i</m:mi>
		</m:msub>
	      </m:ci>
	    </m:apply>
	    <m:apply>
	      <m:ci>
		<m:msub>
		  <m:mi>h</m:mi>
		  <m:mi>CH</m:mi>
		</m:msub>
	      </m:ci>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>, we have
      
      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:int/>
	    <m:bvar>
	      <m:ci>t</m:ci>
	    </m:bvar>
	    <m:apply>
	      <m:times/>
	      <m:apply>
		<m:ci type="fn">
		  <m:msubsup>
		    <m:mi>s</m:mi>
		    <m:mi>i</m:mi>
		    <m:mi>*</m:mi>
		  </m:msubsup>
		</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn">
		  <m:msubsup>
		    <m:mi>s</m:mi>
		    <m:mi>j</m:mi>
		    <m:mi>*</m:mi>
		  </m:msubsup>
		</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	  
	  <m:apply>
	    <m:int/>
	    <m:bvar>
	      <m:ci>t</m:ci>
	    </m:bvar>
	    <m:apply>
	      <m:times/>
	      <m:apply>
		<m:int/>
		<m:bvar>
		  <m:ci>α</m:ci>
		</m:bvar>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msub>
			<m:mi>h</m:mi>
			<m:mi>CH</m:mi>
		      </m:msub>
		    </m:ci>
		    <m:ci>t</m:ci>
		    <m:ci>α</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msub>
			<m:mi>s</m:mi>
			<m:mi>i</m:mi>
		      </m:msub>
		    </m:ci>
		    <m:ci>α</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      
	      <m:apply>
		<m:int/>
		<m:bvar>
		  <m:ci>β</m:ci>
		</m:bvar>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msub>
			<m:mi>h</m:mi>
			<m:mi>CH</m:mi>
		      </m:msub>
		    </m:ci>
		    <m:ci>t</m:ci>
		    <m:ci>β</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msub>
			<m:mi>s</m:mi>
			<m:mi>j</m:mi>
		      </m:msub>
		    </m:ci>
		    <m:ci>β</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      Interchanging the order of integration, this
      integral can be written as
      
      <m:math display="block">
	<m:apply>
	  <m:int/>
	  <m:bvar>
	    <m:ci>β</m:ci>
	  </m:bvar>
	  <m:apply>
	    <m:int/>
	    <m:bvar>
	      <m:ci>α</m:ci>
	    </m:bvar>
	    <m:apply>
	      <m:times/>
	      <m:apply>
		<m:int/>
		<m:bvar>
		  <m:ci>t</m:ci>
		</m:bvar>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msub>
			<m:mi>h</m:mi>
			<m:mi>CH</m:mi>
		      </m:msub>
		    </m:ci>
		    <m:ci>t</m:ci>
		    <m:ci>α</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msub>
			<m:mi>h</m:mi>
			<m:mi>CH</m:mi>
		      </m:msub>
		    </m:ci>
		    <m:ci>t</m:ci>
		    <m:ci>β</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn">
		  <m:msub>
		    <m:mi>s</m:mi>
		    <m:mi>i</m:mi>
		  </m:msub>
		</m:ci>
		<m:ci>α</m:ci>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn">
		  <m:msub>
		    <m:mi>s</m:mi>
		    <m:mi>j</m:mi>
		  </m:msub>
		</m:ci>
		<m:ci>β</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      
      Defining the innermost integral as 
      <m:math>
	<m:apply>
	  <m:ci type="fn">
	    <m:msub>
	      <m:mi>Q</m:mi>
	      <m:mi>CH</m:mi>
	    </m:msub>
	  </m:ci>
	  <m:ci>α</m:ci>
	  <m:ci>β</m:ci>
	</m:apply>
      </m:math>, we can write the squared distance between the
      received signals as
      
      <equation 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="eq0">
	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:power/>
	      <m:apply>
		<m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
		<m:apply>
		  <m:minus/>
		  <m:ci type="vector">
		    <m:msubsup>
		      <m:mi>s</m:mi>
		      <m:mn>0</m:mn>
		      <m:mi>*</m:mi>
		    </m:msubsup>
		  </m:ci>
		  <m:ci type="vector">
		    <m:msubsup>
		      <m:mi>s</m:mi>
		      <m:mn>1</m:mn>
		      <m:mi>*</m:mi>
		    </m:msubsup>
		  </m:ci>
		</m:apply>
	      </m:apply>
	      <m:cn>2</m:cn>
	    </m:apply>
	    
	    <m:apply>
	      <m:int/>
	      <m:bvar>
		<m:ci>β</m:ci>
	      </m:bvar>
	      <m:apply>
		<m:int/>
		<m:bvar>
		  <m:ci>α</m:ci>
		</m:bvar>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msub>
			<m:mi>Q</m:mi>
			<m:mi>CH</m:mi>
		      </m:msub>
		    </m:ci>
		    <m:ci>α</m:ci>
		    <m:ci>β</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:plus/>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:minus/>
			<m:apply>
			  <m:times/>
			  <m:apply>
			    <m:ci type="fn">
			      <m:msub>
				<m:mi>s</m:mi>
				<m:mn>0</m:mn>
			      </m:msub>
			    </m:ci>
			    <m:ci>α</m:ci>
			  </m:apply>
			  <m:apply>
			    <m:ci type="fn">
			      <m:msub>
				<m:mi>s</m:mi>
				<m:mn>0</m:mn>
			      </m:msub>
			    </m:ci>
			    <m:ci>β</m:ci>
			  </m:apply>
			</m:apply>
			
			<m:apply>
			  <m:times/>
			  <m:apply>
			    <m:ci type="fn">
			      <m:msub>
				<m:mi>s</m:mi>
				<m:mn>0</m:mn>
			      </m:msub>
			    </m:ci>
			    <m:ci>α</m:ci>
			  </m:apply>
			  <m:apply>
			    <m:ci type="fn">
			      <m:msub>
				<m:mi>s</m:mi>
				<m:mn>1</m:mn>
			      </m:msub>
			    </m:ci>
			    <m:ci>β</m:ci>
			  </m:apply>
			</m:apply>
		      </m:apply>
		      
		      <m:apply>
			<m:times/>
			<m:apply>
			  <m:ci type="fn">
			    <m:msub>
			      <m:mi>s</m:mi>
			      <m:mn>0</m:mn>
			    </m:msub>
			  </m:ci>
			  <m:ci>β</m:ci>
			</m:apply>
			<m:apply>
			  <m:ci type="fn">
			    <m:msub>
			      <m:mi>s</m:mi>
			      <m:mn>1</m:mn>
			    </m:msub>
			  </m:ci>
			  <m:ci>α</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:ci type="fn">
			  <m:msub>
			    <m:mi>s</m:mi>
			    <m:mn>1</m:mn>
			  </m:msub>
			</m:ci>
			<m:ci>α</m:ci>
		      </m:apply>
		      <m:apply>
			<m:ci type="fn">
			  <m:msub>
			    <m:mi>s</m:mi>
			    <m:mn>1</m:mn>
			  </m:msub>
			</m:ci>
			<m:ci>β</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	    
	    <m:apply>	     
	      <m:int/>
	      <m:bvar>
		<m:ci>β</m:ci>
	      </m:bvar>
	      <m:apply>
		<m:int/>
		<m:bvar>
		  <m:ci>α</m:ci>
		</m:bvar>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:ci type="fn">
		      <m:msub>
			<m:mi>Q</m:mi>
			<m:mi>CH</m:mi>
		      </m:msub>
		    </m:ci>
		    <m:ci>α</m:ci>
		    <m:ci>β</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:minus/>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub>
			  <m:mi>s</m:mi>
			  <m:mn>0</m:mn>
			</m:msub>
		      </m:ci>
		      <m:ci>α</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub>
			  <m:mi>s</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:ci>
		      <m:ci>α</m:ci>
		    </m:apply>
		  </m:apply>
		  
		  <m:apply>
		    <m:minus/>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub>
			  <m:mi>s</m:mi>
			  <m:mn>0</m:mn>
			</m:msub>
		      </m:ci>
		      <m:ci>β</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">
			<m:msub>
			  <m:mi>s</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:ci>
		      <m:ci>β</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>

	    <m:apply>
	      <m:power/>
	      <m:apply>
		<m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
		<m:domainofapplication>
		  <m:ci>
		    <m:msub>
		      <m:mi>Q</m:mi>
		      <m:mi>CH</m:mi>
		    </m:msub>
		  </m:ci>
		</m:domainofapplication>
		<m:apply>
		  <m:minus/>
		  <m:ci type="vector">
		    <m:msub>
		      <m:mi>s</m:mi>
		      <m:mn>0</m:mn>
		    </m:msub>
		  </m:ci>
		  <m:ci type="vector">
		    <m:msub>
		      <m:mi>s</m:mi>
		      <m:mn>1</m:mn>	 
		    </m:msub>
		  </m:ci>
		</m:apply>
	      </m:apply>
	      <m:cn>2</m:cn>
	    </m:apply>
	  </m:apply>
	</m:math>
      </equation>
     
      where 

      <m:math>
	<m:apply>
	  <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
	  <m:domainofapplication>
	    <m:ci>
	      <m:msub>
		<m:mi>Q</m:mi>
		<m:mi>CH</m:mi>
	      </m:msub>
	    </m:ci>
	  </m:domainofapplication>
	  <m:ci>x</m:ci>
	</m:apply>
      </m:math> denotes the norm induced by 
      <m:math>
	<m:apply>
	  <m:ci type="fn">
	    <m:msub>
	      <m:mi>Q</m:mi>
	      <m:mi>CH</m:mi>
	    </m:msub>
	  </m:ci>
	  <m:ci>α</m:ci>
	  <m:ci>β</m:ci>
	</m:apply>
      </m:math>.

      
      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:power/>
	    <m:apply>
	      <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
	      <m:domainofapplication>
		<m:ci>
		  <m:msub>
		    <m:mi>Q</m:mi>
		    <m:mi>CH</m:mi>
		  </m:msub>
		</m:ci>
	      </m:domainofapplication>
	      <m:ci>x</m:ci>
	    </m:apply>
	    <m:cn>2</m:cn>
	  </m:apply>
	  
	  <m:apply>
	    <m:int/>
	    <m:bvar>
	      <m:ci>β</m:ci>
	    </m:bvar>
	    <m:apply>
	      <m:int/>
	      <m:bvar>
		<m:ci>α</m:ci>
	      </m:bvar>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:ci type="fn">
		    <m:msub>
		      <m:mi>Q</m:mi>
		      <m:mi>CH</m:mi>
		    </m:msub>
		  </m:ci>
		  <m:ci>α</m:ci>
		  <m:ci>β</m:ci>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">x</m:ci>
		  <m:ci>α</m:ci>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">x</m:ci>
		  <m:ci>β</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      
      This quantity is a valid inner product because
      <m:math>
	<m:apply>
	  <m:ci type="fn">
	    <m:msub>
	      <m:mi>Q</m:mi>
	      <m:mi>CH</m:mi>
	    </m:msub>
	  </m:ci>
	  <m:ci>α</m:ci>
	  <m:ci>β</m:ci>
	</m:apply>
      </m:math> is a positive-definite, symmetric function of
      <m:math><m:ci>α</m:ci></m:math> and
      <m:math><m:ci>β</m:ci></m:math>. The relevant inner
      product can be written as

      
      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:power/>
	    <m:apply>
	      <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
	      <m:domainofapplication>
		<m:ci>
		  <m:msub>
		    <m:mi>Q</m:mi>
		    <m:mi>CH</m:mi>
		  </m:msub>
		</m:ci>
	      </m:domainofapplication>
	      <m:apply>
		<m:minus/>
		<m:ci type="vector">
		  <m:msub>
		    <m:mi>s</m:mi>
		    <m:mn>0</m:mn>
		  </m:msub>
		</m:ci>
		<m:ci type="vector">
		  <m:msub>
		    <m:mi>s</m:mi>
		    <m:mn>1</m:mn>	 
		  </m:msub>
		</m:ci>
	      </m:apply>
	    </m:apply>
	    <m:cn>2</m:cn>
	  </m:apply>
	  
	  <m:apply>
	    <m:plus/>
	    <m:apply>
	      <m:minus/>
	      <m:apply>
		<m:power/>
		<m:apply>
		  <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
		  <m:domainofapplication>
		     <m:ci><m:msub>
			<m:mi>Q</m:mi>
			<m:mi>CH</m:mi>
		      </m:msub></m:ci>
		  </m:domainofapplication>
		  <m:ci><m:msub>
		      <m:mi>s</m:mi>
		      <m:mn>0</m:mn>
		    </m:msub>
		  </m:ci>
		</m:apply>
		<m:cn>2</m:cn>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:cn>2</m:cn>
		<m:apply>
		  <m:scalarproduct/>
		  <m:domainofapplication>
		    <m:ci>
		      <m:msub>
			<m:mi>Q</m:mi>
			<m:mi>CH</m:mi>
		      </m:msub>
		    </m:ci>
		  </m:domainofapplication>
		  <m:ci>
		    <m:msub>
		      <m:mi>s</m:mi>
		      <m:mn>0</m:mn>
		    </m:msub>
		  </m:ci>
		  <m:ci>
		    <m:msub>
		      <m:mi>s</m:mi>
		      <m:mn>1</m:mn>
		    </m:msub>
		  </m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	    <m:apply>
	      <m:power/>
	      <m:apply>
		<m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
		<m:domainofapplication>
		  <m:ci><m:msub>
		      <m:mi>Q</m:mi>
		      <m:mi>CH</m:mi>
		    </m:msub></m:ci>
		</m:domainofapplication>
		<m:ci><m:msub>
		    <m:mi>s</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub></m:ci>
	      </m:apply>
	      <m:mn>2</m:mn>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      
      Therefore, if we require
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:power/>
	    <m:apply>
	      <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
	      <m:domainofapplication>
		<m:ci>
		  <m:msub>
		    <m:mi>Q</m:mi>
		    <m:mi>CH</m:mi>
		  </m:msub>
		</m:ci>
	      </m:domainofapplication>
	      <m:ci>
		<m:msub>
		  <m:mi>s</m:mi>
		  <m:mn>0</m:mn>
		</m:msub>
	      </m:ci>
	    </m:apply>
	    <m:cn>2</m:cn>
	  </m:apply>
	  <m:apply>
	    <m:power/>
	    <m:apply>
	      <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
	      <m:domainofapplication>
		<m:ci>
		  <m:msub>
		    <m:mi>Q</m:mi>
		    <m:mi>CH</m:mi>
		  </m:msub>
		</m:ci>
	      </m:domainofapplication>
	      <m:ci>
		<m:msub>
		  <m:mi>s</m:mi>
		  <m:mn>1</m:mn>
		</m:msub>
	      </m:ci>
	    </m:apply>
	    <m:cn>2</m:cn>
	  </m:apply>
	</m:apply>
      </m:math>, the maximum value of this norm occurs when
      
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:scalarproduct/>
	    <m:domainofapplication>
	      <m:ci>
		<m:msub>
		  <m:mi>Q</m:mi>
		  <m:mi>CH</m:mi>
		</m:msub>
	      </m:ci>
	    </m:domainofapplication>
	    <m:ci><m:msub>
		<m:mi>s</m:mi>
		<m:mn>0</m:mn>
	      </m:msub></m:ci>
	    <m:ci><m:msub>
		<m:mi>s</m:mi>
		<m:mn>1</m:mn>
	      </m:msub></m:ci>
	  </m:apply>

	  <m:apply>
	    <m:minus/>
	    <m:apply>
	      <m:power/>
	      <m:apply>
		<m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
		<m:domainofapplication>
		  <m:ci>
		    <m:msub>
		      <m:mi>Q</m:mi>
		      <m:mi>CH</m:mi>
		    </m:msub>
		  </m:ci>
		</m:domainofapplication>
		<m:ci>
		  <m:msub>
		    <m:mi>s</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub>
		</m:ci>
	      </m:apply>
	      <m:cn>2</m:cn>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>. In other words,  
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:ci><m:msub>
	    <m:mi>s</m:mi>
	    <m:mn>0</m:mn>
	  </m:msub></m:ci>
	  <m:apply>
	    <m:minus/>
	    <m:ci><m:msub>
	      <m:mi>s</m:mi>
	      <m:mn>1</m:mn>
	    </m:msub></m:ci>
	  </m:apply>
	</m:apply>
      </m:math>. Consequently, antipodal signals still have the best
      performance. Because of the weighting function 
      <m:math>
	<m:apply>
	  <m:ci type="fn">
	    <m:msub>
	      <m:mi>Q</m:mi>
	      <m:mi>CH</m:mi>
	    </m:msub>
	  </m:ci>
	  <m:ci>·</m:ci>
	  <m:ci>·</m:ci>
	</m:apply>
      </m:math> in the inner product, certain signals are better
      than others. We seek to find those signals. According to
      Mercer's theorem,
      <m:math>
	<m:apply>
	  <m:ci type="fn">
	    <m:msub>
	      <m:mi>Q</m:mi>
	      <m:mi>CH</m:mi>
	    </m:msub>
	  </m:ci>
	  <m:ci>α</m:ci>
	  <m:ci>β</m:ci>
	</m:apply>
      </m:math> may be represented in an orthogonal expansion.

      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:ci type="fn">
	      <m:msub>
		<m:mi>Q</m:mi>
		<m:mi>CH</m:mi>
	      </m:msub>
	    </m:ci>
	    <m:ci>α</m:ci>
	    <m:ci>β</m:ci>
	  </m:apply>
	  
	  <m:apply>
	    <m:sum/>
	    <m:bvar>
	      <m:ci>j</m:ci>
	    </m:bvar>
	    <m:lowlimit>
	      <m:ci>1</m:ci>
	    </m:lowlimit>
	    <m:uplimit>
	      <m:infinity/>
	    </m:uplimit>
	    <m:apply>
	      <m:times/>
	      <m:ci><m:msub>
		  <m:mi>λ</m:mi>
		  <m:mi>j</m:mi>
		</m:msub></m:ci>
	      <m:apply>
		<m:ci type="fn">
		  <m:msub>
		    <m:mi>φ</m:mi>
		    <m:mi>j</m:mi>
		  </m:msub>
		</m:ci>
		<m:ci>α</m:ci>
	      </m:apply>
	      <m:apply>
		<m:ci type="fn">
		  <m:msub>
		    <m:mi>φ</m:mi>
		    <m:mi>j</m:mi>
		  </m:msub>
		</m:ci>
		<m:ci>β</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      where 
      <m:math>
	<m:apply>
	  <m:ci type="fn">
	    <m:msub>
	      <m:mi>φ</m:mi>
	      <m:mi>j</m:mi>
	    </m:msub>
	  </m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math> and 
      <m:math>
	<m:ci><m:msub>
	    <m:mi>λ</m:mi>
	    <m:mi>j</m:mi>
	  </m:msub></m:ci>
      </m:math> are the eigenfunctions and eigenvalues of 
      <m:math>
	<m:apply>
	  <m:ci type="fn">
	    <m:msub>
	      <m:mi>Q</m:mi>
	      <m:mi>CH</m:mi>
	    </m:msub>
	  </m:ci>
	  <m:ci>α</m:ci>
	  <m:ci>β</m:ci>
	</m:apply>
      </m:math>. As 
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:ci type="fn">
	      <m:msub>
		<m:mi>s</m:mi>
		<m:mn>0</m:mn>
	      </m:msub>
	    </m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>

	  <m:apply>
	    <m:sum/>
	    <m:bvar>
	      <m:ci>j</m:ci>
	    </m:bvar>
	    <m:lowlimit>
	      <m:ci>1</m:ci>
	    </m:lowlimit>
	    <m:uplimit>
	      <m:infinity/>
	    </m:uplimit>
	    <m:apply>
	      <m:times/>
	      <m:ci><m:msub>
		  <m:mi>s</m:mi>
		  <m:mrow>
		    <m:mn>0</m:mn>
		    <m:mi>j</m:mi>
		  </m:mrow>
		</m:msub></m:ci>
	      <m:apply>
		<m:ci type="fn">
		  <m:msub>
		    <m:mi>φ</m:mi>
		    <m:mi>j</m:mi>
		  </m:msub>
		</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>, the squared norm of a signal can be written

      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:power/>
	    <m:apply>
	      <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
	      <m:domainofapplication>
		<m:ci><m:msub>
		    <m:mi>Q</m:mi>
		    <m:mi>CH</m:mi>
		  </m:msub></m:ci>
	      </m:domainofapplication>
	      <m:ci><m:msub>
		  <m:mi>s</m:mi>
		  <m:mn>0</m:mn>
		</m:msub></m:ci>
	    </m:apply>
	    <m:cn>2</m:cn>
	  </m:apply>
	  
	  <m:apply>
	    <m:int/>
	    <m:bvar>
	      <m:ci>β</m:ci>
	    </m:bvar>
	    <m:apply>
	      <m:int/>
	      <m:bvar>
		<m:ci>α</m:ci>
	      </m:bvar>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:ci type="fn">
		    <m:msub>
		      <m:mi>Q</m:mi>
		      <m:mi>CH</m:mi>
		    </m:msub>
		  </m:ci>
		  <m:ci>α</m:ci>
		  <m:ci>β</m:ci>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">
		    <m:msub>
		      <m:mi>s</m:mi>
		      <m:mn>0</m:mn>
		    </m:msub>
		  </m:ci>
		  <m:ci>α</m:ci>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">
		    <m:msub>
		      <m:mi>s</m:mi>
		      <m:mn>0</m:mn>
		    </m:msub>
		  </m:ci>
		  <m:ci>β</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	  
	  <m:apply>
	    <m:sum/>
	    <m:bvar>
	      <m:ci>j</m:ci>
	    </m:bvar>
	    <m:lowlimit>
	      <m:ci>1</m:ci>
	    </m:lowlimit>
	    <m:uplimit>
	      <m:infinity/>
	    </m:uplimit>
	    <m:apply>
	      <m:times/>
	      <m:ci><m:msub>
		  <m:mi>λ</m:mi>
		  <m:mi>j</m:mi>
		</m:msub></m:ci>
	      <m:apply>
		<m:power/>
		<m:ci><m:msub>
		    <m:mi>s</m:mi>
		    <m:mrow>
		      <m:mn>0</m:mn>
		      <m:mi>j</m:mi>
		    </m:mrow>
		  </m:msub></m:ci>
		<m:cn>2</m:cn>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
      
      When we have an antipodal signal set, 
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:power/>
	    <m:apply>
	      <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
	      <m:domainofapplication>
		<m:ci><m:msub>
		    <m:mi>Q</m:mi>
		    <m:mi>CH</m:mi>
		  </m:msub></m:ci>
	      </m:domainofapplication>
	      <m:apply>
		<m:minus/>
		<m:ci type="vector">
		  <m:msub>
		    <m:mi>s</m:mi>
		    <m:mn>0</m:mn>
		  </m:msub>
		</m:ci>
		<m:ci type="vector">
		  <m:msub>
		    <m:mi>s</m:mi>
		    <m:mn>1</m:mn>	 
		  </m:msub>
		</m:ci>
	      </m:apply>
	    </m:apply>
	    <m:cn>2</m:cn>
	  </m:apply>
	  <m:apply>
	    <m:times/>
	    <m:cn>4</m:cn>
	    <m:apply>
	      <m:sum/>
	      <m:apply>
		<m:times/>
		<m:ci><m:msub>
		    <m:mi>λ</m:mi>
		    <m:mi>j</m:mi>
		  </m:msub></m:ci>
		<m:apply>
		  <m:power/>
		  <m:ci><m:msub>
		      <m:mi>s</m:mi>
		      <m:mrow>
			<m:mn>0</m:mn>
			<m:mi>j</m:mi>
		      </m:mrow>
		    </m:msub></m:ci>
		  <m:cn>2</m:cn>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>. To constrain the energy of 
      <m:math>
	<m:apply>
	  <m:ci type="fn">
	    <m:msub>
	      <m:mi>s</m:mi>
	      <m:mn>0</m:mn>
	    </m:msub>
	  </m:ci>
	  <m:ci>t</m:ci>
	</m:apply>
      </m:math> means that 
      <m:math>
	<m:apply>
	  <m:leq/>
	  <m:apply>
	    <m:sum/>
	    <m:apply>
	      <m:power/>
	      <m:ci><m:msub>
		  <m:mi>s</m:mi>
		  <m:mrow>
		    <m:mn>0</m:mn>
		    <m:mi>j</m:mi>
		  </m:mrow>
		</m:msub></m:ci>
	      <m:cn>2</m:cn>
	    </m:apply>
	  </m:apply>
	  <m:ci><m:msub>
	      <m:mi>E</m:mi>
	      <m:mn>0</m:mn>
	    </m:msub></m:ci>
	</m:apply>
      </m:math>. If 
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:ci type="fn">
	      <m:msub>
		<m:mi>h</m:mi>
		<m:mi>CH</m:mi>
	      </m:msub>
	    </m:ci>
	    <m:ci>t</m:ci>
	    <m:ci>τ</m:ci>
	  </m:apply>
	  <m:apply>
	    <m:ci type="fn">δ</m:ci>
	    <m:apply>
	      <m:minus/>
	      <m:ci>t</m:ci>
	      <m:ci>τ</m:ci>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>, 
      <m:math>
	<m:apply>
	  <m:implies/>
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:ci type="fn">
		<m:msub>
		  <m:mi>Q</m:mi>
		  <m:mi>CH</m:mi>
		</m:msub>
	      </m:ci>
	      <m:ci>α</m:ci>
	      <m:ci>β</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:ci type="fn">δ</m:ci>
	      <m:apply>
		<m:minus/>
		<m:ci>α</m:ci>
		<m:ci>β</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	  
	  <m:apply>
	    <m:eq/>
	    <m:ci><m:msub>
	      <m:mi>λ</m:mi>
	      <m:mi>j</m:mi>
	    </m:msub></m:ci>
	    <m:cn>1</m:cn>
	  </m:apply>
	</m:apply>
      </m:math> for all <m:math><m:ci>j</m:ci></m:math>. 
      Consequently, the distance with respect to 
      <m:math>
	<m:apply>
	  <m:ci type="fn">
	    <m:msub>
	      <m:mi>Q</m:mi>
	      <m:mi>CH</m:mi>
	    </m:msub>
	  </m:ci>
	  <m:ci>α</m:ci>
	  <m:ci>β</m:ci>
	</m:apply>
      </m:math> is maximized for any signal having energy 
      <m:math>
	<m:ci><m:msub>
	    <m:mi>E</m:mi>
	  <m:mn>0</m:mn>
	  </m:msub></m:ci>
      </m:math>. On the other hand, if the 
      <m:math>
	<m:set>
	  <m:ci><m:msub>
	    <m:mi>λ</m:mi>
	      <m:mi>j</m:mi>
	    </m:msub></m:ci>
	</m:set>
      </m:math> are not identical, the values of the representation 
      <m:math>
	<m:set>
	  <m:ci><m:msub>
	      <m:mi>s</m:mi>
	      <m:mrow>
		<m:mn>0</m:mn>
		<m:mi>j</m:mi>
	      </m:mrow>
	    </m:msub></m:ci>
	</m:set>
      </m:math> affect the distance. To maximize this distance, set 
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:ci><m:msub>
	      <m:mi>s</m:mi>
	      <m:mrow>
		<m:mn>0</m:mn>
		<m:mi>j</m:mi>
	      </m:mrow>
	    </m:msub></m:ci>
	  <m:cn>0</m:cn>
	</m:apply>
      </m:math> except for that component corresponding to the
      largest eigenvalue
      <m:math>
	<m:ci><m:msub>
	    <m:mi>λ</m:mi>
	    <m:mi>max</m:mi>
	  </m:msub></m:ci>
      </m:math>. Best results are obtained, therefore, when
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:ci type="fn">
	      <m:msub>
		<m:mi>s</m:mi>
		<m:mn>0</m:mn>
	      </m:msub>
	    </m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	  <m:apply>
	    <m:times/>
	    <m:apply>
	      <m:root/>
	      <m:ci>E</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:ci type="fn">
		<m:msub>
		  <m:mi>φ</m:mi>
		  <m:mi>m</m:mi>
		</m:msub>
	      </m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>, where 
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:ci><m:msub>
	    <m:mi>λ</m:mi>
	    <m:mi>max</m:mi>
	  </m:msub></m:ci>
	  <m:apply>
	    <m:max/>
	    <m:bvar>
	      <m:ci>j</m:ci>
	    </m:bvar>
	    <m:ci><m:msub>
	      <m:mi>λ</m:mi>
	      <m:mi>j</m:mi>
	    </m:msub></m:ci>
	  </m:apply>
	</m:apply>
      </m:math>. In this case, 
      <m:math>
	<m:apply>
	  <m:eq/>
	  <m:apply>
	    <m:power/>
	    <m:apply>
	      <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#norm"/>
	      <m:domainofapplication>
		<m:ci><m:msub>
		    <m:mi>Q</m:mi>
		    <m:mi>CH</m:mi>
		  </m:msub></m:ci>
	      </m:domainofapplication>
	      <m:apply>
		<m:minus/>
		<m:ci type="vector">
		  <m:msub>
		    <m:mi>s</m:mi>
		    <m:mn>0</m:mn>
		  </m:msub>
		</m:ci>
		<m:ci type="vector">
		  <m:msub>
		    <m:mi>s</m:mi>
		    <m:mn>1</m:mn>	 
		  </m:msub>
		</m:ci>
	      </m:apply>
	    </m:apply>
	    <m:cn>2</m:cn>
	  </m:apply>
	  
	  <m:apply>
	    <m:times/>
	    <m:cn>4</m:cn>
	    <m:ci><m:msub>
		<m:mi>λ</m:mi>
		<m:mi>max</m:mi>
	      </m:msub></m:ci>
	    <m:ci>E</m:ci>
	  </m:apply>
	</m:apply>
      </m:math>. With this optimum signal selection,
      
      <m:math display="block">
	<m:apply>
	  <m:eq/>
	  <m:ci><m:msub>
	      <m:mi>P</m:mi>
	      <m:mi>e</m:mi>
	    </m:msub></m:ci>
	  <m:apply>
	    <m:ci type="fn">Q</m:ci>
	    <m:apply>
	      <m:root/>
	      <m:apply>
		<m:divide/>
		<m:apply>
		  <m:times/>
		  <m:cn>2</m:cn>
		  <m:ci><m:msub>
		      <m:mi>λ</m:mi>
		      <m:mi>max</m:mi>
		    </m:msub></m:ci>
		  <m:ci>E</m:ci>
		</m:apply>
		<m:ci><m:msub>
		    <m:mi>N</m:mi>
		    <m:mn>0</m:mn>
		  </m:msub></m:ci>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:apply>
      </m:math>
    </para>
    

    <example 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="ex1">
      <para 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="ex1para1">Consider a multipath channel that has the
      impulse response
	
	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:ci type="fn">
		<m:msub>
		  <m:mi>h</m:mi>
		  <m:mi>CH</m:mi>
		</m:msub>
	      </m:ci>
	      <m:ci>t</m:ci>
	      <m:ci>τ</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:plus/>
	      <m:apply>
		<m:ci type="fn">δ</m:ci>
		<m:apply>
		  <m:minus/>
		  <m:ci>t</m:ci>
		  <m:ci>τ</m:ci>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:ci>a</m:ci>
		<m:apply>
		  <m:ci type="fn">δ</m:ci>
		  <m:apply>
		    <m:minus/>
		    <m:apply>
		      <m:minus/>
		      <m:ci>t</m:ci>
		      <m:ci>τ</m:ci>
		    </m:apply>
		    <m:ci>Δ</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>
	where <m:math><m:ci>Δ</m:ci></m:math> is the
	delay in the multipath and <m:math><m:ci>a</m:ci></m:math> is
	the gain (usually less than one). The kernal 
	<m:math>
	  <m:apply>
	    <m:ci type="fn">
	      <m:msub>
		<m:mi>Q</m:mi>
		<m:mi>CH</m:mi>
	      </m:msub>
	    </m:ci>
	    <m:ci>α</m:ci>
	    <m:ci>β</m:ci>
	  </m:apply>
	</m:math> becomes in this case
	
	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:ci type="fn">
		<m:msub>
		  <m:mi>Q</m:mi>
		  <m:mi>CH</m:mi>
		</m:msub>
	      </m:ci>
	      <m:ci>α</m:ci>
	      <m:ci>β</m:ci>
	    </m:apply>
	    
	    <m:apply>
	      <m:plus/>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:plus/>
		  <m:cn>1</m:cn>
		  <m:apply>
		    <m:power/>
		    <m:ci>a</m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">δ</m:ci>
		  <m:apply>
		    <m:minus/>
		    <m:ci>α</m:ci>
		    <m:ci>β</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>

		<m:apply>
		  <m:times/>
		  <m:ci>a</m:ci>
		  <m:apply>
		    <m:ci type="fn">δ</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:minus/>
			<m:ci>α</m:ci>
			<m:ci>β</m:ci>
		      </m:apply>
		      <m:ci>Δ</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>

		<m:apply>
		  <m:times/>
		  <m:ci>a</m:ci>
		  <m:apply>
		    <m:ci type="fn">δ</m:ci>
		    <m:apply>
		      <m:plus/>
		      <m:apply>
			<m:minus/>
			<m:ci>α</m:ci>
			<m:ci>β</m:ci>
		      </m:apply>
		      <m:ci>Δ</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	The eigenfunctions of this kernal are determined by
	the equation
	
	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:times/>
	      <m:ci>λ</m:ci>
	      <m:apply>
		<m:ci type="fn">φ</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:apply>
	    
	    <m:apply>
	      <m:plus/>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:plus/>
		  <m:cn>1</m:cn>
		  <m:apply>
		    <m:power/>
		    <m:ci>a</m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">φ</m:ci>
		  <m:ci>t</m:ci>
		</m:apply>
	      </m:apply>
	      
	      <m:apply>
		<m:times/>
		<m:ci>a</m:ci>
		<m:apply>
		  <m:ci type="fn">φ</m:ci>
		  <m:apply>
		    <m:minus/>
		    <m:ci>t</m:ci>
		    <m:ci>Δ</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      
	      <m:apply>
		<m:times/>
		<m:ci>a</m:ci>
		<m:apply>
		  <m:ci type="fn">φ</m:ci>
		  <m:apply>
		    <m:plus/>
		    <m:ci>t</m:ci>
		    <m:ci>Δ</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>
	The solutions of this equation are sinusoids having
	frequencies harmonically related to
	<m:math><m:ci>Δ</m:ci></m:math>.
	
	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:ci type="fn">
		<m:msub>
		  <m:mi>φ</m:mi>
		  <m:mi>k</m:mi>
		</m:msub>
	      </m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	    
	    <m:apply>
	      <m:plus/>
	      <m:apply>
		<m:times/>
		<m:ci>A</m:ci>
		<m:apply>
		  <m:sin/>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:times/>
			<m:cn>2</m:cn>
			<m:pi/>
			<m:ci>k</m:ci>
		      </m:apply>
		      <m:ci>Δ</m:ci>
		    </m:apply>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      
	      <m:apply>
		<m:times/>
		<m:ci>B</m:ci>
		<m:apply>
		  <m:cos/>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:times/>
			<m:cn>2</m:cn>
			<m:pi/>
			<m:ci>k</m:ci>
		      </m:apply>
		      <m:ci>Δ</m:ci>
		    </m:apply>
		    <m:ci>t</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>
	
	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:ci><m:msub>
		<m:mi>λ</m:mi>
		<m:mi>k</m:mi>
	      </m:msub></m:ci>
	    <m:apply>
	      <m:power/>
	      <m:apply>
		<m:plus/>
		<m:cn>1</m:cn>
		<m:ci>a</m:ci>
	      </m:apply>
	      <m:cn>2</m:cn>
	    </m:apply>
	  </m:apply>
	</m:math>
	In principal, any signal represented by a Fourier
	series having a period of
	<m:math><m:ci>Δ</m:ci></m:math> would yield the smallest
	probability of error over this multipath channel.
      </para>
      
      <para 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="ex1para2">
	When this solution is considered in detail,
	no <emphasis xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">time-limited</emphasis> solution to the
	eigenequation exists. Thus, this analysis does not yield a
	realistic signal set for transmitting digital information over a
	multipath channel. However, this result does suggest that a
	time-limited version of this signal set would result in a
	receiver insensitive to the multipath. Consider the antipodal
	signal set
	
	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:ci type="fn">
		<m:msub>
		  <m:mi>s</m:mi>
		  <m:mn>0</m:mn>
		</m:msub>
	      </m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	    <m:piecewise>
	      <m:piece>
		<m:apply>
		  <m:root/>
		  <m:apply>
		    <m:divide/>
		    <m:ci>E</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>T</m:ci>
		      <m:ci>Δ</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:leq/>
		  <m:cn>0</m:cn>
		  <m:apply>
		    <m:lt/>
		    <m:ci>t</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>T</m:ci>
		      <m:ci>Δ</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:piece>
	      
	      <m:piece>
		<m:cn>0</m:cn>
		<m:apply>
		  <m:leq/>
		  <m:apply>
		    <m:minus/>
		    <m:ci>T</m:ci>
		    <m:ci>Δ</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:lt/>
		    <m:ci>t</m:ci>
		    <m:ci>T</m:ci>
		  </m:apply>
		</m:apply>
	      </m:piece>
	    </m:piecewise>
	  </m:apply>
	</m:math>


	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:ci type="fn">
		<m:msub>
		  <m:mi>s</m:mi>
		  <m:mn>1</m:mn>
		</m:msub>
	      </m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	    <m:apply>
	      <m:minus/>
	      <m:apply>
		<m:ci type="fn">
		  <m:msub>
		    <m:mi>s</m:mi>
		    <m:mn>0</m:mn>
		  </m:msub>
		</m:ci>
		<m:ci>t</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>The signal 
	<m:math>
	  <m:apply>
	    <m:ci type="fn">
	      <m:msubsup>
		<m:mi>s</m:mi>
		<m:mn>0</m:mn>
		<m:mi>*</m:mi>
	      </m:msubsup>
	    </m:ci>
	    <m:ci>t</m:ci>
	  </m:apply>
	</m:math> is given by
	
	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:ci type="fn">
		<m:msubsup>
		  <m:mi>s</m:mi>
		  <m:mn>0</m:mn>
		  <m:mi>*</m:mi>
		</m:msubsup>
	      </m:ci>
	      <m:ci>t</m:ci>
	    </m:apply>
	    <m:piecewise>
	      <m:piece>
		<m:apply>
		  <m:root/>
		  <m:apply>
		    <m:divide/>
		    <m:ci>E</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>T</m:ci>
		      <m:ci>Δ</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:leq/>
		  <m:cn>0</m:cn>
		  <m:apply>
		    <m:lt/>
		    <m:ci>t</m:ci>
		    <m:ci>Δ</m:ci>
		  </m:apply>
		</m:apply>
	      </m:piece>
	      
	      <m:piece>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:plus/>
		    <m:cn>1</m:cn>
		    <m:ci>a</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:root/>
		    <m:apply>
		      <m:divide/>
		      <m:ci>E</m:ci>
		      <m:apply>
			<m:minus/>
			<m:ci>T</m:ci>
			<m:ci>Δ</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:leq/>
		  <m:ci>Δ</m:ci>
		  <m:apply>
		    <m:lt/>
		    <m:ci>t</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>T</m:ci>
		      <m:ci>Δ</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:piece>

	      <m:piece>
		<m:apply>
		  <m:times/>
		  <m:ci>a</m:ci>
		  <m:apply>
		    <m:root/>
		    <m:apply>
		      <m:divide/>
		      <m:ci>E</m:ci>
		      <m:apply>
			<m:minus/>
			<m:ci>T</m:ci>
			<m:ci>Δ</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:leq/>
		  <m:apply>
		    <m:minus/>
		    <m:ci>T</m:ci>
		    <m:ci>Δ</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:lt/>
		    <m:ci>t</m:ci>
		    <m:ci>T</m:ci>
		  </m:apply>
		</m:apply>
	      </m:piece>
	    </m:piecewise>
	  </m:apply>
	</m:math>The probability of error obtained when a receiver
	uses this signal in its matched filter is
	
	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:ci><m:msub>
		<m:mi>P</m:mi>
		<m:mi>e</m:mi>
	      </m:msub></m:ci>
	    <m:apply>
	      <m:ci type="fn">Q</m:ci>
	      <m:apply>
		<m:root/>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:divide/>
		    <m:apply>
		      <m:times/>
		      <m:cn>2</m:cn>
		      <m:ci>E</m:ci>
		    </m:apply>
		    <m:ci><m:msub>
			<m:mi>N</m:mi>
			<m:mn>0</m:mn>
		      </m:msub></m:ci>
		  </m:apply>
		  <m:apply>
		    <m:minus/>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:plus/>
			<m:cn>1</m:cn>
			<m:ci>a</m:ci>
		      </m:apply>
		      <m:cn>2</m:cn>
		    </m:apply>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:times/>
			<m:cn>2</m:cn>
			<m:ci>a</m:ci>
			<m:ci>Δ</m:ci>
		      </m:apply>
		      <m:apply>
			<m:minus/>
			<m:ci>T</m:ci>
			<m:ci>Δ</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>
	The probability of error of the optimum
	(unobtainable) receiver is given by

	<m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:ci><m:msub>
		<m:mi>P</m:mi>
		<m:mi>e</m:mi>
	      </m:msub>
	    </m:ci>
	    <m:apply>
	      <m:ci type="fn">Q</m:ci>
	      <m:apply>
		<m:root/>
		<m:apply>
		  <m:divide/>
		  <m:apply>
		    <m:times/>
		    <m:cn>2</m:cn>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:plus/>
			<m:cn>1</m:cn>
			<m:ci>a</m:ci>
		      </m:apply>
		      <m:cn>2</m:cn>
		    </m:apply>
		    <m:ci>E</m:ci>
		  </m:apply>
		  <m:ci><m:msub>
		      <m:mi>N</m:mi>
		      <m:mn>0</m:mn>
		    </m:msub></m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>
	Thus, the suboptimum receiver can perform almost as
	well as the optimum one under certain conditions
	(i.e.,
	<m:math><m:ci>Δ</m:ci></m:math> small compared to
	<m:math>
	  <m:apply>
	    <m:minus/>
	    <m:ci>T</m:ci>
	    <m:ci>Δ</m:ci>
	  </m:apply>
	</m:math>).
      </para>
    </example>
    
  </content>
  
</document>
