Showing 1–15 of 15 results for author: Grenié, L

The first and second moment for the length of the period of the continued fraction expansion for $\sqrt{d}$

Authors: Francesco Battistoni, Loïc Grenié, Giuseppe Molteni

Abstract: Let $d$ be any positive and non square integer. We prove an upper bound for the first two moments of the length $T(d)$ of the period of the continued fraction expansion for $\sqrt{d}$. This allows to improve the existing results for the large deviations of $T(d)$. Let $d$ be any positive and non square integer. We prove an upper bound for the first two moments of the length $T(d)$ of the period of the continued fraction expansion for $\sqrt{d}$. This allows to improve the existing results for the large deviations of $T(d)$. △ Less

Submitted 26 July, 2024; v1 submitted 23 January, 2024; originally announced January 2024.

Comments: Some misprints have been corrected. The new version of the paper is scheduled to appear in Mathematika

MSC Class: 11A55; 11R11; 11Y65

Breaking the 4 barrier for the bound of a generating set of the class group

Authors: Loïc Grenié, Giuseppe Molteni

Abstract: Under the assumption of the validity of the Generalized Riemann Hypothesis, we prove that the class group of every field of degree $n$ and discriminant with absolute value $Δ$ can be generated using prime ideals with norm $\leq (4-1/(2n))\log^2Δ$, except for a finite number of fields of degree $n\leq 8$. For those fields, the conclusion holds with the slightly larger limit $(4-1/(3n))\log^2Δ$. Under the assumption of the validity of the Generalized Riemann Hypothesis, we prove that the class group of every field of degree $n$ and discriminant with absolute value $Δ$ can be generated using prime ideals with norm $\leq (4-1/(2n))\log^2Δ$, except for a finite number of fields of degree $n\leq 8$. For those fields, the conclusion holds with the slightly larger limit $(4-1/(3n))\log^2Δ$. △ Less

Submitted 19 December, 2022; originally announced December 2022.

Comments: 11 pages, 1 table

MSC Class: 11R04; 11R29; 11Y40

Counting Egyptian fractions

Authors: Sandro Bettin, Loïc Grenié, Giuseppe Molteni, Carlo Sanna

Abstract: For any integer $N \geq 1$, let $\mathfrak{E}_N$ be the set of all Egyptian fractions employing denominators less than or equal to $N$. We give upper and lower bounds for the cardinality of $\mathfrak{E}_N$, proving that $$ \frac{N}{\log N} \prod_{j = 3}^{k} \log_j N<\log(\#\mathfrak{E}_N) < 0.421\, N, $$ for any fixed integer $k\geq 3$ and every sufficiently large $N$, where $\log_j x$ denotes th… ▽ More For any integer $N \geq 1$, let $\mathfrak{E}_N$ be the set of all Egyptian fractions employing denominators less than or equal to $N$. We give upper and lower bounds for the cardinality of $\mathfrak{E}_N$, proving that $$ \frac{N}{\log N} \prod_{j = 3}^{k} \log_j N<\log(\#\mathfrak{E}_N) < 0.421\, N, $$ for any fixed integer $k\geq 3$ and every sufficiently large $N$, where $\log_j x$ denotes the $j$-th iterated logarithm of $x$. △ Less

Submitted 17 July, 2019; v1 submitted 27 June, 2019; originally announced June 2019.

Comments: 1 figure

MSC Class: 11D68 (Primary) 11B99 (Secondary)

Conditional upper bound for the k-th prime ideal with given Artin symbol

Authors: Loïc Grenié, Giuseppe Molteni

Abstract: We prove an explicit upper bound for the k-th prime ideal with fixed Artin symbol, under the assumption of the validity of the Riemann hypothesis for the Dedekind zeta functions. We prove an explicit upper bound for the k-th prime ideal with fixed Artin symbol, under the assumption of the validity of the Riemann hypothesis for the Dedekind zeta functions. △ Less

Submitted 16 January, 2020; v1 submitted 4 June, 2019; originally announced June 2019.

Comments: We have improved the introduction and made clearer some computations. arXiv admin note: text overlap with arXiv:1709.07609

An effective Chebotarev density theorem under GRH

Authors: L. Grenié, G. Molteni

Abstract: We prove an effective version of the Chebotarev theorem for the density of prime ideals with fixed Artin symbol, under the assumption of the validity of the Riemann hypothesis for the Dedekind zeta functions. We prove an effective version of the Chebotarev theorem for the density of prime ideals with fixed Artin symbol, under the assumption of the validity of the Riemann hypothesis for the Dedekind zeta functions. △ Less

Submitted 28 May, 2019; v1 submitted 22 September, 2017; originally announced September 2017.

Comments: After the publication of this paper we have discovered a misprint in Eq.(3.4). The misprint does not affect the validity of the theorems and corollaries proved in the paper, but the values of some constants appearing in several equations need to be changed. This version of the paper corrects all of them

MSC Class: 11R42; 11Y70

Explicit bounds for generators of the class group

Authors: Loïc Grenié, Giuseppe Molteni

Abstract: Assuming Generalized Riemann's Hypothesis, Bach proved that the class group $\mathcal C\!\ell_{\mathbf K}$ of a number field ${\mathbf K}$ may be generated using prime ideals whose norm is bounded by $12\log^2Δ_{\mathbf K}$, and by $(4+o(1))\log^2Δ_{\mathbf K}$ asymptotically, where $Δ_{\mathbf K}$ is the absolute value of the discriminant of ${\mathbf K}$. Under the same assumption, Belabas, Diaz… ▽ More Assuming Generalized Riemann's Hypothesis, Bach proved that the class group $\mathcal C\!\ell_{\mathbf K}$ of a number field ${\mathbf K}$ may be generated using prime ideals whose norm is bounded by $12\log^2Δ_{\mathbf K}$, and by $(4+o(1))\log^2Δ_{\mathbf K}$ asymptotically, where $Δ_{\mathbf K}$ is the absolute value of the discriminant of ${\mathbf K}$. Under the same assumption, Belabas, Diaz y Diaz and Friedman showed a way to determine a set of prime ideals that generates $\mathcal C\!\ell_{\mathbf K}$ and which performs better than Bach's bound in computations, but which is asymptotically worse. In this paper we show that $\mathcal C\!\ell_{\mathbf K}$ is generated by prime ideals whose norm is bounded by the minimum of $4.01\log^2Δ_{\mathbf K}$, $4\big(1+\big(2πe^γ)^{-n_{\mathbf K}}\big)^2\log^2Δ_{\mathbf K}$ and $4\big(\logΔ_{\mathbf K}+\log\logΔ_{\mathbf K}-(γ+\log 2π)n_{\mathbf K}+1+(n_{\mathbf K}+1)\frac{\log(7\logΔ_{\mathbf K})}{\logΔ_{\mathbf K}}\big)^2$. Moreover, we prove explicit upper bounds for the size of the set determined by Belabas, Diaz y Diaz and Friedman's algorithms, confirming that it has size $\asymp (\logΔ_{\mathbf K}\log\logΔ_{\mathbf K})^2$. In addition, we propose a different algorithm which produces a set of generators which satisfies the above mentioned bounds and in explicit computations turns out to be experimentally smaller than $\log^2Δ_{\mathbf K}$ except for 7 out of 31000 fields. △ Less

Submitted 12 April, 2017; v1 submitted 8 July, 2016; originally announced July 2016.

Comments: v5: corrected a couple of typos

MSC Class: 11R04; 11R29

Explicit Short Intervals for Primes in Arithmetic Progressions on GRH

Authors: Adrian W. Dudek, Loïc Grenié, Giuseppe Molteni

Abstract: We prove explicit versions of Cramér's theorem for primes in arithmetic progressions, on the assumption of the generalized Riemann hypothesis. We prove explicit versions of Cramér's theorem for primes in arithmetic progressions, on the assumption of the generalized Riemann hypothesis. △ Less

Submitted 14 January, 2019; v1 submitted 28 June, 2016; originally announced June 2016.

Comments: A misprint in a formula has been corrected; all constants appearing in the conclusions have improved considerably

MSC Class: Primary 11N13; Secondary 11N05

Journal ref: International Journal of Number Theory, 2019

Explicit versions of the prime ideal theorem for Dedekind zeta functions under GRH, II

Authors: Loïc Grenié, Giuseppe Molteni

Abstract: We have proved recently several explicit versions of the prime ideal theorem under GRH. Here we prove a version with optimal asymptotic behaviour. We have proved recently several explicit versions of the prime ideal theorem under GRH. Here we prove a version with optimal asymptotic behaviour. △ Less

Submitted 27 March, 2017; v1 submitted 10 February, 2016; originally announced February 2016.

Comments: Followed referee's advice including changing title

MSC Class: 11R42 (Primary); 11Y70 (Secondary)

Primes and prime ideals in short intervals

Authors: L. Grenié, G. Molteni, A. Perelli

Abstract: We prove the analog of Cramér's short intervals theorem for primes in arithmetic progressions and prime ideals, under the relevant Riemann Hypothesis. Both results are uniform in the data of the underlying structure. Our approach is based mainly on the inertia property of the counting functions of primes and prime ideals. We prove the analog of Cramér's short intervals theorem for primes in arithmetic progressions and prime ideals, under the relevant Riemann Hypothesis. Both results are uniform in the data of the underlying structure. Our approach is based mainly on the inertia property of the counting functions of primes and prime ideals. △ Less

Submitted 2 March, 2016; v1 submitted 9 February, 2016; originally announced February 2016.

Comments: minor change to Proposition 2

MSC Class: 11N13; 11R44

Journal ref: Mathematika 63 (2017) 364-371

An improvement to an algorithm of Belabas, Diaz y Diaz and Friedman

Authors: Loïc Grenié, Giuseppe Molteni

Abstract: In [BDyDF08] Belabas, Diaz y Diaz and Friedman show a way to determine, assuming the Generalized Riemann Hypothesis, a set of prime ideals that generate the class group of a number field. Their method is efficient because it produces a set of ideals that is smaller than earlier proved results. Here we show how to use their main result to algorithmically produce a bound that is lower than the one t… ▽ More In [BDyDF08] Belabas, Diaz y Diaz and Friedman show a way to determine, assuming the Generalized Riemann Hypothesis, a set of prime ideals that generate the class group of a number field. Their method is efficient because it produces a set of ideals that is smaller than earlier proved results. Here we show how to use their main result to algorithmically produce a bound that is lower than the one they prove. △ Less

Submitted 18 October, 2016; v1 submitted 2 July, 2015; originally announced July 2015.

Comments: minor improvements; this work has been merged in arXiv:1607.02430

MSC Class: 11R04 (Primary); 11R29 (Secondary)

Primes in explicit short intervals on RH

Authors: Adrian Dudek, Loïc Grenié, Giuseppe Molteni

Abstract: On the assumption of the Riemann hypothesis, we give explicit upper bounds on the difference between consecutive prime numbers. On the assumption of the Riemann hypothesis, we give explicit upper bounds on the difference between consecutive prime numbers. △ Less

Submitted 2 October, 2015; v1 submitted 24 February, 2015; originally announced March 2015.

Comments: Corrected Corollary 4.1. Minor changes to the bibliography. To appear in Int. J. Number Theory

Zeros of Dedekind zeta functions under GRH

Authors: Loïc Grenié, Giuseppe Molteni

Abstract: Assuming GRH, we prove an explicit upper bound for the number of zeros of a Dedekind zeta function having imaginary part in $[T-a,T+a]$. We also prove a bound for the multiplicity of the zeros. Assuming GRH, we prove an explicit upper bound for the number of zeros of a Dedekind zeta function having imaginary part in $[T-a,T+a]$. We also prove a bound for the multiplicity of the zeros. △ Less

Submitted 17 September, 2015; v1 submitted 5 July, 2014; originally announced July 2014.

Comments: Some misprints corrected, simplified proof for a lemma. This version will appear in Mathematics of Computation

Explicit smoothed prime ideals theorems under GRH

Authors: Loïc Grenié, Giuseppe Molteni

Abstract: Let $ψ_{\mathbb K}$ be the Chebyshev function of a number field $\mathbb K$. Let $ψ^{(1)}_{\mathbb K}(x):=\int_{0}^{x}ψ_{\mathbb K}(t)\,d t$ and $ψ^{(2)}_{\mathbb K}(x):=2\int_{0}^{x}ψ^{(1)}_{\mathbb K}(t)\,d t$. We prove under GRH explicit inequalities for the differences $|ψ^{(1)}_{\mathbb K}(x) - \tfrac{x^2}{2}|$ and $|ψ^{(2)}_{\mathbb K}(x) - \tfrac{x^3}{3}|$. We deduce an efficient algorithm… ▽ More Let $ψ_{\mathbb K}$ be the Chebyshev function of a number field $\mathbb K$. Let $ψ^{(1)}_{\mathbb K}(x):=\int_{0}^{x}ψ_{\mathbb K}(t)\,d t$ and $ψ^{(2)}_{\mathbb K}(x):=2\int_{0}^{x}ψ^{(1)}_{\mathbb K}(t)\,d t$. We prove under GRH explicit inequalities for the differences $|ψ^{(1)}_{\mathbb K}(x) - \tfrac{x^2}{2}|$ and $|ψ^{(2)}_{\mathbb K}(x) - \tfrac{x^3}{3}|$. We deduce an efficient algorithm for the computation of the residue of the Dedekind zeta function and a bound on small-norm prime ideals. △ Less

Submitted 17 September, 2015; v1 submitted 16 December, 2013; originally announced December 2013.

Comments: Some misprints corrected, stronger conclusion in Th. 1.1. This is the final version which will appear in Mathematics of Computation

Explicit versions of the prime ideal theorem for Dedekind zeta functions under GRH

Authors: Loïc Grenié, Giuseppe Molteni

Abstract: Let $ψ_\K$ be the Chebyshev function of a number field $\K$. Under GRH we prove an explicit upper bound for $|ψ_\K(x)-x|$ in terms of the degree and the discriminant of $\K$. The new bound improves significantly on previous known results. Let $ψ_\K$ be the Chebyshev function of a number field $\K$. Under GRH we prove an explicit upper bound for $|ψ_\K(x)-x|$ in terms of the degree and the discriminant of $\K$. The new bound improves significantly on previous known results. △ Less

Submitted 17 September, 2015; v1 submitted 16 December, 2013; originally announced December 2013.

Comments: Some misprints corrected. This is the final version which will appear in Mathematics of Computation

Comparison of semi-simplifications of Galois representations

Authors: Loic Grenie

Abstract: Let G be the absolute Galois group of a global field. Let r1 and r2 be two p-adic, finite dimensional representations of G. Then there exists a finite number of primes q such that if the characteristic polynomials of r1(Frob_q) and r2(Frob_q) are equal then r1 and r2 have isomorphic semi-semplifications and so the same L-functions. We give a method to compute a sufficient list of primes, based o… ▽ More Let G be the absolute Galois group of a global field. Let r1 and r2 be two p-adic, finite dimensional representations of G. Then there exists a finite number of primes q such that if the characteristic polynomials of r1(Frob_q) and r2(Frob_q) are equal then r1 and r2 have isomorphic semi-semplifications and so the same L-functions. We give a method to compute a sufficient list of primes, based on the ramification and the dimension of the representations. We apply then the result to an article of B. van Geemen and J. Top where they described two representations and conjectured that they had isomorphic semisemplification. △ Less

Submitted 6 March, 2007; v1 submitted 2 June, 2005; originally announced June 2005.

Comments: 12 pages The fifth version includes further corrections from the referee plus a correction of Proposition 14. The fourth version includes corrections suggested by the referee. It also eliminates the corrections made in second version. The third version corrects a stupid typo. The second version corrects an error in the first one: I had thought that the traces of the representations were enough but I was wrong, I need the characteristic polynomials of one generator per cyclic subgroup

MSC Class: 11F80 (Primary) 11R42 11Y40