Equivariant Inverse Kazhdan–Lusztig Polynomials of Thagomizer Matroids

Basic Information

• Paper ID: 2510.11322
• Title: Equivariant inverse Kazhdan–Lusztig polynomials of thagomizer matroids
• Authors: Alice L.L. Gao (Northwestern Polytechnical University), Yun Li (Northwestern Polytechnical University), Matthew H.Y. Xie (Tianjin University of Technology)
• Classification: math.CO (Combinatorics)
• Publication Date: October 13, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11322

Abstract

This paper investigates the equivariant inverse Kazhdan–Lusztig polynomials of thagomizer matroids, a natural family of graphic matroids associated with the complete tripartite graph $K_{1,1,n}$. These polynomials were introduced by Proudfoot as an extension of matroid Kazhdan–Lusztig theory. We derive closed-form expressions for the $S_n$-equivariant inverse Kazhdan–Lusztig polynomials of thagomizer matroids and explicitly represent them in terms of irreducible representations of $S_n$. As applications, we also provide explicit formulas for the non-equivariant inverse Kazhdan–Lusztig polynomials originally defined by Gao and Xie, and give an alternative proof using generating functions. Furthermore, we prove that the inverse Kazhdan–Lusztig polynomials of thagomizer matroids are log-concave.

Research Background and Motivation

Problem Background

The Kazhdan–Lusztig polynomial theory for matroids was established by Elias, Proudfoot, and Wakefield in 2016 and has attracted considerable attention in recent years. Building on Kazhdan–Lusztig–Stanley theory, Gao and Xie introduced the inverse Kazhdan–Lusztig polynomials $Q_M(t)$ for arbitrary matroids $M$. To study properties of matroid Kazhdan–Lusztig polynomials, Gedeon, Proudfoot, and Young introduced the concept of equivariant Kazhdan–Lusztig polynomials.

Research Motivation

1. Theoretical Completeness Requirements: Although progress has been made on uniform matroids and lattice path matroids, explicit computation of equivariant inverse Kazhdan–Lusztig polynomials remains challenging, particularly for graphic matroids.
2. Lack of Concrete Calculations: The literature lacks closed-form formulas for equivariant inverse Kazhdan–Lusztig polynomials of concrete graphic matroid families.
3. Property Investigation: There is a need to verify the log-concavity conjecture for inverse Kazhdan–Lusztig polynomials on specific matroid families.

Limitations of Existing Methods

• Explicit computation of equivariant inverse Kazhdan–Lusztig polynomials is technically demanding, especially for graphic matroids
• Lack of systematic approaches for handling inverse Kazhdan–Lusztig polynomials of matroids with group actions
• Proofs of log-concavity typically require specialized techniques for specific matroid families

Core Contributions

1. Main Theoretical Result: Provides a closed-form formula for the $S_n$-equivariant inverse Kazhdan–Lusztig polynomial $Q^{S_n}_{T_n}(t)$ of thagomizer matroids $T_n$
2. Explicit Representation: Explicitly expresses equivariant inverse Kazhdan–Lusztig polynomials in terms of irreducible representations of $S_n$
3. Non-equivariant Case: Provides two distinct explicit formulas for the non-equivariant inverse Kazhdan–Lusztig polynomial $Q_{T_n}(t)$
4. Generating Function Method: Develops an alternative proof method based on generating functions
5. Log-concavity Proof: Proves that the inverse Kazhdan–Lusztig polynomials of thagomizer matroids are log-concave
6. Related Results: As applications, provides formulas for inverse Kazhdan–Lusztig polynomials of graphic matroids of complete bipartite graphs $K_{2,n}$

Methodology Details

Task Definition

The research objective is to compute the equivariant inverse Kazhdan–Lusztig polynomials of thagomizer matroids $T_n$ (the graphic matroids corresponding to the complete tripartite graph $K_{1,1,n}$) under the action of the symmetric group $S_n$, and to investigate their properties.

Core Mathematical Objects

Thagomizer Matroids

The thagomizer matroid $T_n$ is the graphic matroid associated with the complete tripartite graph $K_{1,1,n}$, equivalently obtained by adding an edge between two special vertices in the bipartite graph $K_{2,n}$. This matroid has rank $n+1$.

Equivariant Inverse Kazhdan–Lusztig Polynomials

For an equivariant matroid $W \curvearrowright M$, the equivariant inverse Kazhdan–Lusztig polynomial $Q^W_M(t) \in \text{VRep}(W)[t]$ is uniquely determined by the following recursive relations:

• If $\text{rk}(M) = 0$, then $Q^W_M(t)$ is the trivial representation of degree 0
• If $\text{rk}(M) > 0$, then $\deg Q^W_M(t) < \frac{1}{2}\text{rk}(M)$
• Satisfies specific recursive formulas

Technical Methods

1. Symmetric Function Theory Approach

The main technical approach of the paper is to transform equivariant representation problems into symmetric function problems via the Frobenius characteristic map:

• Utilize the Frobenius characteristic map $\text{ch}: \text{VRep}(S_n) \to \Lambda_n$
• Map irreducible representations $V_\lambda$ to Schur functions $s_\lambda(x)$
• Perform calculations using plethystic substitution and Pieri rules

2. Flat Lattice Structure Analysis

Analyze the structure of the flat lattice $L(T_n)$ of thagomizer matroids:

• First type of flats: containing one edge from each of $i$ distinct spikes
• Second type of flats: $i-1$ complete spikes plus the special edge $AB$

3. Establishment of Recursive Relations

Establish fundamental recursive relations through equivariant Kazhdan–Lusztig–Stanley theory: $\sum_{[F] \in L(T_n)/S_n} (-1)^{\text{rk}(T_n|F)} \text{Ind}^{S_n}_{(S_n)_F} \left( Q^{(S_n)_F}_{T_n|F}(t) \otimes P^{(S_n)_F}_{T_n/F}(t) \right) = 0$

Main Theorems

Theorem 1.1 (Equivariant Case)

For any equivariant thagomizer matroid $S_n \curvearrowright T_n$ ($n \geq 0$), we have: $Q^{S_n}_{T_n}(t) = \sum_{k=0}^{\lfloor n/2 \rfloor} \sum_{i=0}^k \sum_{j=k-i}^{\lfloor (n-3i)/2 \rfloor} (n-3i-2j+1)V_{(3^i,2^j,1^{n-3i-2j})}t^k$

Theorem 1.2 (Non-equivariant Case)

For any thagomizer matroid $T_n$ ($n \geq 0$), we have: $Q_{T_n}(t) = \sum_{k=0}^{\lfloor n/2 \rfloor} \sum_{i=2k}^n \frac{n-i+1}{n+1} \binom{n+1}{k, i-2k, n+k-i+1} t^k$

Experimental Setup

Verification Methods

Since this is pure mathematical theoretical research, the main verification methods include:

1. Symbolic Computation Verification: Using Mathematica's HolonomicFunctions package to verify recursive relations
2. Boundary Case Verification: Verifying the correctness of formulas for small values of $n$
3. Consistency Checks: Verifying consistency between equivariant and non-equivariant formulas

Computational Tools

• Mathematica: For symbolic computation and verification
• HolonomicFunctions Package: For computing annihilating operators and recursive relations
• OreReduce Command: Verifying the correctness of recursive relations

Experimental Results

Main Results Verification

1. Recursive Relation Verification

Verified through Mathematica that $d_{n,k}$ satisfies the recursive relation:

• $(n+1)(t+2)(4t-1)Q_{T_n}(t) - (2nt-5n-t-11)Q_{T_{n+1}}(t) - (nt+4n+4t+13)Q_{T_{n+2}}(t) + (n+4)Q_{T_{n+3}}(t) = 0$

2. Initial Conditions

• $Q_{T_0}(t) = 1$
• $Q_{T_1}(t) = 2$
• $Q_{T_2}(t) = t + 4$

3. Log-concavity Verification

By establishing a lower bound $X(n,k)$ and proving $\frac{d_{n,k}}{d_{n-1,k}} \geq X(n,k)$, the log-concavity inequality is ultimately proved: $d_{n,k}^2 \geq d_{n,k+1}d_{n,k-1}$

Concrete Computational Examples

For small values of $n$, the correctness of the formulas can be verified:

• $n=3$: $Q_{T_3}(t) = 1 + 5t + 2t^2$
• $n=4$: $Q_{T_4}(t) = 1 + 7t + 6t^2$

Related Work

Theoretical Foundations

1. Kazhdan–Lusztig Theory: Originally developed for Coxeter groups, later generalized to matroids
2. Equivariant Kazhdan–Lusztig Theory: Work of Gedeon, Proudfoot, and Young
3. Inverse Kazhdan–Lusztig Polynomials: Original work of Gao and Xie

Related Research

1. Uniform Matroids: Gao, Xie, and Yang determined equivariant inverse Kazhdan–Lusztig polynomials for uniform matroids
2. Lattice Path Matroids: Karn et al. extended computations to lattice path matroids
3. Log-concavity: Established on uniform matroids and lattice path matroids

Novelty of This Work

Compared to existing work, this paper is the first to:

• Handle equivariant inverse Kazhdan–Lusztig polynomials of graphic matroids
• Provide complete explicit formulas for thagomizer matroids
• Establish log-concavity for this matroid family

Conclusions and Discussion

Main Conclusions

1. Complete Characterization: Provides complete explicit formulas for both equivariant and non-equivariant inverse Kazhdan–Lusztig polynomials of thagomizer matroids
2. Multiple Methods: Develops two distinct computational approaches based on symmetric functions and generating functions
3. Property Proof: Proves log-concavity, supporting the validity of the Gao–Xie conjecture on this matroid family

Technical Contributions

• Systematically applies symmetric function theory to equivariant matroid problems
• Establishes effective conversion methods from equivariant to non-equivariant cases
• Develops new techniques for proving log-concavity

Future Directions

1. Generalization to Other Graphic Matroids: Apply methods to more general graphic matroid families
2. Computational Complexity: Investigate the computational complexity of equivariant inverse Kazhdan–Lusztig polynomials
3. Geometric Interpretation: Seek geometric or topological interpretations of these polynomials

In-depth Evaluation

Strengths

1. Significant Theoretical Contribution

• First to provide explicit formulas for equivariant inverse Kazhdan–Lusztig polynomials of an important graphic matroid family
• Methods are innovative, cleverly combining symmetric function theory and equivariant representation theory
• Proof techniques are rigorous with clear logical structure

2. Methodological Value

• The symmetric function method developed may be applicable to other equivariant matroid problems
• The generating function method provides a valuable alternative computational approach
• The log-concavity proof technique has general applicability

3. Completeness of Results

• Addresses both equivariant and non-equivariant cases
• Provides multiple equivalent expressions
• Includes related applications (e.g., the $K_{2,n}$ case)

4. High Technical Quality

• Extensive use of computer-assisted verification ensures result correctness
• Establishment and verification of recursive relations is highly rigorous
• Log-concavity proof employs advanced computational algebra techniques

Limitations

1. Restricted Scope of Applicability

• Results apply only to the specific thagomizer matroid family
• The generalizability of the method requires further investigation
• For more complex graphic matroids, computational complexity may increase significantly

2. Lack of Geometric Intuition

• Results lack geometric or combinatorial interpretation
• The combinatorial meaning of formulas is not sufficiently clear
• The connection to the intrinsic geometric structure of matroids needs strengthening

3. Computational Complexity

• For large $n$, the computational complexity of formulas is high
• Asymptotic behavior analysis is absent
• Numerical stability issues in practical computation are not discussed

Impact Assessment

1. Academic Value

• Provides important concrete examples for equivariant matroid theory
• Advances the development of inverse Kazhdan–Lusztig polynomial theory
• Provides new evidence for related conjectures

2. Methodological Contribution

• Application of symmetric function methods to equivariant matroids has exemplary significance
• Application of computer-assisted proof techniques in combinatorial mathematics
• Provides a technical paradigm for addressing similar problems

3. Potential for Follow-up Research

• May inspire research on other graphic matroid families
• Methods have potential for generalization to more general settings
• Log-concavity proof techniques have broad applicability

Applicable Scenarios

1. Theoretical Research: Matroid theory, algebraic combinatorics research
2. Computational Mathematics: Numerical computation requiring exact formulas
3. Representation Theory: Concrete calculations of symmetric group representations
4. Teaching Applications: Serves as concrete examples for equivariant theory and symmetric functions

References

The paper cites 27 relevant references, primarily including:

• Foundational literature on Kazhdan–Lusztig theory
• Classical works on matroid theory
• Standard textbooks on symmetric function theory
• Recent related research results

The paper's references are comprehensive, reflecting the authors' deep understanding of the development trajectory of this field.