Уведомления
Авторизуйтесь или зарегистрируйтесь, чтобы оценивать материалы, создавать записи и писать комментарии.
Авторизуясь, вы соглашаетесь с правилами пользования сайтом и даете согласие на обработку персональных данных.
Математики опровергли гипотезу о двухъярусной кровати
Ученые из России, в числе которых два выпускника НИУ ВШЭ, опровергли известную в математике гипотезу, которая, хотя и не имела убедительного доказательства, считалась верной на протяжении 40 лет.
Препринт статьи размещен в электронном архиве arXiv.org. Гипотеза о двухъярусной кровати относится к теории перколяции — разделу математики, изучающему возникновение связанных структур в независимых средах. В 1980-е годы ее предложил голландский физик Питер Кастелейн: он хотел математически описать, как жидкости просачиваются через пористые поверхности, например как вода наполняет губку.
Гипотеза основывается на случайных соединениях вершин в воображаемом графе, похожем на двухъярусную кровать. Она утверждает, что вероятность возникновения связи между двумя вершинами на одном уровне выше, чем вероятность связи между уровнями.
Данное утверждение интуитивно кажется верным, однако до недавнего времени не было найдено убедительного доказательства, которое бы подтвердило или опровергло его. Скептики считали, что утверждение носит слишком общий характер и не может быть верным для всех случаев.
Чаще всего в математике стараются найти доказательство верности утверждения, лишь изредка работа направлена на опровержение. Но команда математиков из России — Игорь Пак, Никита Гладков и Александр Зимин — сумела найти контрпример, который разрушил гипотезу.
«Вообще, с двухъярусной кроватью мы с моим товарищем и коллегой Никитой Гладковым познакомились еще на первом курсе Вышки. Мы были соседями по общежитию, и у нас в комнате была та самая двухъярусная кровать, — шутит Александр Зимин. — В случае с гипотезой о двухъярусной кровати мы понимали, что она верна для большинства случаев. Но нас интересовал вопрос, есть ли такие редкие случаи, для которых она была бы ложной».
Сначала команда пыталась найти контрпример с помощью методов машинного обучения. Исследователи обучили нейросеть находить возможные связи в графах и пытались перебрать все варианты. Однако для графов, у которых было больше девяти вершин, количество возможных вариантов связей стремительно возрастало, и масштаб задачи быстро превысил возможности анализа. Доказательство не было найдено.
Тогда они адаптировали методы гиперграфов, для которых уже существовало опровержение гипотезы двухъярусной кровати, к классическим графам и построили очень сложную структуру, содержащую тысячи вершин и ребер. В получившемся графе вероятность связи между верхним и нижним уровнями оказалась чуть более высокой, чем вероятность связи на нижнем уровне, что и позволило разрушить гипотезу.
«Мы с соавторами, Игорем Паком и Никитой Гладковым, которые сейчас работают в UCLA, отлично дополняли друг друга в этой задаче. Я предпочитаю использовать численные методы. На мой взгляд, чтобы хорошо понять задачу, нужно уметь ее запрограммировать, объяснить компьютеру. А вот Никита считает иначе и предпочитает опираться на более абстрактный, интуитивный уровень», — рассказывает один из авторов статьи, аспирант факультета математики НИУ ВШЭ Александр Зимин.
«Гипотезу долгое время не могли опровергнуть. Или не хотели, ведь она была красивая, элегантная. Однако, на мой взгляд, опровержение не разрушает красоту, а, наоборот, доказывает, что мир гораздо интереснее и сложнее, чем мы думали», — считает Александр Зимин.
Найденный контрпример ставит перед наукой фундаментальные вопросы о том, можно ли полагаться на интуицию, насколько важен критический подход в математике, а также в целом об интерпретации доказательств, основанных на вероятностных данных.
Многие любят зиму только потому, что в это время нет насекомых. Для этой «нелюбви» медики даже придумали название — инсектофобия. Если верить статистике, ею страдают до шести процентов жителей США. Остальных такая «мелочь» чаще всего вообще не интересует. А зря! Насекомые — это целый мир, весьма интеллектуальный и загадочный. Об их эволюции, самых крупных представителях в истории Земли и, конечно, когнитивных способностях этих крошечных существ Naked Science поговорил с кандидатом биологических наук, экскурсоводом Зоологического музея ЗИН РАН и популяризатором науки Ильей Удаловым.
Помпеи стали римской колонией лишь за 160 лет до извержения Везувия. Каменные плиты, пережившие катастрофу, хранят следы повозок, дождевых потоков, отпечатки ног. Каждая колея — словно страница дневника, рассказывающая о том, как жили Помпеи. Американский археолог изучил улицы города и узнал, как местные жители изменили свою жизнь после полной установки римской власти.
Солнечная радиация в межпланетном пространстве — одна из серьезных проблем для пилотируемой космонавтики. Полет на Марс длится долгие месяцы, а прогнозировать крупное солнечное событие пока не представляется возможным. Тем не менее ученые нашли способ оперативного оповещения экипажа о начале такого события и дать космонавтам время укрыться от пиковой дозы. Как выяснилось, в этом может помочь уже успешно работающий на Марсе прибор.
Пролетевший через Солнечную систему в 2017 году астероид Оумуамуа произвел неизгладимое впечатление в том числе своей беспрецедентно вытянутой формой. Астрономы попытались рассчитать, как он мог стать таким и почему в Солнечной системе мы не наблюдаем ничего подобного.
Астрономы рассчитали, сколько небесных тел могло прилететь в Солнечную систему от соседних звезд, расположенных в четырех световых годах от нас. Выяснилось, что такие объекты не только должны навещать нас, но и, вероятно, присоединяются ко множеству наших «местных» комет и астероидов. По расчетам, вокруг Солнца может обращаться около миллиона довольно крупных объектов из системы Альфы Центавра.
Ученые математически объяснили возможность обратного течения времени на микроуровне. Новое исследование показывает, что противоположные стрелы времени теоретически могут возникать в определенных квантовых системах.
В 2022-2025 годах страны Западной Европы попытались отказаться от природного газа из России. Автор новой работы показал, что получившиеся при этом результаты были во многом противоположны целям.
Пролетевший через Солнечную систему в 2017 году астероид Оумуамуа произвел неизгладимое впечатление в том числе своей беспрецедентно вытянутой формой. Астрономы попытались рассчитать, как он мог стать таким и почему в Солнечной системе мы не наблюдаем ничего подобного.
Астрономы обнаружили, что почти треть всех наблюдаемых галактик во Вселенной объединены в пять самых широкомасштабных структур — галактические сверхскопления. На составленной учеными трехмерной карте одно особенно выделяется своими рекордными размерами: простирается на миллиард с лишним световых лет.
Вы попытались написать запрещенную фразу или вас забанили за частые нарушения.
ПонятноИз-за нарушений правил сайта на ваш аккаунт были наложены ограничения. Если это ошибка, напишите нам.
ПонятноНаши фильтры обнаружили в ваших действиях признаки накрутки. Отдохните немного и вернитесь к нам позже.
ПонятноМы скоро изучим заявку и свяжемся с Вами по указанной почте в случае положительного исхода. Спасибо за интерес к проекту.
ПонятноМы скоро прочитаем его и свяжемся с Вами по указанной почте. Спасибо за интерес к проекту.
Понятно
Комментарии