The Vafa–Witten theorem is named after Cumrun Vafa and another person who is a professor at what school?
Vafa–Witten theorem In theoretical physics, the Vafa–Witten theorem, named after Cumrun Vafa and Edward Witten, is a theorem that shows that vector-like global symmetries (those that transform as expected under reflections) such as isospin and baryon number in vector-like gauge theories like QCD cannot be spontanteously broken as long as the theta angle is zero. This theorem can be proved by showing the exponential fall off of the propagator of fermions.
Roger Horn Roger Alan Horn is an American mathematician specializing in matrix analysis. He is a professor of mathematics at the University of Utah. He is known for formulating the Bateman–Horn conjecture with Paul T. Bateman on the density of prime number values generated by systems of polynomials. His books "Matrix Analysis" and "Topics in Matrix Analysis", co-written with Charles R. Johnson, are standard texts in advanced linear algebra.