In 2011 he and Adam Schwimmer from the Weizmann Institute proved a long-standing conjecture in quantum field theory,[7]the a-theorem, conjectured in 1988 by John Cardy.[8] Cardy's conjecture was a generalization of the c-theorem by Alexander Zamolodchikov (1986)[9] for two-dimensional quantum field theories on higher dimensions. The c-theorem ensures the existence of a function that decreases monotonically with the flow of the renormalization group (RG) (a function of the coupling constants and energy scale), which assumes constant values independent of the energy scale at the fixed points of the RG. This means that cycles in the flow of the RG are excluded; the flow is irreversible. The theorem also makes statements about the number of degrees of freedom in quantum field theory depending on the energy scale. In 1988 Cardy[10] proposed the existence of an analog function (a-function, as an integral of the expected value of the trace of the energy-momentum tensor over the four-dimensional sphere) in four dimensions. The a-function in four dimensions was proven to exist to all orders in perturbation theory in 1989 by Hugh Osborn.[11]
Komargodski and Schwimmer proved the existence of the a-function for four dimensions beyond perturbation theory.[12] The application of the a-theorem enables connections to be made between predictions of a quantum field theory at low (observable) energies and high energies in the four-dimensional case relevant for physics.
Additional contributions include:
Together with Alexander Zhiboedov, the universal large-spin limit of operators in Conformal Field Theories[13]
Contributions to supersymmetric localization, including the geometry of supersymmetric partition functions[14] the Cardy limit,[15] and the metric on the space of theories[16]