06-1350/Class Notes for Thursday October 19 - Revision history

Andy: Added scanned notes

2006-10-25T14:34:48Z

Added scanned notes

← Older revision		Revision as of 10:34, 25 October 2006
Line 16:		Line 16:

	'''Note.''' As of the morning of October 19, I actually know how to solve this question. Whether my solution is useful or not, whether I will be able to use it or not, and if not useful, whether I will be able to make a precise sense of the way it is not useful, is yet to be seen. --[[User:Drorbn\|Drorbn]] 07:36, 19 October 2006 (EDT)		'''Note.''' As of the morning of October 19, I actually know how to solve this question. Whether my solution is useful or not, whether I will be able to use it or not, and if not useful, whether I will be able to make a precise sense of the way it is not useful, is yet to be seen. --[[User:Drorbn\|Drorbn]] 07:36, 19 October 2006 (EDT)

			==Scanned Notes==

			{\| align=left
			\|[[Image:06-1350-scan1019-0001.jpg\|thumb]]
			\|[[Image:06-1350-scan1019-0002.jpg\|thumb]]
			\|[[Image:06-1350-scan1019-0003.jpg\|thumb]]
			\|}
			{\| align=left
			\|[[Image:06-1350-scan1019-0004.jpg\|thumb]]
			\|[[Image:06-1350-scan1019-0005.jpg\|thumb]]
			\|[[Image:06-1350-scan1019-0006.jpg\|thumb]]
			\|}

Drorbn at 11:36, 19 October 2006

2006-10-19T11:36:03Z

← Older revision		Revision as of 07:36, 19 October 2006
Line 14:		Line 14:

	In reality I care about an analog of this question in which the underlying algebra isn't necessarily a matrix algebra. For ''any'' algebra <math>A</math> and any <math>M\in A</math>, <math>\exp(hM)</math> makes sense within the algebra <math>A[[h]]</math> of formal power series in <math>h</math> with coefficients in <math>A</math>. Hence our question makes sense even if <math>A</math> isn't a matrix algebra.		In reality I care about an analog of this question in which the underlying algebra isn't necessarily a matrix algebra. For ''any'' algebra <math>A</math> and any <math>M\in A</math>, <math>\exp(hM)</math> makes sense within the algebra <math>A[[h]]</math> of formal power series in <math>h</math> with coefficients in <math>A</math>. Hence our question makes sense even if <math>A</math> isn't a matrix algebra.

			'''Note.''' As of the morning of October 19, I actually know how to solve this question. Whether my solution is useful or not, whether I will be able to use it or not, and if not useful, whether I will be able to make a precise sense of the way it is not useful, is yet to be seen. --[[User:Drorbn\|Drorbn]] 07:36, 19 October 2006 (EDT)

Drorbn at 20:17, 18 October 2006

2006-10-18T20:17:14Z

New page

{{06-1350/Navigation}}

==Matrix exponentiation is harder than you think==

You think you know matrix exponentiation? OK, here's a question to test your knowledge. Fix a natural number <math>n</math>. From here and on the word "matrix" means "an <math>n\times n</math> matrix with rational entries". Let <math>W</math> be a linear combination of words whose letters are either matrices <math>M_i</math> or meaningless symbols of the form <math>\exp(h_jM_i)</math>. Say that <math>W\sim 0</math> if <math>W</math> becomes <math>0</math> when it is interpreted as a sum of products of formal power series of matrices and polynomials in formal variables <math>h_j</math>, where <math>\exp(h_jM_i)</math> is interpreted to mean <math>\sum_{k=0}^\infty\frac{M_i^kh_j^k}{k!}</math>. (Note that the number of formal parameters <math>h_j</math> need not equal the number of matrices involved).

Thus for example, if the matrices <math>M_1</math> and <math>M_2</math> are known to commute (say <math>M_1=\begin{pmatrix}1&0\\0&0\end{pmatrix}</math> and <math>M_2=\begin{pmatrix}0&0\\0&1\end{pmatrix}</math>), then <math>\exp(hM_1)\exp(hM_2)-\exp(hM_2)\exp(hM_1)\sim 0</math>. In fact, it is even true that <math>\exp(h_1M_1)\exp(h_2M_2)-\exp(h_2M_2)\exp(h_1M_1)\sim 0</math>.

'''Question.''' Provide a reasonable algorithm to decide if <math>W\sim 0</math> or not. In other words, provide a reasonable algorithm to decide if a certain equality between rational matrices and their exponentials holds or not.

Note that an unreasonable algorithm for this question is readily available. Over the algebraic closure of <math>{\mathbb Q}</math>, exponentiations such as <math>\exp(h_jM_i)</math> can be carried out explicitly using diagonalization, and then matrices can be multiplied or added as required, and the question is settled. The reason this is unreasonable is that the algebraic closure of <math>{\mathbb Q}</math> is easy to speak of but very hard to work with. Many of you must have seen computer programs that manipulate rational numbers; this is easy. Have you ever seen a computer program that manipulates arbitrary algebraic numbers?

And of course, I could have asked the question about matrices with entries in some ring that doesn't have an algebraic closure. The question still makes sense, but the approach with explicit exponentiation does not.

In reality I care about an analog of this question in which the underlying algebra isn't necessarily a matrix algebra. For ''any'' algebra <math>A</math> and any <math>M\in A</math>, <math>\exp(hM)</math> makes sense within the algebra <math>A[[h]]</math> of formal power series in <math>h</math> with coefficients in <math>A</math>. Hence our question makes sense even if <math>A</math> isn't a matrix algebra.

← Older revision		Revision as of 10:34, 25 October 2006
Line 16:		Line 16:

	'''Note.''' As of the morning of October 19, I actually know how to solve this question. Whether my solution is useful or not, whether I will be able to use it or not, and if not useful, whether I will be able to make a precise sense of the way it is not useful, is yet to be seen. --[[User:Drorbn\|Drorbn]] 07:36, 19 October 2006 (EDT)		'''Note.''' As of the morning of October 19, I actually know how to solve this question. Whether my solution is useful or not, whether I will be able to use it or not, and if not useful, whether I will be able to make a precise sense of the way it is not useful, is yet to be seen. --[[User:Drorbn\|Drorbn]] 07:36, 19 October 2006 (EDT)

			==Scanned Notes==

			{\| align=left
			\|[[Image:06-1350-scan1019-0001.jpg\|thumb]]
			\|[[Image:06-1350-scan1019-0002.jpg\|thumb]]
			\|[[Image:06-1350-scan1019-0003.jpg\|thumb]]
			\|}
			{\| align=left
			\|[[Image:06-1350-scan1019-0004.jpg\|thumb]]
			\|[[Image:06-1350-scan1019-0005.jpg\|thumb]]
			\|[[Image:06-1350-scan1019-0006.jpg\|thumb]]
			\|}