Iterated log-sine basis conjecture at pi over 3

Let Lko\mathcal{L}^{o}_{k} and Lke\mathcal{L}^{e}_{k} denote the spaces of iterated log-sine integrals at π/3\pi/3 of weight kk with odd and even d=k1nld=|\mathbf{k}-\mathbf{1}_{n}-\mathbf{l}|, respectively, and let Sk,koS^{o}_{k,k} and Sk,keS^{e}_{k,k} be the corresponding shifted log-sine sets. Iterated log-sine basis conjecture. The set of real numbers Sk,koS^{o}_{k,k} is a basis of Lko\mathcal{L}^{o}_{k}, Sk,keS^{e}_{k,k} is a basis of Lke\mathcal{L}^{e}_{k}, and Sk,koSk,keS^{o}_{k,k}\cup S^{e}_{k,k} is a basis of Lko+Lke\mathcal{L}^{o}_{k}+\mathcal{L}^{e}_{k}. The source gives only dimension upper bounds and no proof of these basis assertions, so they remain open.

Sources & referencesView supporting material

Primary source

Ryota Umezawa, “Evaluation of iterated log-sine integrals in terms of multiple polylogarithms”, arXiv:1912.07201 (2019).

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.