--- title: Cyclotomic Euler Sums Overview url: https://www.emergentmind.com/topics/cyclotomic-euler-sums type: topic --- # Cyclotomic Euler Sums Overview Searching arXiv for recent and foundational work on cyclotomic Euler sums. Cyclotomic Euler sums are convergent harmonic-type quantities controlled by roots of unity. In one standard usage, they are the \(N\to\infty\) special constants obtained from cyclotomic harmonic sums and cyclotomic polylogarithms, in direct analogy with the way multiple zeta values arise from ordinary harmonic sums and harmonic polylogarithms [1310.5645]. In a second, closely related usage, they are root-of-unity–twisted series of the form \[ S_{p_1,\ldots,p_k;q}(x_1,\ldots,x_k;x):=\sum_{n=1}^\infty \frac{\zeta_n(p_1;x_1)\cdots \zeta_n(p_k;x_k)}{n^q}\,x^n, \] together with level-\(2\), Hurwitz-type, and \(t\)- or \(T\)-analogous variants [2509.00638]. Across these formulations, the subject is organized by four recurring mechanisms: cyclotomic factorization of \(x^m-1\), Mellin and inverse Mellin correspondences between nested sums and iterated integrals, shuffle and quasi-shuffle reduction, and contour-integral parity identities. ## 1. Terminological scope and basic definitions A persistent source of terminological variation is that different papers isolate different representatives of the same cyclotomic structure. In the survey treatment of Ablinger, Blümlein, and Schneider, “cyclotomic Euler sums” are the special constants \[ \sigma_{\cdots}=\lim_{N\to\infty}(\text{cyclotomic or generalized cyclotomic sum}), \] and are encoded by cyclotomic polylogarithms evaluated at special points, typically \(x=1\), where defined [1310.5645]. In the contour-integral literature, by contrast, a generalized Euler sum becomes cyclotomic precisely when the parameters \(x_1,\dots,x_k,x\) are roots of unity [2509.00638]. The broadest nested-sum definition used in the cyclotomic-harmonic framework is \[ S_{\{a_1,b_1,c_1\},\ldots,\{a_l,b_l,c_l\}}(s_1,\ldots,s_l;N) = \sum_{k_1=1}^{N} \frac{s_1^k}{(a_1k_1+b_1)^{c_1}} S_{\{a_2,b_2,c_2\};\ldots;\{a_l,b_l,c_l\}}(s_2,\ldots,s_l;k_1), \qquad S_\emptyset=1, \] with \(a_i,c_i\in\mathbb N_+\), \(b_i\in\mathbb N\), \(s_i=\pm1\), and weight \(c_1+\cdots+c_l\) [1105.6063]. A simpler single-index specialization is \[ S_{l,m,n}(N)=\sum_{k=0}^N \frac{(\mathrm{sign}(n))^k}{(lk+m)^{|n|}}, \] described as a harmonic sum with periodic gaps [1310.5645]. The non-embedded contour-integral formulation starts from the finite twisted harmonic numbers \[ \zeta_n(p;x):=\sum_{k=1}^n \frac{x^k}{k^p}, \] and builds \[ S_{p_1,\ldots,p_k;q}(x_1,\ldots,x_k;x) = \sum_{n=1}^\infty \frac{\zeta_n(p_1;x_1)\cdots \zeta_n(p_k;x_k)}{n^q}\,x^n, \] with weight \(p_1+\cdots+p_k+q\) and order \(k\) [2509.00638]. The level-\(2\) analogue replaces \(n\) by \(n-\tfrac12\): \[ T_{p_1,\ldots,p_k;q}(x_1,\ldots,x_k;x) := \sum_{n=1}^\infty \frac{t_n(p_1;x_1)\cdots t_n(p_k;x_k)}{(n-\tfrac12)^q}\,x^n, \qquad t_n(p;x):=\sum_{k=1}^n \frac{x^k}{(k-\tfrac12)^p}, \] and is called a cyclotomic Euler \(T\)-sum [2509.06706]. This suggests that “cyclotomic Euler sums” is best treated as a family name rather than a single rigid definition. The common content is root-of-unity twisting, cyclotomic denominators, and reduction to polylogarithmic or zeta-like constants. ## 2. Cyclotomic factorization and the elementary origin of the sums A direct elementary source of cyclotomic Euler sums is the factorization \[ x^m-1=(x-1)\bigl(1+x+x^2+\cdots+x^{m-1}\bigr). \] The procedure emphasized by Sofo associates convergent series and definite integrals to this factorization by removing the trivial root \(x=1\), inverting the remaining factor, expanding it as a geometric series or product of quadratic factors, integrating term-by-term on \(0\le x\le1\), and interpreting the resulting periodic coefficients in terms of Dirichlet characters [1501.05457]. The prototype \(m=2\) yields \[ \int_0^1 \frac{dx}{1+x} = \sum_{n=1}^\infty \left(\frac{1}{2n-1}-\frac{1}{2n}\right) = \log 2, \] while the quartic factor \(x^2+1\) gives \[ \int_0^1\frac{dx}{1+x^2} = \sum_{n=1}^\infty (-1)^{n-1}\frac{1}{2n-1} = \frac{\pi}{4}. \] For \(m=3\), \[ x^3-1=(x-1)(1+x+x^2), \] and \[ \int_0^1 \frac{dx}{1+x+x^2} = \frac{\pi}{3\sqrt{3}} = \left(1-\frac12\right)+\left(\frac14-\frac15\right)+\left(\frac17-\frac18\right)+\cdots = \sum_{n=1}^\infty \left(\frac{1}{3n-2}-\frac{1}{3n-1}\right), \] with the coefficient pattern identified with the nontrivial Dirichlet character modulo \(3\) [1501.05457]. The same mechanism persists for higher \(m\). If \(\omega=e^{2\pi i/m}\), then the nontrivial roots of \(x^m-1\) come in conjugate pairs, producing quadratic factors \[ (x-\omega^r)(x-\omega^{-r})=x^2-2\cos\!\left(\frac{2\pi r}{m}\right)x+1. \] For prime \(m=p\), \[ 1+x+\cdots+x^{p-1} = \prod_{r=1}^{(p-1)/2} \left(x^2-2\cos\frac{2\pi r}{p}\,x+1\right), \] and the resulting harmonic-type series acquire periodic arithmetic coefficients. For composite \(m\), additional decompositions such as \[ x^6-1=(x^3-1)(x^3+1),\qquad x^3+1=(x+1)(1-x+x^2) \] produce mixtures of lower cyclotomic contributions; in particular, \[ \int_0^1 \frac{dx}{1+x^3} = \log 2+\frac{\pi}{3\sqrt3}, \] reflecting the coexistence of the \(m=2\) and \(m=3\) patterns [1501.05457]. In this elementary setting, cyclotomic Euler sums appear as Dirichlet-\(L\)-type evaluations in disguise. The periodic residue-class structure generated by roots of unity already contains the essential arithmetic of the more elaborate nested theories. ## 3. Cyclotomic harmonic sums, polylogarithms, and Mellin correspondence The systematic framework replaces the classical harmonic-polylogarithm alphabet \(\{1/x,1/(1-x),1/(1+x)\}\) by all cyclotomic letters \[ f_0^0(x)=\frac1x,\qquad f_k^l(x)=\frac{x^l}{\Phi_k(x)}, \quad k\in\mathbb N\setminus\{0\},\quad l\in\mathbb N,\quad l<\varphi(k), \] where \(\Phi_k(x)\) is the \(k\)th cyclotomic polynomial [1310.5645]. Iterating these letters yields cyclotomic polylogarithms; iterating the corresponding Mellin-space denominators yields cyclotomic harmonic sums. The basic structural statement is that nested sums in Mellin space correspond, via inverse Mellin transform, to iterated integrals in \(x\)-space [1310.5645]. In the more explicit construction of Ablinger, Blümlein, and Schneider, the cyclotomic harmonic polylogarithms \(C_{\vec a}^{\vec b}(x)\) are Poincaré-iterated integrals over the alphabet \[ \mathfrak{A}= \left\{\frac1x\right\} \cup \left\{\left.\frac{x^l}{\Phi_k(x)}\right|k\in\mathbb N_+,\,0\le l<\varphi(k)\right\}, \] and the finite cyclotomic sums admit Mellin representations by these letters [1105.6063]. The paper also performs analytic continuation of cyclotomic harmonic sums to complex values of \(N\) using analytic representations and derives basis representations for weight \(w=1,2\) sums up to cyclotomy \(l=20\) [1105.6063]. The constants obtained at \(x=1\) or \(N\to\infty\) extend multiple zeta values. For cyclotomy \(l=1\), the constants can be expressed in terms of \[ \sigma_0,\qquad \ln(2),\qquad \pi, \] with \(\pi\) replacing \(\zeta_2=\pi^2/6\) as a more fundamental quantity [1310.5645]. For higher cyclotomy, logarithms such as \[ \ln(3),\quad \ln(\sqrt2-1),\quad \ln(\sqrt3-1),\quad \ln(\sqrt5-1) \] and algebraic numbers occur, and for \(l\le 6\) and weight \(\ge 2\) the constants include values such as \(\zeta_{2k+1}\), \(\psi^{(2k+1)}(1/3)\), \(\psi^{(k)}(1/5)\), \(\psi^{(k)}(1/8)\), and \(\psi^{(2k)}(1/12)\); the constant \(H_2(1)=\mathbf C\) is Catalan’s constant [1310.5645]. A further extension consists of infinite generalized harmonic sums at roots of unity, \[ \lim_{N\to\infty} S_{k_1,\ldots,k_m}(x_1,\ldots,x_m;N) \equiv \sigma_{k_1,\ldots,k_m}(x_1,\ldots,x_m), \qquad x_j\in\mathcal C_n, \] which are the complex-root-of-unity versions of the same special-constant theory [1310.5645]. ## 4. Algebraic reduction, analytic continuation, and independence Cyclotomic Euler sums inherit the two basic Hopf-algebraic structures of the subject: shuffle relations on the iterated-integral side and quasi-shuffle, or stuffle, relations on the nested-sum side. Cyclotomic harmonic polylogarithms satisfy shuffle algebra relations, while cyclotomic harmonic sums satisfy quasi-shuffle relations and additional structural identities coming from differentiation, duplication, and multiple-argument relations [1310.5645]. In the cyclotomic-sum framework, these relations are effective enough to produce finite bases. The 2011 construction shows that finite cyclotomic sums are meromorphic functions of \(N\), with poles at non-positive integers, because their Mellin representations are factorial series; analytic continuation to complex \(N\) is performed using first-order difference equations together with asymptotic expansions [1105.6063]. This analytic continuation is essential in both symbolic summation and asymptotic analysis. A stronger structural result is obtained in the difference-ring treatment of Schneider. Starting from the alphabet \[ \mathcal A:=\{(a,b,c,z)\mid a,c\in\mathbb N,\ b\in\mathbb N_0,\ z\in K\setminus\{0\},\ b