sequence
6845 papers tagged with this keyword
Generalized Monotone Triangles: an extended Combinatorial Reciprocity Theorem
Published
• View Publication
• BIB
In a recent work, the combinatorial interpretation of the polynomial alpha(n;k1,k2,...,kn) counting the number of Monotone Triangles with bottom row k1 < k2 < ... < kn was extended to weakly decreasing sequences k1 >= k2 >= ... >= kn. In this case the evaluation of the polynomial is equal to a signed enumeration of objects called Decreasing Monotone Triangles. In this paper we define Generalized Monotone Triangles - a joint generalization of both ordinary Monotone Triangles and Decreasing Monotone Triangles. As main result of the paper we prove that the evaluation of alpha(n;k1,k2,...,kn) at arbitrary (k1,k2,...,kn) in Z^n is a signed enumeration of Generalized Monotone Triangles with bottom row (k1,k2,...,kn). Computational experiments indicate that certain evaluations of the polynomial at integral sequences yield well-known round numbers related to Alternating Sign Matrices. The main result provides a combinatorial interpretation of the conjectured identities and could turn out useful in giving a bijective proof.
Some enumerative results related to ascent sequences
Published
• View Publication
• BIB
An ascent sequence is one consisting of non-negative integers in which the size of each letter is restricted by the number of ascents preceding it in the sequence. Ascent sequences have recently been shown to be related to (2+2)-free posets and a variety of other combinatorial structures. In this paper, we prove in the affirmative some recent conjectures concerning pattern avoidance for ascent sequences. Given a pattern $τ$, let $\mathcal{S}_τ(n)$ denote the set of ascent sequences of length $n$ avoiding $τ$. Here, we show that the joint distribution of the statistic pair $(\asc,\zero)$ on $\mathcal{S}_{0012}(n)$ is the same as $(\asc,\RLm)$ on the set of 132-avoiding permutations of length $n$. In particular, the ascent statistic on $\mathcal{S}_{0012}(n)$ has the Narayana distribution. We also enumerate $S_τ(n)$ when $τ=1012$ and $τ=0123$ and confirm the conjectured formulas in these cases. We combine combinatorial and algebraic techniques to prove our results, in two cases, making use of the kernel method. Finally, we discuss the case of avoiding 210 and determine two related recurrences.
GI-graphs and their groups
The class of generalized Petersen graphs was introduced by Coxeter in the 1950s. Frucht, Graver and Watkins determined the automorphism groups of generalized Petersen graphs in 1971, and much later, Nedela and Škoviera and (independently) Lovrečič-Saražin characterised those which are Cayley graphs. In this paper we extend the class of generalized Petersen graphs to a class of GI-graphs.
For any positive integer n and any sequence j_0,j_1,....,j_{t-1} of integers mod n, the GI-graph GI(n;j_0,j_1,....,j_{t-1}) is a (t+1)-valent graph on the vertex set Z_t x Z_n, with edges of two kinds:
- an edge from (s,v) to (s',v), for all distinct s,s' in Z_t and all v in Z_n,
- edges from (s,v) to (s,v+j_s) and (s,v-j_s), for all s in Z_t and v in Z_n.
By classifying different kinds of automorphisms, we describe the automorphism group of each GI-graph, and determine which GI-graphs are vertex-transitive and which are Cayley graphs. A GI-graph can be edge-transitive only when t < 4 or equivalently, for valence at most 4. We present a unit-distance drawing of a remarkable GI(7;1,2,3).
On Periodically Iterated Morphisms
Published
• View Publication
• BIB
We investigate the computational power of periodically iterated morphisms, also known as D0L systems with periodic control, PD0L systems for short. These systems give rise to a class of one-sided infinite sequences, called PD0L words.
We construct a PD0L word with exponential subword complexity, thereby answering a question raised by Lepisto (1993) on the existence of such words. We solve another open problem concerning the decidability of the first-order theories of PD0L words; we show it is already undecidable whether a certain letter occurs in a PD0L word. This stands in sharp contrast to the situation for D0L words (purely morphic words), which are known to have at most quadratic subword complexity, and for which the monadic theory is decidable.
The main result of our paper, leading to these answers, is that every computable word w over an alphabet Sigma can be embedded in a PD0L word u over an extended alphabet Gamma in the following two ways: (i) such that every finite prefix of w is a subword of u, and (ii) such that w is obtained from u by erasing all letters from Gamma not in Sigma. The PD0L system generating such a word u is constructed by encoding a Fractran program that computes the word w; Fractran is a programming language as powerful as Turing Machines.
As a consequence of (ii), if we allow the application of finite state transducers to PD0L words, we obtain the set of all computable words. Thus the set of PD0L words is not closed under finite state transduction, whereas the set of D0L words is. It moreover follows that equality of PD0L words (given by their PD0L system) is undecidable. Finally, we show that if erasing morphisms are admitted, then the question of productivity becomes undecidable, that is, the question whether a given PD0L system defines an infinite word.
Quadrant marked mesh patterns in alternating permutations II
Published
• View Publication
• BIB
This paper is continuation of the systematic study of distribution of quadrant marked mesh patterns initiated in "S. Kitaev and J. Remmel, Quadrant marked mesh patterns, J. Integer Sequences 12, Issue 4 (2012), Article 12.4.7.". We study quadrant marked mesh patterns on up-down and down-up permutations.
On the facial Thue choice index via entropy compression
Published in J. Graph Theory 77(3) (2014) 180-189
• View Publication
• BIB
A sequence is nonrepetitive if it contains no identical consecutive subsequences. An edge colouring of a path is nonrepetitive if the sequence of colours of its consecutive edges is nonrepetitive. By the celebrated construction of Thue, it is possible to generate nonrepetitive edge colourings for arbitrarily long paths using only three colours. A recent generalization of this concept implies that we may obtain such colourings even if we are forced to choose edge colours from any sequence of lists of size 4 (while sufficiency of lists of size 3 remains an open problem). As an extension of these basic ideas, Havet, Jendrol', Soták and Škrabul'áková proved that for each plane graph, 8 colours are sufficient to provide an edge colouring so that every facial path is nonrepetitively coloured. In this paper we prove that the same is possible from lists, provided that these have size at least 12. We thus improve the previous bound of 291 (proved by means of the Lovász Local Lemma). Our approach is based on the Moser-Tardos entropy-compression method and its recent extensions by Grytczuk, Kozik and Micek, and by Dujmović, Joret, Kozik and Wood.
Parsing a sequence of qubits
Published in IEEE Transactions on Information Theory 59 (2013) 6796-6806
• View Publication
• BIB
We develop a theoretical framework for frame synchronization, also known as block synchronization, in the quantum domain which makes it possible to attach classical and quantum metadata to quantum information over a noisy channel even when the information source and sink are frame-wise asynchronous. This eliminates the need of frame synchronization at the hardware level and allows for parsing qubit sequences during quantum information processing. Our framework exploits binary constant-weight codes that are self-synchronizing. Possible applications may include asynchronous quantum communication such as a self-synchronizing quantum network where one can hop into the channel at any time, catch the next coming quantum information with a label indicating the sender, and reply by routing her quantum information with control qubits for quantum switches all without assuming prior frame synchronization between users.
Erdos-Szekeres-type statements: Ramsey function and decidability in dimension 1
Published in Duke Math. J. 163, no. 12 (2014), 2243-2270
• View Publication
• BIB
A classical and widely used lemma of Erdos and Szekeres asserts that for every n there exists N such that every N-term sequence a of real numbers contains an n-term increasing subsequence or an n-term nondecreasing subsequence; quantitatively, the smallest N with this property equals (n-1)^2+1. In the setting of the present paper, we express this lemma by saying that the set of predicates Phi={x_1<x_2,x_1\ge x_2}$ is Erdos-Szekeres with Ramsey function ES_Phi(n)=(n-1)^2+1.
In general, we consider an arbitrary finite set Phi={Phi_1,...,Phi_m} of semialgebraic predicates, meaning that each Phi_j=Phi_j(x_1,...,x_k) is a Boolean combination of polynomial equations and inequalities in some number k of real variables. We define Phi to be Erdos-Szekeres if for every n there exists N such that each N-term sequence a of real numbers has an n-term subsequence b such that at least one of the Phi_j holds everywhere on b, which means that Phi_j(b_{i_1},...,b_{i_k}) holds for every choice of indices i_1,i_2,...,i_k, 1<=i_1<i_2<... <i_k<= n. We write ES_Phi(n) for the smallest N with the above property.
We prove two main results. First, the Ramsey functions in this setting are at most doubly exponential (and sometimes they are indeed doubly exponential): for every Phi that is Erdős--Szekeres, there is a constant C such that ES_Phi(n) < exp(exp(Cn)). Second, there is an algorithm that, given Phi, decides whether it is Erdos-Szekeres; thus, one-dimensional Erdos-Szekeres-style theorems can in principle be proved automatically.
Various Theorems on Tournaments
In this thesis we prove a variety of theorems on tournaments. A \emph{prime} tournament is a tournament $G$ such that there is no $X \subseteq V(G)$, $1 < |X| < |V(G)|$, such that for every vertex $v \in V(G) \minus X$, either $v \ra x$ for all $x \in X$ or $x \ra v$ for all $x \in X$. First, we prove that given a prime tournament $G$ which is not in one of three special families of tournaments, for any prime subtournament $H$ of $G$ with $5 \le |V(H)| < |V(G)|$ there exists a prime subtournament of $G$ with $|V(H)| + 1$ vertices that has a subtournament isomorphic to $H$. We next prove that for any two cyclic triangles $C$, $C^\prime$ in a prime tournament $G$, there is a sequence of cyclic triangles $C_1,...,C_n$ such that $C_1 = C$, $C_n = C^\prime$, and $C_i$ shares an edge with $C_{i+1}$ for all $1 \le i \le n-1$. Next, we consider what we call \emph{matching tournaments}, tournaments whose vertices can be ordered in a horizontal line so that every vertex is the head or tail of at most one edge that points right-to-left. We determine the conditions under which a tournament can have two different orderings satisfying the above conditions. We also prove that there are infinitely many minimal tournaments that are not matching tournaments. Finally, we consider the tournaments $K_n$ and $K_n^\ast$, which are obtained from the transitive tournament with $n$ vertices by reversing the edge from the second vertex to the last vertex and from the first vertex to the second-to-last vertex, respectively. We prove a structure theorem describing tournaments which exclude $K_n$ and $K_n^\ast$ as subtournaments.
A multidimensional continued fraction generalization of Stern's diatomic sequence
Published in Journal of Integer Sequences, (2013), Article 13.7.7
• Search Publication
Continued fractions are linked to Stern's diatomic sequence 0,1,1,2,1,3,2,3,1,4,... (given by the recursion relation a_2n=a_n and a_{2n+1} = a_n + a_{n+1}, where a_0=0 and a_1=1), which has long been known. Using a particular multidimensional continued fraction algorithm (the Farey algorithm), we will generalize the diatomic sequence to a collection of numbers that quite naturally should be called the triatomic sequence (or a two-dimensional Pascal with memory sequence). As continued fractions and the diatomic sequence can be thought of as coming from systematic subdivisions of the unit interval, this new triatomic sequence will arise by a systematic subdivision of a triangle. We will discuss some of the algebraic properties for the tri-atomic sequence.
Solving multivariate functional equations
Published
• View Publication
• BIB
This paper presents a new method to solve functional equations of multivariate generating functions, such as $$F(r,s)=e(r,s)+xf(r,s)F(1,1)+xg(r,s)F(qr,1)+xh(r,s)F(qr,qs),$$ giving a formula for $F(r,s)$ in terms of a sum over finite sequences. We use this method to show how one would calculate the coefficients of the generating function for parallelogram polyominoes, which is impractical using other methods. We also apply this method to answer a question from fully commutative affine permutations.
Polynomial sequences of binomial-type arising in graph theory
Published
• View Publication
• BIB
In this paper, we show that the solution to a large class of "tiling" problems is given by a polynomial sequence of binomial type. More specifically, we show that the number of ways to place a fixed set of polyominos on an $n\times n$ toroidal chessboard such that no two polyominos overlap is eventually a polynomial in $n$, and that certain sets of these polynomials satisfy binomial-type recurrences. We exhibit generalizations of this theorem to higher dimensions and other lattices. Finally, we apply the techniques developed in this paper to resolve an open question about the structure of coefficients of chromatic polynomials of certain grid graphs (namely that they also satisfy a binomial-type recurrence).
Computing the blocks of a quasi-median graph
Published in Discrete Applied Mathematics, 179 (2014), 129-138
• View Publication
• BIB
Quasi-median graphs are a tool commonly used by evolutionary biologists to visualise the evolution of molecular sequences. As with any graph, a quasi-median graph can contain cut vertices, that is, vertices whose removal disconnect the graph. These vertices induce a decomposition of the graph into blocks, that is, maximal subgraphs which do not contain any cut vertices. Here we show that the special structure of quasi-median graphs can be used to compute their blocks without having to compute the whole graph. In particular we present an algorithm that, for a collection of $n$ aligned sequences of length $m$, can compute the blocks of the associated quasi-median graph together with the information required to correctly connect these blocks together in run time $\mathcal O(n^2m^2)$, independent of the size of the sequence alphabet. Our primary motivation for presenting this algorithm is the fact that the quasi-median graph associated to a sequence alignment must contain all most parsimonious trees for the alignment, and therefore precomputing the blocks of the graph has the potential to help speed up any method for computing such trees.
Subword Complexity and k-Synchronization
We show that the subword complexity function p_x(n), which counts the number of distinct factors of length n of a sequence x, is k-synchronized in the sense of Carpi if x is k-automatic. As an application, we generalize recent results of Goldstein. We give analogous results for the number of distinct factors of length n that are primitive words or powers. In contrast, we show that the function that counts the number of unbordered factors of length n is not necessarily k-synchronized for k-automatic sequences.
$(1,2)$-GDWN splits
We study impartial take away games on 2 unordered piles of finite nonnegative numbers of tokens $(x,y)$. Two players alternate in removing at least one and at most all tokens from the respective piles, according to certain rules, and the game terminates when a player in turn is unable to move. We follow the normal play convention, which means that a player who cannot move loses. In the game of Wythoff Nim, a player is allowed to remove either any number of tokens from precisely one of the piles or the same number of tokens from both. Let $φ= \frac{1+\sqrt{5}}{2}$ and for all nonnegative integers $n$, $A_n=\lfloorφn \rfloor$ and $B_n=A_n+n$. The P-positions of Wythoff Nim are all pairs of piles with $A_n$ and $B_n$ tokens respectively. We study a generalization of this game called $(1,2)\G$ where, in addition to the rules of Wythoff Nim, a player has the choice to remove a positive number of tokens from one of the piles and twice that number from the other pile. We show that there is an infinite sector $α\le y/x \le α+ε$, for given real numbers $α>1$ and $ε> 0$, for which each $(x,y)$ is an N-position, but that there are infinitely many P-positions for both $1\le y/x <α$ and $α+ε< y/x $. This proves a conjecture from a recent paper. Namely, the adjoined set of moves in $(1,2)\G$ \emph{splits} the beam of slope $φ$ P-positions of Wythoff Nim. We also provide a lower bound on the lower asymtotic density of lower pile heights of P-positions for extensions of Wythoff Nim. Suppose that $(a_i)$ and $(b_i)$, $i>0$, is a pair of so-called complementary sequences on the natural numbers which satisfy $(a_i)$ is increasing and for all $i$, $a_i<b_i$, for all $i\ne j$, $b_i-a_i\ne b_j-a_j$. Then $\liminf_{n\rightarrow \infty}\frac{#\{i\mid a_i < n\}}{n} \ge φ^{-1}$.
Autocorrelations of Binary Sequences and Run Structure
Published in IEEE Transactions on Information Theory, vol.59, no.8, pp.4985-4993, Aug. 2013
• View Publication
• BIB
We analyze the connection between the autocorrelation of a binary sequence and its run structure given by the run length encoding. We show that both the periodic and the aperiodic autocorrelation of a binary sequence can be formulated in terms of the run structure. The run structure is given by the consecutive runs of the sequence. Let C=(C(0), C(1),...,C(n)) denote the autocorrelation vector of a binary sequence. We prove that the kth component of the second order difference operator of C can be directly calculated by using the consecutive runs of total length k. In particular this shows that the kth autocorrelation is already determined by all consecutive runs of total length L<k. In the aperiodic case we show how the run vector R can be efficiently calculated and give a characterization of skew-symmetric sequences in terms of their run length encoding.
An example of graph limits of growing sequences of random graphs
Published in Journal of Combinatorics Volume 4 (2013) Number 1, 67-80
• View Publication
• BIB
We consider a class of growing random graphs obtained by creating vertices sequentially one by one: at each step, we choose uniformly the neighbours of the newly created vertex; its degree is a random variable with a fixed but arbitrary distribution, depending on the number of existing vertices. Examples from this class turn out to be the ER random graph, a natural random threshold graph, etc. By working with the notion of graph limits, we define a kernel which, under certain conditions, is the limit of the growing random graph. Moreover, for a subclass of models, the growing graph on any given n vertices has the same distribution as the random graph with n vertices that the kernel defines. The motivation stems from a model of graph growth whose attachment mechanism does not require information about properties of the graph at each iteration.
Turyn-type sequences: Classification, Enumeration and Construction
Published in J. Combin. Designs 21: 24--35, 2013
• View Publication
• BIB
Turyn-type sequences, TT(n), are quadruples of {+,-1}-sequences (A;B;C;D), with lengths n,n,n,n-1 respectively, where the sum of the nonperiodic autocorrelation functions of A,B and twice that of C,D is a delta-function (i.e., vanishes everywhere except at 0). Turyn-type sequences TT(n) are known to exist for all even n not larger than 36. We introduce a definition of equivalence to construct a canonical form for TT(n) in general. By using this canonical form, we enumerate the equivalence classes of TT(n) for n up to and including 32. We also construct the first example of Turyn-type sequences TT(38).
Stirling numbers of forests and cycles
Published
• View Publication
• BIB
For a graph $G$ and a positive integer $k$, the {\em graphical Stirling number} $S(G,k)$ is the number of partitions of the vertex set of $G$ into $k$ non-empty independent sets. Equivalently it is the number of proper colorings of $G$ that use exactly $k$ colors, with two colorings identified if they differ only on the names of the colors. If $G$ is the empty graph on $n$ vertices then $S(G,k)$ reduces to $S(n,k)$, the familiar Stirling number of the second kind.
In this note we first consider Stirling numbers of forests. We show that if $(F^{c(n)}_n)_{n\geq 0}$ is any sequence of forests with $F^{c(n)}_n$ having $n$ vertices and $c(n)=o(\sqrt{n/\log n})$ components, and if $X^{c(n)}_n$ is a random variable that takes value $k$ with probability proportional to $S(F^{c(n)}_n,k)$ (that is, $X^{c(n)}_n$ is the number of classes in a uniformly chosen partition of $F^{c(n)}_n$ into non-empty independent sets), then $X^{c(n)}_n$ is asymptotically normal, meaning that suitably normalized it tends in distribution to the standard normal. This generalizes a seminal result of Harper on the ordinary Stirling numbers. Along the way we give recurrences for calculating the generating functions of the sequences $(S(F^c_n,k))_{k \geq 0}$, show that these functions have all real zeroes, and exhibit three different interlacing patterns between the zeroes of pairs of consecutive generating functions.
We next consider Stirling numbers of cycles. We establish asymptotic normality for the number of classes in a uniformly chosen partition of $C_n$ (the cycle on $n$ vertices) into non-empty independent sets. We give a recurrence for calculating the generating function of the sequence $(S(C_n,k))_{k \geq 0}$, and use this to give a direct proof of a log-concavity result that had previously only been arrived at in a very indirect way.
Dense infinite $B_h$ sequences
Published
• View Publication
• BIB
For $h=3$ and $h=4$ we prove the existence of infinite $B_h$ sequences $\B$ with counting function
$$\mathcal{B}(x)= x^{\sqrt{(h-1)^2+1}-(h-1) + o(1)}.$$ This result extends a construction of I. Ruzsa for $B_2$ sequences.