## Adding a Parity Check Bit

Given a (linear) orthogonal array OA(M, s, ℤ2, k) with k even, a (linear) OA(2M, s + 1, ℤ2, k + 1) can be constructed. Correspondingly, a (linear) (s + 1, N, d + 1)-code can be constructed based on a (linear) (s, N, d)-code over 2 provided that d is odd.

Since code truncation reverses this process, a (linear) OA(2M, s + 1, ℤ2, k + 1) with even k exists if and only if a (linear) OA(M, k, ℤ2, 2) exists. Similarly a (linear) (s + 1, N, d + 1)-code over 2 with odd d exists if and only if a (linear) (s, N, d)-code over 2 exists.

There is no corresponding propagation rule for ordered orthogonal arrays with depth T > 1 or for (t, m, s)-nets (it would correspond to increasing s and m while leaving t constant).

### Construction for Orthogonal Arrays

It is shown in  (the special case for k = 2 can already be found in ) that the new OA Aʹ can be constructed as

Aʹ =   ,

where A is the original OA. If A is linear with generator matrix H and M = 2m, a generator matrix of Aʹ is given by   .

### Construction for Codes

The result for codes is obtained by adding a parity check. An additional coordinate is appended to each code word such that the sum of the coordinates of each new code word is zero. This process is sometimes called lengthening the code.

For linear codes over 2 with odd minimum distance it can be shown that this procedure always increases the minimum distance, i.e., a linear [s + 1, n, d + 1]-code is obtained by lengthening a linear [s, n, d]-code.