Transcendence of L(1,χ S )/Π in Positive Characteristic. A Simple Automata-Style Proof

Si-Han Liu,Jia-Yan Yao
DOI: https://doi.org/10.5802/crmath.493
2023-01-01
Comptes Rendus Mathematique
Abstract:For the field of formal Laurent series over a finite field, L. Carlitz defined., an analog of the real number pi, and D. Goss defined L(s, chi), analogs of Dirichlet L-functions. G. Damamme proved in 1999 the transcendence of L(1, chi(s))/Pi via a criterion of deMathan. Then Y. Hu gave in 2018 an automata-style proof of the above result. In this work, we present another and much simpler automata-style proof.
What problem does this paper attempt to address?