Convergent matrix-integral decomposition conjecture

About 20 years old · traced to

Let HNH_N be the space of Hermitian N×NN\times N matrices, let VV be a potential such that the matrix integral below is convergent, and let CijC_{ij} be the quadratic-form coefficients. Define

Zconv=∫HNpdM1 dM2 … dMp exp⁡{−Nt(∑i,j=1pCij2Tr⁡(MiMj)−NV(M1,…,Mp))}.Z_{\rm conv}=\int_{H_N^p}dM_1\,dM_2\,\dots\,dM_p\,\exp\left\{-{N\over t}\left(\sum_{i,j=1}^p{C_{ij}\over2}\operatorname{Tr}(M_iM_j)-NV(M_1,\dots,M_p)\right)\right\}.

A convergent formal solution of the loop equations is a formal solution whose expansion in N−2N^{-2} is convergent.

Convergent matrix-integral decomposition conjecture. The convergent matrix integral ZconvZ_{\rm conv} is a finite linear combination of convergent formal solutions of the loop equations: there exist constants cic_i and convergent formal solutions ZiZ_i such that

Zconv=∑iciZi,ln⁡Zi=−∑g=0∞N2−2gFi(g).Z_{\rm conv}=\sum_i c_iZ_i,\qquad \ln Z_i=-\sum_{g=0}^{\infty}N^{2-2g}F_i^{(g)}.

This conjecture concerns the relationship between convergent and formal solutions of the loop equations. The surrounding discussion emphasizes that loop equations can have multiple solutions and that the supplied text gives no resolution of this claim.

References

Primary source

Bertrand Eynard, “Formal matrix integrals and combinatorics of maps”, arXiv:math-ph/0611087 (2006).

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.