Abstract:Let $k \in \mathbb{N}$ and suppose we are given $k$ integers $1 \leq a_1, \dots, a_k \leq n$. If $\sqrt{a_1} + \dots + \sqrt{a_k}$ is not an integer, how close can it be to one? When $k=1$, the distance to the nearest integer is $\gtrsim n^{-1/2}$. Angluin-Eisenstat observed the bound $\gtrsim n^{-3/2}$ when $k=2$. We prove there is a universal $c>0$ such that, for all $k \geq 2$, there exists a $c_k > 0$ and $k$ integers in $\left\{1,2,\dots, n\right\}$ with $$ 0 <\|\sqrt{a_1} + \dots + \sqrt{a_k} \| \leq c_k\cdot n^{-c \cdot k^{1/3}},$$ where $\| \cdot \|$ denotes the distance to the nearest integer. This is a case of the square-root sum problem in numerical analysis where the usual cancellation constructions do not apply: even for $k=3$, constructing explicit examples of integers whose square root sum is nearly an integer appears to be nontrivial.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: Given $k$ integers $1\leq a_1,\ldots,a_k\leq n$, if the sum of their square roots $\sqrt{a_1}+\cdots+\sqrt{a_k}$ is not an integer, then how close can it be to the nearest integer? Specifically, the article explores the Square Root Sum Problem, that is, for given $k$ and $n$, to find the lower bound of the distance between the sum of the square roots of $k$ integers $a_i$ and the nearest integer. When $k = 1$ and $k = 2$, there are already good results: - When $k = 1$, the distance is $\Omega(n^{-1/2})$. - When $k = 2$, Angluin and Eisenstat proved that the distance is $\Omega(n^{-3/2})$. However, for $k\geq3$, the problem becomes much more complicated, and the existing construction methods cannot be directly applied. The main contribution of the article is to prove that there exists a constant $c>0$ such that for any fixed $k\geq2$, there exists $c_k > 0$, and $k$ integers $a_1,\ldots,a_k\in\{1,2,\ldots,n\}$ can be found such that: \[0 < \| \sqrt{a_1}+\cdots+\sqrt{a_k}\| \leq c_k\cdot n^{-c\cdot k^{1/3}}\] where $\|x\|$ represents the distance from $x$ to the nearest integer. In addition, the article also discusses the importance of this problem in numerical analysis and computational complexity theory, and proposes new methods for dealing with this problem using tools such as Fourier analysis.

Sums of square roots that are close to an integer

Distribution of sums of square roots modulo $1$

An improved bound on sums of square roots via the subspace theorem

Sums related to Euler's totient function

On sums of Egyptian fractions

On the theorem of Davenport and generalized Dedekind sums

On the Order of Power Series and the Sum of Square Roots Problem

On the Sum of Squarefree Integers and a Power of Two

Best rational approximations of an irrational number

On Erdős sums of almost primes

On sums of a prime and four prime squares in short intervals

On a Sumset Problem for Integers.

On sums of the small divisors of a natural number

Sums of one prime power and two squares of primes in short intervals

On a problem involving unit fractions

Equal Sum and Product Problem III

On simultaneous approximation to a real number, its square, and its cube, II

Near-squares in binary recurrence sequences

Rational Approximations to Certain Algebraic Numbers

The sum-product problem for small sets

A sum involving the greatest-integer function