[论文解读] On an Algorithm for Comparing the Chromatic Symmetric Functions of Trees

Sam Heil, Caleb Ji|arXiv (Cornell University)|Jan 23, 2018

Advanced Combinatorial Mathematics参考文献 6被引用 11

一句话总结

本文提出了一种新颖的概率算法，无需完整计算即可高效比较树的色对称函数（CSF），该方法利用截断对称函数评估和随机同态。该方法验证了色对称函数可区分所有不超过29个顶点的非同构树——将先前25个顶点的界限扩展至29个顶点——从而推进了斯坦利关于树可区分性的长期猜想。

ABSTRACT

It is a long-standing question of Stanley whether or not the chromatic symmetric function (CSF) distinguishes unrooted trees. Previously, the best computational result, due to Russell, proved that it distinguishes all trees with at most $25$ vertices. In this paper, we present a novel probabilistic algorithm which may be used to check more efficiently that the CSF distinguishes a set of trees. Applying it, we verify that the CSF distinguishes all trees with up to $29$ vertices.

研究动机与目标

• 开发一种高效计算方法，用于比较无根树的色对称函数（CSF）。
• 解决直接计算CSF所带来的计算挑战，因为CSF的规模随树的大小呈超多项式增长。
• 将色对称函数可区分所有非同构树的已知界限扩展至超过先前25个顶点的结果。
• 探究3截断的CSF是否可区分所有无根树，作为证明斯坦利猜想的潜在路径。

提出的方法

• 该算法采用概率方法，通过在随机同态下评估截断对称函数，来测试两棵树的CSF是否相等。
• 它定义了k截断色对称函数${}_{k}X_{T}$，仅保留对应于部分长度≤k的分拆的项。
• 该方法应用随机同态$\varphi_{q,C}$，通过仅前k个条目非零的n元组C，在模素数q下评估$X_T$。
• 通过聚焦于k=3，该算法将计算复杂度从$O(n^2(")降低至$O(nk(")，从而实现高效计算。
• 该算法迭代应用多个同态$\varphi_{q_j,C_j}$，以细化树的等价类，直至每个类仅包含一棵树。
• 该方法依赖于以下事实：若${}_{k}X_T \neq {}_{k}X_{T'}$，则$X_T \neq X_{T'}$，因此区分${}_{k}X_T$即可区分$X_T$。

实验结果

研究问题

• RQ1 能否通过概率算法在无需完整计算的情况下，高效判断两棵树的色对称函数是否相等？
• RQ2 3截断的色对称函数是否可区分所有不超过29个顶点的非同构树？
• RQ3 3截断的CSF是否足以区分所有无根树，从而解决斯坦利的猜想？
• RQ4 能否通过优化对称函数评估，将CSF可区分性的计算界限扩展至25个顶点以上？

主要发现

• 所提出的概率算法可在$O(kn^3)$时间内以至少$1 - \frac{1}{2^k}$的概率验证$X_S \neq X_T$，从而实现CSF的高效比较。
• 该算法被用于计算验证：色对称函数可区分所有不超过29个顶点的非同构树。
• 3截断的色对称函数${}_{3}X_T$足以区分所有不超过29个顶点的树。
• 计算通过一系列应用于树不变量的随机同态$\varphi_{q_j,C_j}$完成，每个等价类均被缩减为单个元素。
• 实现代码已公开发布于https://github.com/VietaFan/CSFTreeConjecture，支持可复现性和进一步测试。
• 该结果将Russell（2018）建立的25个顶点的先前界限扩展至29个顶点，标志着对验证斯坦利猜想的重要推进。