1: \begin{abstract}

2:     For a subset $B$ of $\R$, denote by $\U(B)$ be the semiring of (univariate) polynomials in $\R[X]$ that are strictly positive on $B$.

3:     Let $\N[X]$ be the semiring of (univariate) polynomials with non-negative integer coefficients.

4:     We study solutions of homogeneous linear equations over the polynomial semirings $\U(B)$ and $\N[X]$.

5:     In particular, we prove local-global principles for solving single homogeneous linear equations over these semirings.

6:     We then show PTIME decidability of determining the existence of non-zero solutions over $\N[X]$ of single homogeneous linear equations.

7: 

8:     Our study of these polynomial semirings is largely motivated by several semigroup algorithmic problems in the wreath product $\Z \wr \Z$.

9:     As an application of our results, we show that the Identity Problem (whether a given semigroup contains the neutral element?) and the Group Problem (whether a given semigroup is a group?) for finitely generated sub-semigroups of the wreath product $\Z \wr \Z$ is decidable when elements of the semigroup generator have the form $(y, \pm 1)$.

10: \end{abstract}

11: