Related papers: A note on Tauberian Theorems of Exponential Type
This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…
Cubical type theory is an extension of Martin-L\"of type theory recently proposed by Cohen, Coquand, M\"ortberg and the author which allows for direct manipulation of $n$-dimensional cubes and where Voevodsky's Univalence Axiom is provable.…
Cartwright-type and Bernstein-type theorems, previously known only for functions of exponential type in $\C^n$, are extended to the case of functions of arbitrary order in a cone.
Many authors have investigated the congruence relations amongst the coefficients of power series expansions of modular forms $f$ in modular functions $t$. In a recent paper, R. Osburn and B. Sahu examine several power series expansions and…
A classical theorem by Jacobson says that a ring in which every element $x$ satisfies the equation $x^n=x$ for some $n>1$ is commutative. According to Birkhoff's Completeness Theorem, if $n$ is fixed, there must be an equational proof of…
This paper is partly a survey of certain kinds of results and proofs in additive combinatorics, and partly a discussion of how useful the finite-dimensional Hahn-Banach theorem can be. The most interesting single result is probably a…
We present a way to organize a constructive development of the theory of Banach algebras, inspired by works of Cohen, de Bruijn and Bishop. We illustrate this by giving elementary proofs of Wiener's result on the inverse of Fourier series…
We give a simple proof of Borg type uniqueness Theorems for periodic Jacobi operators with matrix valued coefficients.
In this paper we characterize local exponential monomials and polynomials on different types of Abelian groups and we prove Montel-type theorems for these function classes.
The paper is devoted to a somewhat idiosyncratic account of the theorem of de Bruijn-Erd\"{o}s and Hanani from the combinatorics of finite geometries and its various proofs. Among the proofs discussed are the original proofs by de…
We construct a new class of symmetric algebras of tame representation type that are also the endomorphism algebras of cluster tilting objects in 2-Calabi-Yau triangulated categories, hence all their non-projective indecomposable modules are…
We solve a case of the Abelian Exponential-Algebraic Closedness Conjecture, a conjecture due to Bays and Kirby, building on work of Zilber, which predicts sufficient conditions for systems of equations involving algebraic operations and the…
We prove a quantified Tauberian theorem involving Laplace-Stieltjes transform which is motivated by the work of Ingham and Karamata. For this, we consider functions which are locally of bounded variation and, therefore, get a generalisation…
Assuming Schanuel's conjecture, we prove that any polynomial exponential equation in one variable must have a solution that is transcendental over a given finitely generated field. With the help of some recent results in Diophantine…
In this article, we introduce a notion of an exponential matrix, which is a polynomial matrix with exponential properties, and a notion of an equivalence relation of two exponential matrices, and then we initiate to study classifying…
We obtain quantified versions of Ingham's classical Tauberian theorem and some of its variants by means of a natural modification of Ingham's own simple proof. As corollaries of the main general results, we obtain quantified decay estimates…
We obtain a fully explicit quantitative version of the Eisenstein theorem on algebraic power series which is more suitable for certain applications than the existing version due to Dwork, Robba, Schmidt and van der Poorten. We also treat…
Recently, a beautiful paper of Andrews and Sellers has established linear congruences for the Fishburn numbers modulo an infinite set of primes. Since then, a number of authors have proven refined results, for example, extending all of…
We prove a genuine analogue of Wiener Tauberian theorem for $L^1(G//K)$, where G is a semisimple Lie group of real rank one. This generalizes the corresponding result on the automorphism group of the unit disk by Y. Ben Natan, Y. Benyamini,…
We exhibit a computational type theory which combines the higher-dimensional structure of cartesian cubical type theory with the internal parametricity primitives of parametric type theory, drawing out the similarities and distinctions…