[论文解读] On Characteristic Polynomials of the Family of Cobweb Posets

Ewa Krot-Sieniawska|ArXiv.org|Feb 19, 2008

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

一句话总结

本文推导出有限蛛网偏序集（cobweb posets）的特征多项式显式公式与递推关系，这类偏序集由自然数序列 {Fₙ} 定义。通过利用莫比乌斯函数与第一类威特尼数，作者证明特征多项式 χₙ(t) 由前序层级的乘积 ∏(Fᵢ−1) 决定，从而得出该类偏序集的闭式表达式与递归构造方法。

ABSTRACT

This note is a response to one of problems posed by A.K. Kwasniewski in one of his recent papers. Namely for the sequence of finite cobweb subposets, the looked for explicit formulas for corresponding sequence of characteristic polynomials are discovered and delivered here. The recurrence relation defining arbitrary family of charactristic polynomials of finite cobweb posets is also derived.

研究动机与目标

• 解决 A.K. Kwaśniewski 提出的关于有限蛛网子偏序集 {Pₙ} 的特征多项式问题。
• 为与蛛网偏序集族相关联的特征多项式序列 {χₙ(t)} 推导出显式闭式表达式。
• 为由序列 {Fₙ} 生成的任意蛛网偏序集建立定义序列 {χₙ(t)} 的递推关系。
• 将已知关于斐波那契蛛网偏序集的莫比乌斯函数与威特尼数结果推广至整个蛛网偏序集族。

提出的方法

• 证明蛛网偏序集中元素 x 的莫比乌斯函数 μ(0,x) 仅依赖于其秩 r(x)，且满足 μ(r(x)) = (−1)^r(x) × ∏ᵢ₌₁^{r(x)−1} (Fᵢ − 1)。
• 第一类威特尼数 wₖ(Pₙ) 计算为 wₖ(Pₙ) = Fₖ × μ(k)，其中 Fₖ 表示第 k 层的大小。
• 特征多项式定义为 χₙ(t) = ∑ₖ₌₀ⁿ wₖ(Pₙ) × t^{n−k}，从而得出显式公式：χₙ(t) = tⁿ + ∑ₖ₌₁ⁿ (−1)^k Fₖ × ∏ᵢ₌₁^{k−1} (Fᵢ − 1) × t^{n−k}。
• 推导出递推关系：χ₀(t) = 1，χ₁(t) = t − F₁，且对 n ≥ 2，有 χₙ(t) = tχₙ₋₁(t) + (−1)^n Fₙ × ∏ᵢ₌₁^{n−1} (Fᵢ − 1)。
• 通过使用不同序列 {Fₙ} 的实例验证结果，包括 Fₙ = n+1、Fₙ = 2n+1（其中 F₁=1），以及常数序列 Fₙ = k > 1。

实验结果

研究问题

• RQ1 对于由序列 {Fₙ} 生成的有限蛛网偏序集 Pₙ，其特征多项式 χₙ(t) 的显式形式是什么？
• RQ2 如何为任意蛛网偏序集的序列 {χₙ(t)} 建立递推定义？
• RQ3 莫比乌斯函数与威特尼数在确定 Pₙ 的特征多项式中起什么作用？
• RQ4 在何种条件下 χₙ(t) 可简化为如 tⁿ − tⁿ⁻¹ 的闭式表达式？

主要发现

• 蛛网偏序集 Pₙ 的特征多项式 χₙ(t) 显式给出为：χₙ(t) = tⁿ + ∑ₖ₌₁ⁿ (−1)^k Fₖ × ∏ᵢ₌₁^{k−1} (Fᵢ − 1) × t^{n−k}。
• 当 F₁ = 1 时，对所有 n ≥ 1，特征多项式简化为 χₙ(t) = tⁿ − tⁿ⁻¹，且 χ₀(t) = 1。
• 建立递推关系：对 n ≥ 2，有 χₙ(t) = tχₙ₋₁(t) + (−1)^n Fₙ × ∏ᵢ₌₁^{n−1} (Fᵢ − 1)，初始条件为 χ₀(t) = 1 与 χ₁(t) = t − F₁。
• 当 Fₙ = k > 1（常数序列）时，特征多项式变为 χₙ(t) = ∑ᵢ₌₀ⁿ (−1)^i k(k−1)^{i−1} t^{n−i}（i ≥ 1），且 χ₀(t) = 1。
• 第一类威特尼数 wₖ(Π) 的公式为：当 k > 0 时，wₖ(Π) = (−1)^k Fₖ ∏ᵢ₌₁^{k−1} (Fᵢ − 1)，且 w₀(Π) = 1。
• 本研究结果推广了先前关于斐波那契蛛网偏序集的发现，并将其扩展至由任意自然数序列 {Fₙ} 定义的整个蛛网偏序集族。