Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Sparse Random Matrices and Statistics of Rooted Trees
Published in Corrected and amended version: Adv. Appl. Probab. 33 (2001) 124-140
• View Publication
• BIB
We consider the ensemble of N-dimensional random symmetric matrices A that have, in average, p non-zero elements per row. We study the asymptotic behavior of the norm of A in the limit of infinitely increasing N and p. We prove that the value p= log N is the critical one for the norm to be either bounded or not. The arguments are based on the calculus of the tree-type graphs. Asymptotic properties of sparse random matrices essentially depend on the typical degree of a tree vertex that we show to be finite.
A Voronoi poset
Given a set S of n points in general position, we consider all k-th order Voronoi diagrams on S, for k=1,...,n, simultaneously. We deduce symmetry relations for the number of faces, number of vertices and number of circles of certain orders. These symmetry relations are independent of the position of the sites in S. As a consequence we show that the reduced Euler characteristic of the poset of faces equals zero whenever n odd.
Some Polyomino Tilings of the Plane
We calculate the generating functions for the number of tilings of rectangles of various widths by the right tromino, the $L$ tetromino, and the $T$ tetromino. This allows us to place lower bounds on the entropy of tilings of the plane by each of these. For the $T$ tetromino, we also derive a lower bound from the solution of the Ising model in two dimensions.
Some Speed-Ups and Speed Limits for Real Algebraic Geometry
Published
• View Publication
• BIB
We give new positive and negative results (some conditional) on speeding up computational algebraic geometry over the reals: (1) A new and sharper upper bound on the number of connected components of a semialgebraic set. Our bound is novel in that it is stated in terms of the volumes of certain polytopes and, for a large class of inputs, beats the best previous bounds by a factor exponential in the number of variables. (2) A new algorithm for approximating the real roots of certain sparse polynomial systems. Two features of our algorithm are (a) arithmetic complexity polylogarithmic in the degree of the underlying complex variety (as opposed to the super-linear dependence in earlier algorithms) and (b) a simple and efficient generalization to certain univariate exponential sums. (3) Detecting whether a real algebraic surface (given as the common zero set of some input straight-line programs) is not smooth can be done in polynomial time within the classical Turing model (resp. BSS model over C) only if P=NP (resp. NP<=BPP). The last result follows easily from an unpublished result of Steve Smale.
Equivariant Intersection Cohomology of Toric Varieties
Published
• View Publication
• BIB
We investigate the equivariant intersection cohomology of a toric variety. Considering the defining fan of the variety as a finite topological space with the subfans being the open sets (that corresponds to the "toric" topology given by the invariant open subsets), equivariant intersection cohomology provides a sheaf (of graded modules over a sheaf of graded rings) on that "fan space". We prove that this sheaf is a "minimal extension sheaf", i.e., that it satisfies three relatively simple axioms which are known to characterize such a sheaf up to isomorphism. In the verification of the second of these axioms, a key role is played by "equivariantly formal" toric varieties, where equivariant and "usual" (non-equivariant) intersection cohomology determine each other by Kunneth type formulae. Minimal extension sheaves can be constructed in a purely formal way and thus also exist for non-rational fans. As a consequence, we can extend the notion of an equivariantly formal fan even to this general setup. In this way, it will be possible to introduce "virtual" intersection cohomology for equivariantly formal non-rational fans.
Enumeration of Matchings: Problems and Progress
Published in In: New perspectives in algebraic combinatorics (Berkeley, CA, 1996--97), Math. Sci. Res. Inst. Publ. 38, 255--291, Cambridge Univ. Press, Cambridge (1999).
• View Publication
• BIB
This document is built around a list of thirty-two problems in enumeration of matchings, the first twenty of which were presented in a lecture at MSRI in the fall of 1996. I begin with a capsule history of the topic of enumeration of matchings. The twenty original problems, with commentary, comprise the bulk of the article. I give an account of the progress that has been made on these problems as of this writing, and include pointers to both the printed and on-line literature; roughly half of the original twenty problems were solved by participants in the MSRI Workshop on Combinatorics, their students, and others, between 1996 and 1999. The article concludes with a dozen new open problems. (Note: This article supersedes math.CO/9801060 and math.CO/9801061.)
Coloring of Trees with Minimum Sum of Colors
Published
• View Publication
• BIB
The chromatic sum of a graph is the smallest sum of colors among all proper colorings with natural numbers. The strength is the minimum number of colors needed to achieve the chromatic sum. We construct for each positive integer k a tree with strength k that has maximum degree only 2k-2. The result is best possible.
Cohomology of a Hamiltonian T-space with involution
Published
• View Publication
• BIB
Let $M$ be a compact symplectic manifold on which a compact torus $T$ acts Hamiltonialy with a moment map $μ$. Suppose there exists a symplectic involution $θ:M\to M$, such that $μ\circθ=-μ$. Assuming that 0 is a regular value of $μ$, we calculate the trace of the action of $θ$ on the cohomology of $M$ in terms of the trace of the action of $θ$ on the symplectic reduction $μ^{-1}(0)/T$ of $M$. This result generalizes a theorem of R. Stanley, who considered the case when $M$ was a toric variety.
A self-dual poset on objects counted by the Catalan numbers and a type-B analogue
We introduce two partially ordered sets, $P^A_n$ and $P^B_n$, of the same cardinalities as the type-A and type-B noncrossing partition lattices. The ground sets of $P^A_n$ and $P^B_n$ are subsets of the symmetric and the hyperoctahedral groups, consisting of permutations which avoid certain patterns. The order relation is given by (strict) containment of the descent sets. In each case, by means of an explicit order-preserving bijection, we show that the poset of restricted permutations is an extension of the refinement order on noncrossing partitions. Several structural properties of these permutation posets follow, including self-duality and the strong Sperner property. We also discuss posets $Q^A_n$ and $Q^B_n$ similarly associated with noncrossing partitions, defined by means of the excedence sets of suitable pattern-avoiding subsets of the symmetric and hyperoctahedral groups.
Matrix Integrals and the Counting of Tangles and Links
Published
• View Publication
• BIB
Using matrix model techniques for the counting of planar Feynman diagrams, recent results of Sundberg and Thistlethwaite on the counting of alternating tangles and links are reproduced.
Shifted Quasi-Symmetric Functions and the Hopf algebra of peak functions
Published in Discrete Math., 256 (2002), 57-66
• View Publication
• BIB
In his work on P-partitions, Stembridge defined the algebra of peak functions Pi, which is both a subalgebra and a retraction of the algebra of quasi-symmetric functions. We show that Pi is closed under coproduct, and therefore a Hopf algebra, and describe the kernel of the retraction. Billey and Haiman, in their work on Schubert polynomials, also defined a new class of quasi-symmetric functions --- shifted quasi-symmetric functions --- and we show that Pi is strictly contained in the linear span Xi of shifted quasi-symmetric functions. We show that Xi is a coalgebra, and compute the rank of the n-th graded component.
Vertex operators for standard bases of the symmetric functions
Published
• View Publication
• BIB
We present a formulas to add a row or a column to the power, monomial, forgotten, Schur, homogeneous and elementary symmetric functions. As an application of these operators we show that the operator that adds a column to the Schur functions can be used to calculate a formula for the number of pairs of standard tableaux the same shape and height less than or equal to a fixed $k$.
On Cantor's singular moments
In problem 10621 of the American Mathematical Monthly the question was raised whether it is possible to explicitly compute Cantor's singular moment of order -1. This is answered in the affirmative.
Bounds on the Complex Zeros of (Di)Chromatic Polynomials and Potts-Model Partition Functions
Published in Combin. Probab. Comput. 10 (2001) 41-77
• View Publication
• BIB
I show that there exist universal constants $C(r) < \infty$ such that, for all loopless graphs $G$ of maximum degree $\le r$, the zeros (real or complex) of the chromatic polynomial $P_G(q)$ lie in the disc $|q| < C(r)$. Furthermore, $C(r) \le 7.963906... r$. This result is a corollary of a more general result on the zeros of the Potts-model partition function $Z_G(q, {v_e})$ in the complex antiferromagnetic regime $|1 + v_e| \le 1$. The proof is based on a transformation of the Whitney-Tutte-Fortuin-Kasteleyn representation of $Z_G(q, {v_e})$ to a polymer gas, followed by verification of the Dobrushin-Kotecký-Preiss condition for nonvanishing of a polymer-model partition function. I also show that, for all loopless graphs $G$ of second-largest degree $\le r$, the zeros of $P_G(q)$ lie in the disc $|q| < C(r) + 1$. Along the way, I give a simple proof of a generalized (multivariate) Brown-Colbourn conjecture on the zeros of the reliability polynomial for the special case of series-parallel graphs.
On the Distributions of the Lengths of the Longest Monotone Subsequences in Random Words
Published in Probab. Theory Relat. Fields 119 (2001), 350-380
• View Publication
• BIB
We consider the distributions of the lengths of the longest weakly increasing and strongly decreasing subsequences in words of length N from an alphabet of k letters. We find Toeplitz determinant representations for the exponential generating functions (on N) of these distribution functions and show that they are expressible in terms of solutions of Painlevé V equations. We show further that in the weakly increasing case the generating function gives the distribution of the smallest eigenvalue in the k x k Laguerre random matrix ensemble and that the distribution itself has, after centering and normalizing, an N -> infinity limit which is equal to the distribution function for the largest eigenvalue in the Gaussian Unitary Ensemble of k x k hermitian matrices of trace zero.
A Note on Primitive Equivalence
Primitive equivalence of graphs and matrices was used by Enomoto, Fujii and Watatani to classify Cuntz-Krieger algebras of 3x3 irreducible matrices. In this paper it is shown that the definition of primitive equivalence can be simplified using primitive transfers of matrices that involve only two rows of the matrix.
Difference Ramsey Numbers and Issai Numbers
Published
• View Publication
• BIB
We present a recursive algorithm for finding good lower bounds for the classical Ramsey numbers. Using notions from this algorithm we then give some results for generalized Schur numbers, which we call Issai numbers.
Edge-bandwidth of graphs
Published
• View Publication
• BIB
The edge-bandwidth of a graph is the minimum, over all labelings of the edges with distinct integers, of the maximum difference between labels of two incident edges. We prove that edge-bandwidth is at least as large as bandwidth for every graph, with equality for certain caterpillars. We obtain sharp or nearly-sharp bounds on the change in edge-bandwidth under addition, subdivision, or contraction of edges. We compute edge-bandwidth for cliques, bicliques, caterpillars, and some theta graphs.
Spectral Statistics for Quantum Graphs: Periodic Orbits and Combinatorics
Published
• View Publication
• BIB
We consider the Schroedinger operator on graphs and study the spectral statistics of a unitary operator which represents the quantum evolution, or a quantum map on the graph. This operator is the quantum analogue of the classical evolution operator of the corresponding classical dynamics on the same graph. We derive a trace formula, which expresses the spectral density of the quantum operator in terms of periodic orbits on the graph, and show that one can reduce the computation of the two-point spectral correlation function to a well defined combinatorial problem. We illustrate this approach by considering an ensemble of simple graphs. We prove by a direct computation that the two-point correlation function coincides with the CUE expression for 2x2 matrices. We derive the same result using the periodic orbit approach in its combinatorial guise. This involves the use of advanced combinatorial techniques which we explain.
Random Matrices and Random Permutations
We prove the conjecture of Baik, Deift, and Johansson which says that with respect to the Plancherel measure on the set of partitions of $n$, the 1st, 2nd, and so on, rows behave, suitably scaled, like the 1st, 2nd, and so on, eigenvalues of a Gaussian random Hermitian matrix as $n$ goes to infinity. Our proof is based on an interplay between maps on surfaces and ramified coverings of the sphere. We also establish a connection of this problem with intersection theory on the moduli spaces of curves.