Related papers: Cubic congruences and binary quadratic forms

Let $k \geq 3$. If a multiplicative function $f$ satisfies \[ f(a_1^3 + a_2^3 + \cdots + a_k^3) = f(a_1^3) + f(a_2^3) + \cdots + f(a_k^3) \] for all $a_1, a_2, \ldots, a_k \in \mathbb{N}$, then $f$ is the identity function. The set of…

We determine the $3$-class groups of $\mathbb{Q}(\sqrt[3]{p})$ and $K=\mathbb{Q}(\sqrt[3]{p},\sqrt{-3})$ when $p\equiv 4,7\bmod 9$ is a prime and $3$ is a cubic modulo $p$. This confirms a conjecture made by Barrucand-Cohn, and proves the…

For A,epsilon>0 and any sufficiently large odd n we show that for almost all k up to n^{1/5-epsilon} there exists a representation n=p1+p2+p3 with primes in residue classes b1,b2,b3 mod k for almost all admissible triplets b1,b2,b3 of…

Let $r_Q(n)$ be the representation number of a nonnegative integer $n$ by the quaternary quadratic form $Q=x_1^2+2x_2^2+x_3^2+x_4^2+x_1x_3+x_1x_4+x_2x_4$. We first prove the identity $r_Q(p^2n)=r_Q(p^2)r_Q(n)/r_Q(1)$ for any prime $p$…

Let $Q(x,y,z)$ be an integral quadratic form with determinant coprime to some modulus $q$. We show that $q\mid Q$ for some non-zero integer vector $(x,y,z)$ of length $O(q^{5/8+\varepsilon})$, for any fixed $\varepsilon>0$. Without the…

Using only elementary arguments, Cassels and Uchiyama (independently) determined all squares that are sums of three consecutive cubes. Zhongfeng Zhang extended this result and determined all perfect powers that are sums of three consecutive…

In this paper we present the algorithm of finding the solutions of the equation $x^3+ax=b$ in $\mathbb{Z}^*_3$ with coefficients from $\mathbb{Q}_3$.

Let p be a prime = 3 (mod 4). A number of elegant number-theoretical properties of the sums T(p) = \sqrt{p}sum_{n=1}^{(p-1)/2} tan(n^2\pi/p) and C(p) = \sqrt{p}sum_{n=1}^{(p-1)/2} cot(n^2\pi/p) are proved. For example, T(p) equals p times…

We show under the assumption that the Tate-Shafarevich group of any elliptic curve over the rational numbers is finite that the cubic surface $x_1^3 + p_1p_2x_2^3 + p_2p_3x_3^3 + p_3p_1x_4^3 = 0$ has a rational point, where $p_1, p_2$ and…

The coordinate-free solutions of the multivector equation $ax+xb=c$ are discussed and presented for the Clifford algebras $Cl_{p,q}$ when $p+q\le 3$.

In this paper we prove three conjectures on congruences involving central binomial coefficients or Lucas sequences. Let $p$ be an odd prime and let $a$ be a positive integer. We show that if $p\equiv 1\pmod{4}$ or $a>1$ then $$…

We show that for primes $N, p \geq 5$ with $N \equiv -1 \bmod p$, the class number of $\mathbb{Q}(N^{1/p})$ is divisible by $p$. Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that when $N…

In the present paper we prove that every sufficiently large odd integer $N$ can be represented in the form \begin{equation*} N=p_1+p_2+p_3\,, \end{equation*} where $p_1,p_2,p_3$ are primes, such that $p_1=x^2 + y^2 +1$, $p_2=[n^c]$.

In this paper, we establish congruences (mod $p^2$) involving the quadrinomial coefficients $\dbinom{np-1}{p-1}_{3}$ and $\dbinom{np-1}{\frac{p-1}{2}}_{3}$. This is an analogue of congruences involving the trinomial coefficients…

Heath-Brown proved that for a positive proportion of integers $n$, $n^3+2$ has a prime factor larger than $n^{1+c}$ with $c=10^{-303}$. We generalize this result to arbitrary monic irreducible cubic polynomial of $\mathbb{Z}[x]$ with $c$…

The Ap\'ery numbers $A_n$ and the Franel numbers $f_n$ are defined by $$A_n=\sum_{k=0}^{n}{\binom{n+k}{2k}}^2{\binom{2k}{k}}^2\ \ \ \ \ {\rm and }\ \ \ \ \ \ f_n=\sum_{k=0}^{n}{\binom{n}{k}}^3(n=0, 1, \cdots,).$$ In this paper, we prove…

We consider cubic polynomials f(z)=z^3+az+b defined over the function field C(L), with a marked point of period N and multiplier L. In the case N=1, there are infinitely many such objects, and in the case N>2, only finitely many. The case…

For the mixed CM point (a,b,c) = (1/6, 1/3, 1), define A_n^{mix} := 108^n [z^n] _2F_1(1/6, 1/3; 1; z)^3. For every split prime p >= 7, p == 1 mod 3, and every m >= 1, we prove unconditionally A_{mp}^{mix} == A_m^{mix} mod p^4. The exponent…

Let $p$ be an odd prime. Define the Gaussian power sum \[ G_n(p)=\sum_{a=1}^{p-1}\sum_{b=1}^{p-1}(a+bi)^n\in\mathbb Z[i]. \] We determine $G_p(p)$ modulo high powers of $p$: if $p\equiv 1\pmod 4$ then $$G_p(p)\equiv p^2(1+i)\pmod{p^3},$$…

We call an integer a \emph{near-square} if its absolute value is a square or a prime times a square. We investigate such near-squares in the binary recurrence sequences defined for integers $a \geq 3$ by $u_{0}(a)=0$, $u_{1}(a)=1$ and…