Dice Question Streamline Icon: https://streamlinehq.com

Closure properties for valued function minions

Determine a principled set of closure properties for families of N-ary weightings on PolFeas(A,B) (for valued promise templates (A,B)) so that the resulting notion of a valued function minion coincides exactly with the collection of plurimorphisms Plu(A,B).

Information Square Streamline Icon: https://streamlinehq.com

Background

In the valued framework, polymorphisms are generalized to weightings over operations, and plurimorphisms are finite families of such weightings. The authors avoid introducing a concrete notion of a valued function minion (the valued analogue of a function minion) because it is unclear what closure operations are required to capture precisely the plurimorphisms of a valued template.

A resolution would provide an abstract algebraic object for valued PCSPs that parallels the role of minions in crisp PCSPs, enabling cleaner statements and proofs about reductions and complexity boundaries.

References

Unlike in the crisp case, we do not introduce a concept of valued function minion. The reason is that we currently do not know for sure what the right choice of closure properties would be, so that valued function minions would be exactly collections of plurimorphisms of templates.

The Rise of Plurimorphisms: Algebraic Approach to Approximation (2401.15186 - Barto et al., 26 Jan 2024) in Section 3.3 (Polymorphisms)