sequence
7073 papers tagged with this keyword
A step towards cluster superalgebras
We introduce a class of commutative superalgebras generalizing cluster algebras. A cluster superalgebra is defined by a hypergraph called an "extended quiver", and transformations called mutations. We prove the super analog of the "Laurent phenomenon", i.e., that all elements of a given cluster superalgebra are Laurent polynomials in the initial variables, and find an invariant presymplectic form. Examples of cluster superalgebras are provided by superanalogs of Coxeter's frieze patterns. We apply the Laurent phenomenon to construct a new integer sequence extending the Somos-$4$ sequence.
A uniform realization of the combinatorial $R$-matrix
Published
• View Publication
• BIB
Kirillov-Reshetikhin crystals are colored directed graphs encoding the structure of certain finite-dimensional representations of affine Lie algebras. A tensor products of column shape Kirillov-Reshetikhin crystals has recently been realized in a uniform way, for all untwisted affine types, in terms of the quantum alcove model. We enhance this model by using it to give a uniform realization of the combinatorial $R$-matrix, i.e., the unique affine crystal isomorphism permuting factors in a tensor product of KR crystals. In other words, we are generalizing to all Lie types Schützenberger's sliding game (jeu de taquin) for Young tableaux, which realizes the combinatorial $R$-matrix in type $A$. Our construction is in terms of certain combinatorial moves, called quantum Yang-Baxter moves, which are explicitly described by reduction to the rank 2 root systems. We also show that the quantum alcove model does not depend on the choice of a sequence of alcoves joining the fundamental one to a translation of it.
On the Number of ON Cells in Cellular Automata
Published
• View Publication
• BIB
If a cellular automaton (CA) is started with a single ON cell, how many cells will be ON after n generations? For certain "odd-rule" CAs, including Rule 150, Rule 614, and Fredkin's Replicator, the answer can be found by using the combination of a new transformation of sequences, the run length transform, and some delicate scissor cuts. Several other CAs are also discussed, although the analysis becomes more difficult as the patterns become more intricate.
p-Ascent Sequences
Published
• View Publication
• BIB
A sequence $(a_1, \ldots, a_n)$ of nonnegative integers is an {\em ascent sequence} if $a_0 =0$ and for all $i \geq 2$, $a_i$ is at most 1 plus the number of ascents in $(a_1, \ldots, a_{i-1})$. Ascent sequences were introduced by Bousquet-Mélou, Claesson, Dukes, and Kitaev, who showed that these sequences of length $n$ are in 1-to-1 correspondence with \tpt-free posets of size $n$, which, in turn, are in 1-to-1 correspondence with interval orders of size $n$. Ascent sequences are also in bijection with several other classes of combinatorial objects including the set of upper triangular matrices with nonnegative integer entries such that no row or column contains all zeros, permutations that avoid a certain mesh pattern, and the set of Stoimenow matchings.
In this paper, we introduce a generalization of ascent sequences, which we call {\em $p$-ascent sequences}, where $p \geq 1$. A sequence $(a_1, \ldots, a_n)$ of nonnegative integers is a $p$-ascent sequence if $a_0 =0$ and for all $i \geq 2$, $a_i$ is at most $p$ plus the number of ascents in $(a_1, \ldots, a_{i-1})$. Thus, in our terminology, ascent sequences are 1-ascent sequences. We generalize a result of the authors by enumerating $p$-ascent sequences with respect to the number of $0$s. We also generalize a result of Dukes, Kitaev, Remmel, and Steingrímsson by finding the generating function for the number of $p$-ascent sequences which have no consecutive repeated elements. Finally, we initiate the study of pattern-avoiding $p$-ascent sequences.
Discrete Malliavin-Stein method: Berry-Esseen bounds for random graphs and percolation
Published
• View Publication
• BIB
A new Berry-Esseen bound for non-linear functionals of non-symmetric and non-homogeneous infinite Rademacher sequences is established. It is based on a discrete version of the Malliavin-Stein method and an analysis of the discrete Ornstein-Uhlenbeck semigroup. The result is applied to sub-graph counts and to the number of vertices having a prescribed degree in the Erdős-Renyi random graph. A further application deals with a percolation problem on trees.
Action graphs and Catalan numbers
We introduce an inductively defined sequence of directed graphs and prove that the number of edges added at step $k$ is equal to the $k$th Catalan number. Furthermore, we establish an isomorphism between the set of edges adjoined at step $k$ and the set of planar rooted trees with $k$ edges.
Limits of functions on groups
Published
• View Publication
• BIB
Our goal is to develop a limit approach for a class of problems in additive combinatorics that is analogous to the limit theory of dense graph sequences. We introduce metric, convergence and limit objects for functions on groups and for measurable functions on compact abelian groups. As an application we find exact minimizers for densities of linear configurations of complexity $1$.
Successful Pressing Sequences for a Bicolored Graph and Binary Matrices
Published
• View Publication
• BIB
We apply matrix theory over $\mathbb{F}_2$ to understand the nature of so-called "successful pressing sequences" of black-and-white vertex-colored graphs. These sequences arise in computational phylogenetics, where, by a celebrated result of Hannenhalli and Pevzner, the space of sortings-by-reversal of a signed permutation can be described by pressing sequences. In particular, we offer several alternative linear-algebraic and graph-theoretic characterizations of successful pressing sequences, describe the relation between such sequences, and provide bounds on the number of them. We also offer several open problems that arose as a result of the present work.
Words in Linear Groups, Random Walks, Automata and P-Recursiveness
Published
• View Publication
• BIB
Fix a finite set $S \subset {GL}(k,\mathbb{Z})$. Denote by $a_n$ the number of products of matrices in $S$ of length $n$ that are equal to 1. We show that the sequence $\{a_n\}$ is not always P-recursive. This answers a question of Kontsevich.
Novel structures in Stanley sequences
Published in Discrete Mathematics, 339 (2), 689-698 (2016)
• View Publication
• BIB
Given a set of integers with no three in arithmetic progression, we construct a Stanley sequence by adding integers greedily so that no arithmetic progression is formed. This paper offers two main contributions to the theory of Stanley sequences. First, we characterize well-structured Stanley sequences as solutions to constraints in modular arithmetic, defining the modular Stanley sequences. Second, we introduce the basic Stanley sequences, where elements arise as the sums of subsets of a basis sequence, which in the simplest case is the powers of 3. Applications of our results include the construction of Stanley sequences with arbitrarily large gaps between terms, answering a weak version of a problem by Erdős et al. Finally, we generalize many results about Stanley sequences to $p$-free sequences, where $p$ is any odd prime.
Log-concavity, the Ulam distance and involutions
We prove that in a large collection of naturally defined sets of permutations of fixed length, the numbers of permutations at Ulam distance k from the identity form a log-concave sequence in k.
Decompositions of edge-colored infinite complete graphs into monochromatic paths
Published
• View Publication
• BIB
An $r$-edge coloring of a graph or hypergraph $G=(V,E)$ is a map $c:E\to \{0, \dots, r-1\}$. Extending results of Rado and answering questions of Rado, Gyárfás and Sárközy we prove that
(1.) the vertex set of every $r$-edge colored countably infinite complete $k$-uniform hypergraph can be partitioned into $r$ monochromatic tight paths with distinct colors (a tight path in a $k$-uniform hypergraph is a sequence of distinct vertices such that every set of $k$ consecutive vertices forms an edge),
(2.) for all natural numbers $r$ and $k$ there is a natural number $M$ such that the vertex set of every $r$-edge colored countably infinite complete graph can be partitioned into $M$ monochromatic $k^{th}$ powers of paths apart from a finite set (a $k^{th}$ power of a path is a sequence $v_0, v_1, \dots$ of distinct vertices such that $1\le|i-j| \le k$ implies that $v_iv_j$ is an edge),
(3.) the vertex set of every $2$-edge colored countably infinite complete graph can be partitioned into $4$ monochromatic squares of paths, but not necessarily into $3$,
(4.) the vertex set of every $2$-edge colored complete graph on $ω_1$ can be partitioned into $2$ monochromatic paths with distinct colors.
Regularized limit of determinants for discrete tori
Published in Monatsh. Math. 186 (2018), no. 3, 539-557
• View Publication
• BIB
We consider a combinatorial Laplace operator on a sequence of discrete graphs which approximates the m-dimensional torus when the discretization parameter tends to infinity.
We establish a polyhomogeneous expansion of the resolvent trace for the family of discrete graphs, jointly in the resolvent and the discretization parameter. Based on a result about interchanging regularized limits and regularized integrals, we compare the regularized limit of the log-determinants of the combinatorial Laplacian on the sequence of discrete graphs with the logarithm of the zeta determinant for the Laplace Beltrami operator on the m-dimensional torus.
In a similar manner we may apply our method to compare the product of the first N non-zero eigenvalues of the Laplacian on a torus (or any other smooth manifold with an explicitly known spectrum) with the zeta-regularized determinant of the Laplacian in the regularized limit as N goes to infinity.
Sequences of formation width $4$ and alternation length $5$
Sequence pattern avoidance is a central topic in combinatorics. A sequence $s$ contains a sequence $u$ if some subsequence of $s$ can be changed into $u$ by a one-to-one renaming of its letters. If $s$ does not contain $u$, then $s$ avoids $u$. A widely studied extremal function related to pattern avoidance is $Ex(u, n)$, the maximum length of an $n$-letter sequence that avoids $u$ and has every $r$ consecutive letters pairwise distinct, where $r$ is the number of distinct letters in $u$.
We bound $Ex(u, n)$ using the formation width function, $fw(u)$, which is the minimum $s$ for which there exists $r$ such that any concatenation of $s$ permutations, each on the same $r$ letters, contains $u$. In particular, we identify every sequence $u$ such that $fw(u)=4$ and $u$ contains $ababa$. The significance of this result lies in its implication that, for every such sequence $u$, we have $Ex(u, n) = Θ(n α(n))$, where $α(n)$ denotes the incredibly slow-growing inverse Ackermann function. We have thus identified the extremal function of many infinite classes of previously unidentified sequences.
Sodalite Network: Height and Spherical Content (Coordination Sequence)
The `sodalite' network is the edge-skeleton of the uniform tiling in Euclidean 3-dimensional space by Archimedean tetrakaidecahedra (truncated octahedra). We develop explicit expressions for its `height' (minimum network path length from some fixed to given vertex) and `coordination' (content of network sphere of given height) functions. The final discussion should to some extent assist in motivating and signposting our proof strategy, in the course of ruminating on its potential generalisation.
Increasing paths in edge-ordered graphs: the hypercube and random graphs
Published
• View Publication
• BIB
An edge-ordering of a graph $G=(V,E)$ is a bijection $φ:E\to\{1,2,...,|E|\}$. Given an edge-ordering, a sequence of edges $P=e_1,e_2,...,e_k$ is an increasing path if it is a path in $G$ which satisfies $φ(e_i)<φ(e_j)$ for all $i<j$. For a graph $G$, let $f(G)$ be the largest integer $\ell$ such that every edge-ordering of $G$ contains an increasing path of length $\ell$. The parameter $f(G)$ was first studied for $G=K_n$ and has subsequently been studied for other families of graphs. This paper gives bounds on $f$ for the hypercube and the random graph $G(n,p)$.
Gray-coding through nested sets
We consider the following combinatorial question. Let $$ S_0 \subset S_1 \subset S_2 \subset ...\subset S_m $$ be nested sets, where #$(S_i) = i$. A move consists of altering one of the sets $S_i$, $1 \le i \le m-1$, in a manner so that the nested condition still holds and #$(S_i)$ is still $i$. Our goal is to find a sequence of moves that exhausts through all subsets of $S_m$ (other than the initial sets $S_i$) with no repeats. We call this "Gray-coding through nested sets" because of the analogy with Frank Gray's theory of exhausting through integers while altering only one bit at a time. Our main result is an efficient algorithm that solves this problem. As a byproduct, we produce new families of cyclic Gray codes through binary $m$-bit integers.
Partitioning de Bruijn Graphs into Fixed-Length Cycles for Robot Identification and Tracking
Published in Discrete Applied Mathematics 213:101-113, 2016
• View Publication
• BIB
We propose a new camera-based method of robot identification, tracking and orientation estimation. The system utilises coloured lights mounted in a circle around each robot to create unique colour sequences that are observed by a camera. The number of robots that can be uniquely identified is limited by the number of colours available, $q$, the number of lights on each robot, $k$, and the number of consecutive lights the camera can see, $\ell$. For a given set of parameters, we would like to maximise the number of robots that we can use. We model this as a combinatorial problem and show that it is equivalent to finding the maximum number of disjoint $k$-cycles in the de Bruijn graph $\text{dB}(q,\ell)$.
We provide several existence results that give the maximum number of cycles in $\text{dB}(q,\ell)$ in various cases. For example, we give an optimal solution when $k=q^{\ell-1}$. Another construction yields many cycles in larger de Bruijn graphs using cycles from smaller de Bruijn graphs: if $\text{dB}(q,\ell)$ can be partitioned into $k$-cycles, then $\text{dB}(q,\ell)$ can be partitioned into $tk$-cycles for any divisor $t$ of $k$. The methods used are based on finite field algebra and the combinatorics of words.
On Subword Complexity of Morphic Sequences
Published
• View Publication
• BIB
We study structure of pure morphic and morphic sequences and prove the following result: the subword complexity of arbitrary morphic sequence is either $Θ(n^{1+1/k})$ for some $k\in\mathbb N$, or is $O(n \log n)$.
Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley's process
Published
• View Publication
• BIB
We investigate partitioning of integer sequences into heapable subsequences (previously defined and established by Mitzenmacher et al). We show that an extension of patience sorting computes the decomposition into a minimal number of heapable subsequences (MHS). We connect this parameter to an interactive particle system, a multiset extension of Hammersley's process, and investigate its expected value on a random permutation. In contrast with the (well studied) case of the longest increasing subsequence, we bring experimental evidence that the correct asymptotic scaling is $\frac{1+\sqrt{5}}{2}\cdot \ln(n)$. Finally we give a heap-based extension of Young tableaux, prove a hook inequality and an extension of the Robinson-Schensted correspondence.