sequence
7073 papers tagged with this keyword
New Geometric Representations and Domination Problems on Tolerance and Multitolerance Graphs
Published
• View Publication
• BIB
Tolerance graphs model interval relations in such a way that intervals can tolerate a certain amount of overlap without being in conflict. In one of the most natural generalizations of tolerance graphs with direct applications in the comparison of DNA sequences from different organisms, namely multitolerance graphs, two tolerances are allowed for each interval - one from the left and one from the right side. Several efficient algorithms for optimization problems that are NP-hard in general graphs have been designed for tolerance and multitolerance graphs. In spite of this progress, the complexity status of some fundamental algorithmic problems on tolerance and multitolerance graphs, such as the dominating set problem, remained unresolved until now, three decades after the introduction of tolerance graphs. In this article we introduce two new geometric representations for tolerance and multitolerance graphs, given by points and line segments in the plane. Apart from being important on their own, these new representations prove to be a powerful tool for deriving both hardness results and polynomial time algorithms. Using them, we surprisingly prove that the dominating set problem can be solved in polynomial time on tolerance graphs and that it is APX-hard on multitolerance graphs, solving thus a longstanding open problem. This problem is the first one that has been discovered with a different complexity status in these two graph classes.
A degree sequence Hajnal--Szemerédi theorem
Published
• View Publication
• BIB
We say that a graph $G$ has a perfect $H$-packing if there exists a set of vertex-disjoint copies of $H$ which cover all the vertices in $G$. The seminal Hajnal--Szemerédi theorem characterises the minimum degree that ensures a graph $G$ contains a perfect $K_r$-packing. Balogh, Kostochka and Treglown proposed a degree sequence version of the Hajnal--Szemerédi theorem which, if true, gives a strengthening of the Hajnal--Szemerédi theorem. In this paper we prove this conjecture asymptotically. Another fundamental result in the area is the Alon--Yuster theorem which gives a minimum degree condition that ensures a graph contains a perfect $H$-packing for an \emph{arbitrary} graph $H$. We give a wide-reaching generalisation of this result by answering another conjecture of Balogh, Kostochka and Treglown on the degree sequence of a graph that forces a perfect $H$-packing. We also prove a degree sequence result concerning perfect transitive tournament packings in directed graphs. The proofs blend together the regularity and absorbing methods.
Hall-Littlewood symmetric functions via Yamanouchi toppling game
Published
• View Publication
• BIB
We define a solitary game, the Yamanouchi toppling game, on any connected graph of n vertices. The game arises from the well-known chip-firing game when the usual relation of equivalence defined on the set of all configurations is replaced by a suitable partial order. The set all firing sequences of length m that the player is allowed to perform in the Yamanouchi toppling game is shown to be in bijection with all standard Young tableaux whose shape is a partition of the integer m with at most n-1 parts. The set of all configurations that a player can obtain from a starting configuration is encoded in a suitable formal power series. When the graph is the simple path and each monomial of the series is replaced by a suitable Schur polynomial, we prove that such a series reduces to Hall-Littlewod symmetric polynomials. The same series provides a combinatorial description of orthogonal polynomials when the monomials are replaced by products of moments suitably modified.
Convolutions of Tribonacci, Fuss-Catalan, and Motzkin sequences
Published in Fibonacci Quart. 52 (2014), no. 5, 54-60
• View Publication
• BIB
We introduce a class of sequences, defined by means of partial Bell polynomials, that contains a basis for the space of linear recurrence sequences with constant coefficients as well as other well-known sequences like Catalan and Motzkin. For the family of `Bell sequences' considered in this paper, we give a general multifold convolution formula and illustrate our result with a few explicit examples.
Combinatorial covers and vanishing of cohomology
Published in Selecta Mathematica 22 (2016), no. 2, 561-594
• View Publication
• BIB
We use a Mayer-Vietoris-like spectral sequence to establish vanishing results for the cohomology of complements of linear and elliptic hyperplane arrangements, as part of a more general framework involving duality and abelian duality properties of spaces and groups. In the process, we consider cohomology of local systems with a general, Cohen-Macaulay-type condition. As a result, we recover known vanishing theorems for rank-1 local systems as well as group ring coefficients, and obtain new generalizations.
Langford sequences and a product of digraphs
Published
• View Publication
• BIB
Skolem and Langford sequences and their many generalizations have applications in numerous areas. The $\otimes_h$-product is a generalization of the direct product of digraphs. In this paper we use the $\otimes_h$-product and super edge-magic digraphs to construct an exponential number of Langford sequences with certain order and defect. We also apply this procedure to extended Skolem sequences.
A Baxter class of a different kind, and other bijective results using tableau sequences ending with a row shape
Published
• View Publication
• BIB
Tableau sequences of bounded height have been central to the analysis of k-noncrossing set partitions and matchings. We show here that familes of sequences that end with a row shape are particularly compelling and lead to some interesting connections. First, we prove that hesitating tableaux of height at most two ending with a row shape are counted by Baxter numbers. This permits us to define three new Baxter classes which, remarkably, do not obviously possess the antipodal symmetry of other known Baxter classes. We then conjecture that oscillating tableau of height bounded by k ending in a row are in bijection with Young tableaux of bounded height 2k. We prove this conjecture for k at most eight by a generating function analysis. Many of our proofs are analytic in nature, so there are intriguing combinatorial bijections to be found.
Combinatorial families of multilabelled increasing trees and hook-length formulas
Published
• View Publication
• BIB
In this work we introduce and study various generalizations of the notion of increasingly labelled trees, where the label of a child node is always larger than the label of its parent node, to multilabelled tree families, where the nodes in the tree can get multiple labels. For all tree classes we show characterizations of suitable generating functions for the tree enumeration sequence via differential equations. Furthermore, for several combinatorial classes of multilabelled increasing tree families we present explicit enumeration results. We also present multilabelled increasing tree families of an elliptic nature, where the exponential generating function can be expressed in terms of the Weierstrass-p function or the lemniscate sine function. Furthermore, we show how to translate enumeration formulas for multilabelled increasing trees into hook-length formulas for trees and present a general "reverse engineering" method to discover hook-length formulas associated to such tree families.
Existence proofs in combinatorics using independence
Published in Mat. Prosveschenie, 19 (2015)
• Search Publication
This note is purely expository and is in Russian. We show how to prove interesting combinatorial results using the local Lovasz lemma. The note is accessible for students having basic knowledge of combinatorics; the notion of independence is defined and the Lovasz lemma is stated and proved. Our exposition follows `Probabilistic methods' of N. Alon and J. Spencer. The main difference is that we show how the proof could have been invented. The material is presented as a sequence of problems, which is peculiar not only to Zen monasteries but also to advanced mathematical education; most problems are presented with hints or solutions.
Partially user-irrepressible sequence sets and conflict-avoiding codes
Published in Des. Codes Cryptogr. (2016) 78:679-691
• View Publication
• BIB
In this paper we give a partial shift version of user-irrepressible sequence sets and conflict-avoiding codes. By means of disjoint difference sets, we obtain an infinite number of such user-irrepressible sequence sets whose lengths are shorter than known results in general. Subsequently, the newly defined partially conflict-avoiding codes are discussed.
Doob--Martin boundary of Rémy's tree growth chain
Published in Ann. Probab. 45 (2017), 225-277
• View Publication
• BIB
Rémy's algorithm is a Markov chain that iteratively generates a sequence of random trees in such a way that the $n^{\mathrm{th}}$ tree is uniformly distributed over the set of rooted, planar, binary trees with $2n+1$ vertices. We obtain a concrete characterization of the Doob--Martin boundary of this transient Markov chain and thereby delineate all the ways in which, loosely speaking, this process can be conditioned to "go to infinity" at large times. A (deterministic) sequence of finite rooted, planar, binary trees converges to a point in the boundary if for each $m$ the random rooted, planar, binary tree spanned by $m+1$ leaves chosen uniformly at random from the $n^{\mathrm{th}}$ tree in the sequence converges in distribution as $n$ tends to infinity -- a notion of convergence that is analogous to one that appears in the recently developed theory of graph limits.
We show that a point in the Doob--Martin boundary may be identified with the following ensemble of objects: a complete separable $\mathbb{R}$-tree that is rooted and binary in a suitable sense, a diffuse probability measure on the $\mathbb{R}$-tree that allows us to make sense of sampling points from it, and a kernel on the $\mathbb{R}$-tree that describes the probability that the first of a given pair of points is below and to the left of their most recent common ancestor while the second is below and to the right. The Doob--Martin boundary corresponds bijectively to the set of extreme points of the closed convex set of normalized nonnegative harmonic functions, in other words, the minimal and full Doob--Martin boundaries coincide. These results are in the spirit of the identification of graphons as limit objects in the theory of graph limits.
Length distribution of sequencing by synthesis: fixed flow cycle model
Published in Journal of mathematical biology 67 (2), 389-410, 2013
• View Publication
• BIB
Sequencing by synthesis is the underlying technology for many next-generation DNA sequencing platforms. We developed a new model, the fixed flow cycle model, to derive the distributions of sequence length for a given number of flow cycles under the general conditions where the nucleotide incorporation is probabilistic and may be incomplete, as in some single-molecule sequencing technologies. Unlike the previous model, the new model yields the probability distribution for the sequence length. Explicit closed form formulas are derived for the mean and variance of the distribution.
Statistical distributions of pyrosequencing
Published in Journal of Computational Biology 16 (1), 31-42, 2009
• View Publication
• BIB
Pyrosequencing is emerging as one of the important next-generation sequencing technologies. We derive the statistical distributions of this technique in terms of nucleotide probabilities of the target sequences. We give exact distributions both for fixed number of flow cycles and for fixed sequence length. Explicit formulas are derived for the mean and variance of these distributions. In both cases, the distributions can be approximated accurately by normal distributions with the same mean and variance. The statistical distributions will be useful for instrument and software development for pyrosequencing platforms.
Statistical distributions of sequencing by synthesis with probabilistic nucleotide incorporation
Published in Journal of Computational Biology. June 2009, 16(6): 817-827
• View Publication
• BIB
Sequencing by synthesis is used in many next-generation DNA sequencing technologies. Some of the technologies, especially those exploring the principle of single-molecule sequencing, allow incomplete nucleotide incorporation in each cycle. We derive statistical distributions for sequencing by synthesis by taking into account the possibility that nucleotide incorporation may not be complete in each flow cycle. The statistical distributions are expressed in terms of nucleotide probabilities of the target sequences and the nucleotide incorporation probabilities for each nucleotide. We give exact distributions both for fixed number of flow cycles and for fixed sequence length. Explicit formulas are derived for the mean and variance of these distributions. The results are generalizations of our previous work for pyrosequencing. Incomplete nucleotide incorporation leads to significant change in the mean and variance of the distributions, but still they can be approximated by normal distributions with the same mean and variance. The results are also generalized to handle sequence context dependent incorporation. The statistical distributions will be useful for instrument and software development for sequencing by synthesis platforms.
Distributions of positive signals in pyrosequencing
Published in Journal of mathematical biology 69 (1), 39-54, 2014
• View Publication
• BIB
Pyrosequencing is one of the important next-generation sequencing technologies. We derive the distribution of the number of positive signals in pyrograms of this sequencing technology as a function of flow cycle numbers and nucleotide probabilities of the target sequences. As for the distribution of sequence length, we also derive the distribution of positive signals for the fixed flow cycle model. Explicit formulas are derived for the mean and variance of the distributions. A simple result for the mean of the distribution is that the mean number of positive signals in a pyrogram is approximately twice the number of flow cycles, regardless of nucleotide probabilities. The statistical distributions will be useful for instrument and software development for pyrosequencing and other related platforms.
Frustrated Triangles
Published
• View Publication
• BIB
A triple of vertices in a graph is a \emph{frustrated triangle} if it induces an odd number of edges. We study the set $F_n\subset[0,\binom{n}{3}]$ of possible number of frustrated triangles $f(G)$ in a graph $G$ on $n$ vertices. We prove that about two thirds of the numbers in $[0,n^{3/2}]$ cannot appear in $F_n$, and we characterise the graphs $G$ with $f(G)\in[0,n^{3/2}]$. More precisely, our main result is that, for each $n\geq 3$, $F_n$ contains two interlacing sequences $0=a_0\leq b_0\leq a_1\leq b_1\leq \dots \leq a_m\leq b_m\sim n^{3/2}$ such that $F_n\cap(b_t,a_{t+1})=\emptyset$ for all $t$, where the gaps are $|b_t-a_{t+1}|=(n-2)-t(t+1)$ and $|a_t-b_t|=t(t-1)$. Moreover, $f(G)\in[a_t,b_t]$ if and only if $G$ can be obtained from a complete bipartite graph by flipping exactly $t$ edges/nonedges. On the other hand, we show, for all $n$ sufficiently large, that if $m\in[f(n),\binom{n}{3}-f(n)]$, then $m\in F_n$ where $f(n)$ is asymptotically best possible with $f(n)\sim n^{3/2}$ for $n$ even and $f(n)\sim \sqrt{2}n^{3/2}$ for $n$ odd. Furthermore, we determine the graphs with the minimum number of frustrated triangles amongst those with $n$ vertices and $e\leq n^2/4$ edges.
Odd behavior in the coefficients of reciprocals of binary power series
Published
• View Publication
• BIB
Let $\mathcal{A}$ be a finite subset of $\mathbb{N}$ including $0$ and $f_\mathcal{A}(n)$ be the number of ways to write $n=\sum_{i=0}^{\infty}ε_i2^i$, where $ε_i\in\mathcal{A}$. The sequence $\left(f_\mathcal{A}(n)\right) \bmod 2$ is always periodic, and $f_\mathcal{A}(n)$ is typically more often even than odd. We give four families of sets $\left(\mathcal{A}_m\right)$ with $\left|\mathcal{A}_m\right|=4$ such that the proportion of odd $f_{\mathcal{A}_m}(n)$'s goes to $1$ as $m\to\infty$.
A structure theorem for strong immersions
A graph H is strongly immersed in G if H is obtained from G by a sequence of vertex splittings (i.e., lifting some pairs of incident edges and removing the vertex) and edge removals. Equivalently, vertices of H are mapped to distinct vertices of G (branch vertices) and edges of H are mapped to pairwise edge-disjoint paths in G, each of them joining the branch vertices corresponding to the ends of the edge and not containing any other branch vertices. We describe the structure of graphs avoiding a fixed graph as a strong immersion.
Codes for DNA Storage Channels
Published
• View Publication
• BIB
We consider the problem of assembling a sequence based on a collection of its substrings observed through a noisy channel. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on a collection of their substrings observed through a noisy channel. We explain the connection between the sequence reconstruction problem and the problem of DNA synthesis and sequencing, and introduce the notion of a DNA storage channel. We analyze the number of sequence equivalence classes under the channel mapping and propose new asymmetric coding techniques to combat the effects of synthesis and sequencing noise. In our analysis, we make use of restricted de Bruijn graphs and Ehrhart theory for rational polytopes.
On Weak Hamiltonicity of a Random Hypergraph
A {\it weak (Berge) cycle} is an alternating sequence of vertices and (hyper)edges $C=(v_0, e_1, v_1, ..., v_{\ell-1}, e_\ell, v_{\ell}=v_0)$ such that the vertices $v_0, ..., v_{\ell-1}$ are distinct with $v_k, v_{k+1} \in e_{k}$ for each $k$, but the edges $e_1, ..., e_\ell$ are not necessarily distinct. We prove that the main barrier to the random $d$-uniform hypergraph $H_d(n,p),$ where each of the potential edges of cardinality $d$ is present with probability $p$, developing a weak Hamilton cycle is the presence of isolated vertices. In particular, for $d \geq 3$ fixed and $p=(d-1)! \frac{\ln n + c}{n^{d-1}}$, the probability that $H_d(n, p)$ has a weak Hamilton cycle tends to $e^{-e^{-c}}$, which is also the limiting probability that $H_d(n,p)$ has no isolated vertices. As a consequence, the probability that the random hypergraph $H_d(n, m=\frac{n(\ln n + c)}{d}),$ where $m$ potential edges are chosen uniformly at random to be present, is weak Hamiltonian also tends to $e^{-e^{-c}}$.