<p>A 1971 conjecture of Graham (later repeated by Erdős and Graham) asserts that every set <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(A \subseteq {{\mathbb F}_{p}} \; \backslash \; \{0\}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>A</mi> <mo>⊆</mo> <mrow> <msub> <mrow> <mrow> <mi mathvariant="double-struck">F</mi> </mrow> </mrow> <mrow> <mi>p</mi> </mrow> </msub> </mrow> <mspace width="thickmathspace" /> <mi class="MJX-variant" mathvariant="normal">∖</mi> <mspace width="thickmathspace" /> <mo fence="false" stretchy="false">{</mo> <mn>0</mn> <mo fence="false" stretchy="false">}</mo> </math></EquationSource> </InlineEquation> has an ordering whose partial sums are all distinct. We prove this conjecture for sets of size <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(|A| \leqslant e^{{(\log p)}^{1/4}}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mo stretchy="false">∣</mo> </mrow> <mi>A</mi> <mrow> <mo stretchy="false">∣</mo> </mrow> <mo>⩽</mo> <msup> <mi>e</mi> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mi>log</mi> <mspace width="thinmathspace" /> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mn>1</mn> <mrow> <mo>/</mo> </mrow> <mn>4</mn> </mrow> </msup> </mrow> </msup> </math></EquationSource> </InlineEquation>; our result improves the previous bound of log <i>p</i>/log log <i>p</i>. One ingredient in our argument is a structure theorem involving dissociated sets, which may be of independent interest.</p>

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

Graham’s rearrangement conjecture beyond the rectification barrier

  • Benjamin Bedert,
  • Noah Kravitz

摘要

A 1971 conjecture of Graham (later repeated by Erdős and Graham) asserts that every set \(A \subseteq {{\mathbb F}_{p}} \; \backslash \; \{0\}\) A F p { 0 } has an ordering whose partial sums are all distinct. We prove this conjecture for sets of size \(|A| \leqslant e^{{(\log p)}^{1/4}}\) A e ( log p ) 1 / 4 ; our result improves the previous bound of log p/log log p. One ingredient in our argument is a structure theorem involving dissociated sets, which may be of independent interest.