Lulu operators have a number of attractive mathematical properties, among them idempotence – meaning that repeated application of the operator yields the same result as a single application – and co-idempotence. An interpretation of idempotence is that: 'Idempotence means that there is no “noise” left in the smoothed data and co-idempotence means that there is no “signal” left in the residual.'^[3]

When studying smoothers there are four properties that are useful to optimize:^[4]

1. Effectiveness
2. Consistency
3. Stability
4. Efficiency

The operators can also be used to decompose a signal into various subcomponents similar to wavelet or Fourier decomposition.^[5]

Lulu smoothers were discovered by C. H. Rohwer and have been studied for the last 30 years.^[6][7] Their exact and asymptotic distributions have been derived.^[3]

Applying a Lulu smoother consists of repeated applications of the min and max operators over a given subinterval of the data. As with other smoothers, a width or interval must be specified. The Lulu smoothers are composed of repeated applications of the L (lower) and U (Upper) operators, which are defined as follows:

L operator edit

For an L operator of width n over an infinite sequence of xs (..., x_j, x_j+1,...), the operation on x_j is calculated as follows:

1. Firstly we create (n + 1) mini-sequences of length (n + 1) each. Each of these mini-sequences contains the element x_j. For example, for width 1, we create 2 mini-sequences of length 2 each. For width 1 these mini sequences are (x_j−1, x_j) and (x_j, x_j+1). For width 2, the mini-sequences are (x_j−2, x_j−1, x_j), (x_j−1, x_j, x_j+1) and (x_j, x_j+1, x_j+2). For width 2, we refer to these mini-sequences as seq₋₁, seq₀ and seq₊₁
2. Then we take the minimum of each of the mini sequences. Again for width 2 this gives: (Min(seq₋₁), Min(seq₀), Min(seq₊₁)). This gives us (n + 1) numbers for each point.
3. Lastly we take the maximum of (the minimums of the mini sequences), or Max(Min(seq₋₁), Min(seq₀), Min(seq₊₁)) and this becomes L(x_j)

Thus for width 2, the L operator is:

L(x_j) = Max(Min(seq₋₁), Min(seq₀), Min(seq₊₁))

U Operator edit

This is identical to the L operator, except that the order of Min and Max is reversed, i.e. for width 2:

U(x_j) = Min(Max(seq₋₁), Max(seq₀), Max(seq₊₁))

Examples edit

Examples of the U and L operators, as well as combined UL and LU operators on a sample data set are shown in the following figures.

It can be seen that the results of the UL and LU operators can be different. The combined operators are very effective at removing impulsive noise, the only cases where the noise is not removed effectively is where we get multiple noise signals very close together, in which case the filter 'sees' the multiple noises as part of the signal.