Showing 20 papers (Total: 81324 papers, 47147 authors in database)
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.
The number of independent Vassiliev invariants in the Homfly and Kauffman polynomials
Published in Documenta Mathematica, Vol 5(2000), 275-299
• View Publication
• BIB
We consider vector spaces H(n,l) and F(n,l) spanned by the degree-n coefficients in power series forms of the Homfly and Kauffman polynomials of links with l components. Generalizing previously known formulas, we determine the dimensions of the spaces H(n,l), F(n,l) and H(n,l)+F(n,l) for all values of n and l. Furthermore, we show that for knots the algebra generated by H(n,1)+F(n,1) (n > 0) is a polynomial algebra with dim(H(n,1)+F(n,1))-1=n+[n/2]-4 generators in degree n>3 and one generator in degrees 2 and 3.
Spanning trees and a conjecture of Kontsevich
Published
• View Publication
• BIB
Kontsevich conjectured that the number f(G,q) of zeros over the finite field with q elements of a certain polynomial connected with the spanning trees of a graph G is polynomial function of q. We have been unable to settle Kontsevich's conjecture. However, we can evaluate f(G,q) explicitly for certain graphs G, such as the complete graph. We also point out the connection between Kontsevich's conjecture and such topics as the Matrix-Tree Theorem and orthogonal geometry.
Flag-symmetry of the poset of shuffles and a local action of the symmetric group
Published
• View Publication
• BIB
We show that the poset of shuffles introduced by Greene in 1988 is flag-symmetric, and we describe a "local" permutation action of the symmetric group on the maximal chains which is closely related to the flag symmetric function of the poset. A key tool is provided by a new labeling of the maximal chains of a poset of shuffles, which is also used to give bijective proofs of enumerative properties originally obtained by Greene. In addition we define a monoid of multiplicative functions on all posets of shuffles and describe this monoid in terms of a new operation on power series in two variables.
The Goulden-Jackson Cluster Method: Extensions, Applications and Implementations
Published
• View Publication
• BIB
The powerful (and so far under-utilized) Goulden-Jackson Cluster method for finding the generating function for the number of words avoiding, as factors, the members of a prescribed set of `dirty words', is tutorialized and extended in various directions. The authors' Maple implementations, contained in several Maple packages available from this paper's website (http://www.math.temple.edu/~zeilberg/gj.html), are described and explained.
A Combinatorial Proof of Bass's Evaluations of the Ihara-Selberg Zeta Function for Graphs
Published
• View Publication
• BIB
We derive combinatorial proofs of the main two evaluations of the Ihara-Selberg Zeta function associated with a graph. We give three proofs of the first evaluation all based on the algebra of Lyndon words. In the third proof it is shown that the first evaluation is an immediate consequence of Amitsur's identity on the characteristic polynomial of a sum of matrices. The second evaluation of the Ihara-Selberg Zeta function is first derived by means of a sign-changing involution technique. Our second approach makes use of a short matrix-algebra argument.
Curing the Andrews syndrom
Published
• View Publication
• BIB
George Andrews's recent challenge to automated identity-proving and the WZ method is dealt with. It is argued that the rivalry between the classical and automated approaches to hypergeometric sums is beneficial to both.
A binomial coefficient identity associated to a conjecture of Beukers
Published in Electronic Journal of Combinatorics 5(1998), R10
• View Publication
• BIB
A combinatorial identity that was needed in Ahlgren and Ono's proof of a certain congruence conjecture of Frits Beukers is stated, and a pointer to its WZ proof is given.
How Much Should a 19th-Century French Bastard Inherit
Published in Journal of Difference Equations and Applications 3(1998), 385-388
• View Publication
• BIB
Catalan's formula, for the portion of the inheritance that a legitimate child of a 19th-century deceased French gentleman should receive, is given a new proof (using Difference Operators), and generalized. Another, more computationally efficient, formula is also derived.
Proof of a determinant evaluation conjectured by Bombieri, Hunt and van der Poorten
Published in New York Journal of Mathematics 3(1997), 54-102
• Search Publication
A determinant evaluation is proven, a special case of which establishes a conjecture of Bombieri, Hunt, and van der Poorten (Experimental Math\. {\bf 4} (1995), 87--96) that arose in the study of Thue's method of approximating algebraic numbers.
A family of combinatorial identities arising form quantum affine algebras
We obtain a family of new combinatorial identities for symmetric formal power series.