arXiv++ Combinatorics

Let $\mathcal{Z}_w^{(\mathbb{F}_q)}$ be the $\mathbb{F}_q$-linear subspace of $\mathbb{F}_q(\!(θ^{-1})\!)$ spanned by Thakur's multiple zeta values $ζ_A(\mathfrak{s})$ of weight $w$. We prove that $\sum_{w=1}^{\infty} \left(\dim_{\mathbb{F}_q} \mathcal{Z}_w^{(\mathbb{F}_q)}\right) x^w = \frac{x(1-x^q)(1-2x+x^q)}{(1-2x+x^{q+1})^2}$. Moreover, we construct an explicit $\mathbb{F}_q$-basis of $\mathcal{Z}_w^{(\mathbb{F}_q)}$, and prove that any $\mathbb{F}_q$-linear relation among Carlitz multiple polylogarithm values $\operatorname{Li}_A(\mathfrak{s})$ is an $\mathbb{F}_q$-linear combination of quadruple-carry relations. This result can be regarded as an $\mathbb{F}_q$-analogue of the corresponding $\mathbb{F}_q(θ)$-theorem proved by Chang--Chen--Mishiba and independently by Im--Kim--Le--Ngo Dac--Pham. Our discovery of the quadruple-carry relations is inspired by the recent work of Im--Kim--Ngo Dac. These relations may be viewed as $\mathbb{F}_q$-analogues of the double-shuffle relations among classical multiple zeta values $ζ(\mathfrak{s})$.

Let $G$ be an Eulerian graph on $n$ vertices with adjacency matrix $A$ and characteristic polynomial $φ(x)$. We show that when $n$ is even (resp. odd), the square-root of $φ(x)$ (resp. $xφ(x)$) is an annihilating polynomial of $A$, over $\mathbb{F}_2$. The result was achieved by applying the Jordan canonical form of $A$ over the algebraic closure $\bar{\mathbb{F}}_2$. Based on this, we show a family of Eulerian graphs are determined by their generalized spectrum among all Eulerian graphs, which significantly simplifies and strengthens the previous result.