Search papers, labs, and topics across Lattice.
The authors generalize Fischer's constructive Positivstellens盲tze beyond standard polynomials to abstract function algebras over ordered fields, establishing formal positivity and optimality certificates for non-polynomial machine learning problems. By decoupling the expressivity of continuous or definable objective functions from the axiomatic closure requirements of certificate primitives, the framework holds even over fields lacking square roots. The resulting bounds yield rigorous global-optimality certificates alongside explicit complexity analyses for both expanded term lengths and shared computation graphs.
Rigorous optimality certificates are no longer restricted to polynomial optimization: constructive Positivstellens盲tze now extend to broad classes of non-polynomial, definable learning objectives with bounded computational graph complexity.
We study certificates of positivity and optimality for learning problems whose objectives and constraints need not be polynomial. We isolate an axiomatic core of Fischer's constructive strict and weak Positivstellens盲tze and prove the resulting theorems for abstract function algebras over ordered fields. The framework separates two roles that can otherwise be conflated: objective and constraint functions may be built from broad classes of continuous or definable operations, while the auxiliary primitives used to construct a certificate satisfy explicit scalar and closure axioms. We give instances over continuous and definable function algebras, including ordered fields not closed under square roots, derive lower-bound and global-optimality certificates, and analyze both expanded term length and shared computation-graph complexity.
