![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
abs8192В любой заданный год в теории струн имелось не более двух или трех областей, которые интенсивно исследовались. Они менялись от года к году, и мода может быть отслежена, если взглянуть на заголовки сообщений на главных годовых конференциях по теории струн. Часто, как минимум, две трети сообщений касались одного или двух направлений, которые не были сильно представлены двумя годами ранее и уже будут почти отсутствовать на конференции двумя годами позже. Молодые люди хорошо осведомлены, что успешная карьера требует следования двум или более из этих увлечений в быстром чередовании, только достаточно долго, чтобы получить хорошего постдока, а затем хорошее доцентство. Если вы поговорите об этом с лидерами теории струн, как я это делал время от времени, вы откроете, что они искренне уверены, что концентрация усилий большого сообщества очень ярких людей приводит к более быстрому прогрессу, чем поощрение коллег думать независимо и заниматься различными направлениями.
Этот монолитный и (как его назвал один из главных струнных теоретиков) «дисциплинированный» подход имел три заслуживающих сожаления следствия. Первое, проблемы, которые не могли быть решены за два или три года, отбрасывались, и часто к ним никогда не возвращались. Причина проста и жестока: молодые струнные теоретики, которые быстро не отказывались от своей тяжело завоеванной специализации в недолго главенствующей области и не переключались на новое направление, иногда оказывались вне академических позиций. Второе, область продолжает подпитываться идеями и исследовательскими программами нескольких людей, которые теперь полностью главенствуют. В прошлом десятилетии только два молодых струнных теоретика, Хуан Малдасена и Рафаэль Буссо, сделали открытия, которые изменили направление области. Это находится в контрасте со многими другими областями физики, где большинство новых идей и направлений возникает от двадцати- или тридцатилетних людей. Третье, струнная теория неэффективно использует таланты и труд большого числа людей в своем сообществе. Имеется более чем дублирование усилий, тогда как многие потенциально важные идеи не исследуются. Это сужение дороги очевидно для любого, кто сидит в университетских комитетах, которые выбирают постдоков. В таких областях как космология, теория квантовой информации или квантовая гравитация имеется столь же много предложений для исследований, сколько и кандидатов, и часты идеи, о которых никто прежде не слышал. В омуте теории струн вы имеете тенденцию снова и снова сталкиваться с одними и теми же двумя или тремя предложениями.
Конечно, молодые люди знают, что они делают. Я имел много лет опыта в таких комитетах, и я нашел, что, с несколькими исключениями, стандарты, используемые струнными теоретиками для оценки их претендентов отличаются от стандартов в других областях. Способность сделать математически остроумную работу по проблемам, представляющим текущий интерес, насколько я могу судить, оценивается выше, чем изобретение оригинальных идей. Тому, кто публиковал статьи только с ведущими вышестоящими учеными и чьи исследовательские предложения показали минимум свидетельств независимых решений или оригинальности, вероятно, не будет предложена позиция в ведущем центре по квантовой гравитации, но это кажется самой безошибочной дорогой к постдоку в ведущих центрах по теории струн. Вид соискателя, который возбуждает меня, – некто со статьями одного автора, описывающими удивительные прозрения или рискованные новые идеи, – оставляет моих друзей из струнной теории равнодушными.
В других сообществах, в которых я проводил время, таких как квантовая гравитация и космология, имеется многообразие взглядов по поводу открытых проблем. Если вы поговорите с пятью различными экспертами, молодыми или старыми, вы получите пять различных оценок того, что в предмете главное. Исключая недавние аргументы о ландшафте и антропном принципе, струнные теоретики придерживались необыкновенно однородных взглядов. Были слышны одинаковые вещи, иногда в одинаковых словах, от различных людей.
Я знаю несколько молодых струнных теоретиков, которые возражают против такой характеристики. Они настойчиво утверждают, что внутри сообщества имеется широкий диапазон взглядов, – диапазон, о котором сторонние наблюдатели просто не осведомлены. Это хорошая новость, но совсем другое люди говорят приватно своим друзьям. На самом деле, если ширина диапазона взглядов выражается частным образом скорее, чем публично, это указывает, что имеется иерархия, контролирующая обсуждения – и исследовательские программы работ.
Предумышленное сужение исследовательских программ работ лидерами теории струн прискорбно не только в принципе, но также и потому, что это почти определенно приводит к замедлению прогресса. Мы знаем это из-за большого числа идей, которые стали важны для области через много лет после того, как они были впервые предложены. Например, открытие того, что теория струн представляет собой гигантскую коллекцию теорий, было впервые опубликовано Эндрю Строминджером в 1986, но широко обсуждаться струнными теоретиками оно стало только после 2003, вслед за работой Ренаты Каллош и ее коллег из Стэнфорда.[109] Вот недавняя цитата из Вольфганга Лерхе, хорошо известного струнного теоретика из ЦЕРНа:
"Ну, что я нахожу возмутительным, это что эти идеи оказались забытыми с середины 80х; в одной статье по 4d струнным конструкциям была сделана грубая оценка минимального числа струнных вакуумов – порядка 101500; этот труд был проигнорирован (поскольку он не вписывался в философию того времени) теми же самыми людьми, которые сегодня пере- «изобрели» ландшафт, который появился в этом контексте в журналах и даже, кажется, написаны книги о нем. ... Вся дискуссия могла бы (и, фактически, должна была бы) иметь место в 1986/87. Главная вещь, что изменилось с тех пор в умах определенных людей, а что мы сегодня видим есть Стэнфордская пропагандистская машина, работающая на полную катушку." [110]
Мое собственное предположение, что теория струн должна рассматриваться как ландшафт теорий, было впервые опубликовано в 1992 и также было проигнорировано.[111] Это не изолированный пример. Две одиннадцатимерные суперсимметричные теории были изобретены перед первой суперструнной революцией в 1984, но игнорировались вплоть до их рассмотрения заново во второй революции, более чем десятилетием позже. Это были одиннадцатимерная супергравитация и одиннадцатимерные супермембраны. Между 1984 и 1995 малое число теоретиков работали в этих теориях, но они были вытолкнуты сообществом теории струн на обочину. Я могу вспомнить несколько саркастических ссылок американских струнных теоретиков на тех «европейских супергравитационных фанатиков». После 1995 эти теории было предложено объединить вместе с теорией струн в М-теорию, и те, кто работал над ними, были приглашены назад в струнное сообщество. Очевидно, прогресс мог бы быть быстрее, если бы эти идеи не были так долго исключены из рассмотрения.
Имеются несколько идей, которые могут помочь теории струн решить ее ключевые проблемы, но они широко не изучаются. Одной из них является старая идея, что множество систем, именуемых октонионами, являются ключом к глубокому пониманию взаимоотношения между суперсимметрией и высшими измерениями. Другой является требование, которое я уже подчеркивал, что фундаментальная формулировка теории струн или М-теории, до сих пор не установленной, должна быть независимой от фона. Во время кулуарной дискуссии по «Следующей суперструнной революции» на струнной конференции 2005 года Стивен Шенкер, директор Стэнфордского института теоретической физики, сделал наблюдение, что это, вероятно, пришло из темы вне теории струн. Если это осознано лидерами всего направления, почему они не поощряют молодых людей исследовать более широкий круг тем?
Сужение исследовательских программ, кажется, привело к огромному вниманию струнного сообщества к взглядам нескольких индивидуальностей. Струнные теоретики – единственные ученые, с кем я когда-либо встречался, которые обычно хотят знать, что думают вышестоящие люди в данной области, такие как Эдвард Виттен, прежде чем выразить свои собственные взгляды. Конечно, Виттен мыслит четко и глубоко, но суть в том, что это плохо для любой области, если взгляды любой одной личности принимаются слишком авторитарно. Нет ученого, даже уровня Ньютона или Эйнштена, который не ошибался бы в солидном числе проблем, по поводу которых он имел непоколебимые взгляды. Много раз в обсужении после сообщения на конференции или во время неформального общения, если возникало вызывающее спор разногласие, кто-нибудь неизменно спрашивал: «Ладно, а что думает Эд?» Это использовалось, чтобы довести меня до отчаяния, и временами я вынужден был это показать: «Послушайте, когда я захочу узнать, что думает Эд, я спрошу его. Я спрашивают вас, что вы думаете, поскольку я интересуюсь вашим мнением».
Некоммутативная геометрия является примером области, которая игнорировалась струнными теоретиками до тех пор, пока ей не воспользовался Виттен. Ален Конне, ее изобретатель, рассказал следующую историю:
"Я прибыл в Чикаго в 1996 и сделал сообщение в Департаменте физики. Там был хорошо известный физик, и он покинул помещение до того, как сообщение закончилось. Я не встречался с этим физиком снова до той поры, пока примерно два года спустя я давал такое же сообщение на Дираковском форуме в Резерфордовской лаборатории вблизи Оксфорда. Тот же самый физик был внимателен, в это время выглядел очень открытым и убежденным. Когда он позже делал свое сообщение, он упомянул мое сообщение совершенно позитивно. Это изумило меня, поскольку это было то же самое сообщение, и я не забыл его предыдущей реакции. Так что, когда на пути назад в Оксфорд я сидел рядом с ним в автобусе, я спросил его: «Как это может быть, что Вы слушали то же самое сообщение в Чикаго и ушли раньше его окончания, а сейчас оно вам на самом деле понравилось?» Парень был не начинающий – в районе сорока. Его ответ был: «Виттена видели читающим Вашу книгу в библиотеке Принстона!»."[112]
Необходимо сказать, что такое отношение ослабело, возможно в ответ на текущие волнения вокруг ландшафта. До последнего года я почти никогда не сталкивался с выражением сомнения от струнного теоретика. Теперь я иногда слышу от молодых людей, что в струнной теории «кризис». "Мы потеряли наших лидеров," – мог бы сказать один из них, – "До этого всегда было ясно, что являлось горячим направлением, над которым люди должны были работать. Теперь нет реального руководства," – или (друг другу, нервно), – «Это правда, что Виттен больше не делает теорию струн?»
Другая грань теории струн, которую многие находят беспокоящей, есть то, что может быть описано только как мессианские тенденции некоторых ее деятелей, особенно некоторых молодых деятелей. Для них теория струн стала религией. Те из нас, кто публикует статьи, задающие вопросы по поводу результатов или утверждений теории струн, регулярно получают электронные письма, самая умеренная форма брани в которых есть «Вы смеетесь?» или «Это шутка?». Дискуссии с «оппонентами» теории струн в изобилии имеются на страничках Интернета и в чатах, где, даже принимая во внимание развязную природу таких мест, интеллигентность и профессиональная компетентность не-струнных теоретиков ставится под вопрос в необыкновенно неприятных терминах. Тяжело не прийти к заключению, что, по меньшей мере, некоторые струнные теоретики начали рассматривать себя как участников крестового похода, а не как ученых.
С этой самодовольной манерой держаться связана тенденция прочитывать доказательства самым оптимистичным из возможных способом. Мои коллеги в квантовой гравитации выбирают реалистичный, часто пессимистичный взгляд на варианты решения открытых проблем. Среди теоретиков по петлевой квантовой гравитации я кажусь великим оптимистом. Но мой оптимизм бледнеет по сравнению с оптимизмом большинства струнных теоретиков. Это особенно верно, когда он доходит до больших вопросов, не имеющих ответа. Как обсуждалось, «струнный» взгляд на вещи основан на существующих издавна предположениях, в которых имеется широкая уверенность у струнных теоретиков, но которые никогда не были доказаны. Некоторые струнные теоретики верят им в любом случае. Оптимизм хорош в значительной степени, но не тогда, когда он приводит к бесповоротному неправильному представлению. К сожалению, картина, представляемая обычно широкой публике в книгах, статьях и телевизионных шоу – точно также, как и для аудитории, состоящей из ученых, – существенно отличается от того, на что указывает прямое чтение опубликованных результатов. Например, в обзоре книги Леонарда Сасскайнда Космический ландшафт (2005) в специализированном журнале для физиков обозреватель, обращая внимание на существование множества струнных теорий, установил:
«Эта проблема излечивается М-теорией, единственной всеохватывающей теорией, к которой относятся пять суперструнных теорий через требование 11 пространственно-временных измерений и включение высокоразмерных протяженных объектов, именуемых бранами. Среди достижений М-теории есть первое микроскопическое объяснение для энтропии черных дыр, впервые предсказанное в 1970е Хокингом с использованием макроскопических аргументов. ... Проблема с М-теорией в том, что, хотя ее уравнения могут быть однозначны, она имеет миллиарды и миллиарды различных решений.» [113]
Самое выдающееся преувеличение здесь то, что подразумевается, что М-теория существует как точная теория, а не предполагаемая, и что она имеет определенные уравнения, ни то ни другое не верно. Претензии на объяснение энтропии черных дыр (как отмечалось в главе 9) преувеличены, поскольку результаты теории струн работают только для специальных и нетипичных черных дыр.
Вы можете также найти такое искажение на WEB-страницах, предназначенных для введения в теорию струн для публики, как следующее:
«Имеется даже мода, описывающая гравитон, частицу, переносящую силу гравитации, что является важной причиной, почему теория струн привлекает такое большое внимание. Суть в том, что мы можем придать смысл взаимодействию двух гравитонов в теории струн таким образом, которым мы не смогли бы это сделать в квантовой теории поля. Тут нет бесконечностей! А гравитация не есть что-то, что мы добавляем руками. Она должна существовать в теории струн. Так что первым великим достижением теории струн была выдача последовательной теории квантовой гравитации.» [114]
Те, кто отвечает за эту отдельную WEB-страницу, знают, что никто не доказал, что там «нет бесконечностей». Но они кажутся достаточно уверенными в истинности предположения, чтобы представить его как факт. Далее они также поднимают проблему пяти различных суперструнных теорий:
"И только тогда было осознано, что эти пять теорий струн на самом деле являются островами на одной и той же планете, а не на разных! Таким образом, имеется основополагающая теория, только различными аспектами которой и являются все струнные теории. Она была названа М-теорией. М может означать Мать всех теорий или Тайна (Mystery), поскольку планета, которую мы называем М-теорией еще почти совершенно не исследована. Это четко устанавливает, что «имеется основополагающая теория», даже если последняя фраза признает, что М-теория «еще почти совершенно не исследована». Представитель публики должен будет заключить отсюда, что имеется теория, называемая М-теория, с обычными признаками теории, которые заключаются в формулировании в терминах точных принципов и представлении точных уравнений." [115]
Многие обзорные статьи и сообщения имеют одинаковые неопределенности и неточные утверждения по поводу результатов. К сожалению, имеется гораздо больше неразберихи по поводу того, что на самом деле было достигнуто теорией струн, в русле тенденции преувеличивать результаты и минимизировать трудности. Когда я спросил экспертов, я был шокирован, обнаружив, что многие струнные теоретики не в состоянии дать корректные и детальные ответы на вопросы о статусе ключевых предположений, таких как пертурбативная конечность, S-дуальность, предположение Малдасены или М-теория.
Я понимаю, что это сильное обвинение, чтобы предъявить его, так что позвольте мне проиллюстрировать его на примере. Одно из основных утверждений, сделанных о теории струн, заключается в том, что она конечная теория. Это означает, что ответы, которые она дает на все физически осмысленные вопросы, содержат конечные числа. Ясно, что любая жизнеспособная теория должна обеспечивать конечные ответы на вопросы о вероятностях, или конечные предсказания для масс или энергий некоторых частиц или для величин некоторых сил. Однако предложенные квантовые теории фундаментальных сил часто не способны так действовать. На самом деле огромное число различных теорий сил, согласующихся с принципами относительности, все, за исключением малого числа, дают бесконечные ответы на такие виды вопросов. Это особенно верно для квантовых теорий гравитации. Многие когда-то многообещающие подходы были отброшены, поскольку они не могли давать конечные ответы. Немногие исключения включают теорию струн и петлевую квантовую гравитацию.
Как я обсуждал в главе 12, утверждение, что теория струн дает конечные ответы, выражено в определенной аппроксимационной схеме, именуемой струнная теория возмущений. Эта технология дает бесконечный набор приближений к движениям и взаимодействиям струн в заданной конфигурации. Мы говорим о первом приближении, втором приближении, семнадцатом приближении, стомиллионном приближении и так далее до бесконечности. Чтобы обеспечить теории конечность в такой схеме, необходимо доказать, что каждый отдельный член из бесконечного числа членов конечен. Это тяжело сделать, но не невозможно. Это было сделано, например, для квантовой теории электромагнетизма, или КЭД, в конце 1940х и в 1950х. Это был триумф Ричарда Фенмана, Фримена Дайсона и их поколения. Конечность стандартной модели физики частиц была доказана в 1971 Герардом т'Хоофтом.
Большое возбуждение в 1984-85 было частично вследствие того, что была доказана конечность пяти исходных теорий суперструн в первом приближении. Несколькими годами позже была опубликована статья весьма авторитетного теоретика Стэнли Мандельштама, где считалась доказанной конечность всех из бесконечного числа членов.[116]
С течением времени отклики на статью Мандельштама были смешанные. На самом деле имеется интуитивный аргумент, – в который верят многие струнные теоретики, – сильно наводящий на мысль, что если теория вообще существует, она будет давать конечные ответы. В то же время, некоторые математики, которых я знал как экспертов по сложным техническим проблемам, отвергали то, что утверждение было полностью доказано.
Я не слышал много о проблеме конечности много лет. Она просто растворилась в основании, тогда как вся область перешла к другим проблемам. Время от времени могли появляться статьи в Интернете, обращающиеся к этой проблеме, но я не уделял им много внимания. На самом деле, я вообще не помню сомнений в конечности теории вплоть до недавнего времени. Большинство разработок, которые я отслеживал в последние двадцать лет, и значительное количество моих собственных трудов в этой области основывались на предположении, что теория струн конечна. Я слышал много сообщений струнных теоретиков за эти годы, которые начинались с утверждения, что теория дала «конечную квантовую теорию гравитации», прежде чем идти заниматься текущими проблемами. Было написано много книг и сделано много сообщений для публики, утверждающих, что теория струн есть осмысленная квантовая теория гравитации, и явно или неявно утверждалось, что теория конечна. Поскольку я был занят моей собственной работой, я верил, что конечность теории струн доказана (или почти доказана вплоть до выполнения некоторых технических деталей, о которых могут беспокоиться только математики), и это было главной причиной продолжения моего интереса к ней.
В 2002 меня попросили написать и представить обзор всей области квантовой гравитации на конференцию, организованную в честь Джона Уилера, одного из основателей этой области. Я решил, что лучшим способом обзора по теме будет выписать список всех главных результатов, установленных до сегодняшнего дня различными подходами. Я надеялся сделать объективное сравнение того, насколько хорошо каждый подход проявил себя в движении по направлению к цели теории квантовой гравитации. Я написал черновик статьи и, естественно, одним из результатов в моем списке была конечность теории суперструн.
Чтобы закончить статью, я, конечно, должен был найти подходящие ссылки на статьи, где был продемонстрирован каждый из результатов списка. Для большинства из них это не вызвало проблем, но я столкнулся с неприятностью в моем поиске правильной цитаты для доказательства конечности теории струн. Рассмотрев различные источники, я нашел ссылки только на оригинальную статью Мандельштама – ту самую, о которой я говорили с математиками, что она не полна. Я нашел несколько других статей по проблеме, но ни одна из них не утверждала конечного результата. Тогда я начал спрашивать известных мне струнных теоретиков, лично и по электронной почте, о статусе конечности и где я мог бы найти статью, содержащую доказательство. Я расспросил дюжину или около того струнных теоретиков, молодых и старых. Почти все, кто ответил, сообщили мне, что результат верен. Большинство не имели цитаты для доказательства, а те, кто имели, дали мне статью Мандельштама. В разочаровании я обратился к обзорным статьям – эти статьи пишутся для обзора главных результатов по теме. Из более чем пятидесяти обзорных статей, к которым я обратился за консультацией, большинство или говорили или подразумевали, что теория струн конечна.[117] Для цитирования я нашел только более ранние обзорные статьи или статью Мандельштама. Я нашел одну обзорную статью русского физика, объясняющую, что результат не доказан.[118] Но было тяжело поверить, что он был прав, а все обзоры хорошо известных людей, большинство из которых я знал и восхищался ими, были не правы.
Наконец, я спросил моего коллегу по Пограничному институту Роберта Майерса. Он сообщил мне со своей обычной освежающей прямотой, что он не знает, была ли конечность полностью доказана, но он полагает, что некто по имени Эрик Д'Хокер может знать. Я навестил его, и в конце концов нашел, что Д'Хокер и Фонг только в 2001 преуспели в доказательстве конечности второго порядка приближения (см. главу 12). До того момента в течение семнадцати лет с 1984 не было достигнуто существенного прогресса. (Как я отмечал в главе 12, через четыре года после статьи Д'Хокера и Фонга достигнут некоторый прогресс, главным образом, стараниями Натана Берковица. Но его доказательство было связано с дополнительными недоказанными предположениями, так что, хотя это был шаг вперед, это еще не было полное доказательство конечности.) Так что факт в том, что известна конечность только первых трех из бесконечного числа членов приближения. За их пределами, является ли теория струн конечной или бесконечной было (и остается) просто не известным.
Когда я описал эту ситуацию в моей обзорной статье, она была встречена недоверием. Я получил несколько электронных писем, не все из которых были вежливы, утверждавших, что я ошибся, что теория конечна, и что Мандельштам доказал это. Я получил аналогичные впечатления, поговорив со струнными теоретиками; некоторые из них были шокированы, услышав, что доказательство конечности никогда не было завершено. Но их шок был ничто по сравнению с шоком тех физиков и математиков, с кем я поговорил, которые не были струнными теоретиками и которые верили, что теория струн является конечной, поскольку им сообщили, что это так. Для всех нас представление о конечности теории струн много сделало для нашего признания ее важности. Никто из нас не мог вспомнить, чтобы он когда-либо слышал, что струнный теоретик указывал на эту проблему как на нерешенную.
Я также почувствовал нечто необычное при представлении статьи, которая претендовала на детальную оценку доказательств поддержки различных предположений теории струн. Определенно, я думал, это было нечто, чем должен периодически заниматься один из лидеров области. Этот вид критической обзорной статьи, подчеркивающей ключевые нерешенные проблемы, является общим в квантовой гравитации, космологии и, я подозреваю, в большинстве областей науки. Поскольку это не делалось ни одним из лидеров теории струн, это осталось сделать кому-нибудь вроде меня, как бы «инсайдеру», который, чтобы принять такую ответственность, имеет технические знания, но никаких социологических обязательств. И я это сделал из-за моих собственных интересов в теории струн, в которой я одно время почти исключительно работал. Тем не менее, некоторые струнные теоретики расценили обзор как враждебный акт.
Карло Ровелли из Центра теоретической физики в Марселе является моим хорошим другом, который работает в квантовой гравитации. Он имел такие же ощущения, когда он включил утверждение, что конечность теории струн никогда не была доказана, в диалог, который он написал, инсценировав дебаты между различными подходами к квантовой гравитации. Он получил так много электронных писем, декларировавших, что Мандельштам доказал конечность теории, что он решил написать самому Мандельштаму и спросить его точку зрения. Мандельштам уже ушел в отставку, но быстро откликнулся. Он объяснил, что он доказал то, что где-либо в теории не возникает определенный вид бесконечного члена. Но он сказал нам, что он в самом деле не доказал, что сама теория конечна, поскольку могут появляться другие виды бесконечных членов.[119] До настоящего момента ни один из таких членов не наблюдался когда-либо ни в одном проделанном вычислении, но никто не доказал, что они не могли бы появиться.
Ни один из струнных теоретиков, с кем я обсуждал эту проблему, не решил, узнав, что конечность теории не доказана, остановить работу над теорией струн. Я также сталкивался с хорошо известными струнными теоретиками, которые настаивали, что они доказали конечность теории десятилетия назад и не опубликовали результаты только вследствие некоторых технических проблем, которые остались нерешенными.
Но когда и если проблема конечности урегулирована, мы должны будем спросить, как произошло, что так много членов исследовательской программы были не осведомлены о статусе одного из ключевых результатов в их области? Не должно ли это иметь отношение к тому, что между 1984 и 2001 многие струнные теоретики говорили и писали о конечности теории, как если бы это был факт? Почему многие струнные теоретики чувствовали себя комфортабельно, обращаясь к сторонним слушателям, точно так же, как к инсайдерам, с использованием языка, который подразумевал, что теория полностью конечна и последовательна?
Конечность в теории струн не единственный пример предположения, уверенность в котором широко распространена, но которое до сих пор не доказано. Как мы обсуждали, в литературе имеется несколько версий предположения Малдасены, и они имеют очень отличающиеся следствия. Верно то, что самое сильное из этих предположений далеко не доказано, хотя некоторая слабая версия, определенно, хорошо поддержана. Но это не то, как струнные теоретики рассматривают вопрос. В недавнем обзоре предположения Малдасены Гэри Горовиц и Джозеф Полчински сравнили его с хорошо известным нерешенным предположением в математике, гипотезой Римана*:
* Гипотеза Римана утверждает, что все нетривиальные нули так называемой дзета-функции Римана имеют действительную часть 1/2. Чрезвычайно важна для теории чисел; многие утверждения о распределении простых чисел среди натуральных доказаны в предположении верности гипотезы Римана. Гипотеза сформулирована в 1859 году (!), была восьмой в списке 23 проблем Гильберта в 1900 году и сейчас является одной из семи «проблем тысячелетия», объявленных Институтом математики Клея (Кембридж, Массачусетс) в 2000 году. – (прим. перев.)
«В целом мы видим убедительные причины поместить [предположение Малдасены о дуальности] в категорию верных, но не доказанных. В самом деле, мы рассматриваем его почти на том же основании, как и такое математическое предположение, как гипотеза Римана. Оба предположения обеспечивают неожиданные связи между кажущимися различными структурами ... и каждое сопротивляется как доказательству, так и опровержению, несмотря на сконцентрированное внимание.» [120]
Я никогда не слышал, чтобы математик ссылался на результат, как на «верный, но не доказанный», но, кроме того, изумляет в этом утверждении, что авторы, два очень умных человека, игнорируют очевидную разницу между двумя случаями, которые они обсуждают. Мы знаем, что обе структуры, связанные гипотезой Римана, математически существуют; что под вопросом только предполагаемые отношения между ними. Но мы не знаем, существуют ли реально как математические структуры теория струн или суперсимметричная калибровочная теория; на самом деле их существование является частью того, что находится под вопросом. Что эта цитата делает ясным, так это то, что эти авторы основываются на предположении, что теория струн является хорошо определенной математической структурой, – несмотря на широкое согласие о том, что, даже если она верна, мы не имеем идеи, что это за структура. Если вы не делаете это недоказанное предположение, тогда ваша оценка подтверждения самой сильной версии предположения Малдасены должна разойтись с их оценкой.
Когда речь идет о защите их уверенности в этих недоказанных предположениях, струнные теоретики часто отмечают, что нечто располагает «общей уверенностью» в сообществе струнной теории, или что «нет здравомыслящей личности, которая бы сомневалась, что это верно». Они, кажется, чувствуют, что апелляция к консенсусу внутри их сообщества эквивалентна рациональному аргументу. Вот типичный пример из блога хорошо известного струнного теоретика:
«Каждый, кто не проспал последние 6 лет, знает, что квантовая гравитация в асимптотически анти- де Ситтеровом пространстве имеет унитарную временную эволюцию. ... С большим накоплением подтверждений для AdS/CFT, я сомневаюсь, что имеется много остающихся отказников, кто сомневается, что вышесказанное утверждение имеет место не только в полуклассическом пределе, который рассматривал Хокинг, но и в полной непертурбативной теории.» [121] (Курсив мой.)
Нехорошее чувство признавать необходимость быть одним из отказников, но детальное изучение доказательств заставляет меня быть им.
Это бесцеремонное отношение к точной поддержке ключевых предположений является контрпродуктивным по нескольким причинам. Первое, в комбинации с тенденциями, описанными ранее, это означает, что почти никто не работает над этими важными открытыми проблемами – делая более вероятным, что они останутся нерешенными. Это также приводит к коррозии этики и методов науки, поскольку большое сообщество умных людей готово поверить в ключевые предположения без потребности увидеть их доказанными.
Более того, когда открываются великие результаты, они часто преувеличиваются. Некоторые не струнные теоретики спрашивали меня, почему я работаю над чем-то другим, когда струнная теория полностью объяснила энтропию черных дыр. Хотя я глубоко восхищен работой Строминджера, Вафы и других по экстремальным черным дырам (см. главу 9), я должен снова и снова повторять, что точные результаты не распространились на черные дыры в целом, на что есть серьезные причины.
Аналогично, утверждение, что гигантское число струнных теорий существует с положительной космологической константой (много обсуждаемый «ландшафт») далеко не безоговорочно. Хотя некоторые ведущие струнные теоретики готовы на основе этих слабых результатов сделать великие объявления по поводу успеха теории струн и будущих перспектив.
Вполне может быть, что постоянное преувеличение дает теории струн преимущество перед ее конкурентами. Если вы являетесь главой департамента или должностным лицом субсидирующей организации, разве вы более вероятно не будете финансировать или предлагать работу ученому, который работает на программу, указывающую на решение больших проблем, по сравнению с ученым, который мог бы только утверждать, что он или она имеет свидетельства, что может существовать теория, – до настоящего момента не сформулированная, – которая имеет потенциал решать проблемы?
