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).     

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.     

Convergence of empirical spectral distributions of large dimensional quaternion sample covariance matrices

In this paper, we establish the limit of empirical spectral distributions of quaternion sample covariance matrices. Motivated by Bai and Silverstein (Spectral analysis of large dimensional random matrices, Springer, New York, 2010) and Mar?enko and Pastur (Matematicheskii Sb, 114:507–536, 1967), we can extend the results of the real or complex sample covariance matrix to the quaternion case. Suppose \(\mathbf X_n = ({x_{jk}^{(n)}})_{p\times n}\) is a quaternion random matrix. For each \(n\), the entries \(\{x_{ij}^{(n)}\}\) are independent random quaternion variables with a common mean \(\mu \) and variance \(\sigma ^2>0\). It is shown that the empirical spectral distribution of the quaternion sample covariance matrix \(\mathbf S_n=n^{-1}\mathbf X_n\mathbf X_n^*\) converges to the Mar?enko–Pastur law as \(p\rightarrow \infty \), \(n\rightarrow \infty \) and \(p/n\rightarrow y\in (0,+\infty )\).     

Shadows of the axiom of choice in the universe $$L(\mathbb {R})$$

We show that several theorems about Polish spaces, which depend on the axiom of choice (\(\mathcal {AC}\)), have interesting corollaries that are theorems of the theory \(\mathcal {ZF} + \mathcal {DC}\), where \(\mathcal {DC}\) is the axiom of dependent choices. Surprisingly it is natural to use the full \(\mathcal {AC}\) to prove the existence of these proofs; in fact we do not even know the proofs in \(\mathcal {ZF} + \mathcal {DC}\). Let \(\mathcal {AD}\) denote the axiom of determinacy. We show also, in the theory \(\mathcal {ZF} + \mathcal {AD} + V = L(\mathbb {R})\), a theorem which strenghtens and generalizes the theorem of Drinfeld (Funct Anal Appl 18:245–246, 1985) and Margulis (Monatshefte Math 90:233–235, 1980) about the unicity of Lebesgue’s measure. This generalization is false in \(\mathcal {ZFC}\), but assuming the existence of large enough cardinals it is true in the model \(\langle L(\mathbb {R}),\in \rangle \).     

Radó–Kneser–Choquet theorem for harmonic mappings between surfaces

We simplify and improve a recent result of Martin (Trans AMS 368:647–658, 2016). Then we prove that if f is an orientation preserving harmonic mapping of the unit disk onto a \(C^{3,\alpha }\) surface \(\Sigma \) bounded by a Jordan curve \(\gamma \in C^{3,\alpha }\), that belongs to the boundary of a convex domain in \(\mathbf {R}^3\), then f is a diffeomorphism.     

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.     

A Theory of Super-Resolution from Short-Time Fourier Transform Measurements

While spike trains are obviously not band-limited, the theory of super-resolution tells us that perfect recovery of unknown spike locations and weights from low-pass Fourier transform measurements is possible provided that the minimum spacing, \(\Delta \), between spikes is not too small. Specifically, for a measurement cutoff frequency of \(f_c\), Donoho (SIAM J Math Anal 23(5):1303–1331, 1992) showed that exact recovery is possible if the spikes (on \(\mathbb {R}\)) lie on a lattice and \(\Delta > 1/f_c\), but does not specify a corresponding recovery method. Candès and Fernandez-Granda (Commun Pure Appl Math 67(6):906–956, 2014; Inform Inference 5(3):251–303, 2016) provide a convex programming method for the recovery of periodic spike trains (i.e., spike trains on the torus \(\mathbb {T}\)), which succeeds provably if \(\Delta > 2/f_c\) and \(f_c \ge 128\) or if \(\Delta > 1.26/f_c\) and \(f_c \ge 10^3\), and does not need the spikes within the fundamental period to lie on a lattice. In this paper, we develop a theory of super-resolution from short-time Fourier transform (STFT) measurements. Specifically, we present a recovery method similar in spirit to the one in Candès and Fernandez-Granda (2014) for pure Fourier measurements. For a STFT Gaussian window function of width \(\sigma = 1/(4f_c)\) this method succeeds provably if \(\Delta > 1/f_c\), without restrictions on \(f_c\). Our theory is based on a measure-theoretic formulation of the recovery problem, which leads to considerable generality in the sense of the results being grid-free and applying to spike trains on both \(\mathbb {R}\) and \(\mathbb {T}\). The case of spike trains on \(\mathbb {R}\) comes with significant technical challenges. For recovery of spike trains on \(\mathbb {T}\) we prove that the correct solution can be approximated—in weak-* topology—by solving a sequence of finite-dimensional convex programming problems.     

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).     

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}\).     

Min-max and robust polynomial optimization

We consider the robust (or min-max) optimization problem

$J^*:=\max_{\mathbf{y}\in{\Omega}}\min_{\mathbf{x}}\{f(\mathbf{x},\mathbf{y}): (\mathbf{x},\mathbf{y})\in\mathbf{\Delta}\}$

where f is a polynomial and \({\mathbf{\Delta}\subset\mathbb{R}^n\times\mathbb{R}^p}\) as well as \({{\Omega}\subset\mathbb{R}^p}\) are compact basic semi-algebraic sets. We first provide a sequence of polynomial lower approximations \({(J_i)\subset\mathbb{R}[\mathbf{y}]}\) of the optimal value function \({J(\mathbf{y}):=\min_\mathbf{x}\{f(\mathbf{x},\mathbf{y}): (\mathbf{x},\mathbf{y})\in \mathbf{\Delta}\}}\). The polynomial \({J_i\in\mathbb{R}[\mathbf{y}]}\) is obtained from an optimal (or nearly optimal) solution of a semidefinite program, the ith in the “joint + marginal” hierarchy of semidefinite relaxations associated with the parametric optimization problem \({\mathbf{y}\mapsto J(\mathbf{y})}\), recently proposed in Lasserre (SIAM J Optim 20, 1995-2022, 2010). Then for fixed i, we consider the polynomial optimization problem \({J^*_i:=\max\nolimits_{\mathbf{y}}\{J_i(\mathbf{y}):\mathbf{y}\in{\Omega}\}}\) and prove that \({\hat{J}^*_i(:=\displaystyle\max\nolimits_{\ell=1,\ldots,i}J^*_\ell)}\) converges to J* as i → ∞. Finally, for fixed ? ≤ i, each \({J^*_\ell}\) (and hence \({\hat{J}^*_i}\)) can be approximated by solving a hierarchy of semidefinite relaxations as already described in Lasserre (SIAM J Optim 11, 796–817, 2001; Moments, Positive Polynomials and Their Applications. Imperial College Press, London 2009).

     

On geometric properties of the generating function for the Ramanujan sequence

The Ramanujan sequence \(\{\theta _{n}\}_{n \ge 0}\), defined as \(\theta _{0}= {1}/{2}\), \({n^{n}} \theta _{n}/{n !} = {e^{n}}/{2} - \sum _{k=0}^{n-1} {n^{k}}/{k !}\, \), \(n \ge 1\), has been studied on many occasions and in many different contexts. Adell and Jodrá (Ramanujan J 16:1–5, 2008) and Koumandos (Ramanujan J 30:447–459, 2013) showed, respectively, that the sequences \(\{\theta _{n}\}_{n \ge 0}\) and \(\{4/135 - n \cdot (\theta _{n}- 1/3 )\}_{n \ge 0}\) are completely monotone. In the present paper, we establish that the sequence \(\{(n+1) (\theta _{n}- 1/3 )\}_{n \ge 0}\) is also completely monotone. Furthermore, we prove that the analytic function \((\theta _{1}- 1/3 )^{-1}\sum _{n=1}^{\infty } (\theta _{n}- 1/3 ) z^{n} / n^{\alpha }\) is universally starlike for every \(\alpha \ge 1\) in the slit domain \(\mathbb {C}\setminus [1,\infty )\). This seems to be the first result putting the Ramanujan sequence into the context of analytic univalent functions and is a step towards a previous stronger conjecture, proposed by Ruscheweyh et al. (Israel J Math 171:285–304, 2009), namely that the function \((\theta _{1}- 1/3 )^{-1}\sum _{n=1}^{\infty } (\theta _{n}- 1/3 ) z^{n} \) is universally convex.     

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).     

Admissibility in Positive Logics

The paper studies admissibility of multiple-conclusion rules in positive logics. Using modification of a method employed by M. Wajsberg in the proof of the separation theorem, it is shown that the problem of admissibility of multiple-conclusion rules in the positive logics is equivalent to the problem of admissibility in intermediate logics defined by positive additional axioms. Moreover, a multiple-conclusion rule \(\mathsf {r}\) follows from a set of multiple-conclusion rules \(\mathsf {R}\) over a positive logic \(\mathsf {P}\) if and only if \(\mathsf {r}\) follows from \(\mathsf {R}\) over \(\mathbf {Int}+ \mathsf {P}\).     

New constructions of permutation polynomials of the form $$x^rh\left( x^{q-1}\right) $$ over $${\mathbb F}_{q^2}$$Fq2

Permutation polynomials over finite fields have been studied extensively recently due to their wide applications in cryptography, coding theory, communication theory, among others. Recently, several authors have studied permutation trinomials of the form \(x^rh\left( x^{q-1}\right) \) over \({\mathbb F}_{q^2}\), where \(q=2^k\), \(h(x)=1+x^s+x^t\) and \(r, k>0, s, t\) are integers. Their methods are essentially usage of a multiplicative version of AGW Criterion because they all transformed the problem of proving permutation polynomials over \({\mathbb F}_{q^2}\) into that of showing the corresponding fractional polynomials permute a smaller set \(\mu _{q+1}\), where \(\mu _{q+1}:=\{x\in \mathbb {F}_{q^2} : x^{q+1}=1\}\). Motivated by these results, we characterize the permutation polynomials of the form \(x^rh\left( x^{q-1}\right) \) over \({\mathbb F}_{q^2}\) such that \(h(x)\in {\mathbb F}_q[x]\) is arbitrary and q is also an arbitrary prime power. Using AGW Criterion twice, one is multiplicative and the other is additive, we reduce the problem of proving permutation polynomials over \({\mathbb F}_{q^2}\) into that of showing permutations over a small subset S of a proper subfield \({\mathbb F}_{q}\), which is significantly different from previously known methods. In particular, we demonstrate our method by constructing many new explicit classes of permutation polynomials of the form \(x^rh\left( x^{q-1}\right) \) over \({\mathbb F}_{q^2}\). Moreover, we can explain most of the known permutation trinomials, which are in Ding et al. (SIAM J Discret Math 29:79–92, 2015), Gupta and Sharma (Finite Fields Appl 41:89–96, 2016), Li and Helleseth (Cryptogr Commun 9:693–705, 2017), Li et al. (New permutation trinomials constructed from fractional polynomials, arXiv: 1605.06216v1, 2016), Li et al. (Finite Fields Appl 43:69–85, 2017) and Zha et al. (Finite Fields Appl 45:43–52, 2017) over finite field with even characteristic.     

On counting subring-submodules of free modules over finite commutative frobenius rings

Let \(\texttt {R}\) be a finite commutative Frobenius ring and \(\texttt {S}\) a Galois extension of \(\texttt {R}\) of degree m. For positive integers k and \(k'\), we determine the number of free \(\texttt {S}\)-submodules \(\mathcal {B}\) of \(\texttt {S}^\ell \) with the property \(k=\texttt {rank}_\texttt {S}(\mathcal {B})\) and \(k'=\texttt {rank}_\texttt {R}(\mathcal {B}\cap \texttt {R}^\ell )\). This corrects the wrong result (Bill in Linear Algebr Appl 22:223–233, 1978, Theorem 6) which was given in the language of codes over finite fields.     

Tannakian formalism for fiber functors over tensor categories

It is well known that the pseudovariety \(\mathbf {J}\) of all \(\mathscr {J}\)-trivial monoids is not local, which means that the pseudovariety \(g\mathbf {J}\) of categories generated by \(\mathbf {J}\) is a proper subpseudovariety of the pseudovariety \(\ell \mathbf {J}\) of categories all of whose local monoids belong to \(\mathbf {J}\). In this paper, it is proved that the pseudovariety \(\mathbf {J}\) enjoys the following weaker property. For every prime number p, the pseudovariety \(\ell \mathbf {J}\) is a subpseudovariety of the pseudovariety \(g(\mathbf {J}*\mathbf {Ab}_p)\), where \(\mathbf {Ab}_p\) is the pseudovariety of all elementary abelian p-groups and \(\mathbf {J}*\mathbf {Ab}_p\) is the pseudovariety of monoids generated by the class of all semidirect products of monoids from \(\mathbf {J}\) by groups from \(\mathbf {Ab}_p\). As an application, a new proof of the celebrated equality of pseudovarieties \(\mathbf {PG}=\mathbf {BG}\) is obtained, where \(\mathbf {PG}\) is the pseudovariety of monoids generated by the class of all power monoids of groups and \(\mathbf {BG}\) is the pseudovariety of all block groups.     

Finite-Codimensional Compressions of Symmetric and Self-Adjoint Linear Relations in Krein Spaces

Theorems due to Stenger (Bull Am Math Soc 74:369–372, 1968) and Nudelman (Int Equ Oper Theory 70:301–305, 2011) in Hilbert spaces and their generalizations to Krein spaces in Azizov and Dijksma (Int Equ Oper Theory 74(2):259–269, 2012) and Azizov et al. (Linear Algebra Appl 439:771–792, 2013) generate additional questions about properties a finite-codimensional compression \({T_0}\) of a symmetric or self-adjoint linear relation \({T}\) may or may not inherit from \({T}\). These questions concern existence of invariant maximal nonnegative subspaces, definitizability, singular critical points and defect indices.     

Estimates for large solutions of a quasilinear elliptic equation

Let \(\Omega \) be a bounded smooth domain of \(R^{n}\). We study the asymptotic behaviour of the solutions to the equation \(\triangle u-|Du|^{q}=f(u)\) in \(\Omega , 1<q<2,\) which satisfy the boundary condition \(u(x)\rightarrow \infty \) as \(x\rightarrow \partial \Omega \). These solutions are called large or blowup solutions. Near the boundary we give lower and upper bounds for the ratio \(\psi (u)/\delta \), where \(\psi (u) = \int _{u}^{\infty }1/\sqrt{2F}dt\), \(F'=f\), \(\delta =dist(x,\partial \Omega )\) or for the ratio \(u/\delta ^{(2-q)/(1-q)}\). When in particular the ratio \(f/F^{q/2}\)is regular at infinity, we find again known results (Bandle and Giarrusso, in Adv Diff Equ 1, 133–150, 1996; Giarrusso, in Comptes Rendus de l’Acad Sci 331, 777–782 2000).     

Interior Calderón–Zygmund estimates for solutions to general parabolic equations of <Emphasis Type="Italic">p</Emphasis>-Laplacian type

We study general parabolic equations of the form \(u_t = \text{ div }\,\mathbf {A}(x,t, u,D u) +\text{ div }\,(|\mathbf {F}|^{p-2} \mathbf {F})+ f\) whose principal part depends on the solution itself. The vector field \(\mathbf {A}\) is assumed to have small mean oscillation in x, measurable in t, Lipschitz continuous in u, and its growth in Du is like the p-Laplace operator. We establish interior Calderón–Zygmund estimates for locally bounded weak solutions to the equations when \(p>2n/(n+2)\). This is achieved by employing a perturbation method together with developing a two-parameter technique and a new compactness argument. We also make crucial use of the intrinsic geometry method by DiBenedetto (Degenerate parabolic equations, Springer, New York, 1993) and the maximal function free approach by Acerbi and Mingione (Duke Math J 136(2):285–320, 2007).