We denote $\varphi:\mathbb R^2\rightarrow\mathbb R$ the addition of real numbers, and $\varphi\_\*:M\_1(\mathbb R^2)\rightarrow M\_1(\mathbb R)$ the induced push-forward map (where $M\_1(\Delta)$ stands for the set of probability measures on $\Delta$). 


Note that given $\mu$, $\nu\in M\_1(\mathbb R)$, we have by definition of the (classical) convolution of measures $\varphi\_\*(\mu\otimes\nu)=\mu \*\nu$.


Now, consider two random variables $X$ and $Y$ taking values in $\mathbb R$, and denote $\mu\_X$, $\mu\_Y\in M\_1(\mathbb R)$ their laws. If $X$ and $Y$ independent, then the random variables $(X,Y)$ taking values in $\mathbb R^2$ has for law $\mu\_{(X,Y)}=\mu\_X\otimes\mu\_Y$ and $\varphi\_\*(\mu\_{(X,Y)})=\mu\_X\*\mu\_Y$. 


I was wondering if it is possible to describe the free (additive) convolution in the same setting : 


Consider two auto-adjoint non-commutative random variables $a$ and $b$ which are free, and denote $\mu\_a$, $\mu\_b\in M\_1(\mathbb R)$ their laws. Is there a (universal) bilinear map $\star:M\_1(\mathbb R)\times M\_1(\mathbb R)\rightarrow M\_1(\mathbb R^2)$ such that $\mu\_{(a,b)}=\mu\_a\star\mu\_b$, and moreover $\varphi\_\*(\mu\_{a}\star\mu\_b)=\mu\_a\boxplus\mu\_b$ ?


Somehow the vague question is "what is the analogue of the free product when one describe the elements of an operator algebra through their spectral measures ?"


And what about the free multiplicative convolution ? and the rectangular one ? 


EDIT (after the comments). As Mikael de la Salle explained, there is no hope to obtain such operation $\star:M\_1(\mathbb R)\times M\_1(\mathbb R)\rightarrow M\_1(\mathbb R^2)$ because of lack of bilinearity of $\boxplus$. Terry Tao also emphasis that $M\_1(\mathbb R^2)$ is certainly not the good space to consider (there is no "space below" once we deal with non-commutativity !). 


This motivates the following question :


Is there exists some "space" (let us stay vague) $\mathcal E$ which may represent the joint laws of two non-commutative random variables, equipped with $\star : \mathcal E\rightarrow M\_1(\mathbb R)$, and a map $\varphi\_\*:\mathcal E\rightarrow M\_1(\mathbb R)$ which "looks like the $\varphi\_\*$", such that we have the spliting 
$$
\varphi\_{\*} \circ \star = \boxplus \qquad ?
$$



Classical convolution VS Free Convolution
The free analogue of the tensor product of measures is the free product.


Instead of the space $\mathbb{R}$, we consider the algebra $C\_0(\mathbb{R})$ of continuous functions on $\mathbb{R}$, tending to 0 at infinity. In this framework, measures are modelled by states: continuous (for supremum norm) linear functionals $\varphi:C\_0(\mathbb{R})\rightarrow \mathbb{C}$ with the properties that $\varphi(f)\geq 0$ whenever $f\geq 0$, and $\sup\{\varphi(f)\mid 0\leq f\leq 1\}=1$.


It is clear that integration wrt any probability measure on $\mathbb{R}$ satisfies this properties, and if i am not mistaken, every such state defines a measure on $\mathbb{R}$. So $S(C\_0(\mathbb{R}))=M\_1(\mathbb{R})$.


In fact, we can replace $C\_0(\mathbb{R})$ by an arbitrary (possibly non-commutative) C$^\ast$-algebra $C$ and consider its state space as a "set of measures on some non-commutative space".


Now the free product of two C$^\ast$-algebras $C\_1$ and $C\_2$ is the universal C$^\ast$-algebra $C=C\_1\star C\_2$ that is generated by $C\_1$ and $C\_2$ and such that every pair of $\ast$-homomorphisms $\pi\_i:C\_i\rightarrow D$ extends to $\pi:C\rightarrow D$. It is classical that then also every pair of states $\varphi\_i:C\_i\rightarrow \mathbb{C}$ extends uniquely to a state $\varphi\_1\star\varphi\_2$ on $C$. (look up reduced free products) So the space $\mathcal{E}$ asked for is $S(C\_0(\mathbb{R})\star C\_0(\mathbb{R}))$, and the map $\star$ is the one given above. To be explicit, denote the canonical embeddings by $\psi\_i:C\_0(\mathbb{R})\rightarrow C\_0(\mathbb{R})\star C\_0(\mathbb{R})=C$.


Consider that map $i:\mathbb{R}\rightarrow\mathbb{C}:x\mapsto x$. Then $\psi\_1(i)+\psi\_2(i)\in C$ is an element with spectrum $\mathbb{R}$, so this defines an embedding $\varphi:C\_0(\mathbb{R})\rightarrow C$ by the spectral theorem. The map $\varphi\_\ast$ from the question is just the corresponding restriction map $\varphi\_{\ast}:S(C)\rightarrow M\_1(\mathbb{R})$.


This argument is not entirely correct because $i\not\in C\_0(\mathbb{R})$, but this can be corrected using approximations. Someone with more expertise in C$^\ast$-algebras can explain this better than I can.


