SearcharxivSearch

arXiv subjects

Dorian Goldfeld

Publications and source records attributed to Dorian Goldfeld.

At least 19 recordsLinked to original sources

An Analogue of the Dedekind Eta Function for Hecke Groups $H(\sqrt{D})$

Let $D\equiv 1\bmod{4}$ be a fundamental discriminant of a real quadratic field. We construct an analogue of the classical Dedekind eta function for the Hecke group $H(\sqrt{D})$. This gives rise to a new family of holomorphic modular functions for $H(\sqrt{D})$ which vanish at the cusp at $\infty$. We establish results on the asymptotic growth and sign patterns of the Fourier coefficients associated to these modular forms.

math.NT

Multiplicativity of Fourier Coefficients of Maass Forms for SL($n,\mathbb Z$)

The Fourier coefficients of a Maass form $\phi$ for SL$(n,\mathbb Z)$ are complex numbers $A_\phi(M)$, where $M=(m_1,m_2,\ldots,m_{n-1})$ and $m_1,m_2,\ldots ,m_{n-1}$ are nonzero integers. It is well known that coefficients of the form $A_\phi(m_1,1,\ldots,1)$ are eigenvalues of the Hecke algebra and are multiplicative. We prove that the more general Fourier coefficients $A_\phi(m_1,\ldots,m_{n-1})$ are also eigenvalues of the Hecke algebra and satisfy the multiplicativity relations $$A_\phi\big(m_1m_1',\;m_2m_2', \;\ldots\; m_{n-1}m_{n-1}'\big) = A_\phi\big(m_1,m_2,\ldots,m_{n-1})\cdot A_\phi(m_1',m_2',\ldots,m_{n-1}'\big)$$ provided the products $\prod\limits_{i=1}^{n-1} m_i$ and $\prod\limits_{i=1}^{n-1} m_i'$ are relatively prime to each other.

math.NT

The shifted convolution L-function for Maass forms

Let $\Phi_1,\Phi_2$ be Maass forms for $\text{SL}(2,\mathbb Z)$ with Fourier coefficients $C_1(n),C_2(n)$. For a positive integer $h$ the meromorphic continuation and growth in $s\in\mathbb C$ (away from poles) of the shifted convolution L-function $$L_h(s,{\Phi_1,\Phi_2})\, := \sum_{n \neq 0,-h} {C_1(n) C_2(n + h)} \cdot \big|n(n + h)\big|^{-\frac{1}{2}s}$$ is obtained. For ${\rm Re}(s) > 0$ it is shown that the only poles are possible simple poles at $\frac{1}{2} \pm ir_k$, where $\tfrac14+r_k^2$ are eigenvalues of the Laplacian. As an application we obtain, for $T\to\infty$, the asymptotic formula \begin{align*} & \underset{n \neq 0,-h}{\sum_{\sqrt{|n (n + h)|}<T} } \hskip-5pt{C_1(n) C_2(n + h)} \left(\text{log}\Big(\tfrac{T}{\sqrt{|n (n + h)|}}\,\Big)\right)^{\frac{3}{2} + \varepsilon} \hskip-7pt =\; f_{{\mathfrak r_1,\mathfrak r_2,}h,\varepsilon}(T) \cdot T^{\frac{1}{2}} \; + \; \mathcal O\left( h^{1-\varepsilon} T^\varepsilon + h^{1 + \varepsilon} T^{-1 - \varepsilon} \right), \end{align*} where the function $f_{{\mathfrak r_1,\mathfrak r_2,}h,\varepsilon}(T)$ is given as an explicit spectral sum that satisfies the bound $f_{{\mathfrak r_1,\mathfrak r_2,}h,\varepsilon}(T) \ll h^{\theta + \varepsilon}$. We also obtain a sharp bound for the above shifted convolution sum with sharp cutoff, i.e., without the smoothing weight $\log(*)^{\frac32+\varepsilon}$ with uniformity in the $h$ aspect. Specifically, we show that for $h < x^{\frac{1}{2} - \varepsilon}$, \[ {\sum_{\sqrt{|n (n + h)|} < x} C_1(n) C_2(n + h)} \ll h^{\frac{2}{3}\theta + \varepsilon}x^{\frac{2}{3} (1 + \theta) + \varepsilon} + h^{\frac{1}{2} + \varepsilon}x^{\frac{1}{2} + 2\theta + \varepsilon}. \]

math.NT

The Functional Equations of Langlands Eisenstein Series for $SL(n,\mathbb Z)$

This paper presents a very simple explicit description of Langlands Eisenstein series for ${\rm SL}(n,\mathbb Z)$. The functional equations of these Eisenstein series are heuristically derived from the functional equations of certain divisor sums and certain Whittaker functions that appear in the Fourier coefficients of the Eisenstein series. We conjecture that the functional equations are unique up to a real affine transformation of the $s$ variables defining the Eisenstein series and prove the uniqueness conjecture in certain cases.

math.NT

The cubic Pell equation L-function

For $d > 1$ a cubefree rational integer, we define an $L$-function (denoted $L_d(s)$) whose coefficients are derived from the cubic theta function for $\mathbb Q\left(\sqrt{-3}\right)$. The Dirichlet series defining $L_d(s)$ converges for $\text{Re}(s) > 1$, and its coefficients vanish except at values corresponding to integral solutions of $mx^3 - dny^3 = 1$ in $\mathbb Q\left(\sqrt{-3}\right)$, where $m$ and $n$ are squarefree. By generalizing the methods used to prove the Takhtajan-Vinogradov trace formula, we obtain the meromorphic continuation of $L_d(s)$ to $\text{Re}(s) > \frac{1}{2}$ and prove that away from its poles, it satisfies the bound $L_d(s) \ll |s|^{\frac{7}{2}}$ and has a possible simple pole at $s = \frac{2}{3}$, possible poles at the zeros of a certain Appell hypergeometric function, with no other poles. We conjecture that the latter case does not occur, so that $L_d(s)$ has no other poles with $\text{Re}(s) > \frac{1}{2}$ besides the possible simple pole at $s = \frac{2}{3}$.

math.NT

The first coefficient of Langlands Eisenstein series for $\hbox{SL}(n,\mathbb Z)$

Fourier coefficients of Eisenstein series figure prominently in the study of automorphic L-functions via the Langlands-Shahidi method, and in various other aspects of the theory of automorphic forms and representations. In this paper, we define Langlands Eisenstein series for ${\rm SL}(n,\mathbb Z)$ in an elementary manner, and then determine the first Fourier coefficient of these series in a very explicit form. Our proofs and derivations are short and simple, and use the Borel Eisenstein series as a template to determine the first Fourier coefficient of other Langlands Eisenstein series.

math.NT

Number Theoretical Locally Recoverable Codes

In this paper we give constructions for infinite sequences of finite non-linear locally recoverable codes $\mathcal C\subseteq \prod\limits^N_{i=1}\mathbb F_{q_i}$ over a product of finite fields arising from basis expansions in algebraic number fields. The codes in our sequences have increasing length and size, constant rate, fixed locality, and minimum distance going to infinity.

cs.IT

An Asymptotic Orthogonality Relation for ${\rm GL}(n, \mathbb R)$

Orthogonality is a fundamental theme in representation theory and Fourier analysis. An orthogonality relation for characters of finite abelian groups (now recognized as an orthogonality relation on GL(1)) was used by Dirichlet to prove infinitely many primes in arithmetic progressions. Asymptotic orthogonality relations for GL$(n)$, with $n\le 3$, and applications to number theory, have been considered by various researchers over the last 45 years. Recently, the authors of the present work have derived an explicit asymptotic orthogonality relation, with a power savings error term, for GL$(4,\mathbb R)$. Here we we extend those results to GL$(n,\mathbb R)$ $(n\ge2)$. For $n\le 5$ our results are unconditional. In particular, the case $n=5$ represents a new result. The key new ingredient for the proof of the case $n=5$ is the theorem of Kim-Shahidi that functorial products of cusp forms on GL(2)$\times$GL(3) are automorphic on GL(6). For $n>5$ our results are conditional on two conjectures, both of which have been verified in various special cases. The first of these conjectures regards lower bounds for Rankin-Selberg L-functions, and the second concerns recurrence relations for Mellin transforms of GL$(n,\mathbb R)$ Whittaker functions. Our methods assume the Ramanujan conjecture at the infinite place for Maass cusp forms, but this assumption can be removed with a weakening in our error term. Central to our proof is an application of the Kuznetsov Trace formula, and a detailed analysis, utilizing a number of novel techniques, of the various entities -- Hecke-Maass cusp forms, Langlands Eisenstein series, spherical principal series Whittaker functions and their Mellin transforms, and so on -- that arise in this application.

math.NT

An orthogonality relation for GL(4,R)

Orthogonality is a fundamental theme in representation theory and Fourier analysis. An orthogonality relation for characters of finite abelian groups (now recognized as an orthogonality relation on $\mathrm{GL}(1)$) was used by Dirichlet to prove infinitely many primes in arithmetic progressions. Orthogonality relations for $\mathrm{GL}(2)$ and $\mathrm{GL}(3)$ have been worked on by many researchers with a broad range of applications to number theory. We present here, for the first time, very explicit orthogonality relations for the real group $\mathrm{GL}(4,\mathbb{R})$ with a power savings error term. The proof requires novel techniques in the computation of the geometric side of the Kuznetsov trace formula. An appendix by Bingrong Huang gives new bounds for the relevant Kloosterman sums.

math.NT

A template method for Fourier coefficients of Langlands Eisenstein series

This paper introduces the template method for computing the first coefficient of Langlands Eisenstein series on $\GL(n,\mathbb R)$ and more generally on Chevalley groups over the adele ring of $\mathbb Q.$ In brief, the first coefficient of Borel Eisenstein series can be used as a template to compute the first coefficient of more general Eisenstein series by elementary linear algebra calculations.

math.NT

The Algebraic Theory of Fractional Jumps

In this paper we start by briefly surveying the theory of Fractional Jumps and transitive projective maps. Then, we give an efficient construction of a fractional jump of a projective map and we extend the compound generator construction for the Inversive Congruential Generator to Fractional jump sequences. In addition, we provide new results on the absolute jump index, on projectively primitive polynomials, and on the explicit description of fractional jump generators.

math.NT

Ironwood Meta Key Agreement and Authentication Protocol

Number theoretic public-key solutions, currently used in many applications worldwide, will be subject to various quantum attacks, making them less attractive for longer-term use. Certain group theoretic constructs are now showing promise in providing quantum-resistant cryptographic primitives, and may provide suitable alternatives for those looking to address known quantum attacks. In this paper, we introduce a new protocol called a Meta Key Agreement and Authentication Protocol (MKAAP) that has some characteristics of a public-key solution and some of a shared-key solution. Specifically it has the deployment benefits of a public-key system, allowing two entities that have never met before to authenticate without requiring real-time access to a third-party, but does require secure provisioning of key material from a trusted key distribution system (similar to a symmetric system) prior to deployment. We then describe a specific MKAAP instance, the Ironwood MKAAP, discuss its security, and show how it resists certain quantum attacks such as Shor's algorithm or Grover's quantum search algorithm. We also show Ironwood implemented on several ``internet of things'' (IoT devices), measure its performance, and show how it performs significantly better than ECC using fewer device resources.

cs.CR

Super-positivity of a family of L-functions in the level aspect

An automorphic self dual L-function has the super-positivity property if all derivatives of the completed L-function at the central point $s=1/2$ are non-negative and all derivatives at a real point $s > 1/2$ are positive. In this paper we prove that at least 12% of L-functions associated to Hecke basis cusp forms of weight $2$ and large prime level $q$ have the super-positivity property. It is also shown that at least 49% of such L-functions have no real zeros on $ \Re(s) > 0$ except possibly at $s = 1/2.$

math.NT

Super-positivity of a family of L-functions

Zhiwei Yun and Wei Zhang introduced the notion of "super-positivity of self dual L-functions" which specifies that all derivatives of the completed L-function (including Gamma factors and power of the conductor) at the central value $s = 1/2$ should be non-negative. They proved that the Riemann hypothesis implies super-positivity for self dual cuspidal automorphic L-functions on $GL(n)$. Super-positivity of the Riemann zeta function was established by Pólya in 1927 and since then many other cases have been found by numerical computation. In this paper we prove, for the first time, that there are infinitely many L-functions associated to modular forms for $SL(2, \mathbb{Z})$ each of which has the super-positivity property. Our proof also establishes that all derivatives of the completed L-function at any real point $σ> 1/2$ must be positive.

math.NT

On an additive prime divisor function of Alladi and Erdos

This paper discusses the additive prime divisor function $A(n) := \sum\limits_{p^α|| n} α\, p$ which was introduced by Alladi and Erd\H os in 1977. It is shown that $A(n)$ is uniformly distributed (mod $q$) for any fixed integer $q > 1.$

math.NT

A standard zero free region for Rankin-Selberg L-functions

A standard zero free region is obtained for Rankin Selberg L-functions $L(s, f\times \widetilde{f})$ where $f$ is an almost everywhere tempered Maass form on $GL(n)$ and $f$ is not necessarily self dual. The method is based on the theory of Eisenstein series generalizing a work of Sarnak.

math.NT

Defeating the Ben-Zvi, Blackburn, and Tsaban Attack on the Algebraic Eraser

The Algebraic Eraser Diffie-Hellman (AEDH) protocol was introduced in 2005 and published in 2006 by Anshel-Anshel-Goldfeld-Lemieux as a protocol suitable for use on platforms with constrained computational resources, such as FPGAs, ASICs, and wireless sensors. It is a group-theoretic cryptographic protocol that allows two users to construct a shared secret via a Diffie-Hellman-type scheme over an insecure channel. Building on the refuted 2012 permutation-based attack of Kalka-Teichner-Tsaban, in 2015 Ben-Zvi-Blackburn-Tsaban (BBT) presented a heuristic attack that attempts to recover the AEDH shared secret. In their paper BBT reference the AEDH protocol as presented to ISO for certification (ISO 29167-20) by SecureRF. The ISO draft contains two profiles using the Algebraic Eraser. One profile is unaffected by this attack; the second profile is subject to their attack provided the attack runs in real time. This is not the case in most practical deployments. The BBT attack is simply a targeted attack that does not attempt to break the method, system parameters, or recover any private keys. Rather, its limited focus is to recover the shared secret in a single transaction. In addition, the BBT attack is based on several conjectures that are assumed to hold when parameters are chosen according to standard distributions, which can be mitigated, if not avoided. This paper shows how to choose special distributions so that these conjectures do not hold making the BBT attack ineffective for braid groups with sufficiently many strands. Further, the BBT attack assumes that certain data is available to an attacker, but there are realistic deployment scenarios where this is not the case, making the attack fail completely. In summary, the BBT attack is flawed (with respect to the SecureRF ISO draft) and, at a minimum, over-reaches as to its applicability.

cs.CR

On the GL(3) Kuznetsov Formula with applications to Symmetry Types of families of $L$-functions

We present an explicit approach to the GL(3) Kuznetsov formula. As an application, for a restricted class of test functions, we obtain the low-lying zero densities for the following three families: cuspidal GL(3) Maass forms phi, the symmetric square family sym^2 phi on GL(6), and the adjoint family Ad phi on GL(8). Hence we can identify their symmetry types; they are: unitary, unitary, and symplectic, respectively.

math.NT