Уведомления
Авторизуйтесь или зарегистрируйтесь, чтобы оценивать материалы, создавать записи и писать комментарии.
Авторизуясь, вы соглашаетесь с правилами пользования сайтом и даете согласие на обработку персональных данных.
Математики опровергли гипотезу о двухъярусной кровати
Ученые из России, в числе которых два выпускника НИУ ВШЭ, опровергли известную в математике гипотезу, которая, хотя и не имела убедительного доказательства, считалась верной на протяжении 40 лет.
Препринт статьи размещен в электронном архиве arXiv.org. Гипотеза о двухъярусной кровати относится к теории перколяции — разделу математики, изучающему возникновение связанных структур в независимых средах. В 1980-е годы ее предложил голландский физик Питер Кастелейн: он хотел математически описать, как жидкости просачиваются через пористые поверхности, например как вода наполняет губку.
Гипотеза основывается на случайных соединениях вершин в воображаемом графе, похожем на двухъярусную кровать. Она утверждает, что вероятность возникновения связи между двумя вершинами на одном уровне выше, чем вероятность связи между уровнями.
Данное утверждение интуитивно кажется верным, однако до недавнего времени не было найдено убедительного доказательства, которое бы подтвердило или опровергло его. Скептики считали, что утверждение носит слишком общий характер и не может быть верным для всех случаев.
Чаще всего в математике стараются найти доказательство верности утверждения, лишь изредка работа направлена на опровержение. Но команда математиков из России — Игорь Пак, Никита Гладков и Александр Зимин — сумела найти контрпример, который разрушил гипотезу.
«Вообще, с двухъярусной кроватью мы с моим товарищем и коллегой Никитой Гладковым познакомились еще на первом курсе Вышки. Мы были соседями по общежитию, и у нас в комнате была та самая двухъярусная кровать, — шутит Александр Зимин. — В случае с гипотезой о двухъярусной кровати мы понимали, что она верна для большинства случаев. Но нас интересовал вопрос, есть ли такие редкие случаи, для которых она была бы ложной».
Сначала команда пыталась найти контрпример с помощью методов машинного обучения. Исследователи обучили нейросеть находить возможные связи в графах и пытались перебрать все варианты. Однако для графов, у которых было больше девяти вершин, количество возможных вариантов связей стремительно возрастало, и масштаб задачи быстро превысил возможности анализа. Доказательство не было найдено.
Тогда они адаптировали методы гиперграфов, для которых уже существовало опровержение гипотезы двухъярусной кровати, к классическим графам и построили очень сложную структуру, содержащую тысячи вершин и ребер. В получившемся графе вероятность связи между верхним и нижним уровнями оказалась чуть более высокой, чем вероятность связи на нижнем уровне, что и позволило разрушить гипотезу.
«Мы с соавторами, Игорем Паком и Никитой Гладковым, которые сейчас работают в UCLA, отлично дополняли друг друга в этой задаче. Я предпочитаю использовать численные методы. На мой взгляд, чтобы хорошо понять задачу, нужно уметь ее запрограммировать, объяснить компьютеру. А вот Никита считает иначе и предпочитает опираться на более абстрактный, интуитивный уровень», — рассказывает один из авторов статьи, аспирант факультета математики НИУ ВШЭ Александр Зимин.
«Гипотезу долгое время не могли опровергнуть. Или не хотели, ведь она была красивая, элегантная. Однако, на мой взгляд, опровержение не разрушает красоту, а, наоборот, доказывает, что мир гораздо интереснее и сложнее, чем мы думали», — считает Александр Зимин.
Найденный контрпример ставит перед наукой фундаментальные вопросы о том, можно ли полагаться на интуицию, насколько важен критический подход в математике, а также в целом об интерпретации доказательств, основанных на вероятностных данных.
Telegram 
Дзен 
VK Человеческие языки разнообразны, но это разнообразие ограничивается повторяющимися закономерностями. Пытаясь описать правила, которым подчиняются различия в грамматике, лингвисты сформулировали ряд так называемых грамматических универсалий — утверждений, предположительно верных для всех или большинства языков мира. Международная команда ученых провела статистический анализ на материале 2430 языков и обнаружила, что соответствующими действительности можно считать около трети таких утверждений.
Масштабных целей достичь, как правило, непросто: может потребоваться несколько месяцев, лет, десятилетий. На долгом пути люди нередко начинают сомневаться в возможности дойти до конца. Международная команда исследователей проанализировала, от чего зависит решение в такой ситуации и выяснила, когда действительно есть смысл отказаться от цели.
Так называемые зумеры и альфа, несмотря на молодой возраст, уже формируют ключевые поведенческие и потребительские тренды. Ученые Пермского Политеха рассказали, почему обозначение поколений начали с конца алфавита, как альфа и зумеры отличаются в способности к терпеливости, совмещении цифрового и реального «Я», подходу к профессиональной деятельности и отношении к финансам, какое мышление пришло на смену клиповому и как использование искусственного интеллекта повлияет на авторитет родителей.
Человеческие языки разнообразны, но это разнообразие ограничивается повторяющимися закономерностями. Пытаясь описать правила, которым подчиняются различия в грамматике, лингвисты сформулировали ряд так называемых грамматических универсалий — утверждений, предположительно верных для всех или большинства языков мира. Международная команда ученых провела статистический анализ на материале 2430 языков и обнаружила, что соответствующими действительности можно считать около трети таких утверждений.
Согласно учебникам истории, в бронзовом веке в казахской степи кочевали лишь немногочисленные племена со своими стадами. Но в начале 2000-х там обнаружили древнее поселение с остатками крупных домов, которое могло быть административным либо культурным центром. Это навело ученых на мысль, что жизнь в степи складывалась куда сложнее и была более организованной, чем предполагалось. Международная команда ученых представила новые результаты исследования этого поселения и выяснила, что на самом деле оно представляло собой крупнейший в этом регионе протогородской центр с масштабным производством оловянистой бронзы.
Ю-Цон Тан (YuCong Tang) — концептуальный художник из Китая. Научно-фантастические мотивы — одно из основных направлений его творчества. Он исследует, как научные открытия и технологии будущего трансформируют среду обитания.
Проанализировав данные наблюдений, полученных с помощью наземных обсерваторий за последние два десятилетия, астрономы обнаружили потенциально обитаемый мир — суперземлю Gliese 251 c (GJ 251 с). Планета обращается вокруг красного карлика на расстоянии около 18 световых лет от Земли и считается одним из самых перспективных кандидатов для поисков жизни.
По расчетам, большинство «гостей» из других звездных систем летят к Земле примерно со стороны созвездия Геркулес. Скорее всего, они время от времени падают на нашу планету, просто мы еще не научились это замечать. Как удалось вычислить, чаще всего они должны падать зимой и где-то в окрестностях экватора.
В современном доме, насыщенном разнообразной техникой, удлинители стали незаменимым атрибутом, позволяющим обеспечить электропитанием все необходимые устройства. Однако мало кто задумывается, что привычное использование этого аксессуара может нести серьезную угрозу безопасности. По статистике, значительная часть бытовых пожаров происходит из-за неправильной эксплуатации электропроводки и вспомогательных устройств. Какие приборы категорически нельзя подключать через удлинители и почему это может привести к трагическим последствиям, рассказывает профессор кафедры наноэлектроники РТУ МИРЭА, доктор физико-математических наук Алексей Юрасов.
Вы попытались написать запрещенную фразу или вас забанили за частые нарушения.
Понятно
Из-за нарушений правил сайта на ваш аккаунт были наложены ограничения. Если это ошибка, напишите нам.
Понятно
Наши фильтры обнаружили в ваших действиях признаки накрутки. Отдохните немного и вернитесь к нам позже.
Понятно
Мы скоро изучим заявку и свяжемся с Вами по указанной почте в случае положительного исхода. Спасибо за интерес к проекту.
Понятно