Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
320 views

Can you confirm the positivity of a quantity involving the Stirling numbers of the first kind

Let $s(m,n)$ denote the Stirling numbers of the first kind. For $m,n\in\mathbb{N}$, define \begin{equation} \mathcal{Q}(m,n)=(-1)^n\sum_{\ell=0}^{2n} \binom{m+\ell-1}{m-1} s(m+2n-1,m+\ell-1)\biggl(\...
qifeng618's user avatar
  • 1,091
0 votes
1 answer
346 views

A combinatorial proof: where art thou?

Start by introducing the finite sums $$A_n:=\sum_{m=1}^nq^m\prod_{j=1}^{m-1}(1-q^j) \qquad \text{and} \qquad B_n:=\sum_{m=1}^nq^m\prod_{j=m+1}^n(1-q^j).$$ An algebraic proof is facile: Clearly, $A_1=...
T. Amdeberhan's user avatar
14 votes
3 answers
1k views

On the finite sum of reciprocal Fibonacci sequences

I want to check if $$\left\lfloor \left( \sum_{k=n}^{2n}{\frac{1}{F_{2k}}} \right)^{-1} \right\rfloor =F_{2n-1}~~(n\ge 3) \tag{$*$}$$ where $\lfloor x \rfloor$ is th floor function. The Fibonacci ...
fusheng's user avatar
  • 137
15 votes
2 answers
310 views

Convergency radius of the generating series for A93637

Sequence A93637 of the OEIS (https://oeis.org/A093637) starting as $1,1,2,4,9,20,49,117,297,746,1947,\ldots$ is defined by the coefficients $a_0,a_1,\ldots$ of the unique formal power series defined ...
Roland Bacher's user avatar
2 votes
1 answer
177 views

Another combinatorial identity

Is it true that $$\sum_{r=0}^p \sum_{i=0}^r a_{n,p,r,i}=0$$ for all natural $n$ and all natural $p\ge2n$, where $$a_{n,p,r,i}:=\frac{(-1)^r (n+p-r-1)! (n p-i (r-i))}{i!(r-i)! (n-i)! (p-r+i)! (n-r+i)! ...
Iosif Pinelis's user avatar
5 votes
1 answer
179 views

A common combinatorial description for a certain type of recurrences

For integer-valued sequences $(x_n)_{n=0}^\infty$, consider recurrences of the form $$x_n=ax_{n-1}+(bn+c)x_{n-2} \tag{$*$}\label{star}$$ for $n\ge2$, where $a,b,c$ are integers. There seem to be many ...
Iosif Pinelis's user avatar
12 votes
1 answer
405 views

Looking for a "clever" argument for a $q$-series identity

Consider the below $q$-series identity. One of the things I like about this expansion is how nicely the difference on the left hand side factors to the right hand side of the equation. $$\prod_{k\geq1}...
T. Amdeberhan's user avatar
5 votes
2 answers
411 views

Formula for a sum of product of binomials

We know that equation $$s_1+s_2+s_3=n-1 \quad \mbox{$s_1,s_2,s_3$}\geq 1$$ has $\binom{n-2}{2}$ solution. I want to find any good formulae for the following form : $$\sum_{(s_1,s_2,s_3)}\prod_{i=1}^...
1Spectre1's user avatar
  • 355
2 votes
1 answer
196 views

Guess (or upper bound) the general formula for a double sequence

Let $t,s \geq 0$ be integers. We have the following recursive formula: $$f(t+1,s) = f(t,s) + f(t,s-1) + \sum_{0\leq a,b,c \leq h(t):\\a+b+c = s-1}f(t,a)f(t,b)f(t,c),$$ where $$h(t) = \frac{1}{2}3^t -\...
Wuchen's user avatar
  • 515
4 votes
1 answer
158 views

Counting "deflected" permutations: Part I

Let $\mathfrak{S}_n$ denote the group of permutations on $\{1,2,\dots,n\}$. Now, introduce the sets $$\mathcal{A}_n^{(k)}:=\{\pi\in\mathfrak{S}_n: -1\leq \pi(j)-j\leq k,\,\forall j\}.$$ I would like ...
T. Amdeberhan's user avatar
12 votes
2 answers
1k views

An interesting identity: in search of a proof -Part I

I like the following binomial identity in that the RHS extracts the indeterminate $w$ from the LHS. Question. Can you show that $$\sum_{k=0}^n\binom{x+kw}k\binom{y-kw}{n-k}=\sum_{k=0}^n\binom{x+y-...
T. Amdeberhan's user avatar
7 votes
0 answers
124 views

in search of intepretations and connections for $k$-central binomials

Fix a positive integer $k$. Then, the sequences $$c(n,k)=\frac{k^n}{n!}\prod_{m=1}^{n-1}(1+km)=[x^n]\left(\frac1{1-k^2x}\right)^{1/k}$$ are referred to as "$k$-central binomial coefficients",...
T. Amdeberhan's user avatar