MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|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.