Finite Euler sums and symmetric Euler sums correspondence

Let \bbN\bbN denote the positive integers. For each weight wNw\in\mathbb{N}, let FESw\mathsf{FES}_w be the Q\mathbb{Q}-vector space generated by finite Euler sums of weight ww, and let ESw\mathsf{ES}_w be the Q\mathbb{Q}-vector space generated by Euler sums of weight ww. For a signed index \sls\boldsymbol{\sl{s}}, write ζA(\sls)\zeta_\mathcal{A}(\boldsymbol{\sl{s}}) for the corresponding finite Euler sum and ζ\shuffleS(\sls)\zeta_\shuffle^{\mathcal S}(\boldsymbol{\sl{s}}) for its shuffle-symmetric Euler sum. Finite Euler sums correspondence. There is an isomorphism

fES:FESw ⁣ESwζ(2)ESw2,ζA(\sls)ζ\shuffleS(\sls).f_\mathsf{ES}: \mathsf{FES}_{w} \longrightarrow \displaystyle\!\frac{\mathsf{ES}_w}{\zeta(2)\mathsf{ES}_{w-2}}, \qquad \zeta_\mathcal{A}(\boldsymbol{\sl{s}})\longmapsto \zeta_\shuffle^{\mathcal S}(\boldsymbol{\sl{s}}).

This proposed isomorphism identifies finite Euler sums with shuffle-symmetric Euler sums modulo the subspace generated by multiplication by ζ(2)\zeta(2). The source gives no resolution evidence for this assertion.

Sources & referencesView supporting material

Primary source

Jianqiang Zhao, “Finite Multiple Mixed Values”, arXiv:2402.08160 (2024).

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.