Related papers: Binary forms as sums of two squares and Ch\^atelet…

We prove a folklore conjecture concerning the sum-of-digits functions in bases two and three: there are infinitely many positive integers $n$ such that the sum of the binary digits of $n$ equals the sum of the ternary digits of $n$.

There are numerous ways to represent real numbers. We may use, e.g., Cauchy sequences, Dedekind cuts, numerical base-10 expansions, numerical base-2 expansions and continued fractions. If we work with full Turing computability, all these…

In this paper, we find a basis for the space of modular forms of weight $2$ on $\Gamma_1(48)$. We use this basis to find formulas for the number of representations of a positive integer $n$ by certain quaternary quadratic forms of the form…

This note contains a solution to the following problem: reconstruct the definition field and the equation of a projective cubic surface, using only combinatorial information about the set of its rational points. This information is encoded…

In this note, we propose simple summations for primes, which involve two finite nested sums and Bernoulli numbers. The summations can also be expressed in terms of Bernoulli polynomials.

From an identity connecting a combinatorial sum and Legendre polynomials, we derive closed forms for a number of combinatorial sums. Some of them are obtained via results about the integrals of functions associated with Legendre…

A continuous quadratic form ("quadratic form", in short) on a Banach space $X$ is: (a) delta-semidefinite (i.e., representable as a difference of two nonnegative quadratic forms) if and only if the corresponding symmetric linear operator…

We develop new closed form representations of sums of (n + {\alpha})th shifted harmonic numbers and reciprocal binomial coefficients in terms of {\alpha}th shifted harmonic numbers. Some interesting new consequences and illustrative…

A (positive definite integral) quadratic form is called almost 2-universal if it represents all (positive definite integral) binary quadratic forms except those in only finitely many equivalence classes. Oh [7] determined all almost…

In this paper, we investigate sums of four squares of integers whose prime factorizations are restricted, making progress towards a conjecture of Sun that states that two of the integers may be restricted to the forms $2^a3^b$ and $2^c5^d$.…

The problem of bi-equivariant extension of continuous maps of binary $G$-spaces is considered. The concept of a structural map of distributive binary $G$-spaces is introduced, and a theorem on the bi-equivariant extension of structural maps…

We prove that the Hilbert scheme of points on a normal quasi-projective surface with at worst rational double point singularities is irreducible.

We investigate a relationship between MacMahon's generalized sum-of-divisors functions and Chebyshev polynomials of the first kind. This determines a recurrence relation to compute these functions, as well as proving a conjecture of…

It is known that every matrix of order n over the maximal order in an algebraic number eld is a sum of k-th powers in various cases if a discriminant condition is satis ed. It has been proved by Wadikar and Katre that for every matrix of…

In this paper, we prove some results of restricted sums of four squares using arithmetic of quaternions in the ring of Lipschitz integers. For example, we show that every nonnegative integer $n$ can be written as $x^{2}+y^{2}+z^{2}+t^{2}$…

We consider a construction of the fundamental spin representations of the simple Lie algebras $\mathfrak{so}(n)$ in terms of binary arithmetic of fixed width integers. This gives the spin matrices as a Lie subalgebra of a…

The Witt ring of symmetric bilinear forms over a field has divided power operations. On the other hand, it follows from Garibaldi-Merkurjev-Serre's work on cohomological invariants that all operations on the Witt ring are essentially linear…

Two cycles on a projective variety over an algebraically closed field are shown to be rationally equivalent if and only if their difference equals a difference of complete intersections of a certain kind. Some of Bloch's conjectures for…

We show that double cosets of the infinite symmetric group with respect to some special subgroups admit natural structures of semigroups. We interpret elements of such semigroups in combinatorial terms (chips, colored graphs,…

We consider the problem of finding 4 rational squares, such that the product of any two plus the sum of the same two always gives a square. We give some historical background and exhibit one such quadruple.