[論文レビュー] Inverse Kazhdan--Lusztig polynomials of fan matroids

Alice L. L. Gao, Yaxing Li+1 more|arXiv (Cornell University)|Mar 26, 2026

Advanced Combinatorial Mathematics被引用数 0

ひとこと要約

本論文は、ファンマトリクスの逆 Kazhdan–Lusztig 多項式 Q_{F_n}(t) および逆 Z-多項式 Y_{F_n}(t) の生成関数と明示的な公式を導出し、Q_{F_n}(t) の係数の対数濃度性を証明し、複数の証明と生成関数手法を提供する。

ABSTRACT

The inverse Kazhdan--Lusztig polynomial of a matroid was introduced by Gao and Xie, and the inverse $Z$-polynomial of a matroid was introduced by Ferroni, Matherne, Stevens, and Vecchi. In this paper, we study these two polynomials for fan matroids, a family of graphic matroids associated with fan graphs. We first derive the generating functions for the inverse Kazhdan--Lusztig polynomials of fan matroids using their recursive definition, and then deduce the explicit formulas of these polynomials therefrom. For the inverse $Z$-polynomials of fan matroids, we obtain their generating functions using a parallel generating function approach, and further derive their explicit expansions based on these generating functions. Additionally, we provide alternative proofs for the above generating functions using the deletion formulas for inverse Kazhdan--Lusztig and inverse $Z$-polynomials. As an application of the explicit formula for inverse Kazhdan--Lusztig polynomials, we prove that the coefficients of the inverse Kazhdan--Lusztig polynomial of the fan matroid form a log-concave sequence with no internal zeros.

研究の動機と目的

• ファンマトリクスというグラフィックマトリクス族に対する逆 Kazhdan–Lusztig 多項式 Q_M(t) および逆 Z-多項式 Y_M(t) を動機づけ・研究する。
• 再帰的および並列生成関数法を用いて Q_{F_n}(t) と Y_{F_n}(t) の生成関数を導出する。
• Q_{F_n}(t) および Y_{F_n}(t) の明示的公式を得て、Q_{F_n}(t) の内部零なし・対数濃度性を証明する。
• これらの不変量の生成関数について削除（ deletion ）ベースの代替証明を提供する。

提案手法

• 生成関数 Ψ(t,u)=sum_{n≥0} Q_{F_n}(t) u^n を定義し、閉形式 Ψ(t,u)=1+(1-4u-√(1-4tu^2))/(2(-2+4u+tu)) を導く。
• Q_{F_n}(t) の再帰定義を用い、それを Ψ(t,u) の関数方程式へ翻訳する。
• ファングラフの flats を組合せ的分解により表現し、C_n′ との全射/全単射によって各項と重みを評価する。
• 構造を奇数部・偶数部に分解し、組合せ公式を用いて生成関数方程式を得る。
• 生成関数の再帰を係数ごとの再帰と一致させることで Q_{F_n}(t) の明示公式を導出する。
• 同様に、逆 Z-多項式の Ψ_Y(t,u) を導出し、Y_{F_n}(t) の明示展開を得る。

実験結果

リサーチクエスチョン

• RQ1 ファンマトリクス F_n の逆 Kazhdan–Lusztig 多項式 Q_{F_n}(t) とその生成関数 Ψ(t,u) は何か？
• RQ2 Q_{F_n}(t) の明示閉形式とその係数の振る舞い（例：対数濃度性、内部零なし）はどうなるか？
• RQ3 ファンマトリクスの逆 Z-多項式 Y_{F_n}(t) およびその生成関数 Ψ_Y(t,u) は何か？
• RQ4 削除公式による生成関数の代替証明を提供できるか？
• RQ5 Q_{F_n}(t) の係数列は内部零なしの対数濃度性を持つか？（ファンマトリクスについては肯定）

主な発見

• Q_{F_n}(t) は明示的な係数公式を持つ：Q_{F_n}(t)= sum_{k=0}^{⌊(n-1)/2⌋} ((n-2k)2^{n-2k-1}/n) binom(n,k) t^k.
• Q_{F_n}(t) の係数は内部零なしの対数濃度性を満たす。
• 逆 Z-多項式 Y_{F_n}(t) は明示的な3重総和公式を持つ：Y_{F_n}(t)= sum_{k=0}^{n} sum_{j=0}^{⌊n/2⌋} sum_{i=0}^{n-1} [(-2)^j 3^{n-1-i} /(2^{n+2})] binom(n-2j}{k-j} binom(n-1}{i} (binom((i-1)/2}{j}+3 binom((i+1)/2}{j}+4 binom(i/2}{j}) t^k。
• 逆 Kazhdan–Lusztig 多項式の生成関数： Ψ(t,u)=1+(1-4u-√(1-4tu^2))/(2(-2+4u+tu))。
• 逆 Z-多項式の生成関数： Ψ_Y(t,u)=2(-1+u+tu)/(-3+4(1+t)u+√(1-4tu^2))。
• いずれの不変量の生成関数について削除による証明アプローチが提供されている。