sequence
6845 papers tagged with this keyword
Action graphs, planar rooted forests, and self-convolutions of the Catalan numbers
Published in Involve 14 (2021) 387-399
• View Publication
• BIB
We show that families of action graphs, with initial graphs which are linear of varying length, give rise to self-convolutions of the Catalan sequence. We prove this result via a comparison with planar rooted forests with a fixed number of trees.
Lattice paths and branched continued fractions: An infinite sequence of generalizations of the Stieltjes--Rogers and Thron--Rogers polynomials, with coefficientwise Hankel-total positivity
We define an infinite sequence of generalizations, parametrized by an integer $m \ge 1$, of the Stieltjes--Rogers and Thron--Rogers polynomials; they arise as the power-series expansions of some branched continued fractions, and as the generating polynomials for $m$-Dyck and $m$-Schröder paths with height-dependent weights. We prove that all of these sequences of polynomials are coefficientwise Hankel-totally positive, jointly in all the (infinitely many) indeterminates. We then apply this theory to prove the coefficientwise Hankel-total positivity for combinatorially interesting sequences of polynomials. Enumeration of unlabeled ordered trees and forests gives rise to multivariate Fuss--Narayana polynomials and Fuss--Narayana symmetric functions. Enumeration of increasing (labeled) ordered trees and forests gives rise to multivariate Eulerian polynomials and Eulerian symmetric functions, which include the univariate $m$th-order Eulerian polynomials as specializations. We also find branched continued fractions for ratios of contiguous hypergeometric series ${}_r \! F_s$ for arbitrary $r$ and $s$, which generalize Gauss' continued fraction for ratios of contiguous ${}_2 \! F_1$; and for $s=0$ we prove the coefficientwise Hankel-total positivity. Finally, we extend the branched continued fractions to ratios of contiguous basic hypergeometric series ${}_r \! φ_s$.
A Three-by-Three matrix representation of a generalized Tribonacci sequence
The Tribonacci sequence is a well-known example of third order recurrence sequence, which belongs to a particular class of recursive sequences. In this article, other generalized Tribonacci sequence is introduced and defined by $H_{n+2}=H_{n+1}+H_{n}+H_{n-1}\ \ (n\geq 1)$, where $H_{0}=3$, $H_{1}=0$ and $H_{2}=2$. Also $n$-th power of the generating matrix for this generalized Tribonacci sequence is established and some basic properties of this sequence are obtained by matrix methods. There are many elementary formulae relating the various $H_{n}$, most of which, since the sequence is defined inductively, are themselves usually proved by induction.
Reddening Sequences for Banff Quivers and the Class $\mathcal{P}$
Published in SIGMA 16 (2020), 049, 11 pages
• View Publication
• BIB
We show that a reddening sequence exists for any quiver which is Banff. Our proof is combinatorial and relies on the triangular extension construction for quivers. The other facts needed are that the existence of a reddening sequence is mutation invariant and passes to induced subquivers. Banff quivers define locally acyclic cluster algebras which are known to coincide with their upper cluster algebras.The existence of reddening sequences for these quivers is consistent with a conjectural relationship between the existence of a reddening sequence and a cluster algebra's equality with its upper cluster algebra.Our result completes a verification of the conjecture for Banff quivers. We also prove that a certain subclass of quivers within the class $\mathcal{P}$ define locally acyclic cluster algebras.
Combining extensions of the Hales-Jewett\\ Theorem with Ramsey Theory\\ in other structures
Published
• View Publication
• BIB
The Hales-Jewett Theorem states that given any finite nonempty set $\A$ and any finite coloring of the free semigroup $S$ over the alphabet $\A$ there is a {\it variable word\/} over $\A$ all of whose instances are the same color. This theorem has some extensions involving several distinct variables occurring in the variable word. We show that, when combined with a sufficiently well behaved homomorphism, the relevant variable word simultaneously satisfies a Ramsey-Theoretic conclusion in the other structure. As an example we show that if $τ$ is the homomorphism from the set of variable words into the natural numbers which associates to each variable word $w$ the number of occurrences of the variable in $w$, then given any finite coloring of $S$ and any infinite sequence of natural numbers, there is a variable word $w$ whose instances are monochromatic and $τ(w)$ is a sum of distinct members of the given sequence.
Our methods rely on the algebraic structure of the Stone-\v Cech compactification of $S$ and the other semigroups that we consider. We show for example that if $τ$ is as in the paragraph above, there is a compact subsemigroup $P$ of $β\ben$ which contains all of the idempotents of $β\ben$ such that, given any $p\in P$, any $A\in p$, and any finite coloring of $S$, there is a variable word $w$ whose instances are monochromatic and $τ(w)\in A$.
We end with a new short algebraic proof of an infinitary extension of the Graham-Rothschild Parameter Sets Theorem.
Multivariate Stable Eulerian Polynomials on Segmented Permutations
Published
• View Publication
• BIB
Recently, Nunge studied Eulerian polynomials on segmented permutations, namely \emph{generalized Eulerian polynomials}, and further asked whether their coefficients form unimodal sequences. In this paper, we prove the stability of the generalized Eulerian polynomials and hence confirm Nunge's conjecture. Our proof is based on Brändén's stable multivariate Eulerian polynomials. By acting on Brändén's polynomials with a stability-preserving linear operator, we get a multivariate refinement of the generalized Eulerian polynomials. To prove Nunge's conjecture, we also develop a general approach to obtain generalized Sturm sequences from bivariate stable polynomials.
Positivity of iterated sequences of polynomials
Published
• View Publication
• BIB
In this paper, we present some criteria for the $2$-$q$-log-convexity and $3$-$q$-log-convexity of combinatorial sequences, which can be regarded as the first column of certain infinite triangular array $[A_{n,k}(q)]_{n,k\geq0}$ of polynomials in $q$ with nonnegative coefficients satisfying the recurrence relation $$A_{n,k}(q)=A_{n-1,k-1}(q)+g_k(q)A_{n-1,k}(q)+h_{k+1}(q)A_{n-1,k+1}(q).$$ Those criterions can also be presented by continued fractions and generating functions. These allow a unified treatment of the $2$-$q$-log-convexity of alternating Eulerian polynomials, $2$-log-convexity of Euler numbers, and $3$-$q$-log-convexity of many classical polynomials, including the Bell polynomials, the Eulerian polynomials of Types $A$ and $B$, the $q$-Schröder numbers, $q$-central Delannoy numbers, the Narayana polynomials of Types $A$ and $B$, the generating functions of rows in the Catalan triangles of Aigner and Shapiro, the generating functions of rows in the large Schröder triangle, and so on, which extend many known results for $q$-log-convexity.
A New Approach to the Hofstadter $Q$-Recurrence
Nested recurrence relations are highly sensitive to their initial conditions. The best-known nested recurrence, the Hofstadter $Q$-recurrence, generates sequences displaying a wide variety of behaviors. Most famous among these is the Hofstadter $Q$-sequence, which appears to be structured at a macro level and chaotic at a micro level. Other choices of initial conditions can lead to more predictable solutions, frequently interleavings of simple sequences. Previous work has focused on the form of a desired solution and on describing an initial condition that generates such a solution. In this paper, we flip this paradigm around. We illustrate how focusing on the form of an initial condition and describing the resulting sequences can yield strange families of new solutions to nested recurrences.
Delta-matroids as subsystems of sequences of Higgs lifts
Published in Advances in Applied Mathematics, 2021
• View Publication
• BIB
In her paper "Generalized matroids and supermodular colourings", Tardos studied special delta-matroids obtained from sequences of Higgs lifts; these are the full Higgs lift delta-matroids that we treat and around which all of our results revolve. We give an excluded-minor characterization of the class of full Higgs lift delta-matroids within the class of all delta-matroids, and we give similar characterizations of two other minor-closed classes of delta-matroids that we define using Higgs lifts. We introduce a minor-closed, dual-closed class of Higgs lift delta-matroids that arise from lattice paths. It follows from results of Bouchet that all delta-matroids can be obtained from full Higgs lift delta-matroids by removing certain feasible sets; to address which feasible sets can be removed, we give an excluded-minor characterization of delta-matroids within the more general structure of set systems. Many of these excluded minors occur again when we characterize the delta-matroids in which the collection of feasible sets is the union of the collections of bases of matroids of different ranks, and yet again when we require those matroids to have special properties, such as being paving.
Exact solution to an extremal problem on graphic sequences with a realization containing every $2$-tree on $k$ vertices
Published
• View Publication
• BIB
A simple graph $G$ is an {\it 2-tree} if $G=K_3$, or $G$ has a vertex $v$ of degree 2, whose neighbors are adjacent, and $G-v$ is an 2-tree. Clearly, if $G$ is an 2-tree on $n$ vertices, then $|E(G)|=2n-3$. A non-increasing sequence $π=(d_1,\ldots,d_n)$ of nonnegative integers is a {\it graphic sequence} if it is realizable by a simple graph $G$ on $n$ vertices. Yin and Li (Acta Mathematica Sinica, English Series, 25(2009)795--802) proved that if $k\ge 2$, $n\ge \frac{9}{2}k^2+\frac{19}{2}k$ and $π=(d_1,\ldots,d_n)$ is a graphic sequence with $\sum\limits_{i=1}^n d_i>(k-2)n$, then $π$ has a realization containing every 1-tree (the usual tree) on $k$ vertices. Moreover, the lower bound $(k-2)n$ is the best possible. This is a variation of a conjecture due to Erdős and Sós. In this paper, we investigate an analogue problem for $2$-trees and prove that if $k\ge 3$ is an integer with $k\equiv i(\mbox{mod }3)$, $n\geq20\lfloor\frac{k}{3}\rfloor^2+31\lfloor\frac{k}{3}\rfloor+12$ and $π=(d_1,\ldots,d_n)$ is a graphic sequence with $\sum\limits_{i=1}^n d_i>\max\{(k-1)(n-1),2\lfloor\frac{2k}{3}\rfloor n-2n-\lfloor\frac{2k}{3}\rfloor^2+\lfloor\frac{2k}{3}\rfloor+1-(-1)^i\}$, then $π$ has a realization containing every 2-tree on $k$ vertices. Moreover, the lower bound $\max\{(k-1)(n-1),2\lfloor\frac{2k}{3}\rfloor n-2n-\lfloor\frac{2k}{3}\rfloor^2+\lfloor\frac{2k}{3}\rfloor+1-(-1)^i\}$ is the best possible. This result implies a conjecture due to Zeng and Yin (Discrete Math. Theor. Comput. Sci., 17(3)(2016), 315--326).
More on Equienergetic Threshold Graphs
The energy of a graph is defined as the sum the absolute values of the eigenvalues of its adjacency matrix. A threshold graph G on n vertices is coded by a binary sequence of length n. In this paper we answer a question posed by Jacobs et al. [Eigenvalues and energy in threshold graphs, Linear Algebra Appl. 465 (2015) 412-425], by giving an infinite sequences of threshold graphs having the same energy but differ to the complete graph's energy.
Determinants containing powers of polynomial sequences
Published
• View Publication
• BIB
We derive identities for the determinants of matrices whose entries are (rising) powers of (products of) polynomials that satisfy a recurrence relation. In particular, these results cover the cases for Fibonacci polynomials, Lucas polynomials and certain orthogonal polynomials. These identities naturally generalize the determinant identities obtained by Alfred, Carlitz, Prodinger, Tangboonduangjit and Thanatipanonda.
An Improved Algorithm for Counting Graphical Degree Sequences
Published
• View Publication
• BIB
We present an improved version of a previous efficient algorithm that computes the number $D(n)$ of zero-free graphical degree sequences of length $n$. A main ingredient of the improvement lies in a more efficient way to compute the function $P(N,k,l,s)$ of Barnes and Savage. We further show that the algorithm can be easily adapted to compute the $D(i)$ values for all $i\le n$ in a single run. Theoretical analysis shows that the new algorithm to compute all $D(i)$ values for $i\le n$ is a constant times faster than the previous algorithm to compute a single $D(n)$. Experimental evaluations show that the constant of improvement is about 10. We also perform simulations to estimate the asymptotic order of $D(n)$ by generating uniform random samples from the set of $E(n)$ integer partitions of fixed length $n$ with even sum and largest part less than $n$ and computing the proportion of them that are graphical degree sequences. The known numerical results of $D(n)$ for $n\le 290$ together with the known bounds of $D(n)$ and simulation results allow us to make an informed guess about its unknown asymptotic order. The techniques for the improved algorithm can be applied to compute other similar functions that count the number of graphical degree sequences of various classes of graphs of order $n$ and that all involve the function $P(N,k,l,s)$.
The number of valid factorizations of Fibonacci prefixes
Published
• View Publication
• BIB
We establish several recurrence relations and an explicit formula for V(n), the number of factorizations of the length-n prefix of the Fibonacci word into a (not necessarily strictly) decreasing sequence of standard Fibonacci words. In particular, we show that the sequence V(n) is the shuffle of the ceilings of two linear functions of n.
Interlacing Polynomials and the Veronese Construction for Rational Formal Power Series
Published
• View Publication
• BIB
Fixing a positive integer $r$ and $0 \le k \le r-1$, define $f^{\langle r,k \rangle}$ for every formal power series $f$ as $ f(x) = f^{\langle r,0 \rangle}(x^r)+xf^{\langle r,1 \rangle}(x^r)+ \cdots +x^{r-1}f^{\langle r,r-1 \rangle}(x^r).$ Jochemko recently showed that the polynomial $U^{n}_{r,k}\, h(x) := \left( (1+x+\cdots+x^{r-1})^{n} h(x) \right)^{\langle r,k \rangle}$ has only nonpositive zeros for any $r \ge °h(x) -k$ and any positive integer $n$. As a consequence, Jochemko confirmed a conjecture of Beck and Stapledon on the Ehrhart polynomial $h(x)$ of a lattice polytope of dimension $n$, which states that $U^{n}_{r,0}\,h(x)$ has only negative, real zeros whenever $r\ge n$. In this paper, we provide an alternative approach to Beck and Stapledon's conjecture by proving the following general result: if the polynomial sequence $\left( h^{\langle r,r-i \rangle}(x)\right)_{1\le i \le r}$ is interlacing, so is $\left( U^{n}_{r,r-i}\, h(x) \right)_{1\le i \le r}$. Our result has many other interesting applications. In particular, this enables us to give a new proof of Savage and Visontai's result on the interlacing property of some refinements of the descent generating functions for colored permutations. Besides, we derive a Carlitz identity for refined colored permutations.
Shortest Reconfiguration Sequence for Sliding Tokens on Spiders
Published
• View Publication
• BIB
Suppose that two independent sets $I$ and $J$ of a graph with $\vert I \vert = \vert J \vert$ are given, and a token is placed on each vertex in $I$. The Sliding Token problem is to determine whether there exists a sequence of independent sets which transforms $I$ into $J$ so that each independent set in the sequence results from the previous one by sliding exactly one token along an edge in the graph. It is one of the representative reconfiguration problems that attract the attention from the viewpoint of theoretical computer science. For a yes-instance of a reconfiguration problem, finding a shortest reconfiguration sequence has a different aspect. In general, even if it is polynomial time solvable to decide whether two instances are reconfigured with each other, it can be $\mathsf{NP}$-hard to find a shortest sequence between them. In this paper, we show that the problem for finding a shortest sequence between two independent sets is polynomial time solvable for spiders (i.e., trees having exactly one vertex of degree at least three).
Explicit formulae for all higher order exponential lacunary generating functions of Hermite polynomials
For a sequence $P=(p_n(x))_{n=0}^{\infty}$ of polynomials $p_n(x)$, we study the $K$-tuple and $L$-shifted exponential lacunary generating functions $\mathcal{G}_{K,L}(λ;x):=\sum_{n=0}^{\infty}\frac{λ^n}{n!} p_{n\cdot K+L}(x)$, for $K=1,2\dotsc$ and $L=0,1,2\dotsc$. We establish an algorithm for efficiently computing $\mathcal{G}_{K,L}(λ;x)$ for generic polynomial sequences $P$. This procedure is exemplified by application to the study of Hermite polynomials, whereby we obtain closed-form expressions for $\mathcal{G}_{K,L}(λ;x)$ for arbitrary $K$ and $L$, in the form of infinite series involving generalized hypergeometric functions. The basis of our method is provided by certain resummation techniques, supplemented by operational formulae. Our approach also reproduces all the results previously known in the literature.
No Threshold graphs are cospectral
Published
• View Publication
• BIB
A threshold graph G on n vertices is defined by binary sequence of length n. In this paper we present an explicit formula for computing the characteristic polynomial of a threshold graph from its binary sequence. Applications include obtaining a formula for the determinant of adjacency matrix of a threshold graph and showing that no two nonisomorphic threshold graphs are cospectral.
Quadratic Approximation of Generalized Tribonacci Sequences
Published in Discussiones Mathematicae, General Algebra and Applications 38 (2018), 227--237
• View Publication
• BIB
In this paper, we give quadratic approximation of generalized Tribonacci sequence $\{V_{n}\}_{n\geq0}$ defined by Eq. (\ref{eq:7}) and use this result to give the matrix form of the $n$-th power of a companion matrix of $\{V_{n}\}_{n\geq0}$. Then we re-prove the cubic identity or Cassini-type formula for $\{V_{n}\}_{n\geq0}$ and the Binet's formula of the generalized Tribonacci quaternions.
Relating the cut distance and the weak* topology for graphons
Published in Journal of Combinatorial Theory, series B, Volume 147, 2021, Pages 252-298
• View Publication
• BIB
The theory of graphons is ultimately connected with the so-called cut norm. In this paper, we approach the cut norm topology via the weak* topology (when considering a predual of $L^{1}$-functions). We prove that a sequence $W_1,W_2,W_3,\ldots$ of graphons converges in the cut distance if and only if we have equality of the sets of weak* accumulation points and of weak* limit points of all sequences of graphons $W_1',W_2',W_3',\ldots$ that are weakly isomorphic to $W_1,W_2,W_3,\ldots$. We further give a short descriptive set theoretic argument that each sequence of graphons contains a subsequence with the property above. This in particular provides an alternative proof of the theorem of Lovász and Szegedy about compactness of the space of graphons. We connect these results to "multiway cut" characterization of cut distance convergence from [Ann. of Math. (2) 176 (2012), no. 1, 151-219].
These results are more naturally phrased in the Vietoris hyperspace $K$ over graphons with the weak* topology. We show that graphons with the cut distance topology are homeomorphic to a closed subset of $K$, and deduce several consequences of this fact.
From these concepts a new order on the space of graphons emerges. This order allows to compare how structured two graphons are. We establish basic properties of this "structurdness order".