Showing 20 papers (Total: 82661 papers, 47773 authors in database)
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.
The leafage of a chordal graph
Published in Discussiones Mathematicae - Graph Theory 18(1998), 23-48
• View Publication
• BIB
The leafage l(G) of a chordal graph G is the minimum number of leaves of a tree in which G has an intersection representation by subtrees. We obtain upper and lower bounds on l(G) and compute it on special classes. The maximum of l(G) on n-vertex graphs is n - lg n - (1/2) lg lg n + O(1). The proper leafage l*(G) is the minimum number of leaves when no subtree may contain another; we obtain upper and lower bounds on l*(G). Leafage equals proper leafage on claw-free chordal graphs. We use asteroidal sets and structural properties of chordal graphs.
Crystal Bases of Quantum Affine Algebras and Affine Kazhdan-Lusztig Polynomials
We present a fast version of the algorithm of Lascoux, Leclerc, and Thibon for the lower global crystal base for the Fock representation of quantum affine sl_n. We also show that the coefficients of the lower global crystal base coincide with certain affine Kazhdan-Lusztig polynomials. It is known that the coefficients of the global crystal base are q-analogues of decomposition numbers for Specht modules of the Hecke algebra of type A_n, and that the coefficients of the affine Kazhdan-Lusztig polynomials are q-analogues of decomposition numbers for tilting modules for quantum sl_k. Thus our algorithm allows fast computation of these decomposition numbers.
Weights of Markov Traces on Hecke algebras
Published
• View Publication
• BIB
We compute the weights, i.e. the values at the minimal idempotents, for the Markov trace on the Hecke algebra of type $B$ and type $D$. In order to prove the weight formula, we define representations of the Hecke algebra of type $B$ onto a reduced Hecke algebre of type $A$. To compute the weights for type $D$ we use the inclusion of the Hecke algebra of type $D$ into the Hecke algebra of type $B$.