natural ↗ reference
4894 papers tagged with this keyword
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.
On universal sums of polygonal numbers
Published in Sci. China Math. 58(2015), 1367-1396
• View Publication
• BIB
For $m=3,4,\ldots$, the polygonal numbers of order $m$ are given by $p_m(n)=(m-2)\binom n2+n\ (n=0,1,2,\ldots)$. For positive integers $a,b,c$ and $i,j,k\ge3$ with $\max\{i,j,k\}\ge5$, we call the triple $(ap_i,bp_j,cp_k)$ universal if for any $n=0,1,2,\ldots$ there are nonnegative integers $x,y,z$ such that $n=ap_i(x)+bp_j(y)+cp_k(z)$. We show that there are only 95 candidates for universal triples (two of which are $(p_4,p_5,p_6)$ and $(p_3,p_4,p_{27})$), and conjecture that they are indeed universal triples. For many triples $(ap_i,bp_j,cp_k)$ (including $(p_3,4p_4,p_5),(p_4,p_5,p_6)$ and $(p_4,p_4,p_5)$), we prove that any nonnegative integer can be written in the form $ap_i(x)+bp_j(y)+cp_k(z)$ with $x,y,z\in\mathbb Z$. We also show some related new results on ternary quadratic forms, one of which states that any nonnegative integer $n\equiv 1\pmod{6}$ can be written in the form $x^2+3y^2+24z^2$ with $x,y,z\in\mathbb Z$. In addition, we pose several related conjectures one of which states that for any $m=3,4,\ldots$ each natural number can be expressed as $p_{m+1}(x_1)+p_{m+2}(x_2)+p_{m+3}(x_3)+r$ with $x_1,x_2,x_3\in\{0,1,2,\ldots\}$ and $r\in\{0,\ldots,m-3\}$.
A q-analogue of de Finetti's theorem
Published in Electronic Journal of Combinatorics 16 (2009), no. 1, paper #R78
• View Publication
• BIB
A q-analogue of de Finetti's theorem is obtained in terms of a boundary problem for the q-Pascal graph. For q a power of prime this leads to a characterisation of random spaces over the Galois field F_q that are invariant under the natural action of the infinite group of invertible matrices with coefficients from F_q.
Susceptibility in inhomogeneous random graphs
Published in Electronic J. Combinatorics 19 (2012), P31 (59 pages)
• View Publication
• BIB
We study the susceptibility, i.e., the mean size of the component containing a random vertex, in a general model of inhomogeneous random graphs. This is one of the fundamental quantities associated to (percolation) phase transitions; in practice one of its main uses is that it often gives a way of determining the critical point by solving certain linear equations. Here we relate the susceptibility of suitable random graphs to a quantity associated to the corresponding branching process, and study both quantities in various natural examples.
Partial Jucys-Murphy elements and star factorizations
Published in European Journal of Combinatorics 33 (2012), pp. 189-198
• Search Publication
In this paper, we look at the number of factorizations of a given permutation into star transpositions. In particular, we give a natural explanation of a hidden symmetry, answering a question of I.P. Goulden and D.M. Jackson. We also have a new proof of their explicit formula. Another result is the normalized class expansion of some central elements of the symmetric group algebra introduced by P. Biane.
To obtain this results, we use natural analogs of Jucys-Murphy elements in the algebra of partial permutations of V. Ivanov and S. Kerov. We investigate their properties and use a formula of A. Lascoux and J.Y. Thibon to give the expansion of their power sums on the natural basis of the invariant subalgebra.
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.
On adding a list of numbers (and other one-dependent determinantal processes)
Published
• View Publication
• BIB
Adding a column of numbers produces "carries" along the way. We show that random digits produce a pattern of carries with a neat probabilistic description: the carries form a one-dependent determinantal point process. This makes it easy to answer natural questions: How many carries are typical? Where are they located? We show that many further examples, from combinatorics, algebra and group theory, have essentially the same neat formulae, and that any one-dependent point process on the integers is determinantal. The examples give a gentle introduction to the emerging fields of one-dependent and determinantal point processes.
A bijection between dominant Shi regions and core partitions
Published
• View Publication
• BIB
It is well-known that Catalan numbers $C_n = \frac{1}{n+1} \binom{2n}{n}$ count the number of dominant regions in the Shi arrangement of type $A$, and that they also count partitions which are both $n$-cores as well as $(n+1)$-cores. These concepts have natural extensions, which we call here the $m$-Catalan numbers and $m$-Shi arrangement. In this paper, we construct a bijection between dominant regions of the $m$-Shi arrangement and partitions which are both $n$-cores as well as $(mn+1)$-cores. The bijection is natural in the sense that it commutes with the action of the affine symmetric group.
Step Size in Stein's Method of Exchangeable Pairs
Published
• View Publication
• BIB
Stein's method of exchangeable pairs is examined through five examples in relation to Poisson and normal distribution approximation. In particular, in the case where the exchangeable pair is constructed from a reversible Markov chain, we analyze how modifying the step size of the chain in a natural way affects the error term in the approximation acquired through Stein's method. It has been noted for the normal approximation that smaller step sizes may yield better bounds, and we obtain the first rigorous results that verify this intuition. For the examples associated to the normal distribution, the bound on the error is expressed in terms of the spectrum of the underlying chain, a characteristic of the chain related to convergence rates. The Poisson approximation using exchangeable pairs is less studied than the normal, but in the examples presented here the same principles hold.
Holographic algorithms without matchgates
Published
• View Publication
• BIB
The theory of holographic algorithms, which are polynomial time algorithms for certain combinatorial counting problems, yields insight into the hierarchy of complexity classes. In particular, the theory produces algebraic tests for a problem to be in the class P. In this article we streamline the implementation of holographic algorithms by eliminating one of the steps in the construction procedure, and generalize their applicability to new signatures. Instead of matchgates, which are weighted graph fragments that replace vertices of a natural bipartite graph G associated to a problem P, our approach uses only only a natural number-of-edges by number-of-edges matrix associated to G. An easy-to-compute multiple of its Pfaffian is the number of solutions to the counting problem. This simplification improves our understanding of the applicability of holographic algorithms, indicates a more geometric approach to complexity classes, and facilitates practical implementations. The generalized applicability arises because our approach allows for new algebraic tests that are different from the "Grassmann-Plucker identities" used up until now. Natural problems treatable by these new methods have been previously considered in a different context, and we present one such example.
Cluster mutation-periodic quivers and associated Laurent sequences
Published in J.Algebr.Comb. 34:19-66,2011
• View Publication
• BIB
We consider quivers/skew-symmetric matrices under the action of mutation (in the cluster algebra sense). We classify those which are isomorphic to their own mutation via a cycle permuting all the vertices, and give families of quivers which have higher periodicity. The periodicity means that sequences given by recurrence relations arise in a natural way from the associated cluster algebras. We present a number of interesting new families of non-linear recurrences, necessarily with the Laurent property, of both the real line and the plane, containing integrable maps as special cases. In particular, we show that some of these recurrences can be linearised and, with certain initial conditions, give integer sequences which contain all solutions of some particular Pell equations. We extend our construction to include recurrences with parameters, giving an explanation of some observations made by Gale. Finally, we point out a connection between quivers which arise in our classification and those arising in the context of quiver gauge theories.
The spectral radius of graphs without paths and cycles of specified length
Published
• View Publication
• BIB
Let G be a graph with n vertices and mu(G) be the largest eigenvalue of the adjacency matrix of G. We study how large mu(G) can be when G does not contain cycles and paths of specified order. In particular, we determine the maximum spectral radius of graphs without paths of given length, and give tight bounds on the spectral radius of graphs without given even cycles. We also raise a number of natural open problems.
Graphs, links, and duality on surfaces
Published in Combin. Probab. Comput. 20 (2011), 267-287
• View Publication
• BIB
We introduce a polynomial invariant of graphs on surfaces, $P_G$, generalizing the classical Tutte polynomial. Topological duality on surfaces gives rise to a natural duality result for $P_G$, analogous to the duality for the Tutte polynomial of planar graphs. This property is important from the perspective of statistical mechanics, where the Tutte polynomial is known as the partition function of the Potts model. For ribbon graphs, $P_G$ specializes to the well-known Bollobas-Riordan polynomial, and in fact the two polynomials carry equivalent information in this context. Duality is also established for a multivariate version of the polynomial $P_G$. We then consider a 2-variable version of the Jones polynomial for links in thickened surfaces, taking into account homological information on the surface. An analogue of Thistlethwaite's theorem is established for these generalized Jones and Tutte polynomials for virtual links.
Stringy Hodge numbers of strictly canonical nondegenerate singularities
Published
• View Publication
• BIB
We describe a class of isolated nondegenerate hypersurface singularities that give a polynomial contribution to Batyrev's stringy E-function. These singularities are obtained by imposing a natural condition on the facets of the Newton polyhedron, and they are strictly canonical. We prove that Batyrev's conjecture concerning the nonnegativity of stringy Hodge numbers is true for complete varieties with such singularities, under some additional hypotheses on the defining polynomials (e.g. convenient or weighted homogeneous). The proof uses combinatorics on lattice polytopes. The results form a strong generalisation of previously obtained results for Brieskorn singularities.
Paths and partitions: combinatorial descriptions of the parafermionic states
Published in J.Math.Phys.50:095210,2009
• View Publication
• BIB
The Z_k parafermionic conformal field theories, despite the relative complexity of their modes algebra, offer the simplest context for the study of the bases of states and their different combinatorial representations. Three bases are known. The classic one is given by strings of the fundamental parafermionic operators whose sequences of modes are in correspondence with restricted partitions with parts at distance k-1 differing at least by 2. Another basis is expressed in terms of the ordered modes of the k-1 different parafermionic fields, which are in correspondence with the so-called multiple partitions. Both types of partitions have a natural (Bressoud) path representation. Finally, a third basis, formulated in terms of different paths, is inherited from the solution of the restricted solid-on-solid model of Andrews-Baxter-Forrester. The aim of this work is to review, in a unified and pedagogical exposition, these four different combinatorial representations of the states of the Z_k parafermionic models.
The first part of this article presents the different paths and partitions and their bijective relations; it is purely combinatorial, self-contained and elementary; it can be read independently of the conformal-field-theory applications. The second part links this combinatorial analysis with the bases of states of the Z_k parafermionic theories. With the prototypical example of the parafermionic models worked out in detail, this analysis contributes to fix some foundations for the combinatorial study of more complicated theories. Indeed, as we briefly indicate in ending, generalized versions of both the Bressoud and the Andrews-Baxter-Forrester paths emerge naturally in the description of the minimal models.
On generalizations of Gowers norms and their geometry
Motivated by the definition of the Gowers uniformity norms, we introduce and study a wide class of norms. Our aim is to establish them as a natural generalization of the $L_p$ norms. We shall prove that these normed spaces share many of the nice properties of the $L_p$ spaces. Some examples of these norms are $L_p$ norms, trace norms $S_p$ when $p$ is an even integer, and Gowers uniformity norms.
Every such norm is defined through a pair of weighted hypergraphs. In regard to a question of Laszlo Lovasz, we prove several results in the direction of characterizing all hypergraph pairs that correspond to norms.
Hamilton l-cycles in uniform hypergraphs
Published in Journal of Combinatorial Theory, Series A. Volume 117, Issue 7, October 2010, Pages 910-927
• View Publication
• BIB
We say that a k-uniform hypergraph C is an l-cycle if there exists a cyclic ordering of the vertices of C such that every edge of C consists of k consecutive vertices and such that every pair of consecutive edges (in the natural ordering of the edges) intersects in precisely l vertices. We prove that if 1 \leq l \leq k-1 and k-l does not divide k then any k-uniform hypergraph on n vertices with minimum degree at least n/((\lceil (k/(k-l)) \rceil)(k-l))+o(n) contains a Hamilton l-cycle. This confirms a conjecture of Hàn and Schacht. Together with results of Rödl, Ruciński and Szemerédi, our result asymptotically determines the minimum degree which forces an l-cycle for any l with 1 \leq l \leq k-1.
On Point Sets in Vector Spaces over Finite Fields That Determine Only Acute Angle Triangles
Published
• View Publication
• BIB
For three points $\vec{u}$,$\vec{v}$ and $\vec{w}$ in the $n$-dimensional space $\F_q^n$ over the finite field $\F_q$ of $q$ elements we give a natural interpretation of an acute angle triangle defined by this points. We obtain an upper bound on the size of a set $\cZ$ such that all triples of distinct points $\vec{u}, \vec{v}, \vec{w} \in \cZ$ define acute angle triangles. A similar question in the real space $\cR^n$ dates back to P. Erd{\H o}s and has been studied by several authors.
Sharp thresholds for constraint satisfaction problems and homomorphisms
Published in Random Structures Algorithms. 33(3) (2008), pp. 310- 332
• View Publication
• BIB
We determine under which conditions certain natural models of random constraint satisfaction problems have sharp thresholds of satisfiability. These models include graph and hypergraph homomorphism, the $(d,k,t)$-model, and binary constraint satisfaction problems with domain size three.