Уведомления
Авторизуйтесь или зарегистрируйтесь, чтобы оценивать материалы, создавать записи и писать комментарии.
Авторизуясь, вы соглашаетесь с правилами пользования сайтом и даете согласие на обработку персональных данных.
Математики опровергли гипотезу о двухъярусной кровати
Ученые из России, в числе которых два выпускника НИУ ВШЭ, опровергли известную в математике гипотезу, которая, хотя и не имела убедительного доказательства, считалась верной на протяжении 40 лет.
Препринт статьи размещен в электронном архиве arXiv.org. Гипотеза о двухъярусной кровати относится к теории перколяции — разделу математики, изучающему возникновение связанных структур в независимых средах. В 1980-е годы ее предложил голландский физик Питер Кастелейн: он хотел математически описать, как жидкости просачиваются через пористые поверхности, например как вода наполняет губку.
Гипотеза основывается на случайных соединениях вершин в воображаемом графе, похожем на двухъярусную кровать. Она утверждает, что вероятность возникновения связи между двумя вершинами на одном уровне выше, чем вероятность связи между уровнями.
Данное утверждение интуитивно кажется верным, однако до недавнего времени не было найдено убедительного доказательства, которое бы подтвердило или опровергло его. Скептики считали, что утверждение носит слишком общий характер и не может быть верным для всех случаев.
Чаще всего в математике стараются найти доказательство верности утверждения, лишь изредка работа направлена на опровержение. Но команда математиков из России — Игорь Пак, Никита Гладков и Александр Зимин — сумела найти контрпример, который разрушил гипотезу.
«Вообще, с двухъярусной кроватью мы с моим товарищем и коллегой Никитой Гладковым познакомились еще на первом курсе Вышки. Мы были соседями по общежитию, и у нас в комнате была та самая двухъярусная кровать, — шутит Александр Зимин. — В случае с гипотезой о двухъярусной кровати мы понимали, что она верна для большинства случаев. Но нас интересовал вопрос, есть ли такие редкие случаи, для которых она была бы ложной».
Сначала команда пыталась найти контрпример с помощью методов машинного обучения. Исследователи обучили нейросеть находить возможные связи в графах и пытались перебрать все варианты. Однако для графов, у которых было больше девяти вершин, количество возможных вариантов связей стремительно возрастало, и масштаб задачи быстро превысил возможности анализа. Доказательство не было найдено.
Тогда они адаптировали методы гиперграфов, для которых уже существовало опровержение гипотезы двухъярусной кровати, к классическим графам и построили очень сложную структуру, содержащую тысячи вершин и ребер. В получившемся графе вероятность связи между верхним и нижним уровнями оказалась чуть более высокой, чем вероятность связи на нижнем уровне, что и позволило разрушить гипотезу.
«Мы с соавторами, Игорем Паком и Никитой Гладковым, которые сейчас работают в UCLA, отлично дополняли друг друга в этой задаче. Я предпочитаю использовать численные методы. На мой взгляд, чтобы хорошо понять задачу, нужно уметь ее запрограммировать, объяснить компьютеру. А вот Никита считает иначе и предпочитает опираться на более абстрактный, интуитивный уровень», — рассказывает один из авторов статьи, аспирант факультета математики НИУ ВШЭ Александр Зимин.
«Гипотезу долгое время не могли опровергнуть. Или не хотели, ведь она была красивая, элегантная. Однако, на мой взгляд, опровержение не разрушает красоту, а, наоборот, доказывает, что мир гораздо интереснее и сложнее, чем мы думали», — считает Александр Зимин.
Найденный контрпример ставит перед наукой фундаментальные вопросы о том, можно ли полагаться на интуицию, насколько важен критический подход в математике, а также в целом об интерпретации доказательств, основанных на вероятностных данных.
Telegram 
Дзен 
VK К любопытным выводам привели наблюдения японских ученых за пестролицыми буревестниками. Оказалось, эти птицы испражняются в основном на лету, намеренно избегая такой возможности на поверхности воды. Очевидно, предположили исследователи, это облегчает движения в воздухе взрослым особям с добычей во рту.
Люди, которые были на грани смерти, затем иногда рассказывают, как мчались навстречу необычайно яркому свету или видели всю свою жизнь, проносящуюся перед глазами. Эти переживания на первый взгляд напоминают галлюцинации под воздействием некоторых психоделиков. Но есть и существенные различия, обнаружили исследователи из Великобритании.
Физики из МФТИ и Национального исследовательского центра «Курчатовский институт» разработали новую теоретическую модель, которая разрешает многолетние противоречия в описании одной из самых опасных неустойчивостей плазмы в установках термоядерного синтеза. Предложенный подход позволяет точнее предсказывать поведение плазменного шнура и открывает путь к созданию более надежных систем управления для будущих термоядерных реакторов, включая международный проект ITER.
Астрономы подсчитали, что с поверхности летящего по Солнечной системе межзвездного объекта 3I/ATLAS каждую секунду испаряется около 40 килограммов водяного льда. Такую сильную кометную активность он проявил, будучи в три с половиной раза дальше Земли от Солнца. По мнению ученых, это довольно необычно.
За последнее десятилетие ученые создали несколько сложных систем «мозг — компьютер», которые позволяли преобразовывать мозговую активность людей, лишившихся способности говорить из-за различных заболеваний, в речь. Однако до сих пор удавалось расшифровать лишь небольшое количество слов. Теперь в США создали алгоритм, благодаря которому удалось распознать до 54 процентов «речи».
Изображение блазара PKS 1424+240, полученное с помощью радиоинтерферометра VLBA, напомнило астрономам легендарное «Око Саурона» из «Властелина колец» — джет, пронизывающий кольцеобразное магнитное поле объекта, устремлен к нашей планете, а сам блазар может оказаться одним из наиболее ярких источников нейтрино в космосе.
Прибывшая из межзвездного пространства предполагаемая комета 3I/ATLAS движется по траектории, максимально удобной для гравитационных маневров управляемого корабля, при этом возможность ее отслеживания с Земли практически минимальна. По мнению некоторых ученых, такое «поведение» объекта наводит на определенные мысли.
Примерно 12 800 лет назад в Северном полушарии началось резкое изменение климата, которое сопровождалось вымиранием мегафауны и угасанием культуры Кловис. Такое могло произойти, например, из-за прорыва пресных вод в Атлантику или мощного вулканического извержения. Несколько лет назад ученые обнаружили места на суше с повышенным содержанием элементов платиновой группы, прослоями угля, микрочастицами расплава. По их мнению, это может быть признаком пребывания Земли в потоке обломков кометы или астероида. В новой работе впервые представлены доказательства кометного события в позднем дриасе из морских осадочных толщ.
Команда исследователей из Сколтеха, МФТИ, Института искусственного интеллекта AIRI и других научных центров разработала метод, позволяющий не просто отличать тексты, написанные человеком, от сгенерированных нейросетью, но и понимать, по каким именно признакам классификатор принимает решение о том, является ли текст генерацией или нет. Анализируя внутренние состояния глубоких слоев языковой модели, ученые смогли выделить и интерпретировать численные признаки, отвечающие за стилистику, сложность и «степень уверенности» текста.
Вы попытались написать запрещенную фразу или вас забанили за частые нарушения.
Понятно
Из-за нарушений правил сайта на ваш аккаунт были наложены ограничения. Если это ошибка, напишите нам.
Понятно
Наши фильтры обнаружили в ваших действиях признаки накрутки. Отдохните немного и вернитесь к нам позже.
Понятно
Мы скоро изучим заявку и свяжемся с Вами по указанной почте в случае положительного исхода. Спасибо за интерес к проекту.
Понятно