On the almost universality of $\lfloor x^2/a\rfloor+\lfloor y^2/b\rfloor+\lfloor z^2/c\rfloor$

TL;DR

This paper proves that for large enough integers, certain floor function representations involving squares are universally possible, confirming two conjectures for sufficiently large numbers using congruence theta functions.

Contribution

It establishes the validity of Farhi's and Sun's conjectures for all sufficiently large integers, expanding understanding of floor function representations of natural numbers.

Findings

Farhi's conjecture holds for all sufficiently large n when m ≥ 3.

Sun's conjecture is confirmed for all sufficiently large n when a, b, c ≥ 5 and pairwise coprime.

The proofs utilize congruence theta functions to establish universality.

Abstract

In 2013, Farhi conjectured that for each $m\geq 3$, every natural number $n$ can be represented as $\lfloor x^2/m\rfloor+\lfloor y^2/m\rfloor+\lfloor z^2/m\rfloor$ with $x,y,z\in\Z$, where $\lfloor\cdot\rfloor$ denotes the floor function. Moreover, in 2015, Sun conjectured that every natural number $n$ can be written as $\lfloor x^2/a\rfloor+\lfloor y^2/b\rfloor+\lfloor z^2/c\rfloor$ with $x,y,z\in\Z$, where $a,b,c$ are integers and $(a,b,c)\neq (1,1,1),(2,2,2)$. In this paper, with the help of congruence theta functions, we prove that for each $m\geq 3$, Farhi's conjecture is true for every sufficiently large integer $n$. And for $a,b,c\geq 5$ with $a,b,c$ are pairwisely co-prime, we also confirm Sun's conjecture for every sufficiently large integer $n$.