Стивен Строгац - Ритм Вселенной. Как из хаоса возникает порядок
Изобразим плоскость x, y, которая наверняка знакома вам из курса математики в старших классах. В данном случае ось x (как обычно, это горизонтальная ось) представляет напряжение осциллятора B в момент, когда запускается A. Вертикальная ось y представляет напряжение осциллятора C в тот же момент. Пара напряжений отображается на этой плоскости одной точкой.
Когда мы предоставляем возможность B и C изменяться независимо, принимая любые напряжения в промежутке между 0 и 1 (охватывая все возможные варианты), соответствующая точка, изображающая пару напряжений, движется внутри некой области, представляющей собой квадрат.
Таким образом, в случае трех осцилляторов мы получаем квадрат возможных начальных условий: одна ось для осциллятора B и одна для осциллятора C. Обратите внимание, что для A нам не нужна ось, поскольку этот осциллятор всегда стартует с нуля (в соответствии с тем, как мы решили стробировать эту систему).
Картина постепенно проясняется. По мере добавления осцилляторов нам необходимо добавлять все больше измерений, чтобы можно было учитывать все возможности. Для четырех осцилляторов требуется трехмерный куб начальных условий; для пяти осцилляторов требуется четырехмерный гиберкуб, а в общем случае для n осцилляторов требуется (n–1) – мерный гиберкуб. Людям, далеким от математики, это может показаться чересчур сложным (все это действительно сложно представить себе). Но с точки зрения формального математического подхода, вообще говоря, все равно, какому числу в каждом конкретном случае соответствует n: увеличение n не предполагает возникновения каких-либо новых сложностей. Поэтому, для большей определенности, в дальнейшем я продолжу рассматривать случай с тремя осцилляторами, который заключает в себе все основные идеи.
Очередной шаг заключается в преобразовании рассматриваемой нами динамики – эволюции такой системы во времени – в графическое представление, которое мы стремимся получить. Мы хотим убедиться в том, что в такой системе действительно будет достигнут синхронизм при неких начальных состояниях осцилляторов B и C.
Представим, что произойдет, если мы позволим такой системе начать работать. Напряжение на всех осцилляторах поднимется до порогового значения, они запустятся, а затем вернутся в исходное (нулевое) состояние; они также будут реагировать на «толчки» со стороны других осцилляторов. Чтобы устранить избыточную информацию, опять воспользуемся методом стробов: предоставим системе возможность работать в темноте до очередного момента, когда осциллятор A запустится и вернется в исходное состояние, а B и C отреагируют на это. Затем включим строб и сделаем очередной фотоснимок, зафиксировав новые позиции B и C.
Геометрический результат заключается в том, что старая точка в нашем квадрате оказалась на новом месте (обновленные напряжения B и C). Иными словами, динамическая эволюция нашей системы эквивалентна преобразованию, в результате которого любая данная точка в нашем квадрате оказывается в другом месте этого квадрата в соответствии с неким сложным правилом, которое определяется формой кривой заряда и величиной толчков.
Этот процесс можно повторить; при этом новую точку можно интерпретировать как начальную, которая изменяет свою позицию в соответствии с упомянутым преобразованием, снова и снова перепрыгивая с одного места в нашем квадрате на другое место. Если такая система должна в конечном счете прийти к синхронизму, то упомянутая нами точка должна постепенно продвигаться в сторону нижнего левого угла квадрата, то есть к точке с напряжениями (0,0); это означает, что все осцилляторы достигнут исходного положения одновременно. (Почему именно нижний левый угол? Потому что именно в этой точке находится осциллятор A. Согласно определению строба, осциллятор A уже запустился и сбросился, поэтому напряжение на нем равно нулю. В синхронизированном состоянии напряжение на обоих других осцилляторах также равно нулю.)
В принципе, у каждой начальной точки есть некое конечное положение, которое можно вычислить. Если в конечном счете все осцилляторы запускались синхронно, то такую начальную точку мы называли «хорошей». В противном случае мы называли ее «плохой». Нам с Ренни не удалось найти способ, который позволял бы нам точно сказать, какие точки являются «хорошими», а какие – «плохими», однако нам удалось доказать, что почти все точки являются хорошими. Плохие точки действительно существуют, но они встречаются настолько редко и настолько сильно разбросаны, что если собрать их все вместе, то занимаемая ими площадь стремится к нулю. Иными словами, если выбрать какую-либо точку произвольным образом, то у вас чрезвычайно мало шансов выбрать плохую точку.
Это может показаться абсурдным: если плохие точки существуют, то вы можете полагать, что с вашим-то везением вы наверняка выберете плохую. Спешу вас успокоить: не выберете. Это практически то же самое, как если бы вы бросали дротик в мишень для игры в «дартс» в надежде, что он попадет точно в разделительную линию между двумя соседними концентрическими областями. Это чрезвычайно маловероятно. А теперь представьте, что толщина этой разделительной линии стремится к нулю (а именно это требуется, если ее площадь должна равняться нулю). Теперь, надеюсь, вы понимаете, почему у вас практически нет шансов попасть дротиком в эту линию.
Идея о теоретическом существовании «плохих» точек принадлежала Ренни, хотя мы, разумеется, были заинтересованы в «хороших» точках. Стратегия Ренни напоминала концепцию отрицательного пространства, к которой прибегают художники: чтобы лучше уяснить интересующий вас объект, постарайтесь уяснить пространство, окружающее этот объект. В частности, Ренни придумал, как доказать, что «плохие» точки занимают нулевую площадь.
Чтобы составить некоторое представление о его доказательстве, сосредоточимся на наихудших из «плохих» точек, которые я буду называть «ужасными». Эти точки – самые непокорные в своем стремлении воспрепятствовать достижению синхронизма: они вообще не поддаются поглощениям. Когда система начинает свою работу с какой-либо ужасной точки, никакая из пар осцилляторов (и тем более не вся популяция осцилляторов) не сможет синхронизироваться.
Чтобы понять, почему ужасные точки не могут занимать площадь больше нулевой, вообразите все эти точки в виде некой совокупности и проанализируйте, что произойдет, когда мы применим наше преобразование ко всем точкам в такой совокупности. Каждая ужасная точка перескочит в какое-то другое место, но после такого преобразования она все равно останется ужасной. Это звучит почти как тавтология: если какая-либо точка никогда не приводит к поглощению, то после одной итерации нашего преобразования она все равно никогда не приведет к поглощению. Следовательно, новая точка также является ужасной. Поскольку первоначальная совокупность включала все ужасные точки (по определению), эта новая точка должна была бы где-то здесь появиться, чтобы она могла исполнить роль начальной.
Наш вывод заключается в том, что преобразованная совокупность находится полностью внутри первоначальной совокупности. Могу предложить более наглядную аналогию: это похоже на хорошо известные вам фотографии «до» и «после», используемые в рекламе всевозможных диет для похудения. Преобразованная совокупность – похудевшая «после» – фотография – полностью содержится внутри толстой «до» – фотографии (как в рекламе диет для похудения).
До сих пор в нашем доказательстве не использовалась какая-либо информация о форме кривой заряда или величине «толчков». Когда мы в конечном счете учтем эти детали, мы придем к выводу, который, на первый взгляд, может показаться парадоксальным, хотя на самом деле он является решающим доводом в нашем доказательстве. Нам с Ренни удалось доказать, что преобразование из «до» в «после» действует подобно функции увеличения масштаба в фотокопировальном аппарате. Любая совокупность точек, которую вы подаете на вход нашего преобразования, на его выходе оказывается увеличенной в том смысле, что ее суммарная площадь оказывается умноженной на коэффициент, больший 1. Неважно, какую именно совокупность вы выберете (как неважно и то, какое изображение вы поместите в фотокопировальный аппарат): увеличится площадь всех совокупностей. В частности, увеличится площадь совокупности ужасных точек. Но погодите, это означает, что совокупность ужасных точек становится толще, а не тоньше. Но это, похоже, противоречит тому, о чем мы говорили выше. Если быть более точным, проблема в том, что преобразованная версия совокупности ужасных точек должна находиться внутри исходной совокупности при том, что ее площадь также должна увеличиться, что кажется невозможным. Единственным условием, при котором эти два вывода могут быть совместимы, является нулевая площадь исходной совокупности (фотография «до» должна представлять собой изображение тонкого прута). В таком случае никакого противоречия нет: при умножении на число, большее 1, площадь исходной совокупности останется нулевой, поэтому преобразованная совокупность может поместиться внутри исходной совокупности. Но это именно то, что мы хотели продемонстрировать: ужасные точки занимают нулевую площадь. Именно поэтому вам никогда не удастся выбрать их, если вы будете выбирать начальное условие случайным образом. Не сможете вы выбрать и какие-либо другие «плохие» точки. Именно поэтому наступление синхронизма в такой модели является неизбежным.
