Showing 20 papers (Total: 81324 papers, 47147 authors in database)
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.
Permutations Containing and Avoiding 123 and 132 Patterns
Published
• View Publication
• BIB
We prove that the number of permutations which avoid 132-patterns and have exactly one 123-pattern equals (n-2)2^(n-3). We then give a bijection onto the set of permutations which avoid 123-patterns and have exactly one 132-pattern. Finally, we show that the number of permutations which contain exactly one 123-pattern and exactly one 132-pattern is (n-3)(n-4)2^(n-5).
The Number of Permutations With A Prescribed Number of 132 and 123 Patterns
Here we present the reasoning behind, and program to find, the generating functions for the number of permutations in the title. The article duals as the "accompanying" Maple package.
Three-player impartial games
Published in Theoretical Computer Science, volume 233 (2000), 263--278.
• View Publication
• BIB
Past efforts to classify impartial three-player combinatorial games (the theories of Li and Straffin) have made various restrictive assumptions about the rationality of one's opponents and the formation and behavior of coalitions. One may instead adopt an agnostic attitude towards such issues, and seek only to understand in what circumstances one player has a winning strategy against the combined forces of the other two. By limiting ourselves to this more modest theoretical objective, and by regarding two games as being equivalent if they are interchangeable in all disjunctive sums,as far as single-player winnability is concerned, we can obtain an interesting analogue of Grundy values for three-player impartial games.
On Lunn-Senior's Mathematical Model of Isomerism in Organic Chemistry. Part I
The aim of this paper is to present a generalization of Lunn-Senior's mathematical model of isomerism in organic chemistry. The main idea of Lunn and Senior is that if the type of isomerism is fixed, a molecule with a fixed skeleton and d univalent substituents has a symmetry group $W\leq S_d$ which is generally not the molecule's 3-dimensional symmetry group. The unit character of W induces a representation of the symmetric group $S_d$ which governs the combinatorics of the isomers of the given molecule. Lunn-Senior's thesis is that certain non-negative integers established by this representation are upper boundaries of the corresponding numbers, yielded by the experiment (and often coincide with them). Moreover, the authors define (in a particular case) a partial order among the objects of the model, such that some simple substitution reactions correspond to inequalities. These two groups of data determine the group W, and produce so called "type properties" of the molecule (properties which do not depend on the nature of the univalent substituents). Our hypothesis is that if we replace the unit character of $W$ by any one-dimensional character of $W$ (thus we count only a part of the isomers - those having a maximum property), we also get a type property of the molecule. An instance of that is the inventory of the stereoisomers called chiral pairs. The formalism can be generalized naturally and produces some preliminary chemical results. Especially the partial order is defined and studied in the general case and indicates the possible genetic relations among the corresponding molecules. An important result of E. Ruch which connects the dominance order among partitions and the existence of chiral pairs is obtained as a consequence of a more general statement.
Combinatorics of geometrically distributed random variables: Inversions and a parameter of Knuth
Published
• View Publication
• BIB
For words of length $n$, generated by independent geometric random variables, we consider the mean and variance of the number of inversions and of a parameter of Knuth from permutation in situ. In this way, $q$--analogues for these parameters from the usual permutation model are obtained.
An Enumeration of Certain Equivalence Classes of Directed Multigraphs Having 0 to 5 Nodes with Each Node Having 2 Incoming and 2 Outgoing Arcs
An enumeration is given of certain equivalence classes of directed multigraphs having 0 to 5 nodes with each node having 2 incoming and 2 outgoing arcs.
On the cohomology of discriminantal arrangements and Orlik-Solomon algebras
Published
• View Publication
• BIB
We relate the cohomology of the Orlik-Solomon algebra of a discriminantal arrangement to the local system cohomology of the complement. The Orlik-Solomon algebra of such an arrangement (viewed as a complex) is shown to be a linear approximation of a complex arising from the fundamental group of the complement, the cohomology of which is isomorphic to that of the complement with coefficients in an arbitrary complex rank one local system. We also establish the relationship between the cohomology support loci of the complement of a discriminantal arrangement and the resonant varieties of its Orlik-Solomon algebra.