Showing 20 papers (Total: 81914 papers, 47441 authors in database)
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$.
Canonical Basis and Macdonald Polynomials
Published in Advances in Math. 140 (1998), 95-127.
• View Publication
• BIB
In the basic representation of $U_q(\hat{sl}(2))$ realized via the algebra of symmetric functions we compare the canonical basis with the basis of Macdonald polynomials with $q=t^2$. We show that the Macdonald polynomials are invariant with respect to the bar involution defined abstractly on the representations of quantum groups. We also prove that the Macdonald scalar product coincides with the abstract Kashiwara form. This implies, in particular, that the Macdonald polynomials form an intermediate basis between the canonical basis and the dual canonical basis, and the coefficients of the transition matrix are necessarily bar invariant. We also discuss the positivity and integrality of these coefficients. For level $k$, we expect a similar relation between the canonical basis and Macdonald polynomials with $q^2=t^{k}.$
Small rational model of subspace complement
Published
• View Publication
• BIB
In the paper we compute the ring strucure on the rational cohomology of a complex subspace complement. For that we construct a small differential graded subalgebra of the De Concini-Procesi wonderful model that is quasi isomorphic to this model. For two classes of arrangements explicit presentation of the ring is given.
Cohomology of the Orlik-Solomon algebras and local systems
Published
• View Publication
• BIB
The paper provides a combinatorial method to decide when the space of local systems with non vanishing first cohomology on the complement to an arrangement of lines in a complex projective plane has as an irreducible component a subgroup of positive dimension. Partial classification of arrangements having such a component of positive dimension and a comparison theorem for cohomology of Orlik-Solomon algebra and cohomology of local systems are given. The methods are based on Vinberg-Kac classification of generalized Cartan matrices and study of pencils of algebraic curves defined by mentioned positive dimensional components.
Tait's Flyping Conjecture for 4-Regular Graphs
Published
• View Publication
• BIB
Tait's flyping conjecture, stating that two reduced, alternating, prime link diagrams can be connected by a finite sequence of flypes, is extended to reduced, alternating, prime diagrams of 4-regular graphs in S^3. The proof of this version of the flyping conjecture is based on the fact that the equivalence classes with respect to ambient isotopy and rigid vertex isotopy of graph embeddings are identical on the class of diagrams considered.
Polyhedral Realizations of Crystal Bases for Integrable Highest Weight Modules
Published
• View Publication
• BIB
We give a general way of representing the crystal (base) corresponding to the intgrable highest weight modules of quantum Kac-Moody algebras, which is called polyhedral realizations. This is applied to describe explicitly the crystal bases of integrable highest weight modules for arbitrary rank 2 Kac-Moody algebra cases, the classical A_n-case and the affine A^{(1)}_{n-1}-case.
On the Combinatorial Structure of Primitive Vassiliev Invariants, III - A Lower Bound
Published in Commun. Contemp. Math. 2 (2000), no. 4, 579--590
• View Publication
• BIB
We prove that the dimension of the space of primitive Vassiliev invariants of degree n grows - as n tends to infinity - faster than Exp(c Sqrt(n)) for any c < Pi Sqrt (2/3).
The proof relies on the use of the weight systems coming from the Lie algebra gl(N). In fact, we show that our bound is - up to multiplication with a rational function in n - the best possible that one can get with gl(N)-weight systems.
On the volume of the polytope of doubly stochastic matrices
Published
• View Publication
• BIB
We study the calculation of the volume of the polytope B_n of n by n doubly stochastic matrices; that is, the set of real non-negative matrices with all row and column sums equal to one.
We describe two methods. The first involves a decomposition of the polytope into simplices. The second involves the enumeration of ``magic squares'', i.e., n by n non-negative integer matrices whose rows and columns all sum to the same integer.
We have used the first method to confirm the previously known values through n=7. This method can also be used to compute the volumes of faces of B_n. For example, we have observed that the volume of a particular face of B_n appears to be a product of Catalan numbers.
We have used the second method to find the volume for n=8, which we believe was not previously known.