sequence
6845 papers tagged with this keyword
Positivity Problems for Low-Order Linear Recurrence Sequences
Published
• View Publication
• BIB
We consider two decision problems for linear recurrence sequences (LRS) over the integers, namely the Positivity Problem (are all terms of a given LRS positive?) and the Ultimate Positivity Problem} (are all but finitely many terms of a given LRS positive?). We show decidability of both problems for LRS of order 5 or less, with complexity in the Counting Hierarchy for Positivity, and in polynomial time for Ultimate Positivity. Moreover, we show by way of hardness that extending the decidability of either problem to LRS of order 6 would entail major breakthroughs in analytic number theory, more precisely in the field of Diophantine approximation of transcendental numbers.
Longest common subsequences in binary sequences
Given two {0,1}-sequences X and Y of lengths m and n, respectively, we write L(X,Y) to denote the length of the longest common subsequence (LCS) of X and Y, and write L(m,n) to denote the expected value of L(X,Y) when X and Y are random sequences. We study the value of the function z -> lim L(nz,n)/n (as n -> infinity) and the relation of this function to the outstanding problem of computing the Chvatal-Sankoff constant lim L(n,n)/n.
Random differences in Szemerédi's theorem and related results
Published
• View Publication
• BIB
We introduce a new, elementary method for studying random differences in arithmetic progressions and convergence phenomena along random sequences of integers. We apply our method to obtain significant improvements on previously known results.
Schur's partition theorem and mixed mock modular forms
We study families of partitions with gap conditions that were introduced by Schur and Andrews, and describe their fundamental connections to combinatorial q-series and automorphic forms. In particular, we show that the generating functions for these families naturally lead to deep identities for theta functions and Hickerson's universal mock theta function, which provides a very general answer to Andrews' Conjecture on the modularity of the Schur-type generating function. Furthermore, we also complete the second part of Andrews' speculation by determining the asymptotic behavior of these functions. In particular, we use Wright's Circle Method in order to prove families of asymptotic inequalities in the spirit of the Alder-Andrews Conjecture. As a final application, we prove the striking result that the universal mock theta function can be expressed as a conditional probability in a certain natural probability space with an infinite sequence of independent events.
The maximal order of Stern's diatomic sequence
We answer a question of Calkin and Wilf concerning the maximal order of Stern's diatomic sequence. Specifically, we prove that $$\limsup_{n\to\infty}\frac{a(n)}{\varphi^{\log_2 n}}=\frac{\varphi^{\log_2 3}}{\sqrt{5}},$$ where $\varphi=(\sqrt{5}+1)/2$ is the golden ratio. This improves on previous results given by Berlekamp, Conway, and Guy, who showed that the limit value was bounded above by 1.25, and by Calkin and Wilf, who showed that the exact value was in the interval $[({\varphi}/{\sqrt{5}})({3}/{2})^{\log_2\varphi},(\varphi+1)/{\sqrt{5}}].$
A counterexample to a question of Hof, Knill and Simon
Published in Electronic Journal of Combinatorics 21 (2014) #P3.11
• View Publication
• BIB
In this article, we give a negative answer to a question of Hof, Knill and Simon (1995) concerning purely morphic sequences obtained from primitive morphism containing an infinite number of palindromes. Proven for the binary alphabet by B. Tan in 2007, we show the existence of a counterexample on the ternary alphabet.
Stabilization of coefficients for partition polynomials
Published
• View Publication
• BIB
We find that a wide variety of families of partition statistics stabilize in a fashion similar to $p_k(n)$, the number of partitions of n with k parts, which satisfies $p_k(n) = p_{k+1}(n + 1), k \geq n/2$. We bound the regions of stabilization, discuss variants on the phenomenon, and give the limiting sequence in many cases as the coefficients of a single-variable generating function. Examples include many statistics that have an Euler product form, partitions with prescribed subsums, and plane overpartitions.
Efficiently determining Convergence in Polynomial Recurrence Sequences
We derive the necessary and sufficient condition, for a given Polynomial Recurrence Sequence to converge to a given target rational K. By converge, we mean that the Nth term of the sequence, is equal to K, as N tends to positive infinity. The basic idea of our approach is to construct a univariate polynomial equation in x, whose coefficients correspond to the terms of the Sequence. The approach then obtains the condition by analyzing five cases that cover all possible real values of x. The condition can be evaluated within time that is a polynomial function of the size of the description of the Polynomial Recurrence Sequence, hence convergence or non-convergence can be efficiently determined.
Algorithm and Complexity for a Network Assortativity Measure
We show that finding a graph realization with the minimum Randić index for a given degree sequence is solvable in polynomial time by formulating the problem as a minimum weight perfect b-matching problem. However, the realization found via this reduction is not guaranteed to be connected. Approximating the minimum weight b-matching problem subject to a connectivity constraint is shown to be NP-Hard. For instances in which the optimal solution to the minimum Randić index problem is not connected, we describe a heuristic to connect the graph using pairwise edge exchanges that preserves the degree sequence. In our computational experiments, the heuristic performs well and the Randić index of the realization after our heuristic is within 3% of the unconstrained optimal value on average. Although we focus on minimizing the Randić index, our results extend to maximizing the Randić index as well. Applications of the Randić index to synchronization of neuronal networks controlling respiration in mammals and to normalizing cortical thickness networks in diagnosing individuals with dementia are provided.
Pattern avoidance in ordered set partitions and words
Published
• View Publication
• BIB
We consider the enumeration of ordered set partitions avoiding a permutation pattern, as introduced by Godbole, Goyt, Herdan and Pudwell. Let $\op_{n,k}(p)$ be the number of ordered set partitions of $\{1,2,\ldots,n\}$ into $k$ blocks that avoid a permutation pattern $p$. We establish an explicit identity between the number $\op_{n,k}(p)$ and the numbers of words avoiding the inverse of $p$. This identity allows us to easily translate results on pattern-avoiding words obtained in earlier works into equivalent results on pattern-avoiding ordered set partitions. In particular, \emph{(a)} we determine the asymptotic growth rate of the sequence $(\op_{n,k}(p))_{n\geq 1}$ for every positive $k$ and every permutation pattern $p$, \emph{(b)} we partially confirm a conjecture of Godbole et al. concerning the variation of the sequences $(\op_{n,k}p))_{1\leq k\leq n}$, \emph{(c)} we undertake a detailed study of the number of ordered set partitions avoiding a pattern of length 3.
Morphic Words and Nested Recurrence Relations
We explore a family of nested recurrence relations with arbitrary levels of nesting, which have an interpretation in terms of fixed points of morphisms over a countably infinite alphabet. Recurrences in this family are related to a number of well-known sequences, including Hofstadter's G sequence and the Conolly and Tanny sequences. For a recurrence a(n) in this family with only finitely terms, we provide necessary and sufficient conditions for the limit a(n)/n to exist.
On the imbalance lattice of path-length sequences of binary trees
The existence of greatest lower bounds in the imbalance order of path-length sequences of binary trees is seen to be a consequence of a joint monotonicity property of the greater and lower expension operations. Path length sequences that are join-irreducible in the imbalance lattice are characterized.
Palindromic closures using multiple antimorphisms
Published in Theoret. Comput. Sci. 533 (2014), pp 37-45
• View Publication
• BIB
Generalized pseudostandard word $\bf u$, as introduced in 2006 by de Luca and De Luca, is given by a directive sequence of letters from an alphabet ${\cal A}$ and by a directive sequence of involutory antimorphisms acting on ${\cal A}^*$. Prefixes of $\bf u$ with increasing length are constructed using pseudopalindromic closure operator.
We show that generalized Thue--Morse words ${\bf t}_{b,m}$, with $b, m \in \N$ and $b, m \geq 2$, are generalized pseudostandard words if and only if ${\bf t}_{b,m}$ is a periodic word or $b \leq m$. This extends the result of de Luca and De Luca obtained for the classical Thue--Morse words.
Expanders with respect to Hadamard spaces and random graphs
Published in Duke Math. J. 164, no. 8 (2015), 1471-1548
• View Publication
• BIB
It is shown that there exists a sequence of 3-regular graphs $\{G_n\}_{n=1}^\infty$ and a Hadamard space $X$ such that $\{G_n\}_{n=1}^\infty$ forms an expander sequence with respect to $X$, yet random regular graphs are not expanders with respect to $X$. This answers a question of \cite{NS11}. $\{G_n\}_{n=1}^\infty$ are also shown to be expanders with respect to random regular graphs, yielding a deterministic sublinear time constant factor approximation algorithm for computing the average squared distance in subsets of a random graph. The proof uses the Euclidean cone over a random graph, an auxiliary continuous geometric object that allows for the implementation of martingale methods.
The Ihara zeta function of the infinite grid
Published
• View Publication
• BIB
The infinite grid is the Cayley graph of $\mathbb{Z} \times \mathbb{Z}$ with the usual generators. In this paper, the Ihara zeta function for the infinite grid is computed using elliptic integrals and theta functions. The zeta function of the grid extends to an analytic, multivalued function which satisfies a functional equation. The set of singularities in its domain is finite.
The grid zeta function is the first computed example which is non-elementary, and which takes infinitely many values at each point of its domain. It is also the limiting value of the normalized sequence of Ihara zeta functions for square grid graphs and torus graphs.
Two Reflected Gray Code based orders on some restricted growth sequences
Published
• View Publication
• BIB
We consider two order relations: that induced by the m-ary reflected Gray code and a suffix partitioned variation of it. We show that both of them when applied to some sets of restricted growth sequences still yield Gray codes. These sets of sequences are: subexcedant or ascent sequences, restricted growth functions, and staircase words. In each case we give efficient exhaustive generating algorithms and compare the obtained results.
On restricted permutations on regular multisets
The extension of pattern avoidance from ordinary permutations to those on multisets gave birth to several interesting enumerative results. We study permutations on regular multisets, i.e., multisets in which each element occurs the same number of times. For this case, we close a gap in the work of Heubach and Mansour (2006) and complete the study of permutations avoiding a pair of patterns of length three. In all studied cases, closed enumeration formulae are given and well-known sequences appear. We conclude this paper by some remarks on a generalization of the Stanley-Wilf conjecture to permutations on multisets and words.
Discrete Homology Theory for Metric Spaces
Published
• View Publication
• BIB
In this paper we define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from an $n$-dimensional cube to a fixed metric space. We prove that the resulting homology theory verifies a discrete analogue of the Eilenberg-Steenrod axioms, and prove a discrete analogue of the Mayer-Vietoris exact sequence. Moreover, this discrete homology theory is related to the discrete homotopy theory of a metric space through a discrete analogue of the Hurewicz theorem. We study the class of groups that can arise as discrete homology groups and, in this setting, we prove that the fundamental group of a smooth, connected, metrizable, compact manifold is isomorphic to the discrete fundamental group of a `fine enough' rectangulation of the manifold. Finally, we show that this discrete homology theory can be coarsened, leading to a new non-trivial coarse invariant of a metric space.
Distance graphs with large chromatic number and arbitrary girth
Published in Moscow Journal of Combinatorics and Number Theory, Vol. 2, Iss. 2, 2012, 52-62
• Search Publication
In this article we consider a problem related to two famous combinatorial topics. One of them concerns the chromatic number of the space. The other deals with graphs having big girth (the length of the shortest cycle) and large chromatic number. Namely, we prove that for any $l\in \mathbb{N}$ there exists a sequence of distance graphs in $\mathbb{R}^n$ with girth at least $l$ and the chromatic number equal to $(c+\bar{o}(1))^n$ with $c>1$.
Labelled version of the almost bounded case of S. B. Rao's degree sequence conjecture
S. B. Rao conjectured that graphic sequences are well-quasi-ordered under an inclusion based on induced subgraphs. This conjecture has now been proved by Chudnovsky and Seymour. We give an independent short proof of the labelled version of the almost bounded case of S. B. Rao's conjecture, the case where we have a bound on the degree, but allow a bounded number of vertices to have unbounded degree.