Janez Povh: Iskanje SOS in SOHS razcepov za polinome

Abstract: Pri ugotavljanju, ali je dan polinom nenegativen, si lahko pomagamo tako, da preverimo, ali je ta polinom enak vsoti kvadratov (SOS), kar je zadosten, ne pa potreben pogoj za nenegativnost. V primeru nekomutativnih polinomov nas zanima razcep na vsoto hermitskih kvadratov. Iskanje obeh razcepov se teoretično in praktično izvede z uporabo semidefinitnega programiranja. Na seminarju bomo predstavili teoretičen okvir za iskanje teh razcepov in programski paket NCsostools.