Showing 20 papers (Total: 82311 papers, 47607 authors in database)
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.
A Lower Bound for Partial List Colorings
Published
• View Publication
• BIB
Let G be an n-vertex graph with list-chromatic number $χ_\ell$. Suppose each vertex of G is assigned a list of t colors. Albertson, Grossman, and Haas conjecture that at least $t n / {χ_\ell}$ vertices can be colored from these lists. We prove a lower bound for the number of colorable vertices. As a corollary, we show that at least 6/7 of the conjectured number can be colored.
On the fundamental group of the complement of a complex hyperplane arrangement
Published in Functional Analysis and its Applications Volume 45 (2011), Number 2, 137-148
• View Publication
• BIB
We construct two combinatorially equivalent line arrangements in the complex projective plane such that the fundamental groups of their complements are not isomorphic. The proof uses a new invariant of the fundamental group of the complement to a line arrangement of a given combinatorial type with respect to isomorphisms inducing the canonical isomorphism of the first homology groups.
What is a closed-form number?
Published
• View Publication
• BIB
If a student asks for an antiderivative of exp(x^2), there is a standard reply: the answer is not an elementary function. But if a student asks for a closed-form expression for the real root of x = cos(x), there is no standard reply. We propose a definition of a closed-form expression for a number (as opposed to a *function*) that we hope will become standard. With our definition, the question of whether the root of x = cos(x) has a closed form is, perhaps surprisingly, still open. We show that Schanuel's conjecture in transcendental number theory resolves questions like this, and we also sketch some connections with Tarski's problem of the decidability of the first-order theory of the reals with exponentiation. Many (hopefully accessible) open problems are described.