arXiv++ Combinatorics

We prove several evaluations of determinants of matrices, the entries of which are given by the recurrence $a_{i,j}=a_{i-1,j}+a_{i,j-1}$, or variations thereof. These evaluations were either conjectured or extend conjectures by Roland Bacher [J. Théorie Nombres Bordeaux 13 (2001), to appear; see http://arxiv.org/abs/math.CO/0109013].

A lattice diagram is a finite list L=((p_1,q_1),...,(p_n,q_n) of lattice cells. The corresponding lattice diagram determinant is Δ_L(X;Y)=\det \| x_i^{p_j}y_i^{q_j} \|. These lattice diagram determinants are crucial in the study of the so-called ``n! conjecture'' of A. Garsia and M. Haiman. The space M_L is the space spanned by all partial derivatives of Δ_L(X;Y). The ``shift operators'', which are particular partial symmetric derivative operators are very useful in the comprehension of the structure of the M_L spaces. We describe here how a Schur function partial derivative operator acts on lattice diagrams with distinct cells in the positive quadrant.

We prove that Fredholm determinants of the form det(1-K_s), where K_s is the restriction of either the discrete Bessel kernel or the discrete {}_2F_1 kernel to {s,s+1,...}, can be expressed through solutions of discrete Painleve II and V equations, respectively. These Fredholm determinants can also be viewed as distribution functions of the first part of the random partitions distributed according to a poissonized Plancherel measure and a z-measure, or as normalized Toeplitz determinants with symbols exp(η(u+1/u)) and (1+u)^z(1+ξ/u)^{z'}. The proofs are based on a general formalism involving discrete integrable operators and discrete Riemann-Hilbert problem. A continuous version of the formalism has been worked out in math-ph/0111007.

A number of conjectures have been given recently concerning the connection between the antiferromagnetic XXZ spin chain at $Δ= - \frac12$ and various symmetry classes of alternating sign matrices. Here we use the integrability of the XXZ chain to gain further insight into these developments. In doing so we obtain a number of new results using Baxter's $Q$ function for the XXZ chain for periodic, twisted and open boundary conditions. These include expressions for the elementary symmetric functions evaluated at the groundstate solution of the Bethe roots. In this approach Schur functions play a central role and enable us to derive determinant expressions which appear in certain natural double products over the Bethe roots. When evaluated these give rise to the numbers counting different symmetry classes of alternating sign matrices.

A formula expressing free cumulants in terms of the Jacobi parameters of the corresponding orthogonal polynomials is derived. It combines Flajolet's theory of continued fractions and Lagrange inversion. For the converse we discuss Gessel-Viennot theory to express Hankel determinants in terms of various cumulants.

The classical Matrix-Tree Theorem allows one to list the spanning trees of a graph by monomials in the expansion of the determinant of a certain matrix. We prove that in the case of three-graphs (that is, hypergraphs whose edges have exactly three vertices) the spanning trees are generated by the Pfaffian of a suitably defined matrix. This result can be interpreted topologically as an expression for the lowest order term of the Alexander-Conway polynomial of an algebraically split link. We also prove some algebraic properties of our Pfaffian-tree polynomial.

The aim of this paper is to study determinants of matrices related to the Pascal triangle.

We study the map which sends vectors of polynomials into their Wronski determinants. This defines a projection map of a Grassmann variety which we call a Wronski map. Our main result is computation of degrees of the real Wronski maps. Connections with real algebraic geometry and control theory are described.

A lattice diagram is a finite set $L=\{(p_1,q_1),... ,(p_n,q_n)\}$ of lattice cells in the positive quadrant. The corresponding lattice diagram determinant is $Δ_L(\X;\Y)=\det \| x_i^{p_j}y_i^{q_j} \|$. The space $M_L$ is the space spanned by all partial derivatives of $Δ_L(\X;\Y)$. We denote by $M_L^0$ the $Y$-free component of $M_L$. For $μ$ a partition of $n+1$, we denote by $μ/ij$ the diagram obtained by removing the cell $(i,j)$ from the Ferrers diagram of $μ$. Using homogeneous partially symmetric polynomials, we give here a dual description of the vanishing ideal of the space $M_μ^0$ and we give the first known description of the vanishing ideal of $M_{μ/ij}^0$.

Schur process is a time-dependent analog of the Schur measure on partitions studied in math.RT/9907127. Our first result is that the correlation functions of the Schur process are determinants with a kernel that has a nice contour integral representation in terms of the parameters of the process. This general result is then applied to a particular specialization of the Schur process, namely to random 3-dimensional Young diagrams. The local geometry of a large random 3-dimensional diagram is described in terms of a determinantal point process on a 2-dimensional lattice with the incomplete beta function kernel (which generalizes the discrete sine kernel). A brief discussion of the universality of this answer concludes the paper.

We give a formula that expresses the Hilbert series of one-sided ladder determinantal rings, up to a trivial factor, in form of a determinant. This allows the convenient computation of these Hilbert series. The formula follows from a determinantal formula for a generating function for families of nonintersecting lattice paths that stay inside a one-sided ladder-shaped region, in which the paths are counted with respect to turns.

We give alternative proofs to (block case versions of) some formulas for Toeplitz and Fredholm determinants established recently by the authors of the title. Our proof of the Borodin-Okounkov formula is very short and direct. The proof of the Baik-Deift-Rains formulas is based on standard manipulations with Wiener-Hopf factorizations.

We obtain an identity between Fredholm determinants of two kinds of operators, one acting on functions on the unit circle and the other acting on functions on a subset of the integers. This identity is a generalization of an identity between a Toeplitz determinant and a Fredholm determinant that has appeared in the random permutation context. Using this identity, we prove, in particular, convergence of moments for arbitrary rows of a random Young diagram under Plancherel measure.

We use a reflection argument, introduced by Gessel and Zeilberger, to count the number of k-step walks between two points which stay within a chamber of a Weyl group. We apply this technique to walks in the alcoves of the classical affine Weyl groups. In all cases, we get determinant formulas for the number of k-step walks. One important example is the region m>x_1>x_2>...>x_n>0, which is a rescaled alcove of the affine Weyl group C_n. If each coordinate is considered to be an independent particle, this models n non-colliding random walks on the interval (0,m). Another case models n non-colliding random walks on the circle.

We evaluate the determinant $\det_{1\leq i,j\leq n}(\binom{x+y+j}{x-i+2j}-\binom{x+y+j}{x+i+2j})$, which gives the number of lozenge tilings of a hexagon with cut off corners. A particularly interesting feature of this evaluation is that it requires the proof of a certain hypergeometric identity which we accomplish by using Gosper's algorithm in a non-automatic fashion.

We propose a theory of double Schubert polynomials P_w(X,Y) for the Lie types B, C, D which naturally extends the family of Lascoux of Schutzenberger in type A. These polynomials satisfy positivity, orthogonality, and stability properties, and represent the classes of Schubert varieties and degeneracy loci of vector bundles. When w is a maximal Grassmannian element of the Weyl group, P_w(X,Y) can be expressed in terms of Schur-type determinants and Pfaffians, in analogy with the type A formula of Kempf and Laksov. An example, motivated by quantum cohomology, shows that there are no Chern class formulas for degeneracy loci of ``isotropic morphisms'' of bundles.

These lectures present a survey of recent developments in the area of random matrices (finite and infinite) and random permutations. These probabilistic problems suggest matrix integrals (or Fredholm determinants), which arise very naturally as integrals over the tangent space to symmetric spaces, as integrals over groups and finally as integrals over symmetric spaces. An important part of these lectures is devoted to showing that these matrix integrals, upon apropriately adding time-parameters, are natural tau-functions for integrable lattices, like the Toda, Pfaff and Toeplitz lattices, but also for integrable PDE's, like the KdV equation. These matrix integrals or Fredholm determinants also satisfy Virasoro constraints, which combined with the integrable equations lead to (partial) differential equations for the original probabilities.

In a previous article [math.CO/9712207], we derived the alternating-sign matrix (ASM) theorem from the Izergin-Korepin determinant for a partition function for square ice with domain wall boundary. Here we show that the same argument enumerates three other symmetry classes of alternating-sign matrices: VSASMs (vertically symmetric ASMs), even HTSASMs (half-turn-symmetric ASMs), and even QTSASMs (quarter-turn-symmetric ASMs). The VSASM enumeration was conjectured by Mills; the others by Robbins [math.CO/0008045]. We introduce several new types of ASMs: UASMs (ASMs with a U-turn side), UUASMs (two U-turn sides), OSASMs (off-diagonally symmetric ASMs), OOSASMs (off-diagonally, off-antidiagonally symmetric), and UOSASMs (off-diagonally symmetric with U-turn sides). UASMs generalize VSASMs, while UUASMs generalize VHSASMs (vertically and horizontally symmetric ASMs) and another new class, VHPASMs (vertically and horizontally perverse). OSASMs, OOSASMs, and UOSASMs are related to the remaining symmetry classes of ASMs, namely DSASMs (diagonally symmetric), DASASMs (diagonally, anti-diagonally symmetric), and TSASMs (totally symmetric ASMs). We enumerate several of these new classes, and we provide several 2-enumerations and 3-enumerations. Our main technical tool is a set of multi-parameter determinant and Pfaffian formulas generalizing the Izergin-Korepin determinant for ASMs and the Tsuchiya determinant for UASMs [solv-int/9804010]. We evaluate specializations of the determinants and Pfaffians using the factor exhaustion method.

We introduce a new notion of the determinant, called symmetrized determinant, for a square matrix with the entries in an associative algebra $Å$. The monomial expansion of the symmetrized determinant is obtained from the standard expansion of the commutative determinant by averaging the products of entries of the matrix in all possible orders. We show that for any fixed finite-dimensional associative algebra $Å$, the symmetrized determinant of an $n\times n$ matrix with the entries in $Å$ can be computed in polynomial in $n$ time (the degree of the polynomial is linear in the dimension of $Å$). Then, for every associative algebra $Å$ endowed with a scalar product and unbiased probability measure, we construct a randomized polynomial time algorithm to estimate the permanent of non-negative matrices. We conjecture that if $Å=\Mat(d, {\Bbb R})$ is the algebra of $d\times d$ real matrices endowed with the standard scalar product and Gaussian measure, the algorithm approximates the permanent of a non-negative $n \times n$ matrix within $O(γ_d^n)$ factor, where $\lim_{d \longrightarrow +\infty} γ_d=1$. Finally, we provide some informal arguments why the conjecture might be true.

We state and prove several theorems that demonstrate how the coordinate Bethe Ansatz for the eigenvectors of suitable transfer matrices of a generalised inhomogeneous five-vertex model on the square lattice, given certain conditions hold, is equivalent to the Gessel-Viennot determinant for the number of configurations of $N$ non-intersecting directed lattice paths, or vicious walkers, with various boundary conditions. Our theorems are sufficiently general to allow generalisation to any regular planar lattice.