sequence
7073 papers tagged with this keyword
A monotonicity property for generalized Fibonacci sequences
Published
• View Publication
• BIB
Given k>1, let a_n be the sequence defined by the recurrence a_n=c_1a_{n-1}+c_2a_{n-2}+...+c_ka_{n-k} for n>=k, with initial values a_0=a_1=...=a_{k-2}=0 and a_{k-1}= 1. We show under a couple of assumptions concerning the constants c_i that the ratio of the n-th root of a_n to the (n-1)-st root of a_{n-1} is strictly decreasing for all n>=N, for some N depending on the sequence, and has limit 1. In particular, this holds in the cases when all of the c_i are unity or when all of the c_i are zero except for the first and last, which are unity. Furthermore, when k=3 or k=4, it is shown that one may take N to be an integer less than 12 in each of these cases.
On the number of 5-cycles in a tournament
Published
• View Publication
• BIB
We find an exact formula for the number of directed 5-cycles in a tournament in terms of its edge score sequence. We use this formula to find both upper and lower bounds on the number of 5-cycles in any $n$-tournament. In particular, we show that the maximum number of 5-cycles is asymptotically equal to $\frac{3}{4}{n \choose 5}$, the expected number 5-cycles in a random tournament ($p=\frac{1}{2}$), with equality (up to order of magnitude) for almost all tournaments. Note that this means that almost all $n$-tournaments contain the maximum number of $5$-cycles.
Properties of stochastic Kronecker graphs
Published
• View Publication
• BIB
The stochastic Kronecker graph model introduced by Leskovec et al. is a random graph with vertex set $\mathbb Z_2^n$, where two vertices $u$ and $v$ are connected with probability $α^{{u}\cdot{v}}γ^{(1-{u})\cdot(1-{v})}β^{n-{u}\cdot{v}-(1-{u})\cdot(1-{v})}$ independently of the presence or absence of any other edge, for fixed parameters $0<α,β,γ<1$. They have shown empirically that the degree sequence resembles a power law degree distribution. In this paper we show that the stochastic Kronecker graph a.a.s. does not feature a power law degree distribution for any parameters $0<α,β,γ<1$. In addition, we analyze the number of subgraphs present in the stochastic Kronecker graph and study the typical neighborhood of any given vertex.
Szemerédi's regularity lemma via martingales
Published in The Electronic Journal of Combinatorics 23 (2016), Research Paper P3.11, 1-24
• View Publication
• BIB
We prove a variant of the abstract probabilistic version of Szemerédi's regularity lemma, due to Tao, which applies to a number of structures (including graphs, hypergraphs, hypercubes, graphons, and many more) and works for random variables in $L_p$ for any $p>1$. Our approach is based on martingale difference sequences.
On homology of finite topological spaces
Published in Topology and its Applications 217 (2017), 1-19
• View Publication
• BIB
We develop a new method to compute the homology groups of finite topological spaces (or equivalently of finite partially ordered sets) by means of spectral sequences giving a complete and simple description of the corresponding differentials. Our method proves to be powerful and involves far fewer computations than the standard one. We derive many applications of our technique which include a generalization of Hurewicz theorem for regular CW-complexes, results in homological Morse theory and formulas to compute the Möbius function of posets.
Generalized Fibonacci and Lucas cubes arising from powers of paths and cycles
Published in Discrete Mathematics, Volume 339, Issue 1, 6 January 2016, Pages 270-282, ISSN 0012-365X
• View Publication
• BIB
The paper deals with some generalizations of Fibonacci and Lucas sequences, arising from powers of paths and cycles, respectively.
In the first part of the work we provide a formula for the number of edges of the Hasse diagram of the independent sets of the h-th power of a path ordered by inclusion. For h=1 such a diagram is called a Fibonacci cube, and for h>1 we obtain a generalization of the Fibonacci cube. Consequently, we derive a generalized notion of Fibonacci sequence, called h-Fibonacci sequence. Then, we show that the number of edges of a generalized Fibonacci cube is obtained by convolution of an h-Fibonacci sequence with itself.
In the second part we consider the case of cycles. We evaluate the number of edges of the Hasse diagram of the independent sets of the hth power of a cycle ordered by inclusion. For h=1 such a diagram is called Lucas cube, and for h>1 we obtain a generalization of the Lucas cube. We derive then a generalized version of the Lucas sequence, called h-Lucas sequence. Finally, we show that the number of edges of a generalized Lucas cube is obtained by an appropriate convolution of an h-Fibonacci sequence with an h-Lucas sequence.
Sturmian words and the Stern sequence
Published
• View Publication
• BIB
Central, standard, and Christoffel words are three strongly interrelated classes of binary finite words which represent a finite counterpart of characteristic Sturmian words. A natural arithmetization of the theory is obtained by representing central and Christoffel words by irreducible fractions labeling respectively two binary trees, the Raney (or Calkin-Wilf) tree and the Stern-Brocot tree. The sequence of denominators of the fractions in Raney's tree is the famous Stern diatomic numerical sequence. An interpretation of the terms $s(n)$ of Stern's sequence as lengths of Christoffel words when $n$ is odd, and as minimal periods of central words when $n$ is even, allows one to interpret several results on Christoffel and central words in terms of Stern's sequence and, conversely, to obtain a new insight in the combinatorics of Christoffel and central words by using properties of Stern's sequence. One of our main results is a non-commutative version of the "alternating bit sets theorem" by Calkin and Wilf. We also study the length distribution of Christoffel words corresponding to nodes of equal height in the tree, obtaining some interesting bounds and inequalities.
Intervals of permutation class growth rates
Published in Combinatorica, 38(2):279-303, 2018
• View Publication
• BIB
We prove that the set of growth rates of permutation classes includes an infinite sequence of intervals whose infimum is $θ_B\approx2.35526$, and that it also contains every value at least $λ_B\approx2.35698$. These results improve on a theorem of Vatter, who determined that there are permutation classes of every growth rate at least $λ_A\approx2.48187$. Thus, we also refute his conjecture that the set of growth rates below $λ_A$ is nowhere dense. Our proof is based upon an analysis of expansions of real numbers in non-integer bases, the study of which was initiated by Rényi in the 1950s. In particular, we prove two generalisations of a result of Pedicini concerning expansions in which the digits are drawn from sets of allowed values.
Reversible peg solitaire on graphs
Published
• View Publication
• BIB
The game of peg solitaire on graphs was introduced by Beeler and Hoilman in 2011. In this game, pegs are initially placed on all but one vertex of a graph $G$. If $xyz$ forms a path in $G$ and there are pegs on vertices $x$ and $y$ but not $z$, then a {\em jump} places a peg on $z$ and removes the pegs from $x$ and $y$. A graph is called solvable if, for some configuration of pegs occupying all but one vertex, some sequence of jumps leaves a single peg. We study the game of {\em reversible peg solitaire}, where there are again initially pegs on all but one vertex, but now both jumps and unjumps (the reversal of a jump) are allowed. We show that in this game all non-star graphs that contain a vertex of degree at least three are solvable, that cycles and paths on $n$ vertices, where $n$ is divisible by $2$ or $3$, are solvable, and that all other graphs are not solvable. We also classify the possible starting hole and ending peg positions for solvable graphs.
There are no Coincidences
This paper is inspired by a seqfan post by Jeremy Gardiner. The post listed nine sequences with similar parities. In this paper I prove that the similarities are not a coincidence but a mathematical fact.
Distinguishing graphs with zeta functions and generalized spectra
Published in Linear Algebra Appl. 481 (2015) 54-82
• View Publication
• BIB
Conjecturally, almost all graphs are determined by their spectra. This problem has also been studied for variants such as the spectra of the Laplacian and signless Laplacian. Here we consider the problem of determining graphs with Ihara and Bartholdi zeta functions, which are also computable in polynomial time. These zeta functions are geometrically motivated, but can be viewed as certain generalizations of characteristic polynomials. After discussing some graph properties determined by zeta functions, we show that large classes of cospectral graphs can be distinguished with zeta functions and enumerate graphs distinguished by zeta functions on $\le 11$ vertices. This leads us to conjecture that almost all graphs which are not determined by their spectrum are determined by zeta functions.
Along the way, we make some observations about the usual types of spectra and disprove a conjecture of Setyadi and Storm about Ihara zeta functions determining degree sequences.
Mutation effects in ordered trees
A mutation will affect an individual and some or all of its descendants. In this paper, we investigate ordered trees with a distinguished vertex called the mutator. We describe various mutations in ordered trees, and find the generating functions for statistics concerning trees with those mutations. The examples give new interpretations to several known sequences and also introduce many new sequences and their combinatorial interpretations.
The sorting index on colored permutations and even-signed permutations
Published
• View Publication
• BIB
We define a new statistic $\mathsf{sor}$ on the set of colored permutations $\mathsf{G}_{r,n}$ and prove that it has the same distribution as the length function. For the set of restricted colored permutations corresponding to the arrangements of $n$ non-attacking rooks on a fixed Ferrers shape we show that the following two sequences of set-valued statistics are joint equidistributed: $(\ell,\mathsf{Rmil}^0,\mathsf{Rmil}^1,...,\mathsf{Rmil}^{r-1}$, $\mathsf{Lmil}^0,\mathsf{Lmil}^1,...,\mathsf{Lmil}^{r-1}$, $\mathsf{Lmal}^0,\mathsf{Lmal}^1,...,\mathsf{Lmal}^{r-1}$, $\mathsf{Lmap}^0,\mathsf{Lmap}^1,...,\mathsf{Lmap}^{r-1})$ and $(\mathsf{sor},\mathsf{Cyc}^0,\mathsf{Cyc}^{r-1},...,\mathsf{Cyc}^{1}$, $\mathsf{Lmic}^0,\mathsf{Lmic}^{r-1},...,\mathsf{Lmic}^{1}$, $\mathsf{Lmal}^0,\mathsf{Lmal}^1,...,\mathsf{Lmal}^{r-1}$, $\mathsf{Lmap}^0,\mathsf{Lmap}^1,...,\mathsf{Lmap}^{r-1})$. Analogous results are also obtained for Coxeter group of type $D$. Our results extend recent results of Petersen, Chen-Gong-Guo and Poznanović.
Some identities involving Prouhet-Thue-Morse sequence and its relatives
Published
• View Publication
• BIB
Let $s_{k}(n)$ denote the sum of digits of an integer $n$ in base $k$. Motivated by certain identities of Nieto, and Bateman and Bradley involving sums of the form $\sum_{i=0}^{2^{n}-1}(-1)^{s_{2}(i)}(x+i)^{m}$ for $m=n$ and $m=n+1$, we consider the sequence of polynomials \begin{equation*} f_{m,n}^{\mathbf u}(x)=\sum_{i=0}^{k^{n}-1}ζ_{k}^{s_{k}(i)}(x+{\mathbf u}(i))^{m}. \end{equation*} defined for sequences ${\bf u}(i)$ satisfying a certain recurrence relation.
We prove that computing these polynomials is essentially equivalent with computing their constant term and we find an explicit formula for this number. This allows us to prove several interesting identities involving sums of binary digits. We also prove some related results which are of independent interests and can be seen as further generalizations of certain sums involving Prouhet-Thue-Morse sequence.
Semidefinite approximations of conical hulls of measured sets
Published
• View Publication
• BIB
Let $C$ be a proper convex cone generated by a compact set which supports a measure $μ$. A construction due to A.Barvinok, E.Veomett and J.B. Lasserre produces, using $μ$, a sequence $(P_k)_{k\in \mathbb{N}}$ of nested spectrahedral cones which contains the cone $C^*$ dual to $C$. We prove convergence results for such sequences of spectrahedra and provide tools for bounding the distance between $P_k$ and $C^*$. These tools are especially useful on cones with enough symmetries and allow us to determine bounds for several cones of interest. We compute such upper bounds for semidefinite approximations of cones over traveling salesman polytopes and for cones of nonnegative ternary sextics and quaternary quartics.
A note on a new ideal
Published in J. Math. Anal. Appl., 430, No. 2, (2015), 932-949
• View Publication
• BIB
In this paper we study a new ideal $\mathcal{WR}$. The main result is the following: an ideal is not weakly Ramsey if and only if it is above $\mathcal{WR}$ in the Katětov order. Weak Ramseyness was introduced by Laflamme in order to characterize winning strategies in a certain game. We apply result of Natkaniec and Szuca to conclude that $\mathcal{WR}$ is critical for ideal convergence of sequences of quasi-continuous functions. We study further combinatorial properties of $\mathcal{WR}$ and weak Ramseyness. Answering a question of Filipów et al. we show that $\mathcal{WR}$ is not $2$-Ramsey, but every ideal on $ω$ isomorphic to $\mathcal{WR}$ is Mon (every sequence of reals contains a monotone subsequence indexed by a $\mathcal{I}$-positive set).
Palindromic sequences generated from marked morphisms
Published in European Journal of Combinatorics (2016) 200-214
• View Publication
• BIB
Fixed points ${\bf u}=\varphi({\bf u})$ of marked and primitive morphisms $\varphi$ over arbitrary alphabet are considered. We show that if ${\bf u}$ is palindromic, i.e., its language contains infinitely many palindromes, then some power of $\varphi$ has a conjugate in class ${\mathcal P}$. This class was introduced by Hof, Knill, Simon (1995) in order to study palindromic morphic words. Our definitions of marked and well-marked morphisms are more general than the ones previously used by Frid (1999) or Tan (2007). As any morphism with aperiodic fixed point over binary alphabet is marked, our result generalizes the result of Tan. Labbé (2014) demonstrated that already on a ternary alphabet the property of morphisms to be marked is important for the validity of our theorem. The main tool used in our proof is the description of bispecial factors in fixed points of morphisms provided by Klouda (2012).
Superlinear subset partition graphs with dimension reduction, strong adjacency, and endpoint count
Published
• View Publication
• BIB
We construct a sequence of subset partition graphs satisfying the dimension reduction, adjacency, strong adjacency, and endpoint count properties whose diameter has a superlinear asymptotic lower bound. These abstractions of polytope graphs give further evidence against the Linear Hirsch Conjecture.
Colored compositions, Invert operator and elegant compositions with the "black tie"
Published in Discrete Mathematics, Vol. 335, 1-7, 2014
• View Publication
• BIB
This paper shows how the study of colored compositions of integers reveals some unexpected and original connection with the Invert operator. The Invert operator becomes an important tool to solve the problem of directly counting the number of colored compositions for any coloration. The interesting consequences arising from this relationship also give an immediate and simple criterion to determine whether a sequence of integers counts the number of some colored compositions. Applications to Catalan and Fibonacci numbers naturally emerge, allowing to clearly answer to some open questions. Moreover, the definition of colored compositions with the "black tie" provides straightforward combinatorial proofs to a new identity involving multinomial coefficients and to a new closed formula for the Invert operator. Finally, colored compositions with the "black tie" give rise to a new combinatorial interpretation for the convolution operator, and to a new and easy method to count the number of parts of colored compositions.
A note on m_h(A_k)
A_k = {1, a_2, ..., a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i; we write n = n_h(A_k). An extremal h-basis A_k is one for which n is as large as possible, and then we write n = n_h(k).
The "local" Postage Stamp Problem is concerned with properties of particular sets A_k, and it is clear that sets where n_h(A_k) does not exceed a_k are of little interest. We define h_0(k) to be the smallest value of h for which n_h(A_k) exceeds a_k; such sets are called "admissible".
We say that a value n can be "generated" by A_k if it can be expressed as the sum of no more than h values a_i, or - equivalently - if it can be expressed as the sum of exactly h values a_i from the set A'_k = {0, a_1, a_2, ... a_k}. No values greater than ha_k can be generated, and we now consider the number of values less than ha_k that have no generation, denoted m_h(A_k) - essentially a count of the number of "gaps" (see Challis [1], and Selmer [5] page 3.1).
It is easy to show that for some value h_2(k) exceeding h_0(k) the difference m_h(A_k) - m_(h+1)(A_k) remains constant - that is, the "pattern" of missing values between ha_k and (h+1)a_k does not change as h increases. Here we are interested in the pattern of missing values for values that lie between h_0 and h_2.
On page 7.8 of Selmer [5] he conjectures that the sequence of differences m_h(A_k) - m_(h+1)(A_k) is non-increasing as h runs from h_0 to h_2. When I came across this conjecture I could not convince myself that it was likely to be true, having found a possible error in Selmer's justification. I wrote to him in November 1995, and early in 1996 he replied, agreeing that this might be the case and hoping that I might be able to find a counter example. This paper records my successful search for a counter example, eventually found late in 1999.