BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We present a database of several hundred modular forms up to and including weight six on noncongruence subgroups of index ≤17. In addition, our database contains expressions for the Belyi map for genus zero subgroups and equations of the corresponding elliptic curves for genus one subgroups and numerical approximations of noncongruence Eisenstein series to 1500 digits precision.
We give new explicit formulas for Grassmannian and Aomoto polylogarithms in terms of iterated integrals, for arbitrary weight. We also explicitly reduce the Grassmannian polylogarithm in weight 4 and in weight 5 each to depth 2. Furthermore, using this reduction in weight 4 we obtain an explicit, albeit complicated, form of the so-called 4-ratio, which gives an expression for the Borel class in continuous cohomology of GL4 in terms of Li4.
Let K be a totally real number field of degree n≥2. The inverse different of K gives rise to a lattice in Rn. We prove that the space of Schwartz Fourier eigenfunctions on Rn which vanish on the "component-wise square root" of this lattice, is infinite dimensional. The Fourier non-uniqueness set thus obtained is a discrete subset of the union of all spheres mSn−1 for integers m≥0 and, as m→∞, there are ∼cKmn−1 many points on the m-th sphere for some explicit constant cK, proportional to the square root of the discriminant of K. This contrasts a recent Fourier uniqueness result by Stoller. Using a different construction involving the codifferent of K, we prove an analogue of our results for discrete subsets of ellipsoids. In special cases, these sets also lie on spheres with more densely spaced radii, but with fewer points on each. We also study a related question about existence of Fourier interpolation formulas with nodes "Λ" for general lattices Λ⊂Rn. Using results about lattices in Lie groups of higher rank, we prove that, if n≥2 and if a certain group ΓΛ≤PSL2(R)n is discrete, then such interpolation formulas cannot exist. Motivated by these more general considerations, we revisit the case of one radial variable and prove, for all n≥5 and all real λ>2, Fourier interpolation results for sequences of spheres 2m/λSn−1, where m ranges over any fixed cofinite set of non-negative integers. The proof relies on a series of Poincaré type for Hecke groups of infinite covolume, similarly to the construction previously used by Stoller.
We present two approaches that can be used to compute modular forms on noncongruence subgroups. The first approach uses Hejhal's method for which we improve the arbitrary precision solving techniques so that the algorithm becomes about up to two orders of magnitude faster in practical computations. This allows us to obtain high precision numerical estimates of the Fourier coefficients from which the algebraic expressions can be identified using the LLL algorithm. The second approach is restricted to genus zero subgroups and uses efficient methods to compute the Belyi map from which the modular forms can be constructed.
We prove that the E8 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 f at the radii 2n for integers n≥1 in R8 and n≥2 in R24. 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.
We prove that the first Dirichlet eigenvalue of a regular N-gon of area π has an asymptotic expansion of the form λ1(1+∑n≥3Cn(λ1)N−n) as N→∞, where λ1 is the first Dirichlet eigenvalue of the unit disk and Cn are polynomials whose coefficients belong to the space of multiple zeta values of weight n. We also explicitly compute these polynomials for all n≤14.
In this paper we study two functions F(x) and J(x), originally found by Herglotz in 1923 and later rediscovered and used by one of the authors in connection with the Kronecker limit formula for real quadratic fields. We discuss many interesting properties of these functions, including special values at rational or quadratic irrational arguments as rational linear combinations of dilogarithms and products of logarithms, functional equations coming from Hecke operators, and connections with Stark's conjecture. We also discuss connections with 1-cocycles for the modular group PSL(2,Z).
We use weakly holomorphic modular forms for the Hecke theta group to construct an explicit interpolation formula for Schwartz functions on the real line. The formula expresses the value of a function at any given point in terms of the values of the function and its Fourier transform on the set {0,±1,±2,±3,…}.
Let Γ be a simple graph and IΓ(x) its multivariate independence polynomial. The main result of this paper is the characterization of chordal graphs as the only Γ for which the power series expansion of IΓ−1(x) is Horn hypergeometric.
For each N≥Cdtd we prove the existence of a well separated spherical t-design in the sphere Sd consisting of N points, where Cd is a constant depending only on d.
We prove that certain energy functionals of point configurations on sphere have no local maxima.
In this paper we prove the conjecture of Korevaar and Meyers: for each N≥cdtd there exists a spherical t-design in the sphere Sd consisting of N points, where cd is a constant depending only on d.
In this paper we investigate a problem of approximation of continuous mappings by smooth mappings with nonnegative Jacobian.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.