Related papers: Mahler's method and Carlitz logarithm

We prove the irrationality of the classical Dirichlet L-value $L(2,\chi_{-3})$. The argument applies a new kind of arithmetic holonomy bound to a well-known construction of Zagier. In fact our work also establishes the $\mathbf{Q}$-linear…

In this paper, we study transcendence theory for Thakur multizeta values in positive characteristic. We prove an analogue of the strong form of Goncharov's conjecture. We also establish the same result for Carlitz multiple polylogarithms at…

We provide an alternative proof that the finite rational linear combination of radicals, under certain constraint, are linearly independent over $\mathbb{Q}$.

Let $k$ be the rational function field over the finite field of $q$ elements and $\bar{k}$ its fixed algebraic closure. In this paper, we study algebraic relations over $\bar{k}$ among the fundamental period $\widetilde{\pi}$ of the Carlitz…

In the number theory in positive characteristic, there are analogues of some special values introduced by Carlitz, Carlitz gamma values and Carlitz zeta values for instance. Each of them is further developed to arithmetic gamma values and…

If $\alpha$ is a non-zero algebraic number, we let $m(\alpha)$ denote the Mahler measure of the minimal polynomial of $\alpha$ over $\mathbb Z$. A series of articles by Dubickas and Smyth, and later by the author, develop a modified version…

We show that the logarithm $\log_q$ of the Frobenius morphism $x\to x^q$ is given by the formula $x\to x\log x$ (the natural logarithm). In particular, it does not depend on $q$. This is the explicit (although heuristical) formula for the…

We formulate and prove a log-algebraicity theorem for arbitrary rank Drinfeld modules defined over the polynomial ring F_q[theta]. This generalizes results of Anderson for the rank one case. As an application we show that certain special…

We consider the values at proper fractions of the arithmetic gamma function and the values at positive integers of the zeta function for F_q[theta] and provide complete algebraic independence results for them.

In 1994, Becker conjectured that if $F(z)$ is a $k$-regular power series, then there exists a $k$-regular rational function $R(z)$ such that $F(z)/R(z)$ satisfies a Mahler-type functional equation with polynomial coefficients where the…

We define analogues of higher derivatives for $F_q$-linear functions over the field of formal Laurent series with coefficients in $F_q$. This results in a formula for Taylor coefficients of a $F_q$-linear holomorphic function, a definition…

We develop a new method for proving algebraic independence of $G$-functions. Our approach rests on the following observation: $G$-functions do not always come with a single linear differential equation, but also sometimes with an infinite…

Let $v$ be a finite place of $\mathbb{F}_q(\theta)$. In this paper, we interpret $v$-adic arithmetic gamma values in terms of the $v$-adic crystalline-de Rham periods of Carlitz motives with Complex Multiplication, and establish an…

In this article, we present a new linear independence criterion for values of the $p$-adic polygamma functions defined by J.~Diamond. As an application, we obtain the linear independence of some families of values of the $p$-adic Hurwitz…

We study algebraic independence problem for the Taylor coefficients of the Anderson-Thakur series arisen as deformation series of positive characteristic multiple zeta values (abbreviated as MZV's). These Taylor coefficients are simply…

We demonstrate that perturbative algebraic QFT methods, as developed by Fredenhagen and Rejzner, naturally yields a factorization algebras of observables for a large class of Lorentzian theories. Along the way we carefully articulate…

The Riemann zeta function, and more generally the L-functions of Dirichlet characters, are among the central objects of study in number theory. We report on a project to formalize the theory of these objects in Lean's "Mathlib" library,…

A predicate linear temporal logic LTL_{\lambda,=} without quantifiers but with predicate abstraction mechanism and equality is considered. The models of LTL_{\lambda,=} can be naturally seen as the systems of pebbles (flexible constants)…

The knowledge on irrationality of p-adic zeta values has recently progressed. The irrationality of zeta_2(2), \zeta_2(3) and of a few other p-adic series of Dirichlet was obtained by F. Calegari. F. Beukers gave a more elementary proof of…

We investigate interconnected aspects of hyperderivatives of polynomials over finite fields, q-th powers of polynomials, and specializations of Vandermonde matrices. We construct formulas for Carlitz multiplication coefficients using…