Showing 20 papers (Total: 81756 papers, 47371 authors in database)
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.
Interleaved adjoints on directed graphs
Published in European J. Combin., 32(7), pp. 1018--1024, 2011
• View Publication
• BIB
For an integer k >= 1, the k-th interlacing adjoint of a digraph G is the digraph i_k(G) with vertex-set V(G)^k, and arcs ((u_1, ..., u_k), (v_1, ..., v_k)) such that (u_i,v_i) \in A(G) for i = 1, ..., k and (v_i, u_{i+1}) \in A(G) for i = 1, ..., k-1. For every k we derive upper and lower bounds for the chromatic number of i_k(G) in terms of that of G. In particular, we find tight bounds on the chromatic number of interlacing adjoints of transitive tournaments. We use this result in conjunction with categorial properties of adjoint functors to derive the following consequence. For every integer ell, there exists a directed path Q_{\ell} of algebraic length ell which admits homomorphisms into every directed graph of chromatic number at least 4. We discuss a possible impact of this approach on the multifactor version of the weak Hedetniemi conjecture.
Abstract involutions of algebraic groups and of Kac-Moody groups
Published in J. Group Theory 14 (2011), no. 2, 213-249
• View Publication
• BIB
Based on the second author's thesis in this article we provide a uniform treatment of abstract involutions of algebraic groups and of Kac-Moody groups using twin buildings, RGD systems, and twisted involutions of Coxeter groups. Notably we simultaneously generalize the double coset decompositions established by Springer and by Helminck-Wang for algebraic groups and by Kac-Wang for certain Kac-Moody groups, we analyze the filtration studied by Devillers-Muhlherr in the context of arbitrary involutions, and we answer a structural question on the combinatorics of involutions of twin buildings raised by Bennett-Gramlich-Hoffman-Shpectorov.
Plancherel averages: Remarks on a paper by Stanley
Published in Electr. J. Combin. 17 (2010), paper #R43, 16 pp.
• View Publication
• BIB
Let M_n stand for the Plancherel measure on Y_n, the set of Young diagrams with n boxes. A recent result of Stanley (arXiv:0807.0383) says that for certain functions G defined on the set Y of all Young diagrams, the average of G with respect to M_n depends on n polynomially. We propose two other proofs of this result together with a generalization to the Jack deformation of the Plancherel measure.
New Bounds for Codes Over Finite Frobenius Rings
Published
• View Publication
• BIB
We give results on the question of code optimality for linear codes over finite Frobenius rings for the homogeneous weight. This article improves on the existing Plotkin bound derived in an earlier paper, and suggests a version of a Singleton bound. We also present some families of codes meeting these new bounds.
Combinatorics of symbolic Rees algebras of edge ideals of clutters
Published in Contemp. Math. 555 (2011), 151--164
• View Publication
• BIB
Let C be a clutter and let I be its edge ideal. We present a combinatorial description of the minimal generators of the symbolic Rees algebra Rs(I) of I. It is shown that the minimal generators of Rs(I) are in one to one correspondence with the irreducible parallelizations of C. From our description some major results on symbolic Rees algebras of perfect graphs and clutters will follow. As a byproduct, we give a method, using Hilbert bases, to compute all irreducible parallelizations of C along with all the corresponding vertex covering numbers.
Upper tails for counting objects in randomly induced subhypergraphs and rooted random graphs
Published
• View Publication
• BIB
General upper tail estimates are given for counting edges in a random induced subhypergraph of a fixed hypergraph H, with an easy proof by estimating the moments. As an application we consider the numbers of arithmetic progressions and Schur triples in random subsets of integers. In the second part of the paper we return to the subgraph counts in random graphs and provide upper tail estimates in the rooted case.
Independent sets in almost-regular graphs and the Cameron-Erdos problem for non-invariant linear equations
We propose a generalisation of the Cameron-Erdos conjecture for sum-free sets to arbitrary non-translation invariant linear equations over Z in three or more variables and, using well-known methods from graph theory, prove a weak form of the conjecture for a class of equations where the structure of the maximum-size sets avoiding solutions to the equation has been previously obtained.
Greedoids on Vertex Sets of Unicycle Graphs
A maximum stable set in a graph G is a stable set of maximum cardinality. S is a local maximum stable set of G, if S is a maximum stable set of the subgraph induced by its closed neighborhood.
It is known that the family of all local maximum stable sets of a forest forms a greedoid on its vertex set. Bipartite, triangle-free, and well-covered graphs whose families of local maximum stable sets form greedoids have been analyzed as well.
A unicycle graph owns only one cycle. In this paper we characterize the unicycle graphs whose families of local maximum stable sets form greedoids.
New quantum caps in PG(4,4)
Published
• View Publication
• BIB
Calderbank, Rains, Shor and Sloane (see \cite{Sloane}) showed that error-correction is possible in the context of quantum computations. Quantum stabilizer codes are a class of additive quaternary codes in binary projective spaces, which are self-orthogonal with respect to the symplectic form. A geometric description is given in \cite{Bierbra}, where also the notion of quantum cap is introduced. Quantum caps correspond to the special case of quantum stabilizer codes of distance $d=4$ when the code is linear over GF(4). In the present paper we review the translation from quantum error-correction to symplectic geometry and study quantum codes in PG(4,4) where we construct complete quantum caps with 20, 29, 30, 32, 33, 34, 36 and 38 points and incomplete quantum caps with 10, 12, 13, 20, 23, 24, 25 and 26 points and we prove the non existence of 11-quantum caps. In particular the quantum caps of sizes 36 and 38 yield positive answers to the existence questions of quantum codes $[[36,26,4]]$ and $[[38,28,4]]$ that remained open in the data base \cite{codetable}.
A synthesis for exactly 3-edge-connected graphs
Published
• View Publication
• BIB
A multigraph is exactly k-edge-connected if there are exactly k edge-disjoint paths between any pair of vertices. We characterize the class of exactly 3-edge-connected graphs, giving a synthesis involving two operations by which every exactly 3-edge-connected multigraph can be generated. Slightly modified syntheses give the planar exactly 3-edge-connected graphs and the exactly 3-edge-connected graphs with the fewest possible edges.
Vertices of degree k in edge-minimal, k-edge-connected graphs
Halin showed that every edge minimal, k-vertex connected graph has a vertex of degree k. In this note, we prove the analogue to Halin's theorem for edge-minimal, k-edge-connected graphs. We show there are two vertices of degree k in every edge-minimal, k-edge-connected graph.
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
A proof of Dejean's conjecture
Published
• View Publication
• BIB
We prove Dejean's conjecture. Specifically, we show that Dejean's conjecture holds for the last remaining open values of n, namely 15 <= n <= 26.
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.
Boundedly simple groups of automorphisms of trees
Published
• View Publication
• BIB
A group is boundedly simple if, for some constant N, every nontrivial conjugacy class generates the whole group in N steps. For a large class of trees, Tits proved simplicity of a canonical subgroup of the automorphism group, which is generated by pointwise stabilizers of edges. We prove that only for uniform subdivisions of biregular trees are such groups boundedly simple. In fact these groups are 8-boundedly simple. As a consequence, we prove that if G is boundedly simple (or from a certain class K) and G acts by automorphisms on a tree, then G fixes some vertex of A, or stabilizes some end of A, or the smallest nonempty G-invariant subtree of A is a uniform subdivision of a biregular tree.
Extensions of probability-preserving systems by measurably-varying homogeneous spaces and applications
Published
• View Publication
• BIB
We study a generalized notion of a homogeneous skew-product extension of a probability-preserving system in which the homogeneous space fibres are allowed to vary over the ergodic decomposition of the base. The construction of such extensions rests on a simple notion of `direct integral' for a `measurable family' of homogeneous spaces, which has a number of precedents in older literature. The main contribution of the present paper is the systematic development of a formalism for handling such extensions, including non-ergodic versions of the results of Mackey describing ergodic components of such extensions, of the Furstenberg-Zimmer Structure Theory and of results of Mentzen describing the structure of automorphisms of such extensions when they are relatively ergodic. We then offer applications to two structural results for actions of several commuting transformations: firstly to describing the possible joint distributions of three isotropy factors corresponding to three commuting transformations; and secondly to describing the characteristic factors for a system of double nonconventional ergodic averages. Although both applications are modest in themselves, we hope that they point towards a broader usefulness of this formalism in ergodic theory.
Pleasant extensions retaining algebraic structure, I
Published
• View Publication
• BIB
In two recent papers we introduced some new techniques for constructing an extension of a probability-preserving system $T:\mathbb{Z}^d\curvearrowright (X,μ)$ that enjoys certain desirable properties in connexion with the asymptotic behaviour of some related nonconventional ergodic averages.
The present paper is the first of two that will explore various refinements and extensions of these ideas. This first part is dedicated to some much more general machinery for the construction of extensions that can be used to recover various earlier results. It also contains two relatively simple new applications of this machinery to the study of certain families of nonconventional averages, one in discrete and one in continuous time (convergence being a new result for the latter).
In the forthcoming second part (arXiv:0910.0907) we will introduce the problem of describing the characteristic factors and the limit of the linear nonconventional averages $\frac{1}{N}\sum_{n=1}^N \prod_{i=1}^kf_i\circ T^{n\bf{p}_i}$ when the directions $\bf{p}_1$, $\bf{p}_2$, \ldots, $\bf{p}_k \in \mathbb{Z}^d$ are not assumed to be linearly independent, and provide a fairly detailed solution in the case when k = 3, d = 2 and any pair of directions is linearly independent. This will then be used to prove the convergence in $L^2(μ)$ of the quadratic nonconventional averages $\frac{1}{N}\sum_{n=1}^N (f_1\circ T_1^{n^2})(f_2\circ T_1^{n^2}T_2^n)$.
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.
Feedback Vertex Sets in Tournaments
Published
• View Publication
• BIB
We study combinatorial and algorithmic questions around minimal feedback vertex sets in tournament graphs.
On the combinatorial side, we derive strong upper and lower bounds on the maximum number of minimal feedback vertex sets in an n-vertex tournament. We prove that every tournament on n vertices has at most 1.6740^n minimal feedback vertex sets, and that there is an infinite family of tournaments, all having at least 1.5448^n minimal feedback vertex sets. This improves and extends the bounds of Moon (1971).
On the algorithmic side, we design the first polynomial space algorithm that enumerates the minimal feedback vertex sets of a tournament with polynomial delay. The combination of our results yields the fastest known algorithm for finding a minimum size feedback vertex set in a tournament.