[논문 리뷰] Inverse Kazhdan--Lusztig polynomials of fan matroids

Alice L. L. Gao, Yaxing Li외 1명|arXiv (Cornell University)|2026. 03. 26.

Advanced Combinatorial Mathematics인용 수 0

한 줄 요약

논문은 fan 매트로이드에 대한 역 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)에 대해 내부 영이 없는 로그-연속성을 증명한다.
• 이 불변량들의 생성함수에 대한 대체 삭제 기반 증명을 제공한다.

제안 방법

• 생성함수 Ψ(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 fan 매트로이드 F_n에 대한 역 Kazhdan–Lusztig 다항식 Q_{F_n}(t)과 그 생성함수 Ψ(t,u)은 무엇인가?
• RQ2 Q_{F_n}(t)의 명시적 닫힌 형식은 무엇이며 계수의 동작(예: 로그-연속성, 내부 영 없음)은 어떻게 되는가?
• RQ3 fan 매트로이드의 역 Z-다항식 Y_{F_n}(t)와 그 생성함수 Ψ_Y(t,u)은 무엇인가?
• RQ4 삭제 공식을 통한 생성함수의 대체 증명을 제시할 수 있는가?
• RQ5 Q_{F_n}(t)의 계수가 내부 영이 없는 로그-연속 수열인가? (예: fan 매트로이드에 대해서는 그렇다)

주요 결과

• 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)).
• 두 불변량의 생성함수에 대해 대체 삭제-증명 접근법이 제시된다.