sequence
6842 papers tagged with this keyword
Some new aspects of the coupon-collector's problem
Published
• View Publication
• BIB
We extend the classical coupon collector's problem to one in which two collectors are simultaneously and independently seeking collections of $d$ coupons. We find, in finite terms, the probability that the two collectors finish at the same trial, and we find, using the methods of Gessel-Viennot, the probability that the game has the following ``ballot-like'' character: the two collectors are tied with each other for some initial number of steps, and after that the player who first gains the lead remains ahead throughout the game. As a by-product we obtain the evaluation in finite terms of certain infinite series whose coefficients are powers and products of Stirling numbers of the second kind.
We study the variant of the original coupon collector's problem in which a single collector wants to obtain at least $h$ copies of each coupon. Here we give a simpler derivation of results of Newman and Shepp, and extend those results. Finally we obtain the distribution of the number of coupons that have been obtained exactly once (``singletons'') at the conclusion of a successful coupon collecting sequence.
On the average of triangular numbers
The problem we are dealing with is the following: find two sequences $a_n$ and $b_n$ such that the average of the first $b_n$ triangular numbers (starting with the triangular number 1) is still a triangular number, precisely the $a_n$-th triangular number. We get also some side results: for instance one of the sequence instrumental to finding the asked for sequences turns out to be a bisection of the sequence of the numerators of continued fraction convergents to $\sqrt{3}$.
New coins from old: computing with unknown bias
Published
• View Publication
• BIB
Suppose that we are given a function f : (0,1) -> (0,1) and, for some unknown p in (0,1), a sequence of independent tosses of a p-coin (i.e., a coin with probability p of ``heads'').
For which functions f is it possible to simulate an f(p)-coin?; This question was raised by S. Asmussen and J. Propp. A simple simulation scheme for the constant function 1/2 was described by von Neumann (1951); this scheme can be easily implemented using a finite automaton. We prove that in general, an f(p)-coin can be simulated by a finite automaton for all p in (0,1), if and only if f is a rational function over Q. We also show that if an f(p)-coin can be simulated by a pushdown automaton, then f is an algebraic function over Q; however, pushdown automata can simulate f(p)-coins for certain non-rational functions such as the square root of p. These results complement the work of Keane and O'Brien (1994), who determined the functions $f$ for which an f(p)-coin can be simulated when there are no computational restrictions on the simulation scheme.
Nonstandard Graphs, Revised
Published
• View Publication
• BIB
This is a revision of the paper archived previously on August 22, 2002. It corrects a mistake in Sec. 8 concerning eccentricities of graphs.
From any given sequence of finite or infinite graphs, a nonstandard graph is constructed. The procedure is similar to an ultrapower construction on an internal set from a sequence of subsets of the real line, but now the individual entities are the vertices of the graphs instead of real numbers. The transfer principle is then invoked to extend several graph-theoretic results to the nonstandard case. After incidences and adjacencies between nonstandard vertices and edges are defined, several formulas regarding numbers of vertices and edges, and nonstandard versions of Eulerian graphs, Hamiltonian graphs, and a coloring theorem are established for these nonstandard graphs.
Key Words: Nonstandard graphs, transfer principle, ultrapower constructions.
Sequences related to the Pell generalized equation
We consider sequences of the type $A_n=6A_{n-1}-A_{n-2}, A_0=r, A_1=s$ ($r$ and $s$ integers) and show that all sequences that solve particular cases of the Pell generalized equation are expressible as a constant times one of four particular sequences of the same type.
The minimal cardinality where the Reznichenko property fails
Published in Israel Journal of Mathematics 140 (2004), 367--374
• View Publication
• BIB
A topological space X$ has the Frechet-Urysohn property if for each subset A of X and each element x in the closure of A, there exists a countable sequence of elements of A which converges to x. Reznichenko introduced a natural generalization of this property, where the converging sequence of elements is replaced by a sequence of disjoint finite sets which eventually intersect all neighborhoods of x. In their paper, Kocinac and Scheepers conjecture that the minimal cardinality of a set X of real numbers such that C_p(X) does not have the weak Frechet-Urysohn property is equal to b. (b is the minimal cardinality of an unbounded family in the Baire space).
We prove the Kocinac-Scheepers conjecture by showing that if C_p(X) has the Reznichenko property, then a continuous image of X cannot be a subbase for a non-feeble filter on the natural numbers.
3-enumerated alternating sign matrices
Let $A(n,r;3)$ be the total weight of the alternating sign matrices of order $n$ whose sole `1' of the first row is at the $r^{th}$ column and the weight of an individual matrix is $3^k$ if it has $k$ entries equal to -1. Define the sequence of the generating functions $G_n(t)=\sum_{r=1}^n A(n,r;3)t^{r-1}$.
Results of two different kind are obtained. On the one hand I made the explicit expression for the even subsequence $G_{2ν}(t)$ in terms of two linear homogeneous second order recurrence in $ν$ (Theorem 1). On the other hand I brought to light the nice connection between the neighbouring functions $G_{2ν+1}(t)$ and $G_{2ν}(t)$ (Theorem 2).
The 3-enumeration $A(n;3) \equiv G_n(1)$ which was found by Kuperberg is reproduced as well.
Développements limités et la transformée inverse
The generating series associated to a certain sequence of limited Taylor expansions coincides with the continuously iterated Invert Transform and displays thus a nice functional equality.
Dobinski-type relations and the Log-normal distribution
Published in J.Phys.A:Math.Gen. 36, L273 (2003)
• View Publication
• BIB
We consider sequences of generalized Bell numbers B(n), n=0,1,... for which there exist Dobinski-type summation formulas; that is, where B(n) is represented as an infinite sum over k of terms P(k)^n/D(k). These include the standard Bell numbers and their generalizations appearing in the normal ordering of powers of boson monomials, as well as variants of the "ordered" Bell numbers. For any such B we demonstrate that every positive integral power of B(m(n)), where m(n) is a quadratic function of n with positive integral coefficients, is the n-th moment of a positive function on the positive real axis, given by a weighted infinite sum of log-normal distributions.
SPM Bulletin 3
In this issue we announce a fascinating series of works on the comparison of various types of convergence of sequences of functions. Some of these properties are provably related to some of the properties which were introduced in the earlier issues of the SPM Bulletin, and many problems remain open. Section 2, written by Lev Bukovský, contains a brief survey of some of the major open problems in this area.
This issue gives the first example of the importance of the transmission of knowledge between the recipients of this bulletin: One of the announcements implies a solution to one of the problems posed in an independent paper announced here. looking forward to receive more announcements from other recipients and readers of the bulletin.
Finiteness of p-Divisible Sets of Multiple Harmonic Sums
Published in Annales des Sciences Mathématiques du Québec 2 (2012), 419-443
• Search Publication
\medskip\noindent\textbf{Résumé.} Soit $l$ un entier et $\ors=(s_1, \dots, s_l)$ une séquence d'entiers positifs. Dans ce document, nous étudierons les propriétés arithmétique de sommes harmoniques multiples $H(\ors; n)$, qui est le $n$-ème somme partielle de la valeur de la série multiple zeta $ζ(\ors)$. On conjecture que pour tout $\ors$ et de tous les premiers $p$, il n'y a que de nombreux finitely $p$-partie intégrante sommes $H(\ors,n)$. Ceci généralise une conjecture de Eswarathasan et Levine et Boyd pour la série harmonique. Nous fournissons beaucoup d'éléments de preuve pour cette conjecture générale ainsi que certaines heuristiques argument soutenir. Ce document fait suite à \emph{Wolstenholme Type Theorem for multiple harmonic sums}, Intl.\ J.\ of Number Theory \textbf{4}(1) (2008) 73-106.
The peak algebra and the descent algebras of types B and D
Published in Trans. Amer. Math. Soc. 356 (2004), no. 7, 2781--2824
• View Publication
• BIB
We show the existence of a unital subalgebra of the symmetric group algebra linearly spanned by sums of permutations with a common peak set, which we call the peak algebra. We show that this algebra is the image of the descent algebra of type B under the map to the descent algebra of type A which forgets the signs, and also the image of the descent algebra of type D. The peak algebra contains a two sided ideal which is defined in terms of interior peaks. This object was introduced in previous work by Nyman; we find that it is the image of certain ideals of the descent algebras of types B and D introduced in previous work of N. Bergeron et al. We derive an exact sequence involving the peak ideal and the peak algebras of degrees $n$ and $n-2$. We obtain this and many other properties of the peak algebra and its peak ideal by first establishing analogous results for signed permutations and then forgetting the signs. In particular, we construct two new commutative semisimple subalgebras of the descent algebra by grouping permutations according to their number of peaks or interior peaks. We discuss the Hopf algebraic structures that exist on the direct sums of these spaces over $n\geq 0$ and explain the connection with previous work of Stembridge; we also obtain new properties of his descents-to-peaks map and construct a type B analog.
Periodic de Bruijn triangles: exact and asymptotic results
Published
• View Publication
• BIB
We study the distribution of the number of permutations with a given periodic up-down sequence w.r.t. the last entry, find exponential generating functions and prove asymptotic formulas for this distribution.
Factorizations of some weighted spanning tree enumerators
Published in J. Combin. Theory Ser. A 104, no. 2 (2003), pp. 287--300.
• View Publication
• BIB
We give factorizations for weighted spanning tree enumerators of Cartesian products of complete graphs, keeping track of fine weights related to degree sequences and edge directions. Our methods combine Kirchhoff's Matrix-Tree Theorem with the technique of identification of factors.
Avoiding Monochromatic Sequences With Special Gaps
Published
• View Publication
• BIB
For $S$ a set of positive integers, and $k$ and $r$ fixed positive integers, denote by $f(S,k;r)$ the least positive integer $n$ (if it exists) such that within every $r$-coloring of $\{1,2,...,n\}$ there must be a monochromatic sequence $\{x_{1},x_{2},...,x_{k}\}$ with $x_{i}-x_{i-1} \in S$ for $2 \leq i \leq k$. We consider the existence of $f(S,k;r)$ for various choices of $S$, as well as upper and lower bounds on this function. In particular, we show that this function exists for all $k$ if $S$ is an odd translate of the set of primes and $r=2$.
A note on sum of k-th power of Horadam's sequence
Let $w_{n+2}=pw_{n+1}+qw_{n}$ for $n\geq0$ with $w_0=a$ and $w_1=b$. In this paper we find an explicit expression, in terms of determinants, for $\sum_{n\geq0} w_n^kx^n$ for any $k\geq1$. As a consequence, we derive all the previously known results for this kind of problems, as well as many new results.
The Hurewicz covering property and slaloms in the Baire space
Published in Fundamenta Mathematicae 181 (2004), 273--280
• View Publication
• BIB
According to a result of Kocinac and Scheepers, the Hurewicz covering property is equivalent to a somewhat simpler selection property: For each sequence of large open covers of the space one can choose finitely many elements from each cover to obtain a groupable cover of the space. We simplify the characterization further by omitting the need to consider sequences of covers: A set of reals $X$ satisfies the Hurewicz property if, and only if, each large open cover of $X$ contains a groupable subcover. This solves in the affirmative a problem of Scheepers.
The proof uses a rigorously justified abuse of notation and a "structure" counterpart of a combinatorial characterization, in terms of slaloms, of the minimal cardinality b of an unbounded family of functions in the Baire space. In particular, we obtain a new characterization of $\b$.
SPM Bulletin 1
This is the first issue of a semi-formal bulletin dealing with Selection Principles in Mathematics (SPM) -- this field deals with all sorts of studies of diagonalization arguments, especially in topology (covering properties, sequences of covers, etc.) and infinite combinatorics (cardinal characteristics of the continuum), and their applications to other areas of mathematics (function spaces, game theory, group theory, etc.)
An Affine Linear Solution for the 2-Face Colorable Gauss Code Problem in the Klein Bottle and a Quadratic System for Arbitrary Closed Surfaces
Let $\bar{P}$ be a sequence of length $2n$ in which each element of $\{1,2,...,n\}$ occurs twice. Let $P'$ be a closed curve in a closed surface $S$ having $n$ points of simple auto-intersections, inducing a 4-regular graph embedded in $S$ which is 2-face colorable. If the sequence of auto-intersections along $P'$ is given by $\bar{P}$, we say that is a {\em $P'$ 2-face colorable solution for the Gauss Code $\bar{P}$ on surface $S$} or a {\em lacet for $\bar{P}$ on $S$}. In this paper we present a necessary and sufficient condition yielding these solutions when $S$ is Klein bottle. The condition take the form of a system of $m$ linear equations in $2n$ variables over $\Z_2$, where $m \le n(n-1)/2$. Our solution generalize solutions for the projective plane and on the sphere. In a strong way, the Klein bottle is an extremal case admitting an affine linear solution: we show that the similar problem on the torus and on surfaces of higher connectivity are modelled by a quadratic system of equations.
Particle content of the (k,3)-configurations
Published
• View Publication
• BIB
For all $k$, we construct a bijection between the set of sequences of non-negative integers ${\bf a}=(a_i)_{i\in{\bf Z}_{\geq0}}$ satisfying $a_i+a_{i+1}+a_{i+2}\leq k$ and the set of rigged partitions $(λ,ρ)$. Here $λ=(λ_1,...,λ_n)$ is a partition satisfying $k\geqλ_1\geq...\geqλ_n\geq1$ and $ρ=(ρ_1,...,ρ_n)\in{\bf Z}_{\geq0}^n$ is such that $ρ_j\geqρ_{j+1}$ if $λ_j=λ_{j+1}$. One can think of $λ$ as the particle content of the configuration ${\bf a}$ and $ρ_j$ as the energy level of the $j$-th particle, which has the weight $λ_j$. The total energy $\sum_iia_i$ is written as the sum of the two-body interaction term $\sum_{j<j'}A_{λ_j,λ_{j'}}$ and the free part $\sum_jρ_j$. The bijection implies a fermionic formula for the one-dimensional configuration sums $\sum_{\bf a}q^{\sum_iia_i}$. We also derive the polynomial identities which describe the configuration sums corresponding to the configurations with prescribed values for $a_0$ and $a_1$, and such that $a_i=0$ for all $i>N$.