Let F be a system of polynomial equations in one or more variables with integer coefficients. We show that there exists a univariate polynomial $D \in \mathbb {Z}[x]$ such that F is solvable modulo p if and only if the equation $D(x) \equiv 0 \pmod {p}$ has a solution.

In this paper, we study the extreme values of the Rankin–Selberg L-functions associated with holomorphic cusp forms in the vertical direction. Assuming the generalised Riemann hypothesis (GRH), we prove that

$$ \begin{align*} \underset{T^{\delta}\leq t\leq T}{\max}\bigg\lvert L\bigg(\frac12+it,f\times f\bigg)\bigg\rvert \geq\exp\bigg(C\sqrt{\frac{\log T\log\log\log T}{\log\log T}}\bigg) \end{align*} $$

with $C\leq \mathscr {X}\sqrt {1-\delta }$ , where $\mathscr {X}:=({2}/{\pi })\int _{0}^{\pi /3}\sin ^2\xi \,d\xi $ and $0\leq \delta <1$ .

We show that the elements of the dual of the Euclidean distance matrix cone can be described via an inequality on a certain weighted sum of its eigenvalues.

We derive a q-supercongruence modulo the third power of a cyclotomic polynomial with the help of Guo and Zudilin’s method of creative microscoping [‘A q-microscope for supercongruences’, Adv. Math. 346 (2019), 329–358] and the q-Dixon formula. As consequences, we give several supercongruences including

$$ \begin{align*}\sum_{k=0}^{(p-2)/3}\frac{(\frac{2}{3})_k^3}{(1)_k^3}\equiv\frac{p}{2}\frac{(1)_{(p-2)/3}}{(\frac{4}{3})_{(p-2)/3}}\pmod{p^3},\end{align*} $$

where p is a prime with $p\equiv 5\pmod {6}$ .

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 use circulant matrices and hyperelliptic curves over finite fields to study some arithmetic properties of certain determinants involving Legendre symbols and kth power residues.

Every transitive family of subspaces of a vector space of finite dimension $n\ge 2$ over a field $\mathbb {F}$ contains a subfamily which is transitive but has no proper transitive subfamily. Such a subfamily is called minimally transitive. Each has at most $n^2-n+1$ elements. On ${{\mathbb {C}}}^n, n\ge 3$ , a minimally transitive family of subspaces has at least four elements and a minimally transitive family of one-dimensional subspaces has $\tau $ elements where $n+1\le \tau \le 2n-2$ . We show how a minimally transitive family of one-dimensional subspaces arises when it consists of the subspaces spanned by the standard basis vectors together with those spanned by $0$ – $1$ vectors. On a space of dimension four, the set of nontrivial elements of a medial subspace lattice has five elements if it is minimally transitive. On spaces of dimension $12$ or more, the set of nontrivial elements of a medial subspace lattice can have six or more elements and be minimally transitive.

Let R be a finite ring and let ${\mathrm {zp}}(R)$ denote the nullity degree of R, that is, the probability that the multiplication of two randomly chosen elements of R is zero. We establish the nullity degree of a semisimple ring and find upper and lower bounds for the nullity degree in the general case.

We obtain some improved results for the exponential sum $\sum _{x<n\leq 2x}\Lambda (n)e(\alpha k n^{\theta })$ with $\theta \in (0,5/12),$ where $\Lambda (n)$ is the von Mangoldt function. Such exponential sums have relations with the so-called quasi-Riemann hypothesis and were considered by Murty and Srinivas [‘On the uniform distribution of certain sequences’, Ramanujan J. 7 (2003), 185–192].

We give effective finiteness results for the power values of polynomials with coefficients composed of a fixed finite set of primes; in particular, of Littlewood polynomials.

If G is permutation group acting on a finite set $\Omega $ , then this action induces a natural action of G on the power set $\mathscr{P}(\Omega )$ . The number $s(G)$ of orbits in this action is an important parameter that has been used in bounding numbers of conjugacy classes in finite groups. In this context, $\inf ({\log _2 s(G)}/{\log _2 |G|})$ plays a role, but the precise value of this constant was unknown. We determine it where G runs over all permutation groups not containing any ${{\textrm {A}}}_l, l> 4$ , as a composition factor.

Andrews [Generalized Frobenius Partitions, Memoirs of the American Mathematical Society, 301 (American Mathematical Society, Providence, RI, 1984)] defined two families of functions, $\phi _k(n)$ and $c\phi _k(n),$ enumerating two types of combinatorial objects which he called generalised Frobenius partitions. Andrews proved a number of Ramanujan-like congruences satisfied by specific functions within these two families. Numerous other authors proved similar results for these functions, often with a view towards a specific choice of the parameter $k.$ Our goal is to identify an infinite family of values of k such that $\phi _k(n)$ is even for all n in a specific arithmetic progression; in particular, we prove that, for all positive integers $\ell ,$ all primes $p\geq 5$ and all values $r, 0 < r < p,$ such that $24r+1$ is a quadratic nonresidue modulo $p,$

$$ \begin{align*} \phi_{p\ell-1}(pn+r) \equiv 0 \pmod{2} \end{align*} $$

for all $n\geq 0.$ Our proof of this result is truly elementary, relying on a lemma from Andrews’ memoir, classical q-series results and elementary generating function manipulations. Such a result, which holds for infinitely many values of $k,$ is rare in the study of arithmetic properties satisfied by generalised Frobenius partitions, primarily because of the unwieldy nature of the generating functions in question.

We prove that if $s\ge 2$ is a fixed integer, then the equation $ns^n+1=(b^m-1)/(b-1)$ has only finitely many positive integer solutions $(n,b,m)$ with $b\ge 2$ and $m\ge 3$ . When $s=2$ , it has no solution.

We show that the automorphism groups of right-angled Artin groups whose defining graphs have at least three vertices are not relatively hyperbolic. We then show that the outer automorphism groups are also not relatively hyperbolic, except for a few exceptional cases. In these cases, the outer automorphism groups are virtually isomorphic to either a finite group, an infinite cyclic group or $\mathrm {GL}_2(\mathbb {Z})$.

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 note, we use Dedekind’s eta function to prove a congruence relation between the number of representations by binary quadratic forms of discriminant $-31$ and Fourier coefficients of a weight $16$ cusp form. Our result is analogous to the classical result concerning Ramanujan’s tau function and binary quadratic forms of discriminant $-23$ .

A linear étale representation of a complex algebraic group G is given by a complex algebraic G-module V such that G has a Zariski-open orbit in V and $\dim G=\dim V$ . A current line of research investigates which reductive algebraic groups admit such étale representations, with a focus on understanding common features of étale representations. One source of new examples arises from the classification theory of nilpotent orbits in semisimple Lie algebras. We survey what is known about reductive algebraic groups with étale representations and then discuss two classical constructions for nilpotent orbit classifications due to Vinberg and to Bala and Carter. We determine which reductive groups and étale representations arise in these constructions and we work out in detail the relation between these two constructions.

For an (irreducible) recurrence equation with coefficients from $\mathbb Z[n]$ and its two linearly independent rational solutions $u_n,v_n$ , the limit of $u_n/v_n$ as $n\to \infty $ , when it exists, is called the Apéry limit. We give a construction that realises certain quotients of L-values of elliptic curves as Apéry limits.

We solve the problem of factoring polynomials $V_n(x) \pm 1$ and $W_n(x) \pm 1$ , where $V_n(x)$ and $W_n(x)$ are Chebyshev polynomials of the third and fourth kinds, in terms of the minimal polynomials of $\cos ({2\pi }{/d})$ . The method of proof is based on earlier work, D. A. Wolfram, [‘Factoring variants of Chebyshev polynomials of the first and second kinds with minimal polynomials of $\cos ({2 \pi }/{d})$ ’, Amer. Math. Monthly 129 (2022), 172–176] for factoring variants of Chebyshev polynomials of the first and second kinds. We extend this to show that, in general, similar variants of Chebyshev polynomials of the fifth and sixth kinds, $X_n(x) \pm 1$ and $Y_n(x) \pm 1$ , do not have factors that are minimal polynomials of $\cos ({2\pi }/{d})$ .

We prove that for any prime power $q\notin \{3,4,5\}$ , the cubic extension $\mathbb {F}_{q^{3}}$ of the finite field $\mathbb {F}_{q}$ contains a primitive element $\xi $ such that $\xi +\xi ^{-1}$ is also primitive, and $\operatorname {\mathrm {Tr}}_{\mathbb {F}_{q^{3}}/\mathbb {F}_{q}}(\xi )=a$ for any prescribed $a\in \mathbb {F}_{q}$ . This completes the proof of a conjecture of Gupta et al. [‘Primitive element pairs with one prescribed trace over a finite field’, Finite Fields Appl. 54 (2018), 1–14] concerning the analogous problem over an extension of arbitrary degree $n\ge 3$ .