To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
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}$.
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.
–
We also show how to modify the sieve of Atkin and Bernstein from 2004 to obtain a sieve that is simultaneously sublinear, compact, and incremental.
The second result solves an open problem given by Paul Pritchard in 1994.
We prove an asymptotic formula for the sum $\sum _{n\leq N}d(n^{2}-1)$, where $d(n)$ denotes the number of divisors of $n$. During the course of our proof, we also furnish an asymptotic formula for the sum $\sum _{d\leq N}g(d)$, where $g(d)$ denotes the number of solutions $x$ in $\mathbb{Z}_{d}$ to the equation $x^{2}\equiv 1~(\text{mod}~d)$.
If the centre of a group $G$ is trivial, then so is the centre of its automorphism group. We study the structure of the centre of the automorphism group of a group $G$ when the centre of $G$ is a cyclic group. In particular, it is shown that the exponent of $Z(\text{Aut}(G))$ is less than or equal to the exponent of $Z(G)$ in this case.
In a recent paper, Soundararajan has proved the quantum unique ergodicity conjecture by getting a suitable estimate for the second order moment of the so-called ‘Hecke multiplicative’ functions. In the process of proving this he has developed many beautiful ideas. In this paper we generalize his arguments to a general $k$th power and provide an analogous estimate for the $k$th power moment of the Hecke multiplicative functions. This may be of general interest.
For a positive integer $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}n$, let $\sigma (n)$ denote the sum of the positive divisors of $n$. Let $d$ be a proper divisor of $n$. We call $n$ a deficient-perfect number if $\sigma (n) = 2n - d$. In this paper, we show that there are no odd deficient-perfect numbers with three distinct prime divisors.
We show that if a Barker sequence of length $n>13$ exists, then either n $=$ 3 979 201 339 721749 133 016 171 583 224 100, or $n > 4\cdot 10^{33}$. This improves the lower bound on the length of a long Barker sequence by a factor of nearly $2000$. We also obtain eighteen additional integers $n<10^{50}$ that cannot be ruled out as the length of a Barker sequence, and find more than 237 000 additional candidates $n<10^{100}$. These results are obtained by completing extensive searches for Wieferich prime pairs and using them, together with a number of arithmetic restrictions on $n$, to construct qualifying integers below a given bound. We also report on some updated computations regarding open cases of the circulant Hadamard matrix problem.
Suppose that $k_0\geq 3.5\times 10^6$ and $\mathcal{H}=\{h_1,\ldots,h_{k_0}\}$ is admissible. Then, for any $m\geq 1$, the set $\{m(h_j-h_i):\, h_i<h_j\}$ contains at least one Polignac number.
A colouring of the vertices of a regular polygon is symmetric if it is invariant under some reflection of the polygon. We count the number of symmetric $r$-colourings of the vertices of a regular $n$-gon.
A natural number $n$ is called abundant if the sum of the proper divisors of $n$ exceeds $n$. For example, $12$ is abundant, since $1+ 2+ 3+ 4+ 6= 16$. In 1929, Bessel-Hagen asked whether or not the set of abundant numbers possesses an asymptotic density. In other words, if $A(x)$ denotes the count of abundant numbers belonging to the interval $[1, x] $, does $A(x)/ x$ tend to a limit? Four years later, Davenport answered Bessel-Hagen’s question in the affirmative. Calling this density $\Delta $, it is now known that $0. 24761\lt \Delta \lt 0. 24766$, so that just under one in four numbers are abundant. We show that $A(x)- \Delta x\lt x/ \mathrm{exp} (\mathop{(\log x)}\nolimits ^{1/ 3} )$ for all large $x$. We also study the behavior of the corresponding error term for the count of so-called $\alpha $-abundant numbers.
Let $\sigma (n)= {\mathop{\sum }\nolimits}_{d\mid n} d$ be the usual sum-of-divisors function. In 1933, Davenport showed that $n/ \sigma (n)$ possesses a continuous distribution function. In other words, the limit $D(u): = \lim _{x\rightarrow \infty }(1/ x){\mathop{\sum }\nolimits}_{n\leq x, n/ \sigma (n)\leq u} 1$ exists for all $u\in [0, 1] $ and varies continuously with $u$. We study the behaviour of the sums ${\mathop{\sum }\nolimits}_{n\leq x, n/ \sigma (n)\leq u} f(n)$ for certain complex-valued multiplicative functions $f$. Our results cover many of the more frequently encountered functions, including $\varphi (n)$, $\tau (n)$ and $\mu (n)$. They also apply to the representation function for sums of two squares, yielding the following analogue of Davenport’s result: for all $u\in [0, 1] $, the limit
An $r$-ary necklace (bracelet) of length $n$ is an equivalence class of $r$-colourings of vertices of a regular $n$-gon, taking all rotations (rotations and reflections) as equivalent. A necklace (bracelet) is symmetric if a corresponding colouring is invariant under some reflection. We show that the number of symmetric $r$-ary necklaces (bracelets) of length $n$ is $\frac{1}{2} (r+ 1){r}^{n/ 2} $ if $n$ is even, and ${r}^{(n+ 1)/ 2} $ if $n$ is odd.
We solve the equation ${x}^{a} + {x}^{b} + 1= {y}^{q} $ in positive integers $x, y, a, b$ and $q$ with $a\gt b$ and $q\geq 2$ coprime to $\phi (x)$. This requires a combination of a variety of techniques from effective Diophantine approximation, including lower bounds for linear forms in complex and $p$-adic logarithms, the hypergeometric method of Thue and Siegel applied $p$-adically, local methods, and the algorithmic resolution of Thue equations.
In this paper, we prove that, if $N$ is a positive odd number with $r$ distinct prime factors such that $N\mid \sigma (N)$, then $N\lt {2}^{{4}^{r} - {2}^{r} } $ and $N{\mathop{\prod }\nolimits}_{p\mid N} p\lt {2}^{{4}^{r} } $, where $\sigma (N)$ is the sum of all positive divisors of $N$. In particular, these bounds hold if $N$ is an odd perfect number.
The main result in the earlier paper (by the first author) is improved as follows. The number of odd multiperfect numbers with at most $r$ distinct prime factors is bounded by ${4}^{{r}^{2} } / {2}^{r+ 2} (r- 1)!$.
Recently, Pollack and Shevelev [‘On perfect and near-perfect numbers’, J. Number Theory132 (2012), 3037–3046] introduced the concept of near-perfect numbers. A positive integer $n$ is called near-perfect if it is the sum of all but one of its proper divisors. In this paper, we determine all near-perfect numbers with two distinct prime factors.
We prove that when $(a, m)= 1$ and $a$ is a quadratic residue $\hspace{0.167em} \mathrm{mod} \hspace{0.167em} m$, there are infinitely many Carmichael numbers in the arithmetic progression $a\hspace{0.167em} \mathrm{mod} \hspace{0.167em} m$. Indeed the number of them up to $x$ is at least ${x}^{1/ 5} $ when $x$ is large enough (depending on $m$).
Let $p$ be a prime. In this paper, we present a detailed $p$-adic analysis on factorials and double factorials and their congruences. We give good bounds for the $p$-adic sizes of the coefficients of the divided universal Bernoulli number ${B}_{n} / n$ when $n$ is divisible by $p- 1$. Using these, we then establish the universal Kummer congruences modulo powers of a prime $p$ for the divided universal Bernoulli numbers ${B}_{n} / n$ when $n$ is divisible by $p- 1$.
Two arithmetic functions $f$ and $g$ form a Möbius pair if $f(n)= {\mathop{\sum }\nolimits}_{d\mid n} g(d)$ for all natural numbers $n$. In that case, $g$ can be expressed in terms of $f$ by the familiar Möbius inversion formula of elementary number theory. In a previous paper, the first-named author showed that if the members $f$ and $g$ of a Möbius pair are both finitely supported, then both functions vanish identically. Here we prove two significantly stronger versions of this uncertainty principle. A corollary is that in a nonzero Möbius pair, one cannot have both ${\mathop{\sum }\nolimits}_{f(n)\not = 0} 1/ n\lt \infty $ and ${\mathop{\sum }\nolimits}_{g(n)\not = 0} 1/ n\lt \infty $.