Related papers: Exponential periods and o-minimality II
We consider a large class of $q$-series that have the structure of Nahm sums, or equivalently motivic generating series for quivers. First, we initiate a systematic analysis and classification of classical and quantum A-polynomials…
This paper concerns exponential contravariant functors on free groups. We obtain an equivalence of categories between analytic, exponential contravariant functors on free groups and conilpotent cocommutative Hopf algebras. This result…
In this paper, we give a description of Deligne's periods $c^\pm$ for tensor product of pure motives $M \otimes M'$ over $\mathbb{Q}$ in terms of the period invariants attached to $M$ and $M'$ by Yoshida. The period relations proved by the…
We show that the reciprocal of a partial sum with 2m terms of the alternating exponential series is the exponential generating function for permutations in which every increasing run has length congruent to 0 or 1 modulo 2m. More generally…
The so-called paradoxes of material implication have motivated the development of many non-classical logics over the years \cite{aA75,nB77,aA89,gP89,sH96}. In this note, we investigate some of these paradoxes and classify them, over minimal…
The purpose of this book is to provide an introduction to period theory and then to place it within the matrix of recursive function theory.
In this brief paper we find computable exponential convergence rates for a large class of stochastically ordered Markov processes. We extend the result of Lund, Meyn, and Tweedie (1996), who found exponential convergence rates for…
We give an explicit construction of the p-adic de Rham comparison isomorphism for 1-motives. In particular, we prove that our construction recovers the classical de Rham comparison isomorphism and is functorial with respect to morphisms of…
We have defined almost separable space. We show that like separability, almost separability is $c$ productive and converse also true under some restrictions. We establish a Baire Category theorem like result in Hausdorff, Pseudocompacts…
After giving an overview of the existing theory regarding the periods of sequences defined by linear recurrences over finite fields, we give explicit descriptions of the sets of periods that arise if one considers all sequences over…
Kolmogorov's exponential inequalities are basic tools for studying the strong limit theorems such as the classical laws of the iterated logarithm for both independent and dependent random variables. This paper establishes the Kolmogorov…
We show that provability in the implicational fragment of relevance logic is complete for doubly exponential time, using reductions to and from coverability in branching vector addition systems.
We derive a lower bound for the subword complexity of the base-$b$ expansion ($b\geq 2$) of all real numbers whose irrationality exponent is equal to 2. This provides a generalization of a theorem due to Ferenczi and Mauduit. As a…
A construction of covariant quantum phase observables, for Hamiltonians with a finite number of energy eigenvalues, has been recently given by D. Arsenovic et al. [Phys. Rev. A 85, 044103 (2012)]. For Hamiltonians generating periodic…
In this paper, we develop new tools and connections for exponential time approximation. In this setting, we are given a problem instance and a parameter $\alpha>1$, and the goal is to design an $\alpha$-approximation algorithm with the…
This is an expository paper aiming to introduce Zilber's Exponential Closedness conjecture to a general audience. Exponential Closedness predicts when (systems of) equations involving addition, multiplication, and exponentiation have…
A \emph{quasi-polynomial} is a function defined of the form $q(k) = c_d(k) k^d + c_{d-1}(k) k^{d-1} + ... + c_0(k)$, where $c_0, c_1, ..., c_d$ are periodic functions in $k \in \Z$. Prominent examples of quasi-polynomials appear in…
We introduce a two-dimensional metric (interval) temporal logic whose internal and external time flows are dense linear orderings. We provide a suitable semantics and a sequent calculus with axioms for equality and extralogical axioms. Then…
We use double categories to obtain a single theorem characterizing certain exponentiable morphisms of small categories, topological spaces, locales, and posets.
We prove that in an arbitrary o-minimal structure, every interpretable group is definably isomorphic to a definable one. We also prove that every definable group lives in a cartesian product of one-dimensional definable group-intervals (or…