Related papers: On the computation of modular forms on noncongruen…
In recent work, Darmon, Pozzi and Vonk explicitly construct a modular form whose spectral coefficients are $p$-adic logarithms of Gross-Stark units and Stark-Heegner points. Here we describe how this construction gives rise to a practical…
In the literature, the standard approach to finding bases of spaces of modular forms is via modular symbols and the homology of modular curves. By using the Eichler-Shimura isomorphism, a work by Wang shows how one can use a cohomological…
We study the class of 3-dimensional nonlinear 2-hessian equations mentioned in the text. We perform preliminary group classification on 2-hessian equation. In fact, we find additional equivalence transformation on the space (x,y,z,u,f),…
In this note, we show that the algebraicity of the Fourier coefficients of half-integral weight modular forms can be determined by checking the algebraicity of the first few of them. We also give a necessary and sufficient condition for a…
We define the notion of a $G$-structure for elliptic curves, where $G$ is a finite 2-generated group. When $G$ is abelian, a $G$-structure is the same as a classical congruence level structure. There is a natural action of…
We find some modularity criterion for a product of Klein forms of the congruence subgroup $\Gamma_1(N)$ and, as its application, construct a basis of the space of modular forms for $\Gamma_1(13)$ of weight $2$. In the process we face with…
This paper proposes an efficient algorithm (HOLRR) to handle regression tasks where the outputs have a tensor structure. We formulate the regression problem as the minimization of a least square criterion under a multilinear rank…
This is a book about computational aspects of modular forms and the Galois representations attached to them. The main result is the following: Galois representations over finite fields attached to modular forms of level one can, in almost…
Recently, Nadji, Ahmia and Ram\'{i}rez \cite{Nadji2025} investigate the arithmetic properties of ${\bar B}_{\ell_1,\ell_2}(n)$, the number of overpartitions where no part is divisible by $\ell_1$ or $\ell_2$ with $\gcd(\ell_1,\ell_2)$$=1$…
We develop a new least squares method for solving the second-order elliptic equations in non-divergence form. Two least-squares-type functionals are proposed for solving the equations in two steps. We first obtain a numerical approximation…
The aim of this paper is to present an explicit reduction algorithm for Hilbert modular groups over arbitrary totally real number fields. An implementation of the algorithm is available to download from [19]. The exposition is…
Modular composition is the problem of computing the composition of two univariate polynomials modulo a third one. For a long time, the fastest algebraic algorithm for this problem was that of Brent and Kung (1978). Recently, we improved…
In this paper we classify and give Kazhdan-Lusztig type character formulas for equivariantly irreducible representations of Lie algebras of reductive algebraic groups over a field of large positive characteristic. The equivariance is with…
Moduli of rings and quadrilaterals are frequently applied in geometric function theory, see e.g. the Handbook by K\"uhnau. Yet their exact values are known only in a few special cases. Previously, the class of planar domains with polygonal…
Let $\mathcal{R}$ be a free Lie conformal algebra of rank $2$ with $\mathbb{C}[\partial]$-basis $\{L,I\}$ and relations \begin{eqnarray*} \left[L_{\lambda} L\right]=(\partial+2 \lambda) (L+I),\ \left[L_{\lambda} I\right]=(\partial+\lambda)…
We study the congruence problem for subgroups of the modular group that appear as Veech groups of square-tiled surfaces in the minimal stratum of abelian differentials of genus two.
Higher-order modal fixpoint logic (HFL) is a higher-order extension of the modal mu-calculus, and strictly more expressive than the modal mu-calculus. It has recently been shown that various program verification problems can naturally be…
The discrete logarithm problem in Jacobians of curves of high genus $g$ over finite fields $\FF_q$ is known to be computable with subexponential complexity $L_{q^g}(1/2, O(1))$. We present an algorithm for a family of plane curves whose…
Our recent extension of Arnold's classification includes all singularities of corank up to two equivalent to a germ with a non-degenerate Newton boundary, thus broadening the classification's scope significantly by a class which is…
We prove a formula of Petersson's type for Fourier coefficients of Siegel cusp forms of degree 2 with respect to congruence subgroups, and as a corollary, show upper bound estimates of individual Fourier coefficient. The method in this…