Related papers: Fermat's Last Theorem over ${\mathbb Q}(\sqrt{5})$…
We prove a few new properties of the $\varphi$-representation of integers, where $\varphi = (1+\sqrt{5})/2$. In particular, we prove a 2012 conjecture of Kimberling. As software assistants, we used the Walnut theorem-prover, and in one…
We prove new conditional bounds on the the $m$-torsion of class groups of number fields of any fixed degree, for $m=2$, $3$, $4$, and $5$. Our methods first recast the problem in the language of class groups of Galois modules, which allows…
For the Hermitian inexact Rayleigh quotient iteration (RQI), we present a new general theory, independent of iterative solvers for shifted inner linear systems. The theory shows that the method converges at least quadratically under a new…
Let $n \ge 2$ be a natural number, $M$ a real $n \times n$ matrix, $s$ the sum of the entries of $M$ and $q$ the sum of their squares. With $\alpha := s/n$ and $\beta := q/n$, Gasper's determinant bound says that $ |\det M| \le…
Denote by $\mathcal{R}_p$ the set of all quadratic residues in $\mathbf{F}_p$ for each prime $p$. A conjecture of A. S\'ark\"ozy asserts, for all sufficiently large $p$, that no subsets $\mathcal{A},\mathcal{B}\subseteq\mathbf{F}_p$ with…
For a prime $p\equiv 3$ $(\text{mod }4)$, let $h(-8p)$ and $h(8p)$ be the class numbers of $\mathbb{Q}(\sqrt{-2p})$ and $\mathbb{Q}(\sqrt{2p})$, respectively. Let $\Psi(\xi)$ be the Hirzebruch sum of a quadratic irrational $\xi$. We show…
Let $\ell \geq 5$ be prime. For the partition function $p(n)$ and $5 \leq \ell \leq 31$, Atkin found a number of examples of primes $Q \geq 5$ such that there exist congruences of the form $p(\ell Q^{3} n+\beta) \equiv 0 \pmod{\ell}.$…
$q$-Supercongruences modulo the fifth and sixth powers of a cyclotomic polynomial are very rare in the literature. In this paper, we establish some $q$-supercongruences modulo the fifth and sixth powers of a cyclotomic polynomial in terms…
Using Watson's terminating $_8\phi_7$ transformation formula, we prove a family of $q$-congruences modulo the square of a cyclotomic polynomial, which were originally conjectured by the author and Zudilin [J. Math. Anal. Appl. 475 (2019),…
Let $E$ be an elliptic curve defined over a real quadratic field $F$. Let $p > 5$ be a rational prime that is inert in $F$ and assume that $E$ has split multiplicative reduction at the prime $\mathfrak{p}$ of $F$ dividing $p$. Let…
We generalize the reciprocity theorem of G.R.~Robinson, D. Benson and P. Webb between a finite group and its subgroup to the case of finite-dimensional {\it symmetric} algebras over a field which are connected by a bimodule for the two…
Fix a positive prime power $q$, and let $\mathbb{F}_q[t]$ be the ring of polynomials over the finite field $\mathbb{F}_q$. Suppose $A \subseteq \{f \in \mathbb{F}_q[t]\colon\text{deg}~ f \le N\}$ contains no pair of elements whose…
Lately, so-called "quantum" models, based on parts of the mathematics of quantum mechanics, have been developed in decision theory and cognitive sciences to account for seemingly irrational or paradoxical human judgments. We consider here…
We generalize current known distribution results on Shanks--R\'enyi prime number races to the case where arbitrarily many residue classes are involved. Our method handles both the classical case that goes back to Chebyshev and function…
We investigate exponential sums over singular binary quartic forms, proving an explicit formula for the finite field Fourier transform of this set. Our formula shares much in common with analogous formulas proved previously for other vector…
We present an extension of the Combination Lemma of [GSS89] that expresses the complexity of one or several faces in the overlay of many arrangements, as a function of the number of arrangements, the number of faces, and the complexities of…
Orthogonality is a fundamental theme in representation theory and Fourier analysis. An orthogonality relation for characters of finite abelian groups (now recognized as an orthogonality relation on GL(1)) was used by Dirichlet to prove…
Let $p\ge 5$ be a prime, and let $q_p(2):=(2^{p-1}-1)/p$ be the Fermat quotient of $p$ to base 2. The following curious congruence was conjectured by L. Skula and proved by A. Granville $$ q_p(2)^2\equiv…
With the help of El Bachraoui's lemma, the creative microscoping method, and a new form of the Chinese remainder theorem for coprime polynomials, we prove a $q$-supercongruence for double series and a $q$-supercongruence for triple series…
We study the last-passage growth model on the planar integer lattice with exponential weights. With boundary conditions that represent the equilibrium exclusion process as seen from a particle right after its jump we prove that the variance…