Несмотря на успешный анализ такого двухосцилляторного случая, выполненный Пескином, случай произвольного количества осцилляторов ждал соответствующего доказательства целых 15 лет. На протяжении этих 15 лет о результатах, полученных Пескином, почти никто не вспоминал. Сведения об этих результатах были похоронены в какой-то заумной монографии, которая, по сути, представляла собой фотокопию конспекта его лекций и которую можно было получить из его отдела лишь по специальному запросу.
Однажды, в 1989 г., я листал книгу под названием The Geometry of Biological Time («Геометрия биологического времени»), написанную биологом-теоретиком Артом Уинфри, одним из героев моей нынешней книги[14]. В то время я был научным сотрудником с ученой степенью, специализировавшимся на прикладной математике в Гарвардском университете, и пытался подобрать какую-либо интересную тему для своих дальнейших исследований. Хотя я размышлял над книгой Уинфри предыдущие восемь лет, она продолжала казаться мне неисчерпаемым источником идей и вдохновения. Она представляла собой не просто изложение результатов последних исследований по биологическим осцилляторам, а своего рода карту для охотников за удачей, руководство к будущим научным открытиям. Почти на каждой странице Уинфри указывал путь к интересным нерешенным проблемам и высказывал собственные соображения относительно того, какие из них в наибольшей степени созрели для того, чтобы за их решение можно было приняться прямо сейчас.
В этой книге я натолкнулся на вариант, которого не замечал прежде: в разделе, посвященном осцилляторам, взаимодействующим посредством ритмических импульсов, Уинфри упоминал о модели, описывающей поведение клеток-ритмоводителей сердца, предложенной Пескином в его монографии. Хотя Пескину удалось проанализировать лишь случай двух идентичных осцилляторов, писал Уинфри, «задача со многими осцилляторами еще ожидает своего решения».
Это разожгло мое любопытство. Что же представляет собой эта фундаментальная загадка, которая все еще ожидает своего решения? Я никогда прежде не слышал о работах Пескина, но указанная им проблема произвела на меня сильное впечатление. Никто даже еще не пытался придумать математический аппарат, который описывал бы большую популяцию из «импульсно-связанных» осцилляторов, взаимодействие в которой осуществляется посредством кратковременных пульсирующих сигналов. Это было ощутимым пробелом в литературе по математической биологии – и к тому же весьма подозрительным пробелом, если принять во внимание широкую распространенность в природе именно такого способа взаимодействия между биологическими осцилляторами. Светлячки мерцают. Сверчки стрекочут. Нейроны посылают электрические сигналы. Все они используют внезапные импульсы для общения друг с другом. Тем не менее, теоретики уклонялись от изучения такой импульсной связи по причине отсутствия подходящего математического аппарата. Импульсы вызывают постоянные скачки переменных, однако у математики возникают большие проблемы при описании таких скачков – математика предпочитает иметь дело с процессами, которые изменяются плавно. Однако Пескину удалось каким-то образом проанализировать два осциллятора, которые периодически воздействуют друг на друга кратковременными импульсами. Каким образом это удалось ему? И что помешало ему перейти от системы с двумя идентичными осцилляторами к системам со многими осцилляторами?
В нашей библиотеке не оказалось экземпляра монографии Пескина, однако Пескин любезно согласился переслать мне соответствующие страницы из этой монографии. Его анализ показался мне весьма элегантным и понятным. Но я быстро понял, почему он ограничился системой лишь с двумя идентичными осцилляторами: несмотря на всю элегантность выполненного им анализа, его формулы оказались чересчур громоздкими. С тремя осцилляторами дело обстояло еще хуже, а система из произвольного количества (n) осцилляторов представлялась вообще неподъемной. Я не понимал, как можно распространить его модель на большое количество осцилляторов и обойти возникающие осложнения.
Чтобы получить более полное представление об этой проблеме, я попытался решить ее на компьютере двумя разными способами. Первый подход заключался в постепенном наращивании сложности системы: я пробовал, подражая стратегии Пескина, найти решение для системы с тремя осцилляторами, используя малые толчки и утечки и перекладывая на компьютер решение всех алгебраических вопросов. Формулы оказались просто устрашающими – некоторые из них простирались на несколько страниц, – но с помощью компьютера мне удалось сократить их до вполне приемлемого вида. Полученные мною результаты показали, что предположение Пескина является, по-видимому, правильным для системы с тремя осцилляторами. Однако эти результаты также говорили о необходимости найти какой-то другой способ решения данной проблемы. С ростом количества осцилляторов используемый мною математический аппарат оказывался неприемлемым.
Второй подход заключался в компьютерном моделировании. Попытаемся на данном этапе обойтись без формул и предоставим возможность компьютеру продвигать систему во времени шаг за шагом вперед, а затем посмотрим, что из этого получится. Компьютерное моделирование ни в коей мере не заменяет собою математический аппарат – оно никогда не позволит получить доказательство, – но если гипотеза Пескина ложна, то такой подход сэкономит массу времени, убедив меня в необходимости поиска других путей решения проблемы. Такой подход чрезвычайно ценен в математике. Когда вы пытаетесь доказать что-либо, желательно быть уверенным в том, что вы не пытаетесь доказать нечто изначально ложное. Такая уверенность придаст вам силы, которые понадобятся вам для поиска строгого доказательства.
Разработать компьютерную программу для моего случая оказалось сравнительно простым делом. Когда запускается один осциллятор, он подталкивает все остальные осцилляторы на определенную, фиксированную величину. Если какие-либо из «продвинутых» таким образом осцилляторов преодолеют определенный порог, предоставляем им возможность также запуститься – и соответствующим образом обновляем другие осцилляторы. В противном случае используем в промежутках между запусками формулы Пескина для подталкивания соответствующих осцилляторов в направлении их порогов.
Я испытал этот механизм на популяции из 100 идентичных осцилляторов. Изначально был создан случайный разброс их напряжений между базовым (нулевым) уровнем и порогом. Я отобразил этот разброс на диаграмме в виде совокупности точек, взбирающихся в направлении порога по общей для них кривой заряда, которая представляет собой зависимость напряжения от времени. Даже с помощью средств компьютерной графики мне не удалось выявить какой-либо определенной картины в их коллективном движении – полная путаница.
В данном случае проблемой оказался слишком большой объем информации. И здесь я оценил по достоинству еще одно преимущество метода стробов, предложенного Пескином: этот метод не только позволяет упростить анализ, но и представляет собой наилучший способ визуализации поведения системы. Все осцилляторы остаются невидимыми за исключением именно тех моментов, когда запускается какой-то конкретный осциллятор. В такие моменты свет воображаемого строба подсвечивает остальные осцилляторы, показывая их мгновенные напряжения. Затем вся эта система вновь погружается в темноту до наступления следующего момента, когда запускается определенный осциллятор. Модель Пескина обладает тем свойством, что осцилляторы запускаются по очереди – никто и никогда не нарушает эту очередь; таким образом, 99 других осцилляторов запускаются в темноте, до того как произойдет вспышка следующего строба.
Отображаемые на компьютере, эти вычисления мелькали так быстро, что изображение на экране буквально мельтешило: 99 осцилляторов быстро взбирались вдоль кривой заряда, изменяя свои позиции с каждой очередной вспышкой строба. Теперь полученная картина не вызывала сомнений. Точки собирались в группы, образуя маленькие пакеты синхронизма, которые объединялись в более крупные пакеты, подобно каплям дождя, которые собираются в ручейки, стекающие по оконному стеклу.
Это казалось просто сверхъестественным – система синхронизировала сама себя. Бросая вызов Филипу Лорену и всем прочим скептикам, которые утверждали, что синхронизация светлячков невозможна в принципе и что такое явление «противоречило бы всем законам природы», компьютер демонстрировал, что большая совокупность маленьких осцилляторов, не обладающих разумом, способна достигать синхронизма автоматически. Наблюдая за этим явлением, я испытывал чувство, близкое к мистическому ужасу. Наблюдатель поневоле испытывал ощущение, что осцилляторы словно договариваются между собой о совместных действиях, сознательно стремясь к порядку, хотя ни о чем подобном, разумеется, не могло быть и речи. Каждый из них лишь автоматически реагировал на импульсы, посылаемые другими осцилляторами, не преследуя при этом никакой конкретной цели.