Protection against link errors and failures using network coding

First assume that the vectors in the sets \{\mathbf{v}_{2i-1},\mathbf{v}_{2i},\mathbf{v}_{2j-1},\mathbf{v}_{2j}\} are linearly independent. Let E_a and E_b be error value vectors corresponding to errors happening on different primary paths S_a-T_a and S_b-T_b respectively. Suppose there exist E_a and E_b such that HE_a=HE_b, i.e., H(E_a+E_b)=0. Note that the vector (E_a+E_b) has at most four error values [e_{d_a},e_{u_a},e_{d_b},e_{u_b}] which are not all zero and such that

[\begin{array}{ccccc} \mathbf{v}_{2a-1},\mathbf{v}_{2a},\mathbf{v}_{2b-1},\mathbf{v}_{2b}\end{array}][e_{d_a},e_{u_a},e_{d_b},e_{u_b}]^T = \mathbf{0}.

This implies \{\mathbf{v}_{2a-1},\mathbf{v}_{2a},\mathbf{v}_{2b-1},\mathbf{v}_{2b}\} are linearly dependent, which is a contradiction. Therefore, under our condition that \{\mathbf{v}_{2i-1},\mathbf{v}_{2i},\mathbf{v}_{2j-1},\mathbf{v}_{2j}\} for all i,j = 1,\ldots,n, i \neq j are linearly independent, there does not exist E_a,E_b such that HE_a=HE_b. This means that if we try to solve the system of linear equations according to every possible error value vectors E_1,\ldots, E_n, it either has no solution or its solution is the actual error in the network. The node T_i is only interested in d_i, in our decoding algorithm, it tries to solve the equations (?) according to the error value vector E_i. If it has a solution, the error happens on S_i-T_i. The matrix [\mathbf{v}_{2i-1},\mathbf{v}_{2i}] has rank two, so equations (?) have unique solution for e_{d_1}. d_i=P_m+e_{d_i} gives decoded d_i. If (?) does not have solution, the error is not on S_i-T_i. T_i simply picks up d_i=P_m from the primary path S_i-T_i.

Conversely, suppose that a vector set \{\mathbf{v}_{2i_1-1},\mathbf{v}_{2i_1},\mathbf{v}_{2j_1-1},\mathbf{v}_{2j_1}\} is linearly dependent. There exist E_{i_1} and E_{j_1} such that HE_{i_1}=HE_{j_1}. Both equations HE_{i_1}=P_{syn} and HE_{j_1}=P_{syn} have solution. Suppose the error in fact happens on S_{j_1}-T_{j_1}, the decoder at T_{i_1} can also find a solution to HE_{i_1}=P_{syn} and use the solution to compute d_i. This leads to decoding error.  \blacksquare

Suppose we have chosen \mathbf{v}_{2i-1}, the probability that \mathbf{v}_{2i} is not in the span of \mathbf{v}_{2i-1} is (1-q/q^4). The probability that \mathbf{v}_{2j-1} is not in the span of \{\mathbf{v}_{2i-1},\mathbf{v}_{2i}\} is (1-q^2/q^4). The probability that \mathbf{v}_{2j} is not in the span of \{\mathbf{v}_{2i-1},\mathbf{v}_{2i},\mathbf{v}_{2j-1}\} is (1-q^3/q^4). Since the coefficients are chosen independently, the probability that four vectors are linearly independent is the product p_1, which approaches 1 when q is large. \blacksquare

First we shall show that under the stated condition, the decoding algorithm works. Suppose E_1 and E_2 denote two error value vectors corresponding to error patterns in \mathbf{A}(n_c,n_e-n_c) and \mathbf{A}(n_c',n_e-n_c') respectively and E_1\neq E_2. The linear independence condition in the theorem implies that there do not exist E_1 and E_2 such that HE_1=HE_2. To see this, suppose there exist such E_1 and E_2, then, HE_{sum}=0, where E_{sum}=E_1+E_2\neq 0 has at most n_c+n_c' errors on primary paths and n_p+n_p'=2n_e-(n_c+n_c') errors on protection path. These errors correspond to a member (which is a set of column vectors) A(n_c+n_c', 2n_e-(n_c+n_c'))\in \mathbf{A}(n_c+n_c', 2n_e-(n_c+n_c')). HE_{sum}=0 contradicts the linear independence of the column vectors in A(n_c+n_c', 2n_e-(n_c+n_c')). Thus, E_1, E_2 do not exist for HE_1=HE_2. This means that if a decoder tries to solve every system of linear equations according to every possible error patterns with n_e errors, it either gets no solution, or gets the same solution for multiple solvable systems of linear equations. A decoder at T_i is only interested in error patterns in \mathbf{A_i}(n_e). If in step 1 it finds a solution E for one system of equation, e_{d_i} in E is the actual error value for d_i and d_i=P_m+e_{d_i}, otherwise, no error happens on S_i-T_i.

Conversely, if there exist some n_c, n_c' such that some member in \mathbf{A}(n_c+n_c', 2n_e-(n_c+n_c')) is linearly dependent, there exist E_1' and E_2' such that HE_1'=HE_2' and E_1'\neq E_2'. This implies that there exists an i_1 such that either e_{d_{i_1}} or e_{u_{i_1}} is different. At node T_{i_1} or S_{i_1}, the decoder has no way to distinguish which one is the actual error value vector and the decoding fails.  \blacksquare

The condition implies that for all n_c, n_c' \in \{0, \ldots, n_e\} and all possible failure patterns F(n_{f_c}), each member in \mathbf{A}^F(n_c+n_c', 2n_e-(n_c+n_c'),F(n_{f_c})) contains linearly independent vectors. The rest of the proof is similar to Theorem 3 and is omitted.  \blacksquare