We prove that a finite set of natural numbers J satisfies that $J\cup \{0\}$ is not Sidon if and only if for any operator T, the disjoint hypercyclicity of $\{T^j:j\in J\}$ implies that T is weakly mixing. As an application we show the existence of a non-weakly mixing operator T such that $T\oplus T^2\oplus\cdots \oplus T^n$ is hypercyclic for every n.

For an unramified reductive group, we determine the connected components of affine Deligne–Lusztig varieties in the affine flag variety. Based on work of Hamacher, Kim, and Zhou, this result allows us to verify, in the unramified group case, the He–Rapoport axioms, the almost product structure of Newton strata, and the precise description of isogeny classes predicted by the Langlands–Rapoport conjecture, for the Kisin–Pappas integral models of Shimura varieties of Hodge type with parahoric level structure.

We obtain new bounds on short Weil sums over small multiplicative subgroups of prime finite fields which remain nontrivial in the range the classical Weil bound is already trivial. The method we use is a blend of techniques coming from algebraic geometry and additive combinatorics.

For integers a and $b\geq 2$, let $T_a$ and $T_b$ be multiplication by a and b on $\mathbb {T}=\mathbb {R}/\mathbb {Z}$. The action on $\mathbb {T}$ by $T_a$ and $T_b$ is called $\times a,\times b$ action and it is known that, if a and b are multiplicatively independent, then the only $\times a,\times b$ invariant and ergodic measure with positive entropy of $T_a$ or $T_b$ is the Lebesgue measure. However, it is not known whether there exists a non-trivial $\times a,\times b$ invariant and ergodic measure. In this paper, we study the empirical measures of $x\in \mathbb {T}$ with respect to the $\times a,\times b$ action and show that the set of x such that the empirical measures of x do not converge to any measure has Hausdorff dimension one and the set of x such that the empirical measures can approach a non-trivial $\times a,\times b$ invariant measure has Hausdorff dimension zero. Furthermore, we obtain some equidistribution result about the $\times a,\times b$ orbit of x in the complement of a set of Hausdorff dimension zero.

We consider three different families of Vafa–Witten invariants of $K3$ surfaces. In each case, the partition function that encodes the Vafa–Witten invariants is given by combinations of twisted Dedekind η-functions. By utilizing known properties of these η-functions, we obtain exact formulae for each of the invariants and prove that they asymptotically satisfy all higher-order Turán inequalities.

In this note, we prove that every Salem number is expressible as a difference of two Pisot numbers. More precisely, we show that for each Salem number α of degree d, there are infinitely many positive integers n for which $\alpha^{2n-1}-\alpha^n+\alpha$ and $\alpha^{2n-1}-\alpha^n$ are both Pisot numbers of degree d and that the smallest such n is at most $6^{d/2-1}+1$. We also prove that every real positive algebraic number can be expressed as a quotient of two Pisot numbers. Earlier, Salem himself had proved that every Salem number can be written in this way.

For a nonempty set A of integers and an integer n, let $r_{A}(n)$ be the number of representations of n in the form $n=a+a'$, where $a\leqslant a'$ and $a, a'\in A$, and $d_{A}(n)$ be the number of representations of n in the form $n=a-a'$, where $a, a'\in A$. The binary support of a positive integer n is defined as the subset S(n) of nonnegative integers consisting of the exponents in the binary expansion of n, i.e., $n=\sum_{i\in S(n)} 2^i$, $S(-n)=-S(n)$ and $S(0)=\emptyset$. For real number x, let $A(-x,x)$ be the number of elements $a\in A$ with $-x\leqslant a\leqslant x$. The famous Erdős-Turán Conjecture states that if A is a set of positive integers such that $r_A(n)\geqslant 1$ for all sufficiently large n, then $\limsup_{n\rightarrow\infty}r_A(n)=\infty$. In 2004, Nešetřil and Serra initially introduced the notation of “bounded” property and confirmed the Erdős-Turán conjecture for a class of bounded bases. They also proved that, there exists a set A of integers satisfying $r_A(n)=1$ for all integers n and $|S(x)\bigcup S(y)|\leqslant 4|S(x+y)|$ for $x,y\in A$. On the other hand, Nathanson proved that there exists a set A of integers such that $r_A(n)=1$ for all integers n and $2\log x/\log 5+c_1\leqslant A(-x,x)\leqslant 2\log x/\log 3+c_2$ for all $x\geqslant 1$, where $c_1,c_2$ are absolute constants. In this paper, following these results, we prove that, there exists a set A of integers such that: $r_A(n)=1$ for all integers n and $d_A(n)=1$ for all positive integers n, $|S(x)\bigcup S(y)|\leqslant 4|S(x+y)|$ for $x,y\in A$ and $A(-x,x) \gt (4/\log 5)\log\log x+c$ for all $x\geqslant 1$, where c is an absolute constant. Furthermore, we also construct a family of arbitrarily spare such sets A.

We use the theta correspondence to study the equivalence between Godement–Jacquet and Jacquet–Langlands L-functions for ${\mathrm {GL}}(2)$. We show that the resulting comparison is in fact an expression of an exotic symmetric monoidal structure on the category of ${\mathrm {GL}}(2)$-modules. Moreover, this enables us to construct an abelian category of abstractly automorphic representations, whose irreducible objects are the usual automorphic representations. We speculate that this category is a natural setting for the study of automorphic phenomena for ${\mathrm {GL}}(2)$, and demonstrate its basic properties.

This paper is a part of the author’s thesis [4].

We prove general Dwork-type congruences for constant terms attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and p-adic analytic properties of functions originating from polynomial solutions modulo $p^s$ of hypergeometric and Knizhnik–Zamolodchikov (KZ) equations, solutions which come as coefficients of master polynomials and whose coefficients are integers. As an application, we show that the simplest example of a p-adic KZ connection has an invariant line subbundle while its complex analog has no nontrivial subbundles due to the irreducibility of its monodromy representation.

For an integer $b\geq 2$, a positive integer is called a b-Niven number if it is a multiple of the sum of the digits in its base-b representation. In this article, we show that every arithmetic progression contains infinitely many b-Niven numbers.

We prove an upper bound for the sum of values of the ideal class zeta-function over nontrivial zeros of the Riemann zeta-function. The same result for the Dedekind zeta-function is also obtained. This may shed light on some unproved cases of the general Dedekind conjecture.

In a series of three earlier papers, we considered a family of restriction problems for classical groups (over local and global fields) and proposed precise answers to these problems using the local and global Langlands correspondence. These restriction problems were formulated in terms of a pair $W \subset V$ of orthogonal, Hermitian, symplectic, or skew-Hermitian spaces. In this paper, we consider a twisted variant of these conjectures in one particular case: that of a pair of skew-Hermitian spaces $W = V$.

We prove that the class of all the rings $\mathbb {Z}/m\mathbb {Z}$ for all $m>1$ is decidable. This gives a positive solution to a problem of Ax asked in his celebrated 1968 paper on the elementary theory of finite fields [1, Problem 5, p. 270]. In our proof, we reduce the problem to the decidability of the ring of adeles $\mathbb {A}_{\mathbb {Q}}$ of $\mathbb {Q}$.

In 2019, Andrews and Newman [‘Partitions and the minimal excludant’, Ann. Comb. 23(2) (2019), 249–254] introduced the arithmetic function $\sigma \textrm {mex}(n)$, which denotes the sum of minimal excludants over all the partitions of n. Baruah et al. [‘A refinement of a result of Andrews and Newman on the sum of minimal excludants’, Ramanujan J., to appear] showed that the sum of minimal excludants over all the partitions of n is the same as the number of partition pairs of n into distinct parts. They proved three congruences modulo $4$ and $8$ for two functions appearing in this refinement and conjectured two further congruences modulo $8$ and $16$. We confirm these two conjectures by using q-series manipulations and modular forms.

In this article, we obtain transformation formulas analogous to the identity of Ramanujan, Hardy and Littlewood in the setting of primitive Maass cusp form over the congruence subgroup $\Gamma _0(N)$ and also provide an equivalent criterion of the grand Riemann hypothesis for the $L$-function associated with the primitive Maass cusp form over $\Gamma _0(N)$.

Let $G$ be a split reductive group over the ring of integers in a $p$-adic field with residue field $\mathbf {F}$. Fix a representation $\overline {\rho }$ of the absolute Galois group of an unramified extension of $\mathbf {Q}_p$, valued in $G(\mathbf {F})$. We study the crystalline deformation ring for $\overline {\rho }$ with a fixed $p$-adic Hodge type that satisfies an analog of the Fontaine–Laffaille condition for $G$-valued representations. In particular, we give a root theoretic condition on the $p$-adic Hodge type which ensures that the crystalline deformation ring is formally smooth. Our result improves on all known results for classical groups not of type A and provides the first such results for exceptional groups.

Let $k\ge 2$ be an integer and let A be a set of nonnegative integers. The representation function $R_{A,k}(n)$ for the set A is the number of representations of a nonnegative integer n as the sum of k terms from A. Let $A(n)$ denote the counting function of A. Bell and Shallit [‘Counterexamples to a conjecture of Dombi in additive number theory’, Acta Math. Hung., to appear] recently gave a counterexample for a conjecture of Dombi and proved that if $A(n)=o(n^{{(k-2)}/{k}-\epsilon })$ for some $\epsilon>0$, then $R_{\mathbb {N}\setminus A,k}(n)$ is eventually strictly increasing. We improve this result to $A(n)=O(n^{{(k-2)}/{(k-1)}})$. We also give an example to show that this bound is best possible.

We introduce self-divisible ultrafilters, which we prove to be precisely those $w$ such that the weak congruence relation $\equiv _w$ introduced by Šobot is an equivalence relation on $\beta {\mathbb Z}$. We provide several examples and additional characterisations; notably we show that $w$ is self-divisible if and only if $\equiv _w$ coincides with the strong congruence relation $\mathrel {\equiv ^{\mathrm {s}}_{w}}$, if and only if the quotient $(\beta {\mathbb Z},\oplus )/\mathord {\mathrel {\equiv ^{\mathrm {s}}_{w}}}$ is a profinite group. We also construct an ultrafilter $w$ such that $\equiv _w$ fails to be symmetric, and describe the interaction between the aforementioned quotient and the profinite completion $\hat {{\mathbb Z}}$ of the integers.

Arithmetic quasidensities are a large family of real-valued set functions partially defined on the power set of $\mathbb {N}$, including the asymptotic density, the Banach density and the analytic density. Let $B \subseteq \mathbb {N}$ be a nonempty set covering $o(n!)$ residue classes modulo $n!$ as $n\to \infty $ (for example, the primes or the perfect powers). We show that, for each $\alpha \in [0,1]$, there is a set $A\subseteq \mathbb {N}$ such that, for every arithmetic quasidensity $\mu $, both A and the sumset $A+B$ are in the domain of $\mu $ and, in addition, $\mu (A + B) = \alpha $. The proof relies on the properties of a little known density first considered by Buck [‘The measure theoretic approach to density’, Amer. J. Math. 68 (1946), 560–580].