В квантовой теории поля C - теорема утверждает, что существует положительная действительная функция, , зависящая от констант связи рассматриваемой квантовой теории поля, , и от шкалы энергий, , которая обладает следующими свойствами:
Теорема формализует представление о том, что теории при высоких энергиях имеют больше степеней свободы, чем теории при низких энергиях, и что информация теряется при переходе от первых ко вторым.
Александр Замолодчиков доказал в 1986 году, что двумерная квантовая теория поля всегда имеет такую C -функцию. Более того, в фиксированных точках потока РГ, которые соответствуют конформным теориям поля , C -функция Замолодчикова равна центральному заряду соответствующей конформной теории поля [1] , что и дало название C теореме.
Джон Карди в 1988 году рассмотрел возможность обобщения C -теоремы на многомерную квантовую теорию поля. Он предположил [2], что в четырех измерениях пространства-времени величина, ведущая себя монотонно под потоками ренормгруппы и, таким образом, играющая роль, аналогичную центральному заряду c в двух измерениях, является определенным коэффициентом аномалии, который стал обозначаться как a . По этой причине аналог C -теоремы в четырех измерениях называется A -теоремой .
В теории возмущений, то есть для потоков перенормировки, которые не сильно отклоняются от свободных теорий, A -теорема в четырех измерениях была доказана Хью Осборном [3] с использованием локального уравнения ренормгруппы. Однако проблема нахождения доказательства, справедливого за пределами теории возмущений, оставалась открытой в течение многих лет.
В 2011 году Зохар Комаргодски и Адам Швиммер из Института науки Вейцмана предложили непертурбативное доказательство для A -теоремы, которое получило признание. [4] [5] (Тем не менее, одновременные монотонные и циклические ( предельный цикл ) или даже хаотические потоки РГ совместимы с такими функциями потока, когда они многозначны в связях, как это было продемонстрировано в конкретных системах. [6] ) Потоки РГ теорий в 4 измерениях и вопрос о том, подразумевает ли масштабная инвариантность конформную инвариантность, являются областью активных исследований, и не все вопросы решены.