Forwarded from Кот Шрёдингера (Андрей Константинов)
Астрономы обнаружили планету с признаками жизни на ней!
Это громкое начало стоит дополнить не только словами «вероятно» и «если данные подтвердятся» (которые вообще-то и так подразумеваются практически в любых научных новостях), но и фразой «это самое убедительное указание на внеземную жизнь, которое когда-либо получали ученые».
Телескоп «Уэбб» обнаружил в атмосфере далекой планеты K2-18b вещества, которые на Земле вырабатываются исключительно живыми организмами, - прежде всего фитопланктоном, микроскопическими водорослями. Экзопланета K2-18b, размером примерно в 2.5 раза больше Земли, вращается в «зоне жизни» (то есть, там, где вода может быть жидкой, а не только льдом или паром) вокруг звезды в 120 световых годах от Земли.
Состав атмосферы столь далекой планеты можно узнать по очень слабым изменениям светимости ее родной звезды, когда планета проходит перед звездой для наблюдателя с Земли. Во время транзита крошечная часть звездного света проходит через атмосферу экзопланеты, и атмосфера поглощает часть этого света, оставляя отпечатки в спектре звезды, зависящие от состава атмосферы.
В 2023 году «Уэбб» при беглом осмотре планеты K2-18b обнаружил метан и углекислый газ в ее атмосфере, - это стало первым случаем обнаружения углеродных и простейших органических молекул на экзопланете из «обитаемой зоны». Кроме того, «Уэбб» заметил там намеки на существование других органических молекул - диметилсульфида (ДМС) и диметилдисульфида (ДМДС), которые, насколько известно, вырабатываются только живыми организмами и считаются биосигнатурами, - признаками, по которым ищут жизнь в космосе.
Астрономы решили снова направить «Уэбб» на K2-18b, на этот раз используя другой прибор, - для наблюдения волн среднего инфракрасного диапазона. И обнаружили гораздо более выраженные признаки присутствия молекул ДМС и ДМДС. Их концентрация в атмосфере K2-18b намного выше, чем на Земле, - у нас она ниже одной части на миллиард по объему, а на K2-18b в тысячи раз сильнее — более десяти частей на миллион.
Но времени наблюдения не хватило для совсем надежного уровня статистической значимости: вероятность того, что это случайное отклонение в данных, составляет 0,3%, а чтобы считаться установленным открытием, по современным научным стандартам вероятность ошибки должна быть ниже 0,00006%. Чтобы окончательно подтвердить открытие и получить нужный уровень статистической значимости, понадобится еще один сеанс наблюдения «Уэббом» длительностью около суток.
«Никто не заинтересован в том, чтобы преждевременно заявлять, что мы обнаружили жизнь, — сказал Никку Мадхусудхан, астроном из Кембриджского университета и ведущий автор нового исследования, на пресс-конференции во вторник, - но лучшим объяснением этих наблюдений является то, что K2-18b покрыта теплым океаном, полным жизни. Это революционный момент, - первый раз, когда человечество увидело потенциальные биосигнатуры на пригодной для жизни планете».
Это громкое начало стоит дополнить не только словами «вероятно» и «если данные подтвердятся» (которые вообще-то и так подразумеваются практически в любых научных новостях), но и фразой «это самое убедительное указание на внеземную жизнь, которое когда-либо получали ученые».
Телескоп «Уэбб» обнаружил в атмосфере далекой планеты K2-18b вещества, которые на Земле вырабатываются исключительно живыми организмами, - прежде всего фитопланктоном, микроскопическими водорослями. Экзопланета K2-18b, размером примерно в 2.5 раза больше Земли, вращается в «зоне жизни» (то есть, там, где вода может быть жидкой, а не только льдом или паром) вокруг звезды в 120 световых годах от Земли.
Состав атмосферы столь далекой планеты можно узнать по очень слабым изменениям светимости ее родной звезды, когда планета проходит перед звездой для наблюдателя с Земли. Во время транзита крошечная часть звездного света проходит через атмосферу экзопланеты, и атмосфера поглощает часть этого света, оставляя отпечатки в спектре звезды, зависящие от состава атмосферы.
В 2023 году «Уэбб» при беглом осмотре планеты K2-18b обнаружил метан и углекислый газ в ее атмосфере, - это стало первым случаем обнаружения углеродных и простейших органических молекул на экзопланете из «обитаемой зоны». Кроме того, «Уэбб» заметил там намеки на существование других органических молекул - диметилсульфида (ДМС) и диметилдисульфида (ДМДС), которые, насколько известно, вырабатываются только живыми организмами и считаются биосигнатурами, - признаками, по которым ищут жизнь в космосе.
Астрономы решили снова направить «Уэбб» на K2-18b, на этот раз используя другой прибор, - для наблюдения волн среднего инфракрасного диапазона. И обнаружили гораздо более выраженные признаки присутствия молекул ДМС и ДМДС. Их концентрация в атмосфере K2-18b намного выше, чем на Земле, - у нас она ниже одной части на миллиард по объему, а на K2-18b в тысячи раз сильнее — более десяти частей на миллион.
Но времени наблюдения не хватило для совсем надежного уровня статистической значимости: вероятность того, что это случайное отклонение в данных, составляет 0,3%, а чтобы считаться установленным открытием, по современным научным стандартам вероятность ошибки должна быть ниже 0,00006%. Чтобы окончательно подтвердить открытие и получить нужный уровень статистической значимости, понадобится еще один сеанс наблюдения «Уэббом» длительностью около суток.
«Никто не заинтересован в том, чтобы преждевременно заявлять, что мы обнаружили жизнь, — сказал Никку Мадхусудхан, астроном из Кембриджского университета и ведущий автор нового исследования, на пресс-конференции во вторник, - но лучшим объяснением этих наблюдений является то, что K2-18b покрыта теплым океаном, полным жизни. Это революционный момент, - первый раз, когда человечество увидело потенциальные биосигнатуры на пригодной для жизни планете».
🔥4
👆Опять новость не из квантовой информатики, но обещаю исправиться:) Новость прямо грандиозная, нельзя не разместить:)
Короткая редакционная заметка в журнале "Physical Review Letters" (один из центральных мировых физических журналов) "Празднование первого столетия квантовой физики и подготовка к следующему" от профессора Дюссельдорфского университета им. Генриха Гейне Дагмар Брусс (Dagmar Bruß):
https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.134.150001
Статья в открытом доступе, так что можно свободно скачать, одна страница текста.
Автор замечает, что сто лет - это примерно три поколения, и выделяет в квантовой механике тоже три поколения исследователей и исследований.
Первое поколение - "понимание и тайны" (understanding and mysteries): первые прорывные работы по осознанию законов микромира, обсуждение возникающих в новой теории парадоксов.
Второе поколение - "консолидация и приложения" (consolidation and applications). Это "первая квантовая революция": лазеры, транзисторы, интегральные схемы, МРТ. Почему-то не упомянуто освоение целого нового вида энергии - ядерной, но это ж немцы с их отказом от ядерной энергетики:) А также проникновение квантовой механики в целый ряд других разделов науки, изменение их облика в результате этого: химия, материаловедение, астрофизика и космология.
Третье поколение - "связь с информатикой" (link with information science). Ну тут мы знаем: три кита квантовой информатики - это квантовые компьютеры, квантовая связь (или коммуникация, но предпочитаю русское слово) и квантовая метрология.
Отмечены следующие проблемы, остающимися открытыми для наступающего второго столетия квантовой теории: граница между квантовым и классическим мирами, объяснение законов классической термодинамики из квантовой механики, квантование гравитации.
В конце подчёркивается важность фундаментальных исследований в том числе для прикладных прорывов, как оно всегда было в истории.
https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.134.150001
Статья в открытом доступе, так что можно свободно скачать, одна страница текста.
Автор замечает, что сто лет - это примерно три поколения, и выделяет в квантовой механике тоже три поколения исследователей и исследований.
Первое поколение - "понимание и тайны" (understanding and mysteries): первые прорывные работы по осознанию законов микромира, обсуждение возникающих в новой теории парадоксов.
Второе поколение - "консолидация и приложения" (consolidation and applications). Это "первая квантовая революция": лазеры, транзисторы, интегральные схемы, МРТ. Почему-то не упомянуто освоение целого нового вида энергии - ядерной, но это ж немцы с их отказом от ядерной энергетики:) А также проникновение квантовой механики в целый ряд других разделов науки, изменение их облика в результате этого: химия, материаловедение, астрофизика и космология.
Третье поколение - "связь с информатикой" (link with information science). Ну тут мы знаем: три кита квантовой информатики - это квантовые компьютеры, квантовая связь (или коммуникация, но предпочитаю русское слово) и квантовая метрология.
Отмечены следующие проблемы, остающимися открытыми для наступающего второго столетия квантовой теории: граница между квантовым и классическим мирами, объяснение законов классической термодинамики из квантовой механики, квантование гравитации.
В конце подчёркивается важность фундаментальных исследований в том числе для прикладных прорывов, как оно всегда было в истории.
Physical Review Letters
Editorial: Celebrating the First Century of Quantum Physics and Preparing for the Next One
Phys. Rev. Lett. 134, 150001 (2025)
Соцсети напомнили запись 7-летней давности, можно повторить.
Сегодня на лекции придумалась короткая формулировка, чем именно квантовый компьютер лучше классического. Обычно говорят, что квантовый бит (кубит) может находится в суперпозиции состояний 0 и 1, т.е. в некотором смысле принимать одновременно эти два значения. Соответственно и регистр из нескольких кубитов может находиться в суперпозиции всевозможных комбинаций нулей и единиц в этом регистре. Благодаря этому и функцию квантовый компьютер может вычислить сразу во всех точках, параллельно.
Но это не весь ответ. На обычном компьютере тоже можно себе представить такой параллелизм: генератором случайных чисел формируем состояние регистра и вычисляем функцию от него. Пока мы не посмотрели на то, что нам сгенерировал этот генератор, для нас тоже в некотором смысле параллельно существует сразу все возможности: любое значение регистра может иметь место с некоторой вероятностью. В этом квантовый компьютер аналогичен обычному, пока разницы нет.
Сегодня на лекции придумалась короткая формулировка, чем именно квантовый компьютер лучше классического. Обычно говорят, что квантовый бит (кубит) может находится в суперпозиции состояний 0 и 1, т.е. в некотором смысле принимать одновременно эти два значения. Соответственно и регистр из нескольких кубитов может находиться в суперпозиции всевозможных комбинаций нулей и единиц в этом регистре. Благодаря этому и функцию квантовый компьютер может вычислить сразу во всех точках, параллельно.
Но это не весь ответ. На обычном компьютере тоже можно себе представить такой параллелизм: генератором случайных чисел формируем состояние регистра и вычисляем функцию от него. Пока мы не посмотрели на то, что нам сгенерировал этот генератор, для нас тоже в некотором смысле параллельно существует сразу все возможности: любое значение регистра может иметь место с некоторой вероятностью. В этом квантовый компьютер аналогичен обычному, пока разницы нет.
Разница в следующем: в обычном компьютере все эти взаимоисключающие альтернативы уже не взаимодействуют, не пересекаются. Что нам сгенерировал генератор, с тем мы и работаем дальше, даже если мы отказываемся смотреть на это значение.
В квантовом же компьютере эти взаимоисключающие альтернативы (всевозможные значения регистра) могут по определённым правилам взаимодействовать (интерферировать). Поэтому в квантовом компьютере появляется такая новая возможность. Если мы сумеем хорошо воспользоваться этой дополнительной возможностью (целым классом новых вычислительных операций, которых нет в обычном компьютере), то сможем решить ту или иную вычислительную задачу более эффективно.
В этом смысле в обычном компьютере природа делает однозначный выбор в пользу той или иной альтернативы, независимо от того, знаем мы её или ещё нет, а в квантовом они действительно существуют параллельно, несмотря на то что они взаимоисключающие, и могут взаимодействовать. Выбор природы в пользу одной из них может быть отложен до самого последнего момента.
В квантовом же компьютере эти взаимоисключающие альтернативы (всевозможные значения регистра) могут по определённым правилам взаимодействовать (интерферировать). Поэтому в квантовом компьютере появляется такая новая возможность. Если мы сумеем хорошо воспользоваться этой дополнительной возможностью (целым классом новых вычислительных операций, которых нет в обычном компьютере), то сможем решить ту или иную вычислительную задачу более эффективно.
В этом смысле в обычном компьютере природа делает однозначный выбор в пользу той или иной альтернативы, независимо от того, знаем мы её или ещё нет, а в квантовом они действительно существуют параллельно, несмотря на то что они взаимоисключающие, и могут взаимодействовать. Выбор природы в пользу одной из них может быть отложен до самого последнего момента.
Дополнение сегодняшнего дня:
Поэтому я всегда говорю студентам при анализе квантовых алгоритмов смотреть, где здесь играет роль интерференция. Если нигде, если её вообще нет, то перед нами никакой не квантовый алгоритм, а вероятностный классический алгоритм, и роль квантовой механики здесь - как роль топора в каше из топора:)
Поэтому я всегда говорю студентам при анализе квантовых алгоритмов смотреть, где здесь играет роль интерференция. Если нигде, если её вообще нет, то перед нами никакой не квантовый алгоритм, а вероятностный классический алгоритм, и роль квантовой механики здесь - как роль топора в каше из топора:)
🔥3😁2👍1
Возвращаюсь в канал:) Материала накопилось. Начну не с квантовых новостей, а с прорыва на другом фронте - по другим моим научным интересам. Есть старая проблема необратимости времени. На уровне молекул процессы могут протекать как в одну, так и в другую сторону. То есть если заснять на видео движение молекул, а потом пустить его в обратном порядке, то мы не увидим никакой разницы. Можно для наглядности взять не молекулы, а бильярдные шары. Представим только, что никаких лунок нет, они просто катаются, сталкиваются друг с другом и со стенками, и трения, потерь энергии при столкновении тоже нет, то есть движение не затухает. Тогда их движение можно уподобить движению молекул. Вот если мы видеозапись из движения покажем задом наперёд, то мы не увидим ничего подозрительного. А если мы возьмём почти любой процесс в нашей жизни - например, падение и разбивание стакана, то в обратную сторону процесс протекать не может: разбитый стакан не собирается и не взлетает, хотя на уровне молекул это не невозможно.
👍4🔥1👏1
Проблему осознали в 19 веке в связи с развитием термодинамики, когда было введено понятие энтропии - меры беспорядка. В изолированной системе процессы протекают в направлении возрастания энтропии. Например, если какой-то газ изначально сосредоточен в одной половине комнаты, то он распределится по всей комнате, а обратно уже не соберётся, потому что энтропия газа, равномерно распределённого по всей комнате, выше, чем сосредоточенного в одной половине.
Физики быстро поняли, что обратный процесс, в сторону уменьшения энтропии, возможен, но маловероятен и потому не происходит. Тут ещё одна аналогия - с ящиком стола. Если в нём не прибираться, то мера беспорядка вещей там постепенно нарастает. Сам собой порядок не наведётся не потому, что это невозможно в принципе, а потому что это просто маловероятно: слишком много должно совпасть, чтоб предметы как-то сами отсортировались и стали на свои места:)
Физики быстро поняли, что обратный процесс, в сторону уменьшения энтропии, возможен, но маловероятен и потому не происходит. Тут ещё одна аналогия - с ящиком стола. Если в нём не прибираться, то мера беспорядка вещей там постепенно нарастает. Сам собой порядок не наведётся не потому, что это невозможно в принципе, а потому что это просто маловероятно: слишком много должно совпасть, чтоб предметы как-то сами отсортировались и стали на свои места:)
👍2🔥1👏1
Но всё-таки стояла задача доказать математически, что вероятность действительно мала. Здесь можно предложить много разных математических моделей и поставить разные вопросы, и они были поставлены, но среди этого множества направлений исследований есть и такое.
Возьмём снова бильярдные шары, только, как я написал раньше, идеализированные, без потерь энергии, так как прорыв осуществлён как раз для них. Можно описывать их динамику на разных уровнях подробности. Самый подробный уровень - это микроскопическое описание: описание каждого отдельного шара. Вот у нас есть, допустим, 100 шаров, а то и ещё больше. Мы знаем, что между столкновениями они движутся равномерно и прямолинейно, а когда равномерное прямолинейное движение приводит к соприкосновению шаров друг с другом или со стенкой, то они меняют скорости мгновенно по закону упругого соударения. Вот это и есть микроскопическое описание. Вот на этом уровне нет необратимого времени: любой процесс может протекать в обе стороны. Достаточно просто развернуть направления движения шаров, и всё пойдёт в обратную сторону.
Но когда шаров много (а мы, говоря о шарах, имеем в виду всё-таки газы из огромного количества молекул), то такое описание становится очень сложным. Следующий уровень - это так называемое кинетическое описание, уравнение Больцмана. Здесь мы не описываем каждый шар в отдельности, а записываем, сколько шаров находится примерно в таком-то месте и движется примерно с такой-то скоростью в таком-то направлении. То есть разбиваем наше пространство на клеточки, а также пространство скоростей разбиваем на клеточки и подсчитываем, сколько шаров в каждой клеточке. А дальше описываем, как бухгалтера, баланс: сколько шаров в эту единицу времени покинуло эту клетку и в какую клетку переместилось. Это описание уже статистическое, т.е. не занимается траекторией каждого шара, а описывает их коллективно. Вот на уровне этого уравнения уже появляется необратимость и возрастание энтропии: возможные, но низковероятные процессы это уравнение не учитывает.
А последний уровень - это уже гидродинамическое описание, когда шары можно описывать как жидкость, в терминах течений. Но для этого их нужно очень большое количество, конечно. Для бильярда, знакомого нам, с не очень большим числом шаров кинетическое описание с натяжками, наверное, возможно, а гидродинамическое точно нет. Гидродинамика тоже необратима по времени: есть вязкость, трение.
Возьмём снова бильярдные шары, только, как я написал раньше, идеализированные, без потерь энергии, так как прорыв осуществлён как раз для них. Можно описывать их динамику на разных уровнях подробности. Самый подробный уровень - это микроскопическое описание: описание каждого отдельного шара. Вот у нас есть, допустим, 100 шаров, а то и ещё больше. Мы знаем, что между столкновениями они движутся равномерно и прямолинейно, а когда равномерное прямолинейное движение приводит к соприкосновению шаров друг с другом или со стенкой, то они меняют скорости мгновенно по закону упругого соударения. Вот это и есть микроскопическое описание. Вот на этом уровне нет необратимого времени: любой процесс может протекать в обе стороны. Достаточно просто развернуть направления движения шаров, и всё пойдёт в обратную сторону.
Но когда шаров много (а мы, говоря о шарах, имеем в виду всё-таки газы из огромного количества молекул), то такое описание становится очень сложным. Следующий уровень - это так называемое кинетическое описание, уравнение Больцмана. Здесь мы не описываем каждый шар в отдельности, а записываем, сколько шаров находится примерно в таком-то месте и движется примерно с такой-то скоростью в таком-то направлении. То есть разбиваем наше пространство на клеточки, а также пространство скоростей разбиваем на клеточки и подсчитываем, сколько шаров в каждой клеточке. А дальше описываем, как бухгалтера, баланс: сколько шаров в эту единицу времени покинуло эту клетку и в какую клетку переместилось. Это описание уже статистическое, т.е. не занимается траекторией каждого шара, а описывает их коллективно. Вот на уровне этого уравнения уже появляется необратимость и возрастание энтропии: возможные, но низковероятные процессы это уравнение не учитывает.
А последний уровень - это уже гидродинамическое описание, когда шары можно описывать как жидкость, в терминах течений. Но для этого их нужно очень большое количество, конечно. Для бильярда, знакомого нам, с не очень большим числом шаров кинетическое описание с натяжками, наверное, возможно, а гидродинамическое точно нет. Гидродинамика тоже необратима по времени: есть вязкость, трение.
👍2❤1👏1
Так вот вопрос: можно ли из микроскопической динамики шаров СТРОГО вывести кинетическое уравнение Больцмана, а затем и уравнения гидродинамики? То есть примерно-то можно, на "физическом уровне строгости", это хорошо известно, но можно ли это сделать именно математически строго, без всяких "физически очевидно, что..." Просто взять ТОЛЬКО математические законы движения шаров и математически вывести уравнение Больцмана? Здесь я бы отметил отметить следующие вехи, хотя выбор и субъективен:
1. Знаменитая работа Николая Николаевича Боголюбова (на фото) "Проблемы динамической теории в статистической физике" 1946 года, где он намечает программу, как это можно было бы сделать. Точнее, он даже выводит уравнение Больцмана и уравнения гидродинамики, но всё-таки не математически строго, а с привлечением физически интуитивных допущений. Но идеи глубокие.
1. Знаменитая работа Николая Николаевича Боголюбова (на фото) "Проблемы динамической теории в статистической физике" 1946 года, где он намечает программу, как это можно было бы сделать. Точнее, он даже выводит уравнение Больцмана и уравнения гидродинамики, но всё-таки не математически строго, а с привлечением физически интуитивных допущений. Но идеи глубокие.
🔥3👍1👏1
Боголюбов пишет, что через анализ микроскопической динамики шаров "в лоб" (техническим языком - при помощи ряда Дайсона теории возмущений) можно вывести уравнение Больцмана только на бесконечно малых временах. Чтобы преодолеть это, он вводит ряд глубоких и красивых, но недоказанных гипотез, среди которых основная - это гипотеза о том, что за относительно короткое время шары как бы "подлаживаются" друг к другу что ли (трудновато описать это популярно), что становится возможным кинетическое описание. А ещё через какое-то время кинетическая динамика ведёт к гидродинамическому описанию. Приняв эту гипотезу, он выводит уравнение Больцмана и даже важные поправки к нему, а также и уравнения гидродинамики. Это фундаментальный важный результат.
Но, во-первых, гипотеза не только не доказана, но даже и не сформулирована математически строго, и это признавал и сам Боголюбов. Во-вторых, позже в методе обнаружились патологии (на техническом языке - расходимости в высших порядках теории возмущений), которые свидетельствуют о том, что мы здесь не всё понимаем.
Но, во-первых, гипотеза не только не доказана, но даже и не сформулирована математически строго, и это признавал и сам Боголюбов. Во-вторых, позже в методе обнаружились патологии (на техническом языке - расходимости в высших порядках теории возмущений), которые свидетельствуют о том, что мы здесь не всё понимаем.
🔥3👍1🤔1
2. Оскар Лэнфорд (Lanford), США, 1975, - уже математически строго вывел уравнение Больцмана, без всяческих допущений, используя анализ динамики шаров "в лоб" (ряды Дайсона), но, к сожалению, только на маленьких временах - как и предсказывал Боголюбов возможности этого метода. На работу Боголюбова он не ссылается, Боголюбов в более поздних работах тоже на него не ссылался, то есть они, наверное, не знали про работы друг друга. Но результат Лэнфорда замечателен тем, что уравнение Больцмана было строго выведено не для бесконечно малых времён, как предполагал Боголюбов, а для конечно малых - как позже оценили (Герберт Шпон (Spohn), выдающийся математический физик из Мюнхена), для времён до 1/5 времени свободного пробега. То есть примерно пятая часть шаров успела один раз столкнуться. Это всего ничего, это ещё практически ничего и не началось, но всё-таки это ненулевое время, за которое энтропия успевает немного вырасти. И вот этот небольшой рост энтропии был именно математически строго доказан.
🔥4
Затем было совершенно непонятно, как обобщить это доказательство на произвольно большие времена. Были работы математиков уже нынешнего века, обобщающие эти результаты на взаимодействия более общего вида, не обязательно твёрдые шары, другие результаты, раскрывающие отдельные аспекты.
Я лично верил, что надо каким-то образом строго обосновать глубокие идеи Боголюбова, но не было идей, как это можно сделать. Немножечко мне удалось продвинуться здесь в теории открытых квантовых систем. Звучит, может, более загадочно, чем газ, но на самом деле математически речь идёт о гораздо более простой системе. В двух точно решаемых (т.е. довольно простых) моделях мне удалось строго показать справедливость гипотез Боголюбова, это работа вышла в прошлом 2024 году:
http://mi.mathnet.ru/rus/tm4381
Но, повторю, без понятия, как это можно обобщить на газ взаимодействующих частиц. Ещё раньше у меня вышла работа с известными итальянскими учёными в этой теме Марио Пульвиренти (Pulvirenti) и Сержио Симонеллой (Simonella), где мы строго обосновали другое интересное наблюдение Боголюбова - существование у кинетического уравнения Больцмана-Энскога (уточнение уравнения Больцмана для твёрдых шаров) "микроскопических решений". Т.е. кинетическое уравнение, описывающее динамику шаров уже на следующем уровне - кинетическом, сохраняет в себе и точную динамику системы твёрдых шаров:
https://doi.org/10.3934/krm.2018036
Так что я верил (и верю) в глубину идей Боголюбова и необходимость их развивать и даже видел свою своеобразную миссию в их популяризации за рубежом: как я упомянул, Лэнфорд, по-видимому, не знал о работах Боголюбова, точно так же как и Шпон, с которым я тоже общался, и уважаемые итальянские коллеги.
P.S. Кстати, итальянских соавторов я никогда не встречал лично и даже не знаю, как они выглядят, статью мы написали, общаясь по электронной почте - и это ещё до эпохи ковида со всеми дистанционными технологиями, видеоконференциями. Тогда это было крайне необычно:)
Я лично верил, что надо каким-то образом строго обосновать глубокие идеи Боголюбова, но не было идей, как это можно сделать. Немножечко мне удалось продвинуться здесь в теории открытых квантовых систем. Звучит, может, более загадочно, чем газ, но на самом деле математически речь идёт о гораздо более простой системе. В двух точно решаемых (т.е. довольно простых) моделях мне удалось строго показать справедливость гипотез Боголюбова, это работа вышла в прошлом 2024 году:
http://mi.mathnet.ru/rus/tm4381
Но, повторю, без понятия, как это можно обобщить на газ взаимодействующих частиц. Ещё раньше у меня вышла работа с известными итальянскими учёными в этой теме Марио Пульвиренти (Pulvirenti) и Сержио Симонеллой (Simonella), где мы строго обосновали другое интересное наблюдение Боголюбова - существование у кинетического уравнения Больцмана-Энскога (уточнение уравнения Больцмана для твёрдых шаров) "микроскопических решений". Т.е. кинетическое уравнение, описывающее динамику шаров уже на следующем уровне - кинетическом, сохраняет в себе и точную динамику системы твёрдых шаров:
https://doi.org/10.3934/krm.2018036
Так что я верил (и верю) в глубину идей Боголюбова и необходимость их развивать и даже видел свою своеобразную миссию в их популяризации за рубежом: как я упомянул, Лэнфорд, по-видимому, не знал о работах Боголюбова, точно так же как и Шпон, с которым я тоже общался, и уважаемые итальянские коллеги.
P.S. Кстати, итальянских соавторов я никогда не встречал лично и даже не знаю, как они выглядят, статью мы написали, общаясь по электронной почте - и это ещё до эпохи ковида со всеми дистанционными технологиями, видеоконференциями. Тогда это было крайне необычно:)
Kinetic and Related Models
Microscopic solutions of the Boltzmann-Enskog equation in the series representation
The Boltzmann-Enskog equation for a hard sphere gas is known to have so called microscopic solutions, i.e., solutions of the form of time-evolving empirical measures of a finite number of hard spheres. However, the precise mathematical meaning of these solutions…
🔥2
3. И вот, собственно, прорыв 2024-2025 годов, о котором я узнал случайно только недавно: серия работ американских математиков ливанского и китайского происхождения, где строго и для больших времен выведено уравнение Больцмана и уравнение Навье-Стокса-Фурье гидродинамики:
https://arxiv.org/abs/2408.07818
https://arxiv.org/abs/2503.01800
Вот популярная статья с комментариями в том числе моего соавтора Сержио Симонеллы:
https://www.quantamagazine.org/epic-effort-to-ground-physics-in-math-opens-up-the-secrets-of-time-20250611/
Ну, замах на решение шестой проблемы Гильберта в заголовке - это, конечно, overselling, на мой взгляд. Она звучит так: "Математическая трактовка аксиом физики". Это общая формулировка, так что её вряд ли можно "решить" в традиционном смысле. Это скорее программа исследований. Доказанные теоремы, пусть и прорывные и, безусловно, продвигающие эту программу вперёд, точно её не закрывают. Но, видимо, если не сделать такой заголовок, то никто не обратит внимание, подумают, что какую-то частную проблему решили:)
Я, узнав, тут же написал итальянским коллегам, которые ответили, что изучают эти длинные доказательства, они сверхтехничны, но настроение у них положительное: похоже, что доказательства верны и уравнение Больцмана, а значит и возрастание энтропии, действительно математически строго выведены для больших времён! 🎉 Гидродинамика тоже, но ей я меньше интересуюсь, меня больше интересует именно переход от микроскопической динамики к кинетической, где появляется необратимость времени. Кстати, "гидро" здесь не означает, что речь обязательно о жидкости. Газ тоже можно.
Похоже, что Боголюбов в своём предположении, что анализом динамики твёрдых шаров "в лоб" нельзя вывести уравнение Больцмана на больших временах, был не совсем прав: им всё-таки удалось вывести уравнение Больцмана, проведя "лобовой" анализ динамики шаров, потому доказательство и сверхтехничное, очень сложное. Насколько я понимаю, им удалось показать, что корреляции (взаимозависимости) сталкивающихся шаров распространяются не очень сильно и не очень далеко. Но тут сказать легче, чем доказать это:)
Так что да, похоже, на наших глазах решена важная давно, более 100 лет стоящая в теоретической и математической физике проблема - строгое доказательство возрастания энтропии с подавляющей вероятностью на больших временах, строгий вывод соответствующего кинетического уравнения Больцмана! 🎉🎉🎉
https://arxiv.org/abs/2408.07818
https://arxiv.org/abs/2503.01800
Вот популярная статья с комментариями в том числе моего соавтора Сержио Симонеллы:
https://www.quantamagazine.org/epic-effort-to-ground-physics-in-math-opens-up-the-secrets-of-time-20250611/
Ну, замах на решение шестой проблемы Гильберта в заголовке - это, конечно, overselling, на мой взгляд. Она звучит так: "Математическая трактовка аксиом физики". Это общая формулировка, так что её вряд ли можно "решить" в традиционном смысле. Это скорее программа исследований. Доказанные теоремы, пусть и прорывные и, безусловно, продвигающие эту программу вперёд, точно её не закрывают. Но, видимо, если не сделать такой заголовок, то никто не обратит внимание, подумают, что какую-то частную проблему решили:)
Я, узнав, тут же написал итальянским коллегам, которые ответили, что изучают эти длинные доказательства, они сверхтехничны, но настроение у них положительное: похоже, что доказательства верны и уравнение Больцмана, а значит и возрастание энтропии, действительно математически строго выведены для больших времён! 🎉 Гидродинамика тоже, но ей я меньше интересуюсь, меня больше интересует именно переход от микроскопической динамики к кинетической, где появляется необратимость времени. Кстати, "гидро" здесь не означает, что речь обязательно о жидкости. Газ тоже можно.
Похоже, что Боголюбов в своём предположении, что анализом динамики твёрдых шаров "в лоб" нельзя вывести уравнение Больцмана на больших временах, был не совсем прав: им всё-таки удалось вывести уравнение Больцмана, проведя "лобовой" анализ динамики шаров, потому доказательство и сверхтехничное, очень сложное. Насколько я понимаю, им удалось показать, что корреляции (взаимозависимости) сталкивающихся шаров распространяются не очень сильно и не очень далеко. Но тут сказать легче, чем доказать это:)
Так что да, похоже, на наших глазах решена важная давно, более 100 лет стоящая в теоретической и математической физике проблема - строгое доказательство возрастания энтропии с подавляющей вероятностью на больших временах, строгий вывод соответствующего кинетического уравнения Больцмана! 🎉🎉🎉
Quanta Magazine
Epic Effort to Ground Physics in Math Opens Up the Secrets of Time | Quanta Magazine
By mathematically proving how individual molecules create the complex motion of fluids, three mathematicians have illuminated why time can’t flow in reverse.
🔥2
Конец это истории? Не совсем. Вот какие ограничения их метода и доказательства:
1. Твёрдые шары - хорошо, но если мы говорим о реальных газах из молекул, то там взаимодействие между молекулами более сложное: молекулы - не твёрдые шары. Хотя изучаются сейчас гранулярные газы - газы не из молекул, а из маленьких, но макросопических объектов (гранул), например, песчинок. Там взаимодействие твёрдых шаров - это хорошее приближение.
2. Начальные условия. Авторы рассматривают не совсем произвольные начальные условия для шаров. Говоря техническим языком, распределение по скоростям убывает по меньшей мере так же быстро, как в распределении Максвелла, т.е. в тепловом равновесии. То есть рассматриваются газы, которые в определенном смысле уже близки к тепловому равновесию, стремление к которому и описывает уравнение Больцмана.
3. Гидро- и газодинамику я почти не знаю, но там есть такое явление - ударные волны. Математически это некие патологии в решениях уравнений. Не знаю, удалось ли им описать и их тоже, или гидродинамику они выводят только при условии отсутствия ударных волн.
Так что, возможно, глубокие идеи Боголюбова по-прежнему ждут своего часа!
1. Твёрдые шары - хорошо, но если мы говорим о реальных газах из молекул, то там взаимодействие между молекулами более сложное: молекулы - не твёрдые шары. Хотя изучаются сейчас гранулярные газы - газы не из молекул, а из маленьких, но макросопических объектов (гранул), например, песчинок. Там взаимодействие твёрдых шаров - это хорошее приближение.
2. Начальные условия. Авторы рассматривают не совсем произвольные начальные условия для шаров. Говоря техническим языком, распределение по скоростям убывает по меньшей мере так же быстро, как в распределении Максвелла, т.е. в тепловом равновесии. То есть рассматриваются газы, которые в определенном смысле уже близки к тепловому равновесию, стремление к которому и описывает уравнение Больцмана.
3. Гидро- и газодинамику я почти не знаю, но там есть такое явление - ударные волны. Математически это некие патологии в решениях уравнений. Не знаю, удалось ли им описать и их тоже, или гидродинамику они выводят только при условии отсутствия ударных волн.
Так что, возможно, глубокие идеи Боголюбова по-прежнему ждут своего часа!
👍1
Недавно попалось видео, где на обложке утверждается, что квантовые компьютеры - хайп. Решил послушать, ожидал услышать стандартное про то, что концепция нереалистична, но неожиданно блогерша утверждала нечто другое: наоборот, успехи последних лет в области технологий квантовых вычислений впечатляющие и, более того, идут по графику: разработанный компаниями ранее график, например, в каком году сколько будет кубитов в квантовом компьютере, выполняется. А вот слабое место - это алгоритмы.
На данный момент есть только две практические задачи, где квантовый компьютер даёт экспоненциальное (то есть как бы "качественное") преимущество над обычным (классическим) компьютером:
1. Алгоритм Шора разложения целых чисел на простые сомножители (91=13*7). Это взлом шифров, то есть "военное" применение, для народного хозяйства это не нужно.
2. Симуляция квантовых систем - например, сложных химических систем, кристаллических решёток. Это создание новых материалов, лекарств и т.д.
И в том и в другом случае с ростом размерности задачи (количества разрядов в числе или количестве атомов в химической системе) сложность классических вычислений растёт с числом разрядов в целом числе или числом симулируемых атомов примерно в геометрической прогрессии(*), то есть очень быстро. Сложность решения этих задач на квантовом компьютере растёт не рак быстро.
Есть ещё много других квантовых алгоритмов, например, тоже широко известный алгоритм Гровера поиска подходящего элемента в неупорядоченном списке. Но они дают не очень сильное, не экспоненциальное ускорение. Грубо говоря, не качественное, а только количественное ускорение, которое на практике исчезнет совсем из-за необходимости бороться с шумами, из-за того, что каждый логический кубит должен будет реализовываться через минимум сотни физических, что мы уже обсуждали.
(*) Более правильно и точно не "геометрическая прогрессия", а всё-таки "экспоненциальный рост". Например, число операций по разложению целого числа с n разрядами на множители растёт пропорционально 2^(кубический корень из n) для лучших известных классических алгоритмов. Это несколько медленнее геометрической прогрессии. Для квантового алгоритма Шора число операций пропорционально n^3 для (но есть и улучшения). Но использую близкий термин "геометрическая прогрессия" из школьной математики. С точки зрения теории сложности вычислений степенная функция (в данном случае куб) и функция, возрастающая быстрее любой степени (геометрическая прогрессия - частный случай), - это качественное различие.
https://youtu.be/pDj1QhPOVBo?si=c384VIpf7oewPgxn
На данный момент есть только две практические задачи, где квантовый компьютер даёт экспоненциальное (то есть как бы "качественное") преимущество над обычным (классическим) компьютером:
1. Алгоритм Шора разложения целых чисел на простые сомножители (91=13*7). Это взлом шифров, то есть "военное" применение, для народного хозяйства это не нужно.
2. Симуляция квантовых систем - например, сложных химических систем, кристаллических решёток. Это создание новых материалов, лекарств и т.д.
И в том и в другом случае с ростом размерности задачи (количества разрядов в числе или количестве атомов в химической системе) сложность классических вычислений растёт с числом разрядов в целом числе или числом симулируемых атомов примерно в геометрической прогрессии(*), то есть очень быстро. Сложность решения этих задач на квантовом компьютере растёт не рак быстро.
Есть ещё много других квантовых алгоритмов, например, тоже широко известный алгоритм Гровера поиска подходящего элемента в неупорядоченном списке. Но они дают не очень сильное, не экспоненциальное ускорение. Грубо говоря, не качественное, а только количественное ускорение, которое на практике исчезнет совсем из-за необходимости бороться с шумами, из-за того, что каждый логический кубит должен будет реализовываться через минимум сотни физических, что мы уже обсуждали.
(*) Более правильно и точно не "геометрическая прогрессия", а всё-таки "экспоненциальный рост". Например, число операций по разложению целого числа с n разрядами на множители растёт пропорционально 2^(кубический корень из n) для лучших известных классических алгоритмов. Это несколько медленнее геометрической прогрессии. Для квантового алгоритма Шора число операций пропорционально n^3 для (но есть и улучшения). Но использую близкий термин "геометрическая прогрессия" из школьной математики. С точки зрения теории сложности вычислений степенная функция (в данном случае куб) и функция, возрастающая быстрее любой степени (геометрическая прогрессия - частный случай), - это качественное различие.
https://youtu.be/pDj1QhPOVBo?si=c384VIpf7oewPgxn
YouTube
Why I Left Quantum Computing Research
Donate to FarmKind at: https://www.farmkind.giving/donate?promo=lookingglass
I finished my PhD in quantum computing in 2020. I loved the research, my supervisor and my colleagues were amazing, and the field was booming with new start ups being spun out everywhere.…
I finished my PhD in quantum computing in 2020. I loved the research, my supervisor and my colleagues were amazing, and the field was booming with new start ups being spun out everywhere.…
❤2👍1
То есть проблема с квантовом компьютером по мнению, высказанном в этом видео, - это не проблема его технической реализации, а проблема того, что его область применения оказывается довольно узкой: если не считать "военное", разрушительное, а не созидательное применение, то остаётся только симуляция больших квантовых систем. Собственно, в этом и состояла первоначальная идея квантового компьютера Ричарда Фейнмана и Юрия Ивановича Манина. Идея о том, что на квантовом компьютере можно решать быстрее обычные вычислительные задачи, не связанные с квантовой механикой, возникла позже.
Правда, если в результате работы крупномасштабного квантового симулятора действительно будут открыты существенно новые материалы - может, высокотемпературный сверхпроводник, - или новые лекарства, то, наверное, это уже оправдает все работы. Но хотелось бы понять, способен ли квантовый компьютер на что-то ещё. Или алгоритм Шора и его вариации и обобщения - это фактически единственная очень специфическая ситуация, где квантовый компьютер оказывается полезным и даёт качественное снижение сложности?
Правда, если в результате работы крупномасштабного квантового симулятора действительно будут открыты существенно новые материалы - может, высокотемпературный сверхпроводник, - или новые лекарства, то, наверное, это уже оправдает все работы. Но хотелось бы понять, способен ли квантовый компьютер на что-то ещё. Или алгоритм Шора и его вариации и обобщения - это фактически единственная очень специфическая ситуация, где квантовый компьютер оказывается полезным и даёт качественное снижение сложности?
Недавно эта проблема обсуждались лидерами в этой области на одной из конференций, обсуждение опубликовано вот здесь:
https://arxiv.org/abs/2506.19232
Эдвард Фархи (Farhi) высказал мнение, что такая "бедная" ситуация с квантовыми алгоритмами связана с тем, что среди исследователей здесь утвердился стандарт, что сложность, эффективность квантового алгоритма надо непременно строго математически оценить и сравнить с наилучшим классическим алгоритмом. Он считает, что такое негласное требование сдерживает развитие квантовых алгоритмов. В качестве аргумента он привёл то, что полно классических алгоритмов, о которых мы не имеем математически строгих результатов и даже особо не понимаем, почему они работают, но они работают. Характерный пример - алгоритмы машинного обучения, другой пример - алгоритмы оптимизации через так называемую "имитацию отжига". От себя могу добавить и знаменитый симплекс-метод решения задач линейного программирования (класс оптимизационных задач). Формально он имеет экспоненциальную сложность, но в реальности работает хорошо в практических ситуациях. Поэтому, считает Фархи, и квантовые алгоритмы надо просто изобретать и экспериментировать с ними, особенно когда всё-таки появится полноценный квантовый компьютер для этого.
Ещё один из участников обсуждения добавил, что, если мы быстрее изобрели полезный алгоритм именно для квантового компьютера и это позволило, например, найти новое лекарство, то так ли важно, существует ли в теории аналогичный классический алгоритм или нет.
Скотт Ааронсон (Aaronson) оппонировал этому подходу, тоже, как и я в этом канале недавно, напомнив о сказке "Каша из топора" (или в западном варианте - "Stone soup" - "Каменный суп":)). Он говорит, что в той гипотетической ситуации будущего, когда мы открыли именно квантовый полезный алгоритм, если бы мы потратили столько же времени на поиск классического алгоритма, то, может, открыли бы и его. То есть слово "квантовый" как бы завораживает, вдохновляет на поиск, вот как топор в той каше, но на самом деле всё то же самое может существовать и без этого "топора". Поэтому он считает, что просто предлагать квантовые алгоритмы, не сравнивая их с существующими и с теоретически возможными классическими, - это неправильно, это вводит в заблуждение, мы можем так увлечься "кашами из топора".
Ещё тут часто высказывают аргумент, что и на заре обычных наших классических компьютеров никто, конечно, не подозревал, как они изменят всё наше общество, тоже думали, что они нужны в единичных экземплярах только для очень специфических задач (среди которых, кстати, и тогда был взлом шифров: вспомним про "Энигму"). Поэтому и квантовый компьютер надо сначала создать, а применения потом найдём.
Не знаю, на чьей стороне я в этом споре, но, если честно, действительно не очень до этого задумывался, что да: как замечает та блогерша, в основном сейчас внимание исследователей приковано к борьбе с шумами, к квантовым кодам исправления ошибок, то есть к шагам в направлении создания полномасштабного помехоустойчивого квантового компьютера. Но важнейший вопрос - а для чего он будет нужен-то? Не менее важная и не менее трудная задача - поиск каких-то принципиально новых приложений, алгоритмов для него.
Может, раньше, наоборот, не было смысла сильно над этим думать, потому что было непонятно, а реалистична ли сама идея квантового компьютера. Зачем тогда делить шкуру неубитого медведя? Но теперь ввиду большого прогресса в области практической реализации квантового компьютера, возросшего оптимизма в этом отношении, вопрос "А зачем мы вообще за этим медведем гоняемся?" выходит едва ли не на первый план:)
https://arxiv.org/abs/2506.19232
Эдвард Фархи (Farhi) высказал мнение, что такая "бедная" ситуация с квантовыми алгоритмами связана с тем, что среди исследователей здесь утвердился стандарт, что сложность, эффективность квантового алгоритма надо непременно строго математически оценить и сравнить с наилучшим классическим алгоритмом. Он считает, что такое негласное требование сдерживает развитие квантовых алгоритмов. В качестве аргумента он привёл то, что полно классических алгоритмов, о которых мы не имеем математически строгих результатов и даже особо не понимаем, почему они работают, но они работают. Характерный пример - алгоритмы машинного обучения, другой пример - алгоритмы оптимизации через так называемую "имитацию отжига". От себя могу добавить и знаменитый симплекс-метод решения задач линейного программирования (класс оптимизационных задач). Формально он имеет экспоненциальную сложность, но в реальности работает хорошо в практических ситуациях. Поэтому, считает Фархи, и квантовые алгоритмы надо просто изобретать и экспериментировать с ними, особенно когда всё-таки появится полноценный квантовый компьютер для этого.
Ещё один из участников обсуждения добавил, что, если мы быстрее изобрели полезный алгоритм именно для квантового компьютера и это позволило, например, найти новое лекарство, то так ли важно, существует ли в теории аналогичный классический алгоритм или нет.
Скотт Ааронсон (Aaronson) оппонировал этому подходу, тоже, как и я в этом канале недавно, напомнив о сказке "Каша из топора" (или в западном варианте - "Stone soup" - "Каменный суп":)). Он говорит, что в той гипотетической ситуации будущего, когда мы открыли именно квантовый полезный алгоритм, если бы мы потратили столько же времени на поиск классического алгоритма, то, может, открыли бы и его. То есть слово "квантовый" как бы завораживает, вдохновляет на поиск, вот как топор в той каше, но на самом деле всё то же самое может существовать и без этого "топора". Поэтому он считает, что просто предлагать квантовые алгоритмы, не сравнивая их с существующими и с теоретически возможными классическими, - это неправильно, это вводит в заблуждение, мы можем так увлечься "кашами из топора".
Ещё тут часто высказывают аргумент, что и на заре обычных наших классических компьютеров никто, конечно, не подозревал, как они изменят всё наше общество, тоже думали, что они нужны в единичных экземплярах только для очень специфических задач (среди которых, кстати, и тогда был взлом шифров: вспомним про "Энигму"). Поэтому и квантовый компьютер надо сначала создать, а применения потом найдём.
Не знаю, на чьей стороне я в этом споре, но, если честно, действительно не очень до этого задумывался, что да: как замечает та блогерша, в основном сейчас внимание исследователей приковано к борьбе с шумами, к квантовым кодам исправления ошибок, то есть к шагам в направлении создания полномасштабного помехоустойчивого квантового компьютера. Но важнейший вопрос - а для чего он будет нужен-то? Не менее важная и не менее трудная задача - поиск каких-то принципиально новых приложений, алгоритмов для него.
Может, раньше, наоборот, не было смысла сильно над этим думать, потому что было непонятно, а реалистична ли сама идея квантового компьютера. Зачем тогда делить шкуру неубитого медведя? Но теперь ввиду большого прогресса в области практической реализации квантового компьютера, возросшего оптимизма в этом отношении, вопрос "А зачем мы вообще за этим медведем гоняемся?" выходит едва ли не на первый план:)
arXiv.org
Future of Quantum Computing
On Tuesday 26th November 2024, four discussants participated in a moderated virtual panel titled Future of Quantum Computing as one session of the 8th International Conference on Quantum...
👍1
P.S. Впрочем, спустя несколько дней подумалось, что я всё-таки присоединяюсь к позиции "создадим квантовый компьютер, а там видно будет". Освоение нового типа вычислений - это в любом случае будет грандиозный технологический прорыв, как освоение нового вида энергии (уголь, нефть, ядерная, термоядерная, солнечная), даже если это не приведёт сразу к каким-то практическим прорывам. Симуляция (моделирование) больших квантовых систем для поиска новых материалов и лекарств - уже достойная цель, но, может, будут и какие-то побочные эффекты от развития этих технологий. В любом случае, если мы с интересом следим за каким-нибудь чемпионатом по футболу, то не менее интересно следить за прогрессом в квантовых вычислениях:)
Но думать над возможными принципиально новыми квантовыми алгоритмами, конечно, очень важно.
Но думать над возможными принципиально новыми квантовыми алгоритмами, конечно, очень важно.
👍5🔥1