Computing classical modular forms
We discuss practical and some theoretical aspects of computing a database of classical modular forms in the L-functions and Modular Forms Database (LMFDB).
Source author record
David Roe
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
11works
6topics
4close collaborators
Published work
11 publications
preprint2020arXiv
Counterexamples to a Conjecture of Ahmadi and Shparlinski
Ahmadi-Shparlinski conjectured that every ordinary, geometrically simple Jacobian over a finite field has maximal angle rank. Using the L-Functions and Modular Forms Database, we provide two counterexamples to this conjecture in dimension 4.
Open access
preprint2020arXiv
Hypergeometric L-functions in average polynomial time
We describe an algorithm for computing, for all primes p≤X, the mod-p reduction of the trace of Frobenius at p of a fixed hypergeometric motive in time quasilinear in X. This combines the Beukers--Cohen--Mellit trace formula with average polynomial time techniques of Harvey et al.
Open access
preprint2016arXiv
GraphPrints: Towards a Graph Analytic Method for Network Anomaly Detection
This paper introduces a novel graph-analytic approach for detecting anomalies in network flow data called GraphPrints. Building on foundational network-mining techniques, our method represents time slices of traffic as a graph, then counts graphlets -- small induced subgraphs that describe local topology. By performing outlier detection on the sequence of graphlet counts, anomalous intervals of traffic are identified, and furthermore, individual IPs experiencing abnormal behavior are singled-out. Initial testing of GraphPrints is performed on real network data with an implanted anomaly. Evaluation shows false positive rates bounded by 2.84% at the time-interval level, and 0.05% at the IP-level with 100% true positive rates at both.
Open access
preprint2016arXiv
The canonical measure on a reductive p-adic group is motivic
Let G be a connected reductive group over a non-Archimedean local field. We prove that its parahoric subgroups are definable in the Denef-Pas language, which is a first-order language of logic used in the theory of motivic integration developed by Cluckers and Loeser. The main technical result is the definability of the connected component of the Néron model of a tamely ramified algebraic torus. As a corollary, we prove that the canonical Haar measure on G, which assigns volume 1 to the particular \emph{canonical} maximal parahoric defined by Gross, is motivic. This result resolves a technical difficulty that arose in Cluckers-Gordon-Halupczok and Shin-Templier and permits a simplification of some of the proofs in those articles. It also allows us to show that formal degree of a compactly induced representation is a motivic function of the parameters defining the representation.
Open access
preprint2015arXiv
From the function-sheaf dictionary to quasicharacters of p-adic tori
We consider the rigid monoidal category of character sheaves on a smooth commutative group scheme G over a finite field k and expand the scope of the function-sheaf dictionary from connected commutative algebraic groups to this setting. We find the group of isomorphism classes of character sheaves on G and show that it is an extension of the group of characters of G(k) by a cohomology group determined by the component group scheme of G. We also classify all morphisms in the category character sheaves on G. As an application, we study character sheaves on Greenberg transforms of locally finite type Néron models of algebraic tori over local fields. This provides a geometrization of quasicharacters of p-adic tori.
Open access
preprint2015arXiv
p-Adic Stability In Linear Algebra
Using the differential precision methods developed previously by the same authors, we study the p-adic stability of standard operations on matrices and vector spaces. We demonstrate that lattice-based methods surpass naive methods in many applications, such as matrix multiplication and sums and intersections of subspaces. We also analyze determinants , characteristic polynomials and LU factorization using these differential methods. We supplement our observations with numerical experiments.
Open access
preprint2014arXiv
Tracking p-adic precision
We present a new method to propagate p-adic precision in computations, which also applies to other ultrametric fields. We illustrate it with many examples and give a toy application to the stable computation of the SOMOS 4 sequence.
Open access
preprint2013arXiv
Constructing local L-packets for tame unitary groups
We generalize the work of DeBacker and Reeder to the case of unitary groups split by a tame extension. The approach is broadly similar and the restrictions on the parameter the same, but many of the details of the arguments differ. Let G be a unitary group defined over a local field K and splitting over a tame extension E/K. Given a Langlands parameter φ:WK→LG that is tame, discrete and regular, we give a natural construction of an L-packet Πφ associated to φ, consisting of representations of pure inner forms of G(K) and parametrized by the characters of the finite abelian group Aφ=ZG^(φ).
Open access
preprint2013arXiv
Rectifiers and the local Langlands correspondence: the unramified case
We generalize the rectifier of Bushnell and Henniart, which occurs in the local Langlands correspondence for GLn(K), to certain Langlands parameters for unramified connected reductive groups.
Open access
preprint2013arXiv
The 3-adic eigencurve at the boundary of weight space
This paper generalizes work of Buzzard and Kilford to the case p=3, giving an explicit bound for the overconvergence of the quotient Eκ/V(Eκ) and using this bound to prove that the eigencurve is a union of countably many annuli over the boundary of weight space.
Open access
Research graph
See the researcher in context
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.