Брайан Грин - Элегантная Вселенная. Суперструны, скрытые размерности и поиски окончательной теории
Рис. 12.5. Квантовый хаос может привести к рождению и уничтожению длинных последовательностей пар струна/антиструна
Более того, аналогично примеру с механиком, определившим конечную стоимость ремонта сложением его исходной оценки $900 с последующими поправками $50, $27, $10 и $0,93, и аналогично уточнению описания движения Земли при добавлении к влиянию Солнца меньшего влияния Луны и других планет, теоретики показали, что взаимодействие двух струн можно вычислить путём сложения математических выражений для диаграмм без петель (без пар виртуальных струн), с одной петлёй (одной парой виртуальный струн), с двумя петлями (двумя парами виртуальных струн) и т. д., как показано на рис. 12.6.
Рис. 12.6. Суммарное воздействие одной струны, налетающей на другую, есть результат сложения воздействий, включающих диаграммы с увеличивающимся числом петель
В точном расчёте требуется сложить математические выражения для всех этих диаграмм с растущим числом петель. Но так как диаграмм бесконечно много, а соответствующие математические вычисления с ростом числа петель усложняются, эта задача неразрешима. И здесь занимающиеся струнами теоретики берут на вооружение теорию возмущений, предполагая, что разумная грубая оценка даётся процессом без петель, а диаграммы с петлями дают поправки, значения которых уменьшаются по мере увеличения числа петель.
В действительности, почти всё, что мы знаем о теории струн, включая бо́льшую часть сведений из предыдущих глав, было открыто физиками при проведении подробных и тщательных вычислений по теории возмущений. Но чтобы удостовериться в точности полученных результатов, необходимо выяснить, являются ли грубые приближения, в которых учитывается только несколько первых диаграмм рис. 12.6, а все остальные диаграммы опущены, действительно хорошим приближением.
Приближает ли к ответу приближение?
Нельзя сказать заранее. Хотя математические формулы, соответствующие диаграммам, значительно усложняются при увеличении числа петель, теоретикам удалось установить одно очень важное свойство. Подобно тому, как вероятность разрыва каната на две части при сильном растяжении и раскачивании определяется его прочностью, вероятность распада струны с образованием виртуальной пары при квантовых флуктуациях также определяется некоторым параметром. Этот параметр называют константой связи струны (как мы вскоре увидим, в каждой из пяти теорий струн своя константа связи). Это название довольно наглядно: значение константы связи струны определяет, насколько сильно квантовые колебания трёх струн (исходной струны и двух виртуальных струн, на которые она распадается) зависят друг от друга, т. е. насколько сильно три струны связаны между собой. Вычисления показывают, что при больших значениях константы связи струны вероятность того, что квантовые флуктуации приведут к распаду струны (и её последующему воссоединению), становится больше, а при малых значениях константы связи вероятность такого краткосрочного образования виртуальных струн мала.
Немного ниже мы обсудим вопрос об определении константы связи струны в каждой из пяти теорий, однако сначала необходимо уточнить, что означают слова «большая» и «малая» применительно к константе связи. Оказывается, что с точки зрения математического формализма теории струн границей между областями «больших» и «малых» констант связи является число 1. Это означает, что при константах связи, меньших 1, молниеносное вырывание большого числа пар виртуальных струн становится крайне маловероятным. Однако если константа связи больше или равна 1, то краткосрочное появление на сцене таких виртуальных пар становится весьма вероятным и увеличивается с увеличением константы связи струны.{102} В итоге, при константах связи струны, меньших 1, вклады диаграмм с петлями при увеличении числа петель уменьшаются. Это как раз то, что нужно для подхода с использованием теории возмущений: уменьшение вкладов говорит о том, что мы получим достаточно точные результаты, если будем пренебрегать всеми вкладами, кроме вкладов диаграмм, содержащих лишь несколько петель. Но если константа связи струны больше 1, то по мере увеличения числа петель старшие петлевые вклады становятся всё более важными. Как и в случае тройной системы звёзд, теория возмущений здесь неприменима. И первое приближение, которое дают диаграммы без петель, приближением не является. (Всё это в равной мере относится к каждой из пяти теорий струн, так как применимость приближённого подхода с использованием теории возмущений к любой заданной теории определяется значением константы связи.)
Поэтому возникает ещё один важнейший вопрос: чему же равно значение константы связи (точнее, чему равны значения констант связи струны в каждой из пяти теорий струн)? Найти ответ до сих пор никому не удалось. Этот вопрос является одним из главных нерешённых вопросов в теории струн. Можно с уверенностью утверждать, что выводы, полученные в рамках теории возмущений, справедливы лишь в случае, если константа связи струны меньше единицы. Кроме того, точное значение константы связи струны непосредственно влияет на массы и заряды частиц, соответствующих её различным колебательным модам. Таким образом, значение константы связи струны определяет большинство физических свойств теории. Сейчас мы подробнее обсудим причины того, почему на вопрос о значении константы связи во всех пяти теориях струн до сих пор нет ответа.
Уравнения теории струн
Как и для определения взаимодействия между струнами, для поиска фундаментальных уравнений теории струн может использоваться теория возмущений. На самом деле, эти уравнения определяют то, как струны взаимодействуют между собой, и, наоборот, способ взаимодействия струн определяет уравнения теории.
В каждой из пяти теорий струн существует уравнение, с помощью которого можно вычислить значение константы связи в этой теории. Однако к настоящему времени для всех пяти теорий физикам удалось найти лишь приближённый вид этого уравнения, полученный в рамках теории возмущений путём вычисления небольшого числа определённых диаграмм. И во всех пяти теориях приближённый вид уравнения говорит лишь о том, что если умножить значение константы связи на нуль, должен получиться нуль. Результат крайне удручающий, так как любое число при умножении на нуль даёт нуль, и уравнению удовлетворяет любое значение константы связи струны. Поэтому во всех пяти теориях приближённые уравнения для определения константы связи не дают никакой информации о её значении.
Кроме того, в каждой из пяти теорий струн должно существовать уравнение, с помощью которого в принципе можно определить точный вид как протяжённых, так и свёрнутых пространственно-временных измерений. Известный на данный момент приближённый вид этого уравнения приводит к гораздо более жёстким ограничениям, чем вид уравнения для константы связи, но допустимых решений всё равно оказывается очень много. Например, допустимы решения с четырьмя протяжёнными и шестью свёрнутыми измерениями Калаби–Яу, но даже этим широким классом решений все они не исчерпываются: возможны и другие разбиения числа измерений на протяжённые и свёрнутые.{103}
Что означают эти результаты? Возможны три ситуации. В первом, наихудшем случае даже при наличии уравнений для определения константы связи струны, а также уравнений для определения размерностей и точного вида пространства-времени (этим не может похвастаться ни одна теория), до сих пор не найденные точные уравнения могут допускать широкий спектр решений, что значительно ослабляет их предсказательную силу. Если это так, это будет крахом гипотезы о том, что теория струн способна объяснить свойства природы без необходимости экспериментального определения этих свойств и более или менее произвольной подгонки теории под эти свойства. Мы вернёмся к анализу этого случая в главе 15. Во втором случае избыточная свобода выбора при решении приближённых уравнений теории струн может говорить об изъянах в нашей аргументации. Мы пытаемся использовать методы теории возмущений для определения значения самой константы связи струны. Но, как обсуждалось выше, методы теории возмущений имеют смысл лишь в случае, если константа связи меньше 1, и поэтому возможно, что при таких расчётах делается неоправданное предположение о самом результате, а именно, что этот результат будет меньше 1. Наша неудача вполне может объясняться неправильностью исходной предпосылки: в любой из пяти теорий струн константа связи может быть больше 1. Наконец, в третьем случае нежелательный произвол в решениях может быть просто следствием того, что мы используем приближённые, а не точные уравнения. Например, даже если константа связи в данной теории струн меньше 1, уравнения теории могут быть чувствительны к вкладам всех диаграмм. То есть учёт небольших поправок, соответствующих всем многопетлевым диаграммам, может быть важным для сведения приближённого уравнения, допускающего множество решений, к точному уравнению с ограниченным числом решений.
