Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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$ (see [1] for a net description of free PROs).

Let us denote by $H_G(x, y, z)$ the generating series of $\mathcal{F}(G)$, defined by \begin{equation} H_G(x, y, z) := \sum_{p \geq 0} \: \sum_{q \geq 0} \: \sum_{e \in \mathcal{F}(G)(p, q)} x^p y^q z^{\deg e}, \end{equation} where $\deg e$ is the degree of $e \in \mathcal{F}(G)$, that is the number of generators of $G$ needed to build $e$. In other words, $H_G(x, y, z)$ is the generating series that counts the elements of $\mathcal{F}(G)$ by the input arity (parameter $x$), by the output arity (parameter $y$), and by the degree (parameter $z$).

My question is the following:

Given a set $G$ of generators, do we know an expression for the generating series $H_G$ for $\mathcal{F}(G)$?

I think, since this question is very basic and natural, that it would appear in some papers dealing with PROs. References are thus welcome.

[1] Y. Lafont, Diagram rewriting and operads, Operads 2009, ed. J.-L. Loday & B. Vallette, Séminaires et Congrès 26, p. 163-179, SMF, 2011.

share|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.