sequence
7073 papers tagged with this keyword
Output sum of transducers: Limiting distribution and periodic fluctuation
Published in Electron. J. Combin. 22 (2015), no. 2, 1-53
• View Publication
• BIB
As a generalization of the sum of digits function and other digital sequences, sequences defined as the sum of the output of a transducer are asymptotically analyzed. The input of the transducer is a random integer in $[0, N)$. Analogues in higher dimensions are also considered. Sequences defined by a certain class of recursions can be written in this framework.
Depending on properties of the transducer, the main term, the periodic fluctuation and an error term of the expected value and the variance of this sequence are established. The periodic fluctuation of the expected value is Hölder continuous and, in many cases, nowhere differentiable. A general formula for the Fourier coefficients of this periodic function is derived. Furthermore, it turns out that the sequence is asymptotically normally distributed for many transducers. As an example, the abelian complexity function of the paperfolding sequence is analyzed. This sequence has recently been studied by Madill and Rampersad.
Minimizing Wiener Index for Vertex-Weighted Trees with Given Weight and Degree Sequences
Published in MATCH Commun. Math. Comput. Chem., Volume 75 (2016) number 1, pp. 3-27
• Search Publication
In 1997 Klavžar and Gutman suggested a generalization of the Wiener index to vertex-weighted graphs. We minimize the Wiener index over the set of trees with the given vertex weights' and degrees' sequences and show an optimal tree to be the, so-called, Huffman tree built in a bottom-up manner by sequentially connecting vertices of the least weights.
Asymptotic properties of biorthogonal polynomials systems related to Hermite and Laguerre polynomials
In this paper, the structures to a family of biorthogonal polynomials that approximate to the Hermite and Generalized Laguerre polynomials are discussed respectively. Therefore, the asymptotic relation between several orthogonal polynomials and combinatorial polynomials are derived from the systems, which in turn verify the Askey scheme of hypergeometric orthogonal polynomials. As the applications of these properties, the asymptotic representations of the generalized Buchholz, Laguerre, Ultraspherical(Gegenbauer), Bernoulli, Euler, Meixner and Meixner-Pllaczekare polynomials are derived from the theorems directly. The relationship between Bernoulli and Euler polynomials are shown as a special case of the characterization theorem of the Appell sequence generated by $α$ scaling functions.
Codes for DNA Sequence Profiles
Published
• View Publication
• BIB
We consider the problem of storing and retrieving information from synthetic DNA media. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on their collection of substrings observed through a noisy channel. This problem of reconstructing sequences from traces was first investigated in the noiseless setting under the name of "Markov type" analysis. Here, we explain the connection between the 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.
Large subsets of discrete hypersurfaces in $\mathbb{Z}^d$ contain arbitrarily many collinear points
Published in European Journal of Combinatorics, Volume 54, May 2016, Pages 163--176
• View Publication
• BIB
In 1977 L.T. Ramsey showed that any sequence in $\mathbb{Z}^2$ with bounded gaps contains arbitrarily many collinear points. Thereafter, in 1980, C. Pomerance provided a density version of this result, relaxing the condition on the sequence from having bounded gaps to having gaps bounded on average. We give a higher dimensional generalization of these results. Our main theorem is the following.
Theorem: Let $d\in\mathbb{N}$, let $f:\mathbb{Z}^d\to\mathbb{Z}^{d+1}$ be a Lipschitz map and let $A\subset\mathbb{Z}^d$ have positive upper Banach density. Then $f(A)$ contains arbitrarily many collinear points.
Note that Pomerance's theorem corresponds to the special case $d=1$. In our proof, we transfer the problem from a discrete to a continuous setting, allowing us to take advantage of analytic and measure theoretic tools such as Rademacher's theorem.
Locally standard torus actions and h'-vectors of simplicial posets
Published in J. Math. Soc. Japan 68:4 (2016), 1-21
• View Publication
• BIB
We consider the orbit type filtration on a manifold $X$ with locally standard action of a compact torus and the corresponding homological spectral sequence $(E_X)^r_{*,*}$. If all proper faces of the orbit space $Q=X/T$ are acyclic, and the free part of the action is trivial, this spectral sequence can be described in full. The ranks of diagonal terms are equal to the $h'$-numbers of the Buchsbaum simplicial poset $S_Q$ dual to $Q$. Betti numbers of $X$ depend only on the orbit space $Q$ but not on the characteristic function. If $X$ is a slightly different object, namely the model space $X=(P\times T^n)/\sim$ where $P$ is a cone over Buchsbaum simplicial poset $S$, we prove that $\dim (E_X)^{\infty}_{p,p} = h''_p(S)$. This gives a topological evidence for the fact that $h''$-numbers of Buchsbaum simplicial posets are nonnegative.
Zigzag diagrams and Martin boundary
Published in Ann. Probab., Volume 46, Number 5 (2018), 2562-2620
• View Publication
• BIB
We investigate the asymptotic behavior of random paths on a graded graph which describes the subword order for words in two letters. This graph, denoted by $\mathcal{Z}$, has been introduced by Viennot, who also discovered a remarkable bijection between paths on $\mathcal{Z}$ and sequences of permutations. Later on, Gnedin and Olshanski used this bijection to describe the set of Gibbs measures on this graph. Both authors also conjectured that the Martin boundary of $\mathcal{Z}$ should coincide with its minimal boundary. We give here a proof of this conjecture by describing the distribution of a large random path conditioned on having a prescribed endpoint. We also relate paths on the graph Z with paths on the Young lattice, and we finally give a central limit theorem for the Plancherel measure on the set of paths in $\mathcal{Z}$.
First order convergence of matroids
The model theory based notion of the first order convergence unifies the notions of the left-convergence for dense structures and the Benjamini-Schramm convergence for sparse structures. It is known that every first order convergent sequence of graphs with bounded tree-depth can be represented by an analytic limit object called a limit modeling. We establish the matroid counterpart of this result: every first order convergent sequence of matroids with bounded branch-depth representable over a fixed finite field has a limit modeling, i.e., there exists an infinite matroid with the elements forming a probability space that has asymptotically the same first order properties. We show that neither of the bounded branch-depth assumption nor the representability assumption can be removed.
Iterated claws have real-rooted genus polynomials
Published
• View Publication
• BIB
We prove that the genus polynomials of the graphs called iterated claws are real-rooted. This continues our work directed toward the 25-year-old conjecture that the genus distribution of every graph is log-concave. We have previously established log-concavity for sequences of graphs constructed by iterative vertex-amalgamation or iterative edge-amalgamation of graphs that satisfy a commonly observable condition on their partitioned genus distributions, even though it had been proved previously that iterative amalgamation does not always preserve real-rootedness of the genus polynomial of the iterated graph. In this paper, the iterated topological operations are adding a claw and adding a 3-cycle, rather than vertex- or edge-amalgamation. Our analysis here illustrates some advantages of employing a matrix representation of the transposition of a set of productions.
Root geometry of polynomial sequences I: Type $(0,1)$
This paper is concerned with the distribution in the complex plane of the roots of a polynomial sequence $\{W_n(x)\}_{n\ge0}$ given by a recursion $W_n(x)=aW_{n-1}(x)+(bx+c)W_{n-2}(x)$, with $W_0(x)=1$ and $W_1(x)=t(x-r)$, where $a>0$, $b>0$, and $c,t,r\in\mathbb{R}$. Our results include proof of the distinct-real-rootedness of every such polynomial $W_n(x)$, derivation of the best bound for the zero-set $\{x\mid W_n(x)=0\ \text{for some $n\ge1$}\}$, and determination of three precise limit points of this zero-set. Also, we give several applications from combinatorics and topological graph theory.
Barker sequences of odd length
Published
• View Publication
• BIB
A Barker sequence is a binary sequence for which all nontrivial aperiodic autocorrelations are at most 1 in magnitude. An old conjecture due to Turyn asserts that there is no Barker sequence of length greater than 13. In 1961, Turyn and Storer gave an elementary, though somewhat complicated, proof that this conjecture holds for odd lengths. We give a new and simpler proof of this result.
A $q$-analogue of the Biperiodic Fibonacci Sequence
The Fibonacci sequence has been generalized in many ways. One of them is defined by the relation $t_n=at_{n-1}+t_{n-2}$ if $n$ is even, $t_n=bt_{n-1}+t_{n-2}$ if $n$ is odd, with initial values $t_0=0$ and $t_1=1$, where $a$ and $b$ are positive integers. This sequence is called biperiodic Fibonacci sequence. In this paper, we introduce a $q$-analogue of this sequence. We prove several identities of $q$-analogues of the Fibonacci sequence. We give algebraic and combinatorial proofs.
The structure of mirrors on Platonic surfaces
A Platonic surface is a Riemann surface that underlies a regular map and so we can consider its vertices, edge-centres and face-centres. A symmetry (anticonformal involution) of the surface will fix a number of simple closed curves which we call mirrors. These mirrors must pass through the vertices, edge-centres and face-centres in some sequence which we call the pattern of the mirror. Here we investigate these patterns for various well-known families of Platonic surfaces, including genus 1 regular maps, and regular maps on Hurwitz surfaces and Fermat curves. The genesis of this paper is classical. Klein in Section 13 of his famous 1878 paper [11], worked out the pattern of the mirrors on the Klein quartic and Coxeter in his book on regular polytopes worked out the patterns for mirrors on the regular solids. We believe that this topic has not been pursued since then.
Some remarks and conjectures related to lattice paths in strips along the x-axis
In the first part of this paper I give an elementary overview about some number sequences which count various sorts of lattice paths in strips along the x-axis and compute their generating functions in terms of Fibonacci and Lucas polynomials. In the second part I generalize these results by introducing suitable weights and study some special cases in more detail. In the course of this work I have been led to curious number triangles and various conjectures
On the Density of Transitive Tournaments
Published
• View Publication
• BIB
We prove that for every fixed $k$, the number of occurrences of the transitive tournament $Tr_k$ of order $k$ in a tournament $T_n$ on $n$ vertices is asymptotically minimized when $T_n$ is random. In the opposite direction, we show that any sequence of tournaments $\{T_n\}$ achieving this minimum for any fixed $k\geq 4$ is necessarily quasi-random. We present several other characterizations of quasi-random tournaments nicely complementing previously known results and relatively easily following from our proof techniques.
Geometric Progression-Free Sequences with Small Gaps
Published in Journal of Number Theory 151 (2015): 197-210
• View Publication
• BIB
Various authors, including McNew, Nathanson and O'Bryant, have recently studied the maximal asymptotic density of a geometric progression free sequence of positive integers. In this paper we prove the existence of geometric progression free sequences with small gaps, partially answering a question posed originally by Beiglböck et al. Using probabilistic methods we prove the existence of a sequence $T$ not containing any $6$-term geometric progressions such that for any $x\geq1$ and $\varepsilon>0$ the interval $[x,x+C_{\varepsilon}\exp((C+\varepsilon)\log x/\log\log x)]$ contains an element of $T$, where $C=\frac{5}{6}\log2$ and $C_{\varepsilon}>0$ is a constant depending on $\varepsilon$. As an intermediate result we prove a bound on sums of functions of the form $f(n)=\exp(-d_{k}(n))$ in very short intervals, where $d_{k}(n)$ is the number of positive $k$-th powers dividing $n$, using methods similar to those that Filaseta and Trifonov used to prove bounds on the gaps between $k$-th power free integers.
Valid plane trees: Combinatorial models for RNA secondary structures with Watson-Crick base pairs
Published
• View Publication
• BIB
The combinatorics of RNA plays a central role in biology. Mathematical biologists have several commonly-used models for RNA: words in a fixed alphabet (representing the primary sequence of nucleotides) and plane trees (representing the secondary structure, or folding of the RNA sequence). This paper considers an augmented version of the standard model of plane trees, one that incorporates some observed constraints on how the folding can occur. In particular we assume the alphabet consists of complementary pairs, for instance the Watson-Crick pairs A-U and C-G of RNA.
Given a word in the alphabet, a valid plane tree is a tree for which, when the word is folded around the tree, each edge matches two complementary letters. Consider the graph whose vertices are valid plane trees for a fixed word and whose edges are given by Condon, Heitsch, and Hoos's local moves. We prove this graph is connected.
We give an explicit algorithm to construct a valid plane tree from a primary sequence, assuming that at least one valid plane tree exists. The tree produced by our algorithm has other useful characterizations, including a uniqueness condition defined by local moves. We also study enumerative properties of valid plane trees, analyzing how the number of valid plane trees depends on the choice of sequence length and alphabet size. Finally we show that the proportion of words with at least one valid plane tree goes to zero as the word size increases. We also give some open questions.
Distinct parts partitions without sequences
Published
• View Publication
• BIB
Partitions without sequences of consecutive integers as parts have been studied recently by many authors, including Andrews, Holroyd, Liggett, and Romik, among others. Their results include a description of combinatorial properties, hypergeometric representations for the generating functions, and asymptotic formulas for the enumeration functions. We complete a similar investigation of partitions into distinct parts without sequences, which are of particular interest due to their relationship with the Rogers-Ramanujan identities. Our main results include a double series representation for the generating function, an asymptotic formula for the enumeration function, and several combinatorial inequalities.
The Simultaneous Metric Dimension of Graph Families
Published in Discrete Applied Mathematics 198 (2016) 241-250
• View Publication
• BIB
A vertex $v\in V$ is said to resolve two vertices $x$ and $y$ if $d_G(v,x)\ne d_G(v,y)$. A set $S\subset V$ is said to be a metric generator for $G$ if any pair of vertices of $G$ is resolved by some element of $S$. A minimum metric generator is called a metric basis, and its cardinality, $\dim(G)$, the \emph{metric dimension} of $G$. A set $S\subseteq V$ is said to be a simultaneous metric generator for a graph family ${\cal G}=\{G_1,G_2,\ldots,G_k\}$, defined on a common (labeled) vertex set, if it is a metric generator for every graph of the family. A minimum cardinality simultaneous metric generator is called a simultaneous metric basis, and its cardinality the simultaneous metric dimension of ${\cal G}$. We obtain sharp bounds for this invariants for general families of graphs and calculate closed formulae or tight bounds for the simultaneous metric dimension of several specific graph families. For a given graph $G$ we describe a process for obtaining a lower bound on the maximum number of graphs in a family containing $G$ that has simultaneous metric dimension equal to $\dim(G)$. It is shown that the problem of finding the simultaneous metric dimension of families of trees is $NP$-hard. Sharp upper bounds for the simultaneous metric dimension of trees are established. The problem of finding this invariant for families of trees that can be obtained from an initial tree by a sequence of successive edge-exchanges is considered. For such families of trees sharp upper and lower bounds for the simultaneous metric dimension are established.
Proof of Stembridge's conjecture on stability of Kronecker coefficients
Published in J. Algebraic Combin. 43 (2016), no. 1, 1-10
• View Publication
• BIB
We prove a conjecture of Stembridge concerning stability of Kronecker coefficients that vastly generalizes Murnaghan's theorem. The main idea is to identify the sequences of Kronecker coefficients in question with Hilbert functions of modules over finitely generated algebras. The proof only uses Schur-Weyl duality and the Borel-Weil theorem and does not rely on any existing work on Kronecker coefficients.