sequence
6845 papers tagged with this keyword
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.
Output sum of transducers: Limiting distribution and periodic fluctuation
Published in Electron. J. Combin. 22 (2015), no. 2, 1-53
• View Publication
• BIB
As a generalization of the sum of digits function and other digital sequences, sequences defined as the sum of the output of a transducer are asymptotically analyzed. The input of the transducer is a random integer in $[0, N)$. Analogues in higher dimensions are also considered. Sequences defined by a certain class of recursions can be written in this framework.
Depending on properties of the transducer, the main term, the periodic fluctuation and an error term of the expected value and the variance of this sequence are established. The periodic fluctuation of the expected value is Hölder continuous and, in many cases, nowhere differentiable. A general formula for the Fourier coefficients of this periodic function is derived. Furthermore, it turns out that the sequence is asymptotically normally distributed for many transducers. As an example, the abelian complexity function of the paperfolding sequence is analyzed. This sequence has recently been studied by Madill and Rampersad.
Minimizing Wiener Index for Vertex-Weighted Trees with Given Weight and Degree Sequences
Published in MATCH Commun. Math. Comput. Chem., Volume 75 (2016) number 1, pp. 3-27
• Search Publication
In 1997 Klavžar and Gutman suggested a generalization of the Wiener index to vertex-weighted graphs. We minimize the Wiener index over the set of trees with the given vertex weights' and degrees' sequences and show an optimal tree to be the, so-called, Huffman tree built in a bottom-up manner by sequentially connecting vertices of the least weights.
Asymptotic properties of biorthogonal polynomials systems related to Hermite and Laguerre polynomials
In this paper, the structures to a family of biorthogonal polynomials that approximate to the Hermite and Generalized Laguerre polynomials are discussed respectively. Therefore, the asymptotic relation between several orthogonal polynomials and combinatorial polynomials are derived from the systems, which in turn verify the Askey scheme of hypergeometric orthogonal polynomials. As the applications of these properties, the asymptotic representations of the generalized Buchholz, Laguerre, Ultraspherical(Gegenbauer), Bernoulli, Euler, Meixner and Meixner-Pllaczekare polynomials are derived from the theorems directly. The relationship between Bernoulli and Euler polynomials are shown as a special case of the characterization theorem of the Appell sequence generated by $α$ scaling functions.
Codes for DNA Sequence Profiles
Published
• View Publication
• BIB
We consider the problem of storing and retrieving information from synthetic DNA media. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on their collection of substrings observed through a noisy channel. This problem of reconstructing sequences from traces was first investigated in the noiseless setting under the name of "Markov type" analysis. Here, we explain the connection between the reconstruction problem and the problem of DNA synthesis and sequencing, and introduce the notion of a DNA storage channel. We analyze the number of sequence equivalence classes under the channel mapping and propose new asymmetric coding techniques to combat the effects of synthesis and sequencing noise. In our analysis, we make use of restricted de Bruijn graphs and Ehrhart theory for rational polytopes.
Large subsets of discrete hypersurfaces in $\mathbb{Z}^d$ contain arbitrarily many collinear points
Published in European Journal of Combinatorics, Volume 54, May 2016, Pages 163--176
• View Publication
• BIB
In 1977 L.T. Ramsey showed that any sequence in $\mathbb{Z}^2$ with bounded gaps contains arbitrarily many collinear points. Thereafter, in 1980, C. Pomerance provided a density version of this result, relaxing the condition on the sequence from having bounded gaps to having gaps bounded on average. We give a higher dimensional generalization of these results. Our main theorem is the following.
Theorem: Let $d\in\mathbb{N}$, let $f:\mathbb{Z}^d\to\mathbb{Z}^{d+1}$ be a Lipschitz map and let $A\subset\mathbb{Z}^d$ have positive upper Banach density. Then $f(A)$ contains arbitrarily many collinear points.
Note that Pomerance's theorem corresponds to the special case $d=1$. In our proof, we transfer the problem from a discrete to a continuous setting, allowing us to take advantage of analytic and measure theoretic tools such as Rademacher's theorem.
Locally standard torus actions and h'-vectors of simplicial posets
Published in J. Math. Soc. Japan 68:4 (2016), 1-21
• View Publication
• BIB
We consider the orbit type filtration on a manifold $X$ with locally standard action of a compact torus and the corresponding homological spectral sequence $(E_X)^r_{*,*}$. If all proper faces of the orbit space $Q=X/T$ are acyclic, and the free part of the action is trivial, this spectral sequence can be described in full. The ranks of diagonal terms are equal to the $h'$-numbers of the Buchsbaum simplicial poset $S_Q$ dual to $Q$. Betti numbers of $X$ depend only on the orbit space $Q$ but not on the characteristic function. If $X$ is a slightly different object, namely the model space $X=(P\times T^n)/\sim$ where $P$ is a cone over Buchsbaum simplicial poset $S$, we prove that $\dim (E_X)^{\infty}_{p,p} = h''_p(S)$. This gives a topological evidence for the fact that $h''$-numbers of Buchsbaum simplicial posets are nonnegative.
Zigzag diagrams and Martin boundary
Published in Ann. Probab., Volume 46, Number 5 (2018), 2562-2620
• View Publication
• BIB
We investigate the asymptotic behavior of random paths on a graded graph which describes the subword order for words in two letters. This graph, denoted by $\mathcal{Z}$, has been introduced by Viennot, who also discovered a remarkable bijection between paths on $\mathcal{Z}$ and sequences of permutations. Later on, Gnedin and Olshanski used this bijection to describe the set of Gibbs measures on this graph. Both authors also conjectured that the Martin boundary of $\mathcal{Z}$ should coincide with its minimal boundary. We give here a proof of this conjecture by describing the distribution of a large random path conditioned on having a prescribed endpoint. We also relate paths on the graph Z with paths on the Young lattice, and we finally give a central limit theorem for the Plancherel measure on the set of paths in $\mathcal{Z}$.
First order convergence of matroids
The model theory based notion of the first order convergence unifies the notions of the left-convergence for dense structures and the Benjamini-Schramm convergence for sparse structures. It is known that every first order convergent sequence of graphs with bounded tree-depth can be represented by an analytic limit object called a limit modeling. We establish the matroid counterpart of this result: every first order convergent sequence of matroids with bounded branch-depth representable over a fixed finite field has a limit modeling, i.e., there exists an infinite matroid with the elements forming a probability space that has asymptotically the same first order properties. We show that neither of the bounded branch-depth assumption nor the representability assumption can be removed.