Upper-bound validity of moment hierarchies without symmetry

Determine whether the moment hierarchy and block moment hierarchy provide upper bounds on the measurable independence number for uniform measurable hypergraphs in the absence of a group action or homogeneity assumption.

Background

The dissertation establishes upper-bound results for the moment and block moment hierarchies under the assumption that the underlying measurable hypergraph is homogeneous under a compact group. The group action is used to average feasible solutions and construct the required continuous or invariant objects.

The authors explicitly leave unresolved whether an analogous upper-bound property holds for general measurable hypergraphs without such symmetry. Resolving this would extend the applicability of the moment-based hierarchies beyond homogeneous settings.

References

We also prove that the moment and block moment hierarchies give an upper bound on the measurable independence number, but only for uniform homogeneous hypergraphs. It is unclear whether a similar result holds without the presence of a group.

— Optimization hierarchies for extremal geometry through complete positivity  (2609.34845 - Bekker, 28 Sep 2026) in Chapter 6, opening paragraph of the chapter on convergence through completely positive programming