История теории струн охватывает несколько десятилетий интенсивных исследований, включая две революции суперструн. Благодаря совместным усилиям многих исследователей теория струн превратилась в широкий и разнообразный предмет, связанный с квантовой гравитацией , физикой частиц и конденсированных сред , космологией и чистой математикой .
Теория струн представляет собой ответвление теории S-матрицы , [1] исследовательской программы, начатой Вернером Гейзенбергом в 1943 году [2] после введения Джоном Арчибальдом Уилером S-матрицы в 1937 году. [3] Многие выдающиеся теоретики подхватили и отстаивали теорию S-матрицы, начиная с конца 1950-х и на протяжении 1960-х годов. Область была маргинализирована и отброшена в середине 1970-х годов [4] и исчезла в 1980-х годах. Физики пренебрегли ею, потому что некоторые из ее математических методов были чуждыми, и потому что квантовая хромодинамика вытеснила ее как экспериментально более квалифицированный подход к сильным взаимодействиям . [5]
Теория представляла собой радикальное переосмысление основ физических законов. К 1940-м годам стало ясно, что протон и нейтрон не были точечными частицами, такими как электрон. Их магнитный момент сильно отличался от момента точечной заряженной частицы со спином ½ , слишком сильно, чтобы приписать разницу небольшому возмущению . Их взаимодействия были настолько сильны, что они рассеивались как маленькая сфера, а не как точка. Гейзенберг предположил, что сильно взаимодействующие частицы на самом деле были протяженными объектами, и поскольку существуют принципиальные трудности с протяженными релятивистскими частицами, он предположил, что понятие точки пространства-времени разрушается в ядерных масштабах.
Без пространства и времени становится трудно сформулировать физическую теорию. Гейзенберг предложил решение этой проблемы: сосредоточиться на наблюдаемых величинах — тех вещах, которые можно измерить экспериментально. Эксперимент видит микроскопическую величину только в том случае, если она может быть передана серией событий классическим устройствам, окружающим экспериментальную камеру. Объекты, которые летят в бесконечность, являются стабильными частицами в квантовых суперпозициях различных состояний импульса.
Гейзенберг предположил, что даже когда пространство и время ненадежны, понятие импульсного состояния, которое определяется далеко от экспериментальной камеры, все еще работает. Физическая величина, которую он предложил в качестве фундаментальной, — это квантово-механическая амплитуда для группы входящих частиц, чтобы превратиться в группу исходящих частиц, и он не допускал, что между ними есть какие-либо шаги.
S -матрица — это величина, описывающая, как совокупность входящих частиц превращается в исходящие. Гейзенберг предложил изучать S-матрицу напрямую, без каких-либо предположений о структуре пространства-времени. Но когда переходы из далекого прошлого в далекое будущее происходят за один шаг без промежуточных шагов, становится трудно что-либо вычислить. В квантовой теории поля промежуточными шагами являются флуктуации полей или, что эквивалентно, флуктуации виртуальных частиц. В этой предлагаемой теории S-матрицы вообще нет локальных величин.
Гейзенберг предложил использовать унитарность для определения S-матрицы. Во всех мыслимых ситуациях сумма квадратов амплитуд должна быть равна 1. Это свойство может определять амплитуду в квантовой теории поля порядок за порядком в ряду возмущений , как только заданы основные взаимодействия, и во многих квантовых теориях поля амплитуды растут слишком быстро при высоких энергиях, чтобы сделать унитарную S-матрицу. Но без дополнительных предположений о поведении при высоких энергиях унитарности недостаточно для определения рассеяния, и это предложение игнорировалось в течение многих лет.
Предложение Гейзенберга было возрождено в 1956 году, когда Мюррей Гелл-Манн осознал, что дисперсионные соотношения — подобные тем, что были открыты Хендриком Крамерсом и Ральфом Кронигом в 1920-х годах (см. соотношения Крамерса–Кронига ) — позволяют сформулировать понятие причинности, понятие о том, что события в будущем не будут влиять на события в прошлом, даже когда микроскопическое понятие прошлого и будущего не определено четко. Он также осознал, что эти соотношения могут быть полезны при вычислении наблюдаемых для случая физики сильного взаимодействия. [6] Дисперсионные соотношения были аналитическими свойствами S-матрицы, [7] и они налагали более строгие условия, чем те, которые следуют из одной только унитарности. Это развитие теории S-матрицы вытекало из открытия Мюрреем Гелл-Манном и Марвином Леонардом Голдбергером (1954) перекрестной симметрии , еще одного условия, которому должна была удовлетворять S-матрица. [8] [7]
Известными сторонниками нового подхода «дисперсионных соотношений» были Стэнли Мандельстам [9] и Джеффри Чу [10] , оба в то время работавшие в Калифорнийском университете в Беркли . Мандельстам открыл двойные дисперсионные соотношения, новую и мощную аналитическую форму, в 1958 году [9] и считал, что это даст ключ к прогрессу в трудноразрешимых сильных взаимодействиях.
К концу 1950-х годов было обнаружено много сильно взаимодействующих частиц со все более высокими спинами, и стало ясно, что не все они фундаментальны. В то время как японский физик Сёити Саката предположил, что частицы можно понимать как связанные состояния всего трех из них (протона, нейтрона и лямбды ; см. модель Сакаты ), [11] Джеффри Чу считал, что ни одна из этих частиц не является фундаментальной [12] [13] (подробнее см. модель Bootstrap ). Подход Сакаты был переработан в 1960-х годах в модель кварков Мюрреем Гелл-Манном и Джорджем Цвейгом, сделав заряды гипотетических составляющих дробными и отвергнув идею о том, что они являются наблюдаемыми частицами. В то время подход Чу считался более общепринятым, поскольку он не вводил дробные значения заряда и поскольку он фокусировался на экспериментально измеримых элементах S-матрицы, а не на гипотетических точечных составляющих.
В 1959 году молодой теоретик из Италии Туллио Редже обнаружил, что связанные состояния в квантовой механике могут быть организованы в семейства, известные как траектории Редже , каждое семейство имеет отличительные угловые моменты . [14] Эта идея была обобщена на релятивистскую квантовую механику Стэнли Мандельштамом , Владимиром Грибовым и Марселем Фруассаром , используя математический метод (представление Зоммерфельда–Ватсона), открытый десятилетиями ранее Арнольдом Зоммерфельдом и Кеннетом М. Уотсоном : результат был назван формулой Фруассара–Грибова. [15]
В 1961 году Джеффри Чу и Стивен Фраучи поняли, что мезоны имеют прямолинейные траектории Редже [16] (в их схеме спин откладывается против квадрата массы на так называемом графике Чу-Фраучи), что означало, что рассеяние этих частиц будет иметь очень странное поведение — оно должно экспоненциально быстро спадать под большими углами. С этим осознанием теоретики надеялись построить теорию составных частиц на траекториях Редже, амплитуды рассеяния которых имели бы асимптотическую форму, требуемую теорией Редже.
В 1967 году заметным шагом вперед в подходе бутстрапа стал принцип дуальности DHS, введенный Ричардом Доленом, Дэвидом Хорном и Кристофом Шмидом в 1967 году [17] в Калтехе (первоначальный термин для него был «средняя дуальность» или «дуальность правила конечной энергии (FESR)»). Три исследователя заметили, что описания обмена полюсами Редже (при высокой энергии) и резонанса (при низкой энергии) предлагают множественные представления/приближения одного и того же физически наблюдаемого процесса. [18]
Первой моделью, в которой адронные частицы по существу следуют траекториям Редже, была модель двойного резонанса , которая была построена Габриэле Венециано в 1968 году [19], который заметил, что бета-функция Эйлера может быть использована для описания данных амплитуды рассеяния 4 частиц для таких частиц. Амплитуда рассеяния Венециано (или модель Венециано) была быстро обобщена до амплитуды N -частиц Зиро Кобой и Хольгером Бехом Нильсеном [20] (их подход был назван формализмом Кобы–Нильсена), и до того, что теперь признано замкнутыми струнами Мигелем Вирасоро [21] и Джоэлем А. Шапиро [22] (их подход был назван моделью Шапиро–Вирасоро).
В 1969 году правила Чана–Патона (предложенные Джеком Э. Патоном и Хонг-Мо Чаном) [23] позволили добавить изоспиновые факторы к модели Венециано. [24]
В 1969–70 годах Йоитиро Намбу [25] , Хольгер Бек Нильсен [ 26] и Леонард Сасскинд [27] [28] представили физическую интерпретацию амплитуды Венециано, представив ядерные силы как вибрирующие одномерные струны. Однако это основанное на струнах описание сильного взаимодействия сделало много предсказаний, которые прямо противоречили экспериментальным результатам.
В 1971 году Пьер Рамон [29] и, независимо, Джон Х. Шварц и Андре Невё [30] попытались внедрить фермионы в дуальную модель. Это привело к концепции «вращающихся струн» и указало путь к методу устранения проблемного тахиона (см. формализм RNS ). [31]
Модели двойного резонанса для сильных взаимодействий были относительно популярным предметом изучения в период с 1968 по 1973 год. [32] Научное сообщество утратило интерес к теории струн как теории сильных взаимодействий в 1973 году, когда квантовая хромодинамика стала основным направлением теоретических исследований [33] (в основном из-за теоретической привлекательности ее асимптотической свободы ). [34]
В 1974 году Джон Х. Шварц и Джоэл Шерк [35] и независимо Тамиаки Ёнея [ 36] изучали бозоноподобные паттерны струнных колебаний и обнаружили, что их свойства в точности соответствуют свойствам гравитона , гипотетической частицы-посланника гравитационной силы . Шварц и Шерк утверждали, что теория струн не смогла завоевать популярность, потому что физики недооценили ее масштаб. Это привело к развитию теории бозонных струн .
Теория струн сформулирована в терминах действия Полякова [37] , которое описывает, как струны движутся в пространстве и времени. Подобно пружинам, струны имеют тенденцию сжиматься, чтобы минимизировать свою потенциальную энергию, но сохранение энергии не позволяет им исчезнуть, и вместо этого они колеблются. Применяя идеи квантовой механики к струнам, можно вывести различные колебательные режимы струн, и что каждое колебательное состояние представляется отдельной частицей. Масса каждой частицы и способ, с которым она может взаимодействовать, определяются тем, как вибрирует струна — по сути, «нотой » , которую «звучит» струна. Шкала нот, каждая из которых соответствует разному виду частиц, называется « спектром » теории.
Ранние модели включали как открытые струны, имеющие две отдельные конечные точки, так и закрытые струны, где конечные точки соединены, образуя полную петлю. Два типа струн ведут себя немного по-разному, давая два спектра. Не все современные теории струн используют оба типа; некоторые включают только закрытую разновидность.
Самая ранняя струнная модель имеет несколько проблем: она имеет критическое измерение D = 26, особенность, которая была первоначально обнаружена Клодом Лавлейсом в 1971 году; [38] теория имеет фундаментальную нестабильность, присутствие тахионов [39] (см. конденсация тахионов ); кроме того, спектр частиц содержит только бозоны , частицы, подобные фотону , которые подчиняются определенным правилам поведения. Хотя бозоны являются критическим ингредиентом Вселенной, они не являются ее единственными составляющими. Исследование того, как теория струн может включать фермионы в свой спектр, привело к изобретению суперсимметрии (на Западе ) [40] в 1971 году [41] , математического преобразования между бозонами и фермионами. Теории струн, которые включают фермионные колебания, теперь известны как теории суперструн .
В 1977 году проекция GSO (названная в честь Фердинандо Глиоцци , Джоэля Шерка и Дэвида И. Олива ) привела к появлению семейства унитарных теорий свободных струн без тахионов [42] , первых последовательных теорий суперструн (см. ниже).
Первая суперструнная революция — это период важных открытий, начавшийся в 1984 году. [43] Было осознано, что теория струн способна описывать все элементарные частицы , а также взаимодействия между ними. Сотни физиков начали работать над теорией струн как над самой многообещающей идеей для объединения физических теорий. [44] Революция началась с открытия отмены аномалий в теории струн типа I с помощью механизма Грина-Шварца (названного в честь Майкла Грина и Джона Х. Шварца) в 1984 году. [45] [46] Новаторское открытие гетеротической струны было сделано Дэвидом Гроссом , Джеффри Харви , Эмилем Мартинеком и Райаном Ромом в 1985 году. [47] Филипп Канделас , Гэри Горовиц , Эндрю Стромингер и Эдвард Виттен в 1985 году также поняли, что для получения суперсимметрии шесть малых дополнительных измерений ( критическое измерение D = 10 теории суперструн было первоначально открыто Джоном Х. Шварцем в 1972 году) [48] должны быть компактифицированы на многообразии Калаби-Яу . [49] (В теории струн компактификация является обобщением теории Калуцы–Клейна , которая была впервые предложена в 1920-х годах.) [50]
К 1985 году было описано пять отдельных теорий суперструн: тип I, [51] тип II (IIA и IIB) [ 51] и гетеротическая (SO(32) и E 8 × E 8 ) . [47]
Журнал Discover в выпуске за ноябрь 1986 года (т. 7, № 11) опубликовал заглавную статью Гэри Таубса «Теперь все связано со струнами», в которой для широкой аудитории объяснялась теория струн.
В 1987 году Эрик Бергшофф Пол Таунсенд показали, что в одиннадцати измерениях (наибольшее число измерений, согласующихся с одним гравитоном в теориях супергравитации ) нет суперструн [52] , а есть супермембраны [53] .
, Эргин Сезгин иВ начале 1990-х годов Эдвард Виттен и другие нашли веские доказательства того, что различные теории суперструн были различными пределами 11-мерной теории [54] [55] , которая стала известна как М-теория (подробнее см. Введение в М-теорию ). [56] Эти открытия вызвали вторую революцию суперструн , которая произошла примерно между 1994 и 1995 годами. [57]
Различные версии теории суперструн были объединены, как и надеялись долгое время, новыми эквивалентностями. Они известны как S-дуальность , T-дуальность , U-дуальность , зеркальная симметрия и конифолдные переходы. Различные теории струн также были связаны с M-теорией.
В 1995 году Джозеф Полчински обнаружил, что теория требует включения объектов более высокого измерения, называемых D-бранами : [58] это источники электрических и магнитных полей Рамона–Рамона , которые требуются для дуальности струн . [59] D-браны добавили в теорию дополнительную богатую математическую структуру и открыли возможности для построения реалистичных космологических моделей в теории (подробнее см. Космология бран ).
В 1997–98 годах Хуан Малдасена выдвинул гипотезу о связи между теорией струн типа IIB и N = 4 суперсимметричной теорией Янга–Миллса , калибровочной теорией . [60] Эта гипотеза, называемая соответствием AdS/CFT , вызвала большой интерес в физике высоких энергий . [61] Это реализация голографического принципа , имеющего далеко идущие последствия: соответствие AdS/CFT помогло пролить свет на тайны черных дыр, предложенные в работе Стивена Хокинга [62], и, как полагают, обеспечивает разрешение парадокса информации о черных дырах . [63]
В 2003 году открытие Майклом Р. Дугласом ландшафта теории струн [64] , которое предполагает, что теория струн имеет большое количество неэквивалентных ложных вакуумов [65] , привело к широкому обсуждению того, что теория струн в конечном итоге может предсказать, и как космология может быть включена в теорию. [66]
Возможный механизм стабилизации вакуума теории струн ( механизм KKLT ) был предложен в 2003 году Шамитом Качру , Ренатой Каллош , Андреем Линде и Сандипом Триведи . [67] Большая часть современных исследований сосредоточена на характеристике « болота » теорий, несовместимых с квантовой гравитацией .