Christopher Hillar

NSF Postdoctoral fellow

Texas A&M University


Address:
Dept. of Mathematics
Texas A&M University
College Station, TX 77843-3368

Phone: (979) 845-5045
Fax: (979) 845-6028

Email: chillarmath.tamu.edu

Ph.D. U.C. Berkeley (Mathematics, 2005)
B.S. Yale University (Mathematics, Computer Science, 2000)

Currently on leave visiting University of Copenhagen Department of Mathematical Sciences from April 6 - May 16. I will be giving a lecture series on Groebner Basis and Applications (see below for more details).

Research Interests:
Structured polynomial systems, computational algebraic geometry, combinatorics, matrix analysis.

Office: Room 023 Milner

Teaching: Calculus II - Math 152 (522 - 524)

Seminar: I organize the Texas A&M Algebra and Combinatorics Seminar

Job Applications: My application materials can be found here

Lecture Series on Groebner Bases and Applications

I am giving a lecture series at the University of Copenhagen Department of Mathematical Sciences.

Introduction to Groebner Bases and Applications
Groebner Basics
Applications of Groebner Bases
Invariant Theory and Symmetric Groebner Bases

Time permitting, I will try and put together a set of notes for these lectures.

Sums of polynomial squares over totally real fields are rational sums of squares

Let K be a totally real number field. We prove that if f in Q[x₁,...,x_n] is a sum of squares in K[x₁,...,x_n], then f is a sum of squares in Q[x₁,...,x_n]. Moreover, our argument is constructive. This gives a partial resolution to a question of Sturmfels on the algebraic degree of certain semidefinite programing problems. A practical application is that searching numerically for sums of squares can be done in exact arithmetic over the rationals (if it can be done at all over K). Proceedings of the American Mathematical Society, to appear.

Automorphisms of Abelian Groups

We give a complete description of the automorphisms of finite abelian groups. This leads to a formula for their cardinalities. Although this characterization has essentially been known for quite some time, we provide a much needed modern and accessible treatment. (Joint with D. Rhea). To appear in The American Mathematical Monthly. arXiv | Wikipedia

Algebraic Characterization of Uniquely Vertex Colorable Graphs

(slides from a talk and code for algorithms) The study of graph colorability from an algebraic perspective has introduced novel techniques and algorithms into the field. For instance, k-colorability of a graph can be characterized by whether its graph polynomial is contained in a certain ideal. In this paper, we interpret unique colorability in an analogous manner and use Groebner basis techniques to prove an algebraic characterization for uniquely k-colorable graphs. Our result also gives algorithms for testing unique colorability. As an application, we verify a counterexample to a conjecture of Xu concerning uniquely 3-colorable graphs without triangles. (Joint with T. Windfeldt). To appear in Journal of Combinatorial Theory Series B

We give an elementary and elegant proof of the following generalization of a fundamental result of Artin:

Let A be a symmetric matrix with entries in the polynomial ring R[x₁,...,x_n].

Theorem: If A is postive semidefinite for all substitutions (x₁,...,x_n) in Rⁿ, then A can be expressed as a sum of squares of symmetric matrices with entries in R(x₁,...,x_n).

Moreover, our proof is constructive and gives an explicit representation modulo the scalar case. (Joint with J. Nie). To appear in the Proceedings of the American Mathematical Society.

Finite Generation of Symmetric Ideals

(some slides from a talk) We prove a finiteness theorem for ideals in infinite dimensional polynomial rings that are invariant under symmetric group action. The proof involves introducing a certain well-quasi-ordering on monomials and developing a theory of Groebner bases and reduction in this setting. We also consider the concept of an invariant chain of ideals for finite-dimensional polynomial rings and relate it to the finite generation result mentioned above. Finally, a motivating question from chemistry is presented. (Joint with Matthias Aschenbrenner). To appear in Trans. Amer. Math. Soc.

A follow up note (with Troels Windfeldt) showing that invariant ideals are not always generated by a fixed number of polynomials is here, Proc. Amer. Math. Soc., to appear.

New: An Algorithm for computing these Groebner bases | Preliminary manuscript | arxiv

Advances on the Bessis-Moussa-Villani Trace Conjecture

(A poster, some talk slides, and a brief overview of what is known). We make some advances on a long-standing BMV conjecture in mathematical physics due to Bessis, Moussa, and Villani. The statement is enticingly simple (thanks to a reformulation by Elliot Lieb and Robert Seiringer): For every positive integer m and every pair of positive definite matrices A and B, the polynomial

p(t) = Tr[(A+tB)^m]

has nonnegative coefficients. One of the interesting implications is that to prove the conjecture for all m, it is enough to prove it for infinitely many m. Moreover, if it is true for some m, then it is true for all smaller m. To appear in Linear Algebra and Applications.

A recent result of Daniel Haegele proves the conjecture for m = 7, although his technique does not generalize to m = 6. However, by my results, this implies the m = 6 case as well.

Solving Symmetric Word Equations

(code that preforms the calculations in this paper: maple code 1 | maple code 2). We continue a study of the solvability of symmetric word equations in positive definite letters. Let S(X,B) be a palindromic word in two letters X and B. A previous result states that for each pair of positive definite matrices B and P, there is a positive definite solution X to the equation S(X,B) = P. The authors also conjectured that these solutions are unique. In this paper, we resolve this conjecture (negatively). Furthermore, we prove that, generically, the number of solutions is odd (and thus finite) in the real case. Our approach utilizes the theory of Brouwer degree and also provides a second proof of existence of such solutions in the real case. (Joint with Scott Armstrong). To appear in Journal of the London Mathematical Society.