BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Stephen D. Miller

Stephen D. Miller appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.RTmath-phmath.COmath.MPCryptography and Securityhep-thmath.MGComputational Complexitymath.AGmath.FAmath.GRmath.SP

Catalog footprint

What is connected

16works
13topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2022arXiv

Universal optimality of the $E_8$ and Leech lattices and interpolation formulas

We prove that the $E_8$ root lattice and the Leech lattice are universally optimal among point configurations in Euclidean spaces of dimensions $8$ and $24$, respectively. In other words, they minimize energy for every potential function that is a completely monotonic function of squared distance (for example, inverse power laws or Gaussians), which is a strong form of robustness not previously known for any configuration in more than one dimension. This theorem implies their recently shown optimality as sphere packings, and broadly generalizes it to allow for long-range interactions. The proof uses sharp linear programming bounds for energy. To construct the optimal auxiliary functions used to attain these bounds, we prove a new interpolation theorem, which is of independent interest. It reconstructs a radial Schwartz function $f$ from the values and radial derivatives of $f$ and its Fourier transform $\widehat{f}$ at the radii $\sqrt{2n}$ for integers $n\ge1$ in $\mathbb{R}^8$ and $n \ge 2$ in $\mathbb{R}^{24}$. To prove this theorem, we construct an interpolation basis using integral transforms of quasimodular forms, generalizing Viazovska's work on sphere packing and placing it in the context of a more conceptual theory.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Entirety of cuspidal Eisenstein series on loop groups

In this paper, we prove the entirety of loop group Eisenstein series induced from cusp forms on the underlying finite dimensional group, by demonstrating their absolute convergence on the full complex plane. This is quite in contrast to the finite-dimensional setting, where such series only converge absolutely in a right half plane (and have poles elsewhere coming from $L$-functions in their constant terms). Our result is the $\Q$-analog of a theorem of A. Braverman and D. Kazhdan from the function field setting, who previously showed the analogous Eisenstein series are finite sums.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Estimates on Eisenstein distributions for reciprocals of p-adic L-functions: the case of irregular primes

We consider the p-adic distributions derived from Eisenstein series in [GMPS], whose Mellin transforms are reciprocals of the Kubota-Leopoldt p-adic L-function. These distributions were shown there to be measures when p is regular. They fail to be measures when p is irregular; in this paper we give quantitative estimates that describe their behavior more precisely.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Some properties of optimal functions for sphere packing in dimensions 8 and 24

We study some sequences of functions of one real variable and conjecture that they converge uniformly to functions with certain positivity and growth properties. Our conjectures imply a conjecture of Cohn and Elkies, which in turn implies the complete solution to the sphere packing problem in dimensions 8 and 24. We give numerical evidence for these conjectures as well as some arithmetic properties of the hypothetical limiting functions. The conjectures are of greatest interest in dimension 24, in light of Viazovska's recent solution to the Cohn-Elkies conjecture (and consequently the sphere packing problem) in dimension 8.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Non-Abelian Analogs of Lattice Rounding

Lattice rounding in Euclidean space can be viewed as finding the nearest point in the orbit of an action by a discrete group, relative to the norm inherited from the ambient space. Using this point of view, we initiate the study of non-abelian analogs of lattice rounding involving matrix groups. In one direction, we give an algorithm for solving a normed word problem when the inputs are random products over a basis set, and give theoretical justification for its success. In another direction, we prove a general inapproximability result which essentially rules out strong approximation algorithms (i.e., whose approximation factors depend only on dimension) analogous to LLL in the general case.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Small representations, string instantons, and Fourier modes of Eisenstein series (with an appendix by D. Ciubotaru and P. Trapa)

This paper concerns some novel features of maximal parabolic Eisenstein series at certain special values of their analytic parameter s. These series arise as coefficients in the R4 and D4R4 interactions in the low energy expansion of scattering amplitudes in maximally supersymmetric string theory reduced to D=10-d dimensions on a torus T^d, d<8. For each d these amplitudes are automorphic functions on the rank d+1 symmetry group E_d+1. Of particular significance is the orbit content of the Fourier modes of these series when expanded in three different parabolic subgroups, corresponding to certain limits of string theory. This is of interest in the classification of a variety of instantons that correspond to minimal or next-to-minimal BPS orbits. In the limit of decompactification from D to D+1 dimensions many such instantons are related to charged 1/2-BPS or 1/4-BPS black holes with euclidean world-lines wrapped around the large dimension. In a different limit the instantons give nonperturbative corrections to string perturbation theory, while in a third limit they describe nonperturbative contributions in eleven-dimensional supergravity. A proof is given that these three distinct Fourier expansions have certain vanishing coefficients that are expected from string theory. In particular, the Eisenstein series for these special values of s have markedly fewer Fourier coefficients than typical ones. The corresponding mathematics involves showing that the wavefront sets of the Eisenstein series are supported on only certain coadjoint nilpotent orbits - just the minimal and trivial orbits in the 1/2-BPS case, and just the next-to-minimal, minimal and trivial orbits in the 1/4-BPS case. Thus as a byproduct we demonstrate that the next-to-minimal representations occur automorphically for E6, E7, and E8, and hence the first two nontrivial low energy coefficients are exotic theta-functions.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Residual automorphic forms and spherical unitary representations of exceptional groups

Arthur has conjectured that the unitarity of a number of representations can be shown by finding appropriate automorphic realizations. This has been verified for classical groups by Moeglin and for the exceptional Chevalley group G_2 by Kim. In this paper we extend their results on spherical representations to the remaining exceptional groups E_6, E_7, E_8, and F_4. In particular we prove Arthur's conjecture that the spherical constituent of an unramified principal series of a Chevalley group over any local field of characteristic zero is unitarizable if its Langlands parameter coincides with half the marking of a coadjoint nilpotent orbit of the Langlands dual Lie algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Adelization of Automorphic Distributions and Mirabolic Eisenstein Series

Automorphic representations can be studied in terms of the embeddings of abstract models of representations into spaces of functions on Lie groups that are invariant under discrete subgroups. In this paper we describe an adelic framework to describe them for the group GL(n,R), and provide a detailed analysis of the automorphic distributions associated to the mirabolic Eisenstein series. We give an explicit functional equation for some distributional pairings involving this mirabolic Eisenstein distribution, and the action of intertwining operators.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Eisenstein series for higher-rank groups and string theory amplitudes

Scattering amplitudes of superstring theory are strongly constrained by the requirement that they be invariant under dualities generated by discrete subgroups, E_n(Z), of simply-laced Lie groups in the E_n series (n<= 8). In particular, expanding the four-supergraviton amplitude at low energy gives a series of higher derivative corrections to Einstein's theory, with coefficients that are automorphic functions with a rich dependence on the moduli. Boundary conditions supplied by string and supergravity perturbation theory, together with a chain of relations between successive groups in the E_n series, constrain the constant terms of these coefficients in three distinct parabolic subgroups. Using this information we are able to determine the expressions for the first two higher derivative interactions (which are BPS-protected) in terms of specific Eisenstein series. Further, we determine key features of the coefficient of the third term in the low energy expansion of the four-supergraviton amplitude (which is also BPS-protected) in the E_8 case. This is an automorphic function that satisfies an inhomogeneous Laplace equation and has constant terms in certain parabolic subgroups that contain information about all the preceding terms.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the rapid decay of cuspidal automorphic forms

Many important analytic statements about automorphic forms, such as the analytic continuation of certain L-functions, rely on the well-known rapid decay of K-finite cusp forms on Siegel sets. We extend this here to prove a more general decay statement along sets much larger than Siegel sets, and furthermore state and prove the decay for smooth but not necessarily K-finite cusp forms. We also state a general theorem about the convergence of Rankin-Selberg integrals involving unipotent periods, closing a gap in the literature on L-functions. These properties serve as the analytic basis of a new method to establish holomorphic continuations of Langlands L-functions, in particular the exterior square L-functions on GL(n). Keywords: Automorphic forms, rapid decay, cusp forms, L-functions, Rankin-Selberg, integral representations, uniform moderate growth.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Pairings of automorphic distributions

We present a pairing of automorphic distributions that applies in situations where a Lie group acts with an open orbit on a product of generalized flag varieties. The pairing gives meaning to an integral of products of automorphic distributions on these varieties. This generalizes classical integral representations or "Rankin-Selberg integrals" of L-functions, and gives new constructions and analytic continuations of automorphic L-functions. Keywords: Automorphic forms, invariant pairings, automorphic distributions, L-functions, analytic continuation, rapid decay.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The archimedean theory of the Exterior Square L-functions over Q

The analytic properties of automorphic L-functions have historically been obtained either through integral representations (the "Rankin-Selberg method"), or properties of the Fourier expansions of Eisenstein series (the "Langlands-Shahidi method"). We introduce a method based on pairings of automorphic distributions, that appears to be applicable to a wide variety of L-functions, including all which have integral representations. In some sense our method could be considered a completion of the Rankin-Selberg method because of its common features. We consider a particular but representative example, the exterior square L-functions on GL(n), by constructing a pairing which we compute as a product of this L-function times an explicit ratio of Gamma functions. We use this to deduce that exterior square L-functions, when multiplied by the Gamma factors predicted by Langlands, are holomorphic on C-{0,1} with at most simple poles at 0 and 1, proving a conjecture of Langlands which has not been obtained by the existing two methods.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Expander graphs based on GRH with an application to elliptic curve cryptography

We present a construction of expander graphs obtained from Cayley graphs of narrow ray class groups, whose eigenvalue bounds follow from the Generalized Riemann Hypothesis. Our result implies that the Cayley graph of (Z/qZ)* with respect to small prime generators is an expander. As another application, we show that the graph of small prime degree isogenies between ordinary elliptic curves achieves non-negligible eigenvalue separation, and explain the relationship between the expansion properties of these graphs and the security of the elliptic curve discrete logarithm problem.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Do All Elliptic Curves of the Same Order Have the Same Difficulty of Discrete Log?

The aim of this paper is to justify the common cryptographic practice of selecting elliptic curves using their order as the primary criterion. We can formalize this issue by asking whether the discrete log problem (DLOG) has the same difficulty for all curves over a given finite field with the same order. We prove that this is essentially true by showing polynomial time random reducibility of DLOG among such curves, assuming the Generalized Riemann Hypothesis (GRH). We do so by constructing certain expander graphs, similar to Ramanujan graphs, with elliptic curves as nodes and low degree isogenies as edges. The result is obtained from the rapid mixing of random walks on this graph. Our proof works only for curves with (nearly) the same endomorphism rings. Without this technical restriction such a DLOG equivalence might be false; however, in practice the restriction may be moot, because all known polynomial time techniques for constructing equal order curves produce only curves with nearly equal endomorphism rings.

0 citations0 reviewsNo code linkedOpen access