Rulesets for Beatty games

We describe a ruleset for a 2-pile subtraction game with P-positions \(\{(\lfloor \alpha n \rfloor ,\lfloor \beta n \rfloor ) : n \in \mathbb Z_{\ge 0} \}\) for any irrational \(1< \alpha < 2\), and \(\beta \) such that \(1/\alpha +1/\beta = 1\). We determine the \(\alpha \)’s for which the game can be represented as a finite modification of t-Wythoff (Holladay, Math Mag 41:7–13, 1968; Fraenkel, Am Math Mon 89(6):353–361, 1982) and describe this modification.     

Absolute Cesàro Series Spaces and Matrix Operators

In this paper we derive a series space \(\vert C_{\lambda,\mu} \vert _{k}\) using the well known absolute Cesàro summability \(\vert C_{\lambda,\mu} \vert _{k}\) of Das (Proc. Camb. Philol. Soc. 67:321–326, 1970), compute its \(\beta\)-dual, give some algebraic and topological properties, and characterize some matrix operators defined on that space. So we generalize some results of Bosanquet (J. Lond. Math. Soc. 20:39–48, 1945), Flett (Proc. Lond. Math. Soc. 7:113–141, 1957), Mehdi (Proc. Lond. Math. Soc. (3)10:180–199, 1960), Mazhar (Tohoku Math. J. 23:433–451, 1971), Orhan and Sar?göl (Rocky Mt. J. Math. 23(3):1091–1097, 1993) and Sar?göl (Commun. Math. Appl. 7(1):11–22, 2016; Math. Comput. Model. 55:1763–1769, 2012).     

On a class of maximality principles

We study various classes of maximality principles, \(\mathrm {MP}(\kappa ,\Gamma )\), introduced by Hamkins (J Symb Log 68(2):527–550, 2003), where \(\Gamma \) defines a class of forcing posets and \(\kappa \) is an infinite cardinal. We explore the consistency strength and the relationship of \(\textsf {MP}(\kappa ,\Gamma )\) with various forcing axioms when \(\kappa \in \{\omega ,\omega _1\}\). In particular, we give a characterization of bounded forcing axioms for a class of forcings \(\Gamma \) in terms of maximality principles MP\((\omega _1,\Gamma )\) for \(\Sigma _1\) formulas. A significant part of the paper is devoted to studying the principle MP\((\kappa ,\Gamma )\) where \(\kappa \in \{\omega ,\omega _1\}\) and \(\Gamma \) defines the class of stationary set preserving forcings. We show that MP\((\kappa ,\Gamma )\) has high consistency strength; on the other hand, if \(\Gamma \) defines the class of proper forcings or semi-proper forcings, then by Hamkins (2003), MP\((\kappa ,\Gamma )\) is consistent relative to \(V=L\).     

A note on signs of Fourier coefficients of two cusp forms

Kohnen and Sengupta (Proc. Am. Math. Soc. 137(11) (2009) 3563–3567) showed that if two Hecke eigencusp forms of weight \(k_1\) and \(k_2\) respectively, with \(1<k_1<k_2\) over \(\Gamma _0({N})\), have totally real algebraic Fourier coefficients \(\lbrace a(n) \rbrace \) and \(\lbrace b(n) \rbrace \) respectively for \(n \ge 1\) with \(a(1)=1=b(1)\), then there exists an element \(\sigma \) of the absolute Galois group \(\mathrm{Gal}({\bar{\mathbb {Q}}}/{\mathbb {Q}})\) such that \(a(n)^{\sigma } b(n)^{\sigma } < 0\) for infinitely many n. Later Gun et al. (Arch. Math. (Basel) 105(5) (2015) 413–424) extended their result by showing that if two Hecke eigen cusp forms, with \(1<k_1<k_2\), have real Fourier-coefficients \(\lbrace a(n)\rbrace \) and \(\lbrace b(n)\rbrace \) for \(n \ge 1\) and \(a(1)b(1) \ne 0\), then there exists infinitely many n such that \(a(n)b(n) > 0\) and infinitely many n such that \(a(n)b(n) < 0\). When \(k_1=k_2\), the simultaneous sign changes of Fourier coefficients of two normalized Hecke eigen cusp forms follow from an earlier work of Ram Murty (Math. Ann. 262 (1983) 431–446). In this note, we compare the signs of the Fourier coefficients of two cusp forms simultaneously for the congruence subgroup \(\Gamma _0({N})\) where the coefficients lie in an arithmetic progression. Next, we consider an analogous question for the particular sparse sequences of Fourier coefficients of normalized Hecke eigencusp forms for the full modular group.     

A semigroup related to a convex combination of boundary conditions obtained as a result of averaging other semigroups

Let \({\alpha}\) be a bounded linear operator in a Banach space \({\mathbb{X}}\), and let A be a closed operator in this space. Suppose that for \({\Phi_1, \Phi_2}\) mapping D(A) to another Banach space \({\mathbb{Y}}\), \({A_{|{\rm ker}\, \Phi_1}}\) and \({A_{|{\rm ker}\, \Phi_2}}\) are generators of strongly continuous semigroups in \({\mathbb{X}}\). Assume finally that \({A_{|{\rm ker}\, \Phi_\text{a}}}\), where \({\Phi_\text{a} = \Phi_1 \alpha + \Phi_2 \beta}\) and \({\beta = I_\mathbb{X} - \alpha}\), is a generator also. In the case where \({\mathbb{X}}\) is an L ¹-type space, and \({\alpha}\) is an operator of multiplication by a function \({0 \le \alpha \le 1}\), it is tempting to think of the later semigroup as describing dynamics which, while at state x, is subject to the rules of \({A_{|{\rm ker}\, \Phi_1}}\) with probability \({\alpha (x)}\) and is subject to the rules of \({A_{|{\rm ker}\, \Phi_2}}\) with probability \({\beta (x)= 1 - \alpha (x)}\). We provide an approximation (a singular perturbation) of the semigroup generated by \({A_{|{\rm ker}\, \Phi_\text{a}}}\) by semigroups built from those generated by \({A_{|{\rm ker}\, \Phi_1}}\) and \({A_{|{\rm ker}\, \Phi_2}}\) that supports this intuition. This result is motivated by a model of dynamics of Solea solea (Arino et al. in SIAM J Appl Math 60(2):408–436, 1999–2000; Banasiak and Goswami in Discrete Continuous Dyn Syst Ser A 35(2):617–635, 2015; Banasiak et al. in J Evol Equ 11:121–154, 2011, Mediterr J Math 11(2):533–559, 2014; Banasiak and Lachowicz in Methods of small parameter in mathematical biology, Birkhäuser, 2014; Sanchez et al. in J Math Anal Appl 323:680–699, 2006) and is, in a sense, dual to those of Bobrowski (J Evol Equ 7(3):555–565, 2007), Bobrowski and Bogucki (Stud Math 189:287–300, 2008), where semigroups generated by convex combinations of Feller’s generators were studied.     

Zero varieties for the Nevanlinna class in weakly pseudoconvex domains of maximal type F in $$\mathbb {C}^2$$

Let \(\Omega \) be a bounded, uniformly totally pseudoconvex domain in \(\mathbb {C}^2\) with smooth boundary \(b\Omega \). Assume that \(\Omega \) is a domain admitting a maximal type F. Here, the condition maximal type F generalizes the condition of finite type in the sense of Range (Pac J Math 78(1):173–189, 1978; Scoula Norm Sup Pisa, pp 247–267, 1978) and includes many cases of infinite type. Let \(\alpha \) be a d-closed (1, 1)-form in \(\Omega \). We study the Poincaré–Lelong equation

$$\begin{aligned} i\partial \bar{\partial }u=\alpha \quad \text {on}\, \Omega \end{aligned}$$

in \(L^1(b\Omega )\) norm by applying the \(L^1(b\Omega )\) estimates for \(\bar{\partial }_b\)-equations in [11]. Then, we also obtain a prescribing zero set of Nevanlinna holomorphic functions in \(\Omega \).

     

Bilinear Fractional Integral Along Homogeneous Curves

The boundedness of the bilinear fractional integrals along homogeneous curves \(\gamma (t)=(t^{\alpha _1},t^{\alpha _2})\) with \(\alpha _2>\alpha _1\ge 1\) is obtained. The authors extend the results of the bilinear fractional integrals of Kenig and Stein (Math Res Lett 6:1–15, 1999) and Grafakos and Kalton (Math Ann 319(1):151–180, 2001) to integrals along the curves.     

On the Rationality of the Spectrum

Let \(\Omega \subset {\mathbb R}\) be a compact set with measure 1. If there exists a subset \(\Lambda \subset {\mathbb R}\) such that the set of exponential functions \(E_{\Lambda }:=\{e_\lambda (x) = e^{2\pi i \lambda x}|_\Omega :\lambda \in \Lambda \}\) is an orthonormal basis for \(L^2(\Omega )\), then \(\Lambda \) is called a spectrum for the set \(\Omega \). A set \(\Omega \) is said to tile \({\mathbb R}\) if there exists a set \(\mathcal T\) such that \(\Omega + \mathcal T = {\mathbb R}\), the set \(\mathcal T\) is called a tiling set. A conjecture of Fuglede suggests that spectra and tiling sets are related. Lagarias and Wang (Invent Math 124(1–3):341–365, 1996) proved that tiling sets are always periodic and are rational. That any spectrum is also a periodic set was proved in Bose and Madan (J Funct Anal 260(1):308–325, 2011) and Iosevich and Kolountzakis (Anal PDE 6:819–827, 2013). In this paper, we give some partial results to support the rationality of the spectrum.     

On Weyl’s Asymptotics and Remainder Term for the Orthogonal and Unitary Groups

We examine the asymptotics of the spectral counting function of a compact Riemannian manifold by Avakumovic (Math Z 65:327–344, [1]) and Hörmander (Acta Math 121:193–218, [15]) and show that for the scale of orthogonal and unitary groups \(\mathbf{SO}(N)\), \(\mathbf{SU}(N)\), \(\mathbf{U}(N)\) and \(\mathbf{Spin}(N)\) it is not sharp. While for negative sectional curvature improvements are possible and known, cf. e.g., Duistermaat and Guillemin (Invent Math 29:39–79, [7]), here, we give sharp and contrasting examples in the positive Ricci curvature case [non-negative for \(\mathbf{U}(N)\)]. Furthermore here the improvements are sharp and quantitative relating to the dimension and rank of the group. We discuss the implications of these results on the closely related problem of closed geodesics and the length spectrum.     

Comparison of graphs associated to a commutative Artinian ring

Let R be a commutative ring with \(1\ne 0\) and the additive group \(R^+\). Several graphs on R have been introduced by many authors, among zero-divisor graph \(\Gamma _1(R)\), co-maximal graph \(\Gamma _2(R)\), annihilator graph AG(R), total graph \( T(\Gamma (R))\), cozero-divisors graph \(\Gamma _\mathrm{c}(R)\), equivalence classes graph \(\Gamma _\mathrm{E}(R)\) and the Cayley graph \(\mathrm{Cay}(R^+ ,Z^*(R))\). Shekarriz et al. (J. Commun. Algebra, 40 (2012) 2798–2807) gave some conditions under which total graph is isomorphic to \(\mathrm{Cay}(R^+ ,Z^*(R))\). Badawi (J. Commun. Algebra, 42 (2014) 108–121) showed that when R is a reduced ring, the annihilator graph is identical to the zero-divisor graph if and only if R has exactly two minimal prime ideals. The purpose of this paper is comparison of graphs associated to a commutative Artinian ring. Among the results, we prove that for a commutative finite ring R with \(|\mathrm{Max}(R)|=n \ge 3\), \( \Gamma _1(R) \simeq \Gamma _2(R)\) if and only if \(R\simeq \mathbb {Z}^n_2\); if and only if \(\Gamma _1(R) \simeq \Gamma _\mathrm{E}(R)\). Also the annihilator graph is identical to the cozero-divisor graph if and only if R is a Frobenius ring.     

Differential operators for Hermitian Jacobi forms and Hermitian modular forms

Kim (Arch Math (Basel) 79(3):208–215, 2002) constructs multilinear differential operators for Hermitian Jacobi forms and Hermitian modular forms. However, her work relies on incorrect actions of differential operators on spaces of Hermitian Jacobi forms and Hermitian modular forms. In particular, her results are incorrect if the underlying field is the Gaussian number field. We consider more general spaces of Hermitian Jacobi forms and Hermitian modular forms over \(\mathbb {Q}(i)\), which allow us to correct the corresponding results in Kim (2002).     

On the Meromorphic Functions in the Punctured Plane Without Multiple Values

The study of meromorphic functions without multiple values in the plane started by F. Nevanlinna is extended to meromorphic functions in the punctured plane \({\mathbb {C}}^{{*}}.\) It is a classical result that a meromorphic function \(f\left( z\right) \) can be obtained as quotient of solutions of the second order differential equation \(u^{{\prime \prime }}+\left\{ f\left( z\right) ,z\right\} u=0,\) where \(\left\{ f\left( z\right) ,z\right\} \) is the Schwarzian derivative of \(f\left( z\right) \). In our hypothesis of meromorphic functions of finite order without multiple values in the puntured plane, the Schwarzian derivative \(\left\{ f\left( z\right) , z\right\} \) turns out to be a rational function with only possible poles at 0 and \(\infty \). In these conditions the asymptotic behaviour of \(f\left( z\right) \) can be described by a result of Hille (Lectures on Ordinary Differential Equations in the complex plane, Addison Wesley, Boston, 1969) on ordinary differential equations in the complex plane. The results obtained are framed in the value distribution theory of meromorphic functions, in particular in the punctured plane we shall consider the work of Khrystiyanin and Kondratyuk (Mat Stud 23(1):19–30, 2005; Mat Stud 23(1):57–68, 2005) and Korhonen (Nevanlinna theory on an annulus. Value distribution theory and related topics. Adv. Complex analysis and applications, Kluwer Academic Publishers, Dordrecht, 2004).     

Determining Hilbert modular forms by central values of Rankin–Selberg convolutions: the weight aspect

The purpose of this paper is to prove that a primitive Hilbert cusp form \(\mathbf{g}\) is uniquely determined by the central values of the Rankin–Selberg L-functions \(L(\mathbf{f}\otimes \mathbf{g}, \frac{1}{2})\), where \(\mathbf{f}\) runs through all primitive Hilbert cusp forms of weight \(k\) for infinitely many weight vectors \(k\). This result is a generalization of the work of Ganguly et al. (Math Ann 345:843–857, 2009) to the setting of totally real number fields, and it is a weight aspect analogue of our previous work (Hamieh and Tanabe in Trans Am Math Soc, arXiv:1609.07209, 2016).     

Weakly horospherically convex hypersurfaces in hyperbolic space

In Bonini et al. (Adv Math 280:506–548, 2015), the authors develop a global correspondence between immersed weakly horospherically convex hypersurfaces \(\phi :M^n \rightarrow \mathbb {H}^{n+1}\) and a class of conformal metrics on domains of the round sphere \(\mathbb {S}^n\). Some of the key aspects of the correspondence and its consequences have dimensional restrictions \(n\ge 3\) due to the reliance on an analytic proposition from Chang et al. (Int Math Res Not 2004(4):185–209, 2004) concerning the asymptotic behavior of conformal factors of conformal metrics on domains of \(\mathbb {S}^n\). In this paper, we prove a new lemma about the asymptotic behavior of a functional combining the gradient of the conformal factor and itself, which allows us to extend the global correspondence and embeddedness theorems of Bonini et al. (2015) to all dimensions \(n\ge 2\) in a unified way. In the case of a single point boundary \(\partial _{\infty }\phi (M)=\{x\} \subset \mathbb {S}^n\), we improve these results in one direction. As an immediate consequence of this improvement and the work on elliptic problems in Bonini et al. (2015), we have a new, stronger Bernstein type theorem. Moreover, we are able to extend the Liouville and Delaunay type theorems from Bonini et al. (2015) to the case of surfaces in \(\mathbb {H}^{3}\).     

On Ambrosetti–Malchiodi–Ni conjecture on two-dimensional smooth bounded domains

We consider the problem

$$\begin{aligned} \epsilon ^2 \Delta u-V(y)u+u^p\,=\,0,\quad u>0\quad \text{ in }\quad \Omega , \quad \frac{\partial u}{\partial \nu }\,=\,0\quad \text{ on }\quad \partial \Omega , \end{aligned}$$

where \(\Omega \) is a bounded domain in \({\mathbb {R}}^2\) with smooth boundary, the exponent p is greater than 1, \(\epsilon >0\) is a small parameter, V is a uniformly positive, smooth potential on \(\bar{\Omega }\), and \(\nu \) denotes the outward unit normal of \(\partial \Omega \). Let \(\Gamma \) be a curve intersecting orthogonally \(\partial \Omega \) at exactly two points and dividing \(\Omega \) into two parts. Moreover, \(\Gamma \) satisfies stationary and non-degeneracy conditions with respect to the functional \(\int _{\Gamma }V^{\sigma }\), where \(\sigma =\frac{p+1}{p-1}-\frac{1}{2}\). We prove the existence of a solution \(u_\epsilon \) concentrating along the whole of \(\Gamma \), exponentially small in \(\epsilon \) at any fixed distance from it, provided that \(\epsilon \) is small and away from certain critical numbers. In particular, this establishes the validity of the two dimensional case of a conjecture by Ambrosetti et al. (Indiana Univ Math J 53(2), 297–329, 2004).

     

Bumpy metrics on spheres and minimal index growth

The existence of two geometrically distinct closed geodesics on an n-dimensional sphere \(S^n\) with a non-reversible and bumpy Finsler metric was shown independently by Duan and Long [7] and the author [25]. We simplify the proof of this statement by the following observation: If for some \(N \in \mathbb {N}\) all closed geodesics of index \(\le \)N of a non-reversible and bumpy Finsler metric on \(S^n\) are geometrically equivalent to the closed geodesic c, then there is a covering \(c^r\) of minimal index growth, i.e.,

$$\begin{aligned} \mathrm{ind}(c^\mathrm{rm})=m \,\mathrm{ind}(c^r)-(m-1)(n-1), \end{aligned}$$

for all \(m \ge 1\) with \(\mathrm{ind}\left( c^\mathrm{rm}\right) \le N.\) But this leads to a contradiction for \(N =\infty \) as pointed out by Goresky and Hingston [13]. We also discuss perturbations of Katok metrics on spheres of even dimension carrying only finitely many closed geodesics. For arbitrarily large \(L>0\), we obtain on \(S^2\) a metric of positive flag curvature carrying only two closed geodesics of length \(<L\) which do not intersect.

     

Asymptotic Delsarte cliques in distance-regular graphs

We give a new bound on the parameter \(\lambda \) (number of common neighbors of a pair of adjacent vertices) in a distance-regular graph G, improving and generalizing bounds for strongly regular graphs by Spielman (1996) and Pyber (2014. arXiv:1409.3041). The new bound is one of the ingredients of recent progress on the complexity of testing isomorphism of strongly regular graphs (Babai et al. 2013). The proof is based on a clique geometry found by Metsch (Des Codes Cryptogr 1(2):99–116, 1991) under certain constraints on the parameters. We also give a simplified proof of the following asymptotic consequence of Metsch’s result: If \(k\mu = o(\lambda ^2)\), then each edge of G belongs to a unique maximal clique of size asymptotically equal to \(\lambda \), and all other cliques have size \(o(\lambda )\). Here k denotes the degree and \(\mu \) the number of common neighbors of a pair of vertices at distance 2. We point out that Metsch’s cliques are “asymptotically Delsarte” when \(k\mu = o(\lambda ^2)\), so families of distance-regular graphs with parameters satisfying \(k\mu = o(\lambda ^2)\) are “asymptotically Delsarte-geometric.”     

On a Classification of 4-d Gradient Ricci Solitons with Harmonic Weyl Curvature

We study a characterization of 4-dimensional (not necessarily complete) gradient Ricci solitons (M, g, f) which have harmonic Weyl curvature, i.e., \(\delta W=0\). Roughly speaking, we prove that the soliton metric g is locally isometric to one of the following four types: an Einstein metric, the product \( \mathbb {R}^2 \times N_{\lambda }\) of the Euclidean metric and a 2-d Riemannian manifold of constant curvature \({\lambda } \ne 0\), a certain singular metric and a locally conformally flat metric. The method here is motivated by Cao–Chen’s works (in Trans Am Math Soc 364:2377–2391, 2012; Duke Math J 162:1003–1204, 2013) and Derdziński’s study on Codazzi tensors (in Math Z 172:273–280, 1980). Combined with the previous results on locally conformally flat solitons, our characterization yields a new classification of 4-d complete steady solitons with \(\delta W=0\). For the shrinking case, it re-proves the rigidity result (Fernández-López and García-Río in Math Z 269:461–466, 2011; Munteanu and Sesum in J. Geom Anal 23:539–561, 2013) in 4-d. It also helps to understand the expanding case; we now understand all 4-d non-conformally flat ones with \(\delta W=0\). We also characterize locally 4-d (not necessarily complete) gradient Ricci solitons with harmonic curvature.     

Heat kernel approach for sup-norm bounds for cusp forms of integral and half-integral weight

In this article, using the heat kernel approach from Bouche (Asymptotic results for Hermitian line bundles over complex manifolds: The heat kernel approach, Higher-dimensional complex varieties, pp 67–81, de Gruyter, Berlin, 1996), we derive sup-norm bounds for cusp forms of integral and half-integral weight. Let \({\Gamma\subset \mathrm{PSL}_{2}(\mathbb{R})}\) be a cocompact Fuchsian subgroup of first kind. For \({k \in \frac{1}{2} \mathbb{Z}}\) (or \({k \in 2\mathbb{Z}}\)), let \({S^{k}_{\nu}(\Gamma)}\) denote the complex vector space of cusp forms of weight-k and nebentypus \({\nu^{2k}}\) (\({\nu^{k\slash 2}}\), if \({k \in 2\mathbb{Z}}\)) with respect to \({\Gamma}\), where \({\nu}\) is a unitary character. Let \({\lbrace f_{1},\ldots,f_{j_{k}} \rbrace}\) denote an orthonormal basis of \({S^{k}_{\nu}(\Gamma)}\). In this article, we show that as \({k \rightarrow \infty,}\) the sup-norm for \({\sum_{i=1}^{j_{k}}y^{k}|f_{i}(z)|^{2}}\) is bounded by O(k), where the implied constant is independent of \({\Gamma}\). Furthermore, using results from Berman (Math. Z. 248:325–344, 2004), we extend these results to the case when \({\Gamma}\) is cofinite.     

On Some Properties of a Class of Fractional Stochastic Heat Equations

We consider nonlinear parabolic stochastic equations of the form \(\partial _t u=\mathcal {L}u + \lambda \sigma (u)\dot{\xi }\) on the ball \(B(0,\,R)\), where \(\dot{\xi }\) denotes some Gaussian noise and \(\sigma \) is Lipschitz continuous. Here \(\mathcal {L}\) corresponds to a symmetric \(\alpha \)-stable process killed upon exiting B(0, R). We will consider two types of noises: space-time white noise and spatially correlated noise. Under a linear growth condition on \(\sigma \), we study growth properties of the second moment of the solutions. Our results are significant extensions of those in Foondun and Joseph (Stoch Process Appl, 2014) and complement those of Khoshnevisan and Kim (Proc AMS, 2013, Ann Probab, 2014).