Algebraic independence of sequences generated by (cyclotomic) harmonic sums (Q1653307)

Let \(\mathbb A\) be a polynomial ring and \(\sigma\) be an automorphism. Set \(\mathbb K=\{ c\in\mathbb A; \sigma(c)=c\}\) and \[ A=\{ (a,b,c,z); a, c\in\mathbb N, b\in\mathbb N_0, z\in\mathbb K\setminus \{ 0\}, b<a, \gcd(a,b)=1 \}. \] Let \(H\) be \(A\cap (\{ 1\} ,\{ 0\} ,\mathbb N, \{ 1\} )\) or \(A\cap (\{ 1\} ,\{ 0\} ,\mathbb N, \{ 1,-1\} )\) or \(A\cap (\mathbb M ,\mathbb N_0 ,\mathbb N, \{ 1,-1\} )\) where \(\mathbb M\) is a finite subset of \(\mathbb N\). Then, the authors prove that for every \(d\in\mathbb N\) we have that \(\mathbb E_d^H\) with \(\mathbb E_d^H=\mathbb K(n)[x][t_1^{(1)},\dots ,t_{m_1}^{(1)}],\dots [t_1^{(d)},\dots ,t_{m_d}^{(d)}]\) is a \(\Sigma^*\)-extension of \((\mathbb K(n)[x],\sigma)\).