Какие свидетельства могут убедить математиков, если строгого доказательства нет?

в 8:49, , рубрики: математика, математические модели, Научно-популярное, эллиптические кривые

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

Какие точки на эллиптической кривой y2 = x3 – 4x + 1 рациональные? Чтобы их найти, нужно провести прямые через пары рациональных точек. Все точки, через которые проходят прямые, также будут рациональными.

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

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

Модель, опубликованная в онлайне в 2016 году, и готовая появиться в журнале Journal of the European Mathematical Society, относится к такой почтенной математической концепции, как ранг алгебраического уравнения. Ранг – это мера, соответствующая тому, какое количество решений уравнения относится к рациональным числам, а какое – к иррациональным. У уравнений высокого ранга наборов рациональных решений больше, и они сложнее.

С начала XX века математиков интересовал вопрос, есть ли ограничения высоты ранга уравнения. Сначала почти все думали, что ограничение должно существовать. Но к 1970-м преобладающее мнение изменилось – большинство математиков стало считать, что ранг ничем не ограничен, что означает, что можно обнаружить кривые с бесконечно большими рангами. Так оно и повелось, хотя некоторые математики считали, что в поддержку этому мнению нет сильных аргументов.

«Люди очень авторитарно заявляли об отсутствии ограничений. Однако, когда начинаешь разбираться, оказывается, что свидетельства этому крайне слабые», — сказал Эндрю Грэнвиль, математик из Монреальского университета и Университетского колледжа в Лондоне.

Сегодня свидетельства говорят об обратном. Спустя два года после появления модели она убедила многих математиков в том, что ранг алгебраических уравнений определённого типа действительно ограничен. Однако не всем эта модель кажется убедительной. Отсутствие согласия поднимает вопросы, не часто касающиеся математических результатов – какой вес может иметь эмпирическое доказательство в области, в которой имеет значение лишь строгое доказательство?

«Не существует математического оправдания тому, что эта модель – именно то, что нам надо», — сказала Дженнифер Парк, математик из Университета Огайо, соавтор работы. «Кроме того, что с экспериментальной точки зрения много чего срабатывает».

От точки к точке

Если вам дадут уравнение, можно нарисовать на графике кривую его решений. Математики хотят знать, сколько из этих решений рациональны – принадлежат к типу чисел, которые можно выразить в качестве отношения двух целых чисел (1/2, -3 или 4483/929).

Рациональные решения тяжело находить систематически, но у математиков есть техники, работающие в определённых условиях. Возьмём уравнение x2 + y2 = 1. График решений этого уравнения представляет собой окружность. Чтобы найти все рациональные точки окружности, начнём с одного определённого решения – допустим, с точки, в которой x=1 и y=0. Затем проведём через эту точку линию, пересекающую окружность в одной другой точке. Если наклон нашей прямой рационален, тогда вторая точка пересечения также окажется рациональным решением. Рисуя линию, мы повысили число рациональных решений с одного до двух.

Какие свидетельства могут убедить математиков, если строгого доказательства нет? - 1

И незачем на этом останавливаться. Повторим процедуру, проведя прямую с другим рациональным уклоном через вторую рациональную точку – она пересечёт окружность в третьей рациональной точке. Продолжая так до бесконечности, мы в итоге найдём все рациональные точки окружности, коих бесконечное число.

И в случае с окружностью начать нужно лишь с одной точки, и можно найти их все. Количество рациональных решений, которое необходимо знать в начале для того, чтобы обнаружить все остальные, известно, как ранг кривой. Ранг – аккуратный способ описания бесконечного набора рациональных решений одним числом. «Это вроде как наилучший способ описания рациональных решений этих кривых», — сказал Бьорн Пуунен, математик из MIT, соавтор модели, совместно с Парком, Джоном Войтом из Дартмутского колледжа и Мелани Матчет Вуд из Висконсинского университета.

Окружность – это квадратичное уравнение, или уравнение второй степени («степень» обозначает величину самой большой из степеней членов уравнения). Уже больше ста лет математики знают, как находить рациональные решения уравнений второй степени.

Следующий тип уравнений – это эллиптические кривые, в которых присутствуют переменные, возведённые в третью степень. Эллиптические кривые существуют в наиболее привлекательной области математических исследований. Они сложнее уравнений второго порядка, поэтому их интересно изучать, но они не слишком сложные. Изменённая процедура рисования прямых всё ещё применима к эллиптическим кривым, но перестаёт работать с уравнениями четвёртого порядка и выше.

Эллиптические кривые бывают разных рангов. С некоторыми эллиптическими кривыми можно начать с одной рациональной точки, применить процедуру рисования прямых и не найти все рациональные решения. Вам, возможно, придётся добавить вторую рациональную точку, не связанную с первой. С ней вы начнёте новую процедуру рисования прямых, и найдёте баланс рациональных точек. Кривая, для нахождения всех рациональных точек которой вам надо изначально знать две рациональные точки, имеет ранг, равный двум.

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

И всё же ранг ускользает от попыток математиков описать его теорией. Если вам дадут эллиптическую кривую, у неё не будет очевидного взаимоотношения между тем, как она выглядит, и тем, каков её ранг. «Если у меня есть эллиптическая кривая, и я немного подстраиваю коэффициенты, то её ранг радикально меняется, — сказал Парк. – Можно изменить коэффициент на единицу, и ранг прыгнет на миллион. Никто не знает, как ранги себя ведут».

Отсутствие общей теории принудило математиков отступить к тому небольшому набору свидетельств, которое у них имеется, чтобы высказывать догадки по поводу наличия ограничения на ранг. «Точка зрения такова, что ограничений у ранга нет, поскольку люди всё время находили всё большие и большие ранги», — сказал Грэнвиль. Текущий рекордсмен – эллиптическая кривая ранга 28, обнаруженная в 2006 году Ноамом Элкисом, математиком из Гарвардского университета.

Но затем появилась эта новая модель, и заявила, что практически наверняка это и есть конец пути.

Сюрприз на отметке в 21

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

Математики делают то же самое. Хороший пример – изучение простых чисел. Математикам хочется узнать ответ на вопрос о простых числах-близнецах – существует ли бесконечное множество пар простых чисел, отличающихся на 2 (3 и 5, 11 и 13). Исчерпывающий ответ выходит за пределы их знаний, но они создали модели, предсказывающие частоту появления чисел-близнецов – и ответ, судя по всему, состоит в том, что они встречаются бесконечное количество раз.

Новая модель не изучает непосредственно сами эллиптические кривые. Она исследует такой математический объект, как ядро матрицы. Ядра относятся к эллиптическим кривым, как мыши к людям – не одно и то же, но их легче изучать, и можно надеяться, что они достаточно близки для того, чтобы можно было делать выводы об одних на основе экспериментов над другими. В частности у ядер есть своя версия ранга. Изучив распределение рангов ядер – у скольких ядер ранг равен 1, у скольких он равен 2, и так далее – четыре математика надеялись получить представление о распределении рангов у эллиптических кривых. По сути, они ставили на то, что распределение рангов ядер и эллиптических кривых похожи друг на друга.

Какие свидетельства могут убедить математиков, если строгого доказательства нет? - 2
Дженнифер Парк, Бьорн Пуунен и Мелани Вуд

«Тут вступает в игру прыжок веры, — сказал Парк. – Мы надеемся, что, возможно, существует ещё один набор математических объектов, гораздо более понятный, и обладающий тем же распределением рангов, что и эллиптические кривые».

Когда четверо исследователей проделывали эту работу, большая часть математиков считала ранг неограниченным. Однако модель поведала иную историю. Она говорит о том, что существует лишь конечное число эллиптических кривых с рангом более 21. А если их конечное количество, то у одной из них ранг будет наивысшим – что будет означать, что у ранга всё же есть верхняя граница. Когда четверо математиков увидели это, они поняли, что у них есть живой результат на руках.

«Это предсказание не совпадало с тем, во что все верили, по крайней мере, в чём они публично признавались, — сказала Вуд. – Никто не верил, что у рангов может быть ограничение».

Если для веры в модель требуется довольно серьёзный шаг, то когда модель сообщает о том, что здравый смысл был неправ, требуется шаг ещё больший. Однако довольно много свидетельств говорит в пользу этого результата. Эта модель основана на предыдущих моделях, созданных другими математиками, изучавшими разные свойства эллиптических кривых. Те модели выдержали испытание временем; некоторые из них предсказаний даже были доказаны.

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

Ещё одна причина верить в модель состояла в том, что величина ранга в 21 не кажется какой-то произвольной границей. За десять лет до этого Грэнвиль создал другую модель, из которой также следовало, что должно существовать лишь ограниченное количество эллиптических кривых с рангом выше 21. Модель Грэнвиля вообще не была похожа на текущую – и то, что обе они выдали ранг 21 как значимый, был очень не похож на простое совпадение с точки зрения многих математиков.

«У нас есть две совершено разные эвристические модели и обе выдали одно и то же число, 21 – это удивило людей», — сказал Парк.

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

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

Между свидетельствами и доказательством

У модели есть большая поддержка, но не все ей верят, и она может оказаться неверной. Самый главный скептик – Ноам Элкис, гарвардский математик, поставивший рекорд ранга для эллиптической кривой. За десятилетия, прошедшие с тех пор, как он стал самым молодым штатным профессором Гарварда, он получил несколько результатов, указывающих на отсутствие границы ранга. «Моё мнение не менялось уже давно – я не считаю, что мы достаточно хорошо разбираемся в этом вопросе, чтобы поддерживать ту или иную гипотезу», — написал мне Элкис по почте.

Элкис считает, что модель может неверно сработать разными способами. Она учитывает случайно выбранные кривые, или кривые в каком-то смысле средние. Однако есть свидетельства, включая и исследования самого Элкиса, о возможности существования семейств эллиптических кривых, в каждое из которых входит бесконечное количество таких кривых, чьё поведение значительно отличается от поведения типичных кривых. «Эвристические модели, основанные на ожидаемом поведении случайных кривых, могут не рассказать всей истории по поводу экстремального поведения», — пишет Элкис.

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

«Скорее всего, они окажутся правы, если кто-то не придумает какой-то хитроумной причины, по которой они ошибаются. Понятия не имею, существует ли такая причина, или нет», — сказал Александр Смит, аспирант из Гарварда, работающий с Элкисом и изучающий ранги эллиптических кривых.

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

«Возможно, поиски эллиптических кривых более высокого ранга служат своего рода вызовом для математиков», — сказал Парк. Или, возможно, математики «должны пересмотреть своё мнение по поводу того, во что мы верили, как в народную гипотезу».

Автор: SLY_G

Источник

* - обязательные к заполнению поля


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js