相关论文: A note on Tauberian Theorems of Exponential Type

In this note, we unveil homotopy-rich algebraic structures generated by the Atiyah classes relative to a Lie pair $(L,A)$ of algebroids. In particular, we prove that the quotient $L/A$ of such a pair admits an essentially canonical homotopy…

Let k be a field of characteristic p>0. A theorem of de Jong shows that morphisms of modules over W(k)[[t]] with Frobenius and connection structure descend from the completion of W(k)((t)). A careful reading of de Jong's proof suggests the…

One takes advantage of some basic properties of every homotopic $\lambda$-model (e.g.\ extensional Kan complex) to explore the higher $\beta\eta$-conversions, which would correspond to proofs of equality between terms of a theory of…

In this paper we prove that assuming Schanuel's conjecture, an exponential polynomial in one variable over the algebraic numbers has only finitely many algebraic solutions. This implies a positive answer to Shapiro's conjecture for…

Revisiting a classic result from M. Hofmann's dissertation, we give a direct proof of Morita equivalence, in the sense of V. Isaev, between extensional type theory and intensional type theory extended by the principles of functional…

For $N \in \mathbb{N}$, let $T_{N}$ be the Chebyshev polynomial of the first kind. Expressions for the sequence of numbers $p_{\ell}^{(N)}$, defined as the coefficients in the expansion of $1/T_{N}(1/z)$, are provided. These coefficients…

Motivated by analytic number theory, we explore remainder versions of Ikehara's Tauberian theorem yielding power law remainder terms. More precisely, for $f:[1,\infty)\rightarrow{\mathbb R}$ non-negative and non-decreasing we prove…

A new proof of the decomposition theorem is established using a relation with a version of the local purity theorem of Deligne and Gabber adapted to complex algebraic varieties.

This paper was motivated by a conjecture of Br\"{a}nd\'{e}n (European J. Combin. \textbf{29} (2008), no.~2, 514--531) about the divisibility of the coefficients in an expansion of generalized Eulerian polynomials, which implies the…

We show that every convergent power series with monomial extended Jacobian ideal is right equivalent to a Thom-Sebastiani polynomial. This solves a problem posed by Hauser and Schicho. On the combinatorial side, we introduce a notion of…

We prove a new theorem of Tverberg type which confirms the conjecture of Blagojevic, Frick, and Ziegler about the existence of "balanced Tverberg partitions" (Conjecture 6.6 in, Tverberg plus constraints, Bull. London Math. Soc., 46 (2014)…

In a previous work, P. Briand and Y. Hu proved the uniqueness among the solutions which admit every exponential moments. In this paper, we prove that uniqueness holds among solutions which admit some given exponential moments. These…

In this paper, we propose an abstract definition of dependent type theories as essentially algebraic theories. One of the main advantages of this definition is its composability: simple theories can be combined into more complex ones, and…

The Kronecker theta function is a quotient of the Jacobi theta functions, which is also a special case of Ramanujan's $_1\psi_1$ summation. Using the Kronecker theta function as building blocks, we prove a decomposition theorem for theta…

The product of two unitaries can normally be expressed as a single exponential through the famous Baker-Campbell-Hausdorff formula. We present here a counterexample in quantum optics, by showing that an expression in terms of a single…

We prove a Tauberian theorem concerning power series admitting square root singularities. More precisely we give an asymptotic expansion to any order of the coefficients of a power series admitting square-root type singularities. This…

We give an intrinsic estimate of the number of connected components of the complementary set to the amoeba of an exponential sum with real spectrum improving the result of Forsberg, Passare and Tsikh in the polynomial case and that of…

The present article contains a short introduction to Modular Theory for von Neumann algebras with a cyclic and separating vector. It includes the formulation of the central result in this area, the Tomita-Takesaki theorem, and several of…

We extend the formulae of classical invariant theory for the Jacobian of a genus one curve of degree $n \le 4$ to curves of arbitrary degree. To do this, we associate to each genus one normal curve of degree $n$, an $n \times n$ alternating…

We generalize the toric Bertini theorem of Fuchs, Mantova, and Zannier to positive characteristic. A key part of the proof is a new algebraically closed field containing the field \kk(t_1,\dots,t_d) of rational functions over an…