Dedicated to the memory of Gian-Carlo Rota
Abstract:
We answer a question posed by Lampert and Slater [7]. Consider a sequence of real numbers qn in the interval [0,1] defined by q0 =0,q1 = 1, and, for n ≥ 1, qn+1 equals an average of preceding terms in the sequence. The weights used in the average are provided by a triangular array pn,k of probabilities whose row sums are 1. What is the limiting behavior of a sequence qn so defined? For the Lampert-Slater sequence the weight pn,k is the probability that a randomly chosen fixed-point free mapping of [n + 1] omits exactly k elements from its image. To gain some insight into this averaging process, we first analyze what happens with a simpler array of weights pn,k defined in terms of binomial coefficients. One of our theorems states that if the weights pn,k are closely concentrated and the sequence qn exhibits oscillatory behavior up to a certain computable point, then it will exhibit oscillatory behavior from then on. We carry out the computations necessary to verify that the Lampert-Slater sequence satisfies the hypotheses of the latter theorem. A result on martingales [1] is used to prove the close concentration of the weights pn,k.
Citations
| 1289 | The Probabilistic Method – Alon, Spencer - 1992 |
| 80 | The Art of Computer Programming, Volume III: Sorting and Searching – Knuth - 1973 |
| 18 | Random mappings with constraints on coalescence and number of origins – Arney, Bender - 1982 |
| 4 | A Note on Alternating Sums, The Electronic – Kirschenhofer - 1996 |
| 3 | Parallel knockouts in the complete graph – Lampert, Slater - 1998 |
| 1 | On Artin’s Conjecture for Composite Moduli – Li - 1998 |
| 1 | Problem E3436, The Amer. Math. Monthly 98 – Räde, proposer - 1991 |
