Title:Constructing Rooted Trees From Their Order Quasisymmetric Functions

Abstract:Determining whether two graphs are isomorphic is a very important and difficult problem in graph theory, with applications in image recognition. One way to make progress towards this problem is by finding graph invariants that distinguish large classes of graphs. In 1995, Richard Stanley conjectured that his chromatic symmetric function distinguishes all trees, which has remained unresolved. In 2017, Takahiro Hasebe and Shuhei Tsujie proved a version of Stanley's conjecture for posets: their strict order quasisymmetric function distinguishes all rooted trees. However, the strict order quasisymmetric function has an infinite number of terms, and it's not clear which terms need to be computed to distinguish two rooted trees. To resolve this, we use an original combinatorial framework to devise a procedure that explicitly reconstructs a rooted tree from its strict order quasisymmetric function. This procedure takes us one step closer to a concrete implementation of the strict order quasisymmetric function. In addition, it provides an alternate, more concrete proof that the strict order quasisymmetric function distinguishes rooted trees.