Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userTransseries as germs of surreal functions
47
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We show that Ecalles transseries and their variants (LE and EL-series) can be interpreted as functions from positive infinite surreal numbers to surreal numbers. The same holds for a much larger class of formal series, here called omega-series. Omega-series are the smallest subfield of the surreal numbers containing the reals, the ordinal omega, and closed under the exp and log functions and all possible infinite sums. They form a proper class, can be composed and differentiated, and are surreal analytic. The surreal numbers themselves can be interpreted as a large field of transseries containing the omega-series, but, unlike omega-series, they lack a composition operator compatible with the derivation introduced by the authors in an earlier paper.
rate research
Read More
Several authors have conjectured that Conways field of surreal numbers, equipped with the exponential function of Kruskal and Gonshor, can be described as a field of transseries and admits a compatible differential structure of Hardy-type. In this paper we give a complete positive solution to both problems. We also show that with this new differential structure, the surreal numbers are Liouville closed, namely the derivation is surjective.
The present article surveys surreal numbers with an informal approach, from their very first definition to their structure of universal real closed analytic and exponential field. Then we proceed to give an overview of the recent achievements on equipping them with a derivation, which is done by proving that surreal numbers can be seen as transseries and by finding the `simplest structure of H-field, the abstract version of a Hardy field. All the latter notions and their context are also addressed, as well as the universality of the resulting structure for surreal numbers.
We prove that $omega$-regular languages accepted by Buchi or Muller automata satisfy an effective automata-theoretic version of the Baire property. Then we use this result to obtain a new effective property of rational functions over infinite words which are realized by finite state Buchi transducers: for each such function $F: Sigma^omega rightarrow Gamma^omega$, one can construct a deterministic Buchi automaton $mathcal{A}$ accepting a dense ${bf Pi}^0_2$-subset of $Sigma^omega$ such that the restriction of $F$ to $L(mathcal{A})$ is continuous.
We prove that the theory of the $p$-adics ${mathbb Q}_p$ admits elimination of imaginaries provided we add a sort for ${rm GL}_n({mathbb Q}_p)/{rm GL}_n({mathbb Z}_p)$ for each $n$. We also prove that the elimination of imaginaries is uniform in $p$. Using $p$-adic and motivic integration, we deduce the uniform rationality of certain formal zeta functions arising from definable equivalence relations. This also yields analogous results for definable equivalence relations over local fields of positive characteristic. The appendix contains an alternative proof, using cell decomposition, of the rationality (for fixed $p$) of these formal zeta functions that extends to the subanalytic context. As an application, we prove rationality and uniformity results for zeta functions obtained by counting twist isomorphism classes of irreducible representations of finitely generated nilpotent groups; these are analogous to similar results of Grunewald, Segal and Smith and of du Sautoy and Grunewald for subgroup zeta functions of finitely generated nilpotent groups.
The large proper-time behaviour of expanding boost-invariant fluids has provided many crucial insights into quark-gluon plasma dynamics. Here we formulate and explore the late-time behaviour of nonequilibrium dynamics at the level of linearized perturbations of equilibrium, but without any special symmetry assumptions. We introduce a useful quantitative approximation scheme in which hydrodynamic modes appear as perturbative contributions while transients are nonperturbative. In this way, solutions are naturally organized into transseries as they are in the case of boost-invariant flows. We focus our attention on the ubiquitous telegraphers equation, the simplest example of a causal theory with a hydrodynamic sector. In position space we uncover novel transient contributions as well as Stokes phenomena which change the structure of the transseries based on the spacetime region or the choice of initial data.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
