Related papers: Exponential periods and o-minimality II
We show that the spectrum of Kontsevich's algebra of formal periods is a torsor under the motivic Galois group for mixed motives over the rational numbers. This assertion is stated without proof by Kontsevich and originally due to Nori. In…
We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…
We introduce exponential complexes of sheaves on manifolds. They are resolutions of the (Tate twisted) constant sheaves of the rational numbers, generalising the short exact exponential sequence. There are canonical maps from the…
We consider the periods of the linear congruential and the power generators modulo $n$ and, for fixed choices of initial parameters, give lower bounds that hold for ``most'' $n$ when $n$ ranges over three different sets: the set of primes,…
We give a new scale of completeness conditions for exponential systems in two types of functional spaces on subsets of the complex plane. The first is the Banach spaces of functions that are continuous on a compact and simultaneously…
For any positive integer $q$, the sequence of the Euler up/down numbers reduced modulo $q$ was proved to be ultimately periodic by Knuth and Buckholtz. Based on computer simulations, we state for each value of $q$ precise conjectures for…
The formalizations of periods of time inside a linear model of Time are usually based on the notion of intervals, that may contain or may not their endpoints. This is not enought when the periods are written in terms of coarse granularities…
Let $\mathbb{T}$ be the differential field of logarithmic-exponential transseries. We show that the expansion of $\mathbb{T}$ by its natural exponential function is model complete and locally o-minimal. We give an axiomatization of the…
Singular exponential nonlinearities of the form $e^{h(x)\epsilon^{-1}}$ with $\epsilon>0$ small occur in many different applications. These terms have essential singularities for $\epsilon=0$ leading to very different behaviour depending on…
This article presents two constructions motivated by a conjecture of L. van den Dries and C. Miller concerning the restricted analytic field with exponentiation. The first construction provides an example of two o-minimal expansions of a…
Polynomial Systems, or at least their algorithms, have the reputation of being doubly-exponential in the number of variables [Mayr and Mayer, 1982], [Davenport and Heintz, 1988]. Nevertheless, the Bezout bound tells us that that number of…
We present a new approach to exponential functions on time scales and to timescale analogues of ordinary differential equations. We describe in detail the Cayley-exponential function and associated trigonometric and hyperbolic functions. We…
We propose two new definitions of the exponential function on time scales. The first definition is based on the Cayley transformation while the second one is a natural extension of exact discretizations. Our eponential functions map the…
We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…
Exponentiation makes the difference between the bit-size of this line and the number (<< 2^{300}) of particles in the known Universe. The expulsion of exponential time algorithms from Computer Theory in the 60's broke its umbilical cord…
We establish a one-to-one correspondence between the set of minimal exponential families of dimension n defined on a finite sample space {\Omega} and the affine Grassmannian associated to an appropriate vector space of functions.
We give an elementary description of the space of formal periods of a mixed motive. This allows for a simplified reformulation of the period conjectures of Grothendieck and Kontsevich-Zagier. Furthermore, we develop a machinery which in…
Effective periods were defined by Kontsevich and Zagier as complex numbers whose real and imaginary parts are values of absolutely convergent integrals of $\mathbb{Q}$-rational functions over $\mathbb{Q}$-semi-algebraic domains in…
The functions of the Takagi exponential class are similar in construction to the continuous, nowhere differentiable Takagi function described in 1901. They have one real parameter $v\in (-1;1)$ and at points $x\in{\mathbb R}$ are defined by…
The discussion is limited to first-class parametrized systems, where the definition of time evolution and observables is not trivial, and to finite dimensional systems in order that technicalities do not obscure the conceptual framework.…