Showing 1–21 of 21 results for author: Ernvall-Hytönen, A

Explicit estimates for the Goldbach summatory function

Authors: Gautami Bhowmik, Anne-Maria Ernvall-Hytönen, Neea Palojärvi

Abstract: In order to study the analytic properties of the Goldbach generating function we consider a smooth version, similar to the Chebyshev function for the Prime Number Theorem. In this paper, we obtain explicit numerical estimates for the average order of its summatory function both in the classical case and in arithmetic progressions. In addition, we derive new explicit estimates for sums over zeros a… ▽ More In order to study the analytic properties of the Goldbach generating function we consider a smooth version, similar to the Chebyshev function for the Prime Number Theorem. In this paper, we obtain explicit numerical estimates for the average order of its summatory function both in the classical case and in arithmetic progressions. In addition, we derive new explicit estimates for sums over zeros and for the function $ψ(u,χ)$. Our results are general and describe how the explicit bounds depend on other known explicit estimates. These support the known asymptotic results under the (Generalised) Riemann Hypothesis involving error terms. △ Less

Submitted 16 April, 2025; v1 submitted 31 October, 2024; originally announced November 2024.

MSC Class: 11P32; 11M26; 11M41

Explicit estimates for the sum $\sum_{k=0}^{n} k! {n\choose k}^2 (-1)^{k}$

Authors: Anne-Maria Ernvall-Hytönen, Tapani Matala-aho

Abstract: We are interested in finding an explicit estimate to the binomial sum $Q_n(x)=\sum_{k=0}^{n} k! {n\choose k}^2 (-x)^{k}$ at $x=1$ for $n=0,1,2,\ldots$. Despite of its own interest the polynomial $Q_n(x)$ is important as the denominator in the Padé identity of the Euler's factorial series $E(x) = \sum_{k=0}^{\infty} k! x^k$ as well as its close connection to a classical Laguerre polynomial… ▽ More We are interested in finding an explicit estimate to the binomial sum $Q_n(x)=\sum_{k=0}^{n} k! {n\choose k}^2 (-x)^{k}$ at $x=1$ for $n=0,1,2,\ldots$. Despite of its own interest the polynomial $Q_n(x)$ is important as the denominator in the Padé identity of the Euler's factorial series $E(x) = \sum_{k=0}^{\infty} k! x^k$ as well as its close connection to a classical Laguerre polynomial $L_n(x) = \frac{1}{n!} e^x \left(\frac{d}{dx}\right)^n (e^{-x}x^n)$. Our main result is the explicit bound $$\left|L_n(1)-\sqrt{\frac{e}π}\cdot \frac{\cos (2\sqrt{n}-\fracπ{4})}{n^{1/4}} +\frac{17}{48}\sqrt{\frac{e}π}\frac{\sin(2\sqrt{n}-\fracπ{4})}{n^{3/4}}\right|<\frac{0.51}{n}$$ for all $n=0,1,2,\ldots$, which replaces the Fejér's asymptotic formula from 1909. As a corollary of this, one also gets a new proof for the bound $|Q_{n}(1)| \le n!$, and even more. △ Less

Submitted 19 August, 2024; v1 submitted 16 October, 2023; originally announced October 2023.

Transcendence measure of $e^{1/n}$

Authors: Marta Dujella, Anne-Maria Ernvall-Hytönen, Linda Frey, Bidisha Roy

Abstract: For a given transcendental number $ξ$ and for any polynomial $P(X)=: λ_0+\cdots+λ_k X^k \in \mathbb{Z}[X]$, we know that $ P(ξ) \neq 0.$ Let $k \geq 1$ and $ω(k, H)$ be the infimum of the numbers $r > 0$ satisfying the estimate $$ \left|λ_0+λ_1 ξ+λ_2 ξ^{2}+ \ldots +λ_kξ^{k}\right| > \frac{1}{H^r}, $$ for all $(λ_0, \ldots ,λ_k)^T \in \mathbb{Z}^{k+1}\setminus\{\overline{0}\}$ with… ▽ More For a given transcendental number $ξ$ and for any polynomial $P(X)=: λ_0+\cdots+λ_k X^k \in \mathbb{Z}[X]$, we know that $ P(ξ) \neq 0.$ Let $k \geq 1$ and $ω(k, H)$ be the infimum of the numbers $r > 0$ satisfying the estimate $$ \left|λ_0+λ_1 ξ+λ_2 ξ^{2}+ \ldots +λ_kξ^{k}\right| > \frac{1}{H^r}, $$ for all $(λ_0, \ldots ,λ_k)^T \in \mathbb{Z}^{k+1}\setminus\{\overline{0}\}$ with $\max_{1\le i\le k} \{|λ_i|\} \le H$. Any function greater than or equal to $ω(k, H)$ is a {\it transcendence measure of $ξ$}. In this article, we find out a transcendence measure of $ e^{1/n}$ which improves a result proved by Mahler(\cite{Mahler}) in 1975. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: This collaboration has come up due to the wonderful programme: Women in Numbers Europe 4

Euler's factorial series, Hardy integral, and continued fractions

Authors: Anne-Maria Ernvall-Hytönen, Tapani Matala-Aho, Louna Seppälä

Abstract: We study $p$-adic Euler's series $E_p(t) = \sum_{k=0}^{\infty}k!t^k$ at a point $p^a$, $a \in \mathbb{Z}_{\ge 1}$, and use Padé approximations to prove a lower bound for the $p$-adic absolute value of the expression $cE_p\left(\pm p^a\right)-d$, where $c, d \in \mathbb{Z}$. It is interesting that the same Padé polynomials which $p$-adically converge to $E_p(t)$, approach the Hardy integral… ▽ More We study $p$-adic Euler's series $E_p(t) = \sum_{k=0}^{\infty}k!t^k$ at a point $p^a$, $a \in \mathbb{Z}_{\ge 1}$, and use Padé approximations to prove a lower bound for the $p$-adic absolute value of the expression $cE_p\left(\pm p^a\right)-d$, where $c, d \in \mathbb{Z}$. It is interesting that the same Padé polynomials which $p$-adically converge to $E_p(t)$, approach the Hardy integral $\mathcal{H}(t) = \int_{0}^{\infty} \frac{e^{-s}}{1-ts}ds$ on the Archimedean side. This connection is used with a trick of analytic continuation when deducing an Archimedean bound for the numerator Padé polynomial needed in the derivation of the lower bound for $|cE_p\left(\pm p^a\right)-d|_p$. Furthermore, we present an interconnection between $E(t)$ and $\mathcal{H}(t)$ via continued fractions. △ Less

Submitted 13 June, 2022; v1 submitted 26 November, 2021; originally announced November 2021.

MSC Class: 11J61; 11J70

Explicit bound for the number of primes in arithmetic progressions assuming the Generalized Riemann Hypothesis

Authors: Anne-Maria Ernvall-Hytönen, Neea Palojärvi

Abstract: We prove an explicit error term for the $ψ(x,χ)$ function assuming the Generalized Riemann Hypothesis. Using this estimate, we prove a conditional explicit bound for the number of primes in arithmetic progressions. We prove an explicit error term for the $ψ(x,χ)$ function assuming the Generalized Riemann Hypothesis. Using this estimate, we prove a conditional explicit bound for the number of primes in arithmetic progressions. △ Less

Submitted 7 February, 2022; v1 submitted 4 March, 2020; originally announced March 2020.

On Fourth and Higher Moments of Short Exponential Sums Related to Cusp Forms

Authors: Anne-Maria Ernvall-Hytönen, Esa V. Vesalainen

Abstract: We obtain upper bounds for the fourth and higher moments of short exponential sums involving Fourier coefficients of holomorphic cusp forms twisted by rational additive twists with small denominators. We obtain upper bounds for the fourth and higher moments of short exponential sums involving Fourier coefficients of holomorphic cusp forms twisted by rational additive twists with small denominators. △ Less

Submitted 20 September, 2019; originally announced September 2019.

Euler's divergent series in arithmetic progressions

Authors: Anne-Maria Ernvall-Hytönen, Tapani Matala-aho, Louna Seppälä

Abstract: Let $ξ$ and $m$ be integers satisfying $ξ\ne 0$ and $m\ge 3$. We show that for any given integers $a$ and $b$, $b \neq 0$, there are $\frac{\varphi(m)}{2}$ reduced residue classes modulo $m$ each containing infinitely many primes $p$ such that $a-bF_p(ξ) \ne 0$, where $F_p(ξ)=\sum_{n=0}^\infty n!ξ^n$ is the $p$-adic evaluation of Euler's factorial series at the point $ξ$. Let $ξ$ and $m$ be integers satisfying $ξ\ne 0$ and $m\ge 3$. We show that for any given integers $a$ and $b$, $b \neq 0$, there are $\frac{\varphi(m)}{2}$ reduced residue classes modulo $m$ each containing infinitely many primes $p$ such that $a-bF_p(ξ) \ne 0$, where $F_p(ξ)=\sum_{n=0}^\infty n!ξ^n$ is the $p$-adic evaluation of Euler's factorial series at the point $ξ$. △ Less

Submitted 11 September, 2018; originally announced September 2018.

MSC Class: 11J61

On a conjecture of Faulhuber and Steinerberger on the logarithmic derivative of $\vartheta_4$

Authors: Anne-Maria Ernvall-Hytönen, Esa V. Vesalainen

Abstract: Faulhuber and Steinerberger conjectured that the logarithmic derivative of $\vartheta_4$ has the property that $y^2\,\vartheta_4'(y)/\vartheta_4(y)$ is strictly decreasing and strictly convex. In this small note, we prove this conjecture. Faulhuber and Steinerberger conjectured that the logarithmic derivative of $\vartheta_4$ has the property that $y^2\,\vartheta_4'(y)/\vartheta_4(y)$ is strictly decreasing and strictly convex. In this small note, we prove this conjecture. △ Less

Submitted 11 November, 2017; v1 submitted 15 September, 2017; originally announced September 2017.

On the secrecy gain of $\ell$-modular lattices

Authors: Esa V. Vesalainen, Anne-Maria Ernvall-Hytönen

Abstract: We show that for every $\ell>1$, there is a counterexample to the $\ell$-modular secrecy function conjecture by Oggier, Solé and Belfiore. These counterexamples all satisfy the modified conjecture by Ernvall-Hytönen and Sethuraman. Furthermore, we provide a method to prove or disprove the modified conjecture for any given $\ell$-modular lattice rationally equivalent to a suitable amount of copies… ▽ More We show that for every $\ell>1$, there is a counterexample to the $\ell$-modular secrecy function conjecture by Oggier, Solé and Belfiore. These counterexamples all satisfy the modified conjecture by Ernvall-Hytönen and Sethuraman. Furthermore, we provide a method to prove or disprove the modified conjecture for any given $\ell$-modular lattice rationally equivalent to a suitable amount of copies of $\mathbb{Z}\oplus \sqrt{\ell}\,\mathbb{Z}$ with $\ell \in \{3,5,7,11,23\}$. We also provide a variant of the method for strongly $\ell$-modular lattices when $\ell\in \{6,14,15\}$. △ Less

Submitted 11 September, 2017; v1 submitted 30 August, 2017; originally announced August 2017.

On Mahler's transcendence measure for $e$

Authors: Anne-Maria Ernvall-Hytönen, Tapani Matala-aho, Louna Seppälä

Abstract: We present a completely explicit transcendence measure for $e$. This is a continuation and an improvement to the works of Borel, Mahler and Hata on the topic. Furthermore, we also prove a transcendence measure for an arbitrary positive integer power of $e$. The results are based on Hermite-Padé approximations and on careful analysis of common factors in the footsteps of Hata. We present a completely explicit transcendence measure for $e$. This is a continuation and an improvement to the works of Borel, Mahler and Hata on the topic. Furthermore, we also prove a transcendence measure for an arbitrary positive integer power of $e$. The results are based on Hermite-Padé approximations and on careful analysis of common factors in the footsteps of Hata. △ Less

Submitted 2 May, 2018; v1 submitted 5 April, 2017; originally announced April 2017.

Comments: 1 figure

MSC Class: 11J82; 11J72; 41A21

Probability Estimates for Fading and Wiretap Channels from Ideal Class Zeta Functions

Authors: David Karpuk, Anne-Maria Ernvall-Hytönen, Camilla Hollanti, Emanuele Viterbo

Abstract: In this paper, new probability estimates are derived for ideal lattice codes from totally real number fields using ideal class Dedekind zeta functions. In contrast to previous work on the subject, it is not assumed that the ideal in question is principal. In particular, it is shown that the corresponding inverse norm sum depends not only on the regulator and discriminant of the number field, but a… ▽ More In this paper, new probability estimates are derived for ideal lattice codes from totally real number fields using ideal class Dedekind zeta functions. In contrast to previous work on the subject, it is not assumed that the ideal in question is principal. In particular, it is shown that the corresponding inverse norm sum depends not only on the regulator and discriminant of the number field, but also on the values of the ideal class Dedekind zeta functions. Along the way, we derive an estimate of the number of elements in a given ideal with a certain algebraic norm within a finite hypercube. We provide several examples which measure the accuracy and predictive ability of our theorems. △ Less

Submitted 22 December, 2014; originally announced December 2014.

Comments: 24 pages. Extends our earlier arxiv submission arxiv.1303.3475

On generalized Li criterion for a certain class of $L-$functions

Authors: Anne-Maria Ernvall-Hytönen, Almasa Odžak, Lejla Smajlović, Medina Sušić

Abstract: We define generalized Li coefficients, called $τ-$Li coefficients for a very broad class $\mathcal{S}^{\sharp \flat }(σ_0, σ_1)$ of $L-$functions that contains the Selberg class, the class of all automorphic $L-$functions and the Rankin-Selberg $L-$functions, as well as products of suitable shifts of those functions. We prove the generalized Li criterion for zero-free regions of functions belongin… ▽ More We define generalized Li coefficients, called $τ-$Li coefficients for a very broad class $\mathcal{S}^{\sharp \flat }(σ_0, σ_1)$ of $L-$functions that contains the Selberg class, the class of all automorphic $L-$functions and the Rankin-Selberg $L-$functions, as well as products of suitable shifts of those functions. We prove the generalized Li criterion for zero-free regions of functions belonging to the class $\mathcal{S}^{\sharp \flat }(σ_0, σ_1)$, derive an arithmetic formula for the computation of $τ-$Li coefficients and conduct numerical investigation of $τ-$Li coefficients for a certain product of shifts of the Riemann zeta function. △ Less

Submitted 16 October, 2014; originally announced October 2014.

Comments: 28 pages, 6 figures

MSC Class: 11M26; 11M36; 11M41

On an approximate functional equation involving the divisor function

Authors: Anne-Maria Ernvall-Hytönen

Abstract: The error term in the approximate functional equation for exponential sums involving the divisor function will be improved under certain conditions for the parameters of the approximate functional equation. The error term in the approximate functional equation for exponential sums involving the divisor function will be improved under certain conditions for the parameters of the approximate functional equation. △ Less

Submitted 22 September, 2014; originally announced September 2014.

Counterexample to the $l$-modular Belfiore-Solé Conjecture

Authors: Anne-Maria Ernvall-Hytönen, B. A. Sethuraman

Abstract: We show that the secrecy function conjecture that states that the maximum of the secrecy function of an $l$-modular lattice occurs at $1/\sqrt{l}$ is false, by proving that the 4-modular lattice $C^(4) = \mathbb{Z} \oplus \sqrt{2}\mathbb{Z} \oplus 2\mathbb{Z}$ fails to satisfy this conjecture. We also indicate how the secrecy function must be modified in the $l$-modular case to have a more reasona… ▽ More We show that the secrecy function conjecture that states that the maximum of the secrecy function of an $l$-modular lattice occurs at $1/\sqrt{l}$ is false, by proving that the 4-modular lattice $C^(4) = \mathbb{Z} \oplus \sqrt{2}\mathbb{Z} \oplus 2\mathbb{Z}$ fails to satisfy this conjecture. We also indicate how the secrecy function must be modified in the $l$-modular case to have a more reasonable chance for it to have a maximum at $1/\sqrt{l}$, and show that the conjecture, modified with this new secrecy function, is true for various odd 2-modular lattices. △ Less

Submitted 23 November, 2014; v1 submitted 10 September, 2014; originally announced September 2014.

Resonances and $Ω$-results for Exponential Sums Related to Maass Forms for $\mathrm{SL}(n,\mathbb Z)$

Authors: Anne-Maria Ernvall-Hytönen, Jesse Jääsaari, Esa V. Vesalainen

Abstract: We obtain resonances for short exponential sums involving Fourier coefficients of Maass forms for $\mathrm{SL}(n,\mathbb Z)$. This involves deriving asymptotics for the integrals appearing in the $\mathrm{GL}(n)$ Voronoi summation formula. As an application, we also prove an $Ω$-result for short sums of Fourier coefficients. We obtain resonances for short exponential sums involving Fourier coefficients of Maass forms for $\mathrm{SL}(n,\mathbb Z)$. This involves deriving asymptotics for the integrals appearing in the $\mathrm{GL}(n)$ Voronoi summation formula. As an application, we also prove an $Ω$-result for short sums of Fourier coefficients. △ Less

Submitted 6 August, 2014; v1 submitted 28 May, 2014; originally announced May 2014.

Mean square estimate for relatively short exponential sums involving Fourier coefficients of cusp forms

Authors: Anne-Maria Ernvall-Hytönen

Abstract: We estimate the mean square of a short exponential sum involving Fourier coefficients of a cusp form with a linear twist, a smooth weight function, and a relatively short averaging interval. We estimate the mean square of a short exponential sum involving Fourier coefficients of a cusp form with a linear twist, a smooth weight function, and a relatively short averaging interval. △ Less

Submitted 13 July, 2014; v1 submitted 14 November, 2013; originally announced November 2013.

Comments: One lemma was wrong, so that is replaced by a different approach, and thereby, also the result is improved

An explicit Baker type lower bound of exponential values

Authors: Anne-Maria Ernvall-Hytönen, Kalle Leppälä, Tapani Matala-aho

Abstract: Let $\mathbb{I}$ denote an imaginary quadratic field or the field $\mathbb{Q}$ of rational numbers and $\mathbb{Z}_{\mathbb{I}}$ its ring of intergers. We shall prove an explicit Baker type lower bound for $\mathbb{Z}_{\mathbb{I}}$-linear form of the numbers \begin{equation}\label{1} 1,\ e^{α_1},...,\ e^{α_m},\quad m\ge 2, \end{equation} where $α_0=0$, $α_1,...,α_m$, are $m+1$ different numbers fr… ▽ More Let $\mathbb{I}$ denote an imaginary quadratic field or the field $\mathbb{Q}$ of rational numbers and $\mathbb{Z}_{\mathbb{I}}$ its ring of intergers. We shall prove an explicit Baker type lower bound for $\mathbb{Z}_{\mathbb{I}}$-linear form of the numbers \begin{equation}\label{1} 1,\ e^{α_1},...,\ e^{α_m},\quad m\ge 2, \end{equation} where $α_0=0$, $α_1,...,α_m$, are $m+1$ different numbers from the field $\mathbb{I}$. Our work gives gives some improvements to the existing explicit versions of of Baker's work about exponential values at rational points. In particilar, dependences on $m$ are improved. △ Less

Submitted 24 September, 2013; originally announced September 2013.

MSC Class: 11J82; 11J72

Some results related to the conjecture by Belfiore and Solé

Authors: Anne-Maria Ernvall-Hytönen

Abstract: In the first part of the paper, we consider the relation between kissing number and the secrecy gain. We show that on an $n=24m+8k$-dimensional even unimodular lattice, if the shortest vector length is $\geq 2m$, then as the number of vectors of length $2m$ decreases, the secrecy gain increases. We will also prove a similar result on general unimodular lattices. We will also consider the situation… ▽ More In the first part of the paper, we consider the relation between kissing number and the secrecy gain. We show that on an $n=24m+8k$-dimensional even unimodular lattice, if the shortest vector length is $\geq 2m$, then as the number of vectors of length $2m$ decreases, the secrecy gain increases. We will also prove a similar result on general unimodular lattices. We will also consider the situations with shorter vectors. Furthermore, assuming the conjecture by Belfiore and Solé, we will calculate the difference between inverses of secrecy gains as the number of vectors varies. We will show by an example that there exist two lattices in the same dimension with the same shortest vector length and the same kissing number, but different secrecy gains. Finally, we consider some cases of a question by Elkies by providing an answer for a special class of lattices assuming the conjecture of Belfiore and Solé. We will also get a conditional improvement on some Gaulter's results concerning the conjecture. △ Less

Submitted 29 March, 2013; originally announced March 2013.

Comments: This paper contains the note https://arxiv.boxedpaper.com/abs/1209.3573. However, there are several new results, including the results concerning a conjecture by Elkies

On a conjecture by Belfiore and Solé on some lattices

Authors: Anne-Maria Ernvall-Hytönen

Abstract: The point of this note is to prove that the secrecy function attains its maximum at y=1 on all known extremal even unimodular lattices. This is a special case of a conjecture by Belfiore and Solé. Further, we will give a very simple method to verify or disprove the conjecture on any given unimodular lattice. The point of this note is to prove that the secrecy function attains its maximum at y=1 on all known extremal even unimodular lattices. This is a special case of a conjecture by Belfiore and Solé. Further, we will give a very simple method to verify or disprove the conjecture on any given unimodular lattice. △ Less

Submitted 21 April, 2011; v1 submitted 19 April, 2011; originally announced April 2011.

Comments: Abstract corrected, the case of a 16-dimensional lattice added, and several typos corrected

An improvement on the upper bound of exponential sums connected to holomorphic cusp forms

Authors: Anne-Maria Ernvall-Hytönen

Abstract: We improve the known upper bound for short exponential sums and increase the range on which a sharp upper bound is known. We improve the known upper bound for short exponential sums and increase the range on which a sharp upper bound is known. △ Less

Submitted 12 January, 2012; v1 submitted 20 May, 2010; originally announced May 2010.

Comments: This article is withdrawn due to a crucial error in the reasonings

MSC Class: 11L07; 11F30; 11F66

On the mean square of short exponential sums related to cusp forms

Authors: Anne-Maria Ernvall-Hytönen

Abstract: The purpose of the article is to estimate the mean square of a squareroot length exponential sum of Fourier coefficients of a holomorphic cusp form. The purpose of the article is to estimate the mean square of a squareroot length exponential sum of Fourier coefficients of a holomorphic cusp form. △ Less

Submitted 8 June, 2010; v1 submitted 20 May, 2010; originally announced May 2010.

Comments: fixed an error at the end of the paper, and corrected some typos

MSC Class: 11L07; 11F11; 11F30