Showing 20 papers (Total: 81324 papers, 47147 authors in database)
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.
A Classic Proof of a Recurrence for a Very Classical Sequence
Published in J. Comb., Ser. A, 80(1997), 380-384
• View Publication
• BIB
By practicing the philosophy of our beloved late master, Marco Schutzenberger, to whose memory this article is dedicated, we give an insightful bijective proof of the three-term recurrence satisfied by the Hipparchus-Schroeder numbers 1,1,3,11,45,197,903, ...
A Condensed Condensation Proof of a Determinant Evaluation Conjectured by Greg Kuperberg and Jim Propp
Published in J. Comb. Theory (series A) 78(1997), 169-170
• View Publication
• BIB
We give a generalization and a short mechanized proof of determinant conjectured by G. Kuperberg and J. Propp.
Further generalizations and applications of the method to some q-analogues may be found in http://www.math.temple.edu/~tewodros
Faster and Faster convergent series for $ζ(3)$
Published in Elec. J. Combin. (3) (1996) #R13
• Search Publication
Using WZ pairs we present an infinite family of accelerated series for computing $ζ(3)$.
Enumeration of m-ary cacti
Published in Advances in Applied Mathematics, 24 (2000), 22-56
• Search Publication
The purpose of this paper is to enumerate various classes of cyclically colored m-gonal plane cacti, called m-ary cacti. This combinatorial problem is motivated by the topological classification of complex polynomials having at most m critical values, studied by Zvonkin and others. We obtain explicit formulae for both labelled and unlabelled m-ary cacti, according to i) the number of polygons, ii) the vertex-color distribution, iii) the vertex-degree distribution of each color. We also enumerate m-ary cacti according to the order of their automorphism group. Using a generalization of Otter's formula, we express the species of m-ary cacti in terms of rooted and of pointed cacti. A variant of the m-dimensional Lagrange inversion is then used to enumerate these structures. The method of Liskovets for the enumeration of unrooted planar maps can also be adapted to m-ary cacti.
Hypergeometric Series Acceleration Via the WZ method
Published in Elec. J. Combin., 4 (2) (1997),[Wilf Festschrifft Volume]
• Search Publication
Based on the WZ method, some series acceleration formulas are given. These formulas allow to write down an infinite family of parametrized identities from any given identity of WZ type. Further, this family, in the case of the Riemann Zeta function, gives rise to many accelerated expressions for $ζ(3)$.
The present method produced a formula, given at the end of the paper, that was used recently Sebastian Wedeniwski to compute Apery's constant to more than 32 million digits, holding the present record!
q-Apery Irrationality Proofs by q-WZ Pairs
Published in Adv. Appl. Math. 20(1998), 275-283
• View Publication
• BIB
Using WZ forms, Apery-style proofs of the irrationality of the q-analogues of the Harmonic seires and Ln(2) are given. For the q-analogue of Ln(2), this method of proof produces an improved irrationality measure.
0-1 laws
We give a framework for dealing with 0-1 laws (for first order logic) such that expanding by further random structure tend to give us another case of the framework. From another perspective we deal with 0-1 laws when the number of solutions of first order formulas with parameters behave dichotomically.