On the computation of modular forms on noncongruence subgroups

DOI10.1090/MCOM/3903arXiv2207.13365OpenAlexW4319215624MaRDI QIDQ6203470FDOQ6203470

Danylo V. Radchenko, Hartmut Monien, Author name not available (Why is that?)

Publication date: 28 February 2024

Published in: Mathematics of Computation (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/2207.13365

Mathematics Subject Classification ID

Complexity and performance of numerical algorithms (65Y20) Iterative numerical methods for linear systems (65F10) Holomorphic modular forms of integral weight (11F11) Fourier coefficients of automorphic forms (11F30) Numerical methods for functional equations (65Q20) Arithmetic aspects of dessins d'enfants, Bely? theory (11G32)

Cites Work

• An Algorithm for the Machine Calculation of Complex Fourier Series
• GMRES: A Generalized Minimal Residual Algorithm for Solving Nonsymmetric Linear Systems
• Factoring polynomials with rational coefficients
• Modern Computer Arithmetic
• Title not available (Why is that?)
• Fast Algorithms for Manipulating Formal Power Series
• Title not available (Why is that?)
• Inversion of extremely ill-conditioned matrices in floating-point
• Identifying congruence subgroups of the modular group
• Subgroups of the Classical Modular Group
• Effective computation of Maass cusp forms
• Title not available (Why is that?)
• Maaß cusp forms for large eigenvalues
• Error bounds from extra-precise iterative refinement
• Complexity of multiplication with vectors for structured matrices
• Maass waveforms on \((\Gamma_0(N),\chi)\) (computational aspects)
• Another proof of the three points theorem
• A fast algorithm for reversion of power series
• Title not available (Why is that?)
• Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
• A New Analysis of Iterative Refinement and Its Application to Accurate Solution of Ill-Conditioned Sparse Linear Systems
• Computing Power Series Expansions of Modular Forms
• Moduli interpretations for noncongruence modular curves
• Modular forms for noncongruence subgroups
• On modular forms for some noncongruence subgroups of SL₂ (ℤ) II
• Level and index in the modular group
• Title not available (Why is that?)
• Noncongruence subgroups and Maass waveforms
• Lifts of projective congruence groups
• Numerical calculation of three-point branched covers of the projective line
• Title not available (Why is that?)
• The unbounded denominators conjecture for the noncongruence subgroups of index 7
• Title not available (Why is that?)

This page was built for publication: On the computation of modular forms on noncongruence subgroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6203470)