A Refined Sum-Product Estimate via Higher Energies

Kaiqiang Zhang; Yuyu Wang; Yuanguo Zeng

In the authors' words

Let $A \subset R$ be a finite set. Combining the multiplicative slope estimate of Rudnev--Stevens, Cushman's higher-energy regularization, Shakan's $d^{+}$ -- $d^{\times}$ decomposition, and Solymosi's classical sum--product estimate, we prove \[ |AA|^{204}|A+A|^{301}\gtrsim |A|^{675}, \] where $≳$ suppresses a fixed polylogarithmic factor in $∣ A ∣$ . Consequently, for every $ε > 0$ , \[ \max\{|A+A|,|AA|\}\gg_\varepsilon |A|^{135/101-\varepsilon}. \] The proof is organized around two intermediate estimates. For every nonempty finite set $B \subset R_{> 0}$ , \[ d^\times(B)|BB|^{12}|B+B|^{16}\gtrsim |B|^{38}, \] whereas for every nonempty finite set $U \subset R$ , \[ d^+(U)^{17}|U+U|^{29}\gtrsim |U|^{46}. \]

Main resultThe abstract does not state a limitation.

A Refined Sum-Product Estimate via Higher Energies

In the authors' words

More on Combinatorics & discrete math that day

Simple symmetric Venn diagrams with 17 and 19 curves

Graphs with Minimum Algebraic Connectivity I: Proofs of Aldous-Fill and Guiduli-Mohar Conjectures

Lower Bounds for all List-Decodable Deletion Codes

Asymmetric Homomorphism Thresholds for Graphs of Large Odd Girth

Stable Regularity Lemmas: Efficient Algorithms and Essentially Tight Littlestone Bounds