sequence
6845 papers tagged with this keyword
Combinatorial interpretations of the Jacobi-Stirling numbers
Published
• View Publication
• BIB
The Jacobi-Stirling numbers of the first and second kinds were introduced in 2006 in the spectral theory and are polynomial refinements of the Legendre-Stirling numbers. Andrews and Littlejohn have recently given a combinatorial interpretation for the second kind of the latter numbers. Noticing that these numbers are very similar to the classical central factorial numbers, we give combinatorial interpretations for the Jacobi-Stirling numbers of both kinds, which provide a unified treatment of the combinatorial theories for the two previous sequences and also for the Stirling numbers of both kinds.
Generalizing the Splits Equivalence Theorem and Four Gamete Condition: Perfect Phylogeny on Three State Characters
Published
• View Publication
• BIB
We study the perfect phylogeny problem and establish a generalization of the four gamete condition (also called the Splits Equivalence Theorem) for sequences over three state characters. Our main result is that a set of input sequences over three state characters allows a perfect phylogeny if and only if every subset of three characters allows a perfect phylogeny. In establishing these results, we prove fundamental structural features of the perfect phylogeny problem on three state characters and completely characterize the minimal obstruction sets that must occur in three state input sequences that do not have a perfect phylogeny. We further give a proof for a stated lower bound involved in the conjectured generalization of our main result to any number of states. The techniques are based on the chordal graph view of perfect phylogeny.
Until this work, the notion of a conflict, or incompatibility, graph has been defined for two state characters only. Our generalization of the four gamete condition allows us to generalize the notion of incompatibility to three state characters. The resulting incompatibility structure is a hypergraph, which can be used to solve algorithmic and theoretical problems.
Global alignment of protein-protein interaction networks by graph matching methods
Published
• View Publication
• BIB
Aligning protein-protein interaction (PPI) networks of different species has drawn a considerable interest recently. This problem is important to investigate evolutionary conserved pathways or protein complexes across species, and to help in the identification of functional orthologs through the detection of conserved interactions. It is however a difficult combinatorial problem, for which only heuristic methods have been proposed so far. We reformulate the PPI alignment as a graph matching problem, and investigate how state-of-the-art graph matching algorithms can be used for that purpose. We differentiate between two alignment problems, depending on whether strict constraints on protein matches are given, based on sequence similarity, or whether the goal is instead to find an optimal compromise between sequence similarity and interaction conservation in the alignment. We propose new methods for both cases, and assess their performance on the alignment of the yeast and fly PPI networks. The new methods consistently outperform state-of-the-art algorithms, retrieving in particular 78% more conserved interactions than IsoRank for a given level of sequence similarity. Availability:http://cbio.ensmp.fr/proj/graphm\_ppi/, additional data and codes are available upon request. Contact: jean-philippe.vert@mines-paristech.fr
Inverse folding of RNA pseudoknot structures
Published
• View Publication
• BIB
Background:
RNA exhibits a variety of structural configurations. Here we consider a structure to be tantamount to the noncrossing Watson-Crick and \pairGU-base pairings (secondary structure) and additional cross-serial base pairs. These interactions are called pseudoknots and are observed across the whole spectrum of RNA functionalities. In the context of studying natural RNA structures, searching for new ribozymes and designing artificial RNA, it is of interest to find RNA sequences folding into a specific structure and to analyze their induced neutral networks. Since the established inverse folding algorithms, {\tt RNAinverse}, {\tt RNA-SSD} as well as {\tt INFO-RNA} are limited to RNA secondary structures, we present in this paper the inverse folding algorithm {\tt Inv} which can deal with 3-noncrossing, canonical pseudoknot structures.
Results:
In this paper we present the inverse folding algorithm {\tt Inv}. We give a detailed analysis of {\tt Inv}, including pseudocodes. We show that {\tt Inv} allows to design in particular 3-noncrossing nonplanar RNA pseudoknot 3-noncrossing RNA structures-a class which is difficult to construct via dynamic programming routines. {\tt Inv} is freely available at \url{http://www.combinatorics.cn/cbpc/inv.html}.
Conclusions:
The algorithm {\tt Inv} extends inverse folding capabilities to RNA pseudoknot structures. In comparison with {\tt RNAinverse} it uses new ideas, for instance by considering sets of competing structures. As a result, {\tt Inv} is not only able to find novel sequences even for RNA secondary structures, it does so in the context of competing structures that potentially exhibit cross-serial interactions.
Large cliques in a power-law random graph
Published
• View Publication
• BIB
We study the size of the largest clique $ω(G(n,α))$ in a random graph $G(n,α)$ on $n$ vertices which has power-law degree distribution with exponent $α$. We show that for `flat' degree sequences with $α>2$ whp the largest clique in $G(n,α)$ is of a constant size, while for the heavy tail distribution, when $0<α<2$, $ω(G(n,α))$ grows as a power of $n$. Moreover, we show that a natural simple algorithm whp finds in $G(n,α)$ a large clique of size $(1+o(1))ω(G(n,α))$ in polynomial time.
Counting nondecreasing integer sequences that lie below a barrier
Published
• View Publication
• BIB
Given a barrier $0 \leq b_0 \leq b_1 \leq ...$, let $f(n)$ be the number of nondecreasing integer sequences $0 \leq a_0 \leq a_1 \leq ... \leq a_n$ for which $a_j \leq b_j$ for all $0 \leq j \leq n$. Known formulæfor $f(n)$ include an $n \times n$ determinant whose entries are binomial coefficients (Kreweras, 1965) and, in the special case of $b_j = rj+s$, a short explicit formula (Proctor, 1988, p.320). A relatively easy bivariate recursion, decomposing all sequences according to $n$ and $a_n$, leads to a bivariate generating function, then a univariate generating function, then a linear recursion for $\{f(n) \}$. Moreover, the coefficients of the bivariate generating function have a probabilistic interpretation, leading to an analytic inequality which is an identity for certain values of its argument.
Rotor Walks and Markov Chains
Published
• View Publication
• BIB
The rotor walk is a derandomized version of the random walk on a graph. On successive visits to any given vertex, the walker is routed to each of the neighboring vertices in some fixed cyclic order, rather than to a random sequence of neighbors. The concept generalizes naturally to Markov chains on a countable state space. Subject to general conditions, we prove that many natural quantities associated with the rotor walk (including normalized hitting frequencies, hitting times and occupation frequencies) concentrate around their expected values for the random walk. Furthermore, the concentration is stronger than that associated with repeated runs of the random walk, with discrepancy at most C/n after n runs (for an explicit constant C), rather than c/sqrt n.
Nonstandard Digraphs
Nonstandard graphs have been defined and examined in prior works. The present work does the same for nonstandard digraphs. Since digraphs have more structure than do graphs, the present discussion requires more complicated definitions and yields a variety of results peculiar to nonstandard digraphs. A nonstandard digraph can be obtained by means of an ultrapower construction based on a sequence of digraphs or more elegantly by using the transfer principle. We use either or both techniques in particular circumstances. As special cases, we have the enlargement of a single infinite digraph and also hyperfinite digraphs based on sequences of finite digraphs. Also examined are such ideas as incidences and adjacencies for nonstandard arcs and vertices, connectedness, components, and galaxies in nonstandard digraphs.
Parametric analysis of RNA folding
Published
• View Publication
• BIB
We extend recent methods for parametric sequence alignment to the parameter space for scoring RNA folds. This involves the construction of an RNA polytope. A vertex of this polytope corresponds to RNA secondary structures with common branching. We use this polytope and its normal fan to study the effect of varying three parameters in the free energy model that are not determined experimentally. Our results indicate that variation of these specific parameters does not have a dramatic effect on the structures predicted by the free energy model. We additionally map a collection of known RNA secondary structures to the RNA polytope.
Difference between minimum light numbers of sigma-game and lit-only sigma-game
A configuration of a graph is an assignment of one of two states, on or off, to each vertex of it. A regular move at a vertex changes the states of the neighbors of that vertex. A valid move is a regular move at an on vertex. The following result is proved in this note: given any starting configuration $x$ of a tree, if there is a sequence of regular moves which brings $x$ to another configuration in which there are $\ell$ on vertices then there must exist a sequence of valid moves which takes $x$ to a configuration with at most $\ell +2$ on vertices. We provide example to show that the upper bound $\ell +2$ is sharp. Some relevant results and conjectures are also reported.
Recurrence relations for polynomial sequences via Riordan matrices
We give recurrence relations for any family of generalized Appell polynomials unifying so some known recurrences of many classical sequences of polynomials. Our main tool to get our goal is the Riordan group. We use the product of Riordan matrices to interpret some relationships between different families of polynomials. Moreover using the Hadamard product of series we get a general recurrence relation for the polynomial sequences associated to the so called generalized umbral calculus.
Generalized exponents of small representations. II
Published
• View Publication
• BIB
This is the second paper in a sequence devoted to giving manifestly non-negative formulas for generalized exponents of small representations in all types. It contains a first formula for generalized exponents of small weights which extends the Shapiro-Steinberg formula for classical exponents. The formula is made possible by a computation of Fourier coefficients of the degenerate Cherednik kernel. Unlike the usual partition function coefficients, the answer reflects only the combinatorics of minimal expressions as a sum of roots.
Generalized exponents of small representations. I
Published
• View Publication
• BIB
This is the first paper in a sequence devoted to giving manifestly non-negative formulas for generalized exponents of small representations in all types. The main part of this paper illustrates the overall structure of the argument on root systems of type A and discusses the relationship with the Lascoux-Schutzenberger charge formula.
A discretized approach to W.T. Gowers' game
Published
• View Publication
• BIB
We give an alternative proof of W. T. Gowers' theorem on block bases by reducing it to a discrete analogue on specific countable nets. We also give a Ramsey type result on k-tuples of block sequences in a normed linear space with a Schauder basis.
Ramsey Theory for Words over an Infinite Alphabet
A complete partition theory is presented for omega-located words (and omega-words), namely for located words over an infinite alphabet dominated by a fixed increasing sequence. This theory strengthens in an essential way the classical Carlson, Furstenberg-Katznelson, and Bergelson-Blass-Hindman partition theory for words over a finite alphabet. Consequences of this theory are strong simultaneous extensions of the classical Hindman, Milliken-Taylor partition theorem, and of a van der Waerden theorem for general semigroups, extending results of Hindman-Strauss and Beiglbock.
Random Walks on Strict Partitions
Published in Journal of Mathematical Sciences, vol. 168, no. 3, pp. 437-463, 2010
• View Publication
• BIB
We consider a certain sequence of random walks. The state space of the n-th random walk is the set of all strict partitions of n (that is, partitions without equal parts).
We prove that, as n goes to infinity, these random walks converge to a continuous-time Markov process. The state space of this process is the infinite-dimensional simplex consisting of all nonincreasing infinite sequences of nonnegative numbers with sum less than or equal to one. The main result about the limit process is the expression of its the pre-generator as a formal second order differential operator in a polynomial algebra.
Of separate interest is the generalization of Kerov interlacing coordinates to the case of shifted Young diagrams.
Longest Common Subsequences in Sets of Permutations
The sequence a_1,...,a_m is a common subsequence in the set of permutations S = {p_1,...,p_k} on [n] if it is a subsequence of p_i(1),...,p_i(n) and p_j(1),...,p_j(n) for some distinct p_i, p_j in S. Recently, Beame and Huynh-Ngoc (2008) showed that when k>=3, every set of k permutations on [n] has a common subsequence of length at least n^{1/3}.
We show that, surprisingly, this lower bound is asymptotically optimal for all constant values of k. Specifically, we show that for any k>=3 and n>=k^2 there exists a set of k permutations on [n] in which the longest common subsequence has length at most 32(kn)^{1/3}. The proof of the upper bound is constructive, and uses elementary algebraic techniques.
The critical group of a line graph
Published
• View Publication
• BIB
The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. This paper provides three basic structural results on the critical group of a line graph.
The first deals with connected graphs containing no cut-edge. Here the number of independent cycles in the graph, which is known to bound the number of generators for the critical group of the graph, is shown also to bound the number of generators for the critical group of its line graph.
The second gives, for each prime p, a constraint on the p-primary structure of the critical group, based on the largest power of p dividing all sums of degrees of two adjacent vertices.
The third deals with connected graphs whose line graph is regular. Here known results relating the number of spanning trees of the graph and of its line graph are sharpened to exact sequences which relate their critical groups.
The first two results interact extremely well with the third. For example, they imply that in a regular nonbipartite graph, the critical group of the graph and that of its line graph determine each other uniquely in a simple fashion.
A Proof of Moll's Minimum Conjecture
Published
• View Publication
• BIB
Let $d_i(m)$ denote the coefficients of the Boros-Moll polynomials. Moll's minimum conjecture states that the sequence $\{i(i+1)(d_i^2(m)-d_{i-1}(m)d_{i+1}(m))\}_{1\leq i \leq m}$ attains its minimum with $i=m$. This conjecture is a stronger than the log-concavity conjecture proved by Kausers and Paule. We give a proof of Moll's conjecture by utilizing the spiral property of the sequence $\{d_i(m)\}_{0\leq i \leq m}$, and the log-concavity of the sequence $\{i!d_i(m)\}_{0\leq i \leq m}$.
Transposition game
We introduce a two-player game, in which each player extends a given sequence by picking a free element in a domain D of the real line. The aim of the players is to control the parity of the number of transpositions necessary to put the final sequence in order. We will see that the winner can be the last player, the second last player, the first player, the second player, the person who wants the parity to end up even or the person who wants the parity to end up odd. A special case of the game can be reduced to a game with nontrivial winning strategy, but describable in so simple a way that children can understand it and enjoy playing it.