English

Additive growth amongst images of linearly independent analytic functions

Combinatorics 2025-03-10 v2 Number Theory

Abstract

Let F\mathcal{F} be a set of nn real analytic functions with linearly independent derivatives restricted to a compact interval II. We show that for any finite set AIA \subset I, there is a function fFf \in \mathcal{F} that satisfies 2n1f(A)(2n11)f(A)F,IAϕ(n),|2^{n-1}f(A)-(2^{n-1}-1)f(A)|\gg_{\mathcal{F},I} |A|^{\phi(n)}, where ϕ:NR\phi:\mathbb{N} \to \mathbb{R} satisfies the recursive formula ϕ(1)=1,ϕ(n)=1+11+1ϕ(n1)for n2.\phi(1)=1, \quad \phi(n)=1+\frac{1}{1+\frac{1}{\phi(n-1)}} \quad \text{for } n\geq 2. The above result allows us to prove the bound 2nf(AA)(2n1)f(AA)f,n,IA1+ϕ(n)|2^nf(A-A)-(2^n-1)f(A-A)| \gg_{f,n,I} |A|^{1+\phi(n)} where ff is an analytic function for which any nn distinct non-trivial discrete derivatives of ff' are linearly independent. This condition is satisfied, for instance, by any polynomial function of degree mn+1m \geq n+1. We also check this condition for the function arctan(ex)\arctan(e^x) with n=3n=3, allowing us to improve upon a recent bound on the additive growth of the set of angles in a Cartesian product due to Roche-Newton.

Keywords

Cite

@article{arxiv.2503.03690,
  title  = {Additive growth amongst images of linearly independent analytic functions},
  author = {Samuel Mansfield},
  journal= {arXiv preprint arXiv:2503.03690},
  year   = {2025}
}

Comments

22 pages. Resolved an inconsistency in terminology and fixed a small hole in the proofs of Theorems 1.8 and 1.9, amongst other clarifications and minor corrections