sequence
6845 papers tagged with this keyword
On the limit distribution of the normality measure of random binary sequences
Published
• View Publication
• BIB
We prove the existence of a limit distribution for the normalized normality measure $\mathcal{N}(E_N)/\sqrt{N}$ (as $N \to \infty$) for random binary sequences $E_N$, by this means confirming a conjecture of Alon, Kohayakawa, Mauduit, Moreira and R{ö}dl. The key point of the proof is to approximate the distribution of the normality measure by the exiting probabilities of a multidimensional Wiener process from a certain polytope.
Ordered Partitions and Drawings of Rooted Plane Trees
Published
• View Publication
• BIB
We study the bounded regions in a generic slice of the hyperplane arrangement in $\mathbb{R}^n$ consisting of the hyperplanes defined by $x_i$ and $x_i+x_j$. The bounded regions are in bijection with several classes of combinatorial objects, including the ordered partitions of $[n]$ all of whose left-to-right minima occur at odd locations and the drawings of rooted plane trees with $n+1$ vertices. These are sequences of rooted plane trees such that each tree in a sequence can be obtained from the next one by removing a leaf.
Nested Recursions, Simultaneous Parameters and Tree Superpositions
Published in Electron. J. Combin. 21 (2014), Article P49
• View Publication
• BIB
We apply a tree-based methodology to solve new, very broadly defined families of nested recursions of the general form R(n)=sum_{i=1}^k R(n-a_i-sum_{j=1}^p R(n-b_{ij})), where a_i are integers, b_{ij} are natural numbers, and k,p are natural numbers that we use to denote "arity" and "order," respectively, and with some specified initial conditions. The key idea of the tree-based solution method is to associate such recursions with infinite labelled trees in a natural way so that the solution to the recursions solves a counting question relating to the corresponding trees. We characterize certain recursion families within R(n) by introducing "simultaneous parameters" that appear both within the recursion itself and that also specify structural properties of the corresponding tree. First, we extend and unify recently discovered results concerning two families of arity k=2, order p=1 recursions. Next, we investigate the solution of nested recursion families by taking linear combinations of solution sequence frequencies for simpler nested recursions, which correspond to superpositions of the associated trees; this leads us to identify and solve two new recursion families for arity k=2 and general order p. Finally, we extend these results to general arity k>2. We conclude with several related open problems.
Central sets generated by uniformly recurrent words
Published
• View Publication
• BIB
A subset $A$ of $\nats$ is called an IP-set if $A$ contains all finite sums of distinct terms of some infinite sequence $(x_n)_{n\in \nats} $ of natural numbers. Central sets, first introduced by Furstenberg using notions from topological dynamics, constitute a special class of IP-sets possessing rich combinatorial properties: Each central set contains arbitrarily long arithmetic progressions, and solutions to all partition regular systems of homogeneous linear equations. In this paper we investigate central sets in the framework of combinatorics on words. Using various families of uniformly recurrent words, including Sturmian words, the Thue-Morse word and fixed points of weak mixing substitutions, we generate an assortment of central sets which reflect the rich combinatorial structure of the underlying words. The results in this paper rely on interactions between different areas of mathematics, some of which had not previously been directly linked. They include the general theory of combinatorics on words, abstract numeration systems, and the beautiful theory, developed by Hindman, Strauss and others, linking IP-sets and central sets to the algebraic/topological properties of the Stone-Čech compactification of $\nats .$
On additive properties of sets defined by the Thue-Morse word
Published
• View Publication
• BIB
In this paper we study some additive properties of subsets of the set $\nats$ of positive integers: A subset $A$ of $\nats$ is called {\it $k$-summable} (where $k\in\ben$) if $A$ contains $\textstyle \big{\sum_{n\in F}x_n | \emp\neq F\subseteq {1,2,...,k\} \big}$ for some $k$-term sequence of natural numbers $x_1<x_2 < ... < x_k$. We say $A \subseteq \nats$ is finite FS-big if $A$ is $k$-summable for each positive integer $k$. We say is $A \subseteq \nats$ is infinite FS-big if for each positive integer $k,$ $A$ contains ${\sum_{n\in F}x_n | \emp\neq F\subseteq \nats and #F\leq k}$ for some infinite sequence of natural numbers $x_1<x_2 < ... $. We say $A\subseteq \nats $ is an IP-set if $A$ contains ${\sum_{n\in F}x_n | \emp\neq F\subseteq \nats and #F<\infty}$ for some infinite sequence of natural numbers $x_1<x_2 < ... $. By the Finite Sums Theorem [5], the collection of all IP-sets is partition regular, i.e., if $A$ is an IP-set then for any finite partition of $A$, one cell of the partition is an IP-set. Here we prove that the collection of all finite FS-big sets is also partition regular. Let $\TM =011010011001011010... $ denote the Thue-Morse word fixed by the morphism $0\mapsto 01$ and $1\mapsto 10$. For each factor $u$ of $\TM$ we consider the set $\TM\big|_u\subseteq \nats$ of all occurrences of $u$ in $\TM$. In this note we characterize the sets $\TM\big|_u$ in terms of the additive properties defined above. Using the Thue-Morse word we show that the collection of all infinite FS-big sets is not partition regular.
A Counting Function
We define a counting function that is related to the binomial coefficients.
An explicit formula for this function is proved.
In some particular cases, simpler explicit formuls are derived. We also derive a formula for the number of (0,1)-matrices, having a fixed number of 1's, and having no zero rows and zero columns.
Further, we show that our function satisfies several recurrence relations.
The relationship of our counting function with different classes of integers is then examined. These classes include: different kind of figurate numbers, the number of points on the surface of a square pyramid, the magic constants, the truncated square numbers, the coefficients of the Chebyshev polynomials, the Catalan numbers, the Dellanoy numbers, the Sulanke numbers, the numbers of the coordination sequences, and the number of the crystal ball sequences of a cubic lattice.
In the last part of the paper, we prove that several configurations are counted by our function. Some of these are: the number of spanning subgraphs of the complete bipartite graph, the number of square containing in a square, the number of coloring's of points on a line, the number of divisors of some particular numbers, the number of all parts in the compositions of an integer, the numbers of the weak compositions of integers, and the number of particular lattice paths.
We conclude by counting the number of possible moves of the rook, bishop, and queen on a chessboard.
The most statements in the paper are provided by bijective proofs in terms of insets, which are defined in the paper. With this we want to show that different configurations may be counted by the same method.
Combinatorial Structures on van der Waerden sets
Published in Combinator. Probab. Comp. 24 (2015) 929-953
• View Publication
• BIB
In this paper we provide two results. The first one consists an infinitary version of the Furstenberg-Weiss Theorem. More precisely we show that every subset $A$ of a homogeneous tree $T$ such that $\frac{|A\cap T(n)|}{|T(n)|}\geqδ$, where T(n) denotes the $n$-th level of $T$, for all $n$ in a van der Waerden set, for some positive real $δ$, contains a strong subtree having a level sets which forms a van der Waerden set.
The second result is the following. For every sequence $(m_q)_{q}$ of positive integers and for every real $0<δ\\leq1$, there exists a sequence $(n_q)_{q}$ of positive integers such that for every $D\subseteq \bigcup_k\prod_{q=0}^{k-1}[n_q]$ satisfying $$\frac{\big{|}D\cap \prod_{q=0}^{k-1} [n_q]\big{|}}{\prod_{q=0}^{k-1}n_q}\geqδ$$ for every $k$ in a van der Waerden set, there is a sequence $(J_q)_{q}$, where $J_q$ is an arithmetic progression of length $m_q$ contained in $[n_q]$ for all $q$, such that $\prod_{q=0}^{k-1}J_q\subseteq D$ for every $k$ in a van der Waerden set. Moreover, working in an abstract setting, we obtain $J_q$ to be any configuration of natural numbers that can be found in an arbitrary set of positive density.
An algebraic formulation of the graph reconstruction conjecture
Published
• View Publication
• BIB
The graph reconstruction conjecture asserts that every finite simple graph on at least three vertices can be reconstructed up to isomorphism from its deck - the collection of its vertex-deleted subgraphs. Kocay's Lemma is an important tool in graph reconstruction. Roughly speaking, given the deck of a graph $G$ and any finite sequence of graphs, it gives a linear constraint that every reconstruction of $G$ must satisfy.
Let $ψ(n)$ be the number of distinct (mutually non-isomorphic) graphs on $n$ vertices, and let $d(n)$ be the number of distinct decks that can be constructed from these graphs. Then the difference $ψ(n) - d(n)$ measures how many graphs cannot be reconstructed from their decks. In particular, the graph reconstruction conjecture is true for $n$-vertex graphs if and only if $ψ(n) = d(n)$.
We give a framework based on Kocay's lemma to study this discrepancy. We prove that if $M$ is a matrix of covering numbers of graphs by sequences of graphs, then $d(n) \geq \mathsf{rank}_\mathbb{R}(M)$. In particular, all $n$-vertex graphs are reconstructible if one such matrix has rank $ψ(n)$. To complement this result, we prove that it is possible to choose a family of sequences of graphs such that the corresponding matrix $M$ of covering numbers satisfies $d(n) = \mathsf{rank}_\mathbb{R}(M)$.
Importance sampling for weighted binary random matrices with specified margins
A sequential importance sampling algorithm is developed for the distribution that results when a matrix of independent, but not identically distributed, Bernoulli random variables is conditioned on a given sequence of row and column sums. This conditional distribution arises in a variety of applications and includes as a special case the uniform distribution over zero-one tables with specified margins. The algorithm uses dynamic programming to combine hard margin constraints, combinatorial approximations, and additional non-uniform weighting in a principled way to give state-of-the-art results.
Recurrence relations versus succession rules
Published
• View Publication
• BIB
In this paper we present a method to pass from a recurrence relation having constant coefficients (in short, a C-recurrence) to a finite succession rule defining the same number sequence. We recall that succession rules are a recently studied tool for the enumeration of combinatorial objects related to the ECO method. We also discuss the applicability of our method as a test for the positivity of a number sequence.
Limit laws of the coefficients of polynomials with only unit roots
Published
• View Publication
• BIB
We consider sequences of random variables whose probability generating functions are polynomials all of whose roots lie on the unit circle. The distribution of such random variables has only been sporadically studied in the literature. We show that the random variables are asymptotically normally distributed if and only if the fourth normalized (by the standard deviation) central moment tends to 3, in contrast to the common scenario for polynomials with only real roots for which a central limit theorem holds if and only if the variance goes unbounded. We also derive a representation theorem for all possible limit laws and apply our results to many concrete examples in the literature, ranging from combinatorial structures to numerical analysis, and from probability to analysis of algorithms.
A bipartite graph with non-unimodal independent set sequence
Published
• View Publication
• BIB
We show that the independent set sequence of a bipartite graph need not be unimodal.
Several graph sequences as solutions of a double recurrence
Published in Journal of Combinatorics and Number Theory, 2015 Vol. 6 Number 2, pp. 37-51
• Search Publication
We describe the combinatorics that arise in summing a double recursion formula for the enumeration of connected Feynman graphs in quantum field theory. In one index the problem is more tractable and yields concise formulas which are combinatorially interesting on their own. In the other index, one of these sums is Sloane's sequence A001865.
The Filter Dichotomy Principle Does not Imply the Semifilter Trichotomy Principle
We answer Blass' question from 1989 of whether the inequality $\gu < \gro$ is strictly stronger than the filter dichotomy principle affirmatively. We show that there is a forcing extension in which every non-meagre filter on $ω$ is ultra by finite-to-one and the semifilter trichotomy does not hold. This trichotomy says: every semifilter is either meagre or comeagre or ultra by finite-to-one. The trichotomy is equivalent to the inequality $\gu<\gro$ by work of Blass and Laflamme. Combinatorics of block sequences is used to establish forcing notions that preserve suitable properties of block sequences.
Symbol ratio minimax sequences in the lexicographic order
Published in Ergod. Th. Dynam. Sys. 35 (2014) 2371-2396
• View Publication
• BIB
Consider the space of sequences of k letters ordered lexicographically. We study the set M(α) of all maximal sequences for which the asymptotic proportions α of the letters are prescribed, where a sequence is said to be maximal if it is at least as great as all of its tails. The infimum of M(α) is called the α-infimax sequence, or the α-minimax sequence if the infimum is a minimum. We give an algorithm which yields all infimax sequences, and show that the infimax is not a minimax if and only if it is the α-infimax for every α in a simplex of dimension 1 or greater. These results have applications to the theory of rotation sets of beta-shifts and torus homeomorphisms.
Cross-intersecting integer sequences
We call $(a_1, \dots, a_n)$ an \emph{$r$-partial sequence} if exactly $r$ of its entries are positive integers and the rest are all zero. For ${\bf c} = (c_1, \dots, c_n)$ with $1 \leq c_1 \leq \dots \leq c_n$, let $S_{\bf c}^{(r)}$ be the set of $r$-partial sequences $(a_1, \dots, a_n)$ with $0 \leq a_i \leq c_i$ for each $i$ in $\{1, \dots, n\}$, and let $S_{\bf c}^{(r)}(1)$ be the set of members of $S_{\bf c}^{(r)}$ which have $a_1 = 1$. We say that $(a_1, \dots, a_n)$ \emph{meets} $(b_1, \dots, b_m)$ if $a_i = b_i \neq 0$ for some $i$. Two sets $A$ and $B$ of sequences are said to be \emph{cross-intersecting} if each sequence in $A$ meets each sequence in $B$. Let ${\bf d} = (d_1, \dots, d_m)$ with $1 \leq d_1 \leq \dots \leq d_m$. Let $A \subseteq S_{\bf c}^{(r)}$ and $B \subseteq S_{\bf d}^{(s)}$ such that $A$ and $B$ are cross-intersecting. We show that $|A||B| \leq |S_{\bf c}^{(r)}(1)||S_{\bf d}^{(s)}(1)|$ if either $c_1 \geq 3$ and $d_1 \geq 3$ or ${\bf c} = {\bf d}$ and $r = s = n$. We also determine the cases of equality. We obtain this by proving a general cross-intersection theorem for \emph{weighted} sets. The bound generalises to one for $k \geq 2$ cross-intersecting sets.
A q-weighted version of the Robinson-Schensted algorithm
Published in Electron. J. Probab. 18, 1-25 (2013)
• View Publication
• BIB
We introduce a q-weighted version of the Robinson-Schensted (column insertion) algorithm which is closely connected to q-Whittaker functions (or Macdonald polynomials with t=0) and reduces to the usual Robinson-Schensted algorithm when q=0. The q-insertion algorithm is `randomised', or `quantum', in the sense that when inserting a positive integer into a tableau, the output is a distribution of weights on a particular set of tableaux which includes the output which would have been obtained via the usual column insertion algorithm. There is also a notion of recording tableau in this setting. We show that the distribution of weights of the pair of tableaux obtained when one applies the q-insertion algorithm to a random word or permutation takes a particularly simple form and is closely related to q-Whittaker functions. In the case $0\le q<1$, the q-insertion algorithm applied to a random word also provides a new framework for solving the q-TASEP interacting particle system introduced (in the language of q-bosons) by Sasamoto and Wadati (1998) and yields formulas which are equivalent to some of those recently obtained by Borodin and Corwin (2011) via a stochastic evolution on discrete Gelfand-Tsetlin patterns (or semistandard tableaux) which is coupled to the q-TASEP process. We show that the sequence of P-tableaux obtained when one applies the q-insertion algorithm to a random word defines another, quite different, evolution on semistandard tableaux which is also coupled to the q-TASEP process.
Multiple Bracket Function, Stirling Number, and Lah Number Identities
Published
• View Publication
• BIB
The author has constructed multiple analogues of several families of combinatorial numbers in a recent article, including the bracket symbol, and the Stirling numbers of the first and second kind. In the present paper, a multiple analogue of another sequence, the Lah numbers, is developed, and certain associated identities and significant properties of all these sequences are constructed.
On Curling Numbers of Integer Sequences
Published in J. Integer Sequences 16 (2013), #13.4.3
• Search Publication
Given a finite nonempty sequence S of integers, write it as XY^k, where Y^k is a power of greatest exponent that is a suffix of S: this k is the curling number of S. The Curling Number Conjecture is that if one starts with any initial sequence S, and extends it by repeatedly appending the curling number of the current sequence, the sequence will eventually reach 1. The conjecture remains open. In this paper we discuss the special case when S consists just of 2's and 3's. Even this case remains open, but we determine how far a sequence of n 2's and 3's can extend before reaching a 1, conjecturally for n <= 80. We investigate several related combinatorial problems, such as finding c(n,k), the number of binary sequences of length n and curling number k, and t(n,i), the number of sequences of length n which extend for i steps before reaching a 1. A number of interesting combinatorial problems remain unsolved.
The Freiman--Ruzsa Theorem over Finite Fields
Published in Journal of Combinatorial Theory, Series A, Volume 125, July 2014, Pages 333-341
• View Publication
• BIB
Let G be a finite abelian group of torsion r and let A be a subset of G. The Freiman--Ruzsa theorem asserts that if |A+A| < K|A| then A is contained in a coset of a subgroup of G of size at most r^{K^4}K^2|A|. It was conjectured by Ruzsa that the subgroup size can be reduced to r^{CK}|A| for some absolute constant C >= 2. This conjecture was verified for r = 2 in a sequence of recent works, which have, in fact, yielded a tight bound. In this work, we establish the same conjecture for any prime torsion.