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
David Roe appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
11works
6topics
4close collaborators
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.
Published work
11 published item(s)
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.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Hypergeometric L-functions in average polynomial time
We describe an algorithm for computing, for all primes $p \leq 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen 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 $φ: \mathcal{W}_K \rightarrow {^L G}$ 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_φ= \operatorname{Z}_{\hat{G}}(φ)$.
0 citations0 reviewsNo code linkedOpen 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 $GL_n(K)$, to certain Langlands parameters for unramified connected reductive groups.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen access