Отдельные изоспины протонов и нейтронов можно сложить и получить полный изоспин. Эту концепцию впервые ввел физик Юджин Вигнер в 1937 году. Опубликованные работы по ядерным реакциям поддерживали мысль, что полный изоспин сохраняется, так же как сохраняется электрический заряд при физических и химических превращениях. Янг определил изоспин как локальную калибровочную симметрию, фазовую симметрию волновой функции электрона в КЭД, и начал поиск такой квантовой теории поля, в которой бы он сохранялся.
Он быстро увяз в проблемах, но поиск захватил его полностью. «Иногда одержимость в итоге оказывается полезной», – позднее заметил он[30].
Летом 1953 года он взял в Институте перспективных исследований небольшой отпуск и посетил Брукхейвенскую национальную лабораторию в Лонг-Айленде, НьюЙорк. Там он делил кабинет с молодым американским физиком Робертом Миллсом.
Миллса увлекла одержимость Янга, и они вместе стали работать над квантовой теорией поля для сильного ядерного взаимодействия. «У нас не было других, каких-то более актуальных мотивов, – рассказывал несколько лет спустя Миллс. – Мы с ним просто спросили себя: «Вот вещь, которая происходит один раз. Почему не два?»[31]
В КЭД изменения фазы волновой функции электрона в пространстве и времени компенсируются соответствующими изменениями в электромагнитном поле. Поле «отталкивает» таким образом, что фазовая симметрия сохраняется. Но новая квантовая теория поля для сильного взаимодействия должна была учитывать то, что теперь в нем участвуют две частицы. Если изоспиновая симметрия сохраняется, это значит, что сильное взаимодействие не видит разницы между протоном и нейтроном. Следовательно, изменение изоспиновой симметрии за счет, например, «поворота» нейтрона и превращения его в протон требует поля, которое «отталкивает» и таким образом восстанавливает симметрию. Поэтому Янг и Миллс ввели новое поле, которое назвали полем B, предназначенное именно для этой цели.
Простая группа симметрии U(1) недостаточна для такого рода сложности, и Янг и Миллс обратились к группе симметрии SU(2), особой унитарной группе преобразований с двумя комплексными переменными. Более крупная группа потребовалась потому, что нужно учитывать два объекта, которые могут преобразовываться друг в друга.
Кроме того, теория нуждалась в трех новых частицах поля, отвечающих за перенос сильного взаимодействия между протонами и нейтронами внутри ядра, аналогичных фотону в КЭД. Две из трех были нужны, чтобы переносить электрический заряд и отвечать за изменение заряда, происходящее во время протон-нейтронных и нейтрон-протонных взаимодействий. Янг и Миллс назвали эти частицы B+ и B>—. Третья частица была нейтральной, как протон, и должна была отвечать за протон-протонные и нейтрон-нейтронные взаимодействия, в которых заряд не изменялся. Ее назвали B>0. Они обнаружили, что эти частицы поля взаимодействуют не только с протонами и нейтронами, но также и друг с другом.
К концу лета они выработали решение. Но это было решение с целым набором новых задач.
Во-первых, методы перенормировки, столь успешно использованные в КЭД, были неприменимы к теории поля, которую изобрели Янг и Миллс. Хуже того, член нулевого порядка в разложении возмущения указывал, что частицы поля должны быть безмассовыми, как фотон. Но в этом содержалось внутреннее противоречие. Гейзенберг и японский физик Хидэки Юкава еще в 1935 году предположили, что частицы короткодействующих сил, таких как сильное взаимодействие, должны быть «тяжелыми», то есть это должны быть большие, массивные частицы. Безмассовые частицы поля для сильного взаимодействия не имели никакого смысла.