Details
Organizers: Amir Ali Ahmadi, Minjae Cho, Scott Collier and Silviu Pufu
Systematic verification of inequalities (or equivalently, positivity of functions) underlies mathematical sciences in a universal way. With the advent of efficient and accessible numerical approaches such as semidefinite programming that can automate this task, the list of applications is broad in scope and ever-growing, encompassing classical mechanics, engineering, operations research, geometry, quantum information theory, and theoretical high energy physics. This workshop aims to bring together researchers from the theoretical high energy physics community working on the bootstrap program for conformal field theory and quantum field theory, researchers from the optimization community working on semidefinite optimization and convex algebraic geometry , as well as researchers studying positivity in various interesting problems in mathematics and related sciences. The attendees will share insights into the nature of both the physical problems and approaches to harnessing positivity.
- PCTS
- Simons Collaboration on the Nonperturbative Bootstrap