Is k defined as n - log_q(Vol_q(d-1, n)) - 1 an integer? Like why is log_q(Vol_q(d-1, n)) an integer?
wow - thanks Mary
Im struggling to prove the useful fact to myself unfortunately. I'm trying to either prove that the basis vectors for the generator are uniformly random (except 0), and I've also tried counting the number of subspaces and generators but it's tricky. Any ideas? I also noticed that any permutation of Gx is equally likely, as for every choice of subspace there's another for every permutation of the rows of G. Still unsure if some field elements are more common in Gx.
Is "q" in "Fq" where F is a finite field --> q = p^t??
@sapphiremath