Search arXiv⌕ Search

arXiv · 2610.24837

Double shuffle and naive duality for multiple Dirichlet series

Abstract

Multiple zeta values admit both iterated-sum and iterated-integral representations, giving rise to the stuffle, shuffle and duality relations. Although these relations are satisfied by many families of complex numbers, we show that multiple zeta values are essentially uniquely determined by the double shuffle relations within a natural class of geometric multiple Dirichlet series. We then study geometric multiple Dirichlet series satisfying the shuffle relations and a duality relation. Under suitable analytic assumptions, we show that such dualities arise from differentiable involutions. We also use this framework to derive linear functional relations among multiple polylogarithms. Finally, we consider a more naive notion of multiple Dirichlet series and discuss the restrictions imposed by the stuffle relations, together with a conjecture on the uniqueness of multiple zeta values in this setting.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Adam Keilthy. 2026-10-17. Double shuffle and naive duality for multiple Dirichlet series. https://arxiv.org/abs/2610.24837

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

KEEP EXPLORING

Related papers

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↗

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↗