Related papers: A Proof of a Recursion for Bessel Moments

Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a function is intensional if it operates at a level finer than (extensional) equality. This is a familiar setting for computer scientists, who…

For a fixed SL(3, Z) Maass form g, we consider the family of L-functions L(g \times u_j, s) where u_j runs over the family of Hecke-Maass cusp forms on SL(2,Z). We obtain an estimate for the second moment of this family of L-functions at…

The Euler-MacLaurin summation formula relates a sum of a function to a corresponding integral, with a remainder term. The remainder term has an asymptotic expansion, and for a typical analytic function, it is a divergent (Gevrey-1) series.…

This paper provides a method to study the non-negativity of certain linear operators, from other operators with similar spectral properties. If these new operators are formally self-adjoint and non-negative, we can study the complex powers…

We examine the convergence properties of sequences of nonnegative real numbers that satisfy a particular class of recursive inequalities, from the perspective of proof theory and computability theory. We first establish a number of results…

We provide a proof of a variant of the Landau-Siegel Zeros conjecture.

Consider a mixing dynamical systems $([0,1], T, \mu)$, for instance a piecewise expanding interval map with a Gibbs measure $\mu$. Given a non-summable sequence $(m_k)$ of non-negative numbers, one may define $r_k (x)$ such that $\mu (B(x,…

In this paper, we construct a binary linear code connected with the Kloosterman sum for $GL(2,q)$. Here $q$ is a power of two. Then we obtain a recursive formula generating the power moments 2-dimensional Kloosterman sum, equivalently that…

In this article, intended for the Handbook of Recursion Theory, we survey recursion theory on the ordinal numbers, with sections devoted to $\alpha$-recursion theory, $\beta$-recursion theory and the study of the admissibility spectrum.

New index transforms, involving the square of Bessel functions of the first kind as the kernel are considered. Mapping properties such as the boundedness and invertibility are investigated for these operators in the Lebesgue spaces.…

Kreisel has observed that the termination proof for Hilbert's epsilon-substitution method bears a resemblance to the priority arguments used in recursion theory. We make this precise by proving the termination using a framework for priority…

For Axiom A diffeomorphisms and equilibrium states, we prove a Large deviations result for the sequence of successive return times into a fixed Borel set, under some assumption on the boundary. Our result relies on and extends the work by…

We obtain recurrences for smallest parts functions which resemble Euler's recurrence for the ordinary partition function. The proofs involve the holomorphic projection of non-holomorphic modular forms of weight 2.

We give a version of the Borel-Cantelli lemma. As an application, we prove an almost sure local central limit theorem. As another application, we prove a dynamical Borel-Cantelli lemma for systems with sufficiently fast decay of…

We derive two distinct asymptotic expansions for the zeros $j_{\nu,k}^{(n)}$ of the $n$-th derivative of Bessel function $J_\nu^{(n)}(x)$. The first is a McMahon-type expansion for the case when $k \to \infty$ with fixed $\nu$, for which we…

In this article, we consider joint returns to zero of $n$ Bessel processes ($n\geq 2$): our main goal is to estimate the probability that they avoid having joint returns to zero for a long time. More precisely, considering $n$ independent…

A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.

A descent conjecture of Wittenberg [Wit24, Conjecture 3.7.4] predicts that if all the twists of a rationally connected torsor over a smooth base satisfy weak approximation with Brauer-Manin obstruction, then so does the base. We give an…

In this note we give a counterexample to a conjecture proposed by Ciliberto about special linear systems of P^n through multiple base points.

In this paper, we give a short elementary proof of the well known Euler's recurrence formula for the Riemann zeta function at positive even integers and integral representations of the Riemann zeta function at positive integers and at…