Difference between revisions of "Digital Signal Transmission/Optimal Receiver Strategies"

From LNTwww
Line 8: Line 8:
 
== Considered scenario and prerequisites==
 
== Considered scenario and prerequisites==
 
<br>
 
<br>
All digital receivers described so far always make symbolwise decisions. If, on the other hand, several symbols are decided simultaneously, statistical bindings between the received signal samples can be taken into account during detection, which results in a lower error probability &ndash; but at the cost of an additional runtime.<br>
+
All digital receivers described so far always make symbol-wise decisions.&nbsp; If,&nbsp; on the other hand,&nbsp; several symbols are decided simultaneously,&nbsp; statistical bindings between the received signal samples can be taken into account during detection,&nbsp; which results in a lower error probability &ndash; but at the cost of an additional delay time.<br>
  
In this &ndash; partly also in the next chapter &ndash; the following transmission model is assumed:<br>
+
In this&nbsp; $($partly also in the next chapter$)$&nbsp; the following transmission model is assumed.&nbsp; Compared to the last two chapters,&nbsp; the following differences arise: <br>
  
[[File:EN_Dig_T_3_7_S1.png|center|frame|Transmission system with optimal receiver|class=fit]]
+
[[File:EN_Dig_T_3_7_S1.png|right|frame|Transmission system with optimal receiver|class=fit]]
  
Compared to the last two chapters, the following differences arise:
+
*$Q \in \{Q_i\}$&nbsp; with&nbsp; $i = 0$, ... , $M-1$&nbsp; denotes a time-constrained source symbol sequence &nbsp;$\langle q_\nu \rangle$ whose symbols are to be jointly decided by the receiver.<br>
*$Q \in \{Q_i\}$&nbsp; with&nbsp; $i = 0$, ... , $M-1$&nbsp; denotes a time-constrained source symbol sequence &nbsp;$\langle q_\nu \rangle$ whose symbols are to be jointly decided by the optimal receiver.<br>
 
  
*If &nbsp;$Q$&nbsp; describes a sequence of &nbsp;$N$&nbsp; redundancy-free binary symbols, set &nbsp;$M = 2^N$.&nbsp; On the other hand, if the decision is symbolwise, &nbsp;$M$&nbsp; specifies the level number of the digital source.<br>
+
*If the source &nbsp;$Q$&nbsp; describes a sequence of &nbsp;$N$&nbsp; redundancy-free binary symbols, set &nbsp;$M = 2^N$.&nbsp; On the other hand,&nbsp; if the decision is symbol-wise, &nbsp;$M$&nbsp; specifies the level number of the digital source.<br>
  
*In the above model, any channel distortions are added to the transmitter and are thus already included in the basic pulse &nbsp;$g_s(t)$&nbsp; and the signal &nbsp;$s(t)$.&nbsp; This measure is only for a simpler representation and is not a restriction.<br>
+
*In this model,&nbsp; any channel distortions are added to the transmitter and are thus already included in the basic transmission pulse &nbsp;$g_s(t)$&nbsp; and the signal &nbsp;$s(t)$.&nbsp; This measure is only for a simpler representation and is not a restriction.<br>
  
 
*Knowing the currently applied received signal &nbsp;$s(t)$,&nbsp; the optimal receiver searches from the set &nbsp;$\{Q_0$, ... , $Q_{M-1}\}$&nbsp; of the possible source symbol sequences, the receiver searches for the most likely transmitted sequence &nbsp;$Q_j$&nbsp; and outputs this as a sink symbol sequence &nbsp;$V$.&nbsp; <br>
 
*Knowing the currently applied received signal &nbsp;$s(t)$,&nbsp; the optimal receiver searches from the set &nbsp;$\{Q_0$, ... , $Q_{M-1}\}$&nbsp; of the possible source symbol sequences, the receiver searches for the most likely transmitted sequence &nbsp;$Q_j$&nbsp; and outputs this as a sink symbol sequence &nbsp;$V$.&nbsp; <br>
  
*Before the actual decision algorithm, a numerical value &nbsp;$W_i$&nbsp; must be derived from the received signal &nbsp;$r(t)$&nbsp; for each possible sequence &nbsp;$Q_i$&nbsp; by suitable signal preprocessing. The larger &nbsp;$W_i$&nbsp; is, the greater the inference probability that &nbsp;$Q_i$&nbsp; was transmitted.<br>
+
*Before the actual decision algorithm,&nbsp; a numerical value &nbsp;$W_i$&nbsp; must be derived from the received signal &nbsp;$r(t)$&nbsp; for each possible sequence &nbsp;$Q_i$&nbsp; by suitable signal preprocessing.&nbsp; The larger &nbsp;$W_i$&nbsp; is,&nbsp; the greater the inference probability that &nbsp;$Q_i$&nbsp; was transmitted.<br>
  
*Signal preprocessing must provide for the necessary noise power limitation and &ndash; in the case of strong channel distortions &ndash; for sufficient pre-equalization of the resulting intersymbol interferences. In addition, preprocessing also includes sampling for time discretization.<br>
+
*Signal preprocessing must provide for the necessary noise power limitation and &ndash; in the case of strong channel distortions &ndash; for sufficient pre-equalization of the resulting intersymbol interferences.&nbsp; In addition,&nbsp; preprocessing also includes sampling for time discretization.<br>
  
== MAP and Maximum–Likelihood decision rule==
+
== Maximum-a-posteriori and maximum–likelihood decision rule==
 
<br>
 
<br>
The (unconstrained) optimal receiver is called the MAP receiver, where "MAP" stands for "Maximum&ndash;a&ndash;posteriori".<br>
+
The&nbsp; (unconstrained)&nbsp; optimal receiver is called the&nbsp; "MAP receiver",&nbsp; where&nbsp; "MAP"&nbsp; stands for&nbsp; "maximum&ndash;a&ndash;posteriori".<br>
  
 
{{BlaueBox|TEXT=   
 
{{BlaueBox|TEXT=   
$\text{Definition:}$&nbsp; The &nbsp;'''MAP receiver'''&nbsp; determines the &nbsp;$M$&nbsp; inference probabilities &nbsp;${\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm}r(t)\big]$&nbsp; and sets the output sequence &nbsp;$V$&nbsp; according to the decision rule, where the index is: &nbsp; $i = 0$, ... , $M-1$&nbsp; as well as &nbsp;$i \ne j$:
+
$\text{Definition:}$&nbsp; The&nbsp; '''maximum&ndash;a&ndash;posteriori receiver'''&nbsp; $($abbreviated&nbsp; $\rm MAP)$&nbsp; determines the &nbsp;$M$&nbsp; inference probabilities &nbsp;${\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm}r(t)\big]$,&nbsp; and sets the output sequence &nbsp;$V$&nbsp; according to the decision rule,&nbsp; where the index is &nbsp; $i = 0$, ... , $M-1$&nbsp; as well as &nbsp;$i \ne j$:
 
:$${\rm Pr}\big[Q_j \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big] > {\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big]
 
:$${\rm Pr}\big[Q_j \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big] > {\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big]
 
  \hspace{0.05cm}.$$}}<br>
 
  \hspace{0.05cm}.$$}}<br>
  
The &nbsp;[[Theory_of_Stochastic_Signals/Statistical_Dependence_and_Independence#Inference_probability|"inference probability"]]&nbsp; ${\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big]$&nbsp; indicates the probability with which the sequence &nbsp;$Q_i$&nbsp; was sent when the received signal &nbsp;$r(t)$&nbsp; is present at the decision. Using &nbsp;[[Theory_of_Stochastic_Signals/Statistical_Dependence_and_Independence#Conditional_Probability|"Bayes' theorem"]],&nbsp; this probability can be calculated as follows:
+
*The &nbsp;[[Theory_of_Stochastic_Signals/Statistical_Dependence_and_Independence#Inference_probability|"inference probability"]]&nbsp; ${\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big]$&nbsp; indicates the probability with which the sequence &nbsp;$Q_i$&nbsp; was sent when the received signal &nbsp;$r(t)$&nbsp; is present at the decision.&nbsp; Using &nbsp;[[Theory_of_Stochastic_Signals/Statistical_Dependence_and_Independence#Conditional_Probability|"Bayes' theorem"]],&nbsp; this probability can be calculated as follows:
 
:$${\rm Pr}\big[Q_i \hspace{0.05cm}|\hspace{0.05cm} r(t)\big] = \frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm}
 
:$${\rm Pr}\big[Q_i \hspace{0.05cm}|\hspace{0.05cm} r(t)\big] = \frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm}
 
  Q_i \big] \cdot {\rm Pr}\big[Q_i]}{{\rm Pr}[r(t)\big]}
 
  Q_i \big] \cdot {\rm Pr}\big[Q_i]}{{\rm Pr}[r(t)\big]}
 
  \hspace{0.05cm}.$$
 
  \hspace{0.05cm}.$$
  
The MAP decision rule can thus be reformulated or simplified as follows: &nbsp; Let the sink symbol sequence &nbsp;$V = Q_j$ if for all &nbsp;$i \ne j$&nbsp; holds:
+
*The MAP decision rule can thus be reformulated or simplified as follows: &nbsp; Let the sink symbol sequence &nbsp;$V = Q_j$,&nbsp; if for all &nbsp;$i \ne j$&nbsp; holds:
 
:$$\frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm}
 
:$$\frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm}
 
  Q_j \big] \cdot {\rm Pr}\big[Q_j)}{{\rm Pr}\big[r(t)\big]} > \frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm}
 
  Q_j \big] \cdot {\rm Pr}\big[Q_j)}{{\rm Pr}\big[r(t)\big]} > \frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm}
Line 49: Line 48:
 
  Q_i \big] \cdot {\rm Pr}\big[Q_i\big] \hspace{0.05cm}.$$
 
  Q_i \big] \cdot {\rm Pr}\big[Q_i\big] \hspace{0.05cm}.$$
  
A further simplification of this MAP decision rule leads to the ML receiver, where "ML" stands for "maximum likelihood".<br>
+
A further simplification of this MAP decision rule leads to the&nbsp; "ML receiver",&nbsp; where&nbsp; "ML"&nbsp; stands for&nbsp; "maximum likelihood".<br>
  
 
{{BlaueBox|TEXT=   
 
{{BlaueBox|TEXT=   
$\text{Definition:}$&nbsp; The &nbsp;'''maximum likelihood receiver'''&nbsp; &ndash; abbreviated ML &ndash; decides according to the conditional forward probabilities &nbsp;${\rm Pr}\big[r(t)\hspace{0.05cm} \vert \hspace{0.05cm}Q_i \big]$&nbsp; and sets the output sequence &nbsp;$V = Q_j$ if for all &nbsp;$i \ne j$&nbsp; holds:
+
$\text{Definition:}$&nbsp; The &nbsp;'''maximum likelihood receiver'''&nbsp; $($abbreviated&nbsp; $\rm ML)$ &nbsp; decides according to the conditional forward probabilities &nbsp;${\rm Pr}\big[r(t)\hspace{0.05cm} \vert \hspace{0.05cm}Q_i \big]$,&nbsp; and sets the output sequence &nbsp;$V = Q_j$,&nbsp; if for all &nbsp;$i \ne j$&nbsp; holds:
 
:$${\rm Pr}\big[ r(t)\hspace{0.05cm} \vert\hspace{0.05cm}
 
:$${\rm Pr}\big[ r(t)\hspace{0.05cm} \vert\hspace{0.05cm}
 
  Q_j \big] > {\rm Pr}\big[ r(t)\hspace{0.05cm} \vert \hspace{0.05cm}
 
  Q_j \big] > {\rm Pr}\big[ r(t)\hspace{0.05cm} \vert \hspace{0.05cm}
Line 58: Line 57:
  
 
A comparison of these two definitions shows:
 
A comparison of these two definitions shows:
* For equally probable source symbols, the ML receiver and the MAP receiver use the same decision rules; thus, they are equivalent.
+
* For equally probable source symbols,&nbsp; the&nbsp; "ML receiver"&nbsp; and the&nbsp; "MAP receiver"&nbsp; use the same decision rules.&nbsp; Thus,&nbsp; they are equivalent.
*For symbols that are not equally probable, the ML receiver is inferior to the MAP receiver because it does not use all the available information for detection.<br>
+
 
 +
*For symbols that are not equally probable,&nbsp; the&nbsp; "ML receiver"&nbsp; is inferior to the&nbsp; "MAP receiver"&nbsp; because it does not use all the available information for detection.<br>
  
  
 
{{GraueBox|TEXT=   
 
{{GraueBox|TEXT=   
$\text{Example 1:}$&nbsp; To illustrate ML and MAP decision rule, we now construct a very simple example with only two source symbols &nbsp;$(M = 2)$.  
+
$\text{Example 1:}$&nbsp; To illustrate the&nbsp; "ML"&nbsp; and the&nbsp; "MAP"&nbsp; decision rule,&nbsp; we now construct a very simple example with only two source symbols &nbsp;$(M = 2)$.
*The two possible symbols &nbsp;$Q_0$&nbsp; and &nbsp;$Q_1$&nbsp; are represented by the transmitted signals &nbsp;$s = 0$&nbsp; and &nbsp;$s = 1$.&nbsp;
+
[[File:EN_Dig_T_3_7_S2.png|right|frame|For clarification of MAP and ML receiver|class=fit]]
*The received signal can &ndash; for whatever reason &ndash; take three different values, namely &nbsp;$r = 0$, &nbsp;$r = 1$&nbsp; and additionally &nbsp;$r = 0.5$.
+
<br><br>&rArr; &nbsp; The two possible symbols &nbsp;$Q_0$&nbsp; and &nbsp;$Q_1$&nbsp; are represented by the transmitted signals &nbsp;$s = 0$&nbsp; and &nbsp;$s = 1$.&nbsp;
  
 +
&rArr; &nbsp; The received signal can &ndash; for whatever reason &ndash; take three different values, namely &nbsp;$r = 0$, &nbsp;$r = 1$&nbsp; and additionally &nbsp;$r = 0.5$.
  
[[File:EN_Dig_T_3_7_S2.png|center|frame|For clarification of MAP and ML receiver|class=fit]]
+
*The received values &nbsp;$r = 0$&nbsp; and &nbsp;$r = 1$&nbsp; will be assigned to the transmitter values &nbsp;$s = 0 \ (Q_0)$&nbsp; and &nbsp;$s = 1 \ (Q_1)$,&nbsp; resp.,&nbsp;  by both,&nbsp; the ML and MAP decisions.
  
The received values &nbsp;$r = 0$&nbsp; and &nbsp;$r = 1$&nbsp; will be assigned to the transmitter values &nbsp;$s = 0 \ (Q_0)$&nbsp; and &nbsp;$s = 1 \ (Q_1)$,&nbsp; respectively, by both the ML and MAP decisions. In contrast, the decisions will give a different result with respect to the received value &nbsp;$r = 0.5$:&nbsp;  
+
*In contrast, the decisions will give a different result with respect to the received value &nbsp;$r = 0.5$:&nbsp;  
  
 
*The maximum likelihood decision rule leads to the source symbol &nbsp;$Q_0$, because of
 
*The maximum likelihood decision rule leads to the source symbol &nbsp;$Q_0$, because of

Revision as of 15:17, 29 June 2022

Considered scenario and prerequisites


All digital receivers described so far always make symbol-wise decisions.  If,  on the other hand,  several symbols are decided simultaneously,  statistical bindings between the received signal samples can be taken into account during detection,  which results in a lower error probability – but at the cost of an additional delay time.

In this  $($partly also in the next chapter$)$  the following transmission model is assumed.  Compared to the last two chapters,  the following differences arise:

Transmission system with optimal receiver
  • $Q \in \{Q_i\}$  with  $i = 0$, ... , $M-1$  denotes a time-constrained source symbol sequence  $\langle q_\nu \rangle$ whose symbols are to be jointly decided by the receiver.
  • If the source  $Q$  describes a sequence of  $N$  redundancy-free binary symbols, set  $M = 2^N$.  On the other hand,  if the decision is symbol-wise,  $M$  specifies the level number of the digital source.
  • In this model,  any channel distortions are added to the transmitter and are thus already included in the basic transmission pulse  $g_s(t)$  and the signal  $s(t)$.  This measure is only for a simpler representation and is not a restriction.
  • Knowing the currently applied received signal  $s(t)$,  the optimal receiver searches from the set  $\{Q_0$, ... , $Q_{M-1}\}$  of the possible source symbol sequences, the receiver searches for the most likely transmitted sequence  $Q_j$  and outputs this as a sink symbol sequence  $V$. 
  • Before the actual decision algorithm,  a numerical value  $W_i$  must be derived from the received signal  $r(t)$  for each possible sequence  $Q_i$  by suitable signal preprocessing.  The larger  $W_i$  is,  the greater the inference probability that  $Q_i$  was transmitted.
  • Signal preprocessing must provide for the necessary noise power limitation and – in the case of strong channel distortions – for sufficient pre-equalization of the resulting intersymbol interferences.  In addition,  preprocessing also includes sampling for time discretization.

Maximum-a-posteriori and maximum–likelihood decision rule


The  (unconstrained)  optimal receiver is called the  "MAP receiver",  where  "MAP"  stands for  "maximum–a–posteriori".

$\text{Definition:}$  The  maximum–a–posteriori receiver  $($abbreviated  $\rm MAP)$  determines the  $M$  inference probabilities  ${\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm}r(t)\big]$,  and sets the output sequence  $V$  according to the decision rule,  where the index is   $i = 0$, ... , $M-1$  as well as  $i \ne j$:

$${\rm Pr}\big[Q_j \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big] > {\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big] \hspace{0.05cm}.$$


  • The  "inference probability"  ${\rm Pr}\big[Q_i \hspace{0.05cm}\vert \hspace{0.05cm} r(t)\big]$  indicates the probability with which the sequence  $Q_i$  was sent when the received signal  $r(t)$  is present at the decision.  Using  "Bayes' theorem",  this probability can be calculated as follows:
$${\rm Pr}\big[Q_i \hspace{0.05cm}|\hspace{0.05cm} r(t)\big] = \frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_i \big] \cdot {\rm Pr}\big[Q_i]}{{\rm Pr}[r(t)\big]} \hspace{0.05cm}.$$
  • The MAP decision rule can thus be reformulated or simplified as follows:   Let the sink symbol sequence  $V = Q_j$,  if for all  $i \ne j$  holds:
$$\frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_j \big] \cdot {\rm Pr}\big[Q_j)}{{\rm Pr}\big[r(t)\big]} > \frac{ {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_i\big] \cdot {\rm Pr}\big[Q_i\big]}{{\rm Pr}\big[r(t)\big]}\hspace{0.3cm} \Rightarrow \hspace{0.3cm} {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_j\big] \cdot {\rm Pr}\big[Q_j\big]> {\rm Pr}\big[ r(t)\hspace{0.05cm}|\hspace{0.05cm} Q_i \big] \cdot {\rm Pr}\big[Q_i\big] \hspace{0.05cm}.$$

A further simplification of this MAP decision rule leads to the  "ML receiver",  where  "ML"  stands for  "maximum likelihood".

$\text{Definition:}$  The  maximum likelihood receiver  $($abbreviated  $\rm ML)$   decides according to the conditional forward probabilities  ${\rm Pr}\big[r(t)\hspace{0.05cm} \vert \hspace{0.05cm}Q_i \big]$,  and sets the output sequence  $V = Q_j$,  if for all  $i \ne j$  holds:

$${\rm Pr}\big[ r(t)\hspace{0.05cm} \vert\hspace{0.05cm} Q_j \big] > {\rm Pr}\big[ r(t)\hspace{0.05cm} \vert \hspace{0.05cm} Q_i\big] \hspace{0.05cm}.$$


A comparison of these two definitions shows:

  • For equally probable source symbols,  the  "ML receiver"  and the  "MAP receiver"  use the same decision rules.  Thus,  they are equivalent.
  • For symbols that are not equally probable,  the  "ML receiver"  is inferior to the  "MAP receiver"  because it does not use all the available information for detection.


$\text{Example 1:}$  To illustrate the  "ML"  and the  "MAP"  decision rule,  we now construct a very simple example with only two source symbols  $(M = 2)$.

For clarification of MAP and ML receiver



⇒   The two possible symbols  $Q_0$  and  $Q_1$  are represented by the transmitted signals  $s = 0$  and  $s = 1$. 

⇒   The received signal can – for whatever reason – take three different values, namely  $r = 0$,  $r = 1$  and additionally  $r = 0.5$.

  • The received values  $r = 0$  and  $r = 1$  will be assigned to the transmitter values  $s = 0 \ (Q_0)$  and  $s = 1 \ (Q_1)$,  resp.,  by both,  the ML and MAP decisions.
  • In contrast, the decisions will give a different result with respect to the received value  $r = 0.5$: 
  • The maximum likelihood decision rule leads to the source symbol  $Q_0$, because of
$${\rm Pr}\big [ r= 0.5\hspace{0.05cm}\vert\hspace{0.05cm} Q_0\big ] = 0.4 > {\rm Pr}\big [ r= 0.5\hspace{0.05cm} \vert \hspace{0.05cm} Q_1\big ] = 0.2 \hspace{0.05cm}.$$
  • The MAP decision, on the other hand, leads to the source symbol  $Q_1$, since according to the secondary calculation in the graph:
$${\rm Pr}\big [Q_1 \hspace{0.05cm}\vert\hspace{0.05cm} r= 0.5\big ] = 0.6 > {\rm Pr}\big [Q_0 \hspace{0.05cm}\vert\hspace{0.05cm} r= 0.5\big ] = 0.4 \hspace{0.05cm}.$$


Maximum likelihood decision for Gaussian noise


We now assume that the received signal  $r(t)$  is additively composed of a useful signal  $s(t)$  and a noise component  $n(t)$,  where the noise is assumed to be Gaussian distributed and white   ⇒    "AWGN noise":

$$r(t) = s(t) + n(t) \hspace{0.05cm}.$$

Any channel distortions are already applied to the signal  $s(t)$  for simplicity.

The necessary noise power limitation is realized by an integrator; this corresponds to an averaging of the noise values in the time domain. If one limits the integration interval to the range  $t_1$  to  $t_2$, one can derive a quantity  $W_i$  for each source symbol sequence  $Q_i$,  which is a measure for the conditional probability  ${\rm Pr}\big [ r(t)\hspace{0.05cm} \vert \hspace{0.05cm} Q_i\big ] $: 

$$W_i = \int_{t_1}^{t_2} r(t) \cdot s_i(t) \,{\rm d} t - {1}/{2} \cdot \int_{t_1}^{t_2} s_i^2(t) \,{\rm d} t= I_i - {E_i}/{2} \hspace{0.05cm}.$$

This decision variable  $W_i$  can be derived using the  $k$–dimensionial "joint probability density"  of the noise $($with  $k \to \infty)$  and some boundary crossings. The result can be interpreted as follows:

  • Integration is used for noise power reduction by averaging. If  $N$  binary symbols are decided simultaneously by the maximum likelihood detector, set  $t_1 = 0 $  and  $t_2 = N \cdot T$  for distortion-free channel.
  • The first term of the above decision variable  $W_i$  is equal to the   "energy cross-correlation function"  formed over the finite time interval  $NT$  between  $r(t)$  and  $s_i(t)$  at the point  $\tau = 0$:
$$I_i = \varphi_{r, \hspace{0.08cm}s_i} (\tau = 0) = \int_{0}^{N \cdot T}r(t) \cdot s_i(t) \,{\rm d} t \hspace{0.05cm}.$$
  • The second term gives the half energy of the considered useful signal  $s_i(t)$  to be subtracted. The energy is equal to the ACF of the useful signal at the point  $\tau = 0$:
\[E_i = \varphi_{s_i} (\tau = 0) = \int_{0}^{N \cdot T} s_i^2(t) \,{\rm d} t \hspace{0.05cm}.\]
  • In case of distorting channel the impulse response  $h_{\rm K}(t)$  is not Dirac-shaped, but for example extended to the range  $-T_{\rm K} \le t \le +T_{\rm K}$.  In this case,  $t_1 = -T_{\rm K}$  and  $t_2 = N \cdot T +T_{\rm K}$  must be used for the two integration limits.

Matched filter receiver vs. correlation receiver


There are various circuit implementations of the maximum likelihood receiver.

For example, the required integrals can be obtained by linear filtering and subsequent sampling. This realization form is called  matched filter receiver, because here the impulse responses of the  $M$  parallel filters have the same shape as the useful signals  $s_0(t)$, ... , $s_{M-1}(t)$. 

  • The $M$ decision variables  $I_i$  are then equal to the convolution products  $r(t) \star s_i(t)$  at time  $t= 0$.
  • For example, the "optimal binary receiver" described in detail in the chapter  "Optimization of Baseband Transmission Systems"  allows a maximum likelihood decision with ML parameters  $M = 2$  and  $N = 1$.


A second form of realization is provided by the  correlation receiver  according to the following graph.

Correlation receiver for  $N = 3$,  $t_1 = 0$,  $t_2 = 3T$   and   $M = 2^3 = 8$

One recognizes from this block diagram for the indicated parameters:

  • The drawn correlation receiver forms a total of  $M = 8$  cross-correlation functions between the received signal  $r(t) = s_k(t) + n(t)$  and the possible transmitted signals  $s_i(t), \ i = 0$, ... , $M-1$. The following description assumes that the useful signal  $s_k(t)$  has been transmitted.
  • The correlation receiver now searches for the maximum value  $W_j$  of all correlation values and outputs the corresponding sequence  $Q_j$  as a sink symbol sequence  $V$.  Formally, the ML decision rule can be expressed as follows:
$$V = Q_j, \hspace{0.2cm}{\rm falls}\hspace{0.2cm} W_i < W_j \hspace{0.2cm}{\rm for}\hspace{0.2cm} {\rm all}\hspace{0.2cm} i \ne j \hspace{0.05cm}.$$
  • If we further assume that all transmitted signals  $s_i(t)$  have exactly the same energy, we can dispense with the subtraction of  $E_i/2$  in all branches. In this case, the following correlation values are compared  $(i = 0$, ... , $M-1)$:
\[I_i = \int_{0}^{NT} s_j(t) \cdot s_i(t) \,{\rm d} t + \int_{0}^{NT} n(t) \cdot s_i(t) \,{\rm d} t \hspace{0.05cm}.\]
  • With high probability,  $I_j = I_k$  is larger than all other comparison values  $I_{j \ne k}$. However, if the noise  $n(t)$  is too large, the correlation receiver will also make a wrong decision.

Representation of the correlation receiver in the tree diagram


Let us illustrate the operation of the correlation receiver in the tree diagram, where the  $2^3 = 8$  possible source symbol sequences  $Q_i$  of length  $N = 3$  are represented by bipolar rectangular transmitted signals  $s_i(t)$: 

Possible bipolar transmitted signals for  $N = 3$

The possible symbol sequences  $Q_0 = \rm LLL$, ... , $Q_7 = \rm HHH$  and the associated transmitted signals  $s_0(t)$, ... , $s_7(t)$  are listed above.

  • Due to the bipolar amplitude coefficients and the rectangular shape all signal energies are equal:   $E_0 = \text{...} = E_7 = N \cdot E_{\rm B}$, where  $E_{\rm B}$  indicates the energy of a single pulse of duration $T$.
  • Therefore, subtraction of the  $E_i/2$  term in all branches can be omitted   ⇒   a decision based on the correlation values  $I_i$  gives equally reliable results as maximizing the corrected values  $W_i$.


$\text{Example 2:}$  The graph shows the continuous integral values, assuming the actually transmitted signal  $s_5(t)$  and the noise-free case. For this case, the time-dependent integral values and the integral end values are valid:

Correlation receiver:   tree diagram in the noise-free case
$$i_i(t) = \int_{0}^{t} r(\tau) \cdot s_i(\tau) \,{\rm d} \tau = \int_{0}^{t} s_5(\tau) \cdot s_i(\tau) \,{\rm d} \tau \hspace{0.3cm} \Rightarrow \hspace{0.3cm}I_i = i_i(3T). $$

The graph can be interpreted as follows:

  • Because of the rectangular shape of the signals  $s_i(t)$,  all function curves  $i_i(t)$  are rectilinear. The end values normalized to  $E_{\rm B}$  are  $+3$,  $+1$,  $-1$  and  $-3$.
  • The maximum final value is  $I_5 = 3 \cdot E_{\rm B}$  (red waveform), since signal  $s_5(t)$  was actually sent. Without noise, the correlation receiver thus naturally always makes the correct decision.
  • The blue curve  $i_1(t)$  leads to the final value  $I_1 = -E_{\rm B} + E_{\rm B}+ E_{\rm B} = E_{\rm B}$, since  $s_1(t)$  differs from  $s_5(t)$  only in the first bit. The comparison values  $I_4$  and  $I_7$  are also equal to  $E_{\rm B}$.
  • Since  $s_0(t)$,  $s_3(t)$  and  $s_6(t)$  differ from the transmitted  $s_5(t)$  in two bits,  $I_0 = I_3 = I_6 =-E_{\rm B}$. The green curve shows  $s_6(t)$ initially increasing (first bit matches) and then decreasing over two bits.
  • The purple curve leads to the final value  $I_2 = -3 \cdot E_{\rm B}$. The corresponding signal  $s_2(t)$  differs from  $s_5(t)$  in all three symbols and  $s_2(t) = -s_5(t)$ holds.



$\text{Example 3:}$  The graph for this example describes the same situation as  $\text{Example 2}$, but now the received signal  $r(t) = s_5(t)+ n(t)$  is assumed. The variance of the AWGN noise  $n(t)$  here is  $\sigma_n^2 = 4 \cdot E_{\rm B}/T$.

Correlation receiver: tree diagram with noise

One can see from this graph compared to the noise-free case:

  • The function curves are now no longer straight due to the noise component  $n(t)$  and there are also slightly different final values than without noise.
  • In the considered example, however, the correlation receiver decides correctly with high probability, since the difference between  $I_5$  and the second larger value  $I_7$  is relatively large with  $1.65\cdot E_{\rm B}$. 
  • However, the error probability in the example considered here is not better than that of the matched filter receiver with symbolwise decision.
  • In accordance with the chapter  "Optimization of Baseband Transmission Systems",  the following also applies here:
$$p_{\rm S} = {\rm Q} \left( \sqrt{ {2 \cdot E_{\rm B} }/{N_0} }\right) = {1}/{2} \cdot {\rm erfc} \left( \sqrt{ { E_{\rm B} }/{N_0} }\right) \hspace{0.05cm}.$$


$\text{Conclusion:}$ 

  • If the input signal does not have statistical bindings as in  $\text{Example 2}$, there is no improvement by joint decision of  $N$  symbols over symbolwise decision.
  • In the presence of statistical bindings, the joint decision of  $N$  symbols noticeably reduces the error probability compared to  $p_{\rm S} = {\rm Q} \left( \sqrt{ {2 \cdot E_{\rm B} }/{N_0} }\right)$  (valid for symbolwise decision), since the maximum likelihood receiver takes the bindings into account.
  • Such bindings can be either deliberately created by transmission-side coding (see  $\rm LNTwww$ book "Channel Coding") or unintentionally caused by (linear) channel distortions.
  • In the presence of such intersymbol interference, the calculation of the error probability is much more difficult. However, comparable approximations as for the Viterbi receiver can be given, which are given at the  "end of the next chapter"


Correlation receiver with unipolar signaling


So far, we have always assumed binary bipolar  signaling when describing the correlation receiver:

$$a_\nu = \left\{ \begin{array}{c} +1 \\ -1 \\ \end{array} \right.\quad \begin{array}{*{1}c} {\rm{f\ddot{u}r}} \\ {\rm{for}} \\ \end{array}\begin{array}{*{20}c} q_\nu = \mathbf{H} \hspace{0.05cm}, \\ q_\nu = \mathbf{L} \hspace{0.05cm}. \\ \end{array}$$

Now we consider the case of binary unipolar  digital signaling holds:

$$a_\nu = \left\{ \begin{array}{c} 1 \\ 0 \\ \end{array} \right.\quad \begin{array}{*{1}c} {\rm{for}} \\ {\rm{for}} \\ \end{array}\begin{array}{*{20}c} q_\nu = \mathbf{H} \hspace{0.05cm}, \\ q_\nu = \mathbf{L} \hspace{0.05cm}. \\ \end{array}$$

The  $2^3 = 8$  possible source symbol sequences  $Q_i$  of length  $N = 3$  are now represented by unipolar rectangular transmitted signals  $s_i(t)$.  Listed below are the symbol sequences  $Q_0 = \rm LLL$, ... , $Q_7 = \rm HHH$  and the transmitted signals  $s_0(t)$, ... , $s_7(t)$.

Possible unipolar transmitted signals for  $N = 3$

By comparing with the  "corresponding table"  for bipolar signaling, one can see:

  • Due to the unipolar amplitude coefficients, the signal energies  $E_i$  are now different, for example  $E_0 = 0$  and  $E_7 = 3 \cdot E_{\rm B}$.
  • Here the decision based on the integral end values  $I_i$  does not lead to the correct result.
  • Instead, the corrected comparison values  $W_i = I_i- E_i/2$  must now be used.


$\text{Example 4:}$  The graph shows the continuous integral values, again assuming the actual transmitted signal  $s_5(t)$  and the noise-free case. The corresponding bipolar equivalent was considered in "Example 2".

Tree diagram of the correlation receiver (unipolar)

For this example, the following comparison values result, each normalized to  $E_{\rm B}$:

$$I_5 = I_7 = 2, \hspace{0.2cm}I_1 = I_3 = I_4= I_6 = 1 \hspace{0.2cm}, \hspace{0.2cm}I_0 = I_2 = 0 \hspace{0.05cm},$$
$$W_5 = 1, \hspace{0.2cm}W_1 = W_4 = W_7 = 0.5, \hspace{0.2cm} W_0 = W_3 =W_6 =0, \hspace{0.2cm}W_2 = -0.5 \hspace{0.05cm}.$$

This means:

  • When compared in terms of maximum  $I_i$ values, the source symbol sequences  $Q_5$  and  $Q_7$  would be equivalent.
  • On the other hand, if the different energies  $(E_5 = 2, \ E_7 = 3)$ are taken into account, the decision is clearly in favor of the sequence  $Q_5$  because of  $W_5 > W_7$. 
  • The correlation receiver according to  $W_i = I_i- E_i/2$  therefore decides correctly on  $s(t) = s_5(t)$ even with unipolar signaling.


Exercises for the chapter


Exercise 3.09: Correlation Receiver for Unipolar Signaling

Exercise 3.10: Maximum Likelihood Tree Diagram