An unknown-order-property characterization of quadratic atomicity and binary error

Let XOP2\mathrm{XOP}_2 be a prospective, as-yet-undefined generalization of the order property, and write NXOP2\mathrm{NXOP}_2 for its negation. Let a property be quadratically atomic in the group setting and admit binary disc2,3\operatorname{disc}_{2,3}-error in the hereditary 33-uniform-hypergraph setting, using the paper's definitions. XOP2 conjecture. There exists a definition of XOP2\mathrm{XOP}_2 such that: (i) if an epGP P\mathcal{P} is NXOP2\mathrm{NXOP}_2, then P\mathcal{P} is quadratically atomic; and (ii) if a hereditary property H\mathcal{H} of 33-uniform hypergraphs is NXOP2\mathrm{NXOP}_2, then H\mathcal{H} admits binary disc2,3\operatorname{disc}_{2,3}-error. This is presented as an open question motivated by examples that obstruct quadratic atomicity and binary error; no resolution is supplied.

Sources & referencesView supporting material

Primary source

C. Terry and J. Wolf, “Higher-order generalizations of stability and arithmetic regularity”, arXiv:2111.01739 (2025).

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.