Читать онлайн «Наша математическая вселенная. В поисках фундаментальной природы реальности». Страница 80

В гл. 6 мы обсудили, как в рамках одной математической структуры с единственным набором фундаментальных законов физики инфляция может порождать различные эффективные физические законы в разных частях пространства, образуя тем самым мультиверс II уровня. Сейчас мы говорим о чем-то более радикальном, где даже фундаментальные законы могут отличаться и где нет, например, квантовой механики. Если теорию струн можно строго определить математически, то существует математическая структура, для которой теория струн является верной «теорией всего», но для всего остального в мультиверсе IV уровня это не так.

Чтобы оценить мультиверс IV уровня, надо раскрепостить воображение, освободиться от предубеждений относительно того, какими должны быть законы физики. Рассмотрим пространство и время. Вместо того чтобы быть непрерывными, как предполагается для нашего мира, они могут оказаться дискретными, как в «Пэкмене» и «Тетрисе» или в игре «Жизнь» Джона Конвея, где движения характеризуется лишь резкими скачками. Если отключить подачу команд пользователя так, чтобы эволюцию во времени можно было рассчитывать детерминистически, все эти игры отвечают корректным математическим структурам. На рис. 12.3 показан упоминавшийся в гл. 3 трехмерный клон «Тетриса» под названием FRAC, написанный мной с приятелем Пером Бергландом в 1990 году. Если запустить его и не трогать клавиатуру (много очков с такой стратегией не набрать), то игра от начала до конца определяется простыми математическими правилами, заложенными в программу. Они делают ее математической структурой, входящей в мультиверс IV уровня. Часто встречаются рассуждения о том, что даже в нашей Вселенной пространство-время может проявлять своего рода дискретность, скрывающуюся в столь малых масштабах, что мы до них еще не добрались.

Рис. 12.3. FRAC, трехмерный клон «Тетриса», реализует математическую структуру, где пространство и время дискретны, а не непрерывны.

Рис. 12.4. Компьютерная программа может автоматически генерировать упорядоченный список конечных математических структур, где каждая кодируется последовательностью цифр. В таблице показаны некоторые примеры, заданные при помощи схемы кодирования из моей статьи 2007 года. Слова и диаграммы во второй колонке – это избыточный «багаж», отражающий способы, какими люди называют и иллюстрируют эти структуры.

Или даже так: существует множество математических структур, где нет ни пространства, ни времени, а значит, не имеет и смысла говорить, будто в них что-то происходит. Большинство структур, примеры которых приведены на рис. 12.4, как раз такого типа. Скажем, внутри абстрактного додекаэдра ничего не происходит, поскольку эта математическая структура не содержит времени.

Наш «почтовый индекс» в мультиверсе IV уровня

Как отмечалось в гл. 10, математическая структура – это множество абстрактных элементов с отношениями между ними. Для более систематического изучения мультиверса IV уровня нам понадобится написать компьютерную программу, которая автоматически генерирует список существующих математических структур, начиная с простейших. На рис. 12.4 показаны десять строк этого списка, составленного с помощью схемы кодирования, которую я описал в статье 2007 года о математической Вселенной[84]. Детали этого метода здесь несущественны, кроме того замечательного свойства, что любая математическая структура с конечным числом элементов обязательно появится в этом списке. А значит, любую из этих математических структур можно задать одним числом – ее номером в списке.

Для конечных математических структур все отношения можно описать конечными таблицами чисел, распространяющими идею таблицы умножения на другие типы отношений. Для структур с очень большим числом элементов эти таблицы становятся огромными и кодируются длинными числами, что смещает их вниз по списку. Однако для небольшой доли очень больших структур характерна внутренняя элегантная простота, что сильно упрощает их описание. Рассмотрим математическую структуру, элементами которой являются целые числа: 0, 1, 2, 3, …, и отношения сложения и умножения. Было бы напрасной тратой сил выписывать для задания умножения колоссальную таблицу умножения для всех пар чисел: даже если ограничиться первым миллионом чисел, таблица с миллионом строк и миллионом столбцов содержит триллион клеток. Вместо этого мы учим детей лишь таблице умножения первых десяти чисел, а также простому алгоритму, как использовать эту таблицу для умножения многозначных чисел. Для компьютеров мы описываем умножение еще эффективнее, чем для детей: когда все числа представлены в двоичной системе счисления, нужно задать таблицу умножения размером всего 2 × 2 для нулей и единиц и добавить короткую компьютерную программу, которая указывает, как пользоваться таблицей для перемножения сколь угодно больших чисел.

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

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

Короче говоря, мультиверс IV уровня можно систематически отобразить путем перечисления математических структур с помощью компьютера и изучения их свойств. Если однажды нам удастся определить, в какой математической структуре мы живем, можно будет сослаться на нее по номеру в основном списке, и мы получим возможность записать свой адрес в полной физической реальности (рис. 12.5). Государства применяют разные схемы записи адресов: в одних почтовые индексы состоят из цифр, в других – из букв, а кое-где индексов нет вообще. Аналогично, способ записи локальной части адреса будет зависеть от математической структуры: в большинстве их нет ни квантовой механики, ни инфляции, а значит, нет ни мультиверсов I, II и III уровней, ни планет, хотя другие структуры могут содержать иные типы параллельных вселенных, о которых мы и не догадываемся.

Рис. 12.5. Для задания адреса в полной физической реальности мне понадобится указать свое положение в мультиверсе IV уровня (номер моей математической структуры), в мультиверсе III уровня (ветвь квантовой волновой функции), в мультиверсе II уровня (постинфляционный пузырь), в мультиверсе I уровня (хаббловский объем), а также положение внутри нашей Вселенной. Я привел здесь небольшие числа, хотя на каждом из четырех уровней может быть бесконечно много членов, так что в мой реальный адрес будут входить числа слишком большие, чтобы они поместились на конверте.

Структура мультиверса IV уровня

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