1: \begin{abstract}

2:     The Hodge correlators $\Cor_\HHH(z_0,z_1,\dots,z_n)$ are functions of several complex variables, defined by (Goncharov, 2008) by an explicit integral formula. They satisfy some linear relations: dihedral symmetry relations, distribution relations, and the shuffle relations. 

3:     

4:     We found new \emph{second shuffle relations}. When $z_i\in\cq0\cup\mu_N$, where $\mu_N$ are the $N$-th roots of unity, they are expected to give almost all relations.

5:     

6:     When $z_i$ run through a finite subset $S$ of $\CC$, the Hodge correlators describe the real mixed Hodge-Tate structure on the pronilpotent completion of the fundamental group $\pi_1^\nil(\CC\PP^1\sm(S\cup\cq\infty),v_\infty)$. The latter is a Lie algebra in the category of mixed $\QQ$-Hodge-Tate structures. The Hodge correlators are lifted to canonical elements $\Cor_\Hod(z_0,\dots,z_n)$ in the Tannakian Lie coalgebra $\Lie_\HT^\vee$ of this category. We prove that these elements satisfy the second shuffle relations.

7:     

8:     Let $S\subset\ol\QQ$. The pronilpotent fundamental group is the Betti realization of the motivic fundamental group, which is a Lie algebra in the category of mixed Tate motives over $\ol\QQ$. The Hodge correlators are lifted to elements $\Cor_\Mot(z_0,\dots,z_n)$ in the Tannakian Lie coalgebra $\Lie_\MT^\vee$ of the category of mixed Tate motives. We prove the second shuffle relations for these motivic elements.

9:     

10:     The universal enveloping algebra of $\Lie_\MT^\vee$ was described by Goncharov via motivic multiple polylogarithms, which obey a similar yet different set of double shuffle relations. Motivic correlators have several advantages: they obey dihedral symmetry relations at all points, not only at roots of unity;  they are defined for any curve, and the double shuffle relations admit a generalization to elliptic curve; and they describe elements of the motivic Lie coalgebra rather than its universal enveloping algebra.

11: 

12: \end{abstract}

13: