Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Jack polynomials and some identities for partitions
Published in Trans. Amer. Math. Soc., 356 (2004), 3455-3476
• View Publication
• BIB
We prove an identity about partitions involving new combinatorial coefficients. The proof given is using a generating function. As an application we obtain the explicit expression of two shifted symmetric functions, related with Jack polynomials. These quantities are the moments of the "alpha-content" random variable with respect to some transition probability distributions.
Singularity analysis, Hadamard products, and tree recurrences
Published in J. Comput. Appl. Math. 174 (2005) 271-313
• View Publication
• BIB
We present a toolbox for extracting asymptotic information on the coefficients of combinatorial generating functions. This toolbox notably includes a treatment of the effect of Hadamard products on singularities in the context of the complex Tauberian technique known as singularity analysis. As a consequence, it becomes possible to unify the analysis of a number of divide-and-conquer algorithms, or equivalently random tree models, including several classical methods for sorting, searching, and dynamically managing equivalence relations
Limiting distributions for additive functionals on Catalan trees
Published in Theoret. Comput. Sci. 326 (2004) 69-102
• View Publication
• BIB
Additive tree functionals represent the cost of many divide-and-conquer algorithms. We derive the limiting distribution of the additive functionals induced by toll functions of the form (a) n^αwhen α> 0 and (b) log n (the so-called shape functional) on uniformly distributed binary search trees, sometimes called Catalan trees. The Gaussian law obtained in the latter case complements the central limit theorem for the shape functional under the random permutation model. Our results give rise to an apparently new family of distributions containing the Airy distribution (α= 1) and the normal distribution [case (b), and case (a) as $α\downarrow 0$]. The main theoretical tools employed are recent results relating asymptotics of the generating functions of sequences to those of their Hadamard product, and the method of moments.
Bounds for DNA codes with constant GC-content
Published in Electronic Journal of Combinatorics, vol. 10 (2003), R33, 13pp
• View Publication
• BIB
We derive theoretical upper and lower bounds on the maximum size of DNA codes of length n with constant GC-content w and minimum Hamming distance d, both with and without the additional constraint that the minimum Hamming distance between any codeword and the reverse-complement of any codeword be at least d. We also explicitly construct codes that are larger than the best previously-published codes for many choices of the parameters n, d and w.
Ramanujan Graphs with Small Girth
Published
• View Publication
• BIB
We construct an infinite family of (q+1)-regular Ramanujan graphs X_n of girth 1. We also give covering maps X_{n+1} --> X_n such that the minimal common covering of all the graphs is the universal covering tree.
Dually vertex oblique graphs
Published
• View Publication
• BIB
A vertex with neighbours of degrees $d_1 \geq ... \geq d_r$ has {\em vertex type} $(d_1, ..., d_r)$. A graph is {\em vertex-oblique} if each vertex has a distinct vertex-type. While no graph can have distinct degrees, Schreyer, Walther and Mel'nikov [Vertex oblique graphs, same proceedings] have constructed infinite classes of {\em super vertex-oblique} graphs, where the degree-types of $G$ are distinct even from the degree types of $\bar{G}$.
$G$ is vertex oblique iff $\bar{G}$ is; but $G$ and $\bar{G}$ cannot be isomorphic, since self-complementary graphs always have non-trivial automorphisms. However, we show by construction that there are {\em dually vertex-oblique graphs} of order $n$, where the vertex-type sequence of $G$ is the same as that of $\bar{G}$; they exist iff $n \equiv 0$ or $1 \pmod 4, n \geq 8$, and for $n \geq 12$ we can require them to be split graphs.
We also show that a dually vertex-oblique graph and its complement are never the unique pair of graphs that have a particular vertex-type sequence; but there are infinitely many super vertex-oblique graphs whose vertex-type sequence is unique.
Vertex-partitioning into fixed additive induced-hereditary properties is NP-hard
Published
• View Publication
• BIB
Can the vertices of a graph $G$ be partitioned into $A \cup B$, so that $G[A]$ is a line-graph and $G[B]$ is a forest? Can $G$ be partitioned into a planar graph and a perfect graph? The NP-completeness of these problems are just special cases of our result: if ${\cal P}$ and ${\cal Q}$ are additive induced-hereditary graph properties, then $({\cal P}, {\cal Q})$-colouring is NP-hard, with the sole exception of graph 2-colouring (the case where both $\cal P$ and $\cal Q$ are the set ${\cal O}$ of finite edgeless graphs). Moreover, $({\cal P}, {\cal Q})$-colouring is NP-complete iff ${\cal P}$- and ${\cal Q}$-recognition are both in NP. This proves a conjecture of Kratochvíl and Schiermeyer.
Unique factorisation of additive induced-hereditary properties
Published
• View Publication
• BIB
An additive hereditary graph property is a set of graphs, closed under isomorphism and under taking subgraphs and disjoint unions. Let ${\cal P}_1, >..., {\cal P}_n$ be additive hereditary graph properties. A graph $G$ has property $({\cal P}_1 \circ ... \circ {\cal P}_n)$ if there is a partition $(V_1, ..., V_n)$ of $V(G)$ into $n$ sets such that, for all $i$, the induced subgraph $G[V_i]$ is in ${\cal P}_i$. A property ${\cal P}$ is reducible if there are properties ${\cal Q}$, ${\cal R}$ such that ${\cal P} = {\cal Q} \circ {\cal R}$; otherwise it is irreducible. Mihók, Semanišin and Vasky [J. Graph Theory {\bf 33} (2000), 44--53] gave a factorisation for any additive hereditary property ${\cal P}$ into a given number $dc({\cal P})$ of irreducible additive hereditary factors. Mihók [Discuss. Math. Graph Theory {\bf 20} (2000), 143--153] gave a similar factorisation for properties that are additive and induced-hereditary (closed under taking induced-subgraphs and disjoint unions). Their results left open the possiblity of different factorisations, maybe even with a different number of factors; we prove here that the given factorisations are, in fact, unique.
Additive induced-hereditary properties and unique factorization
We show that additive induced-hereditary properties of coloured hypergraphs can be uniquely factorised into irreducible factors. Our constructions and proofs are so general that they can be used for arbitrary concrete categories of combinatorial objects; we provide some examples of such combinatorial objects.
New results on generalized graph coloring
Published in DMTCS Volume 6 n. 2 (2004), pp. 215-222 http://dmtcs.loria.fr/volumes/abstracts/dm060204.abs.html
• View Publication
• BIB
For graph classes $P_1,...,P_k$, Generalized Graph Coloring is the problem of deciding whether the vertex set of a given graph $G$ can be partitioned into subsets $V_1,...,V_k$ so that $V_j$ induces a graph in the class $P_j$ $(j=1,2,...,k)$. If $P_1 = ... = P_k$ is the class of edgeless graphs, then this problem coincides with the standard vertex $k$-{\sc colorability}, which is known to be NP-complete for any $k\ge 3$. Recently, this result has been generalized by showing that if all $P_i$'s are additive induced-hereditary, then generalized graph coloring is NP-hard, with the only exception of recognising bipartite graphs. Clearly, a similar result follows when all the $P_i$'s are co-additive.
In this paper, we study the problem where we have a mixture of additive and co-additive classes, presenting several new results dealing both with NP-hard and polynomial-time solvable instances of the problem.
A simple and unusual bijection for Dyck paths and its consequences
Published
• View Publication
• BIB
In this paper we introduce a new bijection from the set of Dyck paths to itself. This bijection has the property that it maps statistics that appeared recently in the study of pattern-avoiding permutations into classical statistics on Dyck paths, whose distribution is easy to obtain.
We also present a generalization of the bijection, as well as several applications of it to enumeration problems of statistics in restricted permutations.
Fuglede's conjecture is false in 5 and higher dimensions
Published
• View Publication
• BIB
We give an example of a set $Ω\subset \R^5$ which is a finite union of unit cubes, such that $L^2(Ω)$ admits an orthonormal basis of exponentials $\{\frac{1}{|Ω|^{1/2}} e^{2πi ξ_j \cdot x}: ξ_j \in Λ\}$ for some discrete set $Λ\subset \R^5$, but which does not tile $\R^5$ by translations. This answers a conjecture of Fuglede in the negative, at least in 5 and higher dimensions.
The displacement and split decompositions for a $Q$-polynomial distance-regular graph
Published
• View Publication
• BIB
Let $Γ$ denote a $Q$-polynomial distance-regular graph with diameter at least three and standard module $V$. We introduce two direct sum decompositions of $V$. We call these the displacement decomposition for $Γ$ and the split decomposition for $Γ$. We describe how these decompositions are related.
A sign-reversing involution for rooted special rim-hook tableaux
Published
• View Publication
• BIB
Egecioglu and Remmel gave an interpretation for the entries of the inverse Kostka matrix K^{-1} in terms of special rim-hook tableaux. They were able to use this interpretation to give a combinatorial proof that KK^{-1}=I but were unable to do the same for the equation K^{-1}K=I. We define a sign-reversing involution on rooted special rim-hook tableaux which can be used to prove that the last column of this second product is correct. In addition, following a suggestion of Chow we combine our involution with a result of Gasharov to give a combinatorial proof of a special case of the (3+1)-free Conjecture of Stanley and Stembridge.
The number of k-intersections of an intersecting family of r-sets
Published
• View Publication
• BIB
The Erdos-Ko-Rado theorem tells us how large an intersecting family of r-sets from an n-set can be, while results due to Lovasz and Tuza give bounds on the number of singletons that can occur as pairwise intersections of sets from such a family.
We consider a natural generalization of these problems. Given an intersecting family of r-sets from an n-set and 1\leq k \leq r, how many k-sets can occur as pairwise intersections of sets from the family? For k=r and k=1 this reduces to the problems described above. We answer this question exactly for all values of k and r, when n is sufficiently large. We also characterize the extremal families.
On the cohomology of torus manifolds
Published in Osaka J. Math. 43 (2006), 711-746
• Search Publication
A torus manifold is an even-dimensional manifold acted on by a half-dimensional torus with non-empty fixed point set and some additional orientation data. It may be considered as a far-reaching generalisation of toric manifolds from algebraic geometry. The orbit space of a torus manifold has a rich combinatorial structure, e.g., it is a manifold with corners provided that the action is locally standard. Here we investigate relationships between the cohomological properties of torus manifolds and the combinatorics of their orbit quotients. We show that the cohomology ring of a torus manifold is generated by two-dimensional classes if and only if the quotient is a homology polytope. In this case we retrieve the familiar picture from toric geometry: the equivariant cohomology is the face ring of the nerve simplicial complex and the ordinary cohomology is obtained by factoring out certain linear forms. In a more general situation, we show that the odd-degree cohomology of a torus manifold vanishes if and only if the orbit space is face-acyclic. Although the cohomology is no longer generated in degree two under these circumstances, the equivariant cohomology is still isomorphic to the face ring of an appropriate simplicial poset.
Avoiding large squares in infinite binary words
Published
• View Publication
• BIB
We consider three aspects of avoiding large squares in infinite binary words. First, we construct an infinite binary word avoiding both cubes xxx and squares yy with |y| >= 4; our construction is somewhat simpler than the original construction of Dekking. Second, we construct an infinite binary word avoiding all squares except 00, 11, and 0101; our construction is somewhat simpler than the original construction of Fraenkel and Simpson. In both cases, we also show how to modify our construction to obtain exponentially many words of length n with the given avoidance properties. Finally, we answer an open question of Prodinger and Urbanek from 1979 by demonstrating the existence of two infinite binary words, each avoiding arbitrarily large squares, such that their perfect shuffle has arbitrarily large squares.
Bott towers, crosspolytopes and torus actions
Published
• View Publication
• BIB
We study the geometry of Bott towers in the context of toric geometry, describing their associated fans arising from crosspolytopes. We compute the cohomology ring of each stage of the tower, and provide all monomial identities defining related affine toric varieties.
Weights in Codes and Genus 2 Curves
Published
• View Publication
• BIB
We discuss a class of binary cyclic codes and their dual codes. The minimum distance is determined using algebraic geometry, and an application of Weil's theorem. We relate the weights appearing in the dual codes to the number of rational points on a family of genus 2 curves over a finite field.
Some examples in toric geometry
We present two examples in toric geometry concerning the relationship between toric and quasitoric manifolds, and provide the sufficient conditions on the base polytope and characteristic map so that the resulting quasitoric manifold is almost complex.