Showing 1–24 of 24 results for author: Matsusaka, T

Eichler-Selberg relations for singular moduli

Authors: Yuqi Deng, Toshiki Matsusaka, Ken Ono

Abstract: The Eichler-Selberg trace formula expresses the trace of Hecke operators on spaces of cusp forms as weighted sums of Hurwitz-Kronecker class numbers. We extend this formula to a natural class of relations for traces of singular moduli, where one views class numbers as traces of the constant function $j_0(τ)=1$. More generally, we consider the singular moduli for the Hecke system of modular functio… ▽ More The Eichler-Selberg trace formula expresses the trace of Hecke operators on spaces of cusp forms as weighted sums of Hurwitz-Kronecker class numbers. We extend this formula to a natural class of relations for traces of singular moduli, where one views class numbers as traces of the constant function $j_0(τ)=1$. More generally, we consider the singular moduli for the Hecke system of modular functions \[ j_m(τ) := mT_m \left(j(τ)-744\right). \] For each $ν\geq 0$ and $m\geq 1$, we obtain an Eichler-Selberg relation. For $ν=0$ and $m\in \{1, 2\},$ these relations are Kaneko's celebrated singular moduli formulas for the coefficients of $j(τ).$ For each $ν\geq 1$ and $m\geq 1,$ we obtain a new Eichler-Selberg trace formula for the Hecke action on the space of weight $2ν+2$ cusp forms, where the traces of $j_m(τ)$ singular moduli replace Hurwitz-Kronecker class numbers. These formulas involve a new term that is assembled from values of symmetrized shifted convolution $L$-functions. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 21 pages

MSC Class: 11F37; 11F50; 11F67

A discretization of the iterated integral expression of the multiple polylogarithm

Authors: Minoru Hirose, Toshiki Matsusaka, Shin-ichiro Seki

Abstract: Recently, Maesaka, Watanabe, and the third author discovered a phenomenon where the iterated integral expressions of multiple zeta values become discretized. In this paper, we extend their result to the case of multiple polylogarithms and provide two proofs. The first proof uses the method of connected sums, while the second employs induction based on the difference equations that discrete multipl… ▽ More Recently, Maesaka, Watanabe, and the third author discovered a phenomenon where the iterated integral expressions of multiple zeta values become discretized. In this paper, we extend their result to the case of multiple polylogarithms and provide two proofs. The first proof uses the method of connected sums, while the second employs induction based on the difference equations that discrete multiple polylogarithms satisfy. We also investigate several applications of our main result. △ Less

Submitted 23 April, 2024; originally announced April 2024.

Comments: 29 pages

MSC Class: 11M32

On integrality and asymptotic behavior of the $(k, l)$-Göbel sequences

Authors: Hibiki Gima, Toshiki Matsusaka, Taichi Miyazaki, Shunta Yara

Abstract: Recently, Matsuhira, Matsusaka, and Tsuchida revisited old studies on the integrality of $k$-Göbel sequences and showed that the first 19 terms are always integers for any integer $k\ge 2$. In this article, we further explore two topics: Ibstedt's $(k,l)$-Göbel sequences and Zagier's asymptotic formula for the $2$-Göbel sequence, and extend their results. Recently, Matsuhira, Matsusaka, and Tsuchida revisited old studies on the integrality of $k$-Göbel sequences and showed that the first 19 terms are always integers for any integer $k\ge 2$. In this article, we further explore two topics: Ibstedt's $(k,l)$-Göbel sequences and Zagier's asymptotic formula for the $2$-Göbel sequence, and extend their results. △ Less

Submitted 14 February, 2024; originally announced February 2024.

Comments: 10 pages

MSC Class: Primary 11B37; Secondary 11B50

On finite analogues of Euler's constant

Authors: Masanobu Kaneko, Toshiki Matsusaka, Shin-ichiro Seki

Abstract: We introduce and study finite analogues of Euler's constant in the same setting as finite multiple zeta values. We define a couple of candidate values from the perspectives of a ``regularized value of $ζ(1)$'' and of Mascheroni's and Kluyver--Nörlund's series expressions of Euler's constant using Gregory coefficients. Moreover, we reveal that the differences between them always lie in the… ▽ More We introduce and study finite analogues of Euler's constant in the same setting as finite multiple zeta values. We define a couple of candidate values from the perspectives of a ``regularized value of $ζ(1)$'' and of Mascheroni's and Kluyver--Nörlund's series expressions of Euler's constant using Gregory coefficients. Moreover, we reveal that the differences between them always lie in the $\mathbb{Q}$-vector space spanned by 1 and values of a finite analogue of logarithm at positive integers. △ Less

Submitted 18 January, 2024; originally announced January 2024.

Comments: 14 pages

MSC Class: 11M32; 11B68; 11A07

Asymptotic coefficients of multiple zeta functions at the origin and generalized Gregory coefficients

Authors: Toshiki Matsusaka, Hideki Murahara, Tomokazu Onozuka

Abstract: Due to their singularities, multiple zeta functions behave sensitively at non-positive integer points. In this article, we focus on the asymptotic behavior at the origin $(0,\dots, 0)$ and unveil the generating series of the asymptotic coefficients as a generalization of the classical Gregory coefficients. This enables us to reveal the underlying symmetry of the asymptotic coefficients. Additional… ▽ More Due to their singularities, multiple zeta functions behave sensitively at non-positive integer points. In this article, we focus on the asymptotic behavior at the origin $(0,\dots, 0)$ and unveil the generating series of the asymptotic coefficients as a generalization of the classical Gregory coefficients. This enables us to reveal the underlying symmetry of the asymptotic coefficients. Additionally, we extend the relationship between the asymptotic coefficients and the Gregory coefficients to include Hurwitz multiple zeta functions. △ Less

Submitted 22 December, 2023; originally announced December 2023.

MSC Class: 11M32; 11B68

Arithmetic Dijkgraaf-Witten invariants for real quadratic fields, quadratic residue graphs, and density formulas

Authors: Yuqi Deng, Riku Kurimaru, Toshiki Matsusaka

Abstract: We compute Hirano's formula for the mod 2 arithmetic Dijkgraaf-Witten invariant ${Z}_k$ for the ring of integers of the quadratic field $k=\mathbb{Q}(\sqrt{p_1\cdots p_r})$, where ${p_i}$'s are distinct prime numbers with $p_i \equiv 1 \pmod{4}$, and give a simple formula for $Z_k$ in terms of the graph obtained from quadratic residues among $p_1,\cdots, p_r$. Our result answers the question posed… ▽ More We compute Hirano's formula for the mod 2 arithmetic Dijkgraaf-Witten invariant ${Z}_k$ for the ring of integers of the quadratic field $k=\mathbb{Q}(\sqrt{p_1\cdots p_r})$, where ${p_i}$'s are distinct prime numbers with $p_i \equiv 1 \pmod{4}$, and give a simple formula for $Z_k$ in terms of the graph obtained from quadratic residues among $p_1,\cdots, p_r$. Our result answers the question posed by Ken Ono. We also give a density formula for mod 2 arithmetic Dijkgraaf-Witten invariants. △ Less

Submitted 10 August, 2023; originally announced August 2023.

Comments: 16 pages

How long can $k$-Göbel sequences remain integers?

Authors: Rinnosuke Matsuhira, Toshiki Matsusaka, Koki Tsuchida

Abstract: Inspired by Episode 3 of the Japanese manga "Seisu-tan" by Doom Kobayashi and Shin-ichiro Seki, we investigate the $k$-Göbel sequence $(g_{k,n})_n$ named after Fritz Göbel. Although the sequence is generally defined as rational, quite a few initial terms behave like an integer sequence. This article addresses a question raised in Seisu-tan and shows that $g_{k,n}$ is always an integer for any… ▽ More Inspired by Episode 3 of the Japanese manga "Seisu-tan" by Doom Kobayashi and Shin-ichiro Seki, we investigate the $k$-Göbel sequence $(g_{k,n})_n$ named after Fritz Göbel. Although the sequence is generally defined as rational, quite a few initial terms behave like an integer sequence. This article addresses a question raised in Seisu-tan and shows that $g_{k,n}$ is always an integer for any $k \geq 2$ and $0 \leq n \leq 18$. △ Less

Submitted 18 July, 2023; originally announced July 2023.

Comments: 6 pages

MSC Class: 11B37; 11B50

Curious congruences for cyclotomic polynomials II

Authors: Toshiki Matsusaka, Genki Shibukawa

Abstract: We promote the recent research by Akiyama and Kaneko on the higher-order derivative values $Φ_n^{(k)}(1)$ of the cyclotomic polynomials. This article focuses on Lehmer's explicit formula of $Φ_n^{(k)}(1)/Φ_n(1)$ as a polynomial of the Euler and Jordan totient functions over $\mathbb{Q}$. Then we prove Akiyama-Kaneko's conjecture that the polynomials have a specific simple factor. We promote the recent research by Akiyama and Kaneko on the higher-order derivative values $Φ_n^{(k)}(1)$ of the cyclotomic polynomials. This article focuses on Lehmer's explicit formula of $Φ_n^{(k)}(1)/Φ_n(1)$ as a polynomial of the Euler and Jordan totient functions over $\mathbb{Q}$. Then we prove Akiyama-Kaneko's conjecture that the polynomials have a specific simple factor. △ Less

Submitted 1 May, 2023; originally announced May 2023.

Comments: 7 pages

MSC Class: 11A25; 11R18

Hikami's observations on unified WRT invariants and false theta functions

Authors: Toshiki Matsusaka

Abstract: The object of this article is a family of $q$-series originating from Habiro's work on the Witten-Reshetikhin-Turaev invariants. The $q$-series usually make sense only when $q$ is a root of unity, but for some instances, it also determines a holomorphic function on the open unit disc. Such an example is Habiro's unified WRT invariant $H(q)$ for the Poincaré homology sphere. In 2007, Hikami observe… ▽ More The object of this article is a family of $q$-series originating from Habiro's work on the Witten-Reshetikhin-Turaev invariants. The $q$-series usually make sense only when $q$ is a root of unity, but for some instances, it also determines a holomorphic function on the open unit disc. Such an example is Habiro's unified WRT invariant $H(q)$ for the Poincaré homology sphere. In 2007, Hikami observed its discontinuity at roots of unity. More precisely, the value of $H(ζ)$ at a root of unity is $1/2$ times the limit value of $H(q)$ as $q$ tends towards $ζ$ radially within the unit disc. In this article, we explain the appearance of the $1/2$-factor and generalize Hikami's observations by using Bailey's lemma and the theory of false theta functions. △ Less

Submitted 10 April, 2023; v1 submitted 12 December, 2022; originally announced December 2022.

Comments: 29 pages

MSC Class: 11F27; 57K16

Remarkable relations between the central binomial series, Eulerian polynomials, and poly-Bernoulli numbers

Authors: Beáta Bényi, Toshiki Matsusaka

Abstract: The central binomial series at negative integers are expressed as a linear combination of values of certain two polynomials. We show that one of the polynomials is a special value of the bivariate Eulerian polynomial and the other polynomial is related to the antidiagonal sum of poly-Bernoulli numbers. As an application, we prove Stephan's observation from 2004. The central binomial series at negative integers are expressed as a linear combination of values of certain two polynomials. We show that one of the polynomials is a special value of the bivariate Eulerian polynomial and the other polynomial is related to the antidiagonal sum of poly-Bernoulli numbers. As an application, we prove Stephan's observation from 2004. △ Less

Submitted 1 July, 2022; originally announced July 2022.

Comments: 7 pages, to appear in Kyushu Journal of Mathematics, This article is an improvement of the second half of arXiv:2106.05585v1

MSC Class: 11B68; 05A05

Modular transformations of homological blocks for Seifert fibered homology $3$-spheres

Authors: Toshiki Matsusaka, Yuji Terashima

Abstract: In this article, for any Seifert fibered integral homology 3-sphere, we give explicit modular transformation formulas of homological blocks introduced by Gukov-Pei-Putrov-Vafa. Moreover, based on the modular transformation formulas, we have explicit asymptotic expansion formulas for the Witten-Reshetikhin-Turaev invariants which give a new proof of a version by Andersen of the Witten asymptotic co… ▽ More In this article, for any Seifert fibered integral homology 3-sphere, we give explicit modular transformation formulas of homological blocks introduced by Gukov-Pei-Putrov-Vafa. Moreover, based on the modular transformation formulas, we have explicit asymptotic expansion formulas for the Witten-Reshetikhin-Turaev invariants which give a new proof of a version by Andersen of the Witten asymptotic conjecture. △ Less

Submitted 27 July, 2023; v1 submitted 12 December, 2021; originally announced December 2021.

Comments: 22 pages, 1 figure, We have added Proposition 3.14 and corrected minor mistakes in the arguments in Section 5

MSC Class: 57K31; 57K16; 11F37

Modular knots, automorphic forms, and the Rademacher symbols for triangle groups

Authors: Toshiki Matsusaka, Jun Ueki

Abstract: É.Ghys proved that the linking numbers of modular knots and the "missing" trefoil $K_{2,3}$ in $S^3$ coincide with the values of a highly ubiquitous function called the Rademacher symbol for ${\rm SL}_2\mathbb{Z}$. In this paper, we replace ${\rm SL}_2\mathbb{Z}=Γ_{2,3}$ by the triangle group $Γ_{p,q}$ for any coprime pair $(p,q)$ of integers with $2\leq p<q$. We invoke the theory of harmonic Maas… ▽ More É.Ghys proved that the linking numbers of modular knots and the "missing" trefoil $K_{2,3}$ in $S^3$ coincide with the values of a highly ubiquitous function called the Rademacher symbol for ${\rm SL}_2\mathbb{Z}$. In this paper, we replace ${\rm SL}_2\mathbb{Z}=Γ_{2,3}$ by the triangle group $Γ_{p,q}$ for any coprime pair $(p,q)$ of integers with $2\leq p<q$. We invoke the theory of harmonic Maass forms for $Γ_{p,q}$ to introduce the notion of the Rademacher symbol $ψ_{p,q}$, and provide several characterizations. Among other things, we generalize Ghys's theorem for modular knots around any "missing" torus knot $K_{p,q}$ in $S^3$ and in a lens space. △ Less

Submitted 2 April, 2022; v1 submitted 2 September, 2021; originally announced September 2021.

Comments: 34 pages, 1 figure; v2: Section 5 is refined; The Sarnak-Mozzochi formula for $Γ_{p,q}$ is added

MSC Class: Primary 11F37; 57M10; Secondary 11F20; 57K10

Bijective enumerations for symmetrized poly-Bernoulli polynomials

Authors: Minoru Hirose, Toshiki Matsusaka, Ryutaro Sekigawa, Hyuga Yoshizaki

Abstract: Recently, Bényi and the second author introduced two combinatorial interpretations for symmetrized poly-Bernoulli polynomials. In the present study, we construct bijections between these combinatorial objects. We also define various combinatorial polynomials and prove that all of these polynomials coincide with symmetrized poly-Bernoulli polynomials. Recently, Bényi and the second author introduced two combinatorial interpretations for symmetrized poly-Bernoulli polynomials. In the present study, we construct bijections between these combinatorial objects. We also define various combinatorial polynomials and prove that all of these polynomials coincide with symmetrized poly-Bernoulli polynomials. △ Less

Submitted 26 July, 2021; originally announced July 2021.

Comments: 15 pages

Combinatorial aspects of poly-Bernoulli polynomials and poly-Euler numbers

Authors: Beáta Bényi, Toshiki Matsusaka

Abstract: In this article, we introduce combinatorial models for poly-Bernoulli polynomials and poly-Euler numbers of both kinds. As their applications, we provide combinatorial proofs of some identities involving poly-Bernoulli polynomials. In this article, we introduce combinatorial models for poly-Bernoulli polynomials and poly-Euler numbers of both kinds. As their applications, we provide combinatorial proofs of some identities involving poly-Bernoulli polynomials. △ Less

Submitted 1 July, 2022; v1 submitted 10 June, 2021; originally announced June 2021.

Comments: 17 pages, to appear in Journal de Théorie des Nombres de Bordeaux, This article is an improvement of the first half of arXiv:2106.05585v1

MSC Class: 05A05; 05A19; 11B68

On the behavior of multiple zeta-functions with identical arguments on the real line

Authors: Kohji Matsumoto, Toshiki Matsusaka, Ilija Tanackov

Abstract: We study the behavior of $r$-fold zeta-functions of Euler-Zagier type with identical arguments $ζ_r(s,s,\ldots,s)$ on the real line. Our basic tool is an "infinite'' version of Newton's classical identities. We carry out numerical computations, and draw graphs of $ζ_r(s,s,\ldots,s)$ for real $s$, for several small values of $r$. Those graphs suggest various properties of $ζ_r(s,s,\ldots,s)$, some… ▽ More We study the behavior of $r$-fold zeta-functions of Euler-Zagier type with identical arguments $ζ_r(s,s,\ldots,s)$ on the real line. Our basic tool is an "infinite'' version of Newton's classical identities. We carry out numerical computations, and draw graphs of $ζ_r(s,s,\ldots,s)$ for real $s$, for several small values of $r$. Those graphs suggest various properties of $ζ_r(s,s,\ldots,s)$, some of which we prove rigorously. When $s \in [0,1]$, we show that $ζ_r(s,s,\ldots,s)$ has $r$ asymptotes at $\Re s=1/k$ ($1\leq k\leq r$), and determine the asymptotic behavior of $ζ_r(s,s,\ldots,s)$ close to those asymptotes. Numerical computations establish the existence of several real zeros for $2\leq r\leq 10$ (in which only the case $r=2$ was previously known). Based on those computations, we raise a conjecture on the number of zeros for general $r$, and gives a formula for calculating the number of zeros. We also consider the behavior of $ζ_r(s,s,\ldots,s)$ outside the interval $[0,1]$. We prove asymptotic formulas for $ζ_r(-k,-k,\ldots,-k)$, where $k$ takes odd positive integer values and tends to $+\infty$. Moreover, on the number of real zeros of $ζ_r(s,s,\ldots,s)$, we prove that there are exactly $(r-1)$ real zeros on the interrval $(-2n,-2(n-1))$ for any $n \geq 2$. △ Less

Submitted 14 December, 2020; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: 26 pages, 12 figures. We combined two preprints (arXiv:2012.01712 and arXiv:2012.01720v1) into one article

MSC Class: 11M32; 11B83; 11M35

Linear Diophantine equations in Piatetski-Shapiro sequences

Authors: Toshiki Matsusaka, Kota Saito

Abstract: A Piatetski-Shapiro sequence with exponent $α$ is a sequence of integer parts of $n^α$ $(n = 1,2,\ldots)$ with a non-integral $α> 0$. We let $\mathrm{PS}(α)$ denote the set of those terms. In this article, we study the set of $α$ so that the equation $ax + by = cz$ has infinitely many pairwise distinct solutions $(x,y,z) \in \mathrm{PS}(α)^3$, and give a lower bound for its Hausdorff dimension. As… ▽ More A Piatetski-Shapiro sequence with exponent $α$ is a sequence of integer parts of $n^α$ $(n = 1,2,\ldots)$ with a non-integral $α> 0$. We let $\mathrm{PS}(α)$ denote the set of those terms. In this article, we study the set of $α$ so that the equation $ax + by = cz$ has infinitely many pairwise distinct solutions $(x,y,z) \in \mathrm{PS}(α)^3$, and give a lower bound for its Hausdorff dimension. As a corollary, we find uncountably many $α> 2$ such that $\mathrm{PS}(α)$ contains infinitely many arithmetic progressions of length $3$. △ Less

Submitted 10 November, 2020; v1 submitted 27 September, 2020; originally announced September 2020.

Comments: 21 pages

MSC Class: Primary:11K55; Secondary:11D04

Journal ref: Acta Arithmetica 200 (2021), 91-110

On the combinatorics of symmetrized poly-Bernoulli numbers

Authors: Beáta Bényi, Toshiki Matsusaka

Abstract: In this paper we introduce three combinatorial models for symmetrized poly-Bernoulli numbers. Based on our models we derive generalizations of some identities for poly-Bernoulli numbers. Finally, we set open questions and directions of further studies. In this paper we introduce three combinatorial models for symmetrized poly-Bernoulli numbers. Based on our models we derive generalizations of some identities for poly-Bernoulli numbers. Finally, we set open questions and directions of further studies. △ Less

Submitted 27 July, 2020; originally announced July 2020.

MSC Class: 05A19; 11B68

Symmetrized poly-Bernoulli numbers and combinatorics

Authors: Toshiki Matsusaka

Abstract: Poly-Bernoulli numbers are one of generalizations of the classical Bernoulli numbers. Since a negative index poly-Bernoulli number is an integer, it is an interesting problem to study this number from combinatorial viewpoint. In this short article, we give a new combinatorial relation between symmetrized poly-Bernoulli numbers and the Dumont-Foata polynomials. Poly-Bernoulli numbers are one of generalizations of the classical Bernoulli numbers. Since a negative index poly-Bernoulli number is an integer, it is an interesting problem to study this number from combinatorial viewpoint. In this short article, we give a new combinatorial relation between symmetrized poly-Bernoulli numbers and the Dumont-Foata polynomials. △ Less

Submitted 27 March, 2020; originally announced March 2020.

Comments: 5 pages, 3 figures

A Hyperbolic Analogue of the Rademacher Symbol

Authors: Toshiki Matsusaka

Abstract: One of the most famous results of Dedekind is the transformation law of $\log Δ(z)$. After a half-century, Rademacher modified Dedekind's result and introduced an $\mathrm{SL}_2(\mathbb{Z})$-conjugacy class invariant (integer-valued) function $Ψ(γ)$ called the Rademacher symbol. Inspired by Ghys' work on modular knots, Duke-Imamoglu-Tóth (2017) constructed a hyperbolic analogue of the symbol. In… ▽ More One of the most famous results of Dedekind is the transformation law of $\log Δ(z)$. After a half-century, Rademacher modified Dedekind's result and introduced an $\mathrm{SL}_2(\mathbb{Z})$-conjugacy class invariant (integer-valued) function $Ψ(γ)$ called the Rademacher symbol. Inspired by Ghys' work on modular knots, Duke-Imamoglu-Tóth (2017) constructed a hyperbolic analogue of the symbol. In this article, we study their hyperbolic analogue of the Rademacher symbol $Ψ_γ(σ)$ and provide its two types of explicit formulas by comparing it with the classical Rademacher symbol. In association with it, we contrastively show Kronecker limit type formulas of the parabolic, elliptic, and hyperbolic Eisenstein series. These limits give harmonic, polar harmonic, and locally harmonic Maass forms of weight 2. △ Less

Submitted 4 March, 2024; v1 submitted 27 March, 2020; originally announced March 2020.

Comments: 38 pages. This article is published in Mathematische Annalen. It differs from v3 with the addition of a new Appendix B. Furthermore, while Appendix C has been removed in the published version, it remains unchanged in this preprint

MSC Class: Primary 11F20; Secondary 11F37

Traces of CM values and cycle integrals of polyharmonic Maass forms

Authors: Toshiki Matsusaka

Abstract: Lagarias and Rhoades generalized harmonic Maass forms by considering forms which are annihilated by a number of iterations of the action of the xi-operator. In our previous work, we considered polyharmonic weak Maass forms by allowing the exponential growth at cusps, and constructed a basis of the space of such forms. This paper focuses on the case of half-integral weight. We construct a basis as… ▽ More Lagarias and Rhoades generalized harmonic Maass forms by considering forms which are annihilated by a number of iterations of the action of the xi-operator. In our previous work, we considered polyharmonic weak Maass forms by allowing the exponential growth at cusps, and constructed a basis of the space of such forms. This paper focuses on the case of half-integral weight. We construct a basis as an analogue of our work, and give arithmetic formulas for the Fourier coefficients in terms of traces of CM values and cycle integrals of polyharmonic weak Maass forms. These results put the known results into a common framework. △ Less

Submitted 12 December, 2018; v1 submitted 5 May, 2018; originally announced May 2018.

Comments: 23 pages, added Theorem 1.3 according to the first referees' comments. This is a pre-print of an article published in Research in Number Theory. The final authenticated version (after the second referee reports) will be available at DOI: 10.1007/s40993-018-0148-4

MSC Class: 11F37; 11F12

Polyharmonic weak Maass forms of higher depth for SL_2(Z)

Authors: Toshiki Matsusaka

Abstract: The space of polyharmonic Maass forms was introduced by Lagarias-Rhoades, recently. They constructed its basis from the Taylor coefficients of the real analytic Eisenstein series. In this paper, we introduce polyharmonic weak Maass forms, that is, we relax the moderate growth condition at cusp, and we construct a basis as a generalization of Lagarias-Rhoades' works. As a corollary, we can obtain a… ▽ More The space of polyharmonic Maass forms was introduced by Lagarias-Rhoades, recently. They constructed its basis from the Taylor coefficients of the real analytic Eisenstein series. In this paper, we introduce polyharmonic weak Maass forms, that is, we relax the moderate growth condition at cusp, and we construct a basis as a generalization of Lagarias-Rhoades' works. As a corollary, we can obtain a preimage of an arbitrary polyharmonic weak Maass form under the xi-operator. △ Less

Submitted 12 June, 2018; v1 submitted 7 January, 2018; originally announced January 2018.

Comments: 21 pages

MSC Class: 11F37; 11F12

The Fourier coefficients of the McKay-Thompson series and the traces of CM values

Authors: Toshiki Matsusaka

Abstract: The elliptic modular j function enjoys many beautiful properties. Its Fourier coefficients are related to the Monster group, and its CM values generate abelian extensions over imaginary quadratic fields. Kaneko gave an arithmetic formula for the Fourier coefficients expressed in terms of the traces of the CM values. In this article, we are concerned with analogues of Kaneko's result for the McKay-… ▽ More The elliptic modular j function enjoys many beautiful properties. Its Fourier coefficients are related to the Monster group, and its CM values generate abelian extensions over imaginary quadratic fields. Kaneko gave an arithmetic formula for the Fourier coefficients expressed in terms of the traces of the CM values. In this article, we are concerned with analogues of Kaneko's result for the McKay-Thompson series of square-free level. △ Less

Submitted 31 August, 2017; v1 submitted 29 March, 2017; originally announced March 2017.

Comments: 18 pages

MSC Class: 11F03; 11F22; 11F30; 11F50; 11G15

Real zeros of the Hurwitz zeta function

Authors: Toshiki Matsusaka

Abstract: It is well known that real zeros of the Riemann zeta function are negative even integers. As for real zeros of the Hurwitz zeta function, T. Nakamura recently gave an existence condition in the intervals (0,1) and (-1,0). We generalize this result for all negative real numbers. It is well known that real zeros of the Riemann zeta function are negative even integers. As for real zeros of the Hurwitz zeta function, T. Nakamura recently gave an existence condition in the intervals (0,1) and (-1,0). We generalize this result for all negative real numbers. △ Less

Submitted 1 October, 2017; v1 submitted 25 October, 2016; originally announced October 2016.

Comments: 11 pages

MSC Class: 11M35; 11M20

Arithmetic formulas for the Fourier coefficients of Hauptmoduln of level 2, 3, and 5

Authors: Toshiki Matsusaka, Ryotaro Osanai

Abstract: We give arithmetic formulas for the coefficients of Hauptmoduln of higher levels as analogues of Kaneko's result. We also obtain their asymptotic formulas by employing Murty-Sampath's method. We give arithmetic formulas for the coefficients of Hauptmoduln of higher levels as analogues of Kaneko's result. We also obtain their asymptotic formulas by employing Murty-Sampath's method. △ Less

Submitted 29 March, 2017; v1 submitted 21 February, 2016; originally announced February 2016.

Comments: 9 pages

MSC Class: 11F30; 11N37