Minimum phase
From Academic Kids

In control theory and signal processing, a linear, timeinvariant system is minimumphase if the system and its inverse are causal and stable.
E.g., a discretetime system with rational transfer function <math>H(z)<math> can only satisfy causality and stability requirements if all of its poles are inside the unit circle. However, we are free to choose whether the zeros of the system are inside or outside the unit circle. A system is minimumphase if all its zeros are inside the unit circle. Insight is given below as to why this system is called minimumphase.
But, first, we define exactly what we mean by inverse system.
Contents 
Inverse system
A system <math>\mathbb{H}<math> is invertible if we can uniquely determine its output from its input. I.e., we can find a system <math>\mathbb{H}_{inv}<math> such that if we apply <math>\mathbb{H}<math> followed by <math>\mathbb{H}_{inv}<math>, we obtain the identity system <math>\mathbb{I}<math>. (See Inverse matrix for a finitedimensional analog). I.e.,
 <math>\mathbb{H} \, \mathbb{H}_{inv} = \mathbb{I}<math>
Suppose that <math>\tilde{x}<math> is input to system <math>\mathbb{H}<math> and gives output <math>\tilde{y}<math>.
 <math>\mathbb{H} \, \tilde{x} = \tilde{y}<math>
Applying the inverse system <math>\mathbb{H}_{inv}<math> to <math>\tilde{y}<math> gives the following.
 <math>\mathbb{H}_{inv} \, \tilde{y} = \mathbb{H}_{inv} \, \mathbb{H} \, \tilde{x} = \mathbb{I} \, \tilde{x} = \tilde{x}<math>
So we see that the inverse system <math>\mathbb{H}_{inv}<math> allows us to determine uniquely the input <math>\tilde{x}<math> from the output <math>\tilde{y}<math>.
Discretetime example
Suppose that the system <math>\mathbb{H}<math> is a discretetime, linear, timeinvariant (LTI) system described by the impulse response <math>h(n) \, \forall \, n \, \in \mathbb{Z}<math>. Additionally, <math>\mathbb{H}_{inv}<math> has impulse response <math>h_{inv}(n) \, \forall \, n \, \in \mathbb{Z}<math>. The cascade of two LTI systems is a convolution. In this case, the above relation is the following:
 <math>(h * h_{inv}) (n) = \sum_{k=\infty}^{\infty} h(k) \, h_{inv} (nk) = \delta (n)<math>
where <math>\delta (n)<math> is the Kronecker delta or the identity system in the discretetime case. Note that this inverse system <math>\mathbb{H}_{inv}<math> is not unique.
Minimum phase system
When we impose the constraints of causality and stability, the inverse system is unique; and the system <math>\mathbb{H}<math> and its inverse <math>\mathbb{H}_{inv}<math> are called minimumphase. The causality and stability constraints in the discretetime case are the following:
Causality
 <math>h(n) = h_{inv} (n) = 0 \,\, \forall \, n < 0<math>
Stability
 <math>\sum_{n = \infty}^{\infty}{\lefth(n)\right} = \ h \_{1} < \infty<math>
 <math>\sum_{n = \infty}^{\infty}{\lefth_{inv}(n)\right} = \ h_{inv} \_{1} < \infty<math>
See the article on stability for the analogous conditions for the continuoustime case.
Frequency analysis
Discretetime frequency analysis
Minphasediscretetime.png
Performing frequency analysis for the discretetime case will provide some insight. The timedomain equation is the following.
 <math>(h * h_{inv}) (n) = \,\! \delta (n)<math>
Applying the Ztransform gives the following relation in the zdomain.
 <math>H(z) \, H_{inv}(z) = 1<math>
From this relation, we realize that
 <math>H_{inv}(z) = \frac{1}{H(z)}<math>
For simplicity, we consider only the case of a rational transfer function H (z). Causality and stability imply that all poles of H (z) must be strictly inside the unit circle in the complex plane (See stability). Suppose
 <math>H(z) = \frac{A(z)}{D(z)}<math>
where A (z) and D (z) are polynomial in z. Causality and stability imply that the poles  the roots of D (z)  must be strictly inside the unit circle. We also know that
 <math>H_{inv}(z) = \frac{D(z)}{A(z)}<math>
So, causality and stability for <math>H_{inv}(z)<math> imply that its poles  the roots of A (z)  must be inside the unit circle. These two constraints imply that both the zeros and the poles of a minimum phase system must be strictly inside the unit circle.
Continuoustime frequency analysis
Minphasecontinuoustime.png
Analysis for the continuoustime case proceeds in a similar manner except that we use the Laplace transform for frequency analysis. The timedomain equation is the following.
 <math>(h * h_{inv}) (t) = \,\! \delta (t)<math>
where <math>\delta(t)<math> is the Dirac delta function. The Dirac delta function is the identity operator in the continuoustime case because of the sifting property with any signal x (t).
 <math>\delta(t) * x(t) = \int_{\infty}^{\infty} \delta(t  \tau) x(\tau) d \tau = x(t)<math>
Applying the Laplace transform gives the following relation in the splane.
 <math>H(s) \, H_{inv}(s) = 1<math>
From this relation, we realize that
 <math>H_{inv}(s) = \frac{1}{H(s)}<math>
Again, for simplicity, we consider only the case of a rational transfer function H(s). Causality and stability imply that all poles of H (s) must be strictly inside the lefthalf splane (See stability). Suppose
 <math>H(s) = \frac{A(s)}{D(s)}<math>
where A (s) and D (s) are polynomial in s. Causality and stability imply that the poles  the roots of D (s)  must be inside the lefthalf splane. We also know that
 <math>H_{inv}(s) = \frac{D(s)}{A(s)}<math>
So, causality and stability for <math>H_{inv}(s)<math> imply that its poles  the roots of A (s)  must be strictly inside the lefthalf splane. These two constraints imply that both the zeros and the poles of a minimum phase system must be strictly inside the lefthalf splane.
Minimum phase in the time domain
For all causal and stable systems that have the same magnitude response, the minimum phase system has its energy concentrated near the beginning of the impulse response. I.e., it minimizes the following function which we can think of as the delay of energy in the impulse response.
 <math> \sum_{n = m}^{\infty} \left h(n) \right^2 \,\,\,\,\,\,\, \forall \, m \in \mathbb{Z}^{+}<math>
Minimum phase as minimum group delay
For all causal and stable systems that have the same magnitude response, the minimum phase system has the minimum group delay. So, the proper term should be a minimum group delay system  it's just that minimum phase has been assigned in the literature so the name stuck. The following proof illustrates this idea of minimum group delay.
Suppose we consider one zero <math>a<math> of the transfer function <math>H(z)<math>. Let's place this zero <math>a<math> inside the unit circle (<math>\left a \right < 1<math>) and see how the group delay is affected.
 <math>a = \,\! a_R + i \, a_I \mbox{ where } a_R = \mbox{Re}\{a\}, \, a_I = \mbox{Im}\{a\}, \, \theta_a = \mbox{Arg}(a)<math>
Since the zero <math>a<math> contributes the factor <math>1  a z^{1}<math> to the transfer function, the phase contributed by this term is the following.
 <math>\phi_a (\omega) = \mbox{Arg} \left(1  a e^{i \omega} \right)<math>
 <math>\phi_a (\omega) = \mbox{Arg} \left(1  (a_R + i \, a_I) (\cos(\omega)  i \, \sin(\omega)) \right)<math>
 <math>\phi_a (\omega) = \mbox{Arg} \left( \left\{ 1  a_R \cos(\omega)  a_I \sin(\omega) \right\} + i \left\{ a_R \sin(\omega)  a_I \cos(\omega) \right\} \right)<math>
 <math>\phi_a (\omega) = \mbox{Arg} \left( \left\{ \left a \right^{1}  \cos( \omega  \theta_a ) \right\} + i \left\{ \sin( \omega  \theta_a ) \right\} \right)<math>
<math>\phi_a (\omega)<math> contributes the following to the group delay.
 <math>\frac{d \phi_a (\omega)}{d \omega} =
\frac{ \sin^2( \omega  \theta_a ) + \cos^2( \omega  \theta_a )  \left a \right^{1} \cos( \omega  \theta_a )
}{
\sin^2( \omega  \theta_a ) + \cos^2( \omega  \theta_a ) + \left a \right^{2}  2 \left a \right^{1} \cos( \omega  \theta_a )
}<math>
 <math>\frac{d \phi_a (\omega)}{d \omega} =
\frac{ \left a \right  \cos( \omega  \theta_a )
}{
\left a \right + \left a \right^{1}  2 \cos( \omega  \theta_a )
}<math>
The denominator and <math>\theta_a<math> are invariant to reflecting the zero <math>a<math> outside of the unit circle, i.e., replacing <math>a<math> with <math>(a^{1})^{*}<math>. However, by reflecting <math>a<math> outside of the unit circle, we increase the magnitude of <math>\left a \right<math> in the numerator. Thus, having <math>a<math> inside the unit circle minimizes the group delay contributed by the factor <math>1  a z^{1}<math>. We can extend this result to the general case of more than one zero since the phase of the multiplicative factors of the form <math>1  a_i z^{1}<math> is additive. I.e., for a transfer function with <math>N<math> zeros,
 <math>\mbox{Arg}\left( \prod_{i = 1}^N \left( 1  a_i z^{1} \right) \right) = \sum_{i = 1}^N \mbox{Arg}\left( 1  a_i z^{1} \right) <math>
So, a minimum phase system with all zeros inside the unit circle minimizes the group delay since the group delay of each individual zero is minimized.
Maximum phase
A maximum phase system is the opposite of a minimum phase system in several respects.
 It has all of its zeros and poles outside the unit circle. It follows from the proof above that a system which has all its zeros outside the unit circle has maximal group delay; thus, the name maximum phase follows.
 If a maximum phase system is anticausal and stable (all its poles and zeros are outside the unit circle), then the inverse system is also anticausal and stable.
 A maximum phase system has the property that its impulse response has the maximum delay of energy.
Mixed phase
A mixed phase or nonminimumphase system has some of its zeros inside the unit circle and has others outside the unit circle. Thus, its group delay is neither minimum or maximum but somewhere between the group delay of the minimum and maximum phase equivalent system.
References
 Dimitris G. Manolakis, Vinay K. Ingle, Stephen M. Kogon : Statistical and Adaptive Signal Processing, pp. 5456, McGrawHill, ISBN 0070400512
 Boaz Porat : A Course in Digital Signal Processing, pp. 261263, John Wiley and Sons, ISBN 0471149616