Non-SOS Positivstellensätze for Semialgebraic Sets Defined by Polynomial Matrix Inequalities. - Guo, Feng (Mathematics of Operations Research (INFORMS), 2026)