Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The peak algebra and the descent algebras of types B and D
Published in Trans. Amer. Math. Soc. 356 (2004), no. 7, 2781--2824
• View Publication
• BIB
We show the existence of a unital subalgebra of the symmetric group algebra linearly spanned by sums of permutations with a common peak set, which we call the peak algebra. We show that this algebra is the image of the descent algebra of type B under the map to the descent algebra of type A which forgets the signs, and also the image of the descent algebra of type D. The peak algebra contains a two sided ideal which is defined in terms of interior peaks. This object was introduced in previous work by Nyman; we find that it is the image of certain ideals of the descent algebras of types B and D introduced in previous work of N. Bergeron et al. We derive an exact sequence involving the peak ideal and the peak algebras of degrees $n$ and $n-2$. We obtain this and many other properties of the peak algebra and its peak ideal by first establishing analogous results for signed permutations and then forgetting the signs. In particular, we construct two new commutative semisimple subalgebras of the descent algebra by grouping permutations according to their number of peaks or interior peaks. We discuss the Hopf algebraic structures that exist on the direct sums of these spaces over $n\geq 0$ and explain the connection with previous work of Stembridge; we also obtain new properties of his descents-to-peaks map and construct a type B analog.
From Monomials to Words to graphs
Published
• View Publication
• BIB
Given a finite alphabet X and an ordering on the letters, the map σsends each monomial on X to the word that is the ordered product of the letter powers in the monomial. Motivated by a question on Groebner bases, we characterize ideals I in the free commutative monoid (in terms of a generating set) such that the ideal <σ(I)> generated by σ(I) in the free monoid is finitely generated. Whether there exists an ordering such that <σ(I)> is finitely generated turns out to be NP-complete. The latter problem is closely related to the recognition problem for comparability graphs.
Juggling probabilities
Published
• View Publication
• BIB
The act of a person juggling can be viewed as a Markov process if we assume that the juggler throws to random heights. I make this association for the simplest reasonable model of random juggling and compute the steady state probabilities in terms of the Stirling numbers of the second kind. I also explore several alternate models of juggling.
Hard Lefschetz theorem and Hodge-Riemann relations for intersection cohomology of nonrational polytopes
Published
• View Publication
• BIB
The Hard Lefschetz theorem for intersection cohomology of nonrational polytopes was recently proved by K. Karu [Ka]. This theorem implies the conjecture of R. Stanley on the unimodularity of the generalized $h$-vector. In this paper we strengthen Karu's theorem by introducing a canonical bilinear form $(\cdot ,\cdot)_Φ$ on the intersection cohomology $IH(Φ)$ of a complete fan $Φ$ and proving the Hodge-Riemann bilinear relations for $(\cdot ,\cdot)_Φ$.
Periodic de Bruijn triangles: exact and asymptotic results
Published
• View Publication
• BIB
We study the distribution of the number of permutations with a given periodic up-down sequence w.r.t. the last entry, find exponential generating functions and prove asymptotic formulas for this distribution.
The Algebra of Conjugacy Classes in Symmetric Groups and Partial Permutations
Published in Journal of Mathematical Sciences (Kluwer) 107 (2001) no.5 4212-4230
• View Publication
• BIB
We prove a convolution formula for the conjugacy classes in symmetric groups conjectured by the second author. A combinatorial interpretation of coefficients is provided. As a main tool we introduce new semigroup of partial permutations. We describe its structure, representations, and characters. We also discuss filtrations on the subalgebra of invariants in the semigroup algebra.
Factorizations of some weighted spanning tree enumerators
Published in J. Combin. Theory Ser. A 104, no. 2 (2003), pp. 287--300.
• View Publication
• BIB
We give factorizations for weighted spanning tree enumerators of Cartesian products of complete graphs, keeping track of fine weights related to degree sequences and edge directions. Our methods combine Kirchhoff's Matrix-Tree Theorem with the technique of identification of factors.
Integrals, Partitions, and Cellular Automata
Published
• View Publication
• BIB
We prove that $$\int_0^1\frac{-\log f(x)}xdx=\frac{π^2}{3ab}$$ where $f(x)$ is the decreasing function that satisfies $f^a-f^b=x^a-x^b$, for $0<a<b$. When $a$ is an integer and $b=a+1$ we deduce several combinatorial results. These include an asymptotic formula for the number of integer partitions not having $a$ consecutive parts, and a formula for the metastability thresholds of a class of threshold growth cellular automaton models related to bootstrap percolation.
Negative association in uniform forests and connected graphs
Published
• View Publication
• BIB
We consider three probability measures on subsets of edges of a given finite graph $G$, namely those which govern, respectively, a uniform forest, a uniform spanning tree, and a uniform connected subgraph. A conjecture concerning the negative association of two edges is reviewed for a uniform forest, and a related conjecture is posed for a uniform connected subgraph. The former conjecture is verified numerically for all graphs $G$ having eight or fewer vertices, or having nine vertices and no more than eighteen edges, using a certain computer algorithm which is summarised in this paper. Negative association is known already to be valid for a uniform spanning tree. The three cases of uniform forest, uniform spanning tree, and uniform connected subgraph are special cases of a more general conjecture arising from the random-cluster model of statistical mechanics.
Results on zeta functions for codes
We give a new and short proof of the Mallows-Sloane upper bound for self-dual codes. We formulate a version of Greene's theorem for normalized weight enumerators. We relate normalized rank-generating polynomials to two-variable zeta functions. And we show that a self-dual code has the Clifford property, but that the same property does not hold in general for formally self-dual codes.
Random Weighting, Asymptotic Counting, and Inverse Isoperimetry
Published
• View Publication
• BIB
For a family X of k-subsets of the set 1,...,n, let |X| be the cardinality of X and let Gamma(X,mu) be the expected maximum weight of a subset from X when the weights of 1,...,n are chosen independently at random from a symmetric probability distribution mu on R. We consider the inverse isoperimetric problem of finding mu for which Gamma(X,mu) gives the best estimate of ln|X|. We prove that the optimal choice of mu is the logistic distribution, in which case Gamma(X,mu) provides an asymptotically tight estimate of ln|X| as k^{-1}ln|X| grows. Since in many important cases Gamma(X,mu) can be easily computed, we obtain computationally efficient approximation algorithms for a variety of counting problems. Given mu, we describe families X of a given cardinality with the minimum value of Gamma(X,mu), thus extending and sharpening various isoperimetric inequalities in the Boolean cube.
Generalized additive bases, Konig's lemma, and the Erdos-Turan conjecture
Published in Journal of Number Theory 106 (2004), 70--78
• View Publication
• BIB
Let A be a set of nonnegative integers. For every nonnegative integer n and positive integer h, let r_{A}(n,h) denote the number of representations of n in the form n = a_1 + a_2 + ... + a_h, where a_1, a_2,..., a_h are elements of A and a_1 \leq a_2 \leq ... \leq a_h. The infinite set A is called a basis of order h if r_{A}(n,h) \geq 1 for every nonnegative integer n. Erdos and Turan conjectured that limsup_{n\to\infty} r_A(n,2) = \infty for every basis A of order 2. This paper introduces a new class of additive bases and a general additive problem, a special case of which is the Erdos-Turan conjecture. Konig's lemma on the existence of infinite paths in certain graphs is used to prove that this general problem is equivalent to a related problem about finite sets of nonnegative integers.
Computing Symmetrized Weight Enumerators for Lifted Quadratic Residue Codes
The paper describes a method to determine symmetrized weight enumerators of $p^m$-linear codes based on the notion of a disjoint weight enumerator. Symmetrized weight enumerators are given for the lifted quadratic residue codes of length 24 modulo $2^m$ and modulo $3^m$, for any positive $m$.
The polytope of non-crossing graphs on a planar point set
Published in Discrete Comput. Geom. 33:2 (2005), 275-305
• View Publication
• BIB
For any finite set $\A$ of $n$ points in $\R^2$, we define a $(3n-3)$-dimensional simple polyhedron whose face poset is isomorphic to the poset of ``non-crossing marked graphs'' with vertex set $\A$, where a marked graph is defined as a geometric graph together with a subset of its vertices. The poset of non-crossing graphs on $\A$ appears as the complement of the star of a face in that polyhedron.
The polyhedron has a unique maximal bounded face, of dimension $2n_i +n -3$ where $n_i$ is the number of points of $\A$ in the interior of $\conv(\A)$. The vertices of this polytope are all the pseudo-triangulations of $\A$, and the edges are flips of two types: the traditional diagonal flips (in pseudo-triangulations) and the removal or insertion of a single edge.
As a by-product of our construction we prove that all pseudo-triangulations are infinitesimally rigid graphs.
A formula for the number of tilings of an octagon by rhombi
Published in Theor. Comp. Sc. 319, 71-81 (2004).
• View Publication
• BIB
We propose the first algebraic determinantal formula to enumerate tilings of a centro-symmetric octagon of any size by rhombi. This result uses the Gessel-Viennot technique and generalizes to any octagon a formula given by Elnitsky in a special case.
The slopes determined by n points in the plane
Published in Duke Math. J. 131, no. 1 (2006), 119-165
• View Publication
• BIB
Let $m_{12}$, $m_{13}$, ..., $m_{n-1,n}$ be the slopes of the $\binom{n}{2}$ lines connecting $n$ points in general position in the plane. The ideal $I_n$ of all algebraic relations among the $m_{ij}$ defines a configuration space called the {\em slope variety of the complete graph}. We prove that $I_n$ is reduced and Cohen-Macaulay, give an explicit Gröbner basis for it, and compute its Hilbert series combinatorially. We proceed chiefly by studying the associated Stanley-Reisner simplicial complex, which has an intricate recursive structure. In addition, we are able to answer many questions about the geometry of the slope variety by translating them into purely combinatorial problems concerning enumeration of trees.
Every function is the representation function of an additive basis for the integers
Published in Port. Math. (N.S.) 62 (2005), 55--72
• Search Publication
Let A be a set of integers. For every integer n, let r_{A,h}(n) denote the number of representations of n in the form n = a_1 + a_2 + ... + a_h, where a_1, a_2,...,a_h are in A and a_1 \leq a_2 \leq ... \leq a_h. The function r_{A,h}: Z \to N_0 \cup \infty is the representation function of order h for A. The set A is called an asymptotic basis of order h if r_{A,h}^{-1}(0) is finite, that is, if every integer with at most a finite number of exceptions can be represented as the sum of exactly h not necessarily distinct elements of A. It is proved that every function is a representation function, that is, if f: Z \to N_0 \cup \infty is any function such that f^{-1}(0) is finite, then there exists a set A of integers such that f(n) = r_{A,h}(n) for all n in Z. Moreover, the set A can be arbitrarily sparse in the sense that, if φ(x) \to \infty, then there exists a set A with f(n) = r_{A,h}(n) such that card{a in A : |a| \leq x} < φ(x) for all sufficiently large x.
Geometry of graph varieties
Published in Trans. Amer. Math. Soc. 355 (2003), 4151-4169.
• View Publication
• BIB
A picture P of a graph G = (V,E) consists of a point P(v) for each vertex v in V and a line P(e) for each edge e in E, all lying in the projective plane over a field k and subject to containment conditions corresponding to incidence in G. A graph variety is an algebraic set whose points parametrize pictures of G. We consider three kinds of graph varieties: the picture space X(G) of all pictures, the picture variety V(G), an irreducible component of X(G) of dimension 2|V|, defined as the closure of the set of pictures on which all the P(v) are distinct, and the slope variety S(G), obtained by forgetting all data except the slopes of the lines P(e). We use combinatorial techniques (in particular, the theory of combinatorial rigidity) to obtain the following geometric and algebraic information on these varieties: (1) a description and combinatorial interpretation of equations defining each variety set-theoretically; (2) a description of the irreducible components of X(G); and (3) a proof that V(G) and S(G) are Cohen-Macaulay when G satisfies a sparsity condition, rigidity independence. In addition, our techniques yield a new proof of the equality of two matroids studied in rigidity theory.
A Generalization of Euler's Hypergeometric Transformation
Published in Trans. Amer. Math. Soc. 358 (2006), 39-57
• View Publication
• BIB
Euler's transformation formula for the Gauss hypergeometric function 2F1 is extended to hypergeometric functions of higher order. Unusually, the generalized transformation constrains the hypergeometric function parameters algebraically but not linearly. Its consequences for hypergeometric summation are explored. It has as corollary a summation formula of Slater. From this formula new one-term evaluations of 2F1(-1) and 3F2(1) are derived, by applying transformations in the Thomae group. Their parameters are also constrained nonlinearly. Several new one-term evaluations of 2F1(-1) with linearly constrained parameters are derived as well.
SPM Bulletin 2
This is the second issue of the SPM Bulletin (SPM stands for "Selection Principles in Mathematics"). The first issue is math.GN/0301011 and contains some background and details.