Showing 20 papers (Total: 82661 papers, 47773 authors in database)
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.
Plane Geometry: An Elementary School Textbook (ca. 2050)
Published
• View Publication
• BIB
In this reverse archeological find, we see how mathematics will be written in fifty years.
Aufgabe VII.47 of Polya-Szego Implies Robbins's Multi-Integral Evaluation
It is remarked that Dave Robbins's Expression for the integral of an alternant over the unit simplex (math.CO/9805108) follows immediately from an excercise in Polya-Szego.
Enumeration Schemes And (More Importantly) Their Automatic Generation
Published
• View Publication
• BIB
It is way too soon to teach our computers how to become full-fledged humans. It is even premature to teach them how to become mathematicians, it is even unwise, at present, to teach them how to become combinatorialists. But the time is ripe to teach them how to become experts in a suitably defined and narrowly focused subarea of combinatorics. In this article, I will describe my efforts to teach my beloved computer, Shalosh B. Ekhad, how to be an enumerator of Wilf classes.