Partial Petrial Polynomials of Ribbon Graphs

TL;DR

This paper extends the concept of partial Petrial polynomials from bouquets to all ribbon graphs, introduces a modified version satisfying the four-term relation, and explores its invariance properties.

Contribution

It generalizes partial Petrial polynomial results to all ribbon graphs and defines a modified polynomial that is 4-invariant, addressing a longstanding open problem.

Findings

Partial Petrial polynomial for ribbon graphs equals sum over bouquets.

Modified polynomial satisfies the four-term relation.

The polynomial is proven to be 4-invariant for signed simple graphs.

Abstract

Gross, Mansour, and Tucker [European J. Combin., 95 (2021): 103329] introduced the \emph{partial Petrial polynomial} of a ribbon graph $G$, denoted by $^{\partial}{\varepsilon^{\times}_{G}}(z)$. Beck and Mellor proved, in both orientable and non-orientable cases respectively, that the Euler genus of a bouquet equals the rank of a certain matrix over $\mathbb{GF}(2)$. In this paper, we first generalize Beck and Mellor's results from bouquets to all ribbon graphs. Secondly, we give an equivalent representation of the partial Petrial polynomial for all ribbon graphs. Specifically, the partial Petrial polynomial of a ribbon graph $G$ with $n$ vertices is equal to the sum of this polynomial for $2^{n-1}$ distinct bouquets. Moreover, we give the definition of a modified partial Petrial polynomial by assigning coefficients $+1$ or $-1$ to the terms in the partial Petrial polynomial such that the resulting polynomial satisfies the four-term relation for graphs. Finally, we generalize the modified partial Petrial polynomial from bouquets to all signed simple graphs and prove that this polynomial is $4$-invariant, which provides an answer to the problem posed by Lando [J.~Combin.~Theory Ser.~B,~80~(1) (2000): 104-121]: Which of the known graph invariants are $4$-invariants?