Related papers: Exact Russell-Type Modular Equations
We study the topological $\mu$-calculus, based on both Cantor derivative and closure modalities, proving completeness, decidability and FMP over general topological spaces, as well as over $T_0$ and $T_D$ spaces. We also investigate…
We study the modularity of the functions of the form $r(\tau)^ar(2\tau)^b$, where $a$ and $b$ are integers with $(a,b)\neq (0,0)$ and $r(\tau)$ is the Rogers-Ramanujan continued fraction, which may be considered as companions to the…
We find a new approach to computing the remainder of a polynomial modulo $x^n-1$; such a computation is called modular enumeration. Given a polynomial with coefficients from a commutative $\mathbb{Q}$-algebra, our first main result…
In their work, Serre and Swinnerton-Dyer study the congruence properties of the Fourier coefficients of modular forms. We examine similar congruence properties, but for the coefficients of a modified Taylor expansion about a CM point…
In this paper, we prove the existence of an efficient algorithm for the computation of $q$-expansions of modular forms of weight $k$ and level $\Gamma$, where $\Gamma \subseteq SL_{2}({\mathbb{Z}})$ is an arbitrary congruence subgroup. We…
We compute the exact thermal partition functions of a massive scalar field on flat spacetime backgrounds of the form $\mathbb R^{d-q}\times \mathbb T^{q+1}$ and show that they possess an ${\rm SL}(q+1,\mathbb Z)$ symmetry. Non-trivial…
Recently, a beautiful paper of Andrews and Sellers has established linear congruences for the Fishburn numbers modulo an infinite set of primes. Since then, a number of authors have proven refined results, for example, extending all of…
We find and prove a factorization formula for certain Macdonald Littlewood-Richardson coefficients $c_{\lambda\mu}^{\nu}(q,t)$. Namely, we consider the case that the Kostka number $K_{\mu, \nu -\lambda}$ is $1$. This settles a particular…
We study (support) $\tau$-tilting modules over the trivial extensions of finite dimensional algebras. More precisely, we construct two classes of (support)$\tau$-tilting modules in terms of the adjoint functors which extend and generalize…
Let $\lambda$ be an integer, and $f(z)=\sum_{n\gg-\infty} a(n)q^n$ be a weakly holomorphic modular form of weight $\lambda+\frac 12$ on $\Gamma_0(4)$ with integral coefficients. Let $\ell\geq 5$ be a prime. Assume that the constant term…
We prove new mean value theorems for primes in arithmetic progressions to moduli larger than $x^{1/2}$. Our main result shows that the primes are equidistributed for a fixed residue class over all moduli of size $x^{1/2+\delta}$ with a…
Let $\mathrm{JT}_\lambda$ be the Jacobi-Trudi matrix corresponding to the partition $\lambda$, so $\det\mathrm{JT}_\lambda$ is the Schur function $s_\lambda$ in the variables $x_1,x_2,\dots$. Set $x_1=\cdots=x_n=1$ and all other $x_i=0$.…
We extend some results recently obtained by Dan Romik about the Taylor coefficients of the theta function $\theta_{3}\left(1\right)$ to the case $\theta_{3}\left(q\right)$ of an arbitrary value of the elliptic modulus $k.$ These results are…
In this paper, we present an extension of $\lambda\mu$-calculus called $\lambda\mu^{++}$-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on…
In this Ph.D dissertation (University of Virginia, 2022), we prove results about the coefficients of partition-theoretic generating functions and of coefficients of integer weight modular forms. Using various forms of the circle method, we…
We give closed formulas for the first few expansion coefficients of the basic modular forms for \(\mathrm{GL}(r, \mathbb{F}_{q}[T])\). Here the rank \(r\) is larger or equal to \(3\), and the forms in question include the coefficient forms…
The differential $\lambda$-calculus studies how the quantitative aspects of programs correspond to differentiation and to Taylor expansion inside models of linear logic. Recent work has generalized the axioms of Taylor expansion so they…
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…
The Littlewood-Richardson coefficients $c^\nu_{\lambda,\mu}$ are the multiplicities in the tensor product decomposition of two irreducible representations of the general linear group GL$(n, {\mathbb C})$. They are parametrized by the…
By double ideal quotient, we mean $(I:(I:J))$ where ideals $I$ and $J$. In our previous work [11], double ideal quotient and its variants are shown to be very useful for checking prime divisor and generating primary component. Combining…