In this paper we show that sieve methods used previously to investigate primes in short intervals and corresponding Goldbach-type problems can be modified to obtain results on primes in Beatty sequences in short intervals.

We study the meromorphic continuation and the spectral expansion of the opposite-sign Kloosterman sum zeta function

$$\begin{eqnarray}\displaystyle (2{\it\pi}\sqrt{mn})^{2s-1}\mathop{\sum }_{\ell =1}^{\infty }\frac{S(m,-n,\ell )}{\ell ^{2s}} & & \displaystyle \nonumber\end{eqnarray}$$

$m,n$

$s\in \mathbb{C}$

One of the most fruitful results from Minkowski’s geometric viewpoint on number theory is his so-called first fundamental theorem. It provides an optimal upper bound for the volume of a $0$ -symmetric convex body whose only interior lattice point is the origin. Minkowski also obtained a discrete analog by proving optimal upper bounds on the number of lattice points in the boundary of such convex bodies. Whereas the volume inequality has been generalized to any number of interior lattice points already by van der Corput in the 1930s, a corresponding result for the discrete case remained to be proven. Our main contribution is a corresponding optimal relation between the number of boundary and interior lattice points of a $0$ -symmetric convex body. The proof relies on a congruence argument and a difference set estimate from additive combinatorics.

We consider the classical theta operator ${\it\theta}$ on modular forms modulo $p^{m}$ and level $N$ prime to $p$ , where $p$ is a prime greater than three. Our main result is that ${\it\theta}$ mod $p^{m}$ will map forms of weight $k$ to forms of weight $k+2+2p^{m-1}(p-1)$ and that this weight is optimal in certain cases when $m$ is at least two. Thus, the natural expectation that ${\it\theta}$ mod $p^{m}$ should map to weight $k+2+p^{m-1}(p-1)$ is shown to be false. The primary motivation for this study is that application of the ${\it\theta}$ operator on eigenforms mod $p^{m}$ corresponds to twisting the attached Galois representations with the cyclotomic character. Our construction of the ${\it\theta}$ -operator mod $p^{m}$ gives an explicit weight bound on the twist of a modular mod $p^{m}$ Galois representation by the cyclotomic character.

Let ${\rm\Lambda}(n)$ be the von Mangoldt function, $x$ be real and $2\leqslant y\leqslant x$ . This paper improves the estimate for the exponential sum over primes in short intervals

$$\begin{eqnarray}S_{k}(x,y;{\it\alpha})=\mathop{\sum }_{x<n\leqslant x+y}{\rm\Lambda}(n)e(n^{k}{\it\alpha})\end{eqnarray}$$

$k\geqslant 3$

${\it\alpha}$

$n$

$s$

$k$

Let $\unicode[STIX]{x1D6FD}>1$ be a real number and define the $\unicode[STIX]{x1D6FD}$ -transformation on $[0,1]$ by $T_{\unicode[STIX]{x1D6FD}}:x\mapsto \unicode[STIX]{x1D6FD}x\,\text{mod}\,1$ . Further, define

$$\begin{eqnarray}W_{y}(T_{\unicode[STIX]{x1D6FD}},\unicode[STIX]{x1D6F9}):=\{x\in [0,1]:|T_{\unicode[STIX]{x1D6FD}}^{n}x-y|<\unicode[STIX]{x1D6F9}(n)\text{ for infinitely many }n\}\end{eqnarray}$$

$$\begin{eqnarray}W(T_{\unicode[STIX]{x1D6FD}},\unicode[STIX]{x1D6F9}):=\{(x,y)\in [0,1]^{2}:|T_{\unicode[STIX]{x1D6FD}}^{n}x-y|<\unicode[STIX]{x1D6F9}(n)\text{ for infinitely many }n\},\end{eqnarray}$$

$\unicode[STIX]{x1D6F9}:\mathbb{N}\rightarrow \mathbb{R}_{{>}0}$

$\unicode[STIX]{x1D6F9}(n)\rightarrow 0$

$n\rightarrow \infty$

For any number field we calculate the exact proportion of rational numbers which are everywhere locally a norm but not globally a norm from the number field.

Let $q\in (1,2)$ . A $q$ -expansion of a number $x$ in $[0,1/(q-1)]$ is a sequence $({\it\delta}_{i})_{i=1}^{\infty }\in \{0,1\}^{\mathbb{N}}$ satisfying

$$\begin{eqnarray}x=\mathop{\sum }_{i=1}^{\infty }\frac{{\it\delta}_{i}}{q^{i}}.\end{eqnarray}$$

${\mathcal{B}}_{\aleph _{0}}$

$q$

$x$

$q$

${\mathcal{B}}_{1,\aleph _{0}}$

$q$

$1$

$q$

$1=\sum _{i=1}^{\infty }q^{-n_{i}}$

$\min {\mathcal{B}}_{\aleph _{0}}=\min {\mathcal{B}}_{1,\aleph _{0}}=(1+\sqrt{5})/2$

${\mathcal{B}}_{\aleph _{0}}\cap ((1+\sqrt{5})/2,q_{1}]=\{q_{1}\}$

$q_{1}\,({\approx}1.64541)$

$x^{6}-x^{4}-x^{3}-2x^{2}-x-1=0$

${\mathcal{B}}_{1,\aleph _{0}}$

$q_{3}\,({\approx}1.68042)$

$x^{5}-x^{4}-x^{3}-x+1=0$

${\mathcal{B}}_{\aleph _{0}}\cap (q_{1},q_{3}]=\{q_{2},q_{3}\}$

$q_{2}\,({\approx}1.65462)$

$x^{6}-2x^{4}-x^{3}-1=0$

We prove that every integer $n\geqslant 10$ such that $n\not \equiv 1\text{ mod }4$ can be written as the sum of the square of a prime and a square-free number. This makes explicit a theorem of Erdős that every sufficiently large integer of this type may be written in such a way. Our proof requires us to construct new explicit results for primes in arithmetic progressions. As such, we use the second author’s numerical computation regarding the generalised Riemann hypothesis to extend the explicit bounds of Ramaré–Rumely.

We establish lower bounds for (i) the numbers of positive and negative terms and (ii) the number of sign changes in the sequence of Fourier coefficients at squarefree integers of a half-integral weight modular Hecke eigenform.

We answer a question of Masser by showing that for the Weierstrass zeta function ζ corresponding to a given lattice Λ, the density of algebraic points of absolute multiplicative height bounded by T and degree bounded by k lying on the graph of ζ, restricted to an appropriate domain, does not exceed c(log T)15 for an effective constant c > 0 depending on k and on Λ. Using different methods, we also give two bounds of the same form for the density of algebraic points of bounded height in a fixed number field lying on the graph of ζ restricted to an appropriate subset of (0, 1). In one case the constant c can be shown not to depend on the choice of lattice; in the other, the exponent can be improved to 12.

The Bogomolov conjecture claims that a closed subvariety containing a dense subset of small points is a special kind of subvariety. In the arithmetic setting over number fields, the Bogomolov conjecture for abelian varieties has already been established as a theorem of Ullmo and Zhang, but in the geometric setting over function fields, it has not yet been solved completely. There are only some partial results known such as the totally degenerate case due to Gubler and our recent work generalizing Gubler’s result. The key in establishing the previous results on the Bogomolov conjecture is the equidistribution method due to Szpiro, Ullmo and Zhang with respect to the canonical measures. In this paper we exhibit the limits of this method, making an important contribution to the geometric version of the conjecture. In fact, by the crucial investigation of the support of the canonical measure on a subvariety, we show that the conjecture in full generality holds if the conjecture holds for abelian varieties which have anywhere good reduction. As a consequence, we establish a partial answer that generalizes our previous result.

We give measure estimates for sets appearing in the study of dynamical systems, such as preimages of Diophantine classes.

We construct regular integral canonical models for Shimura varieties attached to Spin and orthogonal groups at (possibly ramified) primes $p>2$ where the level is not divisible by $p$. We exhibit these models as schemes of ‘relative PEL type’ over integral canonical models of larger Spin Shimura varieties with good reduction at $p$. Work of Vasiu–Zink then shows that the classical Kuga–Satake construction extends over the integral models and that the integral models we construct are canonical in a very precise sense. Our results have applications to the Tate conjecture for K3 surfaces, as well as to Kudla’s program of relating intersection numbers of special cycles on orthogonal Shimura varieties to Fourier coefficients of modular forms.

We describe an algorithm for finding the coefficients of $F(X)$ modulo powers of $p$ , where $p\neq 2$ is a prime number and $F(X)$ is the power series associated to the zeta function of Kubota and Leopoldt. We next calculate the 5-adic and 7-adic ${\it\lambda}$ -invariants attached to those cubic extensions $K/\mathbb{Q}$ with cyclic Galois group ${\mathcal{A}}_{3}$ (up to field discriminant ${<}10^{7}$ ), and also tabulate the class number of $K(e^{2{\it\pi}i/p})$ for $p=5$ and $p=7$ . If the ${\it\lambda}$ -invariant is greater than zero, we then determine all the zeros for the corresponding branches of the $p$ -adic $L$ -function and deduce ${\rm\Lambda}$ -monogeneity for the class group tower over the cyclotomic $\mathbb{Z}_{p}$ -extension of $K$ .

Supplementary materials are available with this article.

In this paper, we investigate examples of good and optimal Drinfeld modular towers of function fields. Surprisingly, the optimality of these towers has not been investigated in full detail in the literature. We also give an algorithmic approach for obtaining explicit defining equations for some of these towers and, in particular, give a new explicit example of an optimal tower over a quadratic finite field.

In this paper we give an extension of the results of the generalized waiting time problem given by El-Desouky and Hussen (1990). An urn contains m types of balls of unequal numbers, and balls are drawn with replacement until first duplication. In the case of finite memory of order k, let ni be the number of type i, i = 1, 2, …, m. The probability of success pi = ni/N, i = 1, 2, …, m, where ni is a positive integer and Let Ym,k be the number of drawings required until first duplication. We obtain some new expressions of the probability function, in terms of Stirling numbers, symmetric polynomials, and generalized harmonic numbers. Moreover, some special cases are investigated. Finally, some important new combinatorial identities are obtained.

We generalize Siegel’s theorem on integral points on affine curves to integral points of bounded degree, giving a complete characterization of affine curves with infinitely many integral points of degree $d$ or less over some number field. Generalizing Picard’s theorem, we prove an analogous result characterizing complex affine curves admitting a nonconstant holomorphic map from a degree $d$ (or less) analytic cover of $\mathbb{C}$.

In light of the recent work by Maynard and Tao on the Dickson $k$-tuples conjecture, we show that with a small improvement in the known bounds for this conjecture, we would be able to prove that for some fixed $R$, there are infinitely many Carmichael numbers with exactly $R$ factors for some fixed $R$. In fact, we show that there are infinitely many such $R$.

Let $P(n)$ denote the largest prime factor of an integer $n\geq 2$. In this paper, we study the distribution of the sequence $\{f(P(n)):n\geq 1\}$ over the set of congruence classes modulo an integer $b\geq 2$, where $f$ is a strongly $q$-additive integer-valued function (that is, $f(aq^{j}+b)=f(a)+f(b),$ with $(a,b,j)\in \mathbb{N}^{3}$, $0\leq b<q^{j}$). We also show that the sequence $\{{\it\alpha}P(n):n\geq 1,f(P(n))\equiv a\;(\text{mod}~b)\}$ is uniformly distributed modulo 1 if and only if ${\it\alpha}\in \mathbb{R}\!\setminus \!\mathbb{Q}$.