sequence
6845 papers tagged with this keyword
Minimal Length Maximal Green Sequences and Triangulations of Polygons
Published
• View Publication
• BIB
We use combinatorics of quivers and the corresponding surfaces to study maximal green sequences of minimal length for quivers of type $\mathbb{A}$. We prove that such sequences have length $n+t$, where $n$ is the number of vertices and $t$ is the number of 3-cycles in the quiver. Moreover, we develop a procedure that yields these minimal length maximal green sequences.
Binary words avoiding xx^Rx and strongly unimodal sequences
In previous work, Currie and Rampersad showed that the growth of the number of binary words avoiding the pattern xxx^R was intermediate between polynomial and exponential. We now show that the same holds for the growth of the number of binary words avoiding the pattern xx^Rx. Curiously, the analysis for xx^Rx is much simpler than that for xxx^R. We derive our results by giving a bijection between the set of binary words avoiding xx^Rx and a class of sequences closely related to the class of "strongly unimodal sequences."
Bounds for codes on pentagon and other cycles
The capacity of a graph is defined as the rate of exponential grow of independent sets in the strong powers of the graph. In strong power, an edge connects two sequences if at each position letters are equal or adjacent. We consider a variation of the problem where edges in the power graphs are removed among sequences which differ in more than a fraction $δ$ of coordinates. For odd cycles, we derive an upper bound on the corresponding rate which combines Lovász' bound on the capacity with Delsarte's linear programming bounds on the minimum distance of codes in Hamming spaces. For the pentagon, this shows that for $δ\ge {1-{1\over\sqrt{5}}}$ the Lovász rate is the best possible, while we prove by a Gilbert-Varshamov-type bound that a higher rate is achievable for $δ< {2\over 5}$.
Communication interpretation of this question is the problem of sending quinary symbols subject to $\pm 1\mod 5$ disturbance. The maximal communication rate subject to the zero undetected-error equals capacity of a pentagon. The question addressed here is how much this rate can be increased if only a fraction $δ$ of symbols is allowed to be disturbed
The Thue choice number versus the Thue chromatic number of graphs
We say that a vertex colouring $\varphi$ of a graph $G$ is nonrepetitive if there is no positive integer $n$ and a path on $2n$ vertices $v_{1}\ldots v_{2n}$ in $G$ such that the associated sequence of colours $\varphi(v_{1})\ldots\varphi(v_{2n})$ satisfy $\varphi(v_{i})=\varphi(v_{i+n})$ for all $i=1,2,\dots,n$. The minimum number of colours in a nonrepetitive vertex colouring of $G$ is the Thue chromatic number $π(G)$. For the case of vertex list colourings the Thue choice number $π_{l}(G)$ of $G$ denotes the smallest integer $k$ such that for every list assignment $L:V(G)\rightarrow 2^{\mathbb{N}}$ with minimum list length at least $k$, there is a nonrepetitive vertex colouring of $G$ from the assigned lists. Recently it was proved that the Thue chromatic number and the Thue choice number of the same graph may have an arbitrary large difference in some classes of graphs. Here we give an overview of the known results where we compare these two parameters for several families of graphs and we also give a list of open problems on this topic.
A Combinatorial Model of Interference in Frequency Hopping Schemes
In a frequency hopping (FH) scheme users communicate simultaneously using FH sequences defined on the same set of frequency channels. An FH sequence specifies the frequency channel to be used as communication progresses. Much of the research on the performance of FH schemes is based on either pairwise mutual interference or adversarial interference but not both. In this paper, we evaluate the performance of an FH scheme with respect to both group-wise mutual interference and adversarial interference (jamming), bearing in mind that more than two users may be transmitting simultaneously in the presence of a jammer. We establish a correspondence between a cover-free code and an FH scheme. This gives a lower bound on the transmission capacity. Furthermore, we specify a jammer model and consider what additional properties a cover-free code should have to resist the jammer. We demonstrate that a purely combinatorial approach is inadequate against such a jammer, but that with the use of pseudorandomness, we can have a system that has high throughput as well as security against jamming.
A method for determining the mod-$p^k$ behaviour of recursive sequences
Published
• View Publication
• BIB
We present a method for obtaining congruences modulo powers of a prime number~$p$ for combinatorial sequences whose generating function satisfies an algebraic differential equation. This method generalises the one by Kauers and the authors [Electron. J. Combin. 8(2) (2012), Art. P37; arXiv:1107.2015] from $p=2$ to arbitrary primes. Our applications include congruences for numbers of non-crossing graphs and numbers of Kreweras walks modulo powers of~$3$, as well as congruences for Fuß-Catalan numbers and blossom tree numbers modulo powers of arbitrary primes.
Accessible Proof of Standard Monomial Basis for Coordinatization of Schubert Sets of Flags
Published
• View Publication
• BIB
The main results of this paper are accessible with only basic linear algebra. Given an increasing sequence of dimensions, a flag in a vector space is an increasing sequence of subspaces with those dimensions. The set of all such flags (the flag manifold) can be projectively coordinatized using products of minors of a matrix. These products are indexed by tableaux on a Young diagram. A basis of "standard monomials" for the vector space generated by such projective coordinates over the entire flag manifold has long been known. A Schubert variety is a subset of flags specified by a permutation. Lakshmibai, Musili, and Seshadri gave a standard monomial basis for the smaller vector space generated by the projective coordinates restricted to a Schubert variety. Reiner and Shimozono made this theory more explicit by giving a straightening algorithm for the products of the minors in terms of the right key of a Young tableau. Since then, Willis introduced scanning tableaux as a more direct way to obtain right keys. This paper uses scanning tableaux to give more-direct proofs of the spanning and the linear independence of the standard monomials. In the appendix it is noted that this basis is a weight basis for the dual of a Demazure module for a Borel subgroup of GL(n). This paper contains a complete proof that the characters of these modules (the key polynomials) can be expressed as the sums of the weights for the tableaux used to index the standard monomial bases.
A Family of the Zeckendorf Theorem Related Identities
Published
• View Publication
• BIB
In this paper we present a family of identities for recursive sequences arising from a second order recurrence relation, that gives instances of Zeckendorf representation. We prove these results using a special case of an universal property of the recursive sequences. In particular cases we also establish a direct bijection. Besides, we prove further equalities that provide a representation of the sum of $(r+1)$-st and $(r-1)$-st Fibonacci number as the sum of powers of the golden ratio. Similarly, we show a class of natural numbers represented as the sum of powers of the silver ratio.
Arithmetic Properties of the Sequence of Derangements and its Generalizations
Published
• View Publication
• BIB
The sequence of derangements is given by the formula $D_0 = 1, D_n = nD_{n-1} + (-1)^n, n>0$. It is a classical object appearing in combinatorics and number theory. In this paper we consider two classes of sequences: first class is given by the formulae $a_0 = h_1(0), a_n = f(n)a_{n-1} + h_1(n)h_2(n)^n, n>0$, where $f,h_1,h_2 \in\mathbb{Z}[X]$, and the second one is defined by $a_n = \sum_{j=0}^n \frac{n!}{j!} h(n)^j, n\in\mathbb{N}$, where $h\in\mathbb{Z}[X]$. Both classes are a generalization of the sequence of derangements. We study such arithmetic properties of these sequences as: periodicity modulo $d$, where $d\in\mathbb{N}_+$, $p$-adic valuations, asymptotics, boundedness, periodicity, recurrence relations and prime divisors. Particularly we focus on the properties of the sequence of derangements and use them to establish arithmetic properties of the sequences of even and odd derangements.
The graph spectrum of barycentric refinements
Given a finite simple graph G, let G' be its barycentric refinement: it is the graph in which the vertices are the complete subgraphs of G and in which two such subgraphs are connected, if one is contained into the other. If L(0)=0<L(1) <= L(2) ... <= L(n) are the eigenvalues of the Laplacian of G, define the spectral function F(x) as the function F(x) = L([n x]) on the interval [0,1], where [r] is the floor function giving the largest integer smaller or equal than r. The graph G' is known to be homotopic to G with Euler characteristic chi(G')=chi(G) and dim(G') >= dim(G). Let G(m) be the sequence of barycentric refinements of G=G(0). We prove that for any finite simple graph G, the spectral functions F(G(m)) of successive refinements converge for m to infinity uniformly on compact subsets of (0,1) and exponentially fast to a universal limiting eigenvalue distribution function F which only depends on the clique number respectively the dimension d of the largest complete subgraph of G and not on the starting graph G. In the case d=1, where we deal with graphs without triangles, the limiting distribution is the smooth function F(x) = 4 sin^2(pi x/2). This is related to the Julia set of the quadratic map T(z) = 4z-z^2 which has the one dimensional Julia set [0,4] and F satisfies T(F(k/n))=F(2k/n) as the Laplacians satisfy such a renormalization recursion. The spectral density in the d=1 case is then the arc-sin distribution which is the equilibrium measure on the Julia set. In higher dimensions, where the limiting function F still remains unidentified, F' appears to have a discrete or singular component.
Closed, Palindromic, Rich, Privileged, Trapezoidal, and Balanced Words in Automatic Sequences
Published
• View Publication
• BIB
We prove that the property of being closed (resp., palindromic, rich, privileged trapezoidal, balanced) is expressible in first-order logic for automatic (and some related) sequences. It therefore follows that the characteristic function of those n for which an automatic sequence x has a closed (resp., palindromic, privileged, rich, trape- zoidal, balanced) factor of length n is automatic. For privileged words this requires a new characterization of the privileged property. We compute the corresponding characteristic functions for various famous sequences, such as the Thue-Morse sequence, the Rudin-Shapiro sequence, the ordinary paperfolding sequence, the period-doubling sequence, and the Fibonacci sequence. Finally, we also show that the function counting the total number of palindromic factors in a prefix of length n of a k-automatic sequence is not k-synchronized.
Asymptotics of the Euler transform of Fibonacci numbers
The generating function for the sequence A166861 in the OEIS (Euler transform of Fibonacci numbers) is Product_{k>0} 1/(1-x^k)^F(k), where F(k) are the Fibonacci numbers. This paper analyzes the more general generating function U(x) = Product_{k>0} 1/(1-x^k)^F(k+z), where z is a nonnegative integer, which provides asymptotics for the sequences A166861 (z=0), A200544 (z=1) and A260787 (z=2) in the OEIS.
Involution words: counting problems and connections to Schubert calculus for symmetric orbit closures
Published in J. Combin. Theory Ser. A 160 (2018), 217-260
• View Publication
• BIB
Involution words are variations of reduced words for involutions in Coxeter groups, first studied under the name of "admissible sequences" by Richardson and Springer. They are maximal chains in Richardson and Springer's weak order on involutions. This article is the first in a series of papers on involution words, and focuses on their enumerative properties. We define involution analogues of several objects associated to permutations, including Rothe diagrams, the essential set, Schubert polynomials, and Stanley symmetric functions. These definitions have geometric interpretations for certain intervals in the weak order on involutions. In particular, our definition of "involution Schubert polynomials" can be viewed as a Billey-Jockusch-Stanley type formula for cohomology class representatives of $\mathrm{O}_n$- and $\mathrm{Sp}_{2n}$-orbit closures in the flag variety, defined inductively in recent work of Wyser and Yong. As a special case of a more general theorem, we show that the involution Stanley symmetric function for the longest element of a finite symmetric group is a product of staircase-shaped Schur functions. This implies that the number of involution words for the longest element of a finite symmetric group is equal to the dimension of a certain irreducible representation of a Weyl group of type $B$.
Linear Recurrent Subsequences of Meta-Fibonacci Sequences
Published
• View Publication
• BIB
In a recent paper, Frank Ruskey asked whether every linear recurrent sequence can occur in some solution of a meta-Fibonacci sequence. In this paper, we answer his question in the affirmative for recurrences with positive coefficients.
Divisibility properties of sporadic Apéry-like numbers
Published
• View Publication
• BIB
In 1982, Gessel showed that the Apéry numbers associated to the irrationality of $ζ(3)$ satisfy Lucas congruences. Our main result is to prove corresponding congruences for all sporadic Apéry-like sequences. In several cases, we are able to employ approaches due to McIntosh, Samol--van Straten and Rowland--Yassawi to establish these congruences. However, for the sequences often labeled $s_{18}$ and $(η)$ we require a finer analysis.
As an application, we investigate modulo which numbers these sequences are periodic. In particular, we show that the Almkvist--Zudilin numbers are periodic modulo $8$, a special property which they share with the Apéry numbers. We also investigate primes which do not divide any term of a given Apéry-like sequence.
On a conjecture of Chen-Guo-Wang
Towards confirming Sun's conjecture on the strict log-concavity of combinatorial sequence involving the n$th$ Bernoulli number, Chen, Guo and Wang proposed a conjecture about the log-concavity of the function $θ(x)=\sqrt[x]{2ζ(x)Γ(x+1)}$ for $x\in (6,\infty)$, where $ζ(x)$ is the Riemann zeta function and $Γ(x)$ is the Gamma function. In this paper, we first prove this conjecture along the spirit of Zhu's previous work. Second, we extend Chen et al.'s conjecture in the sense of almost infinite log-monotonicity of combinatorial sequences, which was also introduced by Chen et al. Furthermore, by using an analogue criterion to the one of Chen, Guo and Wang, we deduce the almost infinite log-monotonicity of the sequences $\frac{1}{\sqrt[n]{|B_{2n}|}}$, $T_n$ and $\frac{1}{\sqrt[n]{T_n}}$, where $B_{2n}$ and $T_{n}$ are the $2n$th Bernoulli number and the $n$th tangent number, respectively. These results can be seen as extensions of some solved conjectures of Sun.
The numbers of edges of the order polytope and the chain poyltope of a finite partially ordered set
Published
• View Publication
• BIB
Let $P$ be an arbitrary finite partially ordered set. It will be proved that the number of edges of the order polytope ${\mathcal O}(P)$ is equal to that of the chain polytope ${\mathcal C}(P)$. Furthermore, it will be shown that the degree sequence of the finite simple graph which is the $1$-skeleton of ${\mathcal O}(P)$ is equal to that of ${\mathcal C}(P)$ if and only if ${\mathcal O}(P)$ and ${\mathcal C}(P)$ are unimodularly equivalent.
Multi-Switch: a Tool for Finding Potential Edge-Disjoint $1$-factors
Published
• View Publication
• BIB
Let $n$ be even, let $π= (d_1, \ldots, d_n)$ be a graphic degree sequence, and let $π- k = (d_1 - k, \ldots, d_n - k)$ also be graphic. Kundu proved that $π$ has a realization $G$ containing a $k$-factor, or $k$-regular graph. Another way to state the conclusion of Kundu's theorem is that $π$ \emph{potentially} contains a $k$-factor.
Busch, Ferrara, Hartke, Jacobsen, Kaul, and West conjectured that more was true: $π$ potentially contains $k$ edge-disjoint $1$-factors. Along these lines, they proved $π$ would potentially contain edge-disjoint copies of a $(k-2)$-factor and two $1$-factors.
We follow the methods of Busch et al.\ but introduce a new tool which we call a multi-switch. Using this new idea, we prove that $π$ potentially has edge-disjoint copies of a $(k-4)$-factor and four $1$-factors. We also prove that $π$ potentially has ($\lfloor k/2 \rfloor + 2$) edge-disjoint $1$-factors, but in this case cannot prove the existence of a large regular graph.
A family of sequences of binomial type
Published in Probability and Mathematical Statistics, (2013) 33.2, 401-408
• Search Publication
For delta operator $aD-bD^{p+1}$ we find the corresponding polynomial sequence of binomial type and relations with Fuss numbers. In the case $D-\frac{1}{2}D^2$ we show that the corresponding Bessel-Carlitz polynomials are moments of the convolution semigroup of inverse Gaussian distributions. We also find probability distributions $ν_{t}$, $t>0$, for which $\left\{y_{n}(t)\right\}$, the Bessel polynomials at $t$, is the moment sequence.
Adjacency relationships forced by a degree sequence
Published in Graphs and Combinatorics, vol. 34 (2018), no. 6, pp. 1411-1427
• View Publication
• BIB
There are typically several nonisomorphic graphs having a given degree sequence, and for any two degree sequence terms it is often possible to find a realization in which the corresponding vertices are adjacent and one in which they are not. We provide necessary and sufficient conditions for two vertices to be adjacent (or nonadjacent) in every realization of the degree sequence. These conditions generalize degree sequence and structural characterizations of the threshold graphs, in which every adjacency relationship is forcibly determined by the degree sequence. We further show that degree sequences for which adjacency relationships are forced form an upward-closed set in the dominance order on graphic partitions of an even integer.