1: \begin{abstract}

2: We show that a formal power series in $2N$ non-commuting indeterminates

3: is a positive non-commutative kernel if and only if

4: the kernel on $N$-tuples of matrices of any size

5: obtained from this series by matrix substitution is positive. 

6: We present  two versions of this result related to  different classes of matrix substitutions. 

7: In the general case we consider substitutions of jointly nilpotent $N$-tuples of matrices, 

8: and thus the question of convergence does not arise. 

9: In the ``convergent'' case we consider substitutions of $N$-tuples of matrices 

10: from a neighborhood of zero where the series converges. Moreover, in the first case 

11: the result can be improved: the positivity of a non-commutative kernel is guaranteed by 

12: the positivity of its values on the diagonal, i.e., on pairs of coinciding 

13: jointly nilpotent $N$-tuples of matrices. 

14: In particular this yields an analogue

15: of a recent result of Helton on non-commutative sums-of-squares representations

16: for the class of hereditary non-commutative polynomials.

17: We show by an example that the improved formulation

18: does not apply in the ``convergent'' case.

19: \end{abstract}

20: