arXiv++ Combinatorics

Determining whether two graphs are isomorphic is an important and difficult problem in graph theory. One way to make progress towards this problem is by finding and studying graph invariants that distinguish large classes of graphs. Stanley conjectured that his chromatic symmetric function distinguishes all trees, which has remained unresolved. Recently, Hasebe and Tsujie introduced an analogue of Stanley's function for posets, called the strict order quasisymmetric function, and proved that it distinguishes all rooted trees. In this paper, we devise a procedure to explicitly reconstruct a rooted tree from its strict order quasisymmetric function by sampling a finite number of terms. The procedure not only provides a combinatorial proof of the result of Hasebe and Tsujie, but also tracks down the representative terms of each rooted tree that distinguish it from other rooted trees.

Richard P. Stanley defined the chromatic symmetric function of a simple graph and has conjectured that every tree is determined by its chromatic symmetric function. Recently, Takahiro Hasebe and the author proved that the order quasisymmetric functions, which are analogs of the chromatic symmetric functions, distinguish rooted trees. In this paper, using a similar method, we prove that the chromatic symmetric functions distinguish trivially perfect graphs. Moreover, we also prove that claw-free cographs, that is, $ \{K_{1,3},P_{4}\} $-free graphs belong to a known class of $ e $-positive graphs.

Richard P. Stanley conjectured that finite trees can be distinguished by their chromatic symmetric functions. In this paper, we prove an analogous statement for posets: Finite rooted trees can be distinguished by their order quasisymmetric functions.