Re: [math-fun] Linear algebra over finite fields ?
Re: p-adic Not at first. I'd like to see what analogies exist for GF(p) first, then GF(p^k). Only after these are understood would I go after p-adics. It's obvious that PDQ => M, where D diagonal, P,Q orthogonal can be constructed. So which square matrices M over GP(p) can be so factored? What works as a "square root" -- or more importantly, what works as a *square* to convert eigenvalues to singular values ? It is also easy to do the usual *iterations* over finite fields; the real (pun intended) question is: do these iterations do anything interesting and/or useful ? Continued fractions with square matrix "numbers" ? Are these useful for anything? Etc., etc. At 03:18 PM 2/21/2019, Fred Lunnon wrote:
Rather over p-adic fields, perhaps? WFL
On 2/21/19, Henry Baker <hbaker1@pipeline.com> wrote:
Are there any tutorials or cookbooks on extending some of the usual linear algebra results to finite fields?
I'm particularly interested in these algorithms on square matrices: * polar decomposition * eigenvalue decomposition * singular value decomposition * what happens when various classic *iterations* are performed over a finite field -- e.g., computing polar decomposition via iteration (does it even work?) * Are there any linear/convex programming ideas that carry over to finite fields?
I'm also interested in a cookbook of various classical Newton-style iterations, but performed over the non-commutative rings of square matrices of real & complex #'s -- in the manner of computing the polar decomposition by Newton's square root iteration. Since these square matrices are in general non-commutative, there are a lot more choices about how to extend the commutative Newton iterations to the non-commutative cases.
I suspect that relatively little work has be done on this last issue, because it's only been relatively recently that PC's have been powerful enough to do thousands/millions of iterations on entire matrix operations (as opposed to row ops or column ops).
Lots of Google hits for linear algebra over finite fields, as well as p-adic linear algebra. -- Gene
Hi Gene: Over the past several years, I've probably downloaded north of 1,000 papers on this subject, but I still haven't found any that address this direct question: "So you've heard all this cool stuff about matrix factorization (eigenvalue decomp, SVD, polar decomp, etc.) over the reals & complex numbers; what happens to all of this stuff when you move over to the Galois fields?" There are huge numbers of papers about aspects of linear algebra over Galois fields in coding theory, which is all interesting, but -- so far as I know -- these traditional matrix decomps aren't used in coding theory (are they?). At 04:27 PM 2/21/2019, Eugene Salamin via math-fun wrote:
Lots of Google hits for linear algebra over finite fields, as well as p-adic linear algebra.
Look here: https://arxiv.org/pdf/1805.06999.pdf On Thu, Feb 21, 2019 at 20:06 Henry Baker <hbaker1@pipeline.com> wrote:
Hi Gene:
Over the past several years, I've probably downloaded north of 1,000 papers on this subject, but I still haven't found any that address this direct question:
"So you've heard all this cool stuff about matrix factorization (eigenvalue decomp, SVD, polar decomp, etc.) over the reals & complex numbers; what happens to all of this stuff when you move over to the Galois fields?"
There are huge numbers of papers about aspects of linear algebra over Galois fields in coding theory, which is all interesting, but -- so far as I know -- these traditional matrix decomps aren't used in coding theory (are they?).
At 04:27 PM 2/21/2019, Eugene Salamin via math-fun wrote:
Lots of Google hits for linear algebra over finite fields, as well as p-adic linear algebra.
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
participants (3)
-
Eugene Salamin -
Henry Baker -
Victor Miller