arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81914 papers, 47441 authors in database)
1998-08-28
Identities for classical group characters of nearly rectangular shape
Published in J. Algebra 209 (1998), 1-64 • View PublicationBIB
We derive several identities that feature irreducible characters of the general linear, the symplectic, the orthogonal, and the special orthogonal groups. All the identities feature characters that are indexed by shapes that are "nearly" rectangular, by which we mean that the shapes are rectangles except for one row or column that might be shorter than the others. As applications we prove new results in plane partitions and tableaux enumeration, including new refinements of the Bender-Knuth and MacMahon (ex-)conjectures.
1998-08-25 v2
Elementary proofs of identities for Schur functions and plane partitions
Published • View PublicationBIB
Elementary proofs are given for sums of Schur functions over partitions into at most n parts each less than or equal to m for which i) all parts are even, ii) all parts of the conjugate partition are even. Also, an elementary proof of a recent result of Ishikawa and Wakayama is given.
1998-08-17
The Abstract Lace Expansion
Published in Advances in Applied Mathematics 19(1997), 355-359 • View PublicationBIB
David Brydges and Thomas Spencer's Lace Expansion is abstracted, and it is shown how it sometimes gives rise to sieves.
1998-08-17
Proof of Conway's Lost Cosmological Theorem
Published in Electronic Research Announcements of the Amer. Math. Soc. 3(1997), 78-82 • View PublicationBIB
John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.
1998-08-17
A Comparison Of Two Methods For Random Labelling of Balls by Vectors of Integers
Published in Advances in Combinatorial Methods and Applications to Statistics, N. Balakrishnan, ed., Birkhauser, 1997 (Mohanty Festschrift] • View PublicationBIB
A combinatorial problem that came up in Combinatorial Chemistry is solved.
1998-08-17
Dodgson's Determinant-Evaluation Rule proved by Two-Timing Men and Women
Published in Elec. J. Comb. 4(2)(1997), R22 • Search Publication
The Rev. Dodgson's determinant condensation rule is given a bijective proof.
1998-08-17
The Enumeration of Permutations With a Prescribed Number of ``Forbidden'' Patterns
Published in Advances in Applied Mathematics 17 (1996), 381-407 • Search Publication
We initiate a general approach for the fast enumeration of permutations with a prescribed number of occurrences of `forbidden' patterns, that seems to indicate that the enumerating sequence is always P-recursive. We illustrate the method completely in terms of the patterns `abc',`cab' and `abcd'.
1998-08-11
Determinantal expressions for Macdonald polynomials
Published • View PublicationBIB
We show that the action of classical operators associated to the Macdonald polynomials on the basis of Schur functions, S_λ[X(t-1)/(q-1)], can be reduced to addition in λ-rings. This provides explicit formulas for the Macdonald polynomials expanded in this basis as well as in the ordinary Schur basis, S_λ[X], and the monomial basis, m_λ[X].
1998-08-09 v2
Polynomial Sequences of Binomial Type and Path Integrals
Published in Ann. of Combinatorics, 6(2002), no. 1, pp. 45-56. • View PublicationBIB
Polynomial sequences $p_n(x)$ of binomial type are a principal tool in the umbral calculus of enumerative combinatorics. We express $p_n(x)$ as a \emph{path integral} in the ``phase space'' $\Space{N}{} \times {[-π,π]}$. The Hamiltonian is $h(φ)=\sum_{n=0}^\infty p_n'(0)/n! e^{inφ}$ and it produces a Schrödinger type equation for $p_n(x)$. This establishes a bridge between enumerative combinatorics and quantum field theory. It also provides an algorithm for parallel quantum computations. Keywords: Feynman path integral, umbral calculus, polynomial sequence of binomial type, token, Schrödinger equation, propagator, wave function, cumulants, quantum computation.
1998-08-04 v4
Plane partitions I: a generalization of MacMahon's formula
The number of plane partitions contained in a given box was shown by MacMahon to be given by a simple product formula. By a simple bijection, this formula also enumerates lozenge tilings of hexagons of side-lengths $a,b,c,a,b,c$ (in cyclic order) and angles of 120 degrees. We present a generalization in the case $b=c$ by giving simple product formulas enumerating lozenge tilings of regions obtained from a hexagon of side-lengths $a,b+k,b,a+k,b,b+k$ (where $k$ is an arbitrary non-negative integer) and angles of 120 degrees by removing certain triangular regions along its symmetry axis.
1998-08-04
Plane partitions II: 5 1/2 symmetry classes
Published in in: "Combinatorial Methods in Representation Theory," M. Kashiwara, K. Koike, S. Okada, I. Terada, H. Yamada, eds., Advanced Studies in Pure Mathematics, vol. 28, RIMS, Kyoto, 2000, pp. 83-103 • View PublicationBIB
We present new, simple proofs for the enumeration of five of the ten symmetry classes of plane partitions contained in a given box. Four of them are derived from a simple determinant evaluation, using combinatorial arguments. The previous proofs of these four cases were quite complicated. For one more symmetry class we give an elementary proof in the case when two of the sides of the box are equal. Our results include simple evaluations of the determinants $\det(δ_{ij}+{x+i+j\choose i})_{0\leq i,j\leq n-1}$ and $\det({x+i+j\choose 2j-i})_{0\leq i,j\leq n-1}$, notorious in plane partition enumeration, whose previous evaluations were quite intricate.
1998-08-04
The equivalence between enumerating cyclically symmetric, self-complementary and totally symmetric, self-complementary plane partitions
Published • View PublicationBIB
We prove that the number of cyclically symmetric, self-complementary plane partitions contained in a cube of side $2n$ equals the square of the number of totally symmetric, self-complementary plane partitions contained in the same cube, without explicitly evaluating either of these numbers. This appears to be the first direct proof of this fact. The problem of finding such a proof was suggested by Stanley.
1998-07-31
Polyunsaturated Posets and Graphs and the Greene-Kleitman Theorem
Published • View PublicationBIB
A partition of a finite poset into chains places a natural upper bound on the size of a union of k antichains. A chain partition is k-saturated if this bound is achieved. Greene and Kleitman proved that, for each k, every finite poset has a simultaneously k- and k+1-saturated chain partition. West showed that the Greene-Kleitman Theorem is best-possible in a strong sense by exhibiting, for each c \ge 4, a poset with longest chain of cardinality c and no k- and l-saturated chain partition for any distinct, nonconsecutive k,l < c. We call such posets polyunsaturated. We give necessary and sufficient conditions for the existence of polyunsaturated posets with prescribed height, width, and cardinality. We prove these results in the more general context of graphs satisfying an analogue of the Greene-Kleitman Theorem. Lastly, we discuss analogous results for antichain partitions.
1998-07-29
Intersection representation of digraphs in trees with few leaves
Published • View PublicationBIB
The leafage of a digraph is the minimum number of leaves in a host tree in which it has a subtree intersection representation. We discuss bounds on the leafage in terms of other parameters (including Ferrers dimension), obtaining a string of sharp inequalities.
1998-07-28 v4
The honeycomb model of GL(n) tensor products I: proof of the saturation conjecture
Published • View PublicationBIB
We introduce the honeycomb model of BZ polytopes, which calculate Littlewood-Richardson coefficients, the tensor product rule for GL(n). Our main result is the existence of a particularly well-behaved honeycomb with given boundary conditions (choice of triple of representations to be tensored together). This honeycomb is necessarily integral, which proves the "saturation conjecture", extending results of Klyachko to give a complete answer to which L-R coefficients are positive. This in turn has as a consequence Horn's conjecture from 1962 characterizing the spectrum of the sum of two Hermitian matrices.
1998-07-27
On the limiting power of set of knots generated by 1+1- and 2+1- braids
Published • View PublicationBIB
We estimate from above the set of knots, $Ω(n,μ)$, generated by closure of n-string 1+1- and 2+1-dimensional braids of irreducible length $μ$ ($μ>>1$) in the limit n>>1.
1998-07-23 v2
Stratified simplices and intersection homology
Intersection homology is obtained from ordinary homology by imposing conditions on how the embedded simplices meet the strata of a space $X$. In this way, for the middle perversity, properties such as strong Lefschetz are preserved. This paper defines local-global intersection homology groups, that record global information about the singularities of $X$. They differ from intersection homology in that stratified rather than ordinary simplices are used. An example of such is $σ_j\times Cσ_i$, where $σ_i$ and $σ_j$ are ordinary simplices, and $C$ is the coning operator. The paper concludes with a sketch of the relationship between local-global homology and the geometry of convex polytopes. This paper is a more formal exposition of part of the author's `Local-global intersection homology', alg-geom/9709011.
An A$_2$ Bailey lemma and Rogers--Ramanujan-type identities
Published in J. Amer. Math. Soc. 12 (1999) 677-702 • View PublicationBIB
Using new $q$-functions recently introduced by Hatayama et al. and by (two of) the authors, we obtain an A_2 version of the classical Bailey lemma. We apply our result, which is distinct from the A_2 Bailey lemma of Milne and Lilly, to derive Rogers-Ramanujan-type identities for characters of the W_3 algebra.
1998-07-21
Words and Dominions
A necessary and sufficient condition for an element of an algebra (in the sense of Universal Algebra) to be in the dominion of a subalgebra is given, in terms of transferable sets. This criterion is then used to formulate a more wieldy sufficient condition. Finally, some connections to a purely combinatorial setting are outlined.
1998-07-15 v2
Recognizing Schubert cells
Published • View PublicationBIB
This paper focuses on the properties of Schubert cells as quasi-projective subvarieties of a generalized flag variety. More specifically, we investigate the problem of distinguishing between different Schubert cells using vanishing patterns of generalized Plucker coordinates.