Ruzsa's genus conjecture

Consider a linear equation

E:i=1kaixi=0,E:\sum_{i=1}^k a_i x_i=0,

where a1,,aka_1,\dots,a_k are integers. The equation has genus one if

i=1kai=0\sum_{i=1}^k a_i=0

and iTai0\sum_{i\in T}a_i\neq 0 for every nonempty proper subset T[k]T\subsetneq [k]. Let rE(m)r_E(m) be the maximum size of a subset of [m][m] containing no non-trivial solution to EE, where a non-trivial solution is a solution whose variables are not all equal. Ruzsa's genus conjecture. If EE is a linear equation of genus one, then

rE(m)m1o(1).r_E(m)\geq m^{1-o(1)}.

This is a conjecture in additive combinatorics about the size of subsets avoiding non-trivial solutions to genus-one equations; the supplied source does not state whether it has been resolved.

Sources & referencesView supporting material

Primary source

Lior Gishboliner, Asaf Shapira and Yuval Wigderson, “An efficient asymmetric removal lemma and its limitations”, arXiv:2301.07693 (2024).

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.