Related papers: Exponential periods and o-minimality II
This article addresses the existence of $\Q$-rational periodic points for morphisms of projective space. In particular, we construct an infinitely family of morphisms on $\P^N$ where each component is a degree 2 homogeneous form in $N+1$…
We summarize the arguments that space and time are likely to be emergent notions; i.e. they are not present in the fundamental formulation of the theory, but appear as approximate macroscopic concepts. Along the way we briefly review…
Let $\mu$ be a finite positive measure on the real line. For $a>0$ denote by $\EE_a$ the family of exponential functions $$\EE_a=\{e^{ist}| \ s\in[0,a]\}.$$ The exponential type of $\mu$ is the infimum of all numbers $a$ such that the…
By using an exact analytical non-Hermitian approach in terms of resonance (quasinormal) states we express the decaying wave function as the sum of exponential and nonexponential decaying solutions to the time-dependent Schr\"odinger…
We explain how the field of logarithmic-exponential series constructed in \cite{DMM1} and \cite {DMM2} embeds as an exponential field in any field of exponential-logarithmic series constructed in \cite{KK1}, \cite {K} and \cite {KS}. On the…
It is known that the algebraic \deRham cohomology group $\hDR{i}(X_0/\Q)$ of a nonsingular variety $X_0/\Q$ has the same rank as the rational singular cohomology group $\h^i\sing(\Xh;\Q)$ of the complex manifold $\Xh$ associated to the base…
Exponential-time approximation has recently gained attention as a practical way to deal with the bitter NP-hardness of well-known optimization problems. We study for the first time the $(1 + \varepsilon)$-approximate min-sum subset…
We consider an evolution equation similar to that introduced by Vese and whose solution converges in large time to the convex envelope of the initial datum. We give a stochastic control representation for the solution from which we deduce,…
We introduce a new notion of computable function on $\R^N$ and prove some basic properties. We give two applications, first a short proof of Yoshinaga's theorem that periods are \el (they are actually low). We also show that the low complex…
These notes are devoted to the theory of exponential sums over finite fields. The first chapter recalls some of the number-theoretic interest of such sums. The second chapter discusses the $L$-functions attached to such sums, the "Weil…
We derive the large $n$ asymptotics of zeros of sections of a generic exponential sum. We divide all the zeros of the $n$-th section of the exponential sum into ``genuine zeros'', which approach, as $n\to\infty$, the zeros of the…
Sharply o-minimal structures (denoted \so-minimal) are a strict subclass of the o-minimal structures, aimed at capturing some finer features of structures arising from algebraic geometry and Hodge theory. Sharp o-minimality associates to…
Termination analysis of linear loops plays a key r\^{o}le in several areas of computer science, including program verification and abstract interpretation. Already for the simplest variants of linear loops the question of termination…
An exponential interaction is constructed so that one-dimensional atoms and chains of atoms mimic the general behavior of their three-dimensional counterparts. Relative to the more commonly used soft-Coulomb interaction, the exponential…
We show that, for a certain large class of power-bounded $o$-minimal $\mathcal{L}_T$-theories $T$ whose field of exponents is infinite-dimensional as a vector space over the rationals, any definable set in a $T$-convex valued field…
We prove the definability, and actually the finiteness of the commutator width, of many commutator subgroups in groups definable in o-minimal structures. It applies in particular to derived series and to lower central series of solvable…
Let $p$ be a large prime number and $g$ be any integer of multiplicative order $T$ modulo $p$. We obtain a new estimate of the double exponential sum $$ S=\sum_{n\in \mathcal{N}}\left|\sum_{m\in \mathcal{M} }e_p(an g^{m})\right|, \quad \gcd…
In this paper we study the relation between the category of real Lie groups and that of groups definable in o-minimal expansions of the real field, which we will refer to as ``definable groups''. With this terminology, it is known…
We introduce an operational rewriting-based semantics for strictly positive nested higher-order (co)inductive types. The semantics takes into account the "limits" of infinite reduction sequences. This may be seen as a refinement and…
Motivated by the decidability question for the theory of real exponentiation and by the Transfer Conjecture for o-minimal exponential fields, we show that, under the assumption of Schanuel's Conjecture, the prime model of real…