sequence
6966 papers tagged with this keyword
Recurrences for certain sequences of binomial sums in terms of (generalized) Fibonacci and Lucas polynomials
We give a simplified presentation of some results about recurrences of certain sequences of binomial sums in terms of (generalized) Fibonacci and Lucas polynomials.
On the Asymptotics and the Non-Holonomic Character of First Returns in the Standard Euclidean Lattice
Published
• View Publication
• BIB
We give precise asymptotics to the number of first time returning random walks in the standard orthogonal lattice in $\mathbb{R}$ and we prove that these numbers do not form a $P$-recursive sequence. In the process, the known asymptotics of the number of closed walks are obtained in an elementary way, by using a combinatorial and geometric multiplication principle together with the classical theory of Legendre polynomials. By showing that the relevant generating functions are $G$-functions, we use a form of the Hadamard convolution to find their singularities in all dimensions and give the ODEs that they satisfy for $d\leq 5$, some of which seem to be new. We use the Lucas property of the number of closed walks to prove that the corresponding generating function is not invertible as a $G$-function, which immediately implies that the generating function of the first time returning walks is not holonomic. We propose a few conjectures on the form of the asymptotic coefficients and of the ODEs.
Graphs with equal Grundy domination and independence number
The Grundy domination number, ${γ_{\rm gr}}(G)$, of a graph $G$ is the maximum length of a sequence $(v_1,v_2,\ldots, v_k)$ of vertices in $G$ such that for every $i\in \{2,\ldots, k\}$, the closed neighborhood $N[v_i]$ contains a vertex that does not belong to any closed neighborhood $N[v_j]$, where $j<i$. It is well known that the Grundy domination number of any graph $G$ is greater than or equal to the upper domination number $Γ(G)$, which is in turn greater than or equal to the independence number $α(G)$. In this paper, we initiate the study of the class of graphs $G$ with $Γ(G)={γ_{\rm gr}}(G)$ and its subclass consisting of graphs $G$ with $α(G)={γ_{\rm gr}}(G)$. We characterize the latter class of graphs among all twin-free connected graphs, provide a number of properties of these graphs, and prove that the hypercubes are members of this class. In addition, we give several necessary conditions for graphs $G$ with $Γ(G)={γ_{\rm gr}}(G)$ and present large families of such graphs.
Kempe Equivalent List Colorings Revisited
Published
• View Publication
• BIB
A \emph{Kempe chain} on colors $a$ and $b$ is a component of the subgraph induced by colors $a$ and $b$. A \emph{Kempe change} is the operation of interchanging the colors of some Kempe chain. For a list-assignment $L$ and an $L$-coloring $\varphi$, a Kempe change is \emph{$L$-valid} for $\varphi$ if performing the Kempe change yields another $L$-coloring. Two $L$-colorings are \emph{$L$-equivalent} if we can form one from the other by a sequence of $L$-valid Kempe changes. A \emph{degree-assignment} is a list-assignment $L$ such that $L(v)\ge d(v)$ for every $v\in V(G)$. Cranston and Mahmoud (\emph{Combinatorica}, 2023) asked: For which graphs $G$ and degree-assignment $L$ of $G$ is it true that all the $L$-colorings of $G$ are $L$-equivalent? We prove that for every 4-connected graph $G$ which is not complete and every degree-assignment $L$ of $G$, all $L$-colorings of $G$ are $L$-equivalent.
Ehrhart Limits
Published
• View Publication
• BIB
We introduce the definition of an Ehrhart limit, that is, a formal power series with integer coefficients that is the limit in the ring of formal power series of a sequence of Ehrhart $h^*$-polynomials. We identify a variety of examples of sequences of polytopes that yield Ehrhart limits, with a focus on reflexive polytopes and simplices.
A representation of $\text{Out}\left(F_{n}\right)$ by counting subwords of cyclic words
We generalize the combinatorial approaches of Rapaport and Higgins--Lyndon to the Whitehead algorithm. We show that for every automorphism $\varphi$ of a free group $F$ and every word $u\in F$ there exists a finite multiset of words $S_{u,\varphi}$ satisfying the following property: For every cyclic word $w$, the number of times $u$ appears as a subword of $\varphi\left(w\right)$ depends only on the appearances of words in $S_{u,\varphi}$ as subwords of $w$. We use this fact to construct a faithful representation of $\text{Out}\left(F_{n}\right)$ on an inverse limit of $\mathbb{Z}$-modules, so that each automorphism is represented by sequence of finite rectangular matrices, which can be seen as successively better approximations of the automorphism.
Random walks with drift inside a pyramid: convergence rate for the survival probability
Published
• View Publication
• BIB
We consider multidimensional random walks in pyramids, which by definition are cones formed by finite intersections of half-spaces. The main object of interest is the survival probability $\mathbb{P}(τ>n)$, $τ$ denoting the first exit time from a fixed pyramid. When the drift belongs to the interior of the cone, the survival probability sequence converges to the non-exit probability $\mathbb{P}(τ=\infty)$, which is positive. In this note, we quantify the speed of convergence, and prove that the exponential rate of convergence may be computed by means of a certain min-max of the Laplace transform of the random walk increments. We illustrate our results with various examples.
Central sets and infinite monochromatic exponential patterns
Published
• View Publication
• BIB
We use the combinatorial properties of central sets to prove a result about the existence of exponential monochromatic patterns, in the style of Hindman's Finite Sums Theorem. More precisely, we prove that for every finite coloring of the natural numbers there exists an infinite sequence such that all suitable exponential configurations originating from its distinct elements are monochromatic, including towers of exponentiations. (Some restrictions apply on the order in which elements are considered.)
Values of binary partition function represented by a sum of three squares
Published
• View Publication
• BIB
Let $m$ be a positive integer and $b_{m}(n)$ be the number of partitions of $n$ with parts being powers of 2, where each part can take $m$ colors. We show that if $m=2^{k}-1$, then there exists the natural density of integers $n$ such that $b_{m}(n)$ can not be represented as a sum of three squares and it is equal to $1/12$ for $k=1, 2$ and $1/6$ for $k\geq 3$. In particular, for $m=1$ the equation $b_{1}(n)=x^2+y^2+z^2$ has a solution in integers if and only if $n$ is not of the form $2^{2k+2}(8s+2t_{s}+3)+i$ for $i=0, 1$ and $k, s$ are non-negative integers, and where $t_{n}$ is the $n$th term in the Prouhet-Thue-Morse sequence. A similar characterization is obtained for the solutions in $n$ of the equation $b_{2^k-1}(n)=x^2+y^2+z^2$.
$p$-Linear schemes for sequences modulo $p^r$
Published
• View Publication
• BIB
Many interesting combinatorial sequences, such as Apéry numbers and Franel numbers, enjoy the so-called Lucas property modulo almost all primes $p$. Modulo prime powers $p^r$ such sequences have a more complicated behaviour which can be described by matrix versions of the Lucas property called $p$-linear schemes. They are examples of finite $p$-automata. In this paper we construct such $p$-linear schemes and give upper bounds for the number of states which, for fixed $r$, do not depend on $p$.
Central Limit Theorems via Analytic Combinatorics in Several Variables
Published
• View Publication
• BIB
The field of analytic combinatorics is dedicated to the creation of effective techniques to study the large-scale behaviour of combinatorial objects. Although classical results in analytic combinatorics are mainly concerned with univariate generating functions, over the last two decades a theory of analytic combinatorics in several variables (ACSV) has been developed to study the asymptotic behaviour of multivariate sequences. In this work we survey ACSV from a probabilistic perspective, illustrating how its most advanced methods provide efficient algorithms to derive limit theorems, and comparing the results to past work deriving combinatorial limit theorems. Using the results of ACSV, we provide a SageMath package that can automatically compute (and rigorously verify) limit theorems for a large variety of combinatorial generating functions. To illustrate the techniques involved, we also establish explicit local central limit theorems for a family of combinatorial classes whose generating functions are linear in the variables tracking each parameter. Applications covered by this result include the distribution of cycles in certain restricted permutations (proving a limit theorem stated as a conjecture in recent work of Chung et al.), integer compositions, and $n$-colour compositions with varying restrictions and values tracked. Key to establishing these explicit results in arbitrary dimension is an interesting symbolic determinant, which we compute by conjecturing and then proving an appropriate $LU$-factorization. It is our hope that this work provides readers a blueprint to apply the powerful tools of ACSV to prove central limit theorems in their own work, making them more accessible to combinatorialists, probabilists, and those in adjacent fields.
Adversarial graph burning densities
Published
• View Publication
• BIB
Graph burning is a discrete-time process that models the spread of influence in a network. Vertices are either burning or unburned, and in each round, a burning vertex causes all of its neighbours to become burning before a new fire source is chosen to become burning. We introduce a variation of this process that incorporates an adversarial game played on a nested, growing sequence of graphs. Two players, Arsonist and Builder, play in turns: Builder adds a certain number of new unburned vertices and edges incident to these to create a larger graph, then every vertex neighbouring a burning vertex becomes burning, and finally Arsonist `burns' a new fire source. This process repeats forever. Arsonist is said to win if the limiting fraction of burning vertices tends to 1, while Builder is said to win if this fraction is bounded away from 1.
The central question of this paper is determining if, given that Builder adds $f(n)$ vertices at turn $n$, either Arsonist or Builder has a winning strategy. In the case that $f(n)$ is asymptotically polynomial, we give threshold results for which player has a winning strategy.
The gerrymander sequence, or A348456
Published in Advances in Applied Mathematics 148 (2023) 102520
• View Publication
• BIB
Recently Kauers, Koutschan and Spahn announced a significant increase in the length of the so-called {\em gerrymander sequence}, given as A348456 in the OEIS, extending the sequence from 3 terms to 7 terms. We give a further extension to 11 terms, but more significantly prove that the coefficients grow as $λ^{4L^2},$ where $λ\approx 1.7445498, $ and is equal to the corresponding quantity for self-avoiding walks crossing a square (WCAS), or self-avoiding polygons crossing a square (PCAS). These are, respectively, OEIS sequences A007764 and A333323. Thus we have established a close connection between these previously separate problems.
We have also related the sub-dominant behaviour to that of WCAS and PCAS, allowing us to conjecture that the coefficients of the gerrymander sequence A348456 grow as $λ^{4L^2+dL+e} \cdot L^g,$ where $d=-8.08708 \pm 0.0002,$ $e \approx 7.69$ and $g = 0.75 \pm 0.01,$ with $g$ almost certainly $3/4$ exactly.
We also have generated 26 terms in the related gerrymander polynomial (defined below), and have been able to predict the asymptotic behaviour with a satisfying degree of precision. Indeed, it behaves exactly as $L$ times the corresponding coefficient of the generalised gerrymander sequence.
The improved algorithm we give for counting these sequences is a variation of that which we recently developed for extending a number of sequences for SAWs and SAPs crossing a domain of the square or hexagonal lattices. It makes use of a minimal perfect hash function and in-place memory updating of the arrays for the counts of the number of paths.
The extremals of Stanley's inequalities for partially ordered sets
Published
• View Publication
• BIB
Stanley's inequalities for partially ordered sets establish important log-concavity relations for sequences of linear extensions counts. Their extremals however, i.e., the equality cases of these inequalities, were until now poorly understood with even conjectures lacking. In this work, we solve this problem by providing a complete characterization of the extremals of Stanley's inequalities. Our proof is based on building a new ``dictionary" between the combinatorics of partially ordered sets and the geometry of convex polytopes, which captures their extremal structures.
Weighted exchange distance of basis pairs
Two pairs of disjoint bases $\mathbf{P}_1=(R_1,B_1)$ and $\mathbf{P}_2=(R_2,B_2)$ of a matroid $M$ are called equivalent if $\mathbf{P}_1$ can be transformed into $\mathbf{P}_2$ by a series of symmetric exchanges. In 1980, White conjectured that such a sequence always exists whenever $R_1\cup B_1=R_2\cup B_2$. A strengthening of the conjecture was proposed by Hamidoune, stating that minimum length of an exchange is at most the rank of the matroid.
We propose a weighted variant of Hamidoune's conjecture, where the weight of an exchange depends on the weights of the exchanged elements. We prove the conjecture for several matroid classes: strongly base orderable matroids, split matroids, graphic matroids of wheels, and spikes.
A note on extremal Sombor indices of trees with a given degree sequence
Published in MATCH Commun. Math. Comput. Chem. 90 (2023) 197-202
• View Publication
• BIB
We note here that the problem of determining extremal values of Sombor index for trees with a given degree sequence fits within the framework of results by Hua Wang from [Cent. Eur. J. Math. 12 (2014) 1656-1663], implying that the greedy tree has the minimum Sombor index, while an alternating greedy tree has the maximum Sombor index.
Uncountably many enumerations of well-quasi-ordered permutation classes
Published
• View Publication
• BIB
We construct an uncountable family of well-quasi-ordered permutation classes, each with a distinct enumeration sequence. This disproves a conjecture that all well-quasi-ordered permutation classes have algebraic generating functions, and in fact shows that many such classes lack D-finite or D-algebraic generating functions. Our construction is based on an uncountably large collection of factor-closed, well-quasi-ordered binary languages due to Pouzet.
Conjectures on Somos $4$, $6$ and $8$ sequences using Riordan arrays and the Catalan numbers
We give conjectures on the form of families of integer sequences whose Hankel transforms are, respectively, $(α, β)$ Somos $4$ sequences, $(α, 0, γ)$ Somos $6$ sequences, and $(α, β, γ, δ)$ Somos $8$ sequences, for particular values of $α$, $β$, $γ$, $δ$ which we describe. The sequences involved can be described in terms of the application of certain stretched Riordan arrays to the Catalan numbers, accompanied by a (sequence) Hankel transform. The combination of Riordan array and the Catalan numbers results from the study of certain generalized Jacobi continued fractions, based on the Counting Automata Methodology.
Exceptional scattered sequences
Published
• View Publication
• BIB
The concept of scattered polynomials is generalized to those of exceptional scattered sequences which are shown to be the natural algebraic counterpart of $\mathbb{F}_{q^n}$-linear MRD codes. The first infinite family in the first nontrivial case is also provided and equivalence issues are considered. As a byproduct, a new infinite family of MRD codes is obtained.
An upper bound on asymptotic repetitive threshold of balanced sequences via colouring of the Fibonacci sequence
We colour the Fibonacci sequence by suitable constant gap sequences to provide an upper bound on the asymptotic repetitive threshold of $d$-ary balanced sequences. The bound is attained for $d=2, 4$ and $8$ and we conjecture that it happens for infinitely many even $d$'s.
Our bound reveals an essential difference in behavior of the repetitive threshold and the asymptotic repetitive threshold of balanced sequences. The repetitive threshold of $d$-ary balanced sequences is known to be at least $1+\frac{1}{d-2}$ for each $d \geq 3$. In contrast, our bound implies that the asymptotic repetitive threshold of $d$-ary balanced sequences is at most $1+\frac{τ^3}{2^{d-3}}$ for each $d\geq 2$, where $τ$ is the golden mean.