Слишком хорошо, чтобы пропустить: Терри Тао почти доказал гипотезу Коллатца


Есть некоторые новости прошлого года, которые заслуживают второго шанса. Вот одна из них — хотя она не так известна, как давно известная гипотеза P=NP, проблема Коллатца увлекала людей на протяжении последних восьми десятилетий и дала почти столько же ошибочных доказательств. Теперь математик Теренс Тао, похоже, близок к доказательству.

Если вы не знаете, что такое гипотеза Коллатца, то вы не пропустили ничего действительно важного — за исключением, возможно, отличного мультфильма xkcd, воспроизведенного ниже:

Терри Тао почти доказал гипотезу Коллатца

Карикатура точная, но давайте проясним догадку, предложенную в 1937 году немецким математиком Лотаром Коллатцем:

  • Выберите число, целое положительное число.
  • Если четное — разделите на 2
  • Если нечетное — умножьте на 3 и прибавьте единицу
  • Повторите два вышеуказанных шага с новым значением

Если вы попробуете это сделать, то обнаружите, что в конечном итоге вы достигнете результата 1. Например, 10, 5,16, 8, 4, 2, 1. Сначала вы думаете, что это, должно быть, случайность, и поэтому пробуете еще несколько тестов. Затем вы становитесь одержимым и пишете программу — и в итоге всегда получаете 1.

До сих пор это было проверено для значений вплоть до 5,76×10^18.

По предположению Коллатца, это действительно всегда так, но можете ли вы это доказать?

Если вы думаете, что это должно быть легко, то стоит знать, что Пол Эрдёс провозгласил:

Математика может быть не готова к таким проблемам

Теренс Тао из Калифорнийского университета близок к доказательству, как никогда раньше. Почему это не доказательство? Потому что это вероятностный аргумент:

Почти все орбиты карты Коллатца достигают почти ограниченных значений.

Почему это важно? Причина в том, что если вы можете показать, что минимум последовательности Коллатца для N всегда меньше N при всех N>1, то вы доказали гипотезу Коллатца. Причина проста. Если вы получите значение m, которое меньше N, то остальная часть последовательности для N будет такой же, как если бы вы начали с m, и таким образом мы получим, что минимум последовательности меньше m. Вы можете повторить это и вернуться назад, чтобы доказать, что минимум должен быть равен 1.

Тао не совсем доказал это, но он доказал (переписано, чтобы быть ближе к английскому):

Теорема 2: Пусть f — любая функция, определенная на целых числах, исключая нуль, и f(N) уходит в бесконечность с N, тогда минимум последовательности Коллатца для N меньше, чем f(N) для почти всех N.

Если принять f за тождество, то получается, что минимальное значение Коллатца для N меньше N.

Значит, проблема решена?

Не совсем. Ласковое слово в теореме — «почти для всех». Это сигнал о том, что теорема носит вероятностный характер. Это означает, что множество N, для которого это верно, является плотным (в смысле логарифмической плотности). В нетехническом смысле это означает, что мы доказали, что теорема верна для всех случаев, кроме незначительного числа.

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

Так что же из этого следует?

Как пишет Тао в ответе на комментарий к его статье в блоге:

…но это одна из тех ситуаций, когда между «почти всеми» результатами и «всеми» результатами существует огромный разрыв в сложности

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


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