Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
1 answer
129 views

Closed form for $\sum\limits_{k=0}^{n} [\operatorname{wt}(k) = m]$ where $\operatorname{wt}(n)$ is the binary weight of $n$

Let $\operatorname{wt}(n)$ be A000120 (i.e., number of $1$'s in binary expansion of $n$). Let $a(n,m)$ be the family of integer sequences such that $$ a(n,m) = \sum\limits_{k=0}^{n} [\operatorname{wt}(...
Notamathematician's user avatar
8 votes
1 answer
670 views

Infinite series and sum of two squares

Consider the following infinite sequence $a(n)$ generated by $$\sum_{n\geq0} a(n)q^n =\frac{\sum_{k\geq0}F(2k+1)q^{\binom{k+1}2}}{\sum_{k\geq0} q^{\binom{k+1}2}}$$ where the $F(2k+1)$ are the odd ...
T. Amdeberhan's user avatar
0 votes
1 answer
169 views

Partial sums of binomial coefficients and related family of polynomials

Let $a(n)$ be A302117. Here $$ a(n) = 4(n-1)a(n-1) - \frac{1}{3}\prod\limits_{k=0}^{n-1}(2k-3), \\ a(0) = 0. $$ Let $$ T(n,k) = \sum\limits_{i=0}^{k} \binom{n}{i}. $$ Let $P_n(z)$ be the family of ...
Notamathematician's user avatar
1 vote
0 answers
57 views

Step back step forward algorithm for A108442

Let $a(n)$ be A108442. Here generating function is $\frac{1}{1-zA(z)}$ where $$ A(z) = 1 + z(A(z))^2 + z(A(z))^3. $$ Also $$ a(n) = \sum\limits_{k=1}^{n}\frac{k}{2n-k}\sum\limits_{i=0}^{n-k} \binom{2n-...
Notamathematician's user avatar
2 votes
0 answers
182 views

Algorithm for $\frac{1}{1-x} = \sum\limits_{n=0}^{\infty}a(n)x^n\prod\limits_{k=1}^{n}\frac{1-kx}{1+kx}$

Let $a(n)$ be A208832. Here $$ \frac{1}{1-x} = \sum\limits_{n=0}^{\infty}a(n)x^n\prod\limits_{k=1}^{n}\frac{1-kx}{1+kx}. $$ Start with vector $\nu$ of fixed length $m$ with elements $\nu_i = 1$ (that ...
Notamathematician's user avatar
4 votes
1 answer
213 views

Asymptotic behavior of weighted sums involving the fractional part function

Currently, I am studying the asymptotic behavior of sums of the form \begin{equation}\label{eq1}\tag{1} \sum_{k=1}^{n-1} f(n-k) \left\{ \frac{n}{k} \right\} \end{equation} In this context, based on ...
 Babar's user avatar
  • 611
2 votes
0 answers
67 views

$R$-recursion for A006351

Let $a(n)$ be A006351 (i.e., number of series-parallel networks with n labeled edges. Also called yoke-chains by Cayley and MacMahon). Here exponential generating function is $A(x)$ such that $B(x) = ...
Notamathematician's user avatar
2 votes
0 answers
59 views

$R$-recursion for A338193

Let $a(n)$ be A338193. Here generating function is $A(x)$ such that $$ A(x) = 1 + \int\frac{\left(\frac{x}{A(x)}\right)'}{\left(\frac{x}{(A(x))^2}\right)'} \, dx. $$ Let $$ R(n, q) = \begin{cases} 1 &...
Notamathematician's user avatar
16 votes
0 answers
351 views

The convergence domain of the function $\sum \{n!x\}$

This is a problem from a mathematics competition: Does there exist an irrational number $x$ such that the series $$\sum_{n=1}^{\infty}\{n!x\}<+\infty$$ where $\{ \}$ means the fractional part of a ...
Fate Lie's user avatar
  • 505
1 vote
0 answers
161 views

Efficient algorithm for A217061

Let $a(n)$ be A217061. Here $$ a(n) = \sum\limits_{m=1}^{n}\frac{1}{(m-1)!}\sum\limits_{k=0}^{n-m}(n+k-1)!\sum\limits_{j=0}^{k}\frac{1}{(k-j)!}\sum\limits_{\ell=0}^{j}\frac{2^{\ell-j}(-1)^{\ell+j}s(n-...
Notamathematician's user avatar
1 vote
1 answer
92 views

Equivalence of sequences related to A033264

Let $a(n)$ be A033264 (i.e., number of blocks of $\{1,0\}$ in the binary expansion of $n$). Here $$ a(4n) = a(4n+1) = a(2n), \\ a(4n+2) = a(n)+1, \\ a(4n+3) = a(n), \\ a(0) = 0. $$ Let $$ \ell(n) = \...
Notamathematician's user avatar
1 vote
0 answers
89 views

Test for odd prime triples in a $2p-1$ progression

Let $a(n)$ be A057326 (i.e., first member of a prime triple in a $2p-1$ progression). Let $b(n) = B$ after $n-1$ iterations where we start with $A=n, B=1$ and for $i$ from $1$ to $n-1$ simultaneously ...
Notamathematician's user avatar
2 votes
0 answers
113 views

Numbers of positive terms in polynomials equal A069999

Let $a(n)$ be A069999 (i.e., number of possible dimensions for commutators of $n \times n$ matrices; it is independent of the field). OEIS states that no generating function is known. Let $P(n,k)$ be ...
Notamathematician's user avatar
1 vote
0 answers
82 views

Generating functions related to generating function of Catalan numbers

Let $C_n$ be A000108 (i.e., Catalan numbers). Here generating function is $C(x)$ such that $$ C(x) = \frac{1-\sqrt{1-4x}}{2x}. $$ Let $a(n)$ be an integer sequence with generating function $A(x)$ such ...
Notamathematician's user avatar
1 vote
0 answers
84 views

Coarse well-distributedness/equidistribution of Pell sequence prefixes

I am interested in the distributedness or "mixing" behavior of certain linear recurrences modulo powers of $2$. In particular, consider the Pell sequence (https://oeis.org/A000129), modulo $...
gtm's user avatar
  • 11
0 votes
0 answers
65 views

Algorithm and equivalent recursion for A258173 (related to Dyck paths)

Let $a(n)$ be A258173 i.e. sum over all Dyck paths of semilength $n$ of products over all peaks $p$ of $y_p$, where $y_p$ is the $y$-coordinate of peak $p$. A Dyck path of semilength $n$ is a $(x,y)$-...
Notamathematician's user avatar
5 votes
0 answers
285 views

How do you go about making ranges (for integer variables) independent?

Basic question: say you have a sum $$\sum_{n_1 n_2 \dotsb n_k \leq x} f(n_1,\dotsc,n_k),$$ where $f$ decomposes in some sense (say: $f(n_1,\dotsc,n_k) = g(n_1) + \dotsb + g(n_k)$, or $f(n_1,\dotsc,n_k)...
H A Helfgott's user avatar
  • 20.2k
1 vote
1 answer
178 views

Algorithm for A127782

Let $a(n)$ be A127782 (i.e., an integer sequence with generating function $A(x)$ such that $A(x)=1+xA(x+x^2)$). Here $$ a(n) = \sum\limits_{k=0}^{\left\lfloor\frac{n-1}{2}\right\rfloor} \binom{n-k-1}{...
Notamathematician's user avatar
23 votes
4 answers
2k views

Identity for an infinite product

Here is an experimental "result" exhibiting the difference of two (formal) infinite products that "almost factorizes". QUESTION. Is this true? $$\prod_{n\geq1}(1+x^{2n-1})^{24} - \...
T. Amdeberhan's user avatar
2 votes
0 answers
121 views

Solving a system of differential-like equations for reverse Euler-Maclaurin summation

Aim A particular instance of a rational zeries that has as of yet not been evaluated is: \begin{align} Z:= \sum_{n=1}^{\infty} \frac{\zeta(2n)}{(2n)!}. \label{EM1} \tag{EM1} \end{align} This sum ...
Max Lonysa Muller's user avatar
2 votes
0 answers
61 views

Algorithm for main diagonal of integer coefficients associated with Schroeder numbers

Let $T_q(n, k)$ be an integer table such that $$T_q(n, k) = \begin{cases} 1 & \textrm{if } n = 0 \vee k = 0 \\ qT_q(n-1, n-1) + T_q(n, n-1) & \textrm{if } n = k > 0 \\ T_q(n, k-1) + T_q(n-1,...
Notamathematician's user avatar
2 votes
0 answers
46 views

On A088352 as an antidiagonal sums of A129179

Let $a(n)$ be A088352. Here $a(n)$ is an integer sequence with generating function $A(x)$ such that $$ A(x) = \cfrac{1}{1-x-\cfrac{x^2}{1-x^3-\cfrac{x^4}{1-x^5-\cfrac{x^6}{1-x^7-\cfrac{x^8}{\ddots}}}}}...
Notamathematician's user avatar
2 votes
1 answer
310 views

Generating function for A300483 (related to Chebyshev polynomial of first kind)

Let $a(n)$ be A300483. Here $$ a(n) = 2\int\limits_{t \geqslant 0}T_n\left(\frac{t+1}{2}\right)\exp(-t)\,dt. $$ where $T_n(x)$ is $n$-th Chebyshev polynomial of first kind. Let $b(n)$ be an integer ...
Notamathematician's user avatar
10 votes
1 answer
625 views

Generating function for A261041

Let $a(n)$ be A261041 (i.e., number of partitions of subsets of $\{1,2,\dotsc,n\}$, where consecutive integers are required to be in different parts). Let $b(n)$ be an integer sequence with generating ...
Notamathematician's user avatar
3 votes
1 answer
178 views

Algorithm for the sum with binomial coefficients and Bell numbers

Let $a(n)$ be A000110 (i.e., Bell or exponential numbers: number of ways to partition a set of $n$ labeled elements). Let $b(n)$ be A355247 (i.e., expansion of exponential generating function $\exp(2(\...
Notamathematician's user avatar
7 votes
4 answers
793 views

Must bounded sequences be well-distributed to most *composite* moduli?

Let $\{a_n\}_{n=1}^N$, $|a_n|\leq 1$. Let $Q=\sqrt{N}$. Then $a_n$ is well-distributed modulo most prime $p\leq Q$, in the following sense: $$\sum_{p\leq Q} \frac{1}{p} \left(\frac{1}{N/p} \sum_{\...
H A Helfgott's user avatar
  • 20.2k
2 votes
0 answers
157 views

What rational zeta series with non-integer arguments appear in mathematics?

Background Rational zeta series are series of the form $$\sum_{n=2}^{\infty} q_{n} \zeta(n + p, m), \label{1} \tag{1} $$ where $\zeta(x,m)$ is the Hurwitz zeta function and $q_{n}, \ p \in \mathbb{Q} \...
Max Lonysa Muller's user avatar
4 votes
1 answer
112 views

On a number of compositions of $n$ into positive triangular numbers

Let $a(n)$ be A023361 (i.e., number of compositions of $n$ into positive triangular numbers). Here $$ a(n) = \sum\limits_{i \geqslant 1, \frac{i(i+1)}{2}\leqslant n} a(n-\frac{i(i+1)}{2}), \\ a(0) = 1....
Notamathematician's user avatar
1 vote
1 answer
101 views

Finding $\lim_{n \to \infty} \sum_{k=2}^{n-2} \zeta(k) \zeta(n-k) x^{k-1} = x^{-1} - \psi_{0}(-x) - \gamma$ from the generating function of $\zeta(•)$

In equation (130) of this page, the identity $$\lim_{n \to \infty} \sum_{k=2}^{n-2} \zeta(k) \zeta(n-k) x^{k-1} = x^{-1} - \psi_{0}(-x) - \gamma \label{1} \tag{1} $$ is stated. Here, $\zeta(\cdot)$ is ...
Max Lonysa Muller's user avatar
4 votes
1 answer
130 views

Intersecting algorithm for A065601

Let $a(n)$ be A065601 (i.e., number of Dyck paths of length $2n$ with exactly $1$ hill). Here $$ a(n) = \frac{1}{2(n+1)}((3n-2)a(n-1) + 2(9n-19)a(n-2) + 4(2n-3)a(n-3)), \\ a(0) = a(2) = 0, a(1) = 1. $$...
Notamathematician's user avatar
6 votes
1 answer
282 views

Integer sequences with a periodic pattern

Let $A$ and $B$ be two different integers. Let $S$ be a finite integer sequence with exactly $n_A$ $A$s and $n_B$ $B$s. By repeating $S$ infinitely many times we obtain an infinite integer sequence $P$...
De Costa's user avatar
6 votes
1 answer
387 views

Lucas number multiples of Fibonacci pairs

$\newcommand{\GCD}{\operatorname{GCD}}$ For $n=0,1,2,\ldots,$ let $F_n=0,1,1,2,3,5,\ldots$ and $L_n=2,1,3,4,7,11,\ldots$ be the Fibonacci and Lucas sequences. I expect the following is well known, but ...
Jason Semeraro's user avatar
3 votes
0 answers
165 views

Elegant algorithm for A140717

Let $T(n, k)$ be A140717 (i.e., triangle read by rows: $T(n,k)$ is the number of Dyck paths $d$ of semilength $n$ such that sum of peakheights of $d$ - number of peaks of $d$ equals $k$ ($n \geqslant ...
Notamathematician's user avatar
1 vote
0 answers
86 views

Decouple two continued-fractions

Given a three-term recurrence relation such as \begin{equation} a_nX^n+b_nX^{n+1}+c_nX^{n-1}=\zeta_n \delta_{n,0} \end{equation} it can always be written in continued-fraction form, and if you are ...
J.Agusti's user avatar
2 votes
0 answers
64 views

On a $\sum\limits_{n=0}^{\infty}c_n x^n=\sum\limits_{n=0}^{\infty}a(n)x^n\prod\limits_{k=1}^{n+1}(1-f(k)x^k)$ (slightly different question)

Please note that this question differs from one of the previous questions of mine. Let $f(n)$ be an arbitrary function with integer values. Let $c_n$ be an arbitrary integer sequence. Let $a(n)$ be ...
Notamathematician's user avatar
1 vote
0 answers
32 views

On a A347205 and related row polynomials

Let $a(n)$ be A347205. Here $$ a(2^m(2k+1)) = \sum\limits_{j=0}^{m}a(2^j k), \\ a(0) = 1. $$ Let $\nu_2(n)$ be A007814 (i.e., number of trailing zeros in the binary expansion of $n$). Here $$ \nu_2(2n+...
Notamathematician's user avatar
3 votes
0 answers
161 views

On generators of the multiplicative semigroup $\{r\in\mathbb Q:\ r>1\}$

The set $M=\{r\in\mathbb Q:\ r>1\}$ is a commutative semigroup with respect to the multiplication. For any integers $a>b\ge1$, we clearly have $$\frac ab=\prod_{n=b}^{a-1}\frac{n+1}n.$$ So the ...
Zhi-Wei Sun's user avatar
  • 15.6k
2 votes
1 answer
161 views

Closed form expression for this zeta-like series involving GCD and LCM

I am looking for a closed form for this function $\Lambda:\mathbb{Q}^+\to\mathbb{R}^+$: $$\Lambda(q) = \sum_{m,n\geq 1}\left(\frac{q\wedge\frac{m}{n}}{q\vee\frac{m}{n}}\right)^\alpha\left(\frac{m \...
Alexandre's user avatar
  • 634
3 votes
0 answers
139 views

Do the denominators of A006571(n)/A366450(n) have a Dirichlet generating function? Because they partially match A071974(n) and A056622(n)?

Consider the expansion: $$A006571(n) = q \prod _{k=1}^{\infty } \left(1-q^k\right)^2 \left(1-q^{11 k}\right)^2 \label{1}\tag{1}$$ A006571 and the triple sum: $$A366450(n)=\sum _{k=1}^n \left(\sum _{y=...
Mats Granvik's user avatar
  • 1,183
5 votes
1 answer
168 views

On a generating function and vector $\nu$ of length $n$

Let $f(n)$ be an arbitrary function with integer values. Let $a(n)$ be an integer sequence such that $$ \frac{1}{1-x}=\sum\limits_{n=0}^{\infty}a(n)x^n\prod\limits_{k=1}^{n+1}(1-f(k)x) $$ Start with ...
Notamathematician's user avatar
4 votes
2 answers
395 views

Non-linear recurrence for rational sequences with generating function with radicals?

Let $a(n)$ be a sequence of rational numbers with generating function $F(x)$. Assume $F(x)$ is composition of rational functions and radicals (roots). Is the following conjecture true: Conjecture 1: $...
joro's user avatar
  • 25.4k
9 votes
0 answers
258 views

On a continued fraction and vector $\nu$ of length $n$

Please note that this question has been completely reworked in order not to overload it with unnecessary and useless information. Let $f(n)$ be an arbitrary function with integer values. Let $a(n)$ ...
Notamathematician's user avatar
1 vote
0 answers
63 views

On a A162326 and vector $\nu$ of length $n$

Let $a(n)$ be A162326. Here $$ a(n) = \frac{1}{n}(2(5n-7)a(n-1) - 9(n-2)a(n-2)), \\ a(0) = a(1) = 1. $$ Also ordinary generating function is $$ \frac{5 - \sqrt{\frac{1-9x}{1-x}}}{4}. $$ Let $b(n)$ be $...
Notamathematician's user avatar
2 votes
1 answer
1k views

The average of an infinite sequence

I ran into the following problem when I did scientific research. Consider an infinite sequence $\{a_{i}\}$ for $p>u>0$. $a_{1}=0$. If $a_{i}\geq p$, $a_{i+1}=a_{i}-p$; otherwise, $a_{i+1}=a_{i}+...
Peter's user avatar
  • 207
2 votes
0 answers
28 views

On doubling or addition formulas for the sequence $a(n)=(b_1 n +b_2)a(n-1)+(b_3 n + b_4)a(n-2)$

We are interested which integer sequences are efficiently computable possibly over finite rings. Define the integer sequence $a(n)=(b_1 n +b_2)a(n-1)+(b_3 n + b_4)a(n-2)$ with initial terms $a(0),a(1)$...
joro's user avatar
  • 25.4k
6 votes
2 answers
388 views

Conjectured Somos-like closed form of recurrences with polynomial coefficients

From Our short paper For polynomial $F$ with integer coefficients, define the recurrence $f(n)=F(n,f(n-1),f(n-2),...,f(n-d))$. We conjecture that $f(n)$ satisfy Somos like sequence $f(n)=\frac{G(f(n-1)...
joro's user avatar
  • 25.4k
2 votes
2 answers
315 views

5 different ways to define the same family of integer sequences

Let ${n \brace k}$ be a Stirling number of the second kind. Let $A_n(x)$ be an Eulerian polynomial. Here $$ A_n(x) = \sum_{i=0}^{n}i!{n \brace i}(x-1)^{n-i}. $$ Let $a_1(n,p,q)$ be the family of ...
Notamathematician's user avatar
0 votes
1 answer
94 views

Do disjunctive sequences eventually get palindromic at some point?

I have a friend who is very interested in math and has been thinking about a problem involving disjunctive sequences. For his birthday, I would like to give him an answer to his question, either by ...
Augustin BAR's user avatar
3 votes
2 answers
511 views

Exotic series for some mathematical constants from String Theory

Following these MO posts from Timothy Chow and Henri Cohen and their comments, based on Saha & Sinha's String Theory article, I have found three series for $\pi$, Apéry's constant $\zeta(3)$ and ...
Jorge Zuniga's user avatar
  • 2,836
0 votes
0 answers
135 views

Integer coefficients and continued fractions

Let $a(n,p,q)$ be the family of integer sequences such that ordinary generating functions for it are $\frac{1}{G_1(0,x)}$ where $G_1(0,x)$ are continued fractions such that $$ G_1(j,x)=1-\cfrac{(qj+1)...
Notamathematician's user avatar

1
2 3 4 5
13