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