Balog–Wooley decomposition conjecture

Let AA be a finite subset of R\mathbb{R}. For a finite set XX, write

E+(X)=E2+(X),E×(X)=E2×(X),E^+(X)=E_2^+(X),\qquad E^\times(X)=E_2^\times(X),

where Ek+(X)=xrXXk(x)E_k^+(X)=\sum_x r_{X-X}^k(x) and Ek×(X)=xrX/Xk(x)E_k^\times(X)=\sum_x r_{X/X}^k(x). Let η2/3\eta\leq 2/3 be given. Balog–Wooley conjecture. For every finite set ARA\subseteq\mathbb{R}, there are sets B,CB,C such that A=BCA=B\sqcup C and

maxE+(B),E×(C)A3η.\max\\{E^+(B),E^\times(C)\\}\lesssim |A|^{3-\eta}.

This decomposition seeks to partition a set into an additively unstructured part and a multiplicatively unstructured part. The source gives no resolution status.

Sources & referencesView supporting material

Primary source

Boqing Xue, “Asymmetric estimates and the sum-product problems”, arXiv:2005.09893 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.