Polyak type equations for virtual arrow diagram formulas in the annulus

We describe the space of arrow diagram formulas for virtual knot diagrams in the annulus as the kernel of a linear map, inspired from a conjecture due to M. Polyak. As a main application, we slightly improve Grishanov-Vassiliev’s theorem for planar chain invariants.