Ряд теоретиков, принимавших участие в конференции в Шелтер Айленде, уже были наслышаны о результатах Лэмба и приехали на конференцию с готовой идеей того, как можно было бы вычислить лэмбовский сдвиг, пользуясь принципами квантовой электродинамики и обойдя при этом проблему бесконечностей. Рассуждения были таковы. На самом деле тот сдвиг энергии атома, который происходит в результате испускания и последующего поглощения фотонов, не является непосредственно наблюдаемым; в действительности единственной наблюдаемой в эксперименте величиной является полная энергия атома, которая рассчитывается добавлением этого сдвига к той энергии, которую вычислил еще в 1928 г. Дирак. Эта полная энергия зависит от голой массы и голого заряда электрона, т.е. от тех величин, которые входят в уравнения теории до того, как мы начинаем рассматривать проблемы испускания и последующего поглощения фотонов. Но ведь свободные электроны, так же как и электроны, находящиеся в атомах, все время испускают и вновь поглощают фотоны, что влияет на массу и заряд электронов. Поэтому значения голых массы и заряда совсем не равны измеренным на опыте значениям массы и заряда электрона, которые приводятся в таблицах элементарных частиц. На самом деле, чтобы получить наблюдаемые (естественно, конечные) значения массы и заряда электрона, нужно потребовать, чтобы голые масса и заряд были сами бесконечно большими. Таким образом, полная энергия атома представляется в виде суммы двух слагаемых, каждое из которых бесконечно велико: голой энергии, которая бесконечна, так как зависит от бесконечно больших по величине голых массы и заряда, и сдвига энергии, вычисленного Оппенгеймером, который бесконечно велик, так как в него вносят вклад виртуальные фотоны сколь угодно большой энергии. Возникает вопрос: может ли быть так, что две эти бесконечности сокращают друг друга, приводя к конечной полной энергии?[85]

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

Еще в 1936 г. он вычислил вклад в сдвиг энергии за счет процесса с участием позитронов и обнаружил, что этот вклад почти сокращает ту бесконечность, которую получил Оппенгеймер21). Теперь уже было не очень трудно догадаться, что если учесть процессы с позитронами и принять во внимание разницу между голыми массой и зарядом электрона и их наблюдаемыми значениями, то все бесконечности в сдвиге энергии взаимно сократятся.

Хотя Оппенгеймер и Вайскопф присутствовали на конференции в Шелтер Айленде, все же первым теоретиком, вычислившим величину лэмбовского сдвига, стал Ганс Бете, уже известный своими работами по ядерной физике, в том числе описанием в 1930 г. тех цепочек ядерных реакций, которые позволяют звездам светиться. Основываясь на циркулировавших на конференции идеях, Бете в вагоне поезда, увозившего его домой, сделал грубое вычисление величины того сдвига, который измерил Лэмб. Бете еще не владел по-настоящему эффективной техникой вычислений, включающей позитроны и учитывающей другие эффекты специальной теории относительности, так что выполненная в поезде работа во многом следовала идеям Оппенгеймера семнадцатилетней давности. Разница заключалась в том, что в тот момент, когда в вычислениях возникли бесконечности, Бете просто отбросил вклад в энергетический сдвиг, обусловленный испусканием и поглощением фотонов больших энергий (он совершенно произвольно ограничил энергии фотонов величиной, эквивалентной массе электрона). В результате Бете получил конечный результат, оказавшийся в удовлетворительном согласии с измерениями Лэмба. Подчеркнем, что само это вычисление мог бы прекрасно сделать и Оппенгеймер в 1930 г., но потребовались экспериментальные данные, требовавшие своего немедленного объяснения, и воодушевление идеями, носившимися в воздухе на конференции в Шелтер Айленде, чтобы подтолкнуть кого-то к доведению работы до конца.

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

Как говорил Ницше, «все то, что нас не убивает, делает нас сильнее»[87]. Проблемы бесконечностей почти загубили квантовую электродинамику, но затем она была спасена благодаря идее сокращения бесконечностей с помощью переопределения или перенормировки массы и заряда электрона. Однако для того, чтобы можно было решить проблему бесконечностей указанным способом, необходимо, чтобы они возникали в процессе вычислений в небольшом числе строго определенных случаев, соответствующих ограниченному классу специальных простых квантовых теорий поля. Такие теории называются перенормируемыми. Простейшая версия квантовой электродинамики перенормируема в указанном смысле, однако любое малейшее изменение разрушает это свойство и приводит к такому варианту теории, когда бесконечности не могут быть сокращены путем переопределения констант. Таким образом, квантовая электродинамика не только математически удовлетворительна и согласуется с экспериментом, но и содержит в самой себе объяснение своей структуры: любое небольшое изменение в теории приводит не только к расхождению с опытом, но к вообще абсурдным результатам – бесконечным значениям экспериментально хорошо определенных величин.

Проделанные в 1948 г. вычисления лэмбовского сдвига были ужасно сложными. Дело в том, что хотя вычисления и включали позитроны, но сам сдвиг представлялся в виде суммы слагаемых, каждое из которых нарушало требования специальной теории относительности, так что только окончательный ответ был с ней совместим. Тем временем Ричард Фейнман, Джулиан Швингер и Синитиро Томонага независимо разработали намного более простые методы вычислений, на каждом шаге совместимых с теорией относительности. Новая техника была использована для других вычислений, многие из которых оказались во впечатляющем согласии с опытом. Например, электрон создает в окружающем пространстве крохотное по величине магнитное поле. Это поле было первоначально вычислено в 1928 г. Дираком с помощью созданной им релятивистской квантовой теории электрона. Сразу же после конференции в Шелтер Айленде Швингер опубликовал результаты приближенных вычислений изменения величины напряженности магнитного поля электрона, связанного с процессами испускания и обратного поглощения виртуальных фотонов. С тех пор это вычисление неоднократно уточнялось[88]. Современный результат состоит в том, что за счет процессов испускания и последующего поглощения фотонов и ряда других процессов магнитное поле электрона увеличивается в 1,00115965214 раз по сравнению со старым предсказанием Дирака, не учитывающим эти процессы (ошибка приведенного значения равна ±3 в последнем знаке). Как раз в то время, когда Швингер сделал свои вычисления, группа И. Раби в Колумбийском университете экспериментально установила, что магнитное поле электрона на самом деле несколько больше старого дираковского значения, причем на величину, предсказанную Швингером. Последний экспериментальный результат таков: магнитное поле электрона больше дираковского значения в 1,001159652188 раз (ошибка ±4 в последнем знаке). Такое количественное согласие теории и эксперимента является, вероятно, самым впечатляющим во всей современной науке. Неудивительно, что после таких успехов квантовая электродинамика в ее простейшей перенормируемой версии стала восприниматься как правильная теория фотонов и электронов. И все же, несмотря на экспериментальные подтверждения теории и даже несмотря на то, что все бесконечности в ней сокращались, если только правильно с ними обращаться, тот факт, что эти бесконечности вообще возникают, вызывал непрестанное ворчание по поводу применимости квантовой электродинамики и подобных теорий. В частности, Дирак всегда сравнивал процедуру перенормировки с заметанием мусора под ковер. Я не соглашался с Дираком и вел с ним дискуссии на конференциях в Корал Гейбл и Лейк Констанс. Учет разницы между голыми массой и зарядом и их измеряемыми значениями – это не просто трюк, позволяющий избавиться от бесконечностей. Подобную процедуру мы обязаны совершать и тогда, когда все величины конечны. Здесь нет ничего произвольного, берущегося с потолка, это просто вопрос корректного определения того, что же мы в действительности измеряем в лаборатории, когда пытаемся определить на опыте массу и заряд электрона. Я не видел ничего ужасного в бесконечных значениях голых массы и заряда[89], если только окончательные результаты для физических величин оказываются конечными и однозначными, да еще и согласующимися с опытом. Мне казалось, что столь успешная теория, как квантовая электродинамика, должна быть более или менее правильной, хотя, возможно, и сформулированной не самым лучшим образом. Дирак оставался непоколебимым. Я до сих пор не согласен с его отношением к квантовой электродинамике, хотя не думаю, что он был просто упрямцем, требование, чтобы теория была полностью конечной, аналогично множеству других эстетических требований, которые всегда выдвигаются физиками-теоретиками.