[论文解读] The structure of ABC-minimal trees with given number of leaves

Bojan Mohar|arXiv (Cornell University)|Jun 9, 2017

Computational Drug Discovery Methods参考文献 15被引用 6

一句话总结

本文推翻了林等人（2021年）关于具有给定叶数的ABC极小树的猜想，证明当 $ t \geq 1195 $ 时，唯一的 $ t $-极小树 $ T_t $ 具有特定结构：中心根周围由 $ S_{10} $、$ S_{11} $ 或 $ S_9 $ 分支组成，其ABC指数渐近为 $ \big(\frac{10}{11} + \frac{1}{10}\frac{1}{11}\big)t + O(1) $。该结构取决于 $ t \mod 10 $，且当 $ t $ 足够大时，极小树唯一确定。

ABSTRACT

The atom-bond connectivity (ABC) index is a degree-based molecular descriptor with diverse chemical applications. Recent work of Lin et al. [W. Lin, J. Chen, C. Ma, Y. Zhang, J. Chen, D. Zhang, and F. Jia, On trees with minimal ABC index among trees with given number of leaves, MATCH Commun. Math. Comput. Chem. 76 (2016) 131-140] gave rise to a conjecture about the minimum possible ABC-index of trees with a fixed number $t$ of leaves. We show that this conjecture is incorrect and we prove what the correct answer is. It is shown that the extremal tree $T_t$ is unique for $t\ge 1195$, it has order $|T_t| = t + \lfloor frac{t}{10} floor +1$ (when $t$ mod 10 is between 0 and 4 or when it is 5, 6, or 7 and $t$ is sufficiently large) or $|T_t| = t + \lfloor frac{t}{10} floor + 2$ (when $t$ mod 10 is 8 or 9 or when it is 5, 6, or 7 and $t$ is sufficiently small) and its ABC-index is $( \sqrt{ frac{10}{11}} + frac{1}{10}\sqrt{ frac{1}{11}} )t + O(1)$.

研究动机与目标

• 解决识别具有 $ t $ 个叶的树中ABC指数最小的树的开放问题。
• 推翻林等人（2021年）的猜想，即当 $ t \geq 88 $ 时，$ t $-极小树的顶点数为 $ t + \lfloor t/11 \rfloor - 1 $。
• 基于渐近分析与计算验证，确定当 $ t \geq 1195 $ 时 $ t $-极小树的正确极值结构与ABC指数。
• 证明当 $ t \geq 1195 $ 时，极值树唯一，其顶点数与ABC指数取决于 $ t \mod 10 $。
• 对先前观察到的模式进行完整刻画，纠正基于有限计算数据的早期猜想。

提出的方法

• 对树中边的ABC指数贡献函数 $ f(d_u, d_v) = \sqrt{\frac{d_u + d_v - 2}{d_u d_v}} $ 进行解析推导。
• 利用 $ f(k,d) $ 在 $ d \to \infty $ 时的渐近展开，显示 $ f(k,d) \sim \sqrt{1/k} \big(1 + \frac{k-2}{2d} + O(d^{-2})\big) $，以估计ABC指数贡献。
• 通过以根或混合顶点为中心的 $ S_k $-分支（阶为 $ k $ 的星形）进行候选树的结构分析，并施加度数约束。
• 通过差值分析比较不同树构型的ABC指数，使用不等式如 $ f(11,d+1) - f(11,d) \leq 6 \cdot 10^{-4} $ 来处理大 $ d $ 的情况。
• 通过反证法排除混合顶点：证明将混合顶点替换为根顶点并调整分支数量可降低ABC指数。
• 对 $ t \leq 10000 $ 进行计算验证，通过数值检查确定 $ t \mod 10 $ 各类别的阈值，并对 $ t \geq 10000 $ 采用渐近比较。

实验结果

研究问题

• RQ1 对于较大的 $ t $，$ t $-极小树（即具有 $ t $ 个叶且ABC指数最小的树）的正确结构是什么？该结构与林等人的猜想相矛盾。
• RQ2 顶点数与 $ t $-极小树的ABC指数如何依赖于 $ t \mod 10 $？在 $ r = 5,6,7 $ 与 $ r = 8,9 $ 之间结构变化的决定因素是什么？
• RQ3 为何 $ t = 1195 $ 是新刻画的最优阈值？$ t = 1194 $ 时结构有何变化？
• RQ4 能否以线性项与低阶修正项的形式渐近表达 $ t $-极小树的ABC指数？精确系数是什么？
• RQ5 当 $ t \geq 1195 $ 时，$ t $-极小树是否唯一？哪些结构特征（如根顶点与混合顶点、分支类型）确保了这种唯一性？

主要发现

• 林等人（2021年）的猜想——即 $ t $-极小树的顶点数为 $ t + \lfloor t/11 \rfloor - 1 $——在 $ t \geq 1195 $ 时是错误的。
• 当 $ t \geq 1195 $ 时，$ t $-极小树 $ T_t $ 唯一，且由中心根顶点连接 $ p - r $ 个 $ S_{10} $-分支与 $ r $ 个 $ S_{11} $-分支构成，其中 $ 0 \leq r \leq 7 $，$ r = t \mod 10 $，$ p = \lfloor t/10 \rfloor $。
• 当 $ 5 \leq r \leq 9 $ 时，$ t $-极小树包含 $ p + r - 9 $ 个 $ S_{10} $-分支与 $ 10 - r $ 个 $ S_9 $-分支，顶点数为 $ t + \lfloor t/10 \rfloor + 2 $。
• 该 $ T_t $ 的ABC指数渐近为 $ \big(\sqrt{\frac{10}{11}} + \frac{1}{10}\sqrt{\frac{1}{11}}\big)t + O(1) $，低阶修正项取决于 $ r $。
• $ t = 1195 $ 是最优阈值：当 $ t = 1194 $ 时，结构不同，表明新模式仅在 $ t \geq 1195 $ 时稳定。
• 在竞争构型（如 $ S_{11} $ 与 $ S_9 $ 分支）之间，ABC指数差值在 $ r = 8,9 $ 时严格为正，证实新结构的最优性。