Processing math: 100%

First time here? Check out the FAQ!

Ask Your Question
0

solving matrix over GF(2)

asked 6 years ago

omgggggg gravatar image
A = matrix(GF(2), 8, 8, [])
b = vector(GF(2), [0, 1, 1, 0, 1, 0, 1, 1])
y = vector(GF(2), [0, 0, 0, 0, 1, 0, 1, 1])
x = vector(GF(2), [1, 0, 0, 0, 0, 0, 0, 0])

If the matrix A is unkown, we have Ax+b=y.

How can we solve the matrix A?

Preview: (hide)

Comments

We can write simpler Ax=b with an obvious b. This is a linear system in the 82=64 entries of A, considered as unknowns, if i get the message right, but we have only 8 equations, corresponding to the components of the constant given known vector b=yb. We need now all solutions?

dan_fulea gravatar imagedan_fulea ( 6 years ago )

Yes, we need all possible solutions of A, since we have many equations like Ax+b=y, we will solve each equation and take the intersection to get the final A.

omgggggg gravatar imageomgggggg ( 6 years ago )

1 Answer

Sort by » oldest newest most voted
0

answered 6 years ago

tmonteil gravatar image

updated 6 years ago

A few hints:

  • Ax+b=y can be rewritten as Ax=yb
  • x is the first vector of the canonical basis
  • the image by A of the ith vector of the canonical basis is the ith column of A
  • hence any matrix whose first column is the vector yb=y+b=(0,1,1,0,,0,0,0,0) does the job

EDIT Let me fix the question in comments:

  • if x is any (nonzero) vector, you can easily find an invertible matrix B such that x=Be0 (where e0=(1,0,0,0,...))
  • then any matrix A such that ABe0=yb is a solution to your problem.
  • by the previous part of the answer, the set of matrices M such that Me0=yb is the d(d1) linear set S of matrices whose first column is yb (and the other are the d(d1) free variables).
  • then, the set of solutions of your original problem is the set {MB1MS}, which you can write in terms of the d(d1) free variables.

If you have problems in turning those hints into Sage code, do not hesitate to tell where you are locked.

Preview: (hide)
link

Comments

There exist other cases such as y = vector(GF(2), [1, 0, 1, 0, 1, 0, 0, 0]) and x = vector(GF(2), [0, 1, 1, 1, 1, 1, 0, 0]). The values of x and y are variable.

omgggggg gravatar imageomgggggg ( 6 years ago )

As you said, we can get the MS whose first column is yb, but i don't know how to generate the set S by Sage code.

omgggggg gravatar imageomgggggg ( 6 years ago )

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 6 years ago

Seen: 1,599 times

Last updated: Mar 16 '18