arXiv AI
When Can One Obtain Certificates of Optimality Using Positivstellensaetze?
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
Hugging Face Trending Papers
Sep 8
When Can One Obtain Certificates of Optimality Using Positivstellensaetze?
The paper investigates how to obtain certificates of positivity and optimality for learning problems whose objectives and constraints are not necessarily polynomial. It isolates an axiomatic core of Fischer's constructive strict and weak Positivstellensätze and extends the resulting theorems to abstract function algebras over ordered fields. The framework distinguishes between objective/constraint functions built from broad classes of continuous or definable operations and auxiliary primitives that satisfy explicit scalar and closure axioms, providing instances over continuous and definable function algebras, including fields not closed under square roots, and analyzing lower-bound and global-optimality certificates as well as computational complexity.
Hugging Face Trending Papers
Aug 3
Optimal Unambiguous DNFs and Alon-Saks-Seymour
We construct unambiguous DNFs having width $O(n)$ but $0$-certificate complexity $Ω(n^2)$. By utilizing the special structure of these DNFs, we prove a lifting theorem with a constant-sized gadget that lifts the DNF to a communication problem, while losslessly translating the separation in certificate complexity to a separation in communication complexity.
arXiv Machine Learning
Jun 25
FactorLibrary: From Polynomials to Circuits via Recursive Subgoals
arXiv:2606. 25394v1 Announce Type: new Abstract: Finding minimal arithmetic circuits for polynomials over finite fields is a combinatorially hard problem central to algebraic complexity theory.
arXiv AI
Jul 28
Formalizing Flag Algebras in Lean
arXiv:2607. 23500v1 Announce Type: cross Abstract: Razborov's flag algebra method is a powerful tool for proving asymptotic inequalities in extremal graph theory, often reducing the task to finding a finite certificate by semidefinite programming.
arXiv Machine Learning
Aug 4
Optimal Unambiguous DNFs and Alon-Saks-Seymour
arXiv:2608. 02533v1 Announce Type: cross Abstract: We construct unambiguous DNFs having width $O(n)$ but $0$-certificate complexity $\Omega(n^2)$.
arXiv Machine Learning
Sep 10
Fitting and Learning Basis-Restricted Propositional Formulas
arXiv:2609.08961v1 Announce Type: cross Abstract: For a finite set $O$ of Boolean functions, we consider the class of propositional formulas built using the functions in $O$ as connectives. We determ...