Related papers: Rigorous expansions of modular forms at CM points,…

We exhibit a method to numerically compute power series expansions of modular forms on a cocompact Fuchsian group, using the explicit computation a fundamental domain and linear algebra.

In this paper, we investigate Fourier expansions of meromorphic modular forms. Over the years, a number of special cases of meromorphic modular forms were shown to have Fourier expansions closely resembling the expansion of the reciprocal…

We present and discuss an algorithm and its implementation that is capable of directly determining Fourier expansions of any vector-valued modular form of weight at least $2$ associated with representations whose kernel is a congruence…

In this paper we describe a method for computing a basis for the space of weight $2$ cusp forms invariant under a non-split Cartan subgroup of prime level $p$. As an application we compute, for certain small values of $p$, explicit…

The goal in this preprint is to give an efficient algorithm to compute Puiseux expansions at cusps of X0(N). It is based on a relation with a hypergeometric function that holds for any N.

We exhibit an algorithm to compute equations of an algebraic curve over a computable characteristic 0 field from the power series expansions of its regular 1-forms at a nonrational point of the curve, extending a 2005 algorithm of Baker,…

Let x be a CM point on a modular or Shimura curve and p a prime of good reduction, split in the CM field K. We define an expansion of an holomorphic modular form f in the p-adic neighborhood of x and show that the expansion coefficients…

We present the bare one-, two-, and three-loop form factors in massless Quantum Chromodynamics as linear combinations of finite master integrals. Using symbolic integration, we compute their $\epsilon$ expansions and thereby reproduce all…

In this expository paper, we illustrate two explicit methods which lead to special $L$-values of certain modular forms admitting complex multiplication (CM), motivated in part by properties of $L$-functions obtained from Calabi-Yau…

We analyze the coefficients of partition functions of Vafa-Witten theory for the complex projective plane $\mathbb{CP}^2$. We experimentally study the growth of the coefficients for gauge group $SU(2)$ and $SU(3)$, which are examples of…

In this paper, for an odd prime power $q$, we extend the construction of Xie et al. \cite{XOYM2023} to propose two classes of linear codes $\mathcal{C}_{Q}$ and $\mathcal{C}_{Q}'$ over the finite field $\mathbb{F}_{q}$ with at most four…

M\"untz's theorem asserts, for example, that the even powers $1, x^2, x^4,\dots$ are dense in $C([0,1])$. We show that the associated expansions are so inefficient as to have no conceivable relevance to any actual computation. For example,…

A formula for calculating Extensions of (mainly integral) Polynomial Functors is established, based upon projective resolutions. Sample computations are performed, which, in particular, exhibit a surprising non-trivial extension of Divided…

We prove two congruences for the coefficients of power series expansions in t of modular forms where t is a modular function. As a result, we settle two recent conjectures of Chan, Cooper and Sica. Additionally, we provide a table of…

Let $f$ be a newform of even weight $2\kappa$ for $D^\times$, where $D$ is a possibly split indefinite quaternion algebra over $\mathbb{Q}$. Let $K$ be a quadratic imaginary field splitting $D$ and $p$ an odd prime split in $K$. We extend…

A systematic nonperturbative scheme is implemented to calculate the ground state energy for a wide class of strongly correlated fermion models. The scheme includes: (a) method of automatic calculations of the cumulants of the model…

We describe an algorithm that we used to compute the q-expansions of all weight 2 cusp forms of prime level at most 2,000,000 and dimension at most 6. We also present an algorithm that we used to verify that there was only one cusp form of…

We extend the explicit quadratic Chabauty methods developed in previous work by the first two authors to the case of non-hyperelliptic curves. This results in an algorithm to compute the rational points on a curve of genus $g \ge 2$ over…

We introduce a general multisummability theory of formal power series in Carleman ultraholomorphic classes. The finitely many levels of summation are determined by pairwise comparable, nonequivalent weight sequences admitting nonzero…

Let $\mathbb{F}_q$ be a finite field of characteristic not equal to $2$ or $3$. We compute the weight enumerators of some projective and affine Reed-Muller codes of order $3$ over $\mathbb{F}_q$. These weight enumerators answer enumerative…