We consider Weil sums of binomials of the form $W_{F,d}\left(a\right)={\sum }_{x\in F}\psi (x^d-ax)$, where F is a finite field, ψ: F → ℂ is the canonical additive character, $gcd(d,|F^{\times }\left|\right)=1$, and $a\in F^{\times }$. If we fix F and d, and examine the values of $W_{F,d}\left(a\right)$ as a runs through $F^{\times }$, we always obtain at least three distinct values unless d is degenerate (a power of the characteristic of F modulo $|F^{\times }|$). Choices of F and d for which we obtain only three values are quite rare and desirable in a wide variety of applications. We show that if F is a field of order 3ⁿ with n...

Suppose that $f$ is a primitive Hecke eigenform or a Mass cusp form for ${\Gamma }_0\left(N\right)$ with normalized eigenvalues ${\lambda }_f\left(n\right)$ and let $X>1$ be a real number. We consider the sum $${𝒮}_k\left(X\right):=\sum _{n<X}\sum _{n=n_1,n_2,...,n_k}{\lambda }_f\left(n_1\right){\lambda }_f\left(n_2\right)...{\lambda }_f\left(n_k\right)$$ and show that ${𝒮}_k\left(X\right){\ll }_{f,ϵ}{X}^{1-3/\left(2\right(k+3\left)\right)+ϵ}$ for every $k\ge 1$ and $ϵ>0$. The same problem was considered for the case $N=1$, that is for the full modular group in Lü (2012) and Kanemitsu et al. (2002). We consider the problem in a more general setting and obtain bounds which are better than those obtained by the classical result of Landau (1915) for $k\ge 5$. Since the result is valid...

Let $f$ be a Hecke–Maass cusp form of eigenvalue $\lambda$ and square-free level $N$. Normalize the hyperbolic measure such that $\mathrm{vol}\left(Y_0\left(N\right)\right)=1$ and the form $f$ such that ${\parallel f\parallel }_2=1$. It is shown that ${\parallel f\parallel }_{\infty }{\ll }_{ϵ}{\lambda }^{\frac{5}{24}+ϵ}{N}^{\frac{1}{3}+ϵ}$ for all $ϵ>0$. This generalizes simultaneously the current best bounds in the eigenvalue and level aspects.

Let p be a prime, ℤₚ be the finite field in p elements, k be a positive integer, and A be the multiplicative subgroup of nonzero kth powers in ℤₚ. The goal of this paper is to determine, for a given positive integer s, a value tₛ such that if |A| ≫ tₛ then every element of ℤₚ is a sum of s kth powers. We obtain $t₄=p^{22/39+ϵ}$, $t₅=p^{15/29+ϵ}$ and for s ≥ 6, $tₛ=p^{(9s+45)/(29s+33)+ϵ}$. For s ≥ 24 further improvements are made, such as $t_{32}=p^{5/16+ϵ}$ and $t_{128}=p^{1/4}$.

For any positive integer $k\ge 3$, it is easy to prove that the $k$-polygonal numbers are $a_n\left(k\right)=(2n+n(n-1)(k-2))/2$. The main purpose of this paper is, using the properties of Gauss sums and Dedekind sums, the mean square value theorem of Dirichlet $L$-functions and the analytic methods, to study the computational problem of one kind mean value of Dedekind sums $S(a_n\left(k\right){\overline{a}}_m\left(k\right),p)$ for $k$-polygonal numbers with $1\le m,n\le p-1$, and give an interesting computational formula for it.

About Lehmer’s number, many people have studied its various properties, and obtained a series of interesting results. In this paper, we consider a generalized Lehmer problem: Let $p$ be a prime, and let $N(k;p)$ denote the number of all $1\le a_i\le p-1$ such that $a_1{a}_2\cdots a_k\equiv 1modp$ and $2\mid a_i+{\overline{a}}_i+1,$ $i=1,2,\cdots ,k$. The main purpose of this paper is using the analytic method, the estimate for character sums and trigonometric sums to study the asymptotic properties of the counting function $N(k;p),$ and give an interesting asymptotic formula...

For a real number $q>1$ and a positive integer $m$, let $Y_m\left(q\right):=\left\{{\sum }_{i=0}^n{ϵ}_i{q}^i:{ϵ}_i\in \left\{0,\pm 1,...,\pm m\right\},n=0,1,...\right\}$. In this paper, we show that $Y_m\left(q\right)$ is dense in $ℝ$ if and only if $q<m+1$ and $q$ is not a Pisot number. This completes several previous results and answers an open question raised by Erdös, Joó and Komornik [8].

Let $G$ be a finite group and $p$ a prime number. We prove that if $G$ is a finite group of order $\left|\mathrm{PSL}\right(2,p^2\left)\right|$ such that $G$ has an irreducible character of degree $p^2$ and we know that $G$ has no irreducible character $\theta$ such that $2p\mid \theta \left(1\right)$, then $G$ is isomorphic to $\mathrm{PSL}(2,p^2)$. As a consequence of our result we prove that $\mathrm{PSL}(2,p^2)$ is uniquely determined by the structure of its complex group algebra.

The Rademacher sums are investigated in the Cesàro spaces $Ce{s}_p$ (1 ≤ p ≤ ∞) and in the weighted Korenblyum-Kreĭn-Levin spaces $K_{p,w}$ on [0,1]. They span l₂ space in $Ce{s}_p$ for any 1 ≤ p < ∞ and in $K_{p,w}$ if and only if the weight w is larger than $tlog{₂}^{p/2}(2/t)$ on (0,1). Moreover, the span of the Rademachers is not complemented in $Ce{s}_p$ for any 1 ≤ p < ∞ or in $K_{1,w}$ for any quasi-concave weight w. In the case when p > 1 and when w is such that the span of the Rademacher functions is isomorphic to l₂, this span is...

We give new results on square functions $${\parallel x\parallel }_F=\parallel {\left({\int }_0^{\infty }{\left|F\left(tA\right)x\right|}^2\frac{\mathrm{d}t}{t}\right)}^{1/2}{\parallel }_p$$ associated to a sectorial operator $A$ on $L^p$ for $1\&lt;p\&lt;\infty$. Under the assumption that $A$ is actually $R$-sectorial, we prove equivalences of the form $K^{-1}{\parallel x\parallel }_G\le {\parallel x\parallel }_F\le K{\parallel x\parallel }_G$ for suitable functions $F,G$. We also show that $A$ has a bounded $H^{\infty }$ functional calculus with respect to ${\parallel .\parallel }_F$. Then we apply our results to the study of conditions under which we have an estimate $\parallel {({\int }_0^{\infty }|C{\mathrm{e}}^{-tA}{\left(x\right)|}^2\mathrm{d}t{)}^{1/2}\parallel }_q\le M{\parallel x\parallel }_p$, when $-A$ generates a bounded semigroup ${\mathrm{e}}^{-tA}$ on $L^p$ and $C:D\left(A\right)\to L^q$ is a linear mapping.

Let $S_n^{\left(2\right)}$ denote the iterated partial sums. That is, $S_n^{\left(2\right)}=S_1+S_2+\cdots +S_n$, where $S_i=X_1+X_2+\cdots +X_i$. Assuming $X_1,X_2,...,X_n$ are integrable, zero-mean, i.i.d. random variables, we show that the persistence probabilities $$p_n^{\left(2\right)}:=\mathbb{P}\left(\underset{1\le i\le n}{max}{S}_i^{\left(2\right)}lt;0\right)\le c\sqrt{\frac{𝔼|S_{n+1}|}{(n+1)𝔼|X_1|}},$$ with $c\le 6\sqrt{30}$ (and $c=2$ whenever $X_1$ is symmetric). The converse inequality holds whenever the non-zero $min(-X_1,0)$ is bounded or when it has only finite third moment and in addition $X_1$ is squared integrable. Furthermore, $p_n^{\left(2\right)}\asymp n^{-1/4}$ for any non-degenerate squared integrable, i.i.d., zero-mean $X_i$. In contrast, we show that for any $0lt;\gamma lt;1/4$ there exist integrable,...

Let $E$ and $f$ be an Eisenstein series and a cusp form, respectively, of the same weight $k\ge 2$ and of the same level $N$, both eigenfunctions of the Hecke operators, and both normalized so that $a_1\left(f\right)=a_1\left(E\right)=1$. The main result we prove is that when $E$ and $f$ are congruent mod a prime $𝔭$ (which we take in this paper to be a prime of $\overline{\mathbb{Q}}$ lying over a rational prime $p\&gt;2$), the algebraic parts of the special values $L(E,\chi ,j)$ and $L(f,\chi ,j)$ satisfy congruences mod the same prime. More explicitly, we prove that, under certain conditions, ...

Let $p=1+2^{e+1}q$ be an odd prime number with q an odd integer. Let δ (resp. φ) be an odd (resp. even) Dirichlet character of conductor p and order $2^{e+1}$ (resp. order $d_{\phi }$ dividing q), and let ψₙ be an even character of conductor $p^{n+1}$ and order pⁿ. We put χ = δφψₙ, whose value is contained in $Kₙ=\mathbb{Q}\left({\zeta }_{(p-1)pⁿ}\right)$. It is well known that the Bernoulli number $B_{1,\chi }$ is not zero, which is shown in an analytic way. In the extreme cases $d_{\phi }=1$ and q, we show, in an algebraic and elementary manner, a stronger nonvanishing result: $T{r}_{n/1}\left(\xi B_{1,\chi }\right)\ne 0$ for any...

Let $\mathbb{Z}$ be the set of integers, ${\mathbb{N}}_0$ the set of nonnegative integers and $F(x_1,x_2)=u_1{x}_1+u_2{x}_2$ be a binary linear form whose coefficients $u_1$, $u_2$ are nonzero, relatively prime integers such that $u_1{u}_2\ne \pm 1$ and $u_1{u}_2\ne -2$. Let $f:\mathbb{Z}\to {\mathbb{N}}_0\cup \left\{\infty \right\}$ be any function such that the set $f^{-1}\left(0\right)$ has asymptotic density zero. In 2007, M. B. Nathanson (2007) proved that there exists a set $A$ of integers such that $r_{A,F}\left(n\right)=f\left(n\right)$ for all integers $n$, where $r_{A,F}\left(n\right)=\left|\{(a,a^{\text{'}}):n=u_{1}a+u_2{a}^{\text{'}}:a,a^{\text{'}}\in A\}\right|$. We add the structure of difference for the binary linear form $F(x_1,x_2)$.

Let $\mu$ be a probability measure on $[0,1]$ which is invariant and ergodic for $T_a\left(x\right)=ax\mathrm{𝚖𝚘𝚍}1$, and $0<\mathrm{𝚍𝚒𝚖}\mu <1$. Let $f$ be a local diffeomorphism on some open set. We show that if $E\subseteq ℝ$ and $\left(f\mu \right){\left|{}_E\sim \mu \right|}_E$, then $f^{\text{'}}\left(x\right)\in \left\{\pm a^r:r\in \mathbb{Q}\right\}$ at $\mu$-a.e. point $x\in f^{-1}E$. In particular, if $g$ is a piecewise-analytic map preserving $\mu$ then there is an open $g$-invariant set $U$ containing supp $\mu$ such that $g\left|{}_U\right.$ is piecewise-linear with slopes which are rational powers of $a$. In a similar vein, for $\mu$ as above, if $b$ is another integer and $a,b$ are not powers of a common integer, and if $\nu$ is...