<p>A set of integers <InlineEquation ID="IEq1"> <EquationSource Format="MATHML"><math> <mi>A</mi> </math></EquationSource> <EquationSource Format="TEX">$A$</EquationSource> </InlineEquation> is <i>non-averaging</i> if there is no element <InlineEquation ID="IEq2"> <EquationSource Format="MATHML"><math> <mi>a</mi> </math></EquationSource> <EquationSource Format="TEX">$a$</EquationSource> </InlineEquation> in <InlineEquation ID="IEq3"> <EquationSource Format="MATHML"><math> <mi>A</mi> </math></EquationSource> <EquationSource Format="TEX">$A$</EquationSource> </InlineEquation> which can be written as an average of a subset of <InlineEquation ID="IEq4"> <EquationSource Format="MATHML"><math> <mi>A</mi> </math></EquationSource> <EquationSource Format="TEX">$A$</EquationSource> </InlineEquation> not containing <InlineEquation ID="IEq5"> <EquationSource Format="MATHML"><math> <mi>a</mi> </math></EquationSource> <EquationSource Format="TEX">$a$</EquationSource> </InlineEquation>. We show that the largest non-averaging subset of <InlineEquation ID="IEq6"> <EquationSource Format="MATHML"><math> <mo stretchy="false">{</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mi>n</mi> <mo stretchy="false">}</mo> </math></EquationSource> <EquationSource Format="TEX">$\{1, \ldots , n\}$</EquationSource> </InlineEquation> has size <InlineEquation ID="IEq7"> <EquationSource Format="MATHML"><math> <msup> <mi>n</mi> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>4</mn> <mo>+</mo> <mi>o</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> <EquationSource Format="TEX">$n^{1/4+o(1)}$</EquationSource> </InlineEquation>, thus solving the Erdős–Straus problem. We also determine the largest size of a non-averaging set in a <InlineEquation ID="IEq8"> <EquationSource Format="MATHML"><math> <mi>d</mi> </math></EquationSource> <EquationSource Format="TEX">$d$</EquationSource> </InlineEquation>-dimensional box for any fixed <InlineEquation ID="IEq9"> <EquationSource Format="MATHML"><math> <mi>d</mi> </math></EquationSource> <EquationSource Format="TEX">$d$</EquationSource> </InlineEquation>. Our main tool includes the structure theorem for the set of subset sums due to Conlon, Fox and the first author, together with a result about the structure of a point set in nearly convex position.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Sharp Bound for the Erdős–Straus Non-averaging Set Problem

  • Huy Tuan Pham,
  • Dmitrii Zakharov

摘要

A set of integers A $A$ is non-averaging if there is no element a $a$ in A $A$ which can be written as an average of a subset of A $A$ not containing a $a$ . We show that the largest non-averaging subset of { 1 , , n } $\{1, \ldots , n\}$ has size n 1 / 4 + o ( 1 ) $n^{1/4+o(1)}$ , thus solving the Erdős–Straus problem. We also determine the largest size of a non-averaging set in a d $d$ -dimensional box for any fixed d $d$ . Our main tool includes the structure theorem for the set of subset sums due to Conlon, Fox and the first author, together with a result about the structure of a point set in nearly convex position.