How does one check for the positivity of coefficients of a rational function,say, for example $\frac{p_1(x,t)}{(1xt)(1x^2t)(1x^3t)}$ where $p_1(x,t) = 1 + tx + 2t^2x^2  3x^3t^2 x^5t^3  x^{10}t^4$? In general, let $p_1(x,t)/p_2(x,t)$ be a rational function over field $k$,suppose the power series expansion of $1/p_2(x,t)$ has nonnegative coefficients. If $p_1(x,t)$ is a polynomial with some negative coefficients, when can we say that the expansion of $p_1(x,t)/p_2(x,t)$ has nonnegative coefficients?
9

2$\begingroup$ I agree with Igor. Another ref which might also be useful is the paper arxiv.org/abs/1301.2449 by Scott and Sokal. $\endgroup$ – Abdelmalek Abdesselam Mar 6 '14 at 20:44
6
$\begingroup$
$\endgroup$
This seems to be a hard question. See this paper by Laffey et al (2012) for extensive references.