arXiv++ Combinatorics

This is an expository paper extending the tutorial talk at the MATRIX Workshop on Uniqueness and Discernment in Graph Polynomials in October 2023. The explanation is mainly based on the paper "Partial Duality of Hypermaps" by S.Chmutov and F.Vignes-Tourneret with maximal possible simplifications.

We prove that the partial-dual genus polynomial considered as a function on chord diagrams satisfies the four-term relation. Thus it is a weight system from the theory of Vassiliev knot invariants.

Partial duality is a duality of ribbon graphs relative to a subset of their edges generalizing the classical Euler-Poincare duality. This operation often changes the genus. Recently J.L.Gross, T.Mansour, and T.W.Tucker formulated a conjecture that for any ribbon graph different from plane trees and their partial duals, there is a subset of edges partial duality relative to which does change the genus. A family of counterexamples was found by Qi Yan and Xian'an Jin. In this note we prove that essentially these are the only counterexamples.

We prove that the generating function for the symmetric chromatic polynomial of all connected graphs satisfies (after appropriate scaling change of variables) the Kadomtsev--Petviashvili integrable hierarchy of mathematical physics. Moreover, we describe a large family of polynomial graph invariants giving the same solution of the KP. In particular, we introduce the Abel polynomial for graphs and show this for its generating function. The key point here is a Hopf algebra structure on the space spanned by graphs and the behavior of the invariants on its primitive space.

This is a survey recent works on topological extensions of the Tutte polynomial.

Starting with a collection of $n$ oriented polygonal discs, with an even number $N$ of sides in total, we generate a random oriented surface by randomly matching the sides of discs and properly gluing them together. Encoding the surface in a random permutation $γ$ of $[N]$, we use the Fourier transform on $S_N$ to show that $γ$ is asymptotic to the permutation distributed uniformly on the alternating group $A_N$ ($A_N^c$ resp.) if $N-n$ and $N/2$ are of the same (opposite resp.) parity. We use this to prove a local central limit theorem for the number of vertices on the surface, whence for its Euler characteristic $χ$. We also show that with high probability the random surface consists of a single component, and thus has a well-defined genus $g=1-χ/2$, which is asymptotic to a Gaussian random variable, with mean $(N/2-n-\log N)/2$ and variance $(\log N)/2$.

We introduce partial duality of hypermaps, which include the classical Euler-Poincaré duality as a particular case. Combinatorially, hypermaps may be described in one of three ways: as three involutions on the set of flags (bi-rotation system or $τ$-model), or as three permutations on the set of half-edges (rotation system or $σ$-model in orientable case), or as edge 3-coloured graphs. We express partial duality in each of these models. We give a formula for the genus change under partial duality.

Recently V. Krushkal and D. Renardy generalized the Tutte polynomial from graphs to cell complexes. We show that evaluating this polynomial at the origin gives the number of cellular spanning trees in the sense of A. Duval, C. Klivans, and J. Martin. Moreover, after a slight modification, the Tutte-Krushkal-Renardy polynomial evaluated at the origin gives a weighted count of cellular spanning trees, and therefore its free term can be calculated by the cellular matrix-tree theorem of Duval et al. In the case of cell decompositions of a sphere, this modified polynomial satisfies the same duality identity as the original polynomial. We find that evaluating the Tutte-Krushkal-Renardy along a certain line gives the Bott polynomial. Finally we prove skein relations for the Tutte-Krushkal-Renardy polynomial..

Let $G_n$ be the genus of a two-dimensional surface obtained by gluing, uniformly at random, the sides of an $n$-gon. Recently Linial and Nowik proved, via an enumerational formula due to Harer and Zagier, that the expected value of $G_n$ is asymptotic to $(n - \ln n)/2$ for $n\to\infty$. We prove a local limit theorem for the distribution of $G_n$, which implies that $G_n$ is asymptotically Gaussian, with mean $(n-\ln n)/2$ and variance $(\ln n)/4$.

We introduce an additional structure on ribbon graphs, arrow structure. We extend the Bollobás-Riordan polynomial to ribbon graph with this structure. The extended polynomial satisfies the contraction-deletion relations and naturally behaves with respect to the partial duality of ribbon graphs. We construct an arrow ribbon graph from a virtual link whose extended Bollobás-Riordan polynomial specializes to the arrow polynomial of the virtual link recently introduced by H.Dye and L.Kauffman. This result generalizes the classical Thistlethwaite theorem to the arrow polynomial of virtual links.

We establish a relation between the Bollobas-Riordan polynomial of a ribbon graph with the relative Tutte polynomial of a plane graph obtained from the ribbon graph using its projection to the plane in a nontrivial way. Also we give a duality formula for the relative Tutte polynomial of dual plane graphs and an expression of the Kauffman bracket of a virtual link as a specialization of the relative Tutte polynomial.

We describe the Polyak-Viro arrow diagram formulas for the coefficients of the Conway polynomial. As a consequence, we obtain the Conway polynomial as a state sum over some subsets of the crossings of the knot diagram. It turns out to be a simplification of a special case of Jaeger's state model for the HOMFLY polynomial.

We generalize the natural duality of graphs embedded into a surface to a duality with respect to a subset of edges. The dual graph might be embedded into a different surface. We prove a relation between the signed Bollobas-Riordan polynomials of dual graphs. This relation unifies various recent results expressing the Jones polynomial of links as specializations of the Bollobas-Riordan polynomials.

The celebrated Thistlethwaite theorem relates the Jones polynomial of a link with the Tutte polynomial of the corresponding planar graph. We give a generalization of this theorem to virtual links. In this case, the graph will be embedded into a (higher genus) surface. For such graphs we use the generalization of the Tutte polynomial discovered by B.Bollobas and O.Riordan.

We show that the Kauffman bracket $[L]$ of a checkerboard colorable virtual link $L$ is an evaluation of the Bollobás-Riordan polynomial $R_{G_L}$ of a ribbon graph associated with $L$. This result generalizes Thistlethwaite's celebrated theorem relating the Kauffman bracket with the Tutte polynomial of planar graphs.

In this paper we prove the knight move theorem for the chromatic graph cohomologies with rational coefficients introduced by L. Helme-Guizon and Y. Rong. Namely, for a connected graph G with n vertices the only non-trivial cohomology groups $H^{i,n-i}(G)$, $H^{i,n-i-1}(G)$ come in isomorphic pairs: $H^{i,n-i}(G)\cong H^{i+1,n-i-2}(G)$ for i >= 0 if G is non-bipartite, and for i > 0 if G is bipartite. As a corollary, the ranks of the cohomology groups are determined by the chromatic polynomial. At the end, we give an explicit formula for the Poincare polynomial in terms of the chromatic polynomial and a deletion-contraction formula for the Poincare polynomial.

For a ribbon graph $G$ we consider an alternating link $L_G$ in the 3-manifold $G\times I$ represented as the product of the oriented surface $G$ and the unit interval $I$. We show that the Kauffman bracket $[L_G]$ is an evaluation of the recently introduced Bollobas-Riordan polynomial $R_G$. This results generalizes the celebrated relation between Kauffman bracket and Tutte polynomial of planar graphs.