An Erdős-Fuchs theorem for ordered representation functions

DOI10.1007/S11139-020-00326-2MaRDI QIDQ2240495zbMATH OpenOpenAlexFDO

Authors Gonzalo Cao-Labora, Juanjo Rué, Christoph Spiegel

Publication date 4 November 2021

Published in The Ramanujan Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1911.12313

zbMATH Keywords

additive basisadditive number theoryErdős-Fuchs theoremrepresentation functions

Mathematics Subject Classification ID

Additive bases, including sumsets (11B13) Representation functions (11B34) Power series (including lacunary series) in one complex variable (30B10)

Abstract: Let $kgeq2$ be a positive integer. We study concentration results for the ordered representation functions $$ and $$ for any infinite set of non-negative integers $A$. Our main theorem is an ErdH{o}s--Fuchs-type result for both functions: for any $c>0$ and $starinleq,<$ we show that ${\displaystyle }$sum_{j = 0}^{n} Big( r^{star}_k(A,j) - c Big) = o�ig(n^{1/4} log^{-1/2}n �ig)${\displaystyle }$ is not possible. We also show that the mean squared error ${\displaystyle }$E^star_{k,c}(A,n)=frac{1}{n} sum_{j = 0}^{n} Big( r^{star}_k(A,j) - c Big)^2${\displaystyle }$ satisfies $limsu{p}_{noinfty}{E}^{s}ta{r}_{k,c}(A,n)>0$. These results extend two theorems for the non-ordered representation function proved by ErdH{o}s and Fuchs in the case of $k=2$ (J. of the London Math. Society 1956).

Review text

Let \(k \geq 2\) be a positive integer. In this paper, the authors study concentration results for the ordered representation functions \(r_k^{\leq}(\mathcal{A}, n)=\sharp\{(a_1\leq \cdots \leq a_k)\in \mathcal{A}^k: a_1+\cdots+a_k=n\}\) and \(r_k^{<}(\mathcal{A},n)=\sharp\{(a_1<\cdots <a_k)\in \mathcal{A}^k: a_1+\cdots+a_k=n\}\) for any infinite set of non-negative integers \(\mathcal{A}\). The main theorem is an Erdős-Fuchs-type result for both functions: for any \(c>0\) and \(\star\in \{\leq,<\}\) they show that \(\sum\limits_{j=0}^n(r^{\star}(\mathcal{A},j)-c)=o(n^{1/4}\log^{-1/2}n)\) is not possible. They also show that the mean squared error \(E_{k,c}^{\star}(\mathcal{A},n)=\frac{1}{n}\sum\limits_{j=0}^n(r^{\star}(\mathcal{A},j)-c)^2\) satisfies \(\lim \sup_{n\rightarrow \infty}E_{k,c}^{\star}(\mathcal{A},n)>0\). These nice results extend two theorems for the nonordered representation function proved by \textit{P. Erdős} and \textit{W. H. J. Fuchs} in the case of \(k=2\) [J. Lond. Math. Soc. 31, 67--73 (1956; Zbl 0070.04104)].

Recommendations

• A quantitative Erdös–Fuchs theorem and its generalization
• On a theorem of Erdős and Fuchs
• On a generalization of a theorem of Erdős and Fuchs
• An Erdős-Fuchs type result for representation functions
• On a generalization of a theorem of Erdős and Fuchs

Cites work

• A converse to a theorem of Erdös and Fuchs
• A converse to an extension of a theorem of Erdős and Fuchs
• A quantitative Erdös–Fuchs theorem and its generalization
• An Application of Generating Series
• An improvement of an extension of a theorem of Erdős and Fuchs
• Analytic combinatorics
• scientific article; zbMATH DE number 981691 (Why is no real title available?)
• scientific article; zbMATH DE number 4177148 (Why is no real title available?)
• Inverse Erdős-Fuchs theorem for k-fold sumsets
• Note on a Problem in Additive Number Theory
• Omega theorems for the iterated additive convolution of a nonnegative arithmetic function
• On a generalization of a theorem of Erdős and Fuchs
• On a Problem of Additive Number Theory†
• On a question of Sárkozy and Sós for bilinear forms
• On a theorem of Erdös and Fuchs
• On polynomial representation functions for multivariate linear forms
• On the Erdős-Fuchs theorem
• Representation functions on finite sets with extreme symmetric differences

Cited in

(6)

• An Erdős-Fuchs type result for representation functions
• Additive representation functions and discrete convolutions
• A quantitative Erdős-Fuchs type result for multivariate linear forms
• An Erdős-Fuchs type theorem for finite groups
• On \(B_h[1]\)-sets which are asymptotic bases of order \(2h\)
• An oscillation theorem on the additive representative function over \(\mathbb{N}\)

This page was built for publication: An Erdős-Fuchs theorem for ordered representation functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2240495)