Searcharxiv⌕ Search

arXiv subjects

Giacomo Cherubini

Publications and source records attributed to Giacomo Cherubini.

At least 19 recordsLinked to original sources

A New Class of Linear Codes

Let $n$ be a prime power, $r$ be a prime with $r\mid n-1$, and $\varepsilon\in (0,1/2)$. Using the theory of multiplicative character sums and superelliptic curves, we construct new codes over $\mathbb F_r$ having length $n$, relative distance $(r-1)/r+O(n^{-\varepsilon})$ and rate $n^{-1/2-\varepsilon}$. When $r=2$, our binary codes have exponential size when compared to all previously known families of linear and non-linear codes with relative distance asymptotic to $1/2$, such as Delsarte--Goethals codes. Moreover, concatenating with a Reed-Solomon code we get a family of codes of length $n$ and rate $n^{-1/(2n+2)-2\varepsilon/(n+1)}+O(n^{-1/(n+1)})$ and relative distance $1/2+O(n^{-\varepsilon})$. This shows that, for a fixed length, the rate of the concatenation suggested by Kschischang and Tasbihi (2024) of a Reed-Solomon and a Reed-Muller code can be made an order of magnitude smaller than a concatenation of a Reed-Solomon with a large dimensional Shadow code, while still keeping the regime of relative distance $1/2$. Finally, we show that the square of a Shadow code behaves like a random code and the Shadow code itself has a decoding algorithm, which suggest that such class of codes has the potential to be interesting for cryptographic applications.

cs.IT↗

Local average in the Hyperbolic sphere problem

We consider a local average in the hyperbolic lattice point counting problem for the Picard group $Γ$ acting on the three-dimensional hyperbolic space. Compared to the pointwise case, we improve the bounds on the remainder in the counting, conditionally on a quantum variance estimate for Maass cusp forms attached to $Γ$. We also use bounds on a spectral exponential sum over the Laplace eigenvalues for $Γ$, which has been studied in the context of the prime geodesic theorem and for which unconditional bounds are known.

math.NT↗

The hyperbolic circle problem over Heegner points

For the full modular group, we obtain a logarithmic improvement on Selberg's long-standing bound for the error term of the counting function in the hyperbolic circle problem over Heegner points of different discriminants. The main ingredients in our method are Waldspurger's formula, twisted first moments of certain Rankin-Selberg convolutions, and a new fractional moment estimate.

math.NT↗

On Eswarathasan--Levine and Boyd's conjectures for harmonic numbers

We provide numerical evidence towards three conjectures on harmonic numbers by Eswarathasan--Levine and Boyd. Let $J_p$ denote the set of integers $n\geq 1$ such that the harmonic number $H_n$ is divisible by a prime $p$. The conjectures state that: $(i)$ $J_p$ is always finite and of the order $O(p^2(\log\log p)^{2+ε})$; $(ii)$ the set of primes for which $J_p$ is minimal (called harmonic primes) has density $e^{-1}$ among all primes; $(iii)$ no harmonic number is divisible by $p^4$. We prove $(i)$ and $(iii)$ for all $p\leq 16843$ with at most one exception, and enumerate harmonic primes up to~$50\cdot 10^5$, finding a proportion close to the expected density. Our work extends previous computations by Boyd by a factor of about $30$ and $50$, respectively.

math.NT↗

Coprime-Universal Quadratic Forms

Given a prime $p>3$, we characterize positive-definite integral quadratic forms that are coprime-universal for $p$, i.e. representing all positive integers coprime to $p$. This generalizes the $290$-Theorem by Bhargava and Hanke and extends later works by Rouse ($p=2$) and De Benedetto and Rouse ($p=3$). When $p=5,23,29,31$, our results are conditional on the coprime-universality of specific ternary forms. We prove this assumption under GRH (for Dirichlet and modular $L$-functions), following a strategy introduced by Ono and Soundararajan, together with some more elementary techniques borrowed from Kaplansky and Bhargava. Finally, we discuss briefly the problem of representing all integers in an arithmetic progression.

math.NT↗

There are Salem numbers with trace $-3$ and every degree at least $34$

We prove that there exist Salem numbers with trace $-3$ and every even degree $\geq 34$. Our proof combines a theoretical approach, which allows us to treat all sufficiently large degrees, with a numerical search for small degrees. Since it is known that there are no Salem numbers of trace $-3$ and degree $\leq 30$, our result is optimal up to possibly the single value $32$, for which it is expected there are no such numbers.

math.NT↗

Parity of 4-regular and 8-regular partition functions

We give a complete characterization of the parity of $b_8(n)$, the number of $8$-regular partitions of $n$. Namely, we prove that $b_8(n)$ is odd or even depending on whether or not we have the factorisation $24n+7=p^{4a+1}m^2$, for some prime $p\nmid m$ and $a\ge 0$.

math.NT↗

Hyperbolic angles from Heegner points

We study lattice points on hyperbolic circles centred at Heegner points of class number one. Our main result is that, on a density one subset of radii tending to infinity, the angles of such points equidistribute on the unit circle. To prove this, we establish a connection between lattice points and algebraic integers in the associated field having norm of a special form and satisfying a congruence condition. As a by-product of this, we obtain an explicit formulation of the classical hyperbolic circle problem as a shifted convolution sum for the function that counts the number of algebraic integers with given norm. Along the way, we also prove a lower bound for shifted B-numbers, which is done by sieve methods.

math.NT↗

Potential energy of totally positive algebraic integers

Given positive real numbers, we prove two inequalities involving their potential energy and their power sums. We also prove an inequality involving the energy and the discriminant and apply it to deduce a result on totally positive irreducible polynomials.

math.NT↗

Consecutive real quadratic fields with large class numbers

For a given positive integer $k$, we prove that there are at least $x^{1/2-o(1)}$ integers $d\leq x$ such that the real quadratic fields $\mathbb Q(\sqrt{d+1}),\dots,\mathbb Q(\sqrt{d+k})$ have class numbers essentially as large as possible.

math.NT↗

On Kuznetsov-Bykovskii's formula of counting prime geodesics

We generalize a formula on the counting of prime geodesics, due to Kuznetsov-Bykovskii, used in the work of Soundararajan-Young on the prime geodesic theorem. The method works over any number field and for any congruence subgroup. We give explicit computation in the cases of principal and Hecke subgroups.

math.NT↗

Cyclic polytope of the simplest cubic fields

In this paper, we study dilation of cyclic polytopes with the vertices defined by a generator of the simplest cubic fields. In particular, for a specific range of values, we give a precise number of the contained lattice points.

math.NT↗

On the variance of the nodal volume of arithmetic random waves

Rudnick and Wigman (Ann. Henri Poincaré, 2008; arXiv:math-ph/0702081) conjectured that the variance of the volume of the nodal set of arithmetic random waves on the $d$-dimensional torus is $O(E/\mathcal{N})$, as $E\to\infty$, where $E$ is the energy and $\mathcal{N}$ is the dimension of the eigenspace corresponding to $E$. Previous results have established this with stronger asymptotics when $d=2$ and $d=3$. In this brief note we prove an upper bound of the form $O(E/\mathcal{N}^{1+α(d)-ε})$, for any $ε>0$ and $d\geq 4$, where $α(d)$ is positive and tends to zero with $d$. The power saving is the best possible with the current method (up to $ε$) when $d\geq 5$ due to the proof of the $\ell^{2}$-decoupling conjecture by Bourgain and Demeter.

math.NT↗

Bykovskii-type theorem for the Picard manifold

We generalise a result of Bykovskii to the Gaussian integers and prove an asymptotic formula for the prime geodesic theorem in short intervals on the Picard manifold. Previous works show that individually the remainder is bounded by $O(X^{13/8+ε})$ and $O(X^{3/2+θ+ε})$, where $θ$ is the subconvexity exponent for quadratic Dirichlet $L$-functions over $\mathbb{Q}(i)$. By combining arithmetic methods with estimates for a spectral exponential sum and a smooth explicit formula, we obtain an improvement for both of these exponents. Moreover, by assuming two standard conjectures on $L$-functions, we show that it is possible to reduce the exponent below the barrier $3/2$ and get $O(X^{34/23+ε})$ conditionally. We also demonstrate a dependence of the remainder in the short interval estimate on the classical Gauss circle problem for shifted centres.

math.NT↗

A spectral universality theorem for Maass $L$-functions

We show that for a positive proportion of Laplace eigenvalues $λ_j$ the associated Hecke-Maass $L$-functions $L(s,u_j)$ approximate with arbitrary precision any target function $f(s)$ on a closed disc with center in $3/4$ and radius $r<1/4$. The main ingredients in the proof are the spectral large sieve of Deshouillers-Iwaniec and Sarnak's equidistribution theorem for Hecke eigenvalues.

math.NT↗

Second Moment of the Prime Geodesic Theorem for $\mathrm{PSL}(2, \mathbb{Z}[i])$

The remainder $E_Γ(X)$ in the Prime Geodesic Theorem for the Picard group $Γ= \mathrm{PSL}(2,\mathbb{Z}[i])$ is known to be bounded by $O(X^{3/2+ε})$ under the assumption of the Lindelöf hypothesis for quadratic Dirichlet $L$-functions over Gaussian integers. By studying the second moment of $E_Γ(X)$, we show that on average the same bound holds unconditionally.

math.NT↗

Almost periodic functions and hyperbolic counting

In this paper we prove the existence of asymptotic moments, and an estimate on the tails of the limiting distribution, for a specific class of almost periodic functions. Then we introduce the hyperbolic circle problem, proving an estimate on the asymptotic variance of the remainder that improves a result of Chamizo. Applying the results of the first part we prove the existence of limiting distribution and asymptotic moments for three functions that are integrated versions of the remainder, and were considered originally (with due adaptations to our settings) by Wolfe, Phillips and Rudnick, and Hill and Parnovski.

math.NT↗

Mean square in the prime geodesic theorem

We prove upper bounds for the mean square of the remainder in the prime geodesic theorem, for every cofinite Fuchsian group, which improve on average on the best known pointwise bounds. The proof relies on the Selberg trace formula. For the modular group we prove a refined upper bound by using the Kuznetsov trace formula.

math.NT↗