Showing 20 papers (Total: 81324 papers, 47147 authors in database)
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 Publication
• BIB
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.
The equivalence between enumerating cyclically symmetric, self-complementary and totally symmetric, self-complementary plane partitions
Published
• View Publication
• BIB
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.
Polyunsaturated Posets and Graphs and the Greene-Kleitman Theorem
Published
• View Publication
• BIB
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.
Intersection representation of digraphs in trees with few leaves
Published
• View Publication
• BIB
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.
The honeycomb model of GL(n) tensor products I: proof of the saturation conjecture
Published
• View Publication
• BIB
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.
On the limiting power of set of knots generated by 1+1- and 2+1- braids
Published
• View Publication
• BIB
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.
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 Publication
• BIB
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.
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.
Recognizing Schubert cells
Published
• View Publication
• BIB
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.
A Heterosexual Mehler Formula for the Straight Hermite Polynomials (A La Foata)
The celebrated Foata combinatorial model for Hermite polynomials, and his seminal and beautiful proof of the Mehler formula, are straightened to deal with two sexes rather than one, with the exclusion of same-sex relationships (both marital and non-marital).
Another involution principle-free bijective proof of Stanley's hook-content formula
Published in J. Combin. Theory Ser. A 88 (1999), 66-92
• View Publication
• BIB
Another bijective proof of Stanley's hook-content formula for the generating function for semistandard tableaux of a given shape is given that does not involve the involution principle of Garsia and Milne. It is the result of a merge of the modified jeu de taquin idea from the author's previous bijective proof (``An involution principle-free bijective proof of Stanley's hook-content formula", Discrete Math. Theoret. Computer Science, to appear) and the Novelli-Pak-Stoyanovskii bijection (Discrete Math. Theoret. Computer Science 1 (1997), 53-67) for the hook formula for standard Young tableaux of a given shape. This new algorithm can also be used as an algorithm for the random generation of tableaux of a given shape with bounded entries. An appropriate deformation of this algorithm gives an algorithm for the random generation of plane partitions inside a given box.
On Generalized $h$--Vectors of Rational Polytopes with a Symmetry of Prime Order
Published in Discrete Comput. Geom. 22 (1999), 259-268.
• View Publication
• BIB
We prove tight lower bounds for the coefficients of the generalized $h$-vector of a rational polytope with a symmetry of prime order that is fixed--point--free on the boundary. These bounds generalize results of R.~Stanley and R.~Adin for the $h$--vector of a simplicial rational polytope with a central symmetry or a symmetry of prime order respectively.
Realizing degree imbalances in directed graphs
Published
• View Publication
• BIB
In a directed graph, the imbalance of a vertex is its outdegree minus its indegree. We characterize the sequences that are realizable as the sequence of imbalances of a simple directed graph. Moreover, a realization of a realizable sequence can be produced by a greedy algorithm.
A note on generalized chromatic number and generalized girth
Erdős proved that there are graphs with arbitrarily large girth and chromatic number. We study the extension of this for generalized chromatic numbers.
A Matroid Generalization of a Result on Row-Latin Rectangles
Published
• View Publication
• BIB
Let A be an m \times n matrix in which the entries of each row are all distinct. Drisko showed that, if m \ge 2n-1, then A has a transversal: a set of n distinct entries with no two in the same row or column. We generalize this to matrices with entries in a matroid. For such a matrix A, we show that if each row of A forms an independent set, then we can require the transversal to be independent as well. We determine the complexity of an algorithm based on the proof of this result. Lastly, we observe that m \ge 2n-1 appears to force the existence of not merely one but many transversals. We discuss a number of conjectures related to this observation (some of which involve matroids and some of which do not).
Gauss Sums, Jacobi Sums, and $p$-ranks of Cyclic Difference Sets
Published in J. Combin. Theory Ser. A 87 (1999), 174-219
• View Publication
• BIB
We study quadratic residue difference sets, GMW difference sets, and difference sets arising from monomial hyperovals, all of which are $(2^d-1, 2^{d-1}-1, 2^{d-2}-1)$ cyclic difference sets in the multiplicative group of the finite field $F_{2^d}$ of $2^d$ elements, with $d \geq 2$. We show that, except for a few cases with small $d$, these difference sets are all pairwise inequivalent. This is accomplished in part by examining their 2-ranks. The 2-ranks of all of these difference sets were previously known, except for those connected with the Segre and Glynn hyperovals. We determine the 2-ranks of the difference sets arising from the Segre and Glynn hyperovals, in the following way. Stickelberger's theorem for Gauss sums is used to reduce the computation of these 2-ranks to a problem of counting certain cyclic binary strings of length $d$. This counting problem is then solved combinatorially, with the aid of the transfer matrix method. We give further applications of the 2-rank formulas, including the determination of the nonzeros of certain binary cyclic codes, and a criterion in terms of the trace function to decide for which $β$ in $F_{2^d}^*$ the polynomial $x^6 + x + β$ has a zero in $F_{2^d}$, when $d$ is odd.
Ground State Entropy of Potts Antiferromagnets on Homeomorphic Families of Strip Graphs
Published in Physica A259, 315 (1998)
• View Publication
• BIB
We present exact calculations of the zero-temperature partition function, and ground-state degeneracy (per site), $W$, for the $q$-state Potts antiferromagnet on a variety of homeomorphic families of planar strip graphs $G = (Ch)_{k_1,k_2,Σ,k,m}$, where $k_1$, $k_2$, $Σ$, and $k$ describe the homeomorphic structure, and $m$ denotes the length of the strip. Several different ways of taking the total number of vertices to infinity, by sending (i) $m \to \infty$ with $k_1$, $k_2$, and $k$ fixed; (ii) $k_1$ and/or $k_2 \to \infty$ with $m$, and $k$ fixed; and (iii) $k \to \infty$ with $m$ and $p=k_1+k_2$ fixed are studied and the respective loci of points ${\cal B}$ where $W$ is nonanalytic in the complex $q$ plane are determined. The ${\cal B}$'s for limit (i) are comprised of arcs which do not enclose regions in the $q$ plane and, for many values of $p$ and $k$, include support for $Re(q) < 0$. The ${\cal B}$ for limits (ii) and (iii) is the unit circle $|q-1|=1$.
Z-Pencils
Published in Electronic Linear Algebra, 4 : 32-38, 1998
• View Publication
• BIB
The matrix pencil (A,B) = {tB-A | t \in C} is considered under the assumptions that A is entrywise nonnegative and B-A is a nonsingular M-matrix. As t varies in [0,1], the Z-matrices tB-A are partitioned into the sets L_s introduced by Fiedler and Markham. As no combinatorial structure of B is assumed here, this partition generalizes some of their work where B=I. Based on the union of the directed graphs of A and B, the combinatorial structure of nonnegative eigenvectors associated with the largest eigenvalue of (A,B) in [0,1) is considered.
Star-factors of tournaments
Published in J. Graph Theory 28 (1998), 141-145.
• View Publication
• BIB
Let S_m denote the m-vertex simple digraph formed by m-1 edges with a common tail. Let f(m) denote the minimum n such that every n-vertex tournament has a spanning subgraph consisting of n/m disjoint copies of S_m. We prove that m lg m - m lg lg m <= f(m) <= 4m^2 - 6m for sufficiently large m.