Семён Шлосман: «Замечательная статья» значит только то, что она содержит замечательный результат

Семён ШлосманСемён Бенсионович Шлосман родился в 1950 году в Москве. Окончил мехмат МГУ в 1972 году, аспирантуру ИППИ (под руководством Р. Л. Добрушина) в 1975 году. С 1987 года работает в ИППИ РАН, вед. науч. сотр. Добрушинской математической лаборатории (№ 4), докт. физ.-мат. наук. Защитил докторскую диссертацию в 1989 году. Занимается математической физикой, комбинаторикой и теорией вероятностей. Увлечения — музыка и водные походы.

Семён Шлосман и Михаил Гельфанд. Фото И. Жилина
Семён Шлосман и Михаил Гельфанд. Фото И. Жилина

— Мы беседовали с Цфасманом [1], и он цитировал Вас: «Математические идеи устроены следующим образом: человек пишет статью. Наш коллега Сеня Шлосман мне как-то сказал: Статьи мы пишем не для того, чтобы их читали (ясно же, что никто читать не будет), а для того, чтобы самому быть уверенным в правильности написанного“». Вы действительно так сказали?

— Не могу знать, сказал я именно это или нет, но некая истина здесь имеется. Роланд Львович Добрушин говорил, что рецензенты статьи читают не так, как автор. Поэтому на рецензента рассчитывать серьезный математик не должен. Друзья и одновременно коллеги, которых так же сильно волнует тема статьи, могут прочитать.

— Речь же шла не о рецензентах. Это был пример крайней точки зрения на то, зачем вообще нужно писать математические статьи. В контексте разговора о том, зачем вообще нужно заниматься математикой.

— Отчасти верно следующее: можно написать некое утверждение, сделать набросок; текст получится коротким, его относительно легко прочесть и понять. А вот единственный способ проверить, что сказанное там еще и верно, — это написать подробное доказательство. Насколько подробное — зависит от математической культуры читателя и писателя, некоторые детали всеми математиками по умолчанию опускаются. На своем примере убеждался: если я думаю, что всё, имеется результат и он истинен, — то, когда начинаешь его записывать, возникают некие детали. И может, он действительно, как говорят, «морально» верен (это слово не люблю, но часто слышу), но, чтобы убедиться окончательно, нужно написать доказательство со всеми подробностями. Тогда оказывается, что чуть-чуть надо поправить, и получается даже еще интереснее: проявляются некоторые банальные исключения, которые на первый взгляд не видны и в голову не приходят. Теперь доказательство действительно продумано и закодировано ручкой на бумаге. Но это отвечает не на все стороны заданного вопроса. Действительно, написать-то можно, а зачем публиковать? Израиль Моисеевич Гельфанд говорил, что публиковать надо, не объясняя зачем.

— Израиль Моисеевич — то, что я мог наблюдать в медицине, — действительно фиксировал все промежуточные результаты. Они выпускали препринты ИПМ — даже не статьи.

— То, что слышал я, относится к математическим работам. Это даже понятно: некоторые люди пишут, чтобы читали другие люди, те, кому интересно. Математика — это целое community, целый мир людей. Журналы, или теперь архивы (электронные. — Прим. ред.) , люди читают. Некоторые имеют хорошую привычку читать их ежедневно: что появилось в математике за истекшие сутки.

— В математике релевантные результаты появляются с такой частотой?

— Релевантные — нет. Релевантные — понятие относительное. Но несколько статей появляются каждый день. Иногда достаточно посмотреть список авторов, иногда — заголовок или абстракт, а иногда и всю статью.

— Как Вы понимаете, хотите ли Вы смотреть всю статью или нет?

— Ну, всю статью — это я, может, преувеличил. Опять-таки, история от Израиля Моисеевича о том, как на семинаре Колмогоров пересказывал содержание и результаты некой книжки. А на следующей неделе он говорил: «Всё я вам неправильно рассказал. Этого там нет, другого. Просто в комнате было довольно плохо видно, я лежал, листал книгу и думал: что в ней могло бы быть?» Колмогоров рассказывал то, что он сам придумал — что бы там могло быть написано.

— И что интереснее?

— Израиль Моисеевич не сказал. Но из контекста ясно, что, конечно, первый вариант.

— Если считать, что релевантная статья — это та, которую Вы читаете целиком и разбираете доказательства, то каков их поток?

— Может быть, раз в неделю…

— А пишете сколько? Я сейчас попытаюсь уравнение баланса свести. Так мы оценим размер community.

— Неизвестно, что мы оценим. Сколько я пишу? Скажем, три статьи в год.

— С одним-двумя соавторами?

— Да. Как-то давно не писал один.

— На душу получается по одной. На пятьдесят внимательно прочитанных статей — одна написанная. Сколько, по-Вашему, человек внимательно читают Ваши статьи?

— Льщу себе надеждой, что о большинстве не знаю. Должен признаться честно, почему-то об этом никогда не задумывался. Все-таки я бы не сказал, что из чтения статей познается главное.

— А откуда?

— Из бесед или рассказов о работах. Если мне интересно, то довольно часто понимаю, что там написано и как это могло быть сделано.

— Та же самая история, как про Колмогорова.

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

— Он довольно тесно связан с нашим институтом.

— Надеюсь; он выдающийся математик. Результаты, которые он получал, не единожды вызывали это чувство: сомнений в истинности утверждения нет ни у меня, ни у многих других, но также совершенно не видно, как же можно это строго установить; я ему даже лично говорил. Я слушал один доклад Смирнова: он рассказывал некоторые шаги, доходил до определенного места, на котором я бы остановился, потому что совершенно ясно, что так ничего не выйдет. А Станислав действовал дальше, и, к изумлению публики, всё получалось. Могу рассказать, в чем дело. У него в задаче участвуют комплексные вероятности. В статистической физике и теории вероятностей есть место, где часто нужно устанавливать факт, что вероятности, для которых пишутся формулы, вещественны и положительны. Иначе никогда не делается. А Смирнов пишет про фермионные наблюдаемые, и там у него явно возникают комплексные вероятности. По мне, их нужно выбросить и забыть. А он их не боится. По своей природе (и благодаря незнанию) он понимает, что можно продвинуться дальше, и действительно, эти продвижения не раз и не два были совершенно замечательные.

— Такой физический подход к математике? Классический пример: ввели дельта-функции, хотя ясно, что дельта-функций не может быть. Потом им придали смысл совершенно другим способом. А физики с ними оперировали довольно давно…

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

— И логические шаги там безукоризненны?

— Да, конечно.

— А комплексные вероятности? Они вводятся без всякой аксиоматики?

— Не в этом дело. Объекты, что там получаются, можно не называть вероятностями. Но если бы они (положительными) вероятностями являлись, то я мог бы пользоваться своей вероятностной интуицией. А те объекты, которые возникают у него, хотя и определяются явными точными конструкциями, но вероятностями не являются. Поэтому я про них думать не умею. А он с ними обращается настолько, насколько с ними возможно обращаться строго, и получает результаты, которые мне казались недостижимыми.

— Ваша интуиция позволяет Вам думать про комплексные вероятности?

— Моя интуиция мне внушает оторопь перед таким подходом. Это неправильно, как я теперь вижу, но я так и не пробовал. Наверное, это ущербная установка.

— Есть примеры, когда статья написана, и довольно подробно, а потом уже читатели обнаружили пробел. Недавний пример — первое доказательство Уайлсом теоремы Ферма. Значит, в процессе записи доказательства все-таки можно себя немножко обмануть?

— Можно. На днях читал про одну статью Лебега, где он доказывал некую замечательную теорему. А потом в этом доказательстве обнаружилась — у нас, в России, — ошибка, из которой впоследствии выросла целая новая ветвь науки.

Сейчас есть такая деятельность — записать доказательство на формальном языке, чтобы истинность утверждения мог проверить компьютер.

Фото И. Жилина
Фото И. Жилина

— Кажется, Воеводский хочет что-то такое сделать.

— Я читал доклад Шафи Голдвассер, которая работает в Институте Вейцмана по этой теме, и там была совершенно замечательная идея. Текст перерабатывается таким образом, что если есть исходная ошибка, то она распределяется по всему тексту, и ее легко найти. Как это может быть, не могу себе представить, но вроде бы так: кладется ложка дегтя в бочку меда и перемешивается. Как это реализуется с математическим текстом? Но идея совершенно замечательная, если только это возможно.

— С другой стороны, бывают тексты, которые, по-видимому, правильные, но, чтобы их понять, требуются значительные усилия. Это, например, про Перельмана.

— Сергея Петровича Новикова упрекали в том, что его выдающиеся топологические статьи написаны плохо.

— Трудно понять, потому что плохо написано или потому что нетривиально?

— Конечно, весьма нетривиально и к тому же написано эллиптическим языком. То есть шаги, очевидные пишущему, пропущены, и их трудно восстановить.

— И в таких шагах как раз сидят ошибки.

— По молодости я писал работы, в которых мне казалось неприличным приводить подробности. Зачем писать очевидные вещи, раз даже я понял? А через некоторое время я открывал текст и сам не понимал, что там написано. Забывал, что имел в виду. И если я не понимаю, то другому читателю совсем плохо. И стал писать так, что если я открою работу через несколько лет, то без труда пойму, что там сказано.

— У Литлвуда есть высказывание, что репутация математика основывается на количестве его плохих работ. И имеется примечание редактора, необходимое, потому что это слишком тонкий парадокс: первая статья про что-то новое обычно написана очень плохо. Конструкции не вполне естественны, потом оказывается, что можно сделать намного проще.

— Я бы не сказал «плохие». Может, они тяжело написаны.

— Вы сказали, что Сергея Петровича упрекали в том, что он плохо пишет.

— Замечательная статья может быть плохо написана.

— Тогда надо разделять статью и результат.

— Я бы сказал, что выражение «замечательная статья» значит только то, что она содержит замечательный результат. За свои топологические работы Сергей Петрович получил Филдсовскую премию.

* * *

— Вы занимаетесь математикой со стороны физики?

— Я занимаюсь только математикой. Она бывает разной, и бывают математические задачи, мотивированные физическими вопросами. Когда эти вопросы решены математическим образом, дальше возникают другие, чисто математические вопросы, которые потом тоже исследуются. С течением времени наросло довольно большое число людей, работ и результатов, которые когда-то были мотивированы физическими вопросами и до сих пор имеют к ним отношение, но эта область уже развивается в силу какой-то другой мотивации. Как и в чисто математических областях: некоторые вопросы решены, а взамен встают другие.

— Существуют ли математические области? Или имеется непрерывный континуум, и то, что мы называем областями, в значительной степени следствие привычки? Как были кафедры, так области и остались?

— Пожалуй, всё же существуют. Они различаются по кругу вопросов и методов. Не знаю, что здесь есть метод.

— Как раз хотел спросить: что такое метод?

— Не знаю. Есть математика дискретная и непрерывная. Различие видно невооруженным глазом.

— Теорема Ферма — яркий пример дискретного утверждения, доказанного, насколько я понимаю, непрерывными методами.

— Под «дискретной» я имел в виду комбинаторику.

— В комбинаторике есть производящие функции — они уже непрерывные.

— Да, есть даже асимптотическая комбинаторика. Когда вы что-то действительно пересчитываете и хотите обозреть большую совокупность дискретных объектов; а дальше вы пытаетесь сделать предельный переход. Вы делаете вид, что большое количество — оно бесконечно. Тогда объекты, которые вы пытались перечислить и обозреть, в этом пределе делаются хорошо видимыми, и становится понятно, в чем, собственно, дело.

Так что и да, и нет. Можно представлять области математики архипелагом, где во время отлива обнаруживаются отмели, по которым можно из одной области пройти в другую. А во время прилива кажется, что одно от другого отделено существенной преградой.

— Должна ли математика быть понятной? До какой степени современную математику можно сделать понятной условному налогоплательщику?

— Зависит от налогоплательщика. Некоторые любят, чтобы их развлекали — можно даже математикой. А другие хотят что-нибудь понять, но боятся, что это будет чересчур долго и утомительно. Но и таким, мне кажется, можно что-то объяснить к взаимному удовлетворению, чтобы и рассказчик мог думать, что он изложил нечто нетривиальное. Но, как меня приучили, нужно, рассказывая, всякий раз иметь в виду интересы слушателя. Рассказчик может и не успеть рассказать то, что ему самому кажется замечательным по персональным и эстетическим причинам. Но он должен рассказать так, чтобы слушатель извлек пользу. Если стоять на такой точке зрения, то можно большому количеству людей объяснить что-нибудь такое, что рассказчику будет интересно, а слушателю оказалось бы полезно.

— На ИТиС 2012 года было два пленарных доклада. Доклад Александра Николаевича Рыбко, про который сообщалось, что он основан на совместной работе со Шлосманом, назывался «Предел среднего поля для общих моделей бесконечных коммуникационных сетей». Аннотация начиналась со слов: «Рассматриваются последовательности марковских процессов, описывающие эволюцию симметричных коммуникационных сетей довольно общего вида с растущим к бесконечности числом узлов…» И был Ваш пленарный доклад «Можно ли сделать надежную память из ненадежных элементов?». И его аннотация начиналась так: «Да! Надежную память из ненадежных элементов сделать можно!» Это в каком-то смысле два почти крайних подхода.

— Если бы Саша меня спросил, я бы ему отсоветовал и название, и абстракт. Ту т докладчик не сделал усилия, чтобы привлечь публику.

— Или он ориентировался на другую аудиторию. А вот читателям ТрВ-Наука, — это социальная группа ученых, но из разных наук, например биологии, — Вы можете рассказать, чем занимаетесь?

— Ну Вы же были на том докладе и даже задавали вопросы.

— Это оно и было?

— Да. Я могу рассказать, чем мы занимаемся с Сашей Рыбко. Иногда говорю, что мы занимаемся Интернетом, но это преувеличение. Наверное, Интернет гораздо сложнее устроен, чем то, про что мы с Сашей Рыбко и с Сашей Владимировым размышляем, когда решаем задачку, про которую я расскажу.

Большие коммуникационные сети в некотором смысле похожи на ту реальность, которую описывает статистическая физика: есть независимые агенты в огромном количестве, которые живут по своим локальным законам, и у каждого есть цель. Есть индивидуумы, есть какие-то локальные правила, а дальше происходят некоторые явления гораздо большего масштаба, чем индивидуальные пользователи. Глобальные свойства сети являются свойствами того, как себя ведут составляющие ее агенты, которые эту самую большую сеть не осознают. А в статистической физике существует такое важное понятие, как фазовый переход. Это переход из режима с одними параметрами, когда агенты себя ведут более-менее независимо друг от друга, к другим глобальным параметрам, когда вдруг оказывается, что изменение системы в одном месте сильно влияет на то, что происходит в другом месте. Агенты вроде как ведут себя по-прежнему, они смотрят только на то, что происходит вокруг, но действие, которое происходит здесь, чувствуется очень далеко отсюда. Роланд Львович Добрушин говорил, кстати, что и революционная ситуация — это фазовый переход: возникают далекие связи, общество переходит в иное состояние, жизнь идет по-другому.

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

Пусть так вышло, что в половину кабинетов очереди есть, а в другую половину нет, пусто. Мы знаем, что должно произойти естественным образом: через какое-то время всё рассосется, везде будут одинаковые очереди. Но бывает по-другому: они все стоят на втором этаже в очереди, через какое-то время все переходят на третий этаж и там стоят в очередях, а потом опять все идут вниз. Возникает устойчивый колебательный режим — такой фазовый переход, когда неоднородность, которая была в самом начале, со временем не рассасывается. Этот колебательной режим из архитектуры сети не виден, он не должен бы происходить, но тем не менее так бывает.

Фото И. Жилина
Фото И. Жилина

— Казалось бы, если правила простые, подобного сорта вещи получаются легко. Например, если есть строгий порядок прохождения кабинетов.

— Правда. Но в наших сетях есть случайность: кто сколько времени проводит в каждом кабинете. За счет такой случайности исходный порядок обычно размывается. Казалось бы, всё должно быть хорошо, ан нет.

— Но если есть строгий порядок кабинетов, то эта толпа так и будет ходить друг за другом, как на диспансеризации в больнице.

— Случайность всё размывает. Конечно, если протокол детерминированный, то начальная ситуация полностью определяет будущее. Но мы рассматриваем более реалистичную систему, в которой не знаем, сколько кому времени понадобится. Именно из-за этого порядок должен размываться и исчезать. Поскольку есть некая неопределенность, она должна накапливаться, и жизнь должна происходить как в центральной предельной теореме: порядок расплывается, и с течением времени неизвестно, кто когда пришел, за кем кто стоял, — всё перемешалось, и у всех кабинетов очереди примерно одинаковые.

— С другой стороны, есть наблюдение, что ровно из-за того, что трамвай едет случайным образом, через некоторое время они начинают ездить пачками. Более быстрый догоняет более медленный, и это не рассасывается. В совсем простых системах на самом деле кажется, что это не очень удивительно, при одномерном движении в одном направлении.

— Наша сеть гораздо сложней, потому что у каждого клиента имеется большой выбор, в какой кабинет стоять. Я говорю про ситуацию, в которой, кажется, по природе вещей должно бы всё прийти в равновесие.

— То есть у Вас есть оценка сложности системы, при которой это становится нетривиальным результатом?

— Да, именно так. В этой большой системе нет размывания, когерентность начального состояния не забывается. Мы очень удивились, потому что так не бывает. Это странное и неприятное состояние — то, чего хотелось бы избегать.

— Пробки так образуются.

— Похоже, да: где-то пусто, где-то густо — дизайнеру сети, наверное, не хотелось бы, чтобы так происходило. А в нашей модели это явление происходит, но, впрочем, не всегда, а только если в сети достаточно много клиентов. Если их не очень много, то всё замечательно размывается. Очень похоже на фазовый переход, который мы знаем из физики. Там тоже есть параметр — температура. При высокой температуре имеется полный хаос, и одни места системы не знают о других. С понижением температуры происходит фазовый переход, после которого система всюду устроена одинаково. Есть разные варианты у системы, но уж когда она выбирает, то один на всех. Фазовый переход в физике описывается математической теорией, которой я занимаюсь, и такая же примерно картина возникает в сетях.

Это можно объяснить. Если у человека есть любопытство хотя бы к чему-то, то, наверное, когда он открывает журнал «Кот Шрёдингера», чтобы узнать новости науки, он может такую новость прочесть.

— Вам нравится «Кот Шрёдингера»?

— Да.

— Немного клиповый стиль, когда ничего не написано с какой-нибудь подробностью, Вас не расстраивает?

— Нет. Мне кажется, что это неплохо, что такие яркие картинки, и, когда переворачиваешь страницу, попадаешь уже в совершенно другую тему и даже в совершено другую визуальную среду. Я его листал, чтобы понять, надо ли мне моего внука уговаривать заглянуть в журнал. И решил, что он подходит для десятилетнего любопытного ребенка.

1. О бубликах, бабушках и корректирующих кодах // ТрВ-Наука. № 4 (198) от 23 февраля 2016 года.

(Окончание в следующем номере)

5 комментариев

  1. Математику загнали в философию. Что из этого выйдет только не понятно.
    Мы находимся на распутье идей и методов. Такое в истории математики было всегда. Начиная от Пифагорийцев. Они тоже использовали логику для доказательства своих идей. Формальная запись и подход не приветствовался.
    И что от них осталось? Если утрировать — кроме идей конкурентов нашедших площади и объёмы геометрических фигур — практически ничего.
    Математика да и вообще мир познаётся на основе опыта. Логика плохой инструмент для этого. Сколько раз человечество на основе логики строила теории по устройству Вселенной и каждый раз ошибалось? Постоянно такое происходит. И постоянно наступают на одни и те же грабли.
    Сколько раз объяснялось, что строгая и нам кажущая верной цепочка умозаключений — может привести к не верному результату?
    Строить теории на основе одной только логики — это значит быть готовым к тому, что всё чем ты занимался всё это время может оказаться не верным.
    Сейчас такая тенденция в математических журналах, что публикуют только статьи пропагандирующие одну сторону методов и идей — логика наше всё! Как раз то о чём сам в статье и говорит.
    Ну есть у них такая возможность пропагандировать свои идеи — тут уж ничего не поделаешь. Главное чтоб с другими идеями не боролись, а вот этого добиться крайне тяжело.
    Идеи и методы должны конкурировать. Иначе у нас будет вот такая ситуация. Когда математик будет, что-то сам писать. При этом будет говорить, что это только он сам понимает. А какой нибудь программист будет сам на свой страх и риск придумывать алгоритм для решений этой же задачи. Основываясь на собственных идеях и методах. Такое постоянно кругом происходит.

  2. К сожалению, математики учат себя не мыслить, т.е. заниматься интеллектуальной работой, а отдаваться азарту комбинаторикой понятий, в надежде вытащить заветный алмаз истины… . Увы! Смешивая мед, деготь, керосин и царскую водку, как правило, получается экологически вредный продукт, который не только ни кому не нужен, но и мешает по многим параметрам человечеству развиваться в правильном направлении… .

  3. Цитата из Литтлвуда(на самом деле Безиковича) видимо неточна(я говорю это, т к мне кажется и смысл слегка изменился).
    В русском издании :»Репутация математика основывается на числе плохих доказательств, которые он придумал. (Работы первооткрывателей неуклюжи). «

  4. Можно ли мне, как дилетанту предположить, что Воеводский в итоге «проверит» теорему Геделя о неполноте?))

Добавить комментарий

Ваш адрес email не будет опубликован.

Оценить: