12:17
Семь или Шесть математических загадок
Всем известно, что  Григорий Перельман, решил одну семи величайших математических загадок тысячелетия (гипотезу Пуанкаре) и занявшего в связи с этим 9 место в списке живых гениев. Задача или гипотеза Пуанкаре относится к числу семи важнейших математических проблем тысячелетия, за решение каждой из которых Математический институт Клэя (Clay Mathematics Institute) назначил премию в один миллион долларов.
 
 
 
Список тысячелетия.
 
8 августа 1900 года на международном математическом конгрессе в Париже математик Дэвид Гилберт (David Hilbert) изложил список проблем, которые, как он полагал, предстояло решить в ХХ веке. В списке было 23 пункта. Двадцать один из них на данный момент решены. Последней решенной проблемой из списка Гилберта была знаменитая теорема Ферми, с которой ученые не могли справиться в течение 358 лет. В 1994 году свое решение предложил британец Эндрю Уайлз. Оно и оказалось верным.
 
По примеру Гилберта в конце прошлого века многие математики пытались сформулировать подобные стратегические задачи на ХХI век. Один из таких списков приобрел широкую известность благодаря бостонскому миллиардеру Лэндону Клэю (Landon T. Clay). В 1998 году на его средства в Кембридже (Массачусетс, США) был основан Математический институт Клэя (Clay Mathematics Institute) и установлены премии за решение ряда важнейших проблем современной математики. 24 мая 2000 года эксперты института выбрали семь проблем - по числу миллионов долларов, выделенных на премии. Список получил название Millennium Prize Problems.
 
I. Уравнение Навье-Стокса о турбулентных потоках, 1822 [гидроаэродинамика].
 
Если плыть в лодке по озеру, то возникнут волны, а если лететь в самолете, в воздухе возникнут турбулентные потоки. Предполагается, что эти и другие явления описываются уравнениями, известными как уравнения Навье - Стокса. Уравнения Навье — Стокса являются одними из важнейших в гидродинамике и применяются в математическом моделировании многих природных явлений и технических задач. Названы по имени французского физика Луи Навье и британского математика Джорджа Стокса.
 
До сих пор решения этих уравнений найдены лишь в некоторых частных случаях. В настоящее время существует несколько частных видов уравнений, которые решены в аналитическом виде. В остальных случаях используется численное моделирование.
Одним из применений системы уравнений Навье-Стокса является описание течений в мантии Земли («проблема Динамо»).
 
Вариации уравнения Навье-Стокса используются для описания движения воздушных масс атмосферы, в частности, при формировании прогноза погоды. Решение этих уравнений позволит существенно изменить способы проведения гидро- и аэродинамических расчетов. 
 
Наверное, точное аналитическое решение уравнения интересно с чисто математической точки зрения, но приближенные методы решения давно существуют. Как обычно в таких случаях, нелинейный дифузор разбивают на несколько линейных, другое дело что решения системы линейных дифуров оказалось необычайно чувствительным к начальным условиям. Это стало очевидно когда с введением компьютеров стало возможно обрабатывать большие массивы данных. 
 
Так в 1963 году американский метеоролог из Массачусетского технологического института Эдвард Лоренц задался вопросом: почему стремительное совершенствование компьютеров не привело к воплощению в жизнь мечты метеорологов – достоверному среднесрочному (на 2-3 недели вперед) прогнозу погоды? Эдвард Лоренц предложил простейшую модель, состоящую из трех обыкновенных дифференциальных уравнений, описывающую конвекцию воздуха, просчитал ее на компьютере и получил поразительный результат. 
 
Этот результат – динамический хаос – есть сложное непериодическое движение, имеющее конечный горизонт прогноза, в детерминированных системах (то есть в таких, где будущее однозначно определяется прошлым). Так был открыт странный аттрактор. Пpичина непpедсказуемости поведения этой и дpугих подобных систем заключается в не в том, что не веpна математическая теоpема о существовании и единственности pешения пpи заданных начальных условиях, а, именно, в необычайной чувствительности pешения к этим начальным условиям. Близкие начальные условия со вpеменем пpиводят к совеpшенно pазличному конечному состоянию системы. Пpичем, часто pазличие наpастает со вpеменем экспоненциально, то есть чpезвычайно быстpо.
 
...Казахстанский математик Мухтарбай Отелбаев нашел частичное решение одной из так называемых задач тысячелетия, связанную с уравнениями Навье-Стокса. Статья ученого появилась в казахском «Математическом журнале».
 
Задача, которую решал Отелбаев, состоит в следующем: необходимо предъявить условия, при которых у системы уравнений Навье-Стокса есть достаточно хорошие (в математическом смысле) решения, причем для каждого начального набора параметров такое решение единственно. В некоторых частных случаях для разного рода упрощенных систем Навье-Стокса такие условия были найдены, но в работе над общим уравнением они не помогали. Это, среди прочего, помогло задаче завоевать звание одной из сложнейших в математике.
 
В работе Отелбаева говорится, что ему удалось найти условия на существование так называемых «сильных» решений. Главное достоинство работы в том, что она, с одной стороны описывает очень хорошие (с математической точки зрения) решения, с другой - утверждает, что такие решения имеются в наличии в должном для дальнейшей работы количестве.
 
Прежде чем решение Отелбаева будет признано верным, ему предстоит пройти проверку со стороны научного сообщества. Кроме этого не ясно, насколько работу Отелбаева можно считать решением задачи, связанной с уравнением Навье-Стокса.
 
Мухтарбай Отелбаев является доктором физико-математических наук, директором Евразийского математического института Гумилева и заместителем директора филиала МГУ имени Ломоносова в Казахстане. Задачами, связанными с уравнениями Навье-Стокса Отелбаев интересуется достаточно давно... 
 
Математик Шокир Довлатов из Каршинского государственного университета (КарГУ, Узбекистан) сообщил о решении шестой проблемы тысячелетия. Свое видение задачи автор изложил в препринте, опубликованном на сайте arXiv.org.

«В работе дано решение шестой проблемы тысячелетия: доказано существование единственного гладкого решения задачи Навье-Стокса с периодическими краевыми условиями по пространственным переменным», — сообщает Довлатов в аннотации к препринту... 

 

II. Гипотеза Римана, 1859 [теория чисел].

 
В 1900 Давид Гильберт включил гипотезу Римана в список 23 нерешённых проблем как часть восьмой проблемы совместно с гипотезой Гольдбаха.
 
Считается, что распределение простых чисел среди натуральных не подчиняется никакой закономерности. Однако немецкий математик Риман высказал предположение, касающееся свойств последовательности простых чисел. Если гипотеза Римана будет доказана, то это приведет к революционному изменению наших знаний в области шифрования и к невиданному прорыву в области безопасности Интернета.
 
Большинство математиков верят, что гипотеза верна. На 2004 год проверены более 10^{13} первых решений. Знаменит ответ Гильберта на вопрос о том, каковы будут его действия, если он по какой-то причине проспит пятьсот лет и вдруг проснется. Математик ответил, что самым первым делом он спросит была ли доказана гипотеза Римана.
 
Все знают что такое простые числа - это числа делящиеся на 1 и на самих себя. Т.е. 1, 2, 3, 5, 7, 11, 13, 17, 19 и т.д. Но что интересно, обозначить какую-либо закономерность в их размещении пока что оказывалось невозможным.
 
Так, считается, что в окрестности целого числа х среднее расстояние между последовательными простыми числами пропорционально логарифму х. Тем не менее, уже давно известны так называемые парные простые числа (простые числа-близнецы, разность между которыми равна 2, например 11 и 13, 29 и 31, 59 и 61. Иногда они образуют целые скопления, например 101, 103, 107, 109 и 113. Если такие скопления будут найдены и в области очень больших простых чисел, то стойкость криптографических ключей, используемых в настоящее время, может в одночасье оказаться под очень большим вопросом.
 
Риман предложил свой вариант, удобный для выявления больших простых чисел. Согласно ему, характер распределения простых чисел может существенно отличаться от предполагаемого в настоящее время. Риман обнаружил, что число P(x) простых чисел, не превосходящих x, выражается через распределение нетривиальных нулей дзета-функции Римана Z(s). Риман высказал гипотезу, не доказанную и не опровергнутую до сих пор, что все нетривиальные нули дзета-функции лежат на прямой линии R(z) = (1/2). (Извините, но я не знаю как изменить кодировку чтоб показывались греческие буквы).
 
В общем, доказав гипотезу Римана (если это вообще возможно) и подобрав соответствующий алгоритм, можно будет поломать многие пароли и секретные коды.
 
 
III.Гипотеза Пуанкаре, 1904 [топология или геометрия многомерных пространств]
 
Проблема Пуанкаре относится к области так называемой топологии многообразий - особым образом устроенных пространств, имеющих разную размерность. Двухмерные многообразия можно наглядно представить себе, например, на примере поверхности трехмерных тел - сферы (поверхности шара) или тора (поверхности бублика).
 
Легко вообразить, что произойдет с воздушным шариком, если его деформировать (изгибать, скручивать, тянуть, сжимать, пережимать, сдувать или надувать). Ясно, что при всех вышеперечисленных деформациях шарик будет изменять свою форму в широких пределах. Однако мы никогда не сможем превратить шарик в бублик (или наоборот) без нарушения непрерывности его поверхности, то есть не разрывая. В этом случае топологи говорят, что сфера (шарик) негомеоморфна тору (бублику). Это означает, что данные поверхности невозможно отобразить одну на другую. 
 
Говоря простым языком, сфера и тор различны по своим топологическим свойствам. А поверхность воздушного шарика при всевозможных его деформациях гомеоморфна сфере, равно как поверхность спасательного круга - тору. Иными словами, любая замкнутая двумерная поверхность, не имеющая сквозных отверстий, обладает теми же топологическими свойствами, что и двухмерная сфера.
 
Проблема Пуанкаре утверждает то же самое для трехмерных многообразий (для двухмерных многообразий, таких как сфера, это положение было доказано еще в XIX веке). Как заметил французский математик, одно из важнейших свойств двухмерной сферы состоит в том, что любая замкнутая петля (например, лассо), лежащая на ней, может быть стянута в одну точку, не покидая при этом поверхности. Для тора это справедливо не всегда: петля, проходящая через его отверстие, стянется в точку либо при разломе тора, либо при разрыве самой петли. В 1904 году Пуанкаре высказал предположение, что если петля может стягиваться в точку на замкнутой трехмерной поверхности, то такая поверхность гомеоморфна трехмерной сфере. Доказательство этой гипотезы оказалось чрезвычайно сложной задачей.
 
Сразу уточним: упомянутая нами формулировка проблемы Пуанкаре говорит вовсе не о трехмерном шаре, который мы можем представить себе без особого труда, а о трехмерной сфере, то есть о поверхности четырехмерного шара, который представить себе уже гораздо труднее. Но в конце 1950-х годов неожиданно выяснилось, что с многообразиями высоких размерностей работать гораздо легче, чем с трех- и четырехмерными. Очевидно, отсутствие наглядности - далеко не главная трудность, с которой сталкиваются математики в своих исследованиях.
 
Задача, подобная проблеме Пуанкаре, для размерностей 5 и выше была решена в 1960 году Стивеном Смэйлом (Stephen Smale), Джоном Стэллингсом (John Stallings) и Эндрю Уоллесом (Andrew Wallace). Подходы, использованные этими учеными, оказались, однако, неприменимы к четырехмерным многообразиям. Для них проблема Пуанкаре была доказана лишь в 1981 году Майклом Фридманом (Michael Freedman). Трехмерный же случай оказался самым сложным; его решение и предлагает Григорий Перельман.
 
Специалисты считают, что решение проблемы Пуанкаре позволит сделать серьезный шаг в математическом описании физических процессов в сложных трехмерных объектах и даст новый импульс развитию компьютерной топологии. Метод, который предлагает Григорий Перельман, приведет к открытию нового направления в геометрии и топологии.
 
Центральное понятие, предопределяющее структуру подавляющего большинства исследований в алгебраической геометрии, - это понятие инварианта. Идею инвариантов понять легко. Предположим, что есть два объекта (в данном случае - два множества решений тех или иных уравнений), и нужно выяснить, равны ли они. Сделать это очень сложно, если вообще возможно, - как сравнивать? Но можно установить некоторые свойства объектов, и если эти свойства окажутся не идентичными, то и исходные объекты, очевидно, не равны. Например, проверить, совпадают ли два текста, можно, сравнив их объем. Если размер текстов отличается - в них можно и не заглядывать. В алгебраической геометрии одними из простейших инвариантов являются размерность или связность искомого множества.
 
Обратное, разумеется, неверно: из равенства двух инвариантов нельзя ничего заключить о равенстве исходных объектов. Но и такое частичное знание - уже хорошо. А полное счастье настанет, если все же удастся доказать обратное утверждение (иными словами, если избранный набор инвариантов будет однозначно задавать исходный объект). 
 
IV. Гипотеза Ходжа (сформулирована в 1941 г.)
 
Гипотеза Ходжа - как раз одно из таких заманчивых утверждений. Если она окажется верной, изучение большого и сложного класса алгебраических многообразий (так называют множества, составленные из кусочков, каждый из которых является множеством решений каких-либо полиномиальных уравнений) фактически сведется к изучению гораздо более простых объектов. Т.е. основная идея заключается в том, чтобы использовать вместо самого объекта простые "кирпичики", которые склеиваются между собой и образуют его подобие. Гипотеза Ходжа связана, с некоторыми предположениями, относительно свойств таких "кирпичиков" и объектов.
 
Почитать      Всё- в каждой Части
 
Теперь о текущем статусе гипотезы. В гипотезу Римана верят все математики. В единственность решения уравнений Навье-Стокса - тоже (по крайней мере, при достаточных для практических применений условиях). Гипотеза Ходжа выбивается из этого ряда. Долгое время верили, что она верна - но доказать это никак не удавалось. В последние годы многие математики предположили, что доказательство не удается найти просто потому, что гипотеза неверна - но контрпримеров пока построить тоже не удалось. Никаких численных экспериментов в этой задаче провести невозможно. Утверждение гипотезы доказано для ряда частных случаев, но на то они и частные. Если же контрпример будет построен, вряд ли он будет иметь очень простой вид. В общем, гипотеза Ходжа пока что открыта со всех сторон.
 
V. Теория Янга-Миллса [связь геометрии с квантовой физикой], 1954.
 
Была предложена в 1954 году Чж. Янгом (Yang) и Р. Миллсом (Mills), однако долгое время рассматривалась, как математические изыски, не имеющие отношения к реальности. Несмотря на это, именно на основе теорий Янга — Миллса в 1970-х годах были созданы две краеугольные теории Стандартной Модели в физике элементарных частиц: квантовая хромодинамика (теория сильных взаимодействий) на основе группы SU(3) и теория электрослабых взаимодействий на основе группы SU(2).
 
Уравнения квантовой физики описывают мир элементарных частиц. Физики Янг и Миллс, обнаружив связь между геометрией и физикой элементарных частиц, написали свои уравнения. Тем самым они нашли путь к объединению теорий электромагнитного, слабого и сильного взаимодействий. Из уравнений Янга-Миллса следовало существование частиц, которые действительно наблюдались в лабораториях, поэтому теория Янга - Миллса принята большинством физиков несмотря на то, что в рамках этой теории до сих пор не удается предсказывать массы элементарных частиц.
 
Нелинейность уравнений Янга — Миллса делает их очень сложными для решения. В режиме малой константы связи эти уравнения удается решить приближенно в виде ряда теории возмущений, однако как решить эти уравнения в режиме сильной связи, пока неизвестно. Неизвестно также, как именно эта нелинейность приводит к наблюдаемому в нашем мире конфайнменту в сильных взаимодействиях.
 
Вот это, наверное, единственный из обозначенных семи вопросов, имеющих по-настоящему фундаментальное значение. Решение его существенно продвинет создание «единой теории поля», т.е. выявлению детерминированной связи между четырьмя известными типами взаимодействий:
 
1. Гравитационным
2. Электромагнитным
3. Сильным
4. Слабым
 
В 1954 году Янг Чжэньнин и Роберт Миллс предложили теорию, в соответствии с которой были объединены электромагнитное и слабое взаимодействие (Глэшоу, Вайнберг, Салам - Ноб. Премия 1979). Более того, она до сих пор служит основой квантовой теории поля. Но здесь уже начал давать сбой математический аппарат. Дело в том, что «квантовые частицы» ведут себя совсем не так как «большие тела» в ньютоновской физике. И хотя есть общие моменты, например, заряженная частица создает электромагнитное поле, а частица с ненулевой массой - гравитационное; или, например, частица эквивалентна совокупности полей, которые она создает, ведь любое взаимодействие с другими частицами производится посредством этих полей; с точки зрения физики, рассматривать поля, порожденные частицей, - то же, что рассматривать саму частицу.
 
При квантовом подходе одну и ту же частицу можно описывать двумя разными способами: как частицу с некоторой массой и как волну с некоторой длиной. Единая частица-волна описывается не своим положением в пространстве, а волновой функцией (обычно обозначаемой как Y), и ее местонахождение имеет вероятностную природу - вероятность обнаружить частицу в данной точке x в данное время t равна Y = P(x,t)^2. 
 
Казалось бы ничего необычного, но на уровне микрочастиц возникает следующий «неприятный» эффект - если на частицу действуют несколько полей сразу, их совокупный эффект уже нельзя разложить на действие каждого из них поодиночке, классический принцип суперпозиции не работает. Так получается потому, что в этой теории друг к другу притягиваются не только частицы материи, но и сами силовые линии поля. Из-за этого уравнения становятся нелинейными и весь арсенал математических приёмов для решения линейных уравнений к ним применить нельзя. Поиск решений и даже доказательство их существования становятся несравнимо более сложной задачей.
 
Вот почему решить ее «в лоб», наверное, невозможно, во всяком случае, теоретики выбрали другой путь. Так, опираясь на выводы Янга и Миллза Мюррей Гелл-Манн построил теорию сильного взаимодействия (Ноб. премия). Главная «фишка» теории – введение частиц с дробным электрическим зарядом – кварков.
 
Но чтобы математически «привязать» к друг другу электромагнитное, сильное и слабое взаимодействие, нужно чтобы выполнились три условия:
 
1. Наличие «щели» в спектре масс, по английский - mass gap
2. Кварковый конфайнмент: кварки заперты внутри адронов и принципиально не могут быть получены в свободном виде
3. Нарушения симметрии
 
Эксперименты показали, что эти условия в реальности выполняются, но строгого математического доказательства – нет. Т.е. по сути, нужно теорию Янга - Миллса адаптировать к 4-мерному пространству обладающими тремя означенными свойствами.  И хотя в существовании кварков ни один приличный физик не сомневается, эксперементально их обнаружить не удалось. 
 
Предполагается что на на масштабе 10-30 между электромагнитным, сильным и слабым взаимодействием утрачивается какое-либо различие (т.н. "Великое Объединение"), другое дело что нужная для таких экспериментов энергия (более 1016ГэВ) не может быть получена на ускорителях. Но вы не волнуйтесь - проверка Великого Объединения - дело ближайших лет, если, конечно, на человечество не свалятся какие-нибудь избыточные проблемы. Физики уже разработали проверочный эксперимент связанный с нестабильностью протона (следствие теории Янга - Миллса). 
 
Ну и будем помнить, что это еще не всё. Остается последний бастион – гравитация. О ней мы реально ничего не знаем, кроме того, что «все притягивается» и «искривляется пространство-время». Понятно, что все силы в мире сводятся к одной суперсиле или, как говорят, "Суперобъединению". Но какой принцип суперобъединения? Эйнштейн считал что этот принцип геометрический, как и принцип ОТО. Вполне может быть. Т.е. физика на самом начальном уровне - всего лишь геометрия.
 
Почитать      Антигравитация
 
VI. Гипотеза Берча и Свиннертона-Дайера, 1960 [алгебра и теория чисел?].
 
Помните Большую Теорему Ферма, вроде бы доказанную в 1994 году? 350 лет на это потребовалось! Так вот теперь проблема получила продолжение - нужно описать все решения в целых числах x, y, z  алгебраических уравнений, то есть уравнений от нескольких переменных с целыми коэффициентами. Примером алгебраического уравнения является уравнение x2 + y2 = z2. Евклид дал полное описание решений этого уравнения, но для более сложных уравнений получение решения становится чрезвычайно трудным (например, доказательство отсутствия целых решений уравнения xn + yn = zn ).
 
Берч и Свиннертон-Дайер предположили, что число решений определяется значением связанной с уравнением дзета-функци ζ(s) в точке 1: если значение дзета-функции ζ(s) в точке 1 равно 0, то имеется бесконечное число решений, и наоборот, если не равно 0, то имеется только конечное число таких решений. Здесь задача, кстати, перекликается с гипотезой Римана, только там исследовалось распределение нетривиальных нулей дзета-функции ζ(s).
 
VII. Гипотеза Кука, 1971 (Равенство классов P и NP)[математическая логика и кибернетика]
 
Допустим, находясь в большой компании, Вы хотите убедиться, что там же находится Ваш знакомый. Если Вам скажут, что он сидит в углу, то Вам достаточно доли секунды, чтобы, бросив взгляд, убедиться в истинности информации. В отсутствии этой информации Вы будете вынуждены обойти всю комнату, рассматривая гостей.
 
Точно так же, если кто-то сообщит Вам, что число 13717421 можно представить, как произведение двух меньших чисел, непросто быстро убедиться в истинности информации, но если Вам сообщат, что исходное число можно разложить на множители 3607 и 3803, то это утверждение легко проверяется с помощью калькулятора.
 
Насколько быстро можно проверить конкретный ответ – вот нерешенная проблемой логики и компьютерных вычислений! Она была сформулирована Стивеном Куком следующим образом: "может ли проверка правильности решения задачи быть более длительной, чем само получение решения, независимо от алгоритма проверки?". Решение этой проблемы могло бы революционным образом изменить основы криптографии, используемой при передаче и хранении данных и продвинуть разработку алгоритма т.н. «квантовых компьютеров» что опять-таки поможет в ускорении алгоритма решения задач связанных с перебором кодов (например, тот же взлом паролей).
 
 
Пусть задана функция от 10000 переменных: f (х1...х10000), для простоты примем что переменные могут принимать значения 0 или 1, результат функции тоже 0 или 1. Существует алгоритм, вычисляющий эту функцию для любого заданного набора аргументов за достаточно малое время (допустим, за t=0,1 сек).
 
Требуется узнать, существует ли набор аргументов, на котором значение функции равно 1. При этом сам набор аргументов, на котором функция равна 1, нас не интересует. Нам просто надо знать есть он или нет. Что мы можем сделать? Самое простое – взять и тупо перебрать всю последовательность от 1 до 10000 во всех комбинациях вычисляя значение функции на разных наборах. В самом неблагоприятном случае мы на это потратим 2tN или 21000 секунд что во много раз больше возраста Вселенной.
 
Но если мы знаем природу функции f, то можно сократить перебор, отбросив наборы аргументов, на которых функция заведомо равна 0. Для многих реальных задач это позволят решить их за приемлемое время. В то же время есть задачи (так называемые NP-полные задачи), для которых даже после сокращения перебора, общее время решения остается неприемлемым.
 
Теперь, что касается физической стороны. Известно, что квант может находиться в состоянии 0 или 1, с какой-то вероятностью. И что интересно, можно узнать, в каком из состояний она находится:
 
A: 0 с вероятностью 1
В: 1 с вероятностью 1
С: 0 с вероятностью р, 1 с вероятностью 1-р
 
Суть вычислений на квантовом компьютере состоит в том, чтобы взять 1000 квантов в состоянии С и подать их на вход функции f. Если на выходе будет получен квант в состоянии А, это значит, что на всех возможных наборах f=0. Ну а если на выходе будет получен квант в состоянии B или С, это значит, что существует набор, на котором f=1.
 
Очевидно, что "квантовый компьютер" значительно ускорит задачи связанные с перебором данных, но будет малоэффективен в плане ускорения записи или считывания данных.
 
http://www.24avtomama.com/t1755-topic
http://www.budyon.org/kak-zarabotat-7-millionov-dollarov/
http://lenta.ru/news/2014/01/10/solve/
https://lenta.ru/news/2016/04/10/uniquesolution/
 
Просмотров: 5081 | Добавил: Валерий | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]