Tree-symmetrization identity for the Joyce potential

Let T\mathcal{T} be an unrooted, unlabeled tree with nn vertices, and let KT({γi,ti})K_\mathcal{T}(\{\gamma_i,t_i\}) be the tree kernel defined by the product over its oriented edges. Write Sym{\rm Sym} for symmetrization over the labels. For each labeling :vi[1,n]\ell:v\mapsto i\in[1,n] of the vertices, orient every edge from vv to vv' whenever (v)<(v)\ell(v)<\ell(v'). Tree-symmetrization conjecture. For each unrooted, unlabeled tree T\mathcal{T} one has

SymKT({γi,ti})=1(4πi)n1Sym[(labelse:ijγi,γj)i=1n1titi+1ti+1ti].{\rm Sym}\,K_\mathcal{T}(\{\gamma_i,t_i\})=\frac{1}{(4\pi\mathrm{i})^{n-1}}\,{\rm Sym}\,\Biggl[\left(\sum_{\rm labels}\prod_{e:i\to j}\langle\gamma_i,\gamma_j\rangle\right)\prod_{i=1}^{n-1}\frac{t_i t_{i+1}}{t_{i+1}-t_i}\Biggr].

The identity is proposed to establish that the tree expansion of the Fourier modes of the Joyce potential agrees with the expression obtained from the Joyce construction, thereby relating the factorized and tree-based descriptions of the heavenly metric.

Sources & referencesView supporting material

Primary source

Sergei Alexandrov and Boris Pioline, “Heavenly metrics, BPS indices and twistors”, arXiv:2104.10540 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.