Valuative invariants of Catalan matroids
We decompose the indicator function of each <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-parenthesis a comma b right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>a</mml:mi> <mml:mo>,</mml:mo> <mml:mi>b</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">(a, b)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -Catalan matroid polytope as a weighted sum of indicator function of matroid polytopes that correspond to direct sums of uniform matroids. Catalan matroids lie in the interior of the convex hull of direct sums of uniform matroids in the polytope of all matroids introduced by Ferroni and Fink. Moreover, we describe combinatorially the coefficients of the convex combination of direct sums of uniform matroid corresponding to an <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-parenthesis a comma b right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>a</mml:mi> <mml:mo>,</mml:mo> <mml:mi>b</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">(a,b)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -Catalan matroid. In particular, this allows us to derive explicit formulas for arbitrary valuative invariants of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-parenthesis a comma b right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>a</mml:mi> <mml:mo>,</mml:mo> <mml:mi>b</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">(a, b)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -Catalan matroids. Among other applications, we prove that <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-parenthesis a comma b right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>a</mml:mi> <mml:mo>,</mml:mo> <mml:mi>b</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">(a,b)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -Catalan matroids are Ehrhart positive, and we find formulas for the Kazhdan–Lusztig invariants of these matroids.
Authors
- Yao Li (ORCID: https://orcid.org/0000-0002-1321-2630)
- Yao Ming (ORCID: https://orcid.org/0000-0002-6377-6063)
- Yiming Chen
Institutions
- Sichuan University (CN)
Publication Details
- Journal
- Proceedings of the American Mathematical Society
- Published
- 2026-02-10
- DOI
- https://doi.org/10.1090/proc/17525
- Primary Topic
- Advanced Combinatorial Mathematics
- Type
- article
- Field-Weighted Citation Impact
- 0.00