No label defined (Q4220198)

An affirmative solution is given to Ivanovskij's conjecture asserting that each coefficient of the polynomial \(f(x_1,\dots ,x_n; G)=\sum_{\Gamma\in\mathcal M(G)}\prod_{i=1}^{n}(4x_i-1)^{k_i(\Gamma)}\) defined for every finite graph \(G\) is divided by \(2^{\lambda}\). Here \(\lambda\) is the cycle rank (the cyclomatic number) of \(G\); \(\mathcal M(G)\) is the set of all subgraphs of \(G\) with the following properties: (i) each vertex of \(G\) is also a vertex of the subgraph, (ii) each vertex of the subgraph has odd degree. The number \(k_i(\Gamma)\) is defined by the formula \(d_\Gamma (v_i)=2k_i(\Gamma) + 1\), where \(d_\Gamma (v_i)\) is the degree of the vertex \(v_i\) in the subgraph \(\Gamma\). Ivanovskij's conjecture was formulated in connection with the study of rationally symplectic cobordisms in algebraic topology; see the articles by \textit{L. N. Ivanovskij} [Sib. Math. J. 27, No. 3, 398-405 (1986); translation from Sib. Mat. Zh. 27, No. 3(157), 112-120 (1986; Zbl 0597.55004)] and [Sib. Math. J. 28, No. 4, 593-596 (1987); translation from Sib. Mat. Zh. 28, No. 4(164), 97-101 (1987; Zbl 0631.57023)] for more detail.