sequence
7073 papers tagged with this keyword
On the accuracy of ancestral sequence reconstruction for ultrametric trees with parsimony
Published
• View Publication
• BIB
We examine a mathematical question concerning the reconstruction accuracy of the Fitch algorithm for reconstructing the ancestral sequence of the most recent common ancestor given a phylogenetic tree and sequence data for all taxa under consideration. In particular, for the symmetric 4-state substitution model which is also known as Jukes-Cantor model, we answer affirmatively a conjecture of Li, Steel and Zhang which states that for any ultrametric phylogenetic tree and a symmetric model, the Fitch parsimony method using all terminal taxa is more accurate, or at least as accurate, for ancestral state reconstruction than using any particular terminal taxon or any particular pair of taxa. This conjecture had so far only been answered for two-state data by Fischer and Thatte. Here, we focus on answering the biologically more relevant case with four states, which corresponds to ancestral sequence reconstruction from DNA or RNA data.
Block partitions: an extended view
Given a sequence $S=(s_1,\dots,s_m) \in [0, 1]^m$, a block $B$ of $S$ is a subsequence $B=(s_i,s_{i+1},\dots,s_j)$. The size $b$ of a block $B$ is the sum of its elements. It is proved in [1] that for each positive integer $n$, there is a partition of $S$ into $n$ blocks $B_1, \dots , B_n$ with $|b_i - b_j| \le 1$ for every $i, j$. In this paper, we consider a generalization of the problem in higher dimensions.
On the statistical inconsistency of Maximum Parsimony for $k$-tuple-site data
Published
• View Publication
• BIB
One of the main aims of phylogenetics is to reconstruct the \enquote{Tree of Life}. In this respect, different methods and criteria are used to analyze DNA sequences of different species and to compare them in order to derive the evolutionary relationships of these species. Maximum Parsimony is one such criterion for tree reconstruction and, it is the one which we will use in this paper. However, it is well-known that tree reconstruction methods can lead to wrong relationship estimates. One typical problem of Maximum Parsimony is long branch attraction, which can lead to statistical inconsistency. In this work, we will consider a blockwise approach to alignment analysis, namely so-called $k$-tuple analyses. For four taxa it has already been shown that $k$-tuple-based analyses are statistically inconsistent if and only if the standard character-based (site-based) analyses are statistically inconsistent. So, in the four-taxon case, going from individual sites to $k$-tuples does not lead to any improvement. However, real biological analyses often consider more than only four taxa. Therefore, we analyze the case of five taxa for $2$- and $3$-tuple-site data and consider alphabets with two and four elements. We show that the equivalence of single-site data and $k$-tuple-site data then no longer holds. Even so, we can show that Maximum Parsimony is statistically inconsistent for $k$-tuple site data and five taxa.
Substitution-based structures with absolutely continuous spectrum
Published in Indagationes Mathematicae 29 (2018) 1072-1086
• View Publication
• BIB
By generalising Rudin's construction of an aperiodic sequence, we derive new substitution-based structures which have purely absolutely continuous diffraction and mixed dynamical spectrum, with absolutely continuous and pure point parts. We discuss several examples, including a construction based on Fourier matrices which yields constant-length substitutions for any length.
Character Values of Stanley Sequences
Stanley and Odlyzko proposed a method for greedily constructing sets with no 3-term arithmetic progressions. It is conjectured that there is a dichotomy between such sequences: those that have a periodic structure as the sequence satisfies certain recurrence relations while others appear to be chaotic. One large class of sequences that have these periodic behaviors are known as independent sequences that have two parameters, a character and a growth factor. It was conjectured by Rolnick that all but a finite set of integers can be achieved as characters of a independent sequences. Previously the only large class of integers known to be characters where those with base 3 representations consisting solely of the digits 0 and 2. This paper dramatically improves this result by demonstrating that all even integers not congruent to 244 mod 486 can be achieved as characters, therefore demonstrating that the set of all characters has a positive lower density.
On the Maximum Size of Block Codes Subject to a Distance Criterion
Published
• View Publication
• BIB
We establish a general formula for the maximum size of finite length block codes with minimum pairwise distance no less than $d$. The achievability argument involves an iterative construction of a set of radius-$d$ balls, each centered at a codeword. We demonstrate that the number of such balls that cover the entire code alphabet cannot exceed this maximum size. Our approach can be applied to codes $i)$ with elements over arbitrary code alphabets, and $ii)$ under a broad class of distance measures, thereby ensuring the generality of our formula. Our formula indicates that the maximum code size can be fully characterized by the cumulative distribution function of the distance measure evaluated at two independent and identically distributed random codewords. When the two random codewords assume a uniform distribution over the entire code alphabet, our formula recovers and obtains a natural generalization of the Gilbert-Varshamov (GV) lower bound. We also establish a general formula for the zero-error capacity of any sequence of channels. Finally, we extend our study to the asymptotic setting, where we establish first- and second-order bounds on the asymptotic code rate subject to a normalized minimum distance constraint.
Edge Erasures and Chordal Graphs
Published
• View Publication
• BIB
We prove several results about chordal graphs and weighted chordal graphs by focusing on exposed edges. These are edges that are properly contained in a single maximal complete subgraph. This leads to a characterization of chordal graphs via deletions of a sequence of exposed edges from a complete graph. Most interesting is that in this context the connected components of the edge-induced subgraph of exposed edges are 2-edge connected. We use this latter fact in the weighted case to give a modified version of Kruskal's second algorithm for finding a minimum spanning tree in a weighted chordal graph. This modified algorithm benefits from being local in an important sense.
Optimization over Degree Sequences
Published in SIAM Journal on Discrete Mathematics, 32:2067--2079, 2018
• View Publication
• BIB
We introduce and study the problem of optimizing arbitrary functions over degree sequences of hypergraphs and multihypergraphs. We show that over multihypergraphs the problem can be solved in polynomial time. For hypergraphs, we show that deciding if a given sequence is the degree sequence of a 3-hypergraph is NP-complete, thereby solving a 30 year long open problem. This implies that optimization over hypergraphs is hard already for simple concave functions. In contrast, we show that for graphs, if the functions at vertices are the same, then the problem is polynomial time solvable. We also provide positive results for convex optimization over multihypergraphs and graphs and exploit connections to degree sequence polytopes and threshold graphs. We then elaborate on connections to the emerging theory of shifted combinatorial optimization.
Star of David and other patterns in the Hosoya-like polynomials triangles
In this paper we first generalize the numerical recurrence relation given by Hosoya to polynomials. Using this generalization we construct a Hosoya-like triangle for polynomials, where its entries are products of generalized Fibonacci polynomials (GFP). Examples of GFP are: Fibonacci polynomials, Chebyshev polynomials, Morgan-Voyce polynomials, Lucas polynomials, Pell polynomials, Fermat polynomials, Jacobsthal polynomials, Vieta polynomials and other familiar sequences of polynomials. For every choice of a GFP we obtain a triangular array of polynomials. In this paper we extend the star of David property, also called the Hoggatt-Hansell identity, to this type of triangles. We also establish the star of David property in the gibonomial triangle. In addition, we study other geometric patterns in these triangles and as a consequence we give geometric interpretations for the Cassini's identity, Catalan's identity, and other identities for Fibonacci polynomials.
Structural properties of subadditive families with applications to factorization theory
Published in Israel J. Math., Vol. 234, No. 1 (2019), 1-35
• View Publication
• BIB
Let $H$ be a multiplicatively written monoid. Given $k\in{\bf N}^+$, we denote by $\mathscr U_k$ the set of all $\ell\in{\bf N}^+$ such that $a_1\cdots a_k=b_1\cdots b_\ell$ for some atoms $a_1,\ldots,a_k,b_1,\ldots,b_\ell\in H$. The sets $\mathscr U_k$ are one of the most fundamental invariants studied in the theory of non-unique factorization, and understanding their structure is a basic problem in the field: In particular, it is known that, in many cases of interest, these sets are almost arithmetic progressions with the same difference and bound for all large $k$, namely, $H$ satisfies the Structure Theorem for Unions. The present paper improves the current state of the art on this problem.
More precisely, we show that, under mild assumptions on $H$, not only does the Structure Theorem for Unions hold, but there also exists $μ\in{\bf N}^+$ such that, for every $M\in{\bf N}$, the sequences $$ \bigl((\mathscr U_k-\inf\mathscr U_k)\cap[\![0,M]\!]\bigr)_{k\ge 1} \quad\text{and}\quad \bigl((\sup\mathscr U_k-\mathscr U_k)\cap[\![0,M]\!]\bigr)_{k\ge 1} $$ are $μ$-periodic from some point on. The result applies, e.g., to (the multiplicative monoid of) all commutative Krull domains (e.g., Dedekind domains) with finite class group; a variety of weakly Krull commutative domains (including all orders in number fields with finite elasticity); some maximal orders in central simple algebras over global fields; and all numerical monoids.
Large parts of the proofs are worked out in a "purely additive model", by inquiring into the properties of what we call a subadditive family, i.e., a collection $\mathscr L$ of subsets of $\bf N$ such that, for all $L_1,L_2\in\mathscr L$, there is $L\in\mathscr L$ with $L_1+L_2\subseteq L$.
Growth Diagrams and Minuscule Polygon Configurations in the Affine Grassmannian
We define affine growth diagrams consisting of $GL_m$ dominant weights that label the vertices of a staircase-shaped grid. These are also called cylindrical growth diagrams as defined by Speyer and White in the case of partitions. The weights labelling each adjacent pair of vertices differ by a vertical strip and the weights around each unit square satisfy a local condition that appeared in van Leeuwen's work on the Littelmann path model for crystals.
We prove two main results. For a sequence of minuscule weights $\vecλ=(λ^1,\ldots,λ^n)$ let Poly$(\vecλ)$ denote the configuration space of $n$-tuples of points $(g_1,\ldots,g_n)$ in the affine Grassmannian such that the weight-valued distances satisfy $d(g_i,g_{i+1})=λ^i$. This is the convolution variety arising in the geometric Satake correspondence. We show that for a generic point $(g_1,\ldots,g_n)$ of a component the distances $d(g_i,g_j)$ form an affine growth diagram and that this gives a bijection between components of Poly$(\vecλ)$ and affine growth diagrams of type $\vecλ$. The main tool used in the proof is the Knutson--Tao hive.
In the second part, we give a purely combinatorial construction of affine growth diagrams from natural number entries by applying Greene's theorem to certain subrectangles of the staircase. From this construction it follows that affine growth diagrams contain the classical Fomin growth diagrams and realize the RS-correspondence when $\vecλ=(ω_1,\ldots,ω_1,ω_1^*,\ldots,ω_1^*)$.
Pascal Eigenspaces and Invariant Sequences of the First or Second Kind
Published
• View Publication
• BIB
An infinite real sequence $\{a_n\}$ is called an invariant sequence of the first (resp., second) kind if $a_n=\sum_{k=0}^n {n \choose k} (-1)^k a_k$ (resp., $a_n=\sum_{k=n}^{\infty} {k \choose n} (-1)^k a_k$). We review and investigate invariant sequences of the first and second kinds, and study their relationships using similarities of Pascal-type matrices and their eigenspaces.
Progressions and Paths in Colorings of $\mathbb Z$
A $\textit{ladder}$ is a set $S \subseteq \mathbb Z^+$ such that any finite coloring of $\mathbb Z$ contains arbitrarily long monochromatic progressions with common difference in $S$. Van der Waerden's theorem famously asserts that $\mathbb Z^+$ itself is a ladder. We also discuss variants of ladders, namely $\textit{accessible}$ and $\textit{walkable}$ sets, which are sets $S$ such that any coloring of $\mathbb Z$ contains arbitrarily long (for accessible sets) or infinite (for walkable sets) monochromatic sequences with consecutive differences in $S$. We show that sets with upper density 1 are ladders and walkable. We also show that all directed graphs with infinite chromatic number are accessible, and reduce the bound on the walkability order of sparse sets from 3 to 2, making it tight.
On the heapability of finite partial orders
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Combinatorics (June 29, 2020) dmtcs:4510
• View Publication
• BIB
We investigate the partitioning of partial orders into a minimal number of heapable subsets. We prove a characterization result reminiscent of the proof of Dilworth's theorem, which yields as a byproduct a flow-based algorithm for computing such a minimal decomposition. On the other hand, in the particular case of sets and sequences of intervals we prove that this minimal decomposition can be computed by a simple greedy-type algorithm. The paper ends with a couple of open problems related to the analog of the Ulam-Hammersley problem for decompositions of sets and sequences of random intervals into heapable sets.
The star sequence and the general first Zagreb index
Published in ko, The star sequence and the general first Zagreb index MATCH Communications in Mathematical and in Computer Chemistry,Volume 79 (2018), number 2, pp. 407-414
• Search Publication
For a simple graph, we introduce a notion of the star sequence and prove that the star sequence and the frequently sequences of a graph are inverses of each other from a combinatorial point of view. As a consequence, we express the general first Zagreb index in terms of the star sequence. Also, we calculate the ordinary generating function and find a linear recurrence relation for the sequence of the general first Zagreb indexes.
Woon's tree and sums over compositions
This article studies sums over all compositions of an integer. We derive a generating function for this quantity, and apply it to several special functions, including various generalized Bernoulli numbers. We connect composition sums with a recursive tree introduced by S.G. Woon and extended by P. Fuchs under the name "general PI tree", in which an output sequence $\{x_n\}$ is associated to the input sequence $\{g_n\}$ by summing over each row of the tree built from $\{g_n\}$. Our link with the notion of compositions allows to introduce a modification of Fuchs' tree that takes into account nonlinear transforms of the generating function of the input sequence. We also introduce the notion of \textit{generalized sums over compositions}, where we look at composition sums over each part of a composition.
Chomp on numerical semigroups
Published
• View Publication
• BIB
We consider the two-player game chomp on posets associated to numerical semigroups and show that the analysis of strategies for chomp is strongly related to classical properties of semigroups. We characterize, which player has a winning-strategy for symmetric semigroups, semigroups of maximal embedding dimension and several families of numerical semigroups generated by arithmetic sequences. Furthermore, we show that which player wins on a given numerical semigroup is a decidable question. Finally, we extend several of our results to the more general setting of subsemigroups of $\mathbb{N} \times T$, where $T$ is a finite abelian group.
Vertex transitive graphs $G$ with $χ_D(G) > χ(G)$ and small automorphism group
Published
• View Publication
• BIB
For a graph $G$ and a positive integer $k$, a vertex labelling $f:V(G)\to\{1,2\ldots,k\}$ is said to be $k$-distinguishing if no non-trivial automorphism of $G$ preserves the sets $f^{-1}(i)$ for each $i\in\{1,\ldots,k\}$. The distinguishing chromatic number of a graph $G$, denoted $χ_D(G)$, is defined as the minimum $k$ such that there is a $k$-distinguishing labelling of $V(G)$ which is also a proper coloring of the vertices of $G$. In this paper, we prove the following theorem: Given $k\in\mathbb{N}$, there exists an infinite sequence of vertex-transitive graphs $G_{i}=(V_i,E_i)$ such that $χ_D(G_i)>χ(G_i)>k$ and $|\mathrm{Aut}(G_i)|=O_k(|V_i|)$, where $\mathrm{Aut}(G_i)$ denotes the full automorphism group of $G_i$. In particular, this answers a problem raised in the paper $χ_D(G)$, $|\mathrm{Aut}(G)|$ and a variant of the Motion lemma.
Hilbert series for twisted commutative algebras
Published in Algebraic Combinatorics 1 (2018), no. 1, 147-172
• View Publication
• BIB
Suppose that for each n >= 0 we have a representation $M_n$ of the symmetric group S_n. Such sequences arise in a wide variety of contexts, and often exhibit uniformity in some way. We prove a number of general results along these lines in this paper: our prototypical theorem states that if $M_n$ can be given a suitable module structure over a twisted commutative algebra then the sequence $M_n$ follows a predictable pattern. We phrase these results precisely in the language of Hilbert series (or Poincaré series, or formal characters) of modules over tca's.
Counting Subwords Occurrences in Base-b Expansions
Published in Integers 18A (2018), no. A13, 32 pp
• Search Publication
We count the number of distinct (scattered) subwords occurring in the base-b expansion of the non-negative integers. More precisely, we consider the sequence $(S_b(n))_{n\ge 0}$ counting the number of positive entries on each row of a generalization of the Pascal triangle to binomial coefficients of base-$b$ expansions. By using a convenient tree structure, we provide recurrence relations for $(S_b(n))_{n\ge 0}$ leading to the $b$-regularity of the latter sequence. Then we deduce the asymptotics of the summatory function of the sequence $(S_b(n))_{n\ge 0}$.