LaTeX2WP, Princeton grad student seminar, and characteristic polynomial coefficients November 15, 2009Posted by Phi. Isett in Uncategorized.
Alright, I have gotten through my general exam and now maybe I’ll be able to do some blogging and actually get this blog up to industry standard (adding links to other blogs on the sides, etc.). I am writing this entry in order to test out Luca Trevisan’s LaTeX2WP (LaTeX to WordPress) converter, which is described on his site and can be downloaded for free. (So this is my learn-how-to-use-the-program post). It will clearly be helpful for my own blogging purposes for me to understand this software, but I will also be helping initiate another blog which will certainly require it. At Princeton, the pure math students have this Graduate Student Seminar where every Thursday we all eat pizza while somebody gives a lecture on whatever he/she feels like talking about. It seemed like a good idea to make a blog to accompany the seminar so that a broader audience could be reached, so I’ll include a link when the blog comes into being.
(It’ll be pretty cool if it catches on! But for me it probably means I will help to run the blog, and for this purpose I’ll definitely need the converter.)
I need to at least try to write some kind of math, so I’ll explain something which I think is cute: how to express the coefficients of a characteristic polynomial of a matrix in terms of sums of determinants of other matrices constructed from its entries. Actually, I’ll first give an example which contains all the ideas. Consider the matrix whose entries are… Let’s say
The characteristic polynomial is the determinant of the matrix where is the identity matrix. is a degree 3 polynomial with a leading coefficient 1. In terms of the , we have
I discussed the one-dimensional vector space and its geometric meaning in a previous post about the Cauchy-Schwartz inequality and integration. We know that , where , and plugging in into the above expression, we see that . The point of this entry is that we can calculate the other derivatives by differentiating, and use the multi-linearity of the wedge product to differentiate easily. Below the fold I will give an example of how this computation works out, I will state what nice, general formula is proven by this method, and I will discuss the geometric meaning of this computation. (And at the end I will ask a question about this LaTeX2WP/Python business which is still troubling me)
Characteristic Polynomial Coefficients
For example, , and can be obtained from 1 to see that
and after performing some parallel shifts, this identity reduces to
Giving the expression
and we can plug in to obtain as the sum of three subdeterminants of .
Proceeding this way in the general case when is linear and counting shared boundary faces, one shows that
(it is sufficient to prove this identity at x = 0). The characteristic polynomial itself is, of course, , so applying the above formula and Taylor expanding about , we obtain the explicit formula in terms of subdeterminants
which can be compared to the expression involving the eigenvalues of .
Now, the same formula holds for arbitrary commutative rings because only integers and natural quantities show up here, which allows us to use the result from (and the universal property of the polynomial ring) to pass to the general case (basically using indeterminants for the coefficients, and then plugging in arbitrary ring elements into the coefficients).
There is a nice geometric interpretation of the above procedure, which is most easily understood in the setting of the real numbers. We know that the k’th exterior power corresponds to k-parallelograms of vectors in which remain equivalent under parallel shift, so it should be easy to see why the differentiation results in an expression involving parallelograms of dimension one less. In the case , think of the differentiation at as a limit of difference quotients, where we compare the signed volumes of two nearby n-parallelograms, one of which being
whatever the linear map does to the standard basis parallelogram, and the other being the very nearby parallelogram
with x a very small number. Thinking of these parallograms as oriented regions in , the difference in signed volume is easily seen to be an integral supported on essentially the boundary of the parallelogram . Because the perturbation is linear, the quantity integrated on each face basically depends only on the direction of the face (in the limit as x goes to 0), and this is why, upon differentiating once, we obtain the expression we have seen for the fluxes through the faces of . The resulting expression ends up being particularly simple when the perturbation of is in the direction of the identity as in our case, but the picture generalizes to perturbations in general directions, and so one has to go into more detail in order to understand precisely what this flux is for any particular perturbation (I believe it is basically the original volume form contracted with a certain vector field associated to the perturbation that ends up being integrated over the boundary). When one differentiates twice, one similarly obtains integrals over the oriented (n-2)-dimensional boundaries of the -dimensional faces, which share (n-2)-dimensional faces with each other (although in the general case it is much less obvious the answer should be supported on the boundary). This sharing of faces results in the factor of in the formula, which counts the number of k-dimensional faces which have each (k-1)-dimensional face as part of their boundary.
I hope the picture is clear. This method of computation can be used to show that differentiating the determinant function at the identity matrix gives the trace of the perturbation direction (which one can in fact take as an intrinsic definition of trace, if he should desire) although that fact is more related to asymptotics at for the computation presented above. By the way, does anybody know any different, intrinsic definitions of trace? (The more geometric, the better; I am very curious — this one I have given has the geometric meaning of a proportional rate of change of volumes of regions under the flow of a vector field, but I don’t know if there’s a better one.)
Welp.. The post seems to have turned out OK. (A huge amount of gratitude goes out to Luca Trevisan for writing his program). I am slowly learning that it can be better to edit the tex file than to edit the post itself. I wonder if the excess of plus signs looks stupid. I wanted to put some kind of brackets around the vectors in the wedges, but doing so turned out to be a disaster.
But now I have a technical question about how to use the program (or Python?), and I would be very grateful for help:
I’m using Windows Vista (sorry), and for this reason (combined with my own stupidity, my lack of Python knowledge, etc.) had a bit of a headache figuring out how to work this program. What I ended up doing (and I’m pretty sure this is stupid, but if anyone knows what to do instead, please let me know) is I literally edited the file latex2wp.py, and in the main body of the code I actually put in the names of the files. E.g.
inputfile = “C:\Users\[more stuff]\charPolCoeffs.tex”
outputfile = “C:\Users\[the same stuff]\charPolCoeffs.html”
I had opened the .py file directly through IDLE and was able to use the “Run Module” feature in that program. It worked, but I don’t think this is what Luca had in mind, and in particular is not what he instructed (but since I’m not on Linux, I can’t exactly do as he instructed). Namely, Luca suggested (assuming, I believe, that I was in the Linux command prompt) that I input into the command line:
python latex2wp.py charPolCoeffs.tex
When I put these things into the python command prompt (after the arrows >>> ) , I think it believed I was trying to define the variable named “python”… And perhaps also the variable “latex2wp”, but it got very confused upon reaching the ‘.’ Basically, I don’t think it was aware what I was trying to do at all, nor was I aware of how to tell it to go run this ‘.py’ file in a distant directory with the ‘.tex’ file as a parameter. I don’t know anything about how Python works so I don’t understand what was wrong exactly or how to fix it. Any help would be greatly appreciated, although it looks like I can survive with the uncomfortable, makeshift solution of literally editing the document for a while.
Edit (15 Nov 2009): I have included a discussion of the geometric meaning of the computation and a statement of the general result obtained by the method.