In terms of class field theory we give a necessary and sufficient condition for an integer to be representable by the quadratic form $x^{2}+xy+ny^{2}$ ($n\in \mathbb{N}$ arbitrary) under extra conditions $x\equiv 1\;\text{mod}\;m$, $y\equiv 0\;\text{mod}\;m$ on the variables. We also give some examples where their extended ring class numbers are less than or equal to $3$.

We obtain an upper bound for the number of solutions to the system of $m$ congruences of the type

$$\begin{eqnarray}\displaystyle \mathop{\prod }_{i=1}^{{\it\nu}}(x_{i}+s_{i})\equiv {\it\lambda}_{j}~(\text{mod }p)\quad j=1,\ldots ,m, & & \displaystyle \nonumber\end{eqnarray}$$

$p$

$1\leq x_{i}\leq h$

$i=1,\ldots ,{\it\nu}$

$s_{j},{\it\lambda}_{j}$

$j=1,\ldots ,m$

$h$

$p$

Maillet proved that the set of Liouville numbers is preserved under rational functions with rational coefficients. Based on this result, a problem posed by Mahler is to investigate whether there exist entire transcendental functions with this property or not. For large parametrized classes of Liouville numbers, we construct such functions and moreover we show that they can be constructed such that all their derivatives share this property. We use a completely different approach than in a recent paper, where functions with a different invariant subclass of Liouville numbers were constructed (though with no information on derivatives). More generally, we study the image of Liouville numbers under analytic functions, with particular attention to $f(z)=z^{q}$, where $q$ is a rational number.

We generalise a result of Hilbert which asserts that the Riemann zeta-function ${\it\zeta}(s)$ is hypertranscendental over $\mathbb{C}(s)$. Let ${\it\pi}$ be any irreducible cuspidal automorphic representation of $\text{GL}_{m}(\mathbb{A}_{\mathbb{Q}})$ with unitary central character. We establish a certain type of functional difference–differential independence for the associated $L$-function $L(s,{\it\pi})$. This result implies algebraic difference–differential independence of $L(s,{\it\pi})$ over $\mathbb{C}(s)$ (and more strongly, over a certain field ${\mathcal{F}}_{s}$ which contains $\mathbb{C}(s)$). In particular, $L(s,{\it\pi})$ is hypertranscendental over $\mathbb{C}(s)$. We also extend a result of Ostrowski on the hypertranscendence of ordinary Dirichlet series.

We give three identities involving multiple zeta values of height one and of maximal height: an explicit formula for the height-one multiple zeta values, a regularised sum formula and a sum formula for the multiple zeta values of maximal height.

Let $b_{3,5}(n)$ denote the number of partitions of $n$ into parts that are not multiples of 3 or 5. We establish several infinite families of congruences modulo 2 for $b_{3,5}(n)$. In the process, we also prove numerous parity results for broken 7-diamond partitions.

In this note, we prove that for any ${\it\nu}>0$, there is no lacunary entire function $f(z)\in \mathbb{Q}[[z]]$ such that $f(\mathbb{Q})\subseteq \mathbb{Q}$ and $\text{den}f(p/q)\ll q^{{\it\nu}}$, for all sufficiently large $q$.

Let $K$ be a number field with ring of integers ${\mathcal{O}}$. After introducing a suitable notion of density for subsets of ${\mathcal{O}}$, generalising the natural density for subsets of $\mathbb{Z}$, we show that the density of the set of coprime $m$-tuples of algebraic integers is $1/{\it\zeta}_{K}(m)$, where ${\it\zeta}_{K}$ is the Dedekind zeta function of $K$. This generalises a result found independently by Mertens [‘Ueber einige asymptotische Gesetze der Zahlentheorie’, J. reine angew. Math. 77 (1874), 289–338] and Cesàro [‘Question 75 (solution)’, Mathesis 3 (1883), 224–225] concerning the density of coprime pairs of integers in $\mathbb{Z}$.

We show that the restriction to square-free numbers of the representation function attached to a norm form does not correlate with nilsequences. By combining this result with previous work of Browning and the author, we obtain an application that is used in recent work of Harpaz and Wittenberg on the fibration method for rational points.

Primitive prime divisors play an important role in group theory and number theory. We study a certain number-theoretic quantity, called $\unicode[STIX]{x1D6F7}_{n}^{\ast }(q)$ , which is closely related to the cyclotomic polynomial $\unicode[STIX]{x1D6F7}_{n}(x)$ and to primitive prime divisors of $q^{n}-1$ . Our definition of $\unicode[STIX]{x1D6F7}_{n}^{\ast }(q)$ is novel, and we prove it is equivalent to the definition given by Hering. Given positive constants $c$ and $k$ , we provide an algorithm for determining all pairs $(n,q)$ with $\unicode[STIX]{x1D6F7}_{n}^{\ast }(q)\leq cn^{k}$ . This algorithm is used to extend (and correct) a result of Hering and is useful for classifying certain families of subgroups of finite linear groups.

We prove a subconvexity bound for the central value $L(\frac{1}{2},{\it\chi})$ of a Dirichlet $L$-function of a character ${\it\chi}$ to a prime power modulus $q=p^{n}$ of the form $L(\frac{1}{2},{\it\chi})\ll p^{r}q^{{\it\theta}+{\it\epsilon}}$ with a fixed $r$ and ${\it\theta}\approx 0.1645<\frac{1}{6}$, breaking the long-standing Weyl exponent barrier. In fact, we develop a general new theory of estimation of short exponential sums involving $p$-adically analytic phases, which can be naturally seen as a $p$-adic analogue of the method of exponent pairs. This new method is presented in a ready-to-use form and applies to a wide class of well-behaved phases including many that arise from a stationary phase analysis of hyper-Kloosterman and other complete exponential sums.

Let G be an additive abelian group, let n ⩾ 1 be an integer, let S be a sequence over G of length |S| ⩾ n + 1, and let ${\mathsf h}$ (S) denote the maximum multiplicity of a term in S. Let Σn (S) denote the set consisting of all elements in G which can be expressed as the sum of terms from a subsequence of S having length n. In this paper, we prove that either ng ∈ Σn (S) for every term g in S whose multiplicity is at least ${\mathsf h}$ (S) − 1 or |Σn (S)| ⩾ min{n + 1, |S| − n + | supp (S)| − 1}, where |supp(S)| denotes the number of distinct terms that occur in S. When G is finite cyclic and n = |G|, this confirms a conjecture of Y. O. Hamidoune from 2003.

A prime sieve is an algorithm that finds the primes up to a bound $n$ . We say that a prime sieve is incremental, if it can quickly determine if $n+1$ is prime after having found all primes up to  $n$ . We say a sieve is compact if it uses roughly $\sqrt{n}$ space or less. In this paper, we present two new results.

–

We describe the rolling sieve, a practical, incremental prime sieve that takes $O(n\log \log n)$ time and $O(\sqrt{n}\log n)$ bits of space.

The second result solves an open problem given by Paul Pritchard in 1994.

A conjecture of Scharaschkin and Skorobogatov states that there is a Brauer–Manin obstruction to the existence of rational points on a smooth geometrically irreducible curve over a number field. In this paper, we verify the Scharaschkin–Skorobogatov conjecture for explicit families of generalized Mordell curves. Our approach uses standard techniques from the Brauer–Manin obstruction and the arithmetic of certain threefolds.

Let 𝕀 denote an imaginary quadratic field or the field ℚ of rational numbers and let ℤ𝕀 denote its ring of integers. We shall prove a new explicit Baker-type lower bound for a ℤ𝕀-linear form in the numbers 1, eα1 , . . . , eαm, m ⩾ 2, where α0 = 0, α1, . . . , αm are m + 1 different numbers from the field 𝕀. Our work gives substantial improvements on the existing explicit versions of Baker’s work about exponential values at rational points. In particular, dependencies on m are improved.

Using results from Ramanujan's lost notebook, Zudilin recently gave an insightful proof of a radial limit result of Folsom et al. for mock theta functions. Here we see that Mortenson's previous work on the dual nature of Appell–Lerch sums and partial theta functions and on constructing bilateral q-series with mixed mock modular behaviour is well suited for such radial limits. We present five more radial limit results, which follow from mixed mock modular bilateral q-hypergeometric series. We also obtain the mixed mock modular bilateral series for a universal mock theta function of Gordon and McIntosh. The later bilateral series can be used to compute radial limits for many classical second-, sixth-, eighth- and tenth-order mock theta functions.

Following Jacquet, Lapid and Rogawski, we regularize trilinear periods. We use the regularized trilinear periods to compute Fourier–Jacobi periods of residues of Eisenstein series on metaplectic groups, which has an application to the Gan–Gross–Prasad conjecture.

Let $R$ be a commutative ring, let $F$ be a locally compact non-archimedean field of finite residual field $k$ of characteristic $p$, and let $\mathbf{G}$ be a connected reductive $F$-group. We show that the pro-$p$-Iwahori Hecke $R$-algebra of $G=\mathbf{G}(F)$ admits a presentation similar to the Iwahori–Matsumoto presentation of the Iwahori Hecke algebra of a Chevalley group, and alcove walk bases satisfying Bernstein relations. This was previously known only for a $F$-split group $\mathbf{G}$.

We prove some new bounds for the size of the maximal dissociated subset of structured (having small sumset, large energy and so on) subsets of an abelian group.

We consider the random functions $S_{N}(z):=\sum _{n=1}^{N}z(n)$, where $z(n)$ is the completely multiplicative random function generated by independent Steinhaus variables $z(p)$. It is shown that $\mathbb{E}|S_{N}|\gg \sqrt{N}(\log N)^{-0.05616}$ and that $(\mathbb{E}|S_{N}|^{q})^{1/q}\gg _{q}\sqrt{N}(\log N)^{-0.07672}$ for all $q>0$.