sequence
7073 papers tagged with this keyword
Congruence successions in compositions
Published
• View Publication
• BIB
A \emph{composition} is a sequence of positive integers, called \emph{parts}, having a fixed sum. By an \emph{$m$-congruence succession}, we will mean a pair of adjacent parts $x$ and $y$ within a composition such that $x\equiv y(\text{mod} m)$. Here, we consider the problem of counting the compositions of size $n$ according to the number of $m$-congruence successions, extending recent results concerning successions on subsets and permutations. A general formula is obtained, which reduces in the limiting case to the known generating function formula for the number of Carlitz compositions. Special attention is paid to the case $m=2$, where further enumerative results may be obtained by means of combinatorial arguments. Finally, an asymptotic estimate is provided for the number of compositions of size $n$ having no $m$-congruence successions.
The probability that a random multigraph is simple, II
Published
• View Publication
• BIB
Consider a random multigraph with given vertex degrees constructed by the configuration model. We give a new proof of the fact that, asymptotically for a sequence of such multigraphs with the number of edges tending to infinity, the probability that the multigraph is simple stays away from 0 if and only if $\sum d_i^2 = O(\sum d_i)$, where $d_i$ are the vertex degrees. The new proof uses the method of moments, which makes it possible to use it in some applications concerning convergence in distribution. Corresponding results for bipartite graphs are included.
Analytic combinatorics of chord and hyperchord diagrams with $k$ crossings
Published in Adv. in Appl. Math., 57:60-100, 2014
• View Publication
• BIB
Using methods from Analytic Combinatorics, we study the families of perfect matchings, partitions, chord diagrams, and hyperchord diagrams on a disk with a prescribed number of crossings. For each family, we express the generating function of the configurations with exactly $k$ crossings as a rational function of the generating function of crossing-free configurations. Using these expressions, we study the singular behavior of these generating functions and derive asymptotic results on the counting sequences of the configurations with precisely $k$ crossings. Limiting distributions and random generators are also studied.
Robinson-Schensted-Knuth algorithm, jeu de taquin and Kerov-Vershik measures on infinite tableaux
Published in SIAM J. Discrete Math. 28 (2014), no. 2, 598-630
• View Publication
• BIB
We investigate Robinson-Schensted-Knuth algorithm (RSK) and Schützenberger's jeu de taquin in the infinite setup. We show that the recording tableau in RSK defines an isomorphism of the following two dynamical systems: (i) a sequence of i.i.d. random letters equipped with Bernoulli shift, and (ii) a random infinite Young tableau (with the distribution given by Vershik-Kerov measure, corresponding to some Thoma character of the infinite symmetric group) equipped with jeu de taquin transformation. As a special case we recover the results on non-colliding random walks and multidimensional Pitman transform.
Lower bounds on geometric Ramsey functions
We continue a sequence of recent works studying Ramsey functions for semialgebraic predicates in $\mathbb{R}^d$. A $k$-ary semialgebraic predicate $Φ(x_1,\ldots,x_k)$ on $\mathbb{R}^d$ is a Boolean combination of polynomial equations and inequalities in the $kd$ coordinates of $k$ points $x_1,\ldots,x_k\in\mathbb{R}^d$. A sequence $P=(p_1,\ldots,p_n)$ of points in $\mathbb{R}^d$ is called $Φ$-homogeneous if either $Φ(p_{i_1}, \ldots,p_{i_k})$ holds for all choices $1\le i_1 < \cdots < i_k\le n$, or it holds for no such choice. The Ramsey function $R_Φ(n)$ is the smallest $N$ such that every point sequence of length $N$ contains a $Φ$-homogeneous subsequence of length $n$.
Conlon, Fox, Pach, Sudakov, and Suk constructed the first examples of semialgebraic predicates with the Ramsey function bounded from below by a tower function of arbitrary height: for every $k\ge 4$, they exhibit a $k$-ary $Φ$ in dimension $2^{k-4}$ with $R_Φ$ bounded below by a tower of height $k-1$. We reduce the dimension in their construction, obtaining a $k$-ary semialgebraic predicate $Φ$ on $\mathbb{R}^{k-3}$ with $R_Φ$ bounded below by a tower of height $k-1$.
We also provide a natural geometric Ramsey-type theorem with a large Ramsey function. We call a point sequence $P$ in $\mathbb{R}^d$ order-type homogeneous if all $(d+1)$-tuples in $P$ have the same orientation. Every sufficiently long point sequence in general position in $\mathbb{R}^d$ contains an order-type homogeneous subsequence of length $n$, and the corresponding Ramsey function has recently been studied in several papers. Together with a recent work of Bárány, Matoušek, and Pór, our results imply a tower function of $Ω(n)$ of height $d$ as a lower bound, matching an upper bound by Suk up to the constant in front of $n$.
A decomposition based proof for fast mixing of a Markov chain over balanced realizations of a joint degree matrix
Published in SIAM J. Discrete Mathematics 29 (1) (2015), 481-499
• View Publication
• BIB
A joint degree matrix (JDM) specifies the number of connections between nodes of given degrees in a graph, for all degree pairs and uniquely determines the degree sequence of the graph. We consider the space of all balanced realizations of an arbitrary JDM, realizations in which the links between any two degree groups are placed as uniformly as possible. We prove that a swap Markov Chain Monte Carlo (MCMC) algorithm in the space of all balanced realizations of an {\em arbitrary} graphical JDM mixes rapidly, i.e., the relaxation time of the chain is bounded from above by a polynomial in the number of nodes $n$. To prove fast mixing, we first prove a general factorization theorem similar to the Martin-Randall method for disjoint decompositions (partitions). This theorem can be used to bound from below the spectral gap with the help of fast mixing subchains within every partition and a bound on an auxiliary Markov chain between the partitions. Our proof of the general factorization theorem is direct and uses conductance based methods (Cheeger inequality).
On the matrix sequence $\{Γ(A^m)\}_{m=1}^\infty$ for a Boolean matrix $A$ whose digraph is linearly connected
Published
• View Publication
• BIB
In this paper, we extend the results given by Park {\em et al.} \cite{ppk} by studying the convergence of the matrix sequence $\{Γ(A^m)\}_{m=1}^\infty$ for a matrix $A \in \mathcal{B}_n$ the digraph of which is linearly connected with an arbitrary number of strong components. In the process for generalization, we concretize ideas behind their arguments. We completely characterize $A$ for which $\{Γ(A^m)\}_{m=1}^\infty$ converges. Then we find its limit when all of the irreducible diagonal blocks are of order at least two. We go further to characterize $A$ for which the limit of $\{Γ(A^m)\}_{m=1}^\infty$ is a $J$ block diagonal matrix. All of these results are derived by studying the $m$-step competition graph of the digraph of $A$.
Generalizations of Bounds on the Index of Convergence to Weighted Digraphs
Published
• View Publication
• BIB
We study sequences of optimal walks of a growing length, in weighted digraphs, or equivalently, sequences of entries of max-algebraic matrix powers with growing exponents. It is known that these sequences are eventually periodic when the digraphs are strongly connected. The transient of such periodicity depends, in general, both on the size of digraph and on the magnitude of the weights. In this paper, we show that some bounds on the indices of periodicity of (unweighted) digraphs, such as the bounds of Wielandt, Dulmage-Mendelsohn, Schwarz, Kim and Gregory-Kirkland-Pullman, apply to the weights of optimal walks when one of their ends is a critical node.
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.