Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Dissecting the Stanley Partition Function
Published
• View Publication
• BIB
Let p(n) denote the number of unrestricted partitions of n. For i=0, 2, let p[i](n) denote the number of partitions pi of n such that O(pi) - O(pi') = i mod 4. Here O(pi) denotes the number of odd parts of the partition pi and pi' is the conjugate of pi. R. Stanley [13], [14] derived an infinite product representation for the generating function of p[0](n)-p[2](n). Recently, Holly Swisher[15] employed the circle method to show that limit[n->oo] p[0](n)/p(n) = 1/2 (i) and that for sufficiently large n 2 p[0](n) > p(n), if n=0,1 mod 4, 2 p[0](n) < p(n), otherwise. (ii) In this paper we study even/odd dissection of the Stanley product, and show how to use it to prove (i) and (ii) with no restriction on n. Moreover, we establish the following new result
|p[0](2n) - p[2](2n)| > |p[0](2n+1) - p[2](2n+1)|, n>0.
Two proofs of this surprising inequality are given. The first one uses the Gollnitz-Gordon partition theorem. The second one is an immediate corollary of a new partition inequality, which we prove in a combinatorial manner. Our methods are elementary. We use only Jacobi's triple product identity and some naive upper bound estimates.
A simple proof of associativity and commutativity of LR-coefficients (or the hive ring)
We give a simple bijective proof of associativity and commutativity of the Littlewood-Richardson coefficients or the hive ring. Specifically, we establish existence a polarized polymatroidal discretely concave functions on the tetrahedron with given boundary values at two adjoint faces.
Ribbon Schur Operators
Published
• View Publication
• BIB
A new combinatorial approach to the ribbon tableaux generating functions and q-Littlewood Richardson coefficients of Lascoux, Leclerc and Thibon is suggested. We define operators which add ribbons to partitions and following Fomin and Greene study non-commutative symmetric functions in these operators. This allows us to give combinatorial interpretations for some (skew) q-Littlewood Richardson coefficients whose non-negativity appears not to be known. Our set up also leads to a new proof of the action of the Heisenberg algebra on the Fock space of U_q(sl^_n) due to Kashiwara, Miwa and Stern.
The coefficients of a Fibonacci power series
Published in Fibonacci Quarterly, 42 (2003), 202-204
• View Publication
• BIB
We give a short proof of the result that all the coefficients of the series (1-x)(1-x^2)(1-x^3)(1-x^5)(1-x^8)(1-x^13)(1-x^21)... are equal to -1, 0, or 1, and most of them are equal to 0.
Finite field models in additive combinatorics
Published
• View Publication
• BIB
The study of many problems in additive combinatorics, such as Szemerédi's theorem on arithmetic progressions, is made easier by first studying models for the problem in F_p^n for some fixed small prime p. We give a number of examples of finite field models of this type, which allows us to introduce some of the central ideas in additive combinatorics relatively cleanly. We also give an indication of how the intuition gained from the study of finite field models can be helpful for addressing the original questions.
Statistics on Wreath Products
We present methods of calculating statistics generating functions over the colored permutation groups, and generalizing known theorems from the symmetric groups to general colored permutations groups.
A refined Razumov-Stroganov conjecture II
Published in J.Stat.Mech.0411:P11004,2004
• View Publication
• BIB
We extend a previous conjecture [cond-mat/0407477] relating the Perron-Frobenius eigenvector of the monodromy matrix of the O(1) loop model to refined numbers of alternating sign matrices. By considering the O(1) loop model on a semi-infinite cylinder with dislocations, we obtain the generating function for alternating sign matrices with prescribed positions of 1's on their top and bottom rows. This seems to indicate a deep correspondence between observables in both models.
Bounding Fastest Mixing
Published
• View Publication
• BIB
In a series of recent works, Boyd, Diaconis, and their co-authors have introduced a semidefinite programming approach for computing the fastest mixing Markov chain on a graph of allowed transitions, given a target stationary distribution. In this paper, we show that standard mixing-time analysis techniques--variational characterizations, conductance, canonical paths--can be used to give simple, nontrivial lower and upper bounds on the fastest mixing time. To test the applicability of this idea, we consider several detailed examples including the Glauber dynamics of the Ising model--and get sharp bounds.
A product formula and combinatorial field theory
We treat the problem of normally ordering expressions involving the standard boson operators a, a* where [a,a*]=1. We show that a simple product formula for formal power series - essentially an extension of the Taylor expansion - leads to a double exponential formula which enables a powerful graphical description of the generating functions of the combinatorial sequences associated with such functions - in essence, a combinatorial field theory. We apply these techniques to some examples related to specific physical Hamiltonians.
A difference-integral representation of Koornwinder polynomials
Published
• View Publication
• BIB
We construct new families of (q-) difference and (contour) integral operators having nice actions on Koornwinder's multivariate orthogonal polynomials. We further show that the Koornwinder polynomials can be constructed by suitable sequences of these operators applied to the constant polynomial 1, giving the difference-integral representation of the title. Macdonald's conjectures (as proved by van Diejen and Sahi) for the principal specialization and norm follow immediately, as does a Cauchy-type identity of Mimachi.
Filling a box with translates of two bricks
Published
• View Publication
• BIB
We give a new proof of the following interesting fact recently proved by Bower and Michael: if a d-dimensional rectangular box can be tiled using translates of two types of rectangular bricks, then it can also be tiled in the following way. We can cut the box across one of its sides into two boxes, one of which can be tiled with the first brick only and the other one with the second brick. Our proof relies on the Fourier Transform. We also show that no such result is true for three, or more, types of bricks.
Schubert Varieties, Linear Codes and Enumerative Combinatorics
Published in Finite Fields and their Applications, Vol. 11, No. 4 (2005), pp. 684-699.
• View Publication
• BIB
We consider linear error correcting codes associated to higher dimensional projective varieties defined over a finite field. The problem of determining the basic parameters of such codes often leads to some interesting and difficult questions in combinatorics and algebraic geometry. This is illustrated by codes associated to Schubert varieties in Grassmannians, called Schubert codes, which have recently been studied. The basic parameters such as the length, dimension and minimum distance of these codes are known only in special cases. An upper bound for the minimum distance is known and it is conjectured that this bound is achieved. We give explicit formulae for the length and dimension of arbitrary Schubert codes and prove the minimum distance conjecture in the affirmative for codes associated to Schubert divisors.
Orthogonal latin rectangles
We use a greedy probabilistic method to prove that for every $ε> 0$, every $m\times n$ Latin rectangle on $n$ symbols has an orthogonal mate, where $m=(1-ε)n$. That is, we show the existence of a second Latin rectangle such that no pair of the $mn$ cells receives the same pair of symbols in the two rectangles.
Amorphic association schemes with negative Latin square type graphs
Published
• View Publication
• BIB
Applying results from partial difference sets, quadratic forms, and recent results of Brouwer and Van Dam, we construct the first known amorphic association scheme with negative Latin square type graphs and whose underlying set is a non-elementary abelian 2-group. We give a simple proof of a result of Hamilton that generalizes Brouwer's result. We use multiple distinct quadratic forms to construct amorphic association schemes with a large number of classes.
The Rotor-Router Model
Building on earlier work of Diaconis and Fulton (1991) and Lawler, Bramson, and Griffeath (1992), Propp in 2001 defined a deterministic analogue of internal diffusion-limited aggregation. This growth model is a "convergent game" of the sort studied by Eriksson (1996). In one dimension, we show that the model is equivalent to a simple dynamical system with three integer-valued parameters; an invariant of this dynamical system yields links between the behavior of the system and diophantine approximation of quadratic irrationals. In two dimensions, we give constraints on the shape of the occupied region, as well as evidence for the proposition that the asymptotic shape of the boundary, suitably rescaled as time goes to infinity, is a circle. While the rotor-router model displays many of the same intriguing features as the Bak-Tang-Weisenfeld abelian sandpile model, we suggest that the new model is likely to be easier to analyze rigorously.
Fractal Sequences and Restricted Nim
The Grundy number of an impartial game G is the size of the unique Nim heap equal to G. We introduce a new variant of Nim, Restricted Nim, which restricts the number of stones a player may remove from a heap in terms of the size of the heap. Certain classes of Restricted Nim are found to produce sequences of Grundy numbers with a self-similar fractal structure. Extending work of C. Kimberling, we obtain new characterizations of these "fractal sequences" and give a bijection between these sequences and certain upper-triangular arrays. As a special case we obtain the game of Serial Nim, in which the Nim heaps are ordered from left to right, and players can move only in the leftmost nonempty heap.
Ehrhart polynomials of cyclic polytopes
Published
• View Publication
• BIB
The Ehrhart polynomial of an integral convex polytope counts the number of lattice points in dilates of the polytope. In math.CO/0402148, the authors conjectured that for any cyclic polytope with integral parameters, the Ehrhart polynomial of it is equal to its volume plus the Ehrhart polynomial of its lower envelope and proved the case when the dimension d = 2. In our article, we prove the conjecture for any dimension.
Hilbert functions of points on Schubert varieties in the Symplectic Grassmannian
Published in Transactions of the American Mathematical Society, Vol. 358, No. 12 (2006), pp. 5401-5423
• View Publication
• BIB
We give an explicit combinatorial description of the multiplicity as well as the Hilbert function of the tangent cone at any point on a Schubert variety in the symplectic Grassmannian.
Cover Pebbling Hypercubes
Given a graph G and a configuration C of pebbles on the vertices of G, a pebbling step removes two pebbles from one vertex and places one pebble on an adjacent vertex. The cover pebbling number g=g(G) is the minimum number so that every configuration of g pebbles has the property that, after some sequence of pebbling steps, every vertex has a pebble on it. We prove that the cover pebbling number of the d-dimensional hypercube Q^d equals 3^d.
Cover pebbling numbers and bounds for certain families of graphs
Given a configuration of pebbles on the vertices of a graph, a pebbling move is defined by removing two pebbles from some vertex and placing one pebble on an adjacent vertex. The cover pebbling number of a graph, gamma(G), is the smallest number of pebbles such that through a sequence of pebbling moves, a pebble can eventually be placed on every vertex simultaneously, no matter how the pebbles are initially distributed. The cover pebbling number for complete multipartite graphs and wheel graphs is determined. We also prove a sharp bound for gamma(G) given the diameter and number of vertices of G.