A result on the $c_2$ invariant for powers of primes

The $c_2$ invariant is an arithmetic graph invariant related to quantum field theory. We give a relation modulo $p$ between the $c_2$ invariant at $p$ and the $c_2$ invariant at $p^s$ by proving a relation modulo $p$ between certain coefficients of powers of products of particularly nice polynomials. The relation at the level of the $c_2$ invariant provides evidence for a conjecture of Schnetz.