Showing 1–29 of 29 results for author: Hillar, C J

Equivariant Gröbner bases

Authors: Christopher J. Hillar, Robert Krone, Anton Leykin

Abstract: Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible the development of effective routines. Ability to compute relies on finite generation up to symmetry for ideals invariant under a large group or monoid action, s… ▽ More Algorithmic computation in polynomial rings is a classical topic in mathematics. However, little attention has been given to the case of rings with an infinite number of variables until recently when theoretical efforts have made possible the development of effective routines. Ability to compute relies on finite generation up to symmetry for ideals invariant under a large group or monoid action, such as the permutations of the natural numbers. We summarize the current state of theory and applications for equivariant Gröbner bases, develop several algorithms to compute them, showcase our software implementation, and close with several open problems and computational challenges. △ Less

Submitted 1 August, 2017; v1 submitted 6 October, 2016; originally announced October 2016.

Comments: 23 pages, 1 figure. arXiv admin note: text overlap with arXiv:1604.08517

Lower Bounds in Real Schubert Calculus

Authors: Nickolas Hein, Christopher J. Hillar, Frank Sottile

Abstract: We describe a large-scale computational experiment to study structure in the numbers of real solutions to osculating instances of Schubert problems. This investigation uncovered Schubert problems whose computed numbers of real solutions variously exhibit nontrivial upper bounds, lower bounds, gaps, and a congruence modulo four. We present a family of Schubert problems, one in each Grassmannian, an… ▽ More We describe a large-scale computational experiment to study structure in the numbers of real solutions to osculating instances of Schubert problems. This investigation uncovered Schubert problems whose computed numbers of real solutions variously exhibit nontrivial upper bounds, lower bounds, gaps, and a congruence modulo four. We present a family of Schubert problems, one in each Grassmannian, and prove their osculating instances have the observed lower bounds and gaps. △ Less

Submitted 20 August, 2013; originally announced August 2013.

Comments: 22 pages

MSC Class: 14N15; 14P99

Inverses of symmetric, diagonally dominant positive matrices and applications

Authors: Christopher J. Hillar, Shaowei Lin, Andre Wibisono

Abstract: We prove tight bounds for the $\infty$-norm of the inverse of symmetric, diagonally dominant positive matrices. We also prove a new lower-bound form of Hadamard's inequality for the determinant of diagonally dominant positive matrices and an improved upper bound for diagonally balanced positive matrices. Applications of our results include numerical stability for linear systems, bounds on inverses… ▽ More We prove tight bounds for the $\infty$-norm of the inverse of symmetric, diagonally dominant positive matrices. We also prove a new lower-bound form of Hadamard's inequality for the determinant of diagonally dominant positive matrices and an improved upper bound for diagonally balanced positive matrices. Applications of our results include numerical stability for linear systems, bounds on inverses of differentiable functions, and consistency of the maximum likelihood equations for maximum entropy graph distributions. △ Less

Submitted 8 March, 2013; v1 submitted 29 March, 2012; originally announced March 2012.

Comments: 18 pages

Complex static skew-symmetric output feedback control

Authors: Christopher J. Hillar, Frank Sottile

Abstract: We study the problem of feedback control for skew-symmetric and skew-Hamiltonian transfer functions using skew-symmetric controllers. This extends work of Helmke, et al., who studied static symmetric feedback control of symmetric and Hamiltonian linear systems. We identify spaces of linear systems with symmetry as natural subvarieties of the moduli space of rational curves in a Grassmannian, give… ▽ More We study the problem of feedback control for skew-symmetric and skew-Hamiltonian transfer functions using skew-symmetric controllers. This extends work of Helmke, et al., who studied static symmetric feedback control of symmetric and Hamiltonian linear systems. We identify spaces of linear systems with symmetry as natural subvarieties of the moduli space of rational curves in a Grassmannian, give necessary and sufficient conditions for pole placement by static skew-symmetric complex feedback, and use Schubert calculus for the orthogonal Grassmannian to count the number of complex feedback laws when there are finitely many of them. Finally, we also construct a real skew-symmetric linear system with only real feedback for any set of real poles. △ Less

Submitted 3 March, 2013; v1 submitted 15 November, 2011; originally announced November 2011.

Comments: 17 pages

Report number: Mittag-Leffler-2011spring MSC Class: 93B55; 14M15; 93B27

Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals

Authors: Christopher J. Hillar, Abraham Martin del Campo

Abstract: We study chains of lattice ideals that are invariant under a symmetric group action. In our setting, the ambient rings for these ideals are polynomial rings which are increasing in (Krull) dimension. Thus, these chains will fail to stabilize in the traditional commutative algebra sense. However, we prove a theorem which says that "up to the action of the group", these chains locally stabilize. We… ▽ More We study chains of lattice ideals that are invariant under a symmetric group action. In our setting, the ambient rings for these ideals are polynomial rings which are increasing in (Krull) dimension. Thus, these chains will fail to stabilize in the traditional commutative algebra sense. However, we prove a theorem which says that "up to the action of the group", these chains locally stabilize. We also give an algorithm, which we have implemented in software, for explicitly constructing these stabilization generators for a family of Laurent toric ideals involved in applications to algebraic statistics. We close with several open problems and conjectures arising from our theoretical and computational investigations. △ Less

Submitted 25 June, 2012; v1 submitted 4 October, 2011; originally announced October 2011.

Comments: to appear in the Journal of Symbolic Computation

MSC Class: 13E05; 13E15; 13P99; 20B30; 06A07

The monotone secant conjecture in the real Schubert calculus

Authors: Nickolas Hein, Christopher J. Hillar, Abraham Martin del Campo, Frank Sottile, Zach Teitler

Abstract: The monotone secant conjecture posits a rich class of polynomial systems, all of whose solutions are real. These systems come from the Schubert calculus on flag manifolds, and the monotone secant conjecture is a compelling generalization of the Shapiro conjecture for Grassmannians (Theorem of Mukhin, Tarasov, and Varchenko). We present some theoretical evidence for this conjecture, as well as comp… ▽ More The monotone secant conjecture posits a rich class of polynomial systems, all of whose solutions are real. These systems come from the Schubert calculus on flag manifolds, and the monotone secant conjecture is a compelling generalization of the Shapiro conjecture for Grassmannians (Theorem of Mukhin, Tarasov, and Varchenko). We present some theoretical evidence for this conjecture, as well as computational evidence obtained by 1.9 teraHertz-years of computing, and we discuss some of the phenomena we observed in our data. △ Less

Submitted 18 October, 2014; v1 submitted 15 September, 2011; originally announced September 2011.

Comments: Final paper version of 2011 abstract for MEGA

MSC Class: 14M15; 14P99

When can dictionary learning uniquely recover sparse data from subsamples?

Authors: Christopher J. Hillar, Friedrich T. Sommer

Abstract: Sparse coding or sparse dictionary learning has been widely used to recover underlying structure in many kinds of natural data. Here, we provide conditions guaranteeing when this recovery is universal; that is, when sparse codes and dictionaries are unique (up to natural symmetries). Our main tool is a useful lemma in combinatorial matrix theory that allows us to derive bounds on the sample sizes… ▽ More Sparse coding or sparse dictionary learning has been widely used to recover underlying structure in many kinds of natural data. Here, we provide conditions guaranteeing when this recovery is universal; that is, when sparse codes and dictionaries are unique (up to natural symmetries). Our main tool is a useful lemma in combinatorial matrix theory that allows us to derive bounds on the sample sizes guaranteeing such uniqueness under various assumptions for how training data are generated. Whenever the conditions to one of our theorems are met, any sparsity-constrained learning algorithm that succeeds in reconstructing the data recovers the original sparse codes and dictionary. We also discuss potential applications to neuroscience and data analysis. △ Less

Submitted 31 July, 2015; v1 submitted 18 June, 2011; originally announced June 2011.

Comments: 8 pages, 1 figures; IEEE Trans. Info. Theory, to appear

Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond

Authors: Osbert Bastani, Christopher J. Hillar, Dimitar Popov, J. Maurice Rojas

Abstract: Suppose f is a real univariate polynomial of degree D with exactly 4 monomial terms. We present an algorithm, with complexity polynomial in log D on average (relative to the stable log-uniform measure), for counting the number of real roots of f. The best previous algorithms had complexity super-linear in D. We also discuss connections to sums of squares and A-discriminants, including explicit obs… ▽ More Suppose f is a real univariate polynomial of degree D with exactly 4 monomial terms. We present an algorithm, with complexity polynomial in log D on average (relative to the stable log-uniform measure), for counting the number of real roots of f. The best previous algorithms had complexity super-linear in D. We also discuss connections to sums of squares and A-discriminants, including explicit obstructions to expressing positive definite sparse polynomials as sums of squares of few sparse polynomials. Our key tool is the introduction of efficiently computable chamber cones, bounding regions in coefficient space where the number of real roots of f can be computed easily. Much of our theory extends to n-variate (n+3)-nomials. △ Less

Submitted 13 January, 2011; originally announced January 2011.

Comments: 20 pages, 5 figures, submitted to a refereed conference proceedings

The Secant Conjecture in the real Schubert calculus

Authors: Luis Garcia-Puente, Nickolas Hein, Christopher J. Hillar, Abraham Martin del Campo, James Ruffo, Frank Sottile, Zach Teitler

Abstract: We formulate the Secant Conjecture, which is a generalization of the Shapiro Conjecture for Grassmannians. It asserts that an intersection of Schubert varieties in a Grassmannian is transverse with all points real, if the flags defining the Schubert varieties are secant along disjoint intervals of a rational normal curve. We present theoretical evidence for it as well as computational evidence obt… ▽ More We formulate the Secant Conjecture, which is a generalization of the Shapiro Conjecture for Grassmannians. It asserts that an intersection of Schubert varieties in a Grassmannian is transverse with all points real, if the flags defining the Schubert varieties are secant along disjoint intervals of a rational normal curve. We present theoretical evidence for it as well as computational evidence obtained in over one terahertz-year of computing, and we discuss some phenomena we observed in our data. △ Less

Submitted 24 January, 2012; v1 submitted 4 October, 2010; originally announced October 2010.

Comments: 19 pages

MSC Class: 14M25; 14P99

Equations solvable by radicals in a uniquely divisible group

Authors: Christopher J. Hillar, Lionel Levine, Darren Rhea

Abstract: We study equations in groups G with unique m-th roots for each positive integer m. A word equation in two letters is an expression of the form w(X,A) = B, where w is a finite word in the alphabet {X,A}. We think of A,B in G as fixed coefficients, and X in G as the unknown. Certain word equations, such as XAXAX=B, have solutions in terms of radicals, while others such as XXAX = B do not. We obtain… ▽ More We study equations in groups G with unique m-th roots for each positive integer m. A word equation in two letters is an expression of the form w(X,A) = B, where w is a finite word in the alphabet {X,A}. We think of A,B in G as fixed coefficients, and X in G as the unknown. Certain word equations, such as XAXAX=B, have solutions in terms of radicals, while others such as XXAX = B do not. We obtain the first known infinite families of word equations not solvable by radicals, and conjecture a complete classification. To a word w we associate a polynomial P_w in Z[x,y] in two commuting variables, which factors whenever w is a composition of smaller words. We prove that if P_w(x^2,y^2) has an absolutely irreducible factor in Z[x,y], then the equation w(X,A)=B is not solvable in terms of radicals. △ Less

Submitted 24 April, 2012; v1 submitted 29 April, 2010; originally announced April 2010.

Comments: 18 pages, added Lemma 5.2. To appear in Bull. Lon. Math. Soc

MSC Class: 15A24; 20F10; 20F70; 68R15

Finite Groebner bases in infinite dimensional polynomial rings and applications

Authors: Christopher J. Hillar, Seth Sullivant

Abstract: We introduce the theory of monoidal Groebner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Groebner bases of ideals that are stable under the action of a monoid. The main motivation for developing this theory is to prove finiteness theorems in commutative algebra and its applications. A major result of this type is that ideals in infini… ▽ More We introduce the theory of monoidal Groebner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Groebner bases of ideals that are stable under the action of a monoid. The main motivation for developing this theory is to prove finiteness theorems in commutative algebra and its applications. A major result of this type is that ideals in infinitely many indeterminates stable under the action of the symmetric group are finitely generated up to symmetry. We use this machinery to give new proofs of some classical finiteness theorems in algebraic statistics as well as a proof of the independent set conjecture of Hosten and the second author. △ Less

Submitted 24 August, 2011; v1 submitted 12 August, 2009; originally announced August 2009.

Comments: 24 pages, adds references to work of Cohen, adds more details in Section 4

Fibonacci Identities and Graph Colorings

Authors: Christopher J. Hillar, Troels Windfeldt

Abstract: We generalize both the Fibonacci and Lucas numbers to the context of graph colorings, and prove some identities involving these numbers. As a corollary we obtain new proofs of some known identities involving Fibonacci numbers such as \[F_{r+s+t} = F_{r+1}F_{s+1}F_{t+1} + F_r F_s F_t - F_{r-1}F_{s-1}F_{t-1}.\] We generalize both the Fibonacci and Lucas numbers to the context of graph colorings, and prove some identities involving these numbers. As a corollary we obtain new proofs of some known identities involving Fibonacci numbers such as \[F_{r+s+t} = F_{r+1}F_{s+1}F_{t+1} + F_r F_s F_t - F_{r-1}F_{s-1}F_{t-1}.\] △ Less

Submitted 8 July, 2008; v1 submitted 7 May, 2008; originally announced May 2008.

Comments: 5 pages, 1 figure

MSC Class: 05C15; 05A19; 05C38

An Algorithm for Finding Symmetric Gröbner Bases in Infinite Dimensional Rings

Authors: Matthias Aschenbrenner, Christopher J. Hillar

Abstract: A \textit{symmetric ideal} $I \subseteq R = K[x_1,x_2,...]$ is an ideal that is invariant under the natural action of the infinite symmetric group. We give an explicit algorithm to find Gröbner bases for symmetric ideals in the infinite dimensional polynomial ring $R$. This allows for symbolic computation in a new class of rings. In particular, we solve the ideal membership problem for symmetric… ▽ More A \textit{symmetric ideal} $I \subseteq R = K[x_1,x_2,...]$ is an ideal that is invariant under the natural action of the infinite symmetric group. We give an explicit algorithm to find Gröbner bases for symmetric ideals in the infinite dimensional polynomial ring $R$. This allows for symbolic computation in a new class of rings. In particular, we solve the ideal membership problem for symmetric ideals of $R$. △ Less

Submitted 29 January, 2008; originally announced January 2008.

Comments: preliminary abstract, 10 pages

MSC Class: 13E05; 13E15; 20B30; 06A07

On the Positivity of the Coefficients of a Certain Polynomial Defined by Two Positive Definite Matrices

Authors: Christopher J. Hillar, Charles R. Johnson

Abstract: It is shown that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has positive coefficients when $m = 6$ and $A$ and $B$ are any two 3-by-3 complex Hermitian positive definite matrices. This case is the first that is not covered by prior, general results. This problem arises from a conjecture raised by Bessis, Moussa and Villani in connection with a long-standing problem in theoretical physics. The… ▽ More It is shown that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has positive coefficients when $m = 6$ and $A$ and $B$ are any two 3-by-3 complex Hermitian positive definite matrices. This case is the first that is not covered by prior, general results. This problem arises from a conjecture raised by Bessis, Moussa and Villani in connection with a long-standing problem in theoretical physics. The full conjecture, as shown recently by Lieb and Seiringer, is equivalent to $p(t)$ having positive coefficients for any $m$ and any two $n$-by-$n$ positive definite matrices. We show that, generally, the question in the real case reduces to that of singular $A$ and $B$, and this is a key part of our proof. △ Less

Submitted 4 July, 2007; originally announced July 2007.

Comments: 7 pages, J. Statistical Physics

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

Authors: Christopher J. Hillar

Abstract: Let $K$ be a totally real number field with Galois closure $L$. We prove that if $f \in \mathbb Q[x_1,...,x_n]$ is a sum of $m$ squares in $K[x_1,...,x_n]$, then $f$ is a sum of \[4m \cdot 2^{[L: \mathbb Q]+1} {[L: \mathbb Q] +1 \choose 2}\] squares in $\mathbb Q[x_1,...,x_n]$. Moreover, our argument is constructive and generalizes to the case of commutative $K$-algebras. This result gives a par… ▽ More Let $K$ be a totally real number field with Galois closure $L$. We prove that if $f \in \mathbb Q[x_1,...,x_n]$ is a sum of $m$ squares in $K[x_1,...,x_n]$, then $f$ is a sum of \[4m \cdot 2^{[L: \mathbb Q]+1} {[L: \mathbb Q] +1 \choose 2}\] squares in $\mathbb Q[x_1,...,x_n]$. Moreover, our argument is constructive and generalizes to the case of commutative $K$-algebras. This result gives a partial resolution to a question of Sturmfels on the algebraic degree of certain semidefinite programing problems. △ Less

Submitted 29 August, 2008; v1 submitted 21 April, 2007; originally announced April 2007.

Comments: 10 pages, final version to appear in Proceedings of the AMS

An elementary and constructive solution to Hilbert's 17th Problem for matrices

Authors: Christopher J. Hillar, Jiawang Nie

Abstract: We give a short and elementary proof of a theorem of Procesi, Schacher and (independently) Gondard, Ribenboim that generalizes a famous result of Artin. Let $A$ be an $n \times n$ symmetric matrix with entries in the polynomial ring $\mathbb R[x_1,...,x_m]$. The result is that if $A$ is postive semidefinite for all substitutions $(x_1,...,x_m) \in \mathbb R^m$, then $A$ can be expressed as a sum… ▽ More We give a short and elementary proof of a theorem of Procesi, Schacher and (independently) Gondard, Ribenboim that generalizes a famous result of Artin. Let $A$ be an $n \times n$ symmetric matrix with entries in the polynomial ring $\mathbb R[x_1,...,x_m]$. The result is that if $A$ is postive semidefinite for all substitutions $(x_1,...,x_m) \in \mathbb R^m$, then $A$ can be expressed as a sum of squares of symmetric matrices with entries in $\mathbb R(x_1,...,x_m)$. Moreover, our proof is constructive and gives explicit representations modulo the scalar case. △ Less

Submitted 27 October, 2006; v1 submitted 12 October, 2006; originally announced October 2006.

Comments: 3 pages, generalized and added 2 examples

MSC Class: 12D15; 03C64; 13L05; 14P05; 15A21; 15A54

Minimal Generators for Symmetric Ideals

Authors: Christopher J. Hillar, Troels Windfeldt

Abstract: Let $K$ be a field, and let $R = K[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $K$. Let ${\mathfrak S}_{X}$ be the symmetric group of $X$. The group ${\mathfrak S}_{X}$ acts naturally on $R$, and this in turn gives $R$ the structure of a left module over the (left) group ring $R[{\mathfrak S}_{X}]$. A recent theorem of Aschenbrenner and Hillar states that the… ▽ More Let $K$ be a field, and let $R = K[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $K$. Let ${\mathfrak S}_{X}$ be the symmetric group of $X$. The group ${\mathfrak S}_{X}$ acts naturally on $R$, and this in turn gives $R$ the structure of a left module over the (left) group ring $R[{\mathfrak S}_{X}]$. A recent theorem of Aschenbrenner and Hillar states that the module $R$ is Noetherian. We prove that submodules of $R$ can have any number of minimal generators. △ Less

Submitted 27 September, 2006; v1 submitted 31 July, 2006; originally announced August 2006.

Comments: 2 Pages

MSC Class: 13E05; 13E15; 20B30; 06A07

Algebraic Characterization of Uniquely Vertex Colorable Graphs

Authors: Christopher J. Hillar, Troels Windfeldt

Abstract: The study of graph vertex colorability from an algebraic perspective has introduced novel techniques and algorithms into the field. For instance, it is known that $k$-colorability of a graph $G$ is equivalent to the condition $1 \in I_{G,k}$ for a certain ideal $I_{G,k} \subseteq \k[x_1, ..., x_n]$. In this paper, we extend this result by proving a general decomposition theorem for $I_{G,k}$. Th… ▽ More The study of graph vertex colorability from an algebraic perspective has introduced novel techniques and algorithms into the field. For instance, it is known that $k$-colorability of a graph $G$ is equivalent to the condition $1 \in I_{G,k}$ for a certain ideal $I_{G,k} \subseteq \k[x_1, ..., x_n]$. In this paper, we extend this result by proving a general decomposition theorem for $I_{G,k}$. This theorem allows us to give an algebraic characterization of uniquely $k$-colorable graphs. Our results also give algorithms for testing unique colorability. As an application, we verify a counterexample to a conjecture of Xu concerning uniquely 3-colorable graphs without triangles. △ Less

Submitted 24 September, 2007; v1 submitted 22 June, 2006; originally announced June 2006.

Comments: 15 pages, 2 figures, print version, to appear J. Comb. Th. Ser. B

Automorphisms of finite Abelian groups

Authors: Christopher J. Hillar, Darren Rhea

Abstract: We give an accessible and modern description of the automorphisms of a finite abelian group $G$. Included is an explicit formula for the cardinality of $Aut(G)$. We give an accessible and modern description of the automorphisms of a finite abelian group $G$. Included is an explicit formula for the cardinality of $Aut(G)$. △ Less

Submitted 7 May, 2006; originally announced May 2006.

Comments: 6 pages, American Mathematical Monthly

Eigenvalues of Words in Two Positive Definite Letters

Authors: Christopher J Hillar, Charles R Johnson

Abstract: The question of whether all words in two real positive definite letters have only positive eigenvalues is addressed and settled (negatively). This question was raised some time ago in connection with a long-standing problem in theoretical physics. A large class of words that do guarantee positive eigenvalues is identified, and considerable evidence is given for the conjecture that no other words… ▽ More The question of whether all words in two real positive definite letters have only positive eigenvalues is addressed and settled (negatively). This question was raised some time ago in connection with a long-standing problem in theoretical physics. A large class of words that do guarantee positive eigenvalues is identified, and considerable evidence is given for the conjecture that no other words do. In the process, a fundamental question about solvability of symmetric word equations is encountered. △ Less

Submitted 16 November, 2005; originally announced November 2005.

Comments: 13 pages, SIAM Journal of Matrix Analysis

MSC Class: 15A24; 15A57; 15A18; 15A90

A Result About the Density of Iterated Line Intersections in the Plane

Authors: Christopher J. Hillar, Darren L. Rhea

Abstract: Let $S$ be a finite set of points in the plane and let $\mathcal{T}(S)$ be the set of intersection points between pairs of lines passing through any two points in $S$. We characterize all configurations of points $S$ such that iteration of the above operation produces a dense set. We also discuss partial results on the characterization of those finite point-sets with rational coordinates that ge… ▽ More Let $S$ be a finite set of points in the plane and let $\mathcal{T}(S)$ be the set of intersection points between pairs of lines passing through any two points in $S$. We characterize all configurations of points $S$ such that iteration of the above operation produces a dense set. We also discuss partial results on the characterization of those finite point-sets with rational coordinates that generate all of $\mathbb Q^2$ through iteration of $\mathcal{T}$. △ Less

Submitted 25 July, 2005; v1 submitted 22 July, 2005; originally announced July 2005.

Comments: 10 pages, 8 figures (low-res for the arXiv), Computational Geometry: Theory and Applications

MSC Class: 52C30; 52C10

Solvability of Symmetric Word Equations in Positive Definite Letters

Authors: Scott N. Armstrong, Christopher J. Hillar

Abstract: Let $S(X,B)$ be a symmetric (``palindromic'') word in two letters $X$ and $B$. A theorem due to Hillar and Johnson states that for each pair of positive definite matrices $B$ and $P$, there is a positive definite solution $X$ to the word equation $S(X,B)=P$. They also conjectured that these solutions are finite and unique. In this paper, we resolve a modified version of this conjecture by showin… ▽ More Let $S(X,B)$ be a symmetric (``palindromic'') word in two letters $X$ and $B$. A theorem due to Hillar and Johnson states that for each pair of positive definite matrices $B$ and $P$, there is a positive definite solution $X$ to the word equation $S(X,B)=P$. They also conjectured that these solutions are finite and unique. In this paper, we resolve a modified version of this conjecture by showing that the Brouwer degree of such an equation is equal to 1 (in the case of real matrices). It follows that, generically, the number of solutions is odd (and thus finite) in the real case. Our approach allows us to address the more subtle question of uniqueness by exhibiting equations with multiple real solutions, as well as providing a second proof of the result of Hillar and Johnson in the real case. △ Less

Submitted 18 February, 2007; v1 submitted 15 July, 2005; originally announced July 2005.

Comments: 21 pages

MSC Class: 15A24; 15A57; 15A18; 15A90

Advances on the Bessis-Moussa-Villani Trace Conjecture

Authors: Christopher J. Hillar

Abstract: A long-standing conjecture asserts that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has nonnegative coefficients whenever $m$ is a positive integer and $A$ and $B$ are any two $n \times n$ positive semidefinite Hermitian matrices. The conjecture arises from a question raised by Bessis, Moussa, and Villani (1975) in connection with a problem in theoretical physics. Their conjecture, as shown re… ▽ More A long-standing conjecture asserts that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has nonnegative coefficients whenever $m$ is a positive integer and $A$ and $B$ are any two $n \times n$ positive semidefinite Hermitian matrices. The conjecture arises from a question raised by Bessis, Moussa, and Villani (1975) in connection with a problem in theoretical physics. Their conjecture, as shown recently by Lieb and Seiringer, is equivalent to the trace positivity statement above. In this paper, we derive a fundamental set of equations satisfied by $A$ and $B$ that minimize or maximize a coefficient of $p(t)$. Applied to the Bessis-Moussa-Villani (BMV) conjecture, these equations provide several reductions. In particular, we prove that it is enough to show that (1) it is true for infinitely many $m$, (2) a nonzero (matrix) coefficient of $(A+tB)^m$ always has at least one positive eigenvalue, or (3) the result holds for singular positive semidefinite matrices. Moreover, we prove that if the conjecture is false for some $m$, then it is false for all larger $m$. △ Less

Submitted 5 January, 2007; v1 submitted 7 July, 2005; originally announced July 2005.

Comments: 12 pages

MSC Class: 15A24; 15A45; 15A90; 33Cxx; 44A10; 47A50; 47N50; 49J40

Absolutely Flat Idempotents

Authors: Jonathan M. Groves, Yonatan Harel, Christopher J. Hillar, Charles R. Johnson, Patrick X. Rault

Abstract: A real $n$-by-$n$ idempotent matrix $A$ with all entries having the same absolute value is called {\it absolutely flat}. We consider the possible ranks of such matrices and herein characterize the triples: size, constant, and rank for which such a matrix exists. Possible inequivalent examples of such matrices are also discussed. A real $n$-by-$n$ idempotent matrix $A$ with all entries having the same absolute value is called {\it absolutely flat}. We consider the possible ranks of such matrices and herein characterize the triples: size, constant, and rank for which such a matrix exists. Possible inequivalent examples of such matrices are also discussed. △ Less

Submitted 28 April, 2005; originally announced April 2005.

Comments: 11 pages, Electronic Journal of Linear Algebra

MSC Class: 15A21; 15A24; 05A15; 46B20

Finite generation of symmetric ideals

Authors: Matthias Aschenbrenner, Christopher J. Hillar

Abstract: Let $A$ be a commutative Noetherian ring, and let $R = A[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $A$. Let ${\mathfrak S}_{X}$ be the group of permutations of $X$. The group ${\mathfrak S}_{X}$ acts on $R$ in a natural way, and this in turn gives $R$ the structure of a left module over the left group ring $R[{\mathfrak S}_{X}]$. We prove that all ideals of… ▽ More Let $A$ be a commutative Noetherian ring, and let $R = A[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $A$. Let ${\mathfrak S}_{X}$ be the group of permutations of $X$. The group ${\mathfrak S}_{X}$ acts on $R$ in a natural way, and this in turn gives $R$ the structure of a left module over the left group ring $R[{\mathfrak S}_{X}]$. We prove that all ideals of $R$ invariant under the action of ${\mathfrak S}_{X}$ are finitely generated as $R[{\mathfrak S}_{X}]$-modules. The proof involves introducing a certain well-quasi-ordering on monomials and developing a theory of Gröbner 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, with the above framework providing a suitable context in which to study it. △ Less

Submitted 2 May, 2007; v1 submitted 23 November, 2004; originally announced November 2004.

Comments: 22 pages, print version, Transactions of the AMS

MSC Class: 13E05; 13E15; 20B30; 06A07

Polynomial recurrences and cyclic resultants

Authors: Christopher J. Hillar, Lionel Levine

Abstract: Let $K$ be an algebraically closed field of characteristic zero and let $f \in K[x]$. The $m$-th {\it cyclic resultant} of $f$ is \[r_m = \text{Res}(f,x^m-1).\] A generic monic polynomial is determined by its full sequence of cyclic resultants; however, the known techniques proving this result give no effective computational bounds. We prove that a generic monic polynomial of degree $d$ is deter… ▽ More Let $K$ be an algebraically closed field of characteristic zero and let $f \in K[x]$. The $m$-th {\it cyclic resultant} of $f$ is \[r_m = \text{Res}(f,x^m-1).\] A generic monic polynomial is determined by its full sequence of cyclic resultants; however, the known techniques proving this result give no effective computational bounds. We prove that a generic monic polynomial of degree $d$ is determined by its first $2^{d+1}$ cyclic resultants and that a generic monic reciprocal polynomial of even degree $d$ is determined by its first $2\cdot 3^{d/2}$ of them. In addition, we show that cyclic resultants satisfy a polynomial recurrence of length $d+1$. This result gives evidence supporting the conjecture of Sturmfels and Zworski that $d+1$ resultants determine $f$. In the process, we establish two general results of independent interest: we show that certain Toeplitz determinants are sufficient to determine whether a sequence is linearly recurrent, and we give conditions under which a linearly recurrent sequence satisfies a polynomial recurrence of shorter length. △ Less

Submitted 7 November, 2006; v1 submitted 18 November, 2004; originally announced November 2004.

Comments: Proceedings of the AMS

MSC Class: 11B37; 14Q99 (primary); 15A15; 20M25 (secondary)

Cyclic Resultants

Authors: Christopher J. Hillar

Abstract: We characterize polynomials having the same set of nonzero cyclic resultants. Generically, for a polynomial $f$ of degree $d$, there are exactly $2^{d-1}$ distinct degree $d$ polynomials with the same set of cyclic resultants as $f$. However, in the generic monic case, degree $d$ polynomials are uniquely determined by their cyclic resultants. Moreover, two reciprocal (``palindromic'') polynomial… ▽ More We characterize polynomials having the same set of nonzero cyclic resultants. Generically, for a polynomial $f$ of degree $d$, there are exactly $2^{d-1}$ distinct degree $d$ polynomials with the same set of cyclic resultants as $f$. However, in the generic monic case, degree $d$ polynomials are uniquely determined by their cyclic resultants. Moreover, two reciprocal (``palindromic'') polynomials giving rise to the same set of nonzero cyclic resultants are equal. In the process, we also prove a unique factorization result in semigroup algebras involving products of binomials. Finally, we discuss how our results yield algorithms for explicit reconstruction of polynomials from their cyclic resultants. △ Less

Submitted 28 April, 2005; v1 submitted 18 January, 2004; originally announced January 2004.

Comments: 16 pages, Journal of Symbolic Computation, print version with errata incorporated

Logarithmic Derivatives of Solutions to Linear Differential Equations

Authors: Christopher J. Hillar

Abstract: Given an ordinary differential field $K$ of characteristic zero, it is known that if $y$ and $1/y$ satisfy linear differential equations with coefficients in $K$, then $y'/y$ is algebraic over $K$. We present a new short proof of this fact using Gröbner basis techniques and give a direct method for finding a polynomial over $K$ that $y'/y$ satisfies. Moreover, we provide explicit degree bounds a… ▽ More Given an ordinary differential field $K$ of characteristic zero, it is known that if $y$ and $1/y$ satisfy linear differential equations with coefficients in $K$, then $y'/y$ is algebraic over $K$. We present a new short proof of this fact using Gröbner basis techniques and give a direct method for finding a polynomial over $K$ that $y'/y$ satisfies. Moreover, we provide explicit degree bounds and extend the result to fields with positive characteristic. Finally, we give an application of our method to a class of nonlinear differential equations. △ Less

Submitted 21 October, 2003; v1 submitted 6 September, 2003; originally announced September 2003.

Comments: 9 pages, Proceedings of the AMS

MSC Class: 34M15 13P10 (Primary); 34A26 (Secondary)

Symmetric Word Equations in Two Positive Definite Letters

Authors: Christopher J. Hillar, Charles R. Johnson

Abstract: A generalized word in two positive definite matrices A and B is a finite product of nonzero real powers of A and B. Symmetric words in positive definite A and B are positive definite, and so for fxed B, we can view a symmetric word, S(A,B), as a map from the set of positive definite matrices into itself. Given positive definite P, B, and a symmetric word, S(A,B), with positive powers of A, we de… ▽ More A generalized word in two positive definite matrices A and B is a finite product of nonzero real powers of A and B. Symmetric words in positive definite A and B are positive definite, and so for fxed B, we can view a symmetric word, S(A,B), as a map from the set of positive definite matrices into itself. Given positive definite P, B, and a symmetric word, S(A,B), with positive powers of A, we defne a symmetric word equation as an equation of the form S(A,B) = P. Such an equation is solvable if there is always a positive definite solution A for any given B and P. We prove that all symmetric word equations are solvable. Applications of this fact, methods for solution, questions about unique solvability (injectivity), and generalizations are also discussed. △ Less

Submitted 29 September, 2002; originally announced September 2002.

Comments: 9 pages

Report number: formerly math.LA/0209399 MSC Class: 15A24; 15A57; 15A18; 15A90