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