2 citations · 9 across the 14 of their papers we have counts for
4 papers · 1 filter
Coefficient lifting for skew divided differences and triple Schubert coefficients
Byung-Hak Hwang
Skew divided difference operators \(\partial_{w/v}\), introduced by Macdonald, play an important role in the study of Schubert polynomials and their structure constants. For permut…
A Computational Obstruction to Swapping Area and Dinv: An Automata-Theoretic View of the -Catalan Symmetry
Jineon Baek, Byung-Hak Hwang, Joonhyun La +1
Algebraic combinatorics often seeks bijections that explain identities between distributions object by object. Encoding combinatorial objects as words lets automata theory study su…
Lean-GAP: A Dataset of Formalized Graduate Algebra Problems
Seewoo Lee, Byung-Hak Hwang, Hyojae Lim +10
We present Lean-GAP (Lean-Graduate Agebra Problems), 430 formalized graduate-level algebra problems from the textbook Abstract Algebra by Dummit and Foote. We develop a scalable pi…
A sign-reversing involution for the antipode of Schur functions
Younggwang Cho, Byung-Hak Hwang, Hojoon Lee
We resolve a question posed by Benedetti and Sagan by constructing a signreversing involution on Takeuchi's expansion that yields the antipode for the ring of symmetric functions i…