Использование теории возмущений для приближенного вычисления величины в нерешаемой теории можно сравнить со смешиванием красок для приближенного получения желаемого цвета. Допустим, вы стремитесь получить нежноголубой цвет с примесью зеленого, который напоминает Средиземное море в самые красивые моменты. Вы можете начать с синей краски, а затем подмешивать во все меньших количествах зеленую краску, поочередно добавляя чуть больше синей, пока не достигнете (почти) точного цвета, которого вы добивались. Изменение вашей смеси красок в такой манере — это путь, совершаемый малыми шагами для получения настолько близкого приближения к желаемому цвету, который вы хотите. Аналогично, теория возмущений — это метод последовательного приближения к правильному ответу для любой задачи, которую вы решаете, путем совершения последовательных шагов, начиная с задачи, которую вы уже знаете, как решать.
С другой стороны, попытка найти ответ для задачи в теории с сильной связью больше напоминает попытку воспроизвести картину Джексона Поллака, хаотично распыляя краски. Каждый раз, как вы брызгали бы немного краски, картина полностью менялась бы. Ваша картина не стала бы ближе к желаемой после двенадцати итераций по сравнению с тем, чем она была после восьми. На самом деле каждый раз, когда вы разбрызгивали бы краску, вы старались бы сделать это так, чтобы не покрыть слишком большой кусок от предыдущей попытки, изменяя картину настолько сильно, что вы по существу начинали бы каждый раз заново.
Аналогично, теория возмущений бесполезна, когда решаемая теория возмущается сильным взаимодействием. Так же как тщетны попытки повторить современный разбрызганный шедевр, не будут иметь успеха и систематические попытки получить приближенно интересующую вас величину в теории с сильным взаимодействием. Теория возмущений полезна и вычисления можно контролировать только тогда, когда взаимодействия слабы.
Иногда, в определенных исключительных ситуациях, даже когда теория возмущений бесполезна, удается все же понять качественные свойства сильно взаимодействующей теории. Например, физическое описание вашей системы может напоминать в общих чертах слабовзаимодействующую теорию, хотя детали, возможно, довольно сильно различаются. Однако чаще невозможно что-либо сказать о сильновзаимодействующей системе. Даже качественные свойства сильновзаимодействующей системы часто полностью отличаются от свойств на первый взгляд похожей слабовзаимодействующей системы.
Итак, есть две вещи, которые можно ожидать от сильновзаимодействующей десятимерной теории струн. Вы можете думать, что никто не способен построить ее, и поэтому никто не может ничего о ней сказать, или вы можете ожидать, что сильновзаимодействующая десятимерная теория струн выглядит, по меньшей мере в общих чертах, как слабо связанная теория струн. Удивительно, но в некоторых случаях ни один из этих вариантов не оказывается правильным. В случае частного типа десятимерной теории струн, называемой НА, сильновзаимодействующая струна не имеет ничего общего со слабовзаимодействующей струной. Но тем не менее мы можем изучать ее следствия, так как это податливая система, в которой возможны расчеты.
На конференции «Струны-95», которая проходила в Университете Южной Калифорнии в марте 1995 года, Эдвард Виттен поразил аудиторию, показав, что при низких энергиях вариант десятимерной теории суперструн с сильной связью полностью эквивалентен теории, которую большинство ученых считало совершенно иной, а именно, одиннадцатимерной супергравитации, т. е. одиннадцатимерной суперсимметричной теории, содержащей гравитацию. Объекты этой эквивалентной теории супергравитации взаимодействовали слабо, так что можно было с пользой применять теорию возмущений.
Как это ни странно, это означало, что можно использовать теорию возмущений для изучения исходной сильновзаимодействующей десятимерной теории суперструн. Вам нужно было использовать теорию возмущений не в самой сильно-взаимодействующей теории струн, а, на первый взгляд, в совершенно другой теории — слабовзаимодействующей одиннадцатимерной супергравитации. Этот важный результат, ранее замеченный также Полом Таунсендом из Кембриджского университета, означал, что несмотря на разную упаковку при низких энергиях десятимерная теория суперструн и одиннадцатимерная супергравитация были на самом деле одной и той же теорией. Как принято говорить у физиков, эти теории были дуальны.
Идею дуальности можно проиллюстрировать нашей аналогией с живописью. Предположим, что мы начали с синей краски, но затем «возмутили» ее, добавив зеленой краски. Хорошим описанием такой смеси красок будет тогда синяя краска с намеком на зеленую. Теперь предположим, что добавленная зеленая краска была не малым возмущением, а мы добавили огромное количество зеленой краски. Если это количество намного превосходит количество исходной синей краски, то более правильным, «дуальным» описанием смеси будет зеленая краска с намеком на синюю. Предпочтительное описание полностью зависит от количества каждой краски.
Аналогично, когда константа взаимодействия мала, теория может иметь одно описание. Но когда эта константа достаточно велика, теория возмущений в исходном описании становится бесполезной. Тем не менее в определенных важных ситуациях исходную теорию удается полностью переделать так, что теория возмущений становится применимой. Это и будет дуальным описанием.
Все это напоминает ситуацию, когда кто-то преподносит вам продукты для обеда из пяти блюд. Даже имея все составные части, вы можете не знать, с чего начать. Чтобы приготовить блюдо, вы должны представлять, для какого блюда предназначены определенные продукты, как специи взаимодействуют с пищей и друг с другом, что и когда нужно запекать. Но если поставщики провизии доставили те же составные части предварительно приготовленными и превращенными в салат, суп, закуску, главное блюдо и десерт, то я полагаю, что каждый сумеет превратить это в обед. Когда те же самые составные части правильно организованы, приготовление обеда превращается из сложной задачи в тривиальную.
Аналогично работает и дуальность в теории струн. Хотя сильновзаимодействующая десятимерная теория суперструн выглядит трудноразрешимой, дуальное описание автоматически перестраивает ее в теорию, в которой можно использовать теорию возмущений. Расчеты, трудные в одной теории, становятся выполнимыми в другой. Даже если константа связи в одной теории слишком велика для того, чтобы использовать теорию возмущений, в другой она оказывается достаточно малой, что позволяет проводить вычисления по теории возмущений. Однако мы еще не до конца понимаем дуальность. Например, никто не знает, как вычислить что-нибудь, когда константа взаимодействия струны не слишком мала и не слишком велика. Но когда одна из констант очень мала или очень велика (а другая константа, соответственно, очень велика или очень мала), то расчеты можно осуществить.
Дуальность сильновзаимодействующей теории суперструн и слабовзаимодействующей одиннадцатимерной теории супергравитации утверждает, что можно вычислить все, что вам только хочется знать в сильновзаимодействующей десятимерной теории суперструн, совершив вычисления в рамках теории, которая кажется на первый взгляд совершенно иной. Все, что предсказывается сильновзаимодействующей десятимерной теорией суперструн, может быть получено и из слабовзаимодействующей одиннадцатимерной теории супергравитации, и наоборот.