In this paper, we discuss a connection between geometric measure theory and number theory. This method brings a new point of view for some number-theoretic problems concerning digit expansions. Among other results, we show that for each integer k, there is a number $M>0$ such that if $b_{1},\ldots ,b_{k}$ are multiplicatively independent integers greater than M, there are infinitely many integers whose base $b_{1},b_{2},\ldots ,b_{k}$ expansions all do not have any zero digits.

We prove that the Riemann hypothesis is equivalent to the condition $\int _{2}^x\left (\pi (t)-\operatorname {\textrm {li}}(t)\right )\textrm {d}t<0$ for all $x>2$. Here, $\pi (t)$ is the prime-counting function and $\operatorname {\textrm {li}}(t)$ is the logarithmic integral. This makes explicit a claim of Pintz. Moreover, we prove an analogous result for the Chebyshev function $\theta (t)$ and discuss the extent to which one can make related claims unconditionally.

Let p be a prime with $p\equiv 1\pmod {4}$. Gauss first proved that $2$ is a quartic residue modulo p if and only if $p=x^2+64y^2$ for some $x,y\in \Bbb Z$ and various expressions for the quartic residue symbol $(\frac {2}{p})_4$ are known. We give a new characterisation via a permutation, the sign of which is determined by $(\frac {2}{p})_4$. The permutation is induced by the rule $x \mapsto y-x$ on the $(p-1)/4$ solutions $(x,y)$ to $x^2+y^2\equiv 0 \pmod {p}$ satisfying $1\leq x < y \leq (p-1)/2$.

We prove a divisibility result on sums involving the Apéry-like polynomials

$$ \begin{align*} V_n(x)=\sum_{k=0}^n {n\choose k}{n+k\choose k}{x\choose k}{x+k\choose k}, \end{align*} $$

which confirms a conjectural congruence of Z.-H. Sun. Our proof relies on some combinatorial identities and transformation formulae.

We study model theory of fields with actions of a fixed finite group scheme. We prove the existence and simplicity of a model companion of the theory of such actions, which generalizes our previous results about truncated iterative Hasse–Schmidt derivations [13] and about Galois actions [14]. As an application of our methods, we obtain a new model complete theory of actions of a finite group on fields of finite imperfection degree.

A finite set of integers A tiles the integers by translations if $\mathbb {Z}$ can be covered by pairwise disjoint translated copies of A. Restricting attention to one tiling period, we have $A\oplus B=\mathbb {Z}_M$ for some $M\in \mathbb {N}$ and $B\subset \mathbb {Z}$. This can also be stated in terms of cyclotomic divisibility of the mask polynomials $A(X)$ and $B(X)$ associated with A and B.

In this article, we introduce a new approach to a systematic study of such tilings. Our main new tools are the box product, multiscale cuboids and saturating sets, developed through a combination of harmonic-analytic and combinatorial methods. We provide new criteria for tiling and cyclotomic divisibility in terms of these concepts. As an application, we can determine whether a set A containing certain configurations can tile a cyclic group $\mathbb {Z}_M$, or recover a tiling set based on partial information about it. We also develop tiling reductions where a given tiling can be replaced by one or more tilings with a simpler structure. The tools introduced here are crucial in our proof in [24] that all tilings of period $(pqr)^2$, where $p,q,r$ are distinct odd primes, satisfy a tiling condition proposed by Coven and Meyerowitz [2].

Let $g \geq 1$ be an integer and let $A/\mathbb Q$ be an abelian variety that is isogenous over $\mathbb Q$ to a product of g elliptic curves defined over $\mathbb Q$, pairwise non-isogenous over $\overline {\mathbb Q}$ and each without complex multiplication. For an integer t and a positive real number x, denote by $\pi _A(x, t)$ the number of primes $p \leq x$, of good reduction for A, for which the Frobenius trace $a_{1, p}(A)$ associated to the reduction of A modulo p equals t. Assuming the Generalized Riemann Hypothesis for Dedekind zeta functions, we prove that $\pi _A(x, 0) \ll _A x^{1 - \frac {1}{3 g+1 }}/(\operatorname {log} x)^{1 - \frac {2}{3 g+1}}$ and $\pi _A(x, t) \ll _A x^{1 - \frac {1}{3 g + 2}}/(\operatorname {log} x)^{1 - \frac {2}{3 g + 2}}$ if $t \neq 0$. These bounds largely improve upon recent ones obtained for $g = 2$ by Chen, Jones, and Serban, and may be viewed as generalizations to arbitrary g of the bounds obtained for $g=1$ by Murty, Murty, and Saradha, combined with a refinement in the power of $\operatorname {log} x$ by Zywina. Under the assumptions stated above, we also prove the existence of a density one set of primes p satisfying $|a_{1, p}(A)|>p^{\frac {1}{3 g + 1} - \varepsilon }$ for any fixed $\varepsilon>0$.

We prove that $164\, 634\, 913$ is the smallest positive integer that is a sum of two rational sixth powers, but not a sum of two integer sixth powers. If $C_{k}$ is the curve $x^{6} + y^{6} = k$, we use the existence of morphisms from $C_{k}$ to elliptic curves, together with the Mordell–Weil sieve, to rule out the existence of rational points on $C_{k}$ for various k.

Let${\mathbb M}$ be an affine variety equipped with a foliation, both defined over a number field ${\mathbb K}$. For an algebraic $V\subset {\mathbb M}$ over ${\mathbb K}$, write $\delta _{V}$ for the maximum of the degree and log-height of V. Write $\Sigma _{V}$ for the points where the leaves intersect V improperly. Fix a compact subset ${\mathcal B}$ of a leaf ${\mathcal L}$. We prove effective bounds on the geometry of the intersection ${\mathcal B}\cap V$. In particular, when $\operatorname {codim} V=\dim {\mathcal L}$ we prove that $\#({\mathcal B}\cap V)$ is bounded by a polynomial in $\delta _{V}$ and $\log \operatorname {dist}^{-1}({\mathcal B},\Sigma _{V})$. Using these bounds we prove a result on the interpolation of algebraic points in images of ${\mathcal B}\cap V$ by an algebraic map $\Phi $. For instance, under suitable conditions we show that $\Phi ({\mathcal B}\cap V)$ contains at most $\operatorname {poly}(g,h)$ algebraic points of log-height h and degree g.

We deduce several results in Diophantine geometry. Following Masser and Zannier, we prove that given a pair of sections $P,Q$ of a nonisotrivial family of squares of elliptic curves that do not satisfy a constant relation, whenever $P,Q$ are simultaneously torsion their order of torsion is bounded effectively by a polynomial in $\delta _{P},\delta _{Q}$; in particular, the set of such simultaneous torsion points is effectively computable in polynomial time. Following Pila, we prove that given $V\subset {\mathbb C}^{n}$, there is an (ineffective) upper bound, polynomial in $\delta _{V}$, for the degrees and discriminants of maximal special subvarieties; in particular, it follows that the André–Oort conjecture for powers of the modular curve is decidable in polynomial time (by an algorithm depending on a universal, ineffective Siegel constant). Following Schmidt, we show that our counting result implies a Galois-orbit lower bound for torsion points on elliptic curves of the type previously obtained using transcendence methods by David.

We consider sums involving the divisor function over nonhomogeneous ($\beta \neq 0$) Beatty sequences $ \mathcal {B}_{\alpha ,\beta }:=\{[\alpha n+\beta ]\}_{n=1}^{\infty } $ and show that

$$ \begin{align*} \sum_{n\leq N,\ n\in\mathcal{B}_{\alpha,\beta}}d(n) =\alpha^{-1}\sum_{m\leq N}d(m) +O(N^{1-1/(\tau+1)+\varepsilon}), \end{align*} $$

where N is a sufficiently large integer, $\alpha $ is of finite type $\tau $ and $\beta \neq 0$. Previously, such estimates were only obtained for homogeneous Beatty sequences or for almost all $\alpha $.

We prove a new irreducibility result for polynomials over ${\mathbb Q}$ and we use it to construct new infinite families of reciprocal monogenic quintinomials in ${\mathbb Z}[x]$ of degree $2^n$.

In this article, we improve our main results from [LL21] in two directions: First, we allow ramified places in the CM extension $E/F$ at which we consider representations that are spherical with respect to a certain special maximal compact subgroup, by formulating and proving an analogue of the Kudla–Rapoport conjecture for exotic smooth Rapoport–Zink spaces. Second, we lift the restriction on the components at split places of the automorphic representation, by proving a more general vanishing result on certain cohomology of integral models of unitary Shimura varieties with Drinfeld level structures.

Following Bridgeman, we demonstrate several families of infinite dilogarithm identities associated with Fibonacci numbers, Lucas numbers, convergents of continued fractions of even periods, and terms arising from various recurrence relations.

Let $\mathbb {N}$ be the set of all nonnegative integers. For $S\subseteq \mathbb {N}$ and $n\in \mathbb {N}$, let $R_S(n)$ denote the number of solutions of the equation $n=s_1+s_2$, $s_1,s_2\in S$ and $s_1<s_2$. Let A be the set of all nonnegative integers which contain an even number of digits $1$ in their binary representations and $B=\mathbb {N}\setminus A$. Put $A_l=A\cap [0,2^l-1]$ and $B_l=B\cap [0,2^l-1]$. We prove that if $C \cup D=[0, m]\setminus \{r\}$ with $0<r<m$, $C \cap D=\emptyset $ and $0 \in C$, then $R_{C}(n)=R_{D}(n)$ for any nonnegative integer n if and only if there exists an integer $l \geq 1$ such that $m=2^{l}$, $r=2^{l-1}$, $C=A_{l-1} \cup (2^{l-1}+1+B_{l-1})$ and $D=B_{l-1} \cup (2^{l-1}+1+A_{l-1})$. Kiss and Sándor [‘Partitions of the set of nonnegative integers with the same representation functions’, Discrete Math. 340 (2017), 1154–1161] proved an analogous result when $C\cup D=[0,m]$, $0\in C$ and $C\cap D=\{r\}$.

In this paper, we prove the assertion that the number of monic cubic polynomials $F(x) = x^3 + a_2 x^2 + a_1 x + a_0$ with integer coefficients and irreducible, Galois over ${\mathbb {Q}}$ satisfying $\max \{|a_2|, |a_1|, |a_0|\} \leq X$ is bounded from above by $O(X (\log X)^2)$. We also count the number of abelian monic binary cubic forms with integer coefficients up to a natural equivalence relation ordered by the so-called Bhargava–Shankar height. Finally, we prove an assertion characterizing the splitting field of 2-torsion points of semi-stable abelian elliptic curves.

We present an $\ell$-adic trace formula for saturated and admissible dg-categories over a base monoidal differential graded (dg)-category. Moreover, we prove Künneth formulas for dg-category of singularities and for inertia-invariant vanishing cycles. As an application, we prove a categorical version of Bloch's conductor conjecture (originally stated by Spencer Bloch in 1985), under the additional hypothesis that the monodromy action of the inertia group is unipotent.

Let $[t]$ be the integral part of the real number t. We study the distribution of the elements of the set $\mathcal {S}(x) := \{[{x}/{n}] : 1\leqslant n\leqslant x\}$ in the arithmetical progression $\{a+dq\}_{d\geqslant 0}$. We give an asymptotic formula

$$ \begin{align*} S(x; q, a) := \sum_{\substack{m\in \mathcal{S}(x)\\ m\equiv a \pmod q}} 1 = \frac{2\sqrt{x}}{q} + O((x/q)^{1/3}\log x), \end{align*} $$

which holds uniformly for $x\geqslant 3$, $1\leqslant q\leqslant x^{1/4}/(\log x)^{3/2}$ and $1\leqslant a\leqslant q$, where the implied constant is absolute. The special case $S(x; q, q)$ confirms a recent numerical test of Heyman [‘Cardinality of a floor function set’, Integers 19 (2019), Article no. A67].

We prove uniform bounds for the Petersson norm of the cuspidal part of the theta series. This gives an improved asymptotic formula for the number of representations by a quadratic form. As an application, we show that every integer $n \neq 0,4,7 \,(\textrm{mod}\ 8)$ is represented as $n= x_1^2 + x_2^2 + x_3^3$ for integers $x_1,x_2,x_3$ such that the product $x_1x_2x_3$ has at most 72 prime divisors.

We show that the conjecture of [27] for the special value at $s=1$ of the zeta function of an arithmetic surface is equivalent to the Birch–Swinnerton–Dyer conjecture for the Jacobian of the generic fibre.

We establish a normal approximation for the limiting distribution of partial sums of random Rademacher multiplicative functions over function fields, provided the number of irreducible factors of the polynomials is small enough. This parallels work of Harper for random Rademacher multiplicative functions over the integers.