Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On the Entropy and Letter Frequencies of Ternary Square-Free Words
Published in The Electronic Journal of Combinatorics 11 (2004) #R14
• View Publication
• BIB
We enumerate all ternary length-l square-free words, which are words avoiding squares of words up to length l, for l<=24. We analyse the singular behaviour of the corresponding generating functions. This leads to new upper entropy bounds for ternary square-free words. We then consider ternary square-free words with fixed letter densities, thereby proving exponential growth for certain ensembles with various letter densities. We derive consequences for the free energy and entropy of ternary square-free words.
A Card Shuffling Analysis of Deformations of the Plancherel Measure of the Symmetric Group
Published
• View Publication
• BIB
We study deformations of the Plancherel measure of the symmetric group by lifting them to the symmetric group and using combinatorics of card shuffling. The existing methods for analyzing deformations of Plancherel measure are not obviously applicable to the examples in this paper. The main idea of this paper is to find and analyze a formula for the total variation distance between iterations of riffle shuffles and iterations of "cut and then riffle shuffle". Similar results are given for affine shuffles, which allow us to determine their convergence rate to randomness.
Cubefree binary words avoiding long squares
Entringer, Jackson, and Schatz conjectured in 1974 that every infinite cubefree binary word contains arbitrarily long squares. In this paper we show this conjecture is false: there exist infinite cubefree binary words avoiding all squares xx with |x| >= 4, and the number 4 is best possible. However, the Entringer-Jackson-Schatz conjecture is true if "cubefree" is replaced with "overlap-free".
A hybrid constraint programming and semidefinite programming approach for the stable set problem
Published
• View Publication
• BIB
This work presents a hybrid approach to solve the maximum stable set problem, using constraint and semidefinite programming. The approach consists of two steps: subproblem generation and subproblem solution. First we rank the variable domain values, based on the solution of a semidefinite relaxation. Using this ranking, we generate the most promising subproblems first, by exploring a search tree using a limited discrepancy strategy. Then the subproblems are being solved using a constraint programming solver. To strengthen the semidefinite relaxation, we propose to infer additional constraints from the discrepancy structure. Computational results show that the semidefinite relaxation is very informative, since solutions of good quality are found in the first subproblems, or optimality is proven immediately.
Hierarchies of simplicial complexes via the BGG-correspondence
Via the BGG-correspondence a simplicial complex D on [n] is transformed into a complex of coherent sheaves L(D) on the projective space n-1-space. In general we compute the support of each of its cohomology sheaves.
When the Alexander dual D* is Cohen-Macaulay there is only one such non-zero cohomology sheaf. We investigate when this sheaf can be an a'th syzygy sheaf in a locally free resolution and show that this corresponds exactly to the case of D* being a+1-Cohen-Macaulay as defined by K.Baclawski.
By putting further conditions on the sheaves we get nice subclasses of a+1- Cohen-Macaulay simplicial complexes whose f-vector depends only on a and the invariants n,d, and c. When a=0 these are the bi-Cohen-Macaulay simplicial complexes, when a=1 and d=2c cyclic polytopes are examples, and when a=c we get Alexander duals of the Steiner systems S(c,d,n).
We also show that D* is Gorenstein* iff the associated coherent sheaf of D is an ideal sheaf.
Abel-Rothe type generalizations of Jacobi's triple product identity
Published in Dev. Math. 13 (2005), 383-400
• View Publication
• BIB
Using a simple classical method we derive bilateral series identities from terminating ones. In particular, we show how to deduce Ramanujan's 1-psi-1 summation from the q-Pfaff-Saalschuetz summation. Further, we apply the same method to our previous q-Abel-Rothe summation to obtain, for the first time, Abel-Rothe type generalizations of Jacobi's triple product identity. We also give some results for multiple series.
A geometric Littlewood-Richardson rule
Published
• View Publication
• BIB
We describe an explicit geometric Littlewood-Richardson rule, interpreted as deforming the intersection of two Schubert varieties so that they break into Schubert varieties. There are no restrictions on the base field, and all multiplicities arising are 1; this is important for applications. This rule should be seen as a generalization of Pieri's rule to arbitrary Schubert classes, by way of explicit homotopies. It has a straightforward bijection to other Littlewood-Richardson rules, such as tableaux, and Knutson and Tao's puzzles.
This gives the first geometric proof and interpretation of the Littlewood-Richardson rule. It has a host of geometric consequences, described in the companion paper "Schubert induction". The rule also has an interpretation in K-theory, suggested by Buch, which gives an extension of puzzles to K-theory. The rule suggests a natural approach to the open question of finding a Littlewood-Richardson rule for the flag variety, leading to a conjecture, shown to be true up to dimension 5. Finally, the rule suggests approaches to similar open problems, such as Littlewood-Richardson rules for the symplectic Grassmannian and two-flag varieties.
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
• Search Publication
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$.