On exponentials of exponential generating series
Roland Bacher (IF)

TL;DR
This paper explores the exponential map on exponential generating series, establishing a bijection between rational or algebraic series and their exponential counterparts over certain fields.
Contribution
It proves that the exponential and logarithm maps induce bijections between rational/algebraic series and their exponential forms in specific algebraic settings.
Findings
The exponential map ${ m exp}_!$ is a bijection between rational series and their exponential forms.
The inverse map ${ m log}_!$ also induces a bijection for algebraic series.
Results hold over fields subfield of algebraically closed fields of characteristic p.
Abstract
Identifying the algebra of exponential generating series with the shuffle algebra of formal power series, one can define an exponential map for the associated Lie group formed by exponential generating series with constant coefficient 1 over an arbitrary field . The main result of this paper states that the map (and its inverse map ) induces a bijection between rational, respectively algebraic, series in and if the field is a subfield of the algebraically closed field of characteristic .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
