Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Three alternating sign matrix identities in search of bijective proofs
Published
• View Publication
• BIB
This paper highlights three known identities, each of which involves sums over alternating sign matrices. While proofs of all three are known, the only known derivations are as corollaries of difficult results. The simplicity and natural combinatorial interpretation of these identities, however, suggest that there should be direct, bijective proofs.
Convergence of zeta functions of graphs
Published
• View Publication
• BIB
The $L^2$-zeta function of an infinite graph Y (defined previously in a ball around zero) has an analytic extension. For a tower of finite graphs covered by Y, the normalized zeta functions of the finite graphs converge to the $L^2$-zeta function of Y.
A simple proof of Bailey's very-well-poised 6-psi-6 summation
Published in Proc. Amer. Math. Soc. 130 (2002), 1113-1123
• View Publication
• BIB
We give elementary derivations of some classical summation formulae for bilateral (basic) hypergeometric series. In particular, we apply Gauss' 2-F-1 summation and elementary series manipulations to give a simple proof of Dougall's 2-H-2 summation. Similarly, we apply Rogers' nonterminating 6-phi-5 summation and elementary series manipulations to give a simple proof of Bailey's very-well-poised 6-psi-6 summation. Our method of proof extends M. Jackson's first elementary proof of Ramanujan's 1-psi-1 summation.
Symmetric Hilbert spaces arising from species of structures
Published in Mathematische Zeitschrift 239, 477-513, (2002)
• View Publication
• BIB
Symmetric Hilbert spaces such as the bosonic and the fermionic Fock spaces over some `one particle space' $\K$ are formed by certain symmetrization procedures performed on the full Fock space. We investigate alternative ways of symmetrization by building on Joyal's notion of a combinatorial species. Any such species $F$ gives rise to an endofunctor $\G_F$ of the category of Hilbert spaces with contractions mapping a Hilbert space $\K$ to a symmetric Hilbert space $\G_F(\K)$ with the same symmetry as the species $F$. A general framework for annihilation and creation operators on these spaces is developed, and compared to the generalised Brownian motions of R. Speicher and M. Bożejko. As a corollary we find that the commutation relation $a_ia_j^*-a_j^*a_i=f(N)δ_{ij}$ with $Na_i^*-a_i^*N=a_i^*$ admits a realization on a symmetric Hilbert space whenever $f$ has a power series with infinite radius of convergence and positive coefficients.
On Descents in Standard Young Tableaux
Published in Electronic J. Combinatorics 7(2000), R59
• Search Publication
In this paper, explicit formulae for the expectation and the variance of descent functions on random standard Young tableaux are presented. Using these, it is shown that the normalized variance, $V/E^2$, is bounded if and only if a certain inequality relating tableau shape to the descent function holds.
A double bounded key identity for Goellnitz's (big) partition theorem
Published
• View Publication
• BIB
Given integers i,j,k,L,M, we establish a new double bounded q-series identity from which the three parameter (i,j,k) key identity of Alladi-Andrews-Gordon for Goellnitz's (big) theorem follows if L, M tend to infinity. When L = M, the identity yields a strong refinement of Goellnitz's theorem with a bound on the parts given by L. This is the first time a bounded version of Goellnitz's (big) theorem has been proved. This leads to new bounded versions of Jacobi's triple product identity for theta functions and other fundamental identities.
A Large Dihedral Symmetry of the Set of Alternating Sign Matrices
Published
• View Publication
• BIB
We prove a conjecture of Cohn and Propp, which refines a conjecture of Bosley and Fidkowski about the symmetry of the set of alternating sign matrices (ASMs). We examine data arising from the representation of an ASM as a collection of paths connecting 2n vertices and show it to be invariant under the dihedral group D_{2n} rearranging those vertices, which is much bigger than the group of symmetries of the square. We also generalize conjectures of Propp and Wilson relating some of this data for different values of n.
On finitization of the Gordon identities
Published in Funct Anal. and Appl., vol. 35 (2001), no. 1
• View Publication
• BIB
In this paper we prove the identity that generalizes the Andrews-Gordon identity. Also we discuss the relation of our formula to the geometry of affine flag varieties and to the geometry of polyhedra.
Vertex-Facet Incidences of Unbounded Polyhedra
How much of the combinatorial structure of a pointed polyhedron is contained in its vertex-facet incidences? Not too much, in general, as we demonstrate by examples. However, one can tell from the incidence data whether the polyhedron is bounded. In the case of a polyhedron that is simple and "simplicial," i.e., a d-dimensional polyhedron that has d facets through each vertex and d vertices on each facet, we derive from the structure of the vertex-facet incidence matrix that the polyhedron is necessarily bounded. In particular, this yields a characterization of those polyhedra that have circulants as vertex-facet incidence matrices.
A Double Bounded Version of Schur's Partition Theorem
Published
• View Publication
• BIB
Schur's partition theorem states that the number of partitions of n into distinct parts congruent 1, 2 (mod 3) equals the number of partitions of n into parts which differ by >= 3, where the inequality is strict if a part is a multiple of 3. We establish a double bounded refined version of this theorem by imposing one bound on the parts congruent 0,1 (mod 3) and another on the parts congruent 2 (mod 3), and by keeping track of the number of parts in each of the residue classes (mod 3). Despite the long history of Schur's theorem, our result is new, and extends earlier work of Andrews, Alladi-Gordon and Bressoud. We give combinatorial and q-theoretic proofs of our result. The special case L=M leads to a representation of the generating function of the underlying partitions in terms of the q-trinomial coefficients extending a similar previous representation of Andrews.
Vicious walkers, friendly walkers and Young tableaux II: With a wall
Published in J.Phys.A33:8835-8866,2000
• View Publication
• BIB
We derive new results for the number of star and watermelon configurations of vicious walkers in the presence of an impenetrable wall by showing that these follow from standard results in the theory of Young tableaux, and combinatorial descriptions of symmetric functions. For the problem of $n$-friendly walkers, we derive exact asymptotics for the number of stars and watermelons both in the absence of a wall and in the presence of a wall.
From the Bethe Ansatz to the Gessel-Viennot Theorem
Published in Annals of Combinatorics 3 (1999) 251-263
• View Publication
• BIB
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.
Avoiding maximal parabolic subgroups of S_k
Published
• View Publication
• BIB
We find an explicit expression for the generating function of the number of permutations in S_n avoiding a subgroup of S_k generated by all but one simple transpositions. The generating function turns out to be rational, and its denominator is a rook polynomial for a rectangular board.
Semigroups, rings, and Markov chains
Published
• View Publication
• BIB
We analyze random walks on a class of semigroups called ``left-regular bands''. These walks include the hyperplane chamber walks of Bidigare, Hanlon, and Rockmore. Using methods of ring theory, we show that the transition matrices are diagonalizable and we calculate the eigenvalues and multiplicities. The methods lead to explicit formulas for the projections onto the eigenspaces. As examples of these semigroup walks, we construct a random walk on the maximal chains of any distributive lattice, as well as two random walks associated with any matroid. The examples include a q-analogue of the Tsetlin library. The multiplicities of the eigenvalues in the matroid walks are ``generalized derangement numbers'', which may be of independent interest.
A Generalization of the Random Assignment Problem
We give a conjecture for the expected value of the optimal k-assignment in an m x n-matrix, where the entries are all exp(1)-distributed random variables or zeros. We prove this conjecture in the case there is a zero-cost $k-1$-assignment. Assuming our conjecture, we determine some limits, as $k=m=n\to \infty$, of the expected cost of an optimal n -assignment in an n x n-matrix with zeros in some region. If we take the region outside a quarter-circle inscribed in the square matrix, this limit is thus conjectured to be $π^2/24$. We give a computer-generated verification of a conjecture of Parisi for k=m=n=7 and of a conjecture of Coppersmith and Sorkin for $k\leq 5$. We have used the same computer program to verify this conjecture also for k=6.
A Note on Planar and Dismantlable Lattices
Published
• View Publication
• BIB
It is shown that any finite, rank-connected, dismantlable lattice is lexicographically shellable (hence Cohen-Macaulay). A ranked, interval-connected lattice is shown to be rank-connected, but a rank-connected lattice need not be interval-connected. An example of a planar, rank-connected lattice that is not admissible is given.
Completion of a Rational Function Sequence of Carlitz
The exponential generating functions of {n^(n+m)} for arbitrary integer m are expressed as rational functions of the e.g.f. of {n^(n-1)} [the tree function] and then of the e.g.f. of {n^n} [the endofunction function].
The coefficients in these rational functions include 2nd-order Eulerian numbers (a result of L. Carlitz), 2nd-order Stirling numbers, and Stirling numbers of the first kind for negative sets (in the sense of D. Loeb). Several combinatorial identities follow.
Correlation functions for symmetrized increasing subsequences
We show that the correlation functions associated to symmetrized increasing subsequence problems can be expressed as pfaffians of certain antisymmetric matrix kernels, thus generalizing the result of math.RT/9907127 for the unsymmetrized case.
Who Wins Domineering on Rectangular Boards?
Published in MSRI Workshop on Combinatorial Games 2000
• View Publication
• BIB
Using mostly elementary considerations, we find out who wins the game of Domineering on all rectangular boards of width 2, 3, 5, and 7. We obtain bounds on other boards as well, and prove the existence of polynomial-time strategies for playing on all boards of width 2, 3, 4, 5, 7, 9, and 11. We also comment briefly on toroidal and cylindrical boards.
One-Dimensional Peg Solitaire
Published in MSRI Workshop on Combinatorial Games 2000
• Search Publication
We solve the problem of one-dimensional peg solitaire. In particular, we show that the set of configurations that can be reduced to a single peg forms a regular language, and that a linear-time algorithm exists for reducing any configuration to the minimum number of pegs.