Showing 20 papers (Total: 81914 papers, 47441 authors in database)
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.
Orlik-Solomon algebras and Tutte polynomials
Published
• View Publication
• BIB
The $OS$ algebra $A$ of a matroid $M$ is a graded algebra related to the Whitney homology of the lattice of flats of $M$. In case $M$ is the underlying matroid of a hyperplane arrangement \A in $\C^r$, $A$ is isomorphic to the cohomology algebra of the complement $\C^r\setminus \bigcup \A.$ Few examples are known of pairs of arrangements with non-isomorphic matroids but isomorphic $OS$ algebras. In all known examples, the Tutte polynomials are identical, and the complements are homotopy equivalent but not homeomorphic.
We construct, for any given simple matroid $M_0$, a pair of infinite families of matroids $M_n$ and $M'_n$, $n\geq 1$, each containing $M_0$ as a submatroid, in which corresponding pairs have isomorphic $OS$ algebras. If the seed matroid $ M_0$ is connected, then $M_n$ and $M'_n$ have different Tutte polynomials. As a consequence of the construction, we obtain, for any $m$, $m$ different matroids with isomorphic $OS$ algebras. Suppose one is given a pair of central complex hyperplane arrangements $\A_0$ and $\A_1$. Let $§$ denote the arrangement consisting of the hyperplane $\{0\}$ in $\C^1$. We define the parallel connection $P(\A_0,\A_1)$, an arrangement realizing the parallel connection of the underlying matroids, and show that the direct sums $\A_0 \oplus \A_1$ and $§\oplus P(\A_0,\A_1)$ have diffeomorphic complements.
An Application of Okada's Minor Summation Formula
Noam Elkies and Everett Howe independently noticed a certain elegant product formula for the multiple integral \int_R \prod_{1 \le i < j \le k} (x_j-x_i) dx_1 \cdots dx_k, where the region $R$ is the set of $k$-tuples satisfying $0 < x_1 < \cdots < x_k < 1$. Later this formula turned out to be a special case of a formula of Selberg.
We prove an apparently different generalization
\int_R \det\left(x_i^{a_j-1}\right)dx_1 \cdots dx_k =
{\prod_{1 \le i<j \le k}(a_j-a_i)\over
\prod_{1 \le i \le k} a_i \prod_{1 \le i<j \le k} (a_j+a_i)}.
The key tool is a limiting form of a remarkable identity of Okada for summing the k by k minors of an n by k matrix.
Ring structure, uniform expressions and intersection homology
Although intersection homology lacks a ring structure, certain expressions (called uniform) in the intersection homology of an irreducible projective variety $X$ always give the same value, when computed via the decomposition theorem on any resolution $X_r\to X$. This paper uses uniform (and non-uniform) expressions to define what is believed to be the usual intersection homology (and its local-global variant) of a convex polytope (or a projective toric variety). Such expressions are generated by the facets, and so may lead to necessary numerical conditions on the flag vector. Most of the concepts, however, apply to more general algebraic varieties, and perhaps some other situations also.
Coloring Distance Graphs on the Integers
Given a set D of positive integers, the associated distance graph on the integers is the graph with the integers as vertices and an edge between distinct vertices if their difference lies in D. We investigate the chromatic numbers of distance graphs. We show that, if $D = {d_1,d_2,d_3,...}$, with $d_n | d_{n+1}$ for all n, then the distance graph has a proper 4-coloring. We further find the exact chromatic numbers of all such distance graphs. Next, we characterize those distance graphs that have periodic proper colorings and show a relationship between the chromatic number and the existence of periodic proper colorings.
Mixed Bruhat operators and Yang-Baxter equations for Weyl groups
We introduce and study a family of operators which act in the span of a Weyl group $W$ and provide a multi-parameter solution to the quantum Yang-Baxter equations of the corresponding type. Our operators generalize the "quantum Bruhat operators" that appear in the explicit description of the multiplicative structure of the (small) quantum cohomology ring of $G/B$.
The main combinatorial applications concern the "tilted Bruhat order," a graded poset whose unique minimal element is an arbitrarily chosen element $w\in W$. (The ordinary Bruhat order corresponds to the case $w=1$.) Using the mixed Bruhat operators, we prove that these posets are lexicographically shellable, and every interval in a tilted Bruhat order is Eulerian. This generalizes well known results of Verma, Bjorner, Wachs, and Dyer.
Regressive Ramsey numbers are Ackermannian
Published
• View Publication
• BIB
We give an elementary proof of the fact that regressive Ramsey numbers are Ackermannian. This fact was first proved by Kanamori and McAloon with mathematical logic techniques.
On the fundamental group and triple Massey's product
Let us say that a map of arcwise connected topological spaces (having the homotopy type of CW-complexes) is a pseudo-homeomorphism if it induces an isomorphism of the first integer homology groups and an epimorphism of the second integer homology groups. We prove that any invariant of a topological space w.r.t. pseudo-homeomorphisms is an invariant of the fundamental group of this space. We also describe a necessary condition for the fundamental groups to be distinguished by such invariants. As an example we show that the invariant used in math.AG/9805056 to distinguish the fundamental groups of combinatorially equivalent arrangements is, in fact, a form of triple Massey's product on the first integer homology group.