Related papers: Arithmetic progressions represented by diagonal te…

The alternating ternary sum in an associative algebra, $abc - acb - bac + bca + cab - cba$, gives rise to the partially alternating ternary sum in an associative dialgebra with products $\dashv$ and $\vdash$ by making the argument $a$ the…

We survey the potential for progress in additive number theory arising from recent advances concerning major arc bounds associated with mean value estimates for smooth Weyl sums. We focus attention on the problem of representing large…

A positive definite quadratic form is called perfect, if it is uniquely determined by its arithmetical minimum and the integral vectors attaining it. In this self-contained survey we explain how to enumerate perfect forms in $d$ variables…

In this paper, we consider the following diagonal quadratic forms \begin{equation*} a_1x_1^2 + a_2x_2^2 + \cdots + a_{\ell}x_{\ell}^2, \end{equation*} where $\ell\ge 5$ is an odd integer and $a_i\ge 1$ are integers. By using the extended…

In this paper we mainly study sums of four rational squares with certain restrictions. Let $\mathbb Q_{\ge0}$ be the set of nonnegative rational numbers. We establish the following four-square theorem for rational numbers: For any…

In this paper, we study universal sums of triangular numbers and squares. Specifically, we prove that a sum of triangular numbers and squares is universal if and only if it represents…

Let F be a perfect field. Then the diagonal quadratic form $a_iX_i^2$ over $F$ is universal over $M_2(F)$ if and only if atleast two of the $a_i$ are non-zero.

In 1888, Hilbert proved that every non-negative quartic form f=f(x,y,z) with real coefficients is a sum of three squares of quadratic forms. His proof was ahead of its time and used advanced methods from topology and algebraic geometry. Up…

We identify pairs of positive integers $(t, d)$ with the property that the integer sequence with general term $\lfloor{n^t/d\rfloor}$ contains at most finitely many primes.

In 1997, Kaplansky conjectured that if two positive definite ternary quadratic forms with integer coefficients have perfectly identical integral representations, then they are isometric, both regular, or included either of two families of…

In this paper we establish some new results similar to Lagrange's four-square theorem. For example, we prove that any integer $n>1$ can be written as $w(5w+1)/2+x(5x+1)/2+y(5y+1)/2+z(5z+1)/2$ with $w,x,y,z\in\mathbb Z$. Let $a$ and $b$ be…

We prove Kitaoka's conjecture for all totally real number fields of degree 4 -- namely, there is no positive definite classical quadratic form in three variables which is universal. To achieve this, we study the fields (often without…

We present a survey of recent results, scattered in a series of papers that appeared during past five years, whose common denominator is the use of cubic relations in various algebraic structures. Cubic (or ternary) relations can represent…

Let $\Bbb Z$ and $\Bbb N$ be the set of integers and the set of positive integers, respectively. For $a,b,c,d,n\in\Bbb N$ let $N(a,b,c,d;n)$ be the number of representations of $n$ by $ax^2+by^2+cz^2+dw^2$, and let $t(a,b,c,d;n)$ be the…

We determine primitive solutions to the equation $(x-r)^2 + x^2 + (x+r)^2 = y^n$ for $1 \le r \le 5,000$, making use of a factorization argument and the Primitive Divisors Theorem due to Bilu, Hanrot and Voutier.

Let $n$ be a nonzero integer. A set of $m$ positive integers is called a $D(n)$-$m$-tuple if the product of any two of its distinct elements increased by $n$ is a perfect square. Let $k$ be a positive integer. By elementary means, we show…

We provide a short proof of an algebraic identity. For integers $n\ge 2$ and variables $x,y,z$, it represents $(x^n+y^n-z^n)$ as a value of the quadratic form $\mathcal A^2+\mathcal B^2-\mathcal C^2$ after multiplication by an explicit…

We establish a new connection between sails, a key notion in the geometric theory of generalised continued fractions, and arithmetic of totally real number fields, specifically, universal quadratic forms and additively indecomposable…

In this paper we derive an explicit formula for the number of representations of an integer by the sextenary form x^2+y^2+z^2+ 7s^2+7t^2+ 7u^2. We establish the following intriguing inequalities 2b(n)>=a_7(n)>=b(n) for n not equal to…

We define a ternary product and more generally a (2k+1)-ary product on the vector space T^p_q(E) of tensors of type (p, q) that is contravariant of order p, covariant of order q and total order (p+q). This product is totally associative up…