Lower Bounds for Densities of Transcendental Gamma-Function Derivatives

In recent work, we showed that for all $q\in \frac{1}{2}\mathbb{Z}\setminus {\mathbb{Z}}_{\le 0}$ the sequence ${\left\{{\mathrm{\Gamma }}^{\left(n\right)}\left(q\right)\right\}}_{n\ge 1}$ contains transcendental elements infinitely often, with the density of transcendental ${\mathrm{\Gamma }}^{\left(n\right)}\left(q\right)$ among $n\in \{1,2,\dots ,N\}$ bounded below by $\beta \left(N\right)=\max \{0,\sqrt{N}-5\mathrm{/}2\}\mathrm{/}N$. For both fixed and variable $n$, we now study the transcendence of ${\mathrm{\Gamma }}^{\left(n\right)}\left(q\right)$ at both positive lattice points $q=m\in \{1,2,\dots \}$ and rationally shifted lattice points $q=\tilde{m}\in \{\kappa ,\pm 1+\kappa ,\pm 2+\kappa ,\dots \}$ (for $\kappa \in (0,1)\cap \mathbb{Q}$ such that $\mathrm{\Gamma }\left(\kappa \right)$ is transcendental). For $n\in {\mathbb{Z}}_{\ge 2}$, we find there are at most $n-1$ algebraic ${\mathrm{\Gamma }}^{\left(n\right)}\left(m\right)$, and for $n\in {\mathbb{Z}}_{\ge 1}$, there are at most $n$ algebraic ${\mathrm{\Gamma }}^{\left(n\right)}\left(\tilde{m}\right)$ for each one-sided shifted lattice (i.e., $\tilde{m}\ge \kappa$ or $\tilde{m}\le \kappa$). These results form the basis for constructing lower bounds for the densities of transcendental ${\mathrm{\Gamma }}^{\left(n\right)}\left(m\right)$ among $m\in \{1,2,\dots ,M\}$ and transcendental ${\mathrm{\Gamma }}^{\left(n\right)}\left(\tilde{m}\right)$ among either $\tilde{m}\in \{\kappa ,1+\kappa ,2+\kappa ,\dots ,M+\kappa \}$ or $\tilde{m}\in \{\kappa ,-1+\kappa ,-2+\kappa ,\dots ,-M+\kappa \}$. Allowing $n$ to vary, we derive lower bounds for the bivariate densities of both transcendental ${\mathrm{\Gamma }}^{\left(n\right)}\left(m\right)$ among $(n,m)\in \{2,3,\dots ,N\}\times \{1,2,\dots ,M\}$ and transcendental ${\mathrm{\Gamma }}^{\left(n\right)}\left(\tilde{m}\right)$ among one-sided shifted-lattice analogues.