Source author record

Jang Soo Kim

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

35works
7topics
4close collaborators

Published work

35 publications

preprint2026arXiv

Hook-valued tableau uncrowding and tableau switching

Refined canonical stable Grothendieck polynomials were introduced by Hwang, Jang, Kim, Song, and Song. There exist two combinatorial models for these polynomials: one using hook-valued tableaux and the other using pairs of a semistandard Young tableau and (what we call) an exquisite tableau. An uncrowding algorithm on hook-valued tableaux was introduced by Pan, Pappe, Poh, and Schilling. In this paper, we discover a novel connection between the two models via the uncrowding and Goulden--Greene's jeu de taquin algorithms, using a classical result of Benkart, Sottile, and Stroomer on tableau switching. This connection reveals a symmetry of the uncrowding algorithm defined on hook-valued tableaux. As a corollary, we obtain another combinatorial model for the refined canonical stable Grothendieck polynomials in terms of biflagged tableaux, which naturally appear in the characterization of the image of the uncrowding map.

preprint2022arXiv

Characteristic polynomials of the weak order on classical and affine Coxeter groups

We find a simple product formula for the characteristic polynomial of the permutations with a fixed descent set under the weak order. As a corollary we obtain a simple product formula for the characteristic polynomial of alternating permutations. We generalize these results to Coxeter groups. We also find a formula for the generating function for the characteristic polynomials of classical Coxeter groups, which is then related to affine Coxeter groups.

preprint2021arXiv

Jacobi--Trudi formula for refined dual stable Grothendieck polynomials

In 2007 Lam and Pylyavskyy found a combinatorial formula for the dual stable Grothendieck polynomials, which are the dual basis of the stable Grothendieck polynomials with respect to the Hall inner product. In 2016 Galashin, Grinberg, and Liu introduced refined dual stable Grothendieck polynomials by putting additional sequence of parameters in the combinatorial formula of Lam and Pylyavskyy. Grinberg conjectured a Jacobi--Trudi type formula for refined dual stable Grothendieck polynomials. In this paper this conjecture is proved by using bijections of Lam and Pylyavskyy.

preprint2020arXiv

Enumeration of Gelfand-Cetlin type reduced words

The combinatorics of reduced words and commutation classes plays an important role in geometric representation theory. A string polytope is a lattice polytope associated to each reduced word of the longest element w0w_0 in the symmetric group which encodes the character of a certain irreducible representation of a Lie group of type AA. In this paper, we provide a recursive formula for the number of reduced words of w0w_0 such that the corresponding string polytopes are combinatorially equivalent to a Gelfand-Cetlin polytope. The recursive formula involves the number of standard Young tableaux of shifted shape. We also show that each commutation class is completely determined by a list of quantities called indices.

preprint2020arXiv

Enumeration of standard barely set-valued tableaux of shifted shapes

A standard barely set-valued tableau of shape λλ is a filling of the Young diagram λλ with integers 1,2,…,∣λ∣+11,2,\dots,|λ|+1 such that the integers are increasing in each row and column, and every cell contains one integer except one cell that contains two integers. Counting standard barely set-valued tableaux is closely related to the coincidental down-degree expectations (CDE) of lower intervals in Young's lattice. Using qq-integral techniques we give a formula for the number of standard barely set-valued tableaux of arbitrary shifted shape. We show how it can be used to recover two formulas, originally conjectured by Reiner, Tenner and Yong, and proved by Hopkins, for numbers of standard barely set valued tableaux of particular shifted-balanced shapes. We also prove a conjecture of Reiner, Tenner and Yong on the CDE property of the shifted shape (n,n−2,n−4,…,n−2k+2)(n,n-2,n-4,\dots,n-2k+2). Finally, in the Appendix we raise a conjecture on an a;q\mathsf a;q-analogue of the down-degree expectation with respect to the uniform distribution for a specific class of lower order ideals of Young's lattice.

preprint2020arXiv

Jacobi--Trudi formulas for flagged refined dual stable Grothendieck polynomials

Recently Galashin, Grinberg, and Liu introduced the refined dual stable Grothendieck polynomials, which are symmetric functions in x=(x1,x2,… )x=(x_1,x_2,\dots) with additional parameters t=(t1,t2,… )t=(t_1,t_2,\dots). The refined dual stable Grothendieck polynomials are defined as a generating function for reverse plane partitions of a given shape. They interpolate between Schur functions and dual stable Grothendieck polynomials introduced by Lam and Pylyavskyy in 2007. Flagged refined dual stable Grothendieck polynomials are a more refined version of refined dual stable Grothendieck polynomials, where lower and upper bounds are given for the entries of each row or column. In this paper Jacobi--Trudi-type formulas for flagged refined dual stable Grothendieck polynomials are proved using plethystic substitution. This resolves a conjecture of Grinberg and generalizes a result by Iwao and Amanov--Yeliussizov.

preprint2020arXiv

Lecture hall tableaux

We introduce lecture hall tableaux, which are fillings of a skew Young diagram satisfying certain conditions. Lecture hall tableaux generalize both lecture hall partitions and anti-lecture hall compositions, and also contain reverse semistandard Young tableaux as a limit case. We show that the coefficients in the Schur expansion of multivariate little qq-Jacobi polynomials are generating functions for lecture hall tableaux. Using a Selberg-type integral we show that moments of multivariate little qq-Jacobi polynomials, which are equal to generating functions for lecture hall tableaux of a Young diagram, have a product formula. We also explore various combinatorial properties of lecture hall tableaux.

preprint2020arXiv

On linearization coefficients of qq-Laguerre polynomials

The linearization coefficient L(Ln1(x)…Lnk(x))\mathcal{L}(L_{n_1}(x)\dots L_{n_k}(x)) of classical Laguerre polynomials Ln(x)L_n(x) is known to be equal to the number of (n1,…,nk)(n_1,\dots,n_k)-derangements, which are permutations with a certain condition. Kasraoui, Stanton and Zeng found a qq-analog of this result using qq-Laguerre polynomials with two parameters qq and yy. Their formula expresses the linearization coefficient of qq-Laguerre polynomials as the generating function for (n1,…,nk)(n_1,\dots,n_k)-derangements with two statistics counting weak excedances and crossings. In this paper their result is proved by constructing a sign-reversing involution on marked perfect matchings.

preprint2016arXiv

Flow polytopes with Catalan volumes

The Chan-Robbins-Yuen polytope can be thought of as the flow polytope of the complete graph with netflow vector (1,0,…,0,−1)(1, 0, \ldots, 0, -1). The normalized volume of the Chan-Robbins-Yuen polytope equals the product of consecutive Catalan numbers, yet there is no combinatorial proof of this fact. We consider a natural generalization of this polytope, namely, the flow polytope of the complete graph with netflow vector (1,1,0,…,0,−2)(1,1, 0, \ldots, 0, -2). We show that the volume of this polytope is a certain power of 22 times the product of consecutive Catalan numbers. Our proof uses constant term identities and further deepens the combinatorial mystery of why these numbers appear. In addition we introduce two more families of flow polytopes whose volumes are given by product formulas.

preprint2016arXiv

On q-integrals over order polytopes

A combinatorial study of multiple qq-integrals is developed. This includes a qq-volume of a convex polytope, which depends upon the order of qq-integration. A multiple qq-integral over an order polytope of a poset is interpreted as a generating function of linear extensions of the poset. Specific modifications of posets are shown to give predictable changes in qq-integrals over their respective order polytopes. This method is used to combinatorially evaluate some generalized qq-beta integrals. One such application is a combinatorial interpretation of a qq-Selberg integral. New generating functions for generalized Gelfand-Tsetlin patterns and reverse plane partitions are established. A qq-analogue to a well known result in Ehrhart theory is generalized using qq-volumes and qq-Ehrhart polynomials.

preprint2016arXiv

On the f-vectors of Gelfand-Cetlin polytopes

A Gelfand-Cetlin polytope is a convex polytope obtained as an image of certain completely integrable system on a partial flag variety. In this paper, we give an equivalent description of the face structure of a GC-polytope in terms of so called the face structure of a ladder diagram. Using our description, we obtain a partial differential equation whose solution is the exponential generating function of f-vectors of GC-polytopes. This solves the open problem (2) posed by Gusev, Kritchenko, and Timorin in [GKT].

preprint2014arXiv

A new qq-Selberg integral, Schur functions, and Young books

Recently, Kim and Oh expressed the Selberg integral in terms of the number of Young books which are a generalization of standard Young tableaux of shifted staircase shape. In this paper the generating function for Young books according to major index statistic is considered. It is shown that this generating function can be written as a Jackson integral which gives a new qq-Selberg integral. It is also shown that the new qq-Selberg integral has an expression in terms of Schur functions.

preprint2014arXiv

Generalized Dyck tilings

Recently, Kenyon and Wilson introduced Dyck tilings, which are certain tilings of the region between two Dyck paths. The enumeration of Dyck tilings is related with hook formulas for forests and the combinatorics of Hermite polynomials. The first goal of this work is to give an alternative point of view on Dyck tilings by making use of the weak order and the Bruhat order on permutations. Then we introduce two natural generalizations: kk-Dyck tilings and symmetric Dyck tilings. We are led to consider Stirling permutations, and define an analog of the Bruhat order on them. We show that certain families of kk-Dyck tilings are in bijection with intervals in this order. We also enumerate symmetric Dyck tilings.

preprint2014arXiv

The Selberg integral and Young books

The Selberg integral is an important integral first evaluated by Selberg in 1944. Stanley found a combinatorial interpretation of the Selberg integral in terms of permutations. In this paper, new combinatorial objects "Young books" are introduced and shown to have a connection with the Selberg integral. This connection gives an enumeration formula for Young books. It is shown that special cases of Young books become standard Young tableaux of various shapes: shifted staircases, squares, certain skew shapes, and certain truncated shapes. As a consequence, product formulas for the number of standard Young tableaux of these shapes are obtained.

preprint2013arXiv

Dyck tilings, increasing trees, descents, and inversions

Cover-inclusive Dyck tilings are tilings of skew Young diagrams with ribbon tiles shaped like Dyck paths, in which tiles are no larger than the tiles they cover. These tilings arise in the study of certain statistical physics models and also Kazhdan--Lusztig polynomials. We give two bijections between cover-inclusive Dyck tilings and linear extensions of tree posets. The first bijection maps the statistic (area + tiles)/2 to inversions of the linear extension, and the second bijection maps the "discrepancy" between the upper and lower boundary of the tiling to descents of the linear extension.

preprint2012arXiv

Cyclic sieving phenomenon on annular noncrossing permutations

We show an instance of the cyclic sieving phenomenon on annular noncrossing permutations with given cycle types. We define annular qq-Kreweras numbers, annular qq-Narayana numbers, and annular qq-Catalan number, all of which are polynomials in qq. We then show that these polynomials exhibit the cyclic sieving phenomenon on annular noncrossing permutations. We also show that a sum of annular qq-Kreweras numbers becomes an annular qq-Narayana number and a sum of qq-Narayana numbers becomes an annular qq-Catalan number.

preprint2012arXiv

Enumeration formulas for generalized q-Euler numbers

We find an enumeration formula for a (t,q)(t,q)-Euler number which is a generalization of the qq-Euler number introduced by Han, Randrianarivony, and Zeng. We also give a combinatorial expression for the (t,q)(t,q)-Euler number and find another formula when t=±qrt=\pm q^r for any integer rr. Special cases of our latter formula include the formula of the qq-Euler number recently found by Josuat-Vergès and Touchard-Riordan's formula.

preprint2012arXiv

Proofs of two conjectures of Kenyon and Wilson on Dyck tilings

Recently, Kenyon and Wilson introduced a certain matrix MM in order to compute pairing probabilities of what they call the double-dimer model. They showed that the absolute value of each entry of the inverse matrix M−1M^{-1} is equal to the number of certain Dyck tilings of a skew shape. They conjectured two formulas on the sum of the absolute values of the entries in a row or a column of M−1M^{-1}. In this paper we prove the two conjectures. As a consequence we obtain that the sum of the absolute values of all entries of M−1M^{-1} is equal to the number of complete matchings. We also find a bijection between Dyck tilings and complete matchings.

preprint2011arXiv

Chain enumeration of kk-divisible noncrossing partitions of classical types

We give combinatorial proofs of the formulas for the number of multichains in the kk-divisible noncrossing partitions of classical types with certain conditions on the rank and the block size due to Krattenthaler and M{ü}ller. We also prove Armstrong's conjecture on the zeta polynomial of the poset of kk-divisible noncrossing partitions of type AA invariant under a 180∘180^\circ rotation in the cyclic representation.

preprint2011arXiv

Combinatorics on permutation tableaux of type AA and type BB

We give another bijective proof of a result of Corteel and Nadeau. We find a generating function related to unrestricted columns of permutation tableaux. As a consequence, we obtain a sign-imbalance formula for permutation tableaux. We extend the first bijection of Corteel and Nadeau between permutations and permutation tableaux to type BB objects. Using this type BB bijection, we generalize a result of Lam and Williams. We prove that the bijection of Corteel and Nadeau and our type BB bijection can be expressed as zigzag maps on the alternative representation.

preprint2011arXiv

Front representation of set partitions

Let ππ be a set partition of [n]={1,2,...,n}[n]=\{1,2,...,n\}. The standard representation of ππ is the graph on the vertex set [n][n] whose edges are the pairs (i,j)(i,j) of integers with i<ji<j in the same block which does not contain any integer between ii and jj. The front representation of ππ is the graph on the vertex set [n][n] whose edges are the pairs (i,j)(i,j) of integers with i<ji<j in the same block whose smallest integer is ii. Using the front representation, we find a recurrence relation for the number of 12...k1212... k12-avoiding partitions for k≥2k\geq2. Similarly, we find a recurrence relation for the number of kk-distant noncrossing partitions for k=2,3k=2,3. We also prove that the front representation has several joint symmetric distributions for crossings and nestings as the standard representation does.

preprint2011arXiv

New interpretations for noncrossing partitions of classical types

We interpret noncrossing partitions of type BB and type DD in terms of noncrossing partitions of type AA. As an application, we get type-preserving bijections between noncrossing and nonnesting partitions of type BB, type CC and type DD which are different from those in the recent work of Fink and Giraldo. We also define Catalan tableaux of type BB and type DD, and find bijections between them and noncrossing partitions of type BB and type DD respectively.

preprint2010arXiv

A note on the total number of cycles of even and odd permutations

We prove bijectively that the total number of cycles of all even permutations of [n]={1,2,...,n}[n]=\{1,2,...,n\} and the total number of cycles of all odd permutations of [n][n] differ by (−1)n(n−2)!(-1)^n(n-2)!, which was stated as an open problem by Miklós Bóna. We also prove bijectively the following more general identity: ∑i=1nc(n,i)⋅i⋅(−k)i−1=(−1)kk!(n−k−1)!,\sum_{i=1}^n c(n,i)\cdot i \cdot (-k)^{i-1} = (-1)^k k! (n-k-1)!, where c(n,i)c(n,i) denotes the number of permutations of [n][n] with ii cycles.

preprint2010arXiv

q-analog of tableau containment

We prove a qq-analog of the following result due to McKay, Morse and Wilf: the probability that a random standard Young tableau of size nn contains a fixed standard Young tableau of shape λ⊢kλ\vdash k tends to fλ/k!f^λ/k! in the large nn limit, where fλf^λ is the number of standard Young tableaux of shape λλ. We also consider the probability that a random pair (P,Q)(P,Q) of standard Young tableaux of the same shape contains a fixed pair (A,B)(A,B) of standard Young tableaux.

preprint2010arXiv

Skew domino Schensted algorithm and sign-imbalance

Using growth diagrams, we define a skew domino Schensted correspondence which is a domino analogue of the skew Robinson-Schensted correspondence due to Sagan and Stanley. The color-to-spin property of Shimozono and White is extended. As an application, we give a simple generating function for the weighted sum of skew domino tableaux, which is a generalization of Stanley's sign-imbalance formula. The generating function gives a method to calculate the generalized sign-imbalance formula. We also extend Sj{ö}strand's theorems on sign-imbalance of skew shapes.

preprint2009arXiv

A combinatorial proof of a formula for Betti numbers of a stacked polytope

For a simplicial complex ΔΔ, the graded Betti number βi,j(k[Δ])β_{i,j}(k[Δ]) of the Stanley-Reisner ring k[Δ]k[Δ] over a field kk has a combinatorial interpretation due to Hochster. Terai and Hibi showed that if ΔΔ is the boundary complex of a dd-dimensional stacked polytope with nn vertices for d≥3d\geq3, then βk−1,k(k[Δ])=(k−1)(n−dk)β_{k-1,k}(k[Δ])=(k-1)\binom{n-d}{k}. We prove this combinatorially.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.