The odd-index basis conjecture for ordinary finite multiple zeta values

Let ZA(1)\mathcal{Z}_{\mathcal{A}}^{(1)} be the Q\mathbb{Q}-vector space of ordinary finite multiple zeta values, and let ζA(2)(k1,,kr)\zeta_{\mathcal{A}}^{(2)}(k_1,\ldots,k_r) denote a level-two finite multiple zeta value. Odd-index basis conjecture. If all kik_i are greater than 11, then

ζA(2)(k1,,kr)ZA(1).\zeta_{\mathcal{A}}^{(2)}(k_1,\ldots,k_r)\in\mathcal{Z}_{\mathcal{A}}^{(1)}.

Furthermore, the set

{ζA(2)(k1,,kr)r1, ki3 odd for all i}\{\zeta_{\mathcal{A}}^{(2)}(k_1,\ldots,k_r)\mid r\geq 1,\ k_i\geq 3\text{ odd for all }i\}

constitutes a basis of ZA(1)\mathcal{Z}_{\mathcal{A}}^{(1)}. The conjecture is presented as a further conclusion suggested by numerical experiments and refines the inclusion of ordinary finite multiple zeta values into the level-two space.

Sources & referencesView supporting material

Primary source

Masanobu Kaneko, Takuya Murakami and Amane Yoshihara, “On finite multiple zeta values of level two”, arXiv:2109.12501 (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.