The principal specialization conjecture for tree posets

Let PP and QQ be posets with nn elements whose Hasse diagrams are trees. Let KP(x)\overline{K}_{P}(\mathbf{x}) denote the strict PP-partition enumerator, and specialize xi=qi1x_i=q^{i-1} for 1in1\leq i\leq n and xi=0x_i=0 thereafter. The principal specialization conjecture for tree posets. If PP and QQ are not isomorphic, then

KP(1,q,q2,,qn1)KQ(1,q,q2,,qn1).\overline{K}_{P}(1,q,q^2,\ldots,q^{n-1})\neq \overline{K}_{Q}(1,q,q^2,\ldots,q^{n-1}).

The conjecture has been verified for all posets with at most 10 elements. The source further reports that the shorter specialization through qn2q^{n-2} appears sufficient, but presents that stronger-looking assertion only as an observation rather than a separate conjecture.

Sources & referencesView supporting material

Primary source

Jean-Christophe Aval, Karimatou Djenabou and Peter R. W. McNamara, “Quasisymmetric functions distinguishing trees”, arXiv:2201.11763 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.