Showing 1–20 of 20 results for author: Molteni, G

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 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 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 23 January, 2024; originally announced January 2024.

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

Generalized Pohst inequality and small regulators

Authors: Francesco Battistoni, Giuseppe Molteni

Abstract: Current methods for the classification of number fields with small regulator depend mainly on an upper bound for the discriminant, which can be improved by looking for the best possible upper bound of a specific polynomial function over an hypercube. In this paper, we provide new and effective upper bounds for the case of fields with one complex embedding and degree between five and nine: this is… ▽ More Current methods for the classification of number fields with small regulator depend mainly on an upper bound for the discriminant, which can be improved by looking for the best possible upper bound of a specific polynomial function over an hypercube. In this paper, we provide new and effective upper bounds for the case of fields with one complex embedding and degree between five and nine: this is done by adapting the strategy we have adopted to study the totally real case, but for this new setting several new computational issues had to be overcome. As a consequence, we detect the four number fields of signature (6,1) with smallest regulator; we also expand current lists of number fields with small regulator in signatures (3,1), (4,1) and (5,1). △ Less

Submitted 5 April, 2024; v1 submitted 30 November, 2022; originally announced November 2022.

Comments: 23 pages. Accepted for publication on Mathematics of Computation. The title has been changed under referee's suggestion. Several misprints have been corrected

MSC Class: 11Y40; 11R29; 11R27

Deterministic Bridge Regression for Compressive Classification

Authors: Kar-Ann Toh, Giuseppe Molteni, Zhi** Lin

Abstract: Pattern classification with compact representation is an important component in machine intelligence. In this work, an analytic bridge solution is proposed for compressive classification. The proposal has been based upon solving a penalized error formulation utilizing an approximated $\ell_p$-norm. The solution comes in a primal form for over-determined systems and in a dual form for under-determi… ▽ More Pattern classification with compact representation is an important component in machine intelligence. In this work, an analytic bridge solution is proposed for compressive classification. The proposal has been based upon solving a penalized error formulation utilizing an approximated $\ell_p$-norm. The solution comes in a primal form for over-determined systems and in a dual form for under-determined systems. While the primal form is suitable for problems of low dimension with large data samples, the dual form is suitable for problems of high dimension but with a small number of data samples. The solution has also been extended for problems with multiple classification outputs. Numerical studies based on simulated and real-world data validated the effectiveness of the proposed solution. △ Less

Submitted 17 March, 2022; originally announced March 2022.

An elementary proof for a generalization of a Pohst's inequality

Authors: Francesco Battistoni, Giuseppe Molteni

Abstract: Let $P_n(y_1,\ldots,y_n):= \prod_{1\leq i<j\leq n}\left( 1 -\frac{y_i}{y_j}\right) $ and $P_n:= \sup_{(y_1,\ldots,y_n)}P_n(y_1,\ldots,y_n) $ where the supremum is taken over the $n$-ples $(y_1,\ldots,y_n)$ of real numbers satisfying $0 <|y_1| < |y_2|< \cdots < |y_n|$. We prove that $P_n \leq 2^{\lfloor n/2\rfloor}$ for every $n$, i.e., we extend to all $n$ the bound that Pohst proved for… ▽ More Let $P_n(y_1,\ldots,y_n):= \prod_{1\leq i<j\leq n}\left( 1 -\frac{y_i}{y_j}\right) $ and $P_n:= \sup_{(y_1,\ldots,y_n)}P_n(y_1,\ldots,y_n) $ where the supremum is taken over the $n$-ples $(y_1,\ldots,y_n)$ of real numbers satisfying $0 <|y_1| < |y_2|< \cdots < |y_n|$. We prove that $P_n \leq 2^{\lfloor n/2\rfloor}$ for every $n$, i.e., we extend to all $n$ the bound that Pohst proved for $n\leq 11$. As a consequence, the bound for the absolute discriminant of a totally real field in terms of its regulator is now proved for every degree of the field. △ Less

Submitted 2 June, 2021; v1 submitted 15 January, 2021; originally announced January 2021.

Comments: 10 pages

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

Small values of signed harmonic sums

Authors: Sandro Bettin, Giuseppe Molteni, Carlo Sanna

Abstract: For every $τ\in\mathbb{R}$ and every integer $N$, let $\mathfrak{m}_N(τ)$ be the minimum of the distance of $τ$ from the sums $\sum_{n=1}^N s_n/n$, where $s_1, \ldots, s_n \in \{-1, +1\}$. We prove that $\mathfrak{m}_N(τ) < \exp\!\big(-C(\log N)^2\big)$, for all sufficiently large positive integers $N$ (depending on $C$ and $τ$), where $C$ is any positive constant less than $1/\log 4$. For every $τ\in\mathbb{R}$ and every integer $N$, let $\mathfrak{m}_N(τ)$ be the minimum of the distance of $τ$ from the sums $\sum_{n=1}^N s_n/n$, where $s_1, \ldots, s_n \in \{-1, +1\}$. We prove that $\mathfrak{m}_N(τ) < \exp\!\big(-C(\log N)^2\big)$, for all sufficiently large positive integers $N$ (depending on $C$ and $τ$), where $C$ is any positive constant less than $1/\log 4$. △ Less

Submitted 12 November, 2018; v1 submitted 14 June, 2018; originally announced June 2018.

Comments: minor corrections to the text, a small improvement to Proposition 2.7

MSC Class: 11D75; 11B99

Journal ref: C. R. Acad. Sci. Paris, Ser. I., 2018. Volume 356, Issues 11-12, 1062-1074

Greedy approximations by signed harmonic sums and the Thue--Morse sequence

Authors: Sandro Bettin, Giuseppe Molteni, Carlo Sanna

Abstract: Given a real number $τ$, we study the approximation of $τ$ by signed harmonic sums $σ_N(τ) := \sum_{n \leq N}{s_n(τ)}/n$, where the sequence of signs $(s_N(τ))_{N \in\mathbb{N}}$ is defined "greedily" by setting $s_{N+1}(τ) := +1$ if $σ_N(τ) \leq τ$, and $s_{N+1}(τ) := -1$ otherwise. Precisely, we compute the limit points and the decay rate of the sequence $(σ_N(τ)-τ)_{N \in \mathbb{N}}$. Moreover… ▽ More Given a real number $τ$, we study the approximation of $τ$ by signed harmonic sums $σ_N(τ) := \sum_{n \leq N}{s_n(τ)}/n$, where the sequence of signs $(s_N(τ))_{N \in\mathbb{N}}$ is defined "greedily" by setting $s_{N+1}(τ) := +1$ if $σ_N(τ) \leq τ$, and $s_{N+1}(τ) := -1$ otherwise. Precisely, we compute the limit points and the decay rate of the sequence $(σ_N(τ)-τ)_{N \in \mathbb{N}}$. Moreover, we give an accurate description of the behavior of the sequence of signs $(s_N(τ))_{N\in\mathbb{N}}$, highlighting a surprising connection with the Thue--Morse sequence. △ Less

Submitted 22 February, 2020; v1 submitted 30 April, 2018; originally announced May 2018.

Comments: 30 pages, 5 figures

MSC Class: 11J25 (Primary); 11B99 (Secondary)

Journal ref: Advances in Mathematics, Volume 366, 3 June 2020, 107068

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

A conjectural extension of Hecke's converse theorem

Authors: Sandro Bettin, Jonathan W. Bober, Andrew R. Booker, Brian Conrey, Min Lee, Giuseppe Molteni, Thomas Oliver, David J. Platt, Raphael S. Steiner

Abstract: We formulate a precise conjecture that, if true, extends the converse theorem of Hecke without requiring hypotheses on twists by Dirichlet characters or an Euler product. The main idea is to linearize the Euler product, replacing it by twists by Ramanujan sums. We provide evidence for the conjecture, including proofs of some special cases and under various additional hypotheses. We formulate a precise conjecture that, if true, extends the converse theorem of Hecke without requiring hypotheses on twists by Dirichlet characters or an Euler product. The main idea is to linearize the Euler product, replacing it by twists by Ramanujan sums. We provide evidence for the conjecture, including proofs of some special cases and under various additional hypotheses. △ Less

Submitted 27 September, 2017; v1 submitted 9 April, 2017; originally announced April 2017.

Comments: 21 pages, to appear in The Ramanujan Journal

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