Spring 2015

Lucky Talk: An Algorithmic Characterization of a Class of Inequalities

Friday, March 20th, 2015 9:30 am9:50 am

Add to Calendar


Calvin Lab Auditorium

During the discussion on Thursday afternoon, the audience will select a talk to continue on Friday morning.

We describe the intuition behind the proof of our algorithmic characterization of a class of inequalities that generalizes Cauchy-Schwarz, Holder’s inequality, and the monotonicity of the Lp norm, and products of such inequalities. Such inequalities arise in many settings, and our algorithmic characterization provides an efficient algorithm that either proves or provides a witness that falsifies a given inequality in the class.