sequence
6966 papers tagged with this keyword
Partitions and Compositions defined by inequalities
Published
• View Publication
• BIB
We consider sequences of integers defined by a system of linear inequalities with integer coefficients. We show that when the constraints are strong enough to guarantee that all the entries are nonnegative, the generating function for the integer solutions of weight $n$ has a finite product form. The results are proved bijectively and are used to give several examples of interesting identities for integer partitions and compositions. The method can be adapted to accommodate equalities along with inequalities and can be used to obtain multivariate forms of the generating function. We show how to extend the technique to obtain the generating function when some coefficients are allowed to be rational, generalizing the case of lecture hall partitions. Our initial results were conjectured thanks to the Omega package.
Four positive formulae for type A quiver polynomials
Published
• View Publication
• BIB
We give four positive formulae for the (equioriented type A) quiver polynomials of Buch and Fulton. All four formulae are combinatorial, in the sense that they are expressed in terms of combinatorial objects of certain types: Zelevinsky permutations, lacing diagrams, Young tableaux, and pipe dreams (also known as rc-graphs). Three of our formulae are multiplicity-free and geometric, meaning that their summands have coefficient 1, and correspond bijectively to components of a torus-invariant scheme. The remaining (presently non-geometric) formula was conjectured for by Buch and Fulton in terms of factor sequences of Young tableaux; our proof of it proceeds by way of a new characterization of the tableaux counted by quiver constants. All four formulae come naturally in ``doubled'' versions, two for `double quiver polynomials', and the other two for their stable versions, the `double quiver functions', where setting half the variables equal to the other half specializes to the ordinary case.
A note on potentially $K_4-e$ graphical sequences
Published in Australasian Journal of Combinatorics, 24(2001), 123-127
• Search Publication
A sequence $S$ is potentially $K_4-e$ graphical if it has a realization containing a $K_4-e$ as a subgraph. Let $σ(K_4-e, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_4-e, n)$ is potentially $K_4-e$ graphical. Gould, Jacobson, Lehel raised the problem of determining the value of $σ(K_4-e, n)$. In this paper, we prove that $σ(K_4-e, n)=2[(3n-1)/2]$ for $n\geq 7$, and $n=4,5,$ and $σ(K_4-e, 6)= 20$.
Regularly spaced subsums of integer partitions
Published
• View Publication
• BIB
For integer partitions $λ:n=a_1+...+a_k$, where $a_1\ge a_2\ge >...\ge a_k\ge 1$, we study the sum $a_1+a_3+...$ of the parts of odd index. We show that the average of this sum, over all partitions $λ$ of $n$, is of the form $n/2+(\sqrt{6}/(8π))\sqrt{n}\log{n}+c_{2,1}\sqrt{n}+O(\log{n}).$ More generally, we study the sum $a_i+a_{m+i}+a_{2m+i}+...$ of the parts whose indices lie in a given arithmetic progression and we show that the average of this sum, over all partitions of $n$, is of the form $n/m+b_{m,i}\sqrt{n}\log{n}+c_{m,i}\sqrt{n}+O(\log{n})$, with explicitly given constants $b_{m,i},c_{m,i}$. Interestingly, for $m$ odd and $i=(m+1)/2$ we have $b_{m,i}=0$, so in this case the error term is of lower order. The methods used involve asymptotic formulas for the behavior of Lambert series and the Zeta function of Hurwitz.
We also show that if $f(n,j)$ is the number of partitions of $n$ the sum of whose parts of even index is $j$, then for every $n$, $f(n,j)$ agrees with a certain universal sequence, Sloane's sequence \texttt{#A000712}, for $j\le n/3$ but not for any larger $j$.
Graph powers and k-ordered Hamiltonicity
Published
• View Publication
• BIB
It is known that if G is a connected simple graph, then G^3 is Hamiltonian (in fact, Hamilton-connected). A simple graph is k-ordered Hamiltonian if for any sequence v_1, v_2, ..., v_k of k vertices there is a Hamiltonian cycle containing these vertices in the given order. In this paper, we prove that G^(3k/2 + 1) is k-ordered Hamiltonian for a connected graph G on at least k vertices. We further show that if G is connected, then G^4 is 4-ordered Hamiltonian and that if G is Hamiltonian, then G^3 is 5-ordered Hamiltonian. We also give bounds on the smallest power p_k such that G^p_k is k-ordered Hamiltonian for G=P_n and G=C_n.
Notes on Fibonacci Partitions
Published in Experimental Mathematics, 25:4, 482-499 (2016)
• View Publication
• BIB
Let $f_1=1,f_2=2$ and $f_i=f_{i-1}+f_{i-2}$ for $i>2$ be the sequence of Fibonacci numbers. Let $Φ_h(n)$ be the quantity of partitions of natural number $n$ into $h$ different Fibonacci numbers. In terms of Zeckendorf partition of $n$ I deduce a formula for the function $Φ(n;t):=\sum_{h\geq 1}Φ_h(n)t^h$, and use it to analyze the functions $F(n):=Φ(n;1)$ and $χ(n):=Φ(n;-1)$. I obtain the least upper bound for $F(n)$ when $f_i-1\<n\<f_{i+1}-1$. It implies that $F(n)\<\sqrt{n+1}$ for any natural $n$.
I prove also that $|χ(n)|\<1$, and $\mathop{\lim}\limits_{N\to\infty}\frac{1}{N} \left(χ^2(1)+χ^2(2)\dptχ^2(N)\right)=0$.
For any $k\>2$, I define a special finite set $\mathbb{G}(k)$ of solutions of the equation $F(n)=k$, all solutions can be easily obtained from $\mathbb{G}(k)$. This construction uses a representation of rational numbers as certain continued fractions and provides with a canonical identification $\coprod_{k\>2}\mathbb{G}(k)=\G_+$, where $\G_+$ is the monoid freely generated by the positive rational numbers $<1$.
Let $Ψ(k)$ be the cardinality of $\mathbb{G}(k)$. I prove that, for $i\>2k$ and $k\>2$, the interval $[f_i-1,f_{i+1}-1]$ contains exactly $2Ψ(k)$ solutions of the equation $F(n)=k$ and offer a formula for the Dirichlet generating function of the sequence $Ψ(k)$. I formulate conjectures on the set of minimal solutions of the equations $F(n)=k$ as $k$ varies and pose some questions concerning such solutions.
Divide-and-conquer generating functions. Part I. Elementary sequences
Divide-and-conquer functions satisfy equations in F(z),F(z^2),F(z^4)... Their generated sequences are mainly used in computer science, and they were analyzed pragmatically, that is, now and then a sequence was picked out for scrutiny. By giving several classes of ordinary generating functions together with recurrences, we hope to help with the analysis of many such sequences, and try to classify a part of the divide-and-conquer sequence zoo.
Cesaro asymptotics for the orders of SL_k(Z_n)$ and GL_k(Z_n) as n -> infinity
Published
• View Publication
• BIB
Given an integer k>0, our main result states that the sequence of orders of the groups SL_k(\Z_n) (respectively, of the groups GL_k(Z_n)) is Cesaro equivalent as n -> infinity to the sequence C_1(k) n^{k^2-1} (respectively, C_2(k)n^{k^2}), where the coefficients C_1(k) and C_2(k) depend only on k; we give explicit formulas for C_1(k) and C_2(k). This result generalizes the theorem (which was first published by I. Schoenberg) that says that the Euler function is Cesaro equivalent to n * 6/pi^2. We present some experimental facts related to the main result.
A Family of Well-Covered Graphs with Unimodal Independence Polynomials
If for any $k$ the $k$-th coefficient of a polynomial I(G;x) is equal to the number of stable sets of cardinality $k$ in graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that the independence polynomial of a well-covered graph $G$ (i.e., a graph whose all maximal independent sets are of the same size) is unimodal, that is, there exists an index $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the other part of coefficients is non-increasing.
T. S. Michael and N. Traves (2002) provided examples of well-covered graphs whose independence polynomials are not unimodal.
A. Finbow, B. Hartnell and R. J. Nowakowski (1993) proved that under certain conditions, any well-covered graph equals G* for some $G$, where G* is the graph obtained from $G$ by appending a single pendant edge to each vertex of $G$. Y. Alavi, P. J. Malde, A. J. Schwenk and P. Erdös (1987) asked whether for trees the independence polynomial is unimodal. V. E. Levit and E. Mandrescu (2002) validated the unimodality of the independence polynomials of some well-covered trees (e.g., $P_{n}^{*},K_{1,n}^{*}$, where $P_{n}$ is the path on $n$ vertices and $K_{1,n}$ is the $n$-star graph).
In this paper we show that for any graph $G$ with the stability number alpha(G) < 5, the independence polynomial of G* is unimodal.
Alternating signs of quiver coefficients
Published
• View Publication
• BIB
We prove K-theoretic generalizations of the component formulas of Knutson, Miller, and Shimozono, and deduce that K-theoretic quiver coefficients have alternating signs. We also prove new variants of the factor sequences conjecture, and a conjecture of Knutson, Miller, and Shimozono stating that the double ratio formula agrees with the original quiver formulas. For completeness we include a short proof of the ratio formula for quiver varieties.
Two relations that generalize the $q$-Serre relations and the Dolan-Grady relations
We define an algebra on two generators which we call the Tridiagonal algebra, and we consider its irreducible modules. The algebra is defined as follows. Let K denote a field, and let $β, γ, γ^*, \varrho, \varrho^*$ denote a sequence of scalars taken from K. The corresponding Tridiagonal algebra $T$ is the associative K-algebra with 1 generated by two symbols $A$, $A^*$ subject to the relations (i) \lbrack A,A^2A^*-βAA^*A + A^*A^2 -γ(AA^*+A^*A)- \varrho A^*\rbrack = 0,
(ii) \lbrack A^*,A^{*2}A-βA^*AA^* + AA^{*2} -γ^* (A^*A+AA^*)- \varrho^* A\rbrack = 0, where $\lbrack r,s\rbrack $ means $rs-sr$. We call these relations the Tridiagonal relations. For $β= q+q^{-1}$, $γ= γ^*=0$, $\varrho=\varrho^*=0$, the Tridiagonal relations are the $q$-Serre relations. For $β= 2$, $γ= γ^*=0$, $\varrho=b^2$, $\varrho^*=b^{*2}$, the Tridiagonal relations are the Dolan-Grady relations. In the first part of this paper, we survey what is known about irreducible finite dimensional $T$-modules. We focus on how these modules are related to the Leonard pairs recently introduced by the present author, and the more general Tridiagonal pairs recently introduced by Ito, Tanabe, and the present author. In the second part of the paper, we construct an infinite dimensional irreducible $T$-module based on the Askey-Wilson polynomials.
Two linear transformations each tridiagonal with respect to an eigenbasis of the other; comments on the parameter array
Published
• View Publication
• BIB
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider an ordered pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy conditions (i), (ii) below.
(i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal.
(ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal.
We call such a pair a {\it Leonard pair} on $V$. The structure of any given Leonard pair is deterined by a certain sequence of scalars called its {\it parameter array}. The set of parameter arrays is an affine algebraic variety. We give two characterizations of this variety. One involves bidiagonal matrices and the other involves orthogonal polynomials.
Limiting distributions for additive functionals on Catalan trees
Published in Theoret. Comput. Sci. 326 (2004) 69-102
• View Publication
• BIB
Additive tree functionals represent the cost of many divide-and-conquer algorithms. We derive the limiting distribution of the additive functionals induced by toll functions of the form (a) n^αwhen α> 0 and (b) log n (the so-called shape functional) on uniformly distributed binary search trees, sometimes called Catalan trees. The Gaussian law obtained in the latter case complements the central limit theorem for the shape functional under the random permutation model. Our results give rise to an apparently new family of distributions containing the Airy distribution (α= 1) and the normal distribution [case (b), and case (a) as $α\downarrow 0$]. The main theoretical tools employed are recent results relating asymptotics of the generating functions of sequences to those of their Hadamard product, and the method of moments.
Dually vertex oblique graphs
Published
• View Publication
• BIB
A vertex with neighbours of degrees $d_1 \geq ... \geq d_r$ has {\em vertex type} $(d_1, ..., d_r)$. A graph is {\em vertex-oblique} if each vertex has a distinct vertex-type. While no graph can have distinct degrees, Schreyer, Walther and Mel'nikov [Vertex oblique graphs, same proceedings] have constructed infinite classes of {\em super vertex-oblique} graphs, where the degree-types of $G$ are distinct even from the degree types of $\bar{G}$.
$G$ is vertex oblique iff $\bar{G}$ is; but $G$ and $\bar{G}$ cannot be isomorphic, since self-complementary graphs always have non-trivial automorphisms. However, we show by construction that there are {\em dually vertex-oblique graphs} of order $n$, where the vertex-type sequence of $G$ is the same as that of $\bar{G}$; they exist iff $n \equiv 0$ or $1 \pmod 4, n \geq 8$, and for $n \geq 12$ we can require them to be split graphs.
We also show that a dually vertex-oblique graph and its complement are never the unique pair of graphs that have a particular vertex-type sequence; but there are infinitely many super vertex-oblique graphs whose vertex-type sequence is unique.
On a sequence related to the Josephus problem
In this short note, we show that an integer sequence defined on the minimum of differences between divisor complements of its partial products is connected with the Josephus problem (q=3).
Self-describing sequences and the Catalan family tree
We introduce a transformation of finite integer sequences, show that every sequence eventually stabilizes under this transformation and that the number of fixed points is counted by the Catalan numbers. The sequences that are fixed are precisely those that describe themselves -- every term $t$ is equal to the number of previous terms that are smaller than $t$. In addition, we provide an easy way to enumerate all these self-describing sequences by organizing them in a Catalan tree with a specific labelling system.
Sequences related to convergents to square root of rationals
In this note we study some sequences whose ratio converges to the square root of rationals. Further we analyze some related sequences obtained when the above mentioned ratio simplifies.
Incidence combinatorics of resolutions
Published in Selecta Mathematica 10 (2004), 37-60
• View Publication
• BIB
We introduce notions of combinatorial blowups, building sets, and nested sets for arbitrary meet-semilattices. This gives a common abstract framework for the incidence combinatorics occurring in the context of De Concini-Procesi models of subspace arrangements and resolutions of singularities in toric varieties. Our main theorem states that a sequence of combinatorial blowups, prescribed by a building set in linear extension compatible order, gives the face poset of the corresponding simplicial complex of nested sets. As applications we trace the incidence combinatorics through every step of the De Concini-Procesi model construction, and we introduce the notions of building sets and nested sets to the context of toric varieties.
There are several other instances, such as models of stratified manifolds and certain graded algebras associated with finite lattices, where our combinatorial framework has been put to work; we present an outline in the end of this paper.
On the Maximum Satisfiability of Random Formulas
Published
• View Publication
• BIB
Maximum satisfiability is a canonical NP-hard optimization problem that appears empirically hard for random instances. Let us say that a Conjunctive normal form (CNF) formula consisting of $k$-clauses is $p$-satisfiable if there exists a truth assignment satisfying $1-2^{-k}+p 2^{-k}$ of all clauses (observe that every $k$-CNF is 0-satisfiable). Also, let $F_k(n,m)$ denote a random $k$-CNF on $n$ variables formed by selecting uniformly and independently $m$ out of all possible $k$-clauses. It is easy to prove that for every $k>1$ and every $p$ in $(0,1]$, there is $R_k(p)$ such that if $r >R_k(p)$, then the probability that $F_k(n,rn)$ is $p$-satisfiable tends to 0 as $n$ tends to infinity. We prove that there exists a sequence $δ_k \to 0$ such that if $r <(1-δ_k) R_k(p)$ then the probability that $F_k(n,rn)$is $p$-satisfiable tends to 1 as $n$ tends to infinity. The sequence $δ_k$ tends to 0 exponentially fast in $k$.
Fraenkel's Partition and Brown's Decomposition
Published in Integers (2003), paper A11 (17 pages). http://www.integers-ejcnt.org/
• Search Publication
Denote the sequence ([ (n-x') / x ])_{n=1}^\infty by B(x, x'), a so-called Beatty sequence. Fraenkel's Partition Theorem gives necessary and sufficient conditions for B(x, x') and B(y, y') to tile the positive integers, i.e., for B(x, x') \cap B(y, y') = \emptyset and B(x, x') \cup B(y, y') = {1,2, 3, ...}. Fix 0 < x < 1, and let c_k = 1 if k \in B(x, 0), and c_k = 0 otherwise, i.e., c_k=[ (k+1) / x ] - [ k / x]. For a positive integer m let C_m be the binary word c_1c_2c_3... c_m. Brown's Decomposition gives integers q_1, q_2, ..., independent of m and growing at least exponentially, and integers t, z_0, z_1, z_2, ..., z_t (depending on m) such that C_m = C_{q_t}^{z_t}C_{q_{t-1}}^{z_{t-1}} ... C_{q_1}^{z_1}C_{q_0}^{z_0}. In other words, Brown's Decomposition gives a sparse set of initial segments of C_\infty and an explicit decomposition of C_m (for every m) into a product of these initial segments.