sequence
6966 papers tagged with this keyword
Asymptotics of multivariate sequences, II: multiple points of the singular variety
Published
• View Publication
• BIB
We consider a multivariate generating function F(z), whose coefficients are indexed by d-tuples of nonnegative integers: F(z) = sum_r a_r z^r where z^r denotes the product of z_j^{r_j} over j = 1, ..., d. Suppose that F(z) is meromorphic in some neighborhood of the origin in complex d-space. Let V be the set where the denominator of F vanishes. Effective asymptotic expansions for the coefficients can be obtained by complex contour integration near points of V.
In the first article in this series, we treated the case of smooth points of V. In this article we deal with multiple points of V. Our results show that the central limit (Ornstein-Zernike) behavior typical of the smooth case does not hold in the multiple point case. For example, when V has a multiple point singularity at the point (1, ..., 1), rather than a_r decaying on the order of |r|^{-1/2} as |r| goes to infinity, a_r is a polynomial plus a rapidly decaying term.
A Survey of Graph Pebbling
Published in Congressus Numerantium 139 (1999), 41-64
• Search Publication
We survey results on the pebbling numbers of graphs as well as their historical connection with a number-theoretic question of Erd\H os and Lemke. We also present new results on two probabilistic pebbling considerations, first the random graph threshold for the property that the pebbling number of a graph equals its number of vertices, and second the pebbling threshold function for various natural graph sequences. Finally, we relate the question of the existence of pebbling thresholds to a strengthening of the normal property of posets, and show that the multiset lattice is not supernormal.
Fibonacci q-gaussian sequences
Published in Advanced Studies in Contemporary Mathematics vol. 8 (2004) No2 pp.121-124
• Search Publication
The summation formula within pascalian triangle resulting in the fibonacci sequence is extended to the $q$-binomial coefficients $q$-gaussian triangles.
Closed form summation of C-finite sequences
Published
• View Publication
• BIB
We consider sums of the form \[\sum_{j=0}^{n-1}F_1(a_1n+b_1j+c_1)F_2(a_2n+b_2j+c_2)... F_k(a_kn+b_kj+c_k),\] in which each $\{F_i(n)\}$ is a sequence that satisfies a linear recurrence of degree $D(i)<\infty$, with constant coefficients. We assume further that the $a_i$'s and the $a_i+b_i$'s are all nonnegative integers. We prove that such a sum always has a closed form, in the sense that it evaluates to a linear combination of a finite set of monomials in the values of the sequences $\{F_i(n)\}$ with coefficients that are polynomials in $n$. We explicitly describe two different sets of monomials that will form such a linear combination, and give an algorithm for finding these closed forms, thereby completely automating the solution of this class of summation problems. We exhibit tools for determining when these explicit evaluations are unique of their type, and prove that in a number of interesting cases they are indeed unique. We also discuss some special features of the case of ``indefinite summation," in which $a_1=a_2=... = a_k = 0$.
Some useful combinatorial formulae for bosonic operators
Published in Journal of Mathematical Physics 46: 052110 (2005)
• View Publication
• BIB
We give a general expression for the normally ordered form of a function F(w(a,a*)) where w is a function of boson annihilation and creation operators satisfying [a,a*]=1. The expectation value of this expression in a coherent state becomes an exact generating function of Feynman-type graphs associated with the zero-dimensional Quantum Field Theory defined by F(w). This enables one to enumerate explicitly the graphs of given order in the realm of combinatorially defined sequences. We give several examples of the use of this technique, including the applications to Kerr-type and superfluidity-type hamiltonians.
Balanced Partitions of Vector Sequences
Let $d, r \in \N$, $\|\cdot\|$ any norm on $\R^d$ and $B$ denote the unit ball with respect to this norm. We show that any sequence $v_1,v_2,...$ of vectors in $B$ can be partitioned into $r$ subsequences $V_1, ..., V_r$ in a balanced manner with respect to the partial sums: For all $n \in \N$, $\ell \le r$, we have $\|\sum_{i \le k, v_i \in V_\ell} v_i - \tfrac 1r \sum_{i \le k} v_i\| \le 2.0005 d$. A similar bound holds for partitioning sequences of vector sets. Both results extend an earlier one of Bárány and Grinberg (1981) to partitions in arbitrarily many classes.
Distorted metrics on trees and phylogenetic forests
Published
• View Publication
• BIB
We study distorted metrics on binary trees in the context of phylogenetic reconstruction. Given a binary tree $T$ on $n$ leaves with a path metric $d$, consider the pairwise distances $\{d(u,v)\}$ between leaves. It is well known that these determine the tree and the $d$ length of all edges. Here we consider distortions $\d$ of $d$ such that for all leaves $u$ and $v$ it holds that $|d(u,v) - \d(u,v)| < f/2$ if either $d(u,v) < M$ or $\d(u,v) < M$, where $d$ satisfies $f \leq d(e) \leq g$ for all edges $e$. Given such distortions we show how to reconstruct in polynomial time a forest $T_1,...,T_α$ such that the true tree $T$ may be obtained from that forest by adding $α-1$ edges and $α-1 \leq 2^{-Ω(M/g)} n$.
Metric distortions arise naturally in phylogeny, where $d(u,v)$ is defined by the log-det of a covariance matrix associated with $u$ and $v$. of a covariance matrix associated with $u$ and $v$. When $u$ and $v$ are ``far'', the entries of the covariance matrix are small and therefore $\d(u,v)$, which is defined by log-det of an associated empirical-correlation matrix may be a bad estimate of $d(u,v)$ even if the correlation matrix is ``close'' to the covariance matrix.
Our metric results are used in order to show how to reconstruct phylogenetic forests with small number of trees from sequences of length logarithmic in the size of the tree. Our method also yields an independent proof that phylogenetic trees can be reconstructed in polynomial time from sequences of polynomial length under the standard assumptions in phylogeny. Both the metric result and its applications to phylogeny are almost tight.
The limit of a Stanley-Wilf sequence is not always rational, and layered patterns beat monotone patterns
We show the first known example for a pattern $q$ for which $\lim_{n\to \infty} \sqrt[n]{S_n(q)}$ is not an integer. We find the exact value of the limit and show that it is irrational. Then we generalize our results to an infinite sequence of patterns. Finally, we provide further generalizations that start explaining why certain patterns are easier to avoid than others. Finally, we show that if $q$ is a layered pattern of length $k$, then $L(q)\geq (k-1)^2$ holds.
The Cube Recurrence
Published
• View Publication
• BIB
We construct a combinatorial model that is described by the cube recurrence, a nonlinear recurrence relation introduced by Propp, which generates families of Laurent polynomials indexed by points in $\mathbb{Z}^3$. In the process, we prove several conjectures of Propp and of Fomin and Zelevinsky, and we obtain a combinatorial interpretation for the terms of Gale-Robinson sequences. We also indicate how the model might be used to obtain some interesting results about perfect matchings of certain bipartite planar graphs.
q-Analogs of classical 6-periodicity: from Euler to Chebyshev
Published in J. Nonlinear Math. Phys., volume 10, no. 3 (2003) 318-339
• View Publication
• BIB
The sequence of period 6 starting with 1, 1, 0, -1, -1, 0 appears in many different disguises in mathematics. Various q-versions of this sequence are found, and their relations with Euler's pentagonal numbers theorem and Chebyshev polynomials are discussed.
On simultaneous binary expansions of $n$ and $n^2$
Published in Journal of Number Theory, 111 (2005), 248 -- 256
• View Publication
• BIB
A new family of sequences is proposed. An example of sequence of this family is more accurately studied. This sequence is composed by the integers $n$ for which the sum of binary digits is equal to the sum of binary digits of $n^2$. Some structure and asymptotic properties are proved and a conjecture about its counting function is discussed.
Restricted Dumont permutations
Published
• View Publication
• BIB
We analyze the structure and enumerate Dumont permutations of the first and second kinds avoiding certain patterns or sets of patterns of length 3 and 4. Some cardinalities are given by Catalan numbers, powers of 2, little Schroeder numbers, and other known or related sequences.
Generalized de Bruijn Cycles
Published
• View Publication
• BIB
For a set of integers $I$, we define a $q$-ary $I$-cycle to be a assignment of the symbols 1 through $q$ to the integers modulo $q^n$ so that every word appears on some translate of $I$. This definition generalizes that of de Bruijn cycles, and opens up a multitude of questions. We address the existence of such cycles, discuss ``reduced'' cycles (ones in which the all-zeroes string need not appear), and provide general bounds on the shortest sequence which contains all words on some translate of $I$. We also prove a variant on recent results concerning decompositions of complete graphs into cycles and employ it to resolve the case of $|I|=2$ completely.
Arithmetic Properties of Periodic Maps
Published
• View Publication
• BIB
Let $ψ_1,...,ψ_k$ be periodic maps from $\Bbb Z$ to a field of characteristic p (where p is zero or a prime). Assume that positive integers $n_1,...,n_k$ not divisible by p are their periods respectively. We show that $ψ_1+...+ψ_k$ is constant if $ψ_1(x)+...+ψ_k(x)$ equals a constant for |S| consecutive integers x where S={r/n_s: r=0,...,n_s-1; s=1,...,k}. We also present some new results on finite systems of arithmetic sequences.
Normalizers of ad-nilpotent ideals
Published
• View Publication
• BIB
Let $\be$ be a Borel subalgebra of a complex simple Lie algebra $\g$. An ideal of $\be$ is called ad-nilpotent, if it is contained in $[\be,\be]$. We give several descriptions of the normalizer of an ad-nilpotent ideal: using the weight of an ideal, or the affine Weyl group, or a relationship with dominant regions of the Shi arrangement. We also give a description of those ideals whose normalizer is equal to $\be$. For sl(n) and sp(2n), explicit enumerative results are obtained, which demonstrate a connection with some famous integer sequences.
Numerical cubature using error-correcting codes
Published in SIAM J. Numer. Anal. 44 (2006), 897-907
• View Publication
• BIB
We present a construction for improving numerical cubature formulas with equal weights and a convolution structure, in particular equal-weight product formulas, using linear error-correcting codes. The construction is most effective in low degree with extended BCH codes. Using it, we obtain several sequences of explicit, positive, interior cubature formulas with good asymptotics for each fixed degree $t$ as the dimension $n \to \infty$. Using a special quadrature formula for the interval [arXiv:math.PR/0408360], we obtain an equal-weight $t$-cubature formula on the $n$-cube with $O(n^{\floor{t/2}})$ points, which is within a constant of the Stroud lower bound. We also obtain $t$-cubature formulas on the $n$-sphere, $n$-ball, and Gaussian $\R^n$ with $O(n^{t-2})$ points when $t$ is odd. When $μ$ is spherically symmetric and $t=5$, we obtain $O(n^2)$ points. For each $t \ge 4$, we also obtain explicit, positive, interior formulas for the $n$-simplex with $O(n^{t-1})$ points; for $t=3$, we obtain O(n) points. These constructions asymptotically improve the non-constructive Tchakaloff bound.
Some related results were recently found independently by Victoir, who also noted that the basic construction more directly uses orthogonal arrays.
Lattice congruences, fans and Hopf algebras
Published in J. Combin. Theory Ser. A, 110 (2005) no. 2, 237-273.
• View Publication
• BIB
We give a unified explanation of the geometric and algebraic properties of two well-known maps, one from permutations to triangulations, and another from permutations to subsets. Furthermore we give a broad generalization of the maps. Specifically, for any lattice congruence of the weak order on a Coxeter group we construct a complete fan of convex cones with strong properties relative to the corresponding lattice quotient of the weak order. We show that if a family of lattice congruences on the symmetric groups satisfies certain compatibility conditions then the family defines a sub Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. Such a sub Hopf algebra has a basis which is described by a type of pattern-avoidance. Applying these results, we build the Malvenuto-Reutenauer algebra as the limit of an infinite sequence of smaller algebras, where the second algebra in the sequence is the Hopf algebra of non-commutative symmetric functions. We also associate both a fan and a Hopf algebra to a set of permutations which appears to be equinumerous with the Baxter permutations.
The general boson normal ordering problem
Published in Physics Letters A, 309, 198 (2003)
• View Publication
• BIB
We solve the boson normal ordering problem for F[(a*)^r a^s], with r,s positive integers, where a* and a are boson creation and annihilation operators satisfying [a,a*]=1. That is, we provide exact and explicit expressions for the normal form wherein all a's are to the right. The solution involves integer sequences of numbers which are generalizations of the conventional Bell and Stirling numbers whose values they assume for r=s=1. A comprehensive theory of such generalized combinatorial numbers is given including closed-form expressions (extended Dobinski-type formulas)and generating functions. These last are special expectation values in boson coherent states.
A Turán Type Problem Concerning the Powers of the Degrees of a Graph (revised)
Published in The Electronic Journal of Combinatorics 7 (2000), #R47
• View Publication
• BIB
For a graph $G$ whose degree sequence is $d_{1},..., d_{n}$, and for a positive integer $p$, let $e_{p}(G)=\sum_{i=1}^{n}d_{i}^{p}$. For a fixed graph $H$, let $t_{p}(n,H)$ denote the maximum value of $e_{p}(G)$ taken over all graphs with $n$ vertices that do not contain $H$ as a subgraph. Clearly, $t_{1}(n,H)$ is twice the Turán number of $H$. In this paper we consider the case $p>1$. For some graphs $H$ we obtain exact results, for some others we can obtain asymptotically tight upper and lower bounds, and many interesting cases remain open.
Viterbi Sequences and Polytopes
Published in Journal of Symbolic Computation 41 (2006) 151-163
• View Publication
• BIB
A Viterbi path of length n of a discrete Markov chain is a sequence of n+1 states that has the greatest probability of ocurring in the Markov chain. We divide the space of all Markov chains into Viterbi regions in which two Markov chains are in the same region if they have the same set of Viterbi paths. The Viterbi paths of regions of positive measure are called Viterbi sequences. Our main results are (1) each Viterbi sequence can be divided into a prefix, periodic interior, and suffix, and (2) as n increases to infinity (and the number of states remains fixed), the number of Viterbi regions remains bounded. The Viterbi regions correspond to the vertices of a Newton polytope of a polynomial whose terms are the probabilities of sequences of length n. We characterize Viterbi sequences and polytopes for two- and three-state Markov chains.