Читать интересную книгу Элегантная вселенная (суперструны, скрытые размерности и поиски окончательной теории) - Брайан Грин

Рис. 12.4. Квантовый хаос приводит к рождению пары струна / антиструна (б) и ее уничтожению (в), что усложняет взаимодействие.

Наконец, в точке г) эта струна отдает энергию, распадаясь на пару струн, которые разлетаются в разных направлениях. Из-за наличия одной петли в центре рис. 12.4 физики называют это «однопетлевым» процессом. Как и для взаимодействия, изображенного на рис. 12.3, для этой диаграммы можно выписать точную математическую формулу, в которой учитывается влияние рождения пары виртуальных струн на движение двух исходных.

Однако это еще не все: краткосрочные извержения виртуальных струн вследствие квантовых флуктуации могут произойти любое число раз, что приведет к рождению последовательных виртуальных пар. При этом получатся диаграммы с большим количеством петель, как показано на рис. 12.5.

Рис. 12.5. Квантовый хаос может привести к рождению и уничтожению длинных последовательностей пар струна / антиструна.

Каждая диаграмма дает простой и удобный способ описания соответствующего физического процесса. Налетающие струны сливаются, квантовый хаос вызывает раздвоение получившейся петли на виртуальную пару, струны этой пары движутся, затем аннигилируют с образованием одной петли, которая далее снова распадается на виртуальную пару и т.д. Как и для других диаграмм, для каждого из этих процессов есть математические формулы, в которых учитывается влияние на движение исходной пары струн.[117]

Более того, аналогично примеру с механиком, определившим конечную стоимость ремонта сложением его исходной оценки $900 с последующими поправками $50, $27, $10 и $0,93, и аналогично уточнению описания движения Земли при добавлении к влиянию Солнца меньшего влияния Луны и других планет, теоретики показали, что взаимодействие двух струн можно вычислить путем сложения математических выражений для диаграмм без петель (без пар виртуальных струн), с одной петлей (одной парой виртуальный струн), с двумя петлями (двумя парами виртуальных струн) и т.д., как показано на рис. 12.6.

Рис. 12.6. Суммарное воздействие одной струны, налетающей на другую, есть результат сложения воздействий, включающих диаграммы с увеличивающимся числом петель.

В точном расчете требуется сложить математические выражения для всех этих диаграмм с растущим числом петель. Но так как диаграмм бесконечно много, а соответствующие математические вычисления с ростом числа петель усложняются, эта задача неразрешима. И здесь занимающиеся струнами теоретики берут на вооружение теорию возмущений, предполагая, что разумная грубая оценка дается процессом без петель, а диаграммы с петлями дают поправки, значения которых уменьшаются по мере увеличения числа петель.

В действительности, почти все, что мы знаем о теории струн, включая большую часть сведений из предыдущих глав, было открыто физиками при проведении подробных и тщательных вычислений по теории возмущений. Но чтобы удостовериться в точности полученных результатов, необходимо выяснить, являются ли грубые приближения, в которых учитывается только несколько первых диаграмм рис. 12.6, а все остальные диаграммы опущены, действительно хорошим приближением.

Приближает ли к ответу приближение?

Нельзя сказать заранее. Хотя математические формулы, соответствующие диаграммам, значительно усложняются при увеличении числа петель, теоретикам удалось установить одно очень важное свойство. Подобно тому, как вероятность разрыва каната на две части при сильном растяжении и раскачивании определяется его прочностью, вероятность распада струны с образованием виртуальной пары при квантовых флуктуациях также определяется некоторым параметром. Этот параметр называют константой связи струны (как мы вскоре увидим, в каждой из пяти теорий струн своя константа связи). Это название довольно наглядно: значение константы связи струны определяет, насколько сильно квантовые колебания трех струн (исходной струны и двух виртуальных струн, на которые она распадается) зависят друг от друга, т.е. насколько сильно три струны связаны между собой. Вычисления показывают, что при больших значениях константы связи струны вероятность того, что квантовые флуктуации приведут к распаду струны (и ее последующему воссоединению), становится больше, а при малых значениях константы связи вероятность такого краткосрочного образования виртуальных струн мала.

Немного ниже мы обсудим вопрос об определении константы связи струны в каждой из пяти теорий, однако сначала необходимо уточнить, что означают слова «большая» и «малая» применительно к константе связи. Оказывается, что с точки зрения математического формализма теории струн границей между областями «больших» и «малых» констант связи является число 1. Это означает, что при константах связи, меньших 1, молниеносное вырывание большого числа пар виртуальных струн становится крайне маловероятным. Однако если константа связи больше или равна 1, то краткосрочное появление на сцене таких виртуальных пар становится весьма вероятным и увеличивается с увеличением константы связи струны.[118] В итоге, при константах связи струны, меньших 1, вклады диаграмм с петлями при увеличении числа петель уменьшаются. Это как раз то, что нужно для подхода с использованием теории возмущений: уменьшение вкладов  говорит о том,  что  мы  получим достаточно точные результаты, если будем пренебрегать всеми вкладами, кроме вкладов диаграмм, содержащих лишь несколько петель. Но если константа связи струны больше 1, то по мере увеличения числа петель старшие петлевые вклады становятся все более важными. Как и в случае тройной системы звезд, теория возмущений здесь неприменима. И первое приближение, которое дают диаграммы без петель, приближением не является. (Все это в равной мере относится к каждой из пяти теорий струн, так как применимость приближенного подхода с использованием теории возмущений к любой заданной теории определяется значением константы связи.)

Поэтому возникает еще один важнейший вопрос: чему же равно значение константы связи (точнее, чему равны значения констант связи струны в каждой из пяти теорий струн)? Найти ответ до сих пор никому не удалось. Этот вопрос является одним из главных нерешенных вопросов в теории струн. Можно с уверенностью утверждать, что выводы, полученные в рамках теории возмущений, справедливы лишь в случае, если константа связи струны меньше единицы. Кроме того, точное значение константы связи струны непосредственно влияет на массы и заряды частиц, соответствующих ее различным колебательным модам. Таким образом, значение константы связи струны определяет большинство физических свойств теории. Сейчас мы подробнее обсудим причины того, почему на вопрос о значении константы связи во всех пяти теориях струн до сих пор нет ответа.

Уравнения теории струн

Как и для определения взаимодействия между струнами, для поиска фундаментальных уравнений теории струн может использоваться теория возмущений. На самом деле, эти уравнения определяют то, как струны взаимодействуют между собой, и, наоборот, способ взаимодействия струн определяет уравнения теории.

В каждой из пяти теорий струн существует уравнение, с помощью которого можно вычислить значение константы связи в этой теории. Однако к настоящему времени для всех пяти теорий физикам удалось найти лишь приближенный вид этого уравнения, полученный в рамках теории возмущений путем вычисления небольшого числа определенных диаграмм. И во всех пяти теориях приближенный вид уравнения говорит лишь о том, что если умножить значение константы связи на нуль, должен получиться нуль. Результат крайне удручающий, так как любое число при умножении на нуль дает нуль, и уравнению удовлетворяет любое значение константы связи струны. Поэтому во всех пяти теориях приближенные уравнения для определения константы связи не дают никакой информации о ее значении.

Кроме того, в каждой из пяти теорий струн должно существовать уравнение, с помощью которого в принципе можно определить точный вид как протяженных, так и свернутых пространственно-временных измерений. Известный на данный момент приближенный вид этого уравнения приводит к гораздо более жестким ограничениям, чем вид уравнения для константы связи, но допустимых решений все равно оказывается очень много. Например, допустимы решения с четырьмя протяженными и шестью свернутыми измерениями Калаби-Яу, но даже этим широким классом решений все они не исчерпываются: возможны и другие разбиения числа измерений на протяженные и свернутые.[119]

Что означают эти результаты? Возможны три ситуации. В первом, наихудшем случае даже при наличии уравнений для определения константы связи струны, а также уравнений для определения размерностей и точного вида пространства-времени (этим не может похвастаться ни одна теория), до сих пор не найденные точные уравнения могут допускать широкий спектр решений, что значительно ослабляет их предсказательную силу. Если это так, это будет крахом гипотезы о том, что теория струн способна объяснить свойства природы без необходимости экспериментального определения этих свойств и более или менее произвольной подгонки теории под эти свойства. Мы вернемся к анализу этого случая в главе 15. Во втором случае избыточная свобода выбора при решении приближенных уравнений теории струн может говорить об изъянах в нашей аргументации. Мы пытаемся использовать методы теории возмущений для определения значения самой константы связи струны. Но, как обсуждалось выше, методы теории возмущений имеют смысл лишь в случае, если константа связи меньше 1, и поэтому возможно, что при таких расчетах делается неоправданное предположение о самом результате, а именно, что этот результат будет меньше 1. Наша неудача вполне может объясняться неправильностью исходной предпосылки: в любой из пяти теорий струн константа связи может быть больше 1. Наконец, в третьем случае нежелательный произвол в решениях может быть просто следствием того, что мы используем приближенные, а не точные уравнения. Например, даже если константа связи в данной теории струн меньше 1, уравнения теории могут быть чувствительны к вкладам всех диаграмм. То есть учет небольших поправок, соответствующих всем многопетлевым диаграммам, может быть важным для сведения приближенного уравнения, допускающего множество решений, к точному уравнению с ограниченным числом решений.