activity
20172026
most citedReverse plane partitions of skew staircase shapes and -Euler numbers

2 citations · 9 across the 14 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

math.CO2025

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified

Martin Dvorak, Tristan Figueroa-Reid, Rida Hamadani +8

Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory fa…

math.CO2025

Refinement of Hikita's -positivity theorem via Abreu--Nigro's -functions and restricted modular law

JiSun Huh, Byung-Hak Hwang, Donghyun Kim +2

We study the symmetric functions \( g_{\mm,k}(x;q) \), introduced by Abreu and Nigro for a Hessenberg function \( \mm \) and a positive integer \( k \), which refine the chromatic…