1
vote
0answers
56 views
Generating series of free PROs
Let
\begin{equation}
G := \biguplus_{p \geq 0} \: \biguplus_{q \geq 0} G(p, q)
\end{equation}
be a bigraded set of generators and $\mathcal{F}(G)$ be the free PRO generated by $G$ …
0
votes
0answers
71 views
Using extended group rings for combinatorial generating functions
In work of mine recently, I have come to investigate generalised recurrence relations. The generalisation I have in mind is where, instead of natural numbers or integers, the recu …
1
vote
1answer
63 views
Approximating rational generating functions
Suppose we have a initial segment $x_1,\ldots,x_N$ (for reasonably large $N$) of a sequence of natural numbers $(x_i)$. We have reason to believe the generating function $\sum_{i=0 …
7
votes
4answers
215 views
Partitions-Sum of divisors identity
A few years ago I first read about the marvelous Euler identity:
$\sum_{n\in\mathbb{N}}p(n)z^n=\prod_{k\geq1}\frac{1}{1-z^k}$,
where $p(n)$ is the number of partitions of $n$ ($p …
9
votes
2answers
372 views
Series defined by a fixed-point functional equation
Description
I my work, I met fixed-point functional equations of a very specific form. Since I am not expert in the domain of functional equations, I have not pushed the study of …
0
votes
1answer
168 views
functional equation, how to solve
Suppose $x_i, y_i \in \mathbb{R}^n$, and $F,G: \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}^n$.
$$F(x, y) = \frac{x\circ Ay}{x^TAy}$$
$$G(x, y) = \frac{x\circ By}{x^TBy}$$
where …
2
votes
1answer
196 views
Repertory of the different sorts of operads
Many different types of operads have emerged in recent years (symmetric, shuffle, cyclic, anticyclic, coloured, etc.).
I would like, for any of these, list the following data:
D …
4
votes
1answer
555 views
Generating function for Random Walk Hitting Time, taking the wrong root
In a calculation of the hitting time for a Bernoulli random walk we have to calculate the hitting time $\tau(1)=\inf\{n\ge 0:S_n=1\}$ to reach $+1$ and the generating function has …
13
votes
2answers
318 views
Combinatorial meaning of the functional equation for logarithm
If we set $\exp(x)=\sum x^k/k!$, then $\exp(x+y)=\exp(x)\cdot \exp(y)$. In terms of coefficients it means that $(x+y)^n=\sum \frac{n!}{k!(n-k)!} x^ky^{n-k}$, i.e. just binomial exp …
0
votes
0answers
85 views
Theorem Leads for tied-down random walk
scribd.com/doc/87930409/18/Leads-for-tied-down-random-walk [Theorem 3.7, page 38]
Could you explain me the last equality in the proof? I mean this:
$$\frac{2[\sqrt{1 - s^2t^2} - …
6
votes
0answers
171 views
Generalization of Cauchy’s identity
Let $ s_{\lambda} $ be the schur function associated to the partition $ \lambda $.
Cauchy's identity (as in Macdonald) states that
$$
\sum_{\lambda} s_{\lambda}(X)s_{\lambda}(Y) …
9
votes
1answer
328 views
Elephant populations (and Dyck words)
Hello,
I'm relatively new to this forum so apologies if I have tagged my
question incorrectly.
I have been in contact with a wildlife biologist recently concerning
counting eleph …
1
vote
0answers
119 views
Generalization of Lagrange inversion with “skewed” formal parameter
I am interested in obtaining an analog of the Lagrange inversion formula, starting from a generalization of the implicit equation. Ordinary Lagrange reversion, as I am familiar wit …
31
votes
10answers
4k views
The functional equation $f(f(x))=x+f(x)^2$
I'd like to gather information and references on the following functional equation for power series $$f(f(x))=x+f(x)^2,$$$$f(x)=\sum_{k=1}^\infty c_k x^k$$
(so $c_0=0$ is imposed) …
4
votes
2answers
242 views
A diagonal operation on power series
Given a formal power series $f(x,y)=\sum_{n,m\ge 0}f(n,m)\: x^n y^m$ in two variables $x$ and $y$ over some field of characteristic zero, e.g. the field of complex numbers $\mathbb …

