sequence
7033 papers tagged with this keyword
About Division by 1
Published
• View Publication
• BIB
The Euclidean division of two formal series in one variable produces a sequence of series that we obtain explicitly, remarking that the case where one of the two initial series is 1 is sufficiently generic. As an application, we define a Wronskian of symmetric functions.
On finite sequences satisfying linear recursions
Published in New York J. Math._8_ (2002) 85-97 = http://nyjm.albany.edu:8000/j/2002/8-5.html
• Search Publication
For any field k and any integers m,n with 0 <= 2m <= n+1, let W_n be the k-vector space of sequences (x_0,...,x_n), and let H_m be the subset of W_n consisting of the sequences that satisfy a degree-m linear recursion, that is, for which there exist a_0,...,a_m in k, not all zero, such that sum(a_i x_{i+j}, i=0..m) = 0 holds for each j=0,1,...,n-m. Equivalently, H_m is the set of (x_0,...,x_n) such that the (m+1)-by-(n-m+1) matrix with (i,j) entry x_{i+j} (i=0..m, j=0..n-m) has rank at most m. We use elementary linear and polynomial algebra to study these sets H_m. In particular, when k is a finite field of q elements, we write the characteristic function of H_m as a linear combination of characteristic functions of linear subspaces of dimensions m and m+1 in W_n. We deduce a formula for the discrete Fourier transform (DFT) of this characteristic function, and obtain some consequences. For instance, if the 2m+1 entries of a square Hankel matrix of order m+1 are chosen independently from a fixed but not necessarily uniform distribution mu on k, then as m->infty the matrix is singular with probability approaching 1/q provided the DFT of mu has l_1 norm less than sqrt(q). This bound sqrt(q) is best possible if q is a square.
The Laurent phenomenon
Published
• View Publication
• BIB
A composition of birational maps given by Laurent polynomials need not be given by Laurent polynomials; however, sometimes---quite unexpectedly---it does. We suggest a unified treatment of this phenomenon, which covers a large class of applications. In particular, we settle in the affirmative a conjecture of D$.$Gale and R$.$Robinson on integrality of generalized Somos sequences, and prove the Laurent property for several multidimensional recurrences, confirming conjectures by J$.$Propp, N$.$Elkies, and M$.$Kleber.
Bell numbers, log-concavity, and log-convexity
Published in Acta Appl. Math., 63 (2000) 79--87
• View Publication
• BIB
Let $\{b_{k}(n)\}_{n=0}^{\infty}$ be the Bell numbers of order $k$. It is proved that the sequence $\{b_{k}(n)/n!\}_{n=0}^{\infty}$ is log-concave and the sequence $\{b_{k}(n)\}_{n=0}^{\infty}$ is log-convex, or equivalently, the following inequalities hold for all $n\geq 0$, $$1\leq {b_{k}(n+2) b_{k}(n) \over b_{k}(n+1)^{2}} \leq {n+2 \over n+1}.$$ Let $\{\a(n)\}_{n=0}^{\infty}$ be a sequence of positive numbers with $\a(0)=1$. We show that if $\{\a(n)\}_{n=0}^{\infty}$ is log-convex, then $$\a (n) \a (m) \leq \a(n+m), \quad \forall n, m\geq 0.$$ On the other hand, if $\{\a(n)/n!\}_{n=0}^{\infty}$ is log-concave, then $$\a (n+m) \leq {n+m \choose n} \a (n) \a (m), \quad \forall n, m\geq 0.$$ In particular, we have the following inequalities for the Bell numbers $$b_{k}(n) b_{k}(m) \leq b_{k}(n+m) \leq {n+m \choose n} b_{k}(n) b_{k}(m), \quad \forall n, m\geq 0.$$ Then we apply these results to white noise distribution theory.
Walks on the slit plane: other approaches
Published
• View Publication
• BIB
Let S be a finite subset of Z^2. A walk on the slit plane with steps in S is a sequence (0,0)=w_0, w_1, ..., w_n of points of Z^2 such that w_{i+1}-w_i belongs to S for all i, and none of the points w_i, i>0, lie on the half-line H= {(k,0): k =< 0}.
In a recent paper, G. Schaeffer and the author computed the length generating function S(t) of walks on the slit plane for several sets S. All the generating functions thus obtained turned out to be algebraic: for instance, on the ordinary square lattice,
S(t) =\frac{(1+\sqrt{1+4t})^{1/2}(1+\sqrt{1-4t})^{1/2}}{2(1-4t)^{3/4}}.
The combinatorial reasons for this algebraicity remain obscure.
In this paper, we present two new approaches for solving slit plane models. One of them simplifies and extends the functional equation approach of the original paper. The other one is inspired by an argument of Lawler; it is more combinatorial, and explains the algebraicity of the product of three series related to the model. It can also be seen as an extension of the classical cycle lemma. Both methods work for any set of steps S.
We exhibit a large family of sets S for which the generating function of walks on the slit plane is algebraic, and another family for which it is neither algebraic, nor even D-finite. These examples give a hint at where the border between algebraicity and transcendence lies, and calls for a complete classification of the sets S.
Pattern frequency sequences and internal zeros
Consider the number of permutations in the symmetric group on n letters that contain c copies of a given pattern. As c varies (with n held fixed) these numbers form a sequence whose properties we study for the monotone patterns and the patterns 1, l, l-1, ..., 2. We show that, except for the patterns 1, 2 and 2, 1 where the sequence is well-known to be log concave, there are infinitely many n where the sequence has internal zeros.
Shuffle Invariance of the Super-RSK Algorithm
Published
• View Publication
• BIB
As in the $(k,l)$-RSK (Robinson-Schensted-Knuth) of [1], other super-RSK algorithms can be applied to sequences of variables from the set $\{t_1,...,t_k,u_1,...,u_l\}$, where $t_1<...<t_k$, and $u_1<...<u_l$. While the $(k,l)$-RSK of [1] is the case where $t_i<u_j$ for all $i$ and $j$, these other super-RSK's correspond to all the $(\big{(}{{k+l}\atop{k}}\big{)}$ shuffles of the $t$'s and $u$'s satisfying the above restrictions that $t_1<...<t_k$ and $u_1<...<u_l$. We show that the shape of the tableaux produced by any such super-RSK is independent of the particular shuffle of the $t$'s and $u$'s.
Chromatic roots are dense in the whole complex plane
Published in Combin. Probab. Comput. 13, 221-261 (2004)
• View Publication
• BIB
I show that the zeros of the chromatic polynomials P_G(q) for the generalized theta graphs Θ^{(s,p)} are, taken together, dense in the whole complex plane with the possible exception of the disc |q-1| < 1. The same holds for their dichromatic polynomials (alias Tutte polynomials, alias Potts-model partition functions) Z_G(q,v) outside the disc |q+v| < |v|. An immediate corollary is that the chromatic zeros of not-necessarily-planar graphs are dense in the whole complex plane. The main technical tool in the proof of these results is the Beraha-Kahane-Weiss theorem on the limit sets of zeros for certain sequences of analytic functions, for which I give a new and simpler proof.
A Distribution Function Arising in Computational Biology
Published in in "MathPhys Odyssey 2001: Integrable Models and Beyond-In Honor of Barry M. McCoy, eds. M. Kashiwara and T. Miwa, Birkhauser Boston, 2002, pgs. 467-474.
• View Publication
• BIB
Karlin and Altschul in their statistical analysis for multiple high-scoring segments in molecular sequences introduced a distribution function which gives the probability there are at least r distinct and consistently ordered segment pairs all with score at least x. For long sequences this distribution can be expressed in terms of the distribution of the length of the longest increasing subsequence in a random permutation. Within the past few years, this last quantity has been extensively studied in the mathematics literature. The purpose of these notes is to summarize these new mathematical developments in a form suitable for use in computational biology.
Netted Binomial Matrices
In this paper we prove that a matrix property of nettedness (all 2x2 cells satisfy a recurrence) is preserved for powers of such a matrix, where the coefficients are all instances of the same sequence. Also, we find an n-dimensional analog of the Q-matrix for the general Pell(Fibonacci) sequence. We close by giving a conjecture about the spectral properties of the binomial matrix we found.
Recurrence of Distributional Limits of Finite Planar Graphs
Published in Electron.J.Probab.6:1-13,2001
• View Publication
• BIB
Suppose that $G_j$ is a sequence of finite connected planar graphs, and in each $G_j$ a special vertex, called the root, is chosen randomly-uniformly. We introduce the notion of a distributional limit $G$ of such graphs. Assume that the vertex degrees of the vertices in $G_j$ are bounded, and the bound does not depend on $j$. Then after passing to a subsequence, the limit exists, and is a random rooted graph $G$. We prove that with probability one $G$ is recurrent. The proof involves the Circle Packing Theorem. The motivation for this work comes from the theory of random spherical triangulations.
Compatible sequences and a slow Winkler percolation
Published in Combinatorics, Probability and Computing 13 (2004) pp. 815-856
• Search Publication
Two infinite 0-1 sequences are called compatible when it is possible to cast out 0's from both in such a way that they become complementary to each other. Answering a question of Peter Winkler, we show that if the two 0-1-sequences are random i.i.d. and independent from each other, with probability p of 1's, then if p is sufficiently small they are compatible with positive probability. The question is equivalent to a certain dependent percolation with a power-law behavior: the probability that the origin is blocked at distance n but not closer decreases only polynomially fast and not, as usual, exponentially.
The structure of Chip Firing Games and related models
Published
• View Publication
• BIB
In this paper, we study the dynamics of sand grains falling in sand piles. Usually sand piles are characterized by a decreasing integer partition and grain moves are described in terms of transitions between such partitions. We study here four main transition rules. The more classical one, introduced by Brylawski (1973) induces a lattice structure $L_B (n)$ (called dominance ordering) between decreasing partitions of a given integer n. We prove that a more restrictive transition rule, called SPM rule, induces a natural partition of L_B (n) in suborders, each one associated to a fixed point for SPM rule. In the second part, we extend the SPM rule in a natural way and obtain a model called Chip Firing Game (Goles and Kiwi, 1993). We prove that this new model has interesting properties: the induced order is a lattice, a natural greedoid can be associated to the model and it also defines a strongly convergent game. In the last section, we generalize the SPM rule in another way and obtain other lattice structure parametrized by some t: L(n,t), which form for -n+2 <= t <= n a decreasing sequence of lattices. For each t, we characterize the fixed point of L(n,t) and give the value of its maximal sized chain's lenght. We also note that L(n,-n+2) is the lattice of all compositions of n.
Matrix Powers of Column-Justified Pascal Triangles and Fibonacci Sequences
Published
• View Publication
• BIB
If L, respectively R are matrices with entries binom{i-1,j-1}, respectively binom{i-1,n-j}, it is known that L^2 = I (mod 2), respectively R^3 = I (mod 2), where I is the identity matrix of dimension n > 1 (see P10735-May 1999 issue of the American Mathematical Monthly). We generalize it for any prime p, and give a beautiful connection to Fibonacci numbers.
Generating Functions, Weighted and Non-Weighted Sums for Powers of Second-Order Recurrence Sequences
In this paper we find closed form for the generating function of powers of any non-degenerate second-order recurrence sequence, completing a study begun by Carlitz and Riordan in 1962. Moreover, we generalize a theorem of Horadam on partial sums involving such sequences. Also, we find closed forms for weighted (by binomial coefficients) partial sums of powers of any non-degenerate second-order recurrence sequences. As corollaries we give some known and seemingly unknown identities and derive some very interesting congruence relations involving Fibonacci and Lucas sequences.
Tangential Structures on Toric Manifolds, and Connected Sums of Polytopes
We extend work of Davis and Januszkiewicz by considering {\it omnioriented} toric manifolds, whose canonical codimension-2 submanifolds are independently oriented. We show that each omniorientation induces a canonical stably complex structure, which is respected by the torus action and so defines an element of an equivariant cobordism ring. As an application, we compute the complex bordism groups and cobordism ring of an arbitrary omnioriented toric manifold. We consider a family of examples $B_{i,j}$, which are toric manifolds over products of simplices, and verify that their natural stably complex structure is induced by an omniorientation. Studying connected sums of products of the $B_{i,j}$ allows us to deduce that every complex cobordism class of dimension >2 contains a toric manifold, necessarily connected, and so provides a positive answer to the toric analogue of Hirzebruch's famous question for algebraic varieties. In previous work, we dealt only with disjoint unions, and ignored the relationship between the stably complex structure and the action of the torus. In passing, we introduce a notion of connected sum $#$ for simple $n$-dimensional polytopes; when $P^n$ is a product of simplices, we describe $P^n# Q^n$ by applying an appropriate sequence of {\it pruning operators}, or hyperplane cuts, to $Q^n$.
Bass Numbers of Semigroup-Graded Local Cohomology
Published
• View Publication
• BIB
Given a module M over a ring R which has a grading by a semigroup Q, we present a spectral sequence that computes the local cohomology of M at any Q-graded ideal I in terms of Ext modules. This method is used to obtain finiteness results for the local cohomology of graded modules over semigroup rings; in particular we prove that for a semigroup Q whose saturation is simplicial, the Bass numbers of such local cohomology modules are finite. Conversely, if the saturation of Q is not simplicial, one can find a graded ideal I and a graded R-module M whose local cohomology at I in some degree has an infinite-dimensional socle. We introduce and exploit the combinatorially defined essential set of a semigroup.
On the Distribution Function of the Complexity of Finite Sequences
Published
• View Publication
• BIB
Investigations of complexity of sequences lead to important applications such as effective data compression, testing of randomness, discriminating between information sources and many others. In this paper we establish formulas describing the distribution functions of random variables representing the complexity of finite sequences introduced by Lempel and Ziv in 1976. We show that the distribution functions depend in an affine way on the probabilities of the so called "exact" sequences.
On a construction of Friedman
Published
• View Publication
• BIB
H. Friedman obtained remarkable results about the longest finite sequence $x$ such that for all $i \not= j$ the word $x[i..2i]$ is not a subsequence of $x[j..2j]$. In this note we consider what happens when ``subsequence'' is replaced by ``subword''.
Completion of a Rational Function Sequence of Carlitz
The exponential generating functions of {n^(n+m)} for arbitrary integer m are expressed as rational functions of the e.g.f. of {n^(n-1)} [the tree function] and then of the e.g.f. of {n^n} [the endofunction function].
The coefficients in these rational functions include 2nd-order Eulerian numbers (a result of L. Carlitz), 2nd-order Stirling numbers, and Stirling numbers of the first kind for negative sets (in the sense of D. Loeb). Several combinatorial identities follow.