G = ( I <mrow class="MJX-TeXAtom-ORD"> k </mrow> </msub> <mrow class

sembuang711q6

sembuang711q6

Answered question

2022-05-15

G = ( I k | A ) is a generator matrix of C iff H = ( A T | I n k ) is a control matrix of C
I am trying to prove that, ''given a C [n, k, d]-linear code, G = ( I k | A ) is a generator matrix of C iff H = ( A T | I n k ) is a control matrix of C''.
Firstly, I have supposed that G = ( I k | A ) is a generator matrix of C; we name the columns of A as a 1 , a 2 , . . , a n k ; if x = ( x 1 , . . . , x k ) F q k , I can codify this into a word of the code by taking the generator matrix and multiplying it this way: x G = ( x 1 , . . . , x k , x a 1 , . . . , x a n k ) C , where is the dot product of two vectors. I also know the following result:
H is a control matrix of C if the following holds: x C .
So, If I show H ( x 1 , . . . , x k , x a 1 , . . . , x a n k ) T = ( 0 , . . . , 0 ) T , I would have show that x C ; this is very easy to show taking on account how H is constructed.
For the other direction, I would have to show that H x T = ( 0 , . . , 0 ) T has, as a system of equations, as solutions all the words of the code... Here I get stucked.
Secondly, I would have to prove that, assuming H = ( A T | I n k ) is a control matrix of C, G = ( I k | A ) is a generator matrix of C. For this I suppose I would have to solve the system H x T = ( 0 , . . . , 0 ) T (which, by hipothesis I know has as solutions the words of the code), and then show that each of that words can be generated by G, i.e., that, given a code word, I can find a vector in F q k such that the product of that vector by G is the code word firstly given. Nevertheless I am not sure this is the best approach...
Any help, guidance, or anything will be very helpful.

Answer & Explanation

Lilia Randall

Lilia Randall

Beginner2022-05-16Added 14 answers

Step 1
You're almost there. What you wish to show is that the codes defined by G and H are the same, i.e.,
{ c F q n : c = u G , u F q k } = { c F q n : c H T = 0 } .
Denote the left set by G and the right one by H .
You have already proven that G H . Since c G , it follows that c = u G for some u F q k and thus c H T = u G H T = u ( A A ) = 0 by definition of the matrices G and H.
Step 2
For the other direction H G , we split the codeword into two parts, c = ( d , e ), d F q k , e F q n k . Observe that with this notation, c H T = 0 d A + e = 0 d A = e. Thus, if we set u = d, we obtain
u G = ( d , d A ) = ( d , e ) ,, which proves that we can find a vector u that generates c and thus H G .

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?