Double Shuffle Relations of Euler Sums

Jianqiang Zhao

Home/Archive/arXiv

arXiv · 0705.2267

Double Shuffle Relations of Euler Sums

Jianqiang Zhao

View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper we shall develop a theory of (extended) double shuffle relations of Euler sums which generalizes that of multiple zeta values (see Ihara, Kaneko and Zagier, \emph{Derivation and double shuffle relations for multiple zeta values}. Compos. Math. \textbf{142} (2)(2006), 307--338). After setting up the general framework we provide some numerical evidence for our two main conjectures. At the end we shall prove the following long standing conjecture: for every positive integer n $$ζ(\{3\}^n)=8^nζ(\{\ol2,1\}^n).$$ The main idea is to use the double shuffle relations and the distribution relation. This particular distribution relation doesn't follow from the double shuffle relation in general. But we believe it does follow from the extended double shuffle relations.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Jianqiang Zhao. 2007-07-23. Double Shuffle Relations of Euler Sums. https://arxiv.org/abs/0705.2267

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Dynamical systems defined by polynomials with algebraic properties

Let (x_n; n\in Z) be a bisequence of elements x_n in the 1-dimensional torus R/Z, which is called a stream over R/Z. Let P(z)=a_k z^k+...+a_1 z+a_0 be a polynomial with integer coefficients. Define the set of streams over R/Z such that the convolution product P(z)\times(x_n; n\in Z)=(\sum_{i=0}^k a_i x_{n-i}; n\in Z)=(0; n\in Z), which is called the stream 0 of P. We study similarities between stream 0 of P and the roots of P(z)=0.

math.NT↗

arXiv2026

Effective existence of primitive k-normal elements via affine spaces

Let $\mathbb{F}_{q^n}$ be the finite field with $q^n$ elements. An element $α\in \mathbb{F}_{q^n}$ is $k$-normal over $\mathbb{F}_q$ if $α$ and its conjugates span an $\mathbb{F}_q$-subspace of dimension $n-k$. It is known that, for $q$ sufficiently large, a primitive $k$-normal element exists if and only if there exists a $k$-normal element free of binomials, but the lower bound on $q$ is not explicit. We count the $k$-normal elements in specific affine subspaces of $\mathbb{F}_{q^n}$ and show that, in some of them, all but at most one element is $k$-normal. Combining this with character sum estimates over affine spaces and a sieve, we obtain an explicit lower bound on $q$ above which a primitive $k$-normal element exists, provided there is a $k$-normal element free of binomials whose $\mathbb{F}_q$-order has a linear factor or is irreducible. As an application, we compute these bounds for $5 \le n \le 8$ and give a complete characterization of the existence of primitive $k$-normal elements in $\mathbb{F}_{q^6}$ over $\mathbb{F}_q$.

math.NT↗

arXiv2026

Notes on the multiplier systems of $η(τ)$ and $θ(τ)$

The multiplier systems of $η^{2k}(τ)$ and $θ^{2k}(τ)$ $(k\in\mathbb{Z})$ are characters. In this paper, we determine their kernels, Ker$\,ν_{η^{2k}}$ and Ker$\,ν_{ θ^{2k} } $.

math.NT↗