arXiv++ Combinatorics

Koutschan, Krattenthaler and Schlosser recently considered a family of binomial determinants. In this work, we give combinatorial interpretations of two subclasses of these determinants in terms of domino tilings and nonintersecting lattice paths, thereby partially answering a question of theirs. Furthermore, the determinant evaluations established by Koutschan, Krattenthaler and Schlosser produce many product formulas for our weighted enumerations of domino tilings and nonintersecting lattice paths. However, there are still two enumerations left corresponding to conjectural formulas made by the three. We hereby prove the two conjectures using the principle of holonomic Ansatz plus the approach of modular reduction for creative telescoping, and hence fill the gap.

The number of standard Young tableaux of a skew shape $λ/μ$ can be computed as a sum over excited diagrams inside $λ$. Excited diagrams are in bijection with certain lozenge tilings, with flagged semistandard tableaux and also nonintersecting lattice paths inside $λ$. We give two new proofs of a multivariate generalization of this formula, which allow us to extend the setup beyond standard Young tableaux and the underlying Schur symmetric polynomials. The first proof uses multiple contour integrals. The second one interprets excited diagrams as configurations of a six-vertex model at a free fermion point, and derives the formula for the number of standard Young tableaux of a skew shape from the Yang-Baxter equation.

In recent preprints, Cigler considered certain Hankel determinants of convoluted Catalan numbers and conjectured identities for these determinants. In this note, we shall give a bijective proof of Cigler's Conjecture by interpreting determinants as generating functions of nonintersecting lattice paths: this proof employs the reflection principle, the Lindström-Gessel-Viennot-method and a certain construction involving reflections and overlays of nonintersecting lattice paths. Shortly after this bijective proof was presented here, Cigler provided a shorter proof based on earlier results.

We construct a vertex model whose partition function is a refined dual Grothendieck polynomial, where the states are interpreted as nonintersecting lattice paths. Using this, we show refined dual Grothendieck polynomials are multi-Schur functions and give a number of identities, including a Littlewood and Cauchy(-Littlewood) identity. We then refine Yeliussizov's connection between dual Grothendieck polynomials and the last passage percolation (LPP) stochastic process discussed by Johansson. By refining algebraic techniques of Johansson, we show Jacobi-Trudi formulas for skew refined dual Grothendieck polynomials conjectured by Grinberg and recover a relation between LPP and the Schur process due to Baik and Rains. Lastly, we extend our vertex model techniques to show some identities for refined Grothendieck polynomials, including a Jacobi-Trudi formula.

In a recent preprint, Lai showed that the quotient of generating functions of weighted lozenge tilings of two "half hexagons with lateral dents", which differ only in width, factors nicely, and the same is true for the quotient of generating functions of weighted lozenge tilings of two "quarter hexagons with lateral dents". Lai achieved this by using "graphical condensation" (i.e., application of a certain Pfaffian identity to the weighted enumeration of matchings). The purpose of this note is to exhibit how this can be done by the Lindström--Gessel--Viennot method for nonintersecting lattice paths. For the case of "half hexagons", basically the same observation, but restricted to mere enumeration (i.e., all weights of lozenge tilings are equal to $1$), is contained in a recent preprint of Condon.

We construct an integrable colored six-vertex model whose partition function is a double Grothendieck polynomial. This gives an integrable systems interpretation of bumpless pipe dreams and recent results of Weigandt [arXiv:2003.07342] relating double Grothendieck polynomias with bumpless pipe dreams. For vexillary permutations, we then construct a new model that we call the semidual version model. We use our semidual model and the five-vertex model of Motegi and Sakai to given a new proof that double Grothendieck polynomials for vexillary permutations are equal to flagged factorial Grothendieck polynomials. Taking the stable limit of double Grothendieck polynomials, we obtain a new proof that the stable limit is a factorial Grothendieck polynomial as defined by McNamara. The states of our semidual model naturally correspond to families of nonintersecting lattice paths, where we can then use the Lindström-Gessel-Viennot lemma to give a determinant formula for double Schubert polynomials corresponding to vexillary permutations.

In a recent preprint, Lai worked out the quotient of generating functions of weighted lozenge tilings of two "half hexagons with lateral dents" which differ only in width. Lai achieved this by using "graphical condensation" (i.e., application of a certain Pfaffian identity to the weighted enumeration of matchings). The purpose of this note is to exhibit how this can be done by the Lindström--Gessel--Viennot method for nonintersecting lattice paths in a quite simple way. Basically the same observation, but restricted to mere enumeration (i.e., all weights of lozenge tilings are equal to $1$), is contained in a recent preprint of Condon.

Recently the first author and Jang Soo Kim introduced lecture hall tableaux in their study of multivariate little q-Jacobi polynomials. They then enumerated bounded lecture hall tableaux and showed that their enumeration is closely related to standard and semistandard Young tableaux. In this paper we study the asymptotic behavior of these bounded tableaux thanks to two other combinatorial models: non intersecting paths on a graph whose faces are squares and pentagons and dimer models on a lattice whose faces are hexagons and octogons. We use the tangent method to investigate the arctic curve in the model of nonintersecting lattice paths with fixed starting points and ending points distributibuted according to some arbitrary piecewise differentiable function. We then study the dimer model and use some ansatz to guess the asymptotics of the inverse of the Kasteleyn matrix confirm the arctic curve computed with the tangent method for two examples.

Fully Packed Loop configurations in a triangle (TFPLs) first appeared in the study of ordinary Fully Packed Loop configurations (FPLs) on the square grid where they were used to show that the number of FPLs with a given link pattern that has m nested arches is a polynomial function in m. It soon turned out that TFPLs possess a number of other nice properties. For instance, they can be seen as a generalized model of Littlewood-Richardson coefficients. We start our article by introducing oriented versions of TFPLs; their main advantage in comparison with ordinary TFPLs is that they involve only local constraints. Three main contributions are provided. Firstly, we show that the number of ordinary TFPLs can be extracted from a weighted enumeration of oriented TFPLs and thus it suffices to consider the latter. Secondly, we decompose oriented TFPLs into two matchings and use a classical bijection to obtain two families of nonintersecting lattice paths (path tangles). This point of view turns out to be extremely useful for giving easy proofs of previously known conditions on the boundary of TFPLs necessary for them to exist. One example is the inequality d(u)+d(v)<=d(w) where u,v,w are 01-words that encode the boundary conditions of ordinary TFPLs and d(u) is the number of cells in the Ferrers diagram associated with u. In the third part we consider TFPLs with d(w)- d(u)-d(v)=0,1; in the first case their numbers are given by Littlewood-Richardson coefficients, but also in the second case we provide formulas that are in terms of Littlewood-Richardson coefficients. The proofs of these formulas are of a purely combinatorial nature.

It was shown recently by the authors that, for any n, there is equality between the distributions of certain triplets of statistics on nxn alternating sign matrices (ASMs) and descending plane partitions (DPPs) with each part at most n. The statistics for an ASM A are the number of generalized inversions in A, the number of -1's in A and the number of 0's to the left of the 1 in the first row of A, and the respective statistics for a DPP D are the number of nonspecial parts in D, the number of special parts in D and the number of n's in D. Here, the result is generalized to include a fourth statistic for each type of object, where this is the number of 0's to the right of the 1 in the last row of an ASM, and the number of (n-1)'s plus the number of rows of length n-1 in a DPP. This generalization is proved using the known equality of the three-statistic generating functions, together with relations which express each four-statistic generating function in terms of its three-statistic counterpart. These relations are obtained by applying the Desnanot-Jacobi identity to determinantal expressions for the generating functions, where the determinants arise from standard methods involving the six-vertex model with domain-wall boundary conditions for ASMs, and nonintersecting lattice paths for DPPs.

We prove a conjecture of Mills, Robbins and Rumsey [Alternating sign matrices and descending plane partitions, J. Combin. Theory Ser. A 34 (1983), 340-359] that, for any n, k, m and p, the number of nxn alternating sign matrices (ASMs) for which the 1 of the first row is in column k+1 and there are exactly m -1's and m+p inversions is equal to the number of descending plane partitions (DPPs) for which each part is at most n and there are exactly k parts equal to n, m special parts and p nonspecial parts. The proof involves expressing the associated generating functions for ASMs and DPPs with fixed n as determinants of nxn matrices, and using elementary transformations to show that these determinants are equal. The determinants themselves are obtained by standard methods: for ASMs this involves using the Izergin-Korepin formula for the partition function of the six-vertex model with domain-wall boundary conditions, together with a bijection between ASMs and configurations of this model, and for DPPs it involves using the Lindstrom-Gessel-Viennot theorem, together with a bijection between DPPs and certain sets of nonintersecting lattice paths.

In this paper, we show how general determinants may be viewed as generating functions of nonintersecting lattice paths, using the Lindström-Gessel-Viennot interpretation of semistandard Young tableaux and the Jacobi-Trudi identity together with elementary observations. After some preparations, this point of view provides very simple "graphical proofs" for classical determinantal identities like the Cauchy--Binet formula, Dodgson's condensation formula, the Plücker relations and Laplace's expansion. Also, a determinantal identity generalizing Dodgson's condensation formula is presented, which might be new.

We construct a direct natural bijection between descending plane partitions without any special part and permutations. The directness is in the sense that the bijection avoids any reference to nonintersecting lattice paths. The advantage of the bijection is that it provides an interpretation for the seemingly long list of conditions needed to define descending plane partitions. Unfortunately, the bijection does not relate the number of parts of the descending plane partition with the number of inversions of the permutation as one might have expected from the conjecture of Mills, Robbins and Rumsey, although there is a simple expression for the number of inversions of a permutation in terms of the corresponding descending plane partition.

There are (at least) three bijections from Dyck paths to 321-avoiding permutations in the literature, due to Billey-Jockusch-Stanley, Krattenthaler, and Mansour-Deng-Du. How different are they? Denoting them B,K,M respectively, we show that M = B \circ L = K \circ L' where L is the classical Kreweras-Lalanne involution on Dyck paths and L', also an involution, is a sort of derivative of L. Thus K^{-1} \circ B, a measure of the difference between B and K, is the product of involutions L' \circ L and turns out to be a very curious bijection: as a permutation on Dyck n-paths it is an nth root of the "reverse path" involution. The proof of this fact boils down to a geometric argument involving pairs of nonintersecting lattice paths.

We enumerate lattice paths in the planar integer lattice consisting of positively directed unit vertical and horizontal steps with respect to a specific elliptic weight function. The elliptic generating function of paths from a given starting point to a given end point evaluates to an elliptic generalization of the binomial coefficient. Convolution gives an identity equivalent to Frenkel and Turaev's 10-V-9 summation. This appears to be the first combinatorial proof of the latter, and at the same time of some important degenerate cases including Jackson's 8-phi-7 and Dougall's 7-F-6 summation. By considering nonintersecting lattice paths we are led to a multivariate extension of the 10-V-9 summation which turns out to be a special case of an identity originally conjectured by Warnaar, later proved by Rosengren. We conclude with discussing some future perspectives.

We give an explicit Grobner basis for the ideal of the tangent cone at any T-fixed point of a Richardson variety in the Grassmannian, thus generalizing a result of Kodiyalam-Raghavan and Kreiman-Lakshmibai. Our proof is based on a generalization of the Robinson-Schensted-Knuth (RSK) correspondence, which we call the bounded RSK (BRSK). We use the Grobner basis result to deduce a formula which computes the multiplicity of the Richardson variety at any T-fixed point by counting families of nonintersecting lattice paths, thus generalizing a result first proved by Krattehthaler.

The system of one-dimensional symmetric simple random walks, in which none of walkers have met others in a given time period, is called the vicious walker model. It was introduced by Michael Fisher and applications of the model to various wetting and melting phenomena were described in his Boltzmann medal lecture. In the present report, we explain interesting connections among representation theory, probability theory, and random matrix theory using this simple diffusion particle system. Each vicious walk of $N$ walkers is represented by an $N$-tuple of nonintersecting lattice paths on the spatio-temporal plane. There is established a simple bijection between nonintersecting lattice paths and semistandard Young tableaux. Based on this bijection and some knowledge of symmetric polynomials called the Schur functions, we can give a determinantal expression to the partition function of vicious walks, which is regarded as a special case of the Karlin-McGregor formula in the probability theory (or the Lindström-Gessel-Viennot formula in the enumerative combinatorics). Due to a basic property of Schur function, we can take the diffusion scaling limit of the vicious walks and define a noncolliding system of Brownian particles. This diffusion process solves the stochastic differential equations with the drift terms acting as the repulsive two-body forces proportional to the inverse of distances between particles, and thus it is identified with Dyson's Brownian motion model. In other words, the obtained noncolliding system of Brownian particles is equivalent in distribution with the eigenvalue process of a Hermitian matrix-valued process.

We prove a product formula for the remaining cases of the weighted enumeration of self-complementary plane partitions contained in a given box where adding one half of an orbit of cubes and removing the other half of the orbit changes the sign of the weight. We use nonintersecting lattice path families to express this enumeration as a Pfaffian which can be expressed in terms of the known ordinary enumeration of self-complementary plane partitions.

We compute the generating function of column-strict plane partitions with parts in {1,2,...,n}, at most c columns, p rows of odd length and k parts equal to n. This refines both, Krattenthaler's ["The major counting of nonintersecting lattice paths and generating functions for tableaux", Mem. Amer. Math. Soc. 115 (1995)] and the author's ["A method for proving polynomial enumeration formulas", preprint] refinement of the Bender-Knuth (ex-)Conjecture. The result is proved by an extension of the method for proving polynomial enumeration formulas which was introduced by the author to q-quasi-polynomials.

We show how a formula concerning ``vicious walkers'' (which basically are nonintersecting lattice paths) on the cylinder given by P.J. Forrester can be proved and generalized by using the Lindström--Gessel--Viennot method, after having things set up in the right way. We apply the corresponding results to the (thermodynamic limit of the) free energy of the ``lock step model of vicious walkers'', thus completing (and in one instance correcting) the work of Forrester . Moreover, we also show how a related formula given by I. Gessel and C. Krattenthaler can be obtained from the same ``point of view''.