Georgia Institute of Technology College of Sciences

I will highlight recent interplay between problems in extremal combinatorics and real algebraic geometry. This sheds a new light on undecidability of graph homomorphism density inequalities in extremal combinatorics, trace inequalities in linear algebra, and symmetric polynomial inequalities in real algebraic geometry. All of the necessary notions will be introduced in the talk. Joint work with Jose Acevedo, Sebastian Debus and Cordian Riener.