Приготовьтесь. Это не просто конспект. Это исчерпывающий путеводитель по миру матриц, созданный с одной целью: сделать эту фундаментальную область высшей математики абсолютно понятной, систематизированной и полной. От самых азов до продвинутых концепций, используемых в науке о данных и квантовой физике.
Обзор arxiv:2506.20436 Нуклеосинтез и химическое обогащение галактик (Nucleosynthesis and the chemical enrichment of galaxies)Authors: Chiaki KobayashiComments: 34 pages, 29 figures/videos. This is a pre-print of a book chapter for the Encyclopedia of Astrophysics (edited by I. Mandel, section editor F.R.N. Schneider) to be published by Elsevier as a Reference Module
Большой обзор по химической эволюции галактик. Рассмотрен вклад разных механизмов обогащения межзвездной среды тяжелыми элементами (сверхновые разных типов, проэволюционировавшие звезды, слияния нейтронных звезд и т. д.). Разве что нет свежей идеи о синтезе элементов при вспышках магнитаров.
Много полезных рисунков. Очень хорошо для использования в разных лекциях.
Здравствуйте, уважаемые читатели Хабра!
Представьте себе мир, где каждое ваше слово, каждая мысль — открытая книга. Жутковато, правда? На протяжении веков человечество стремилось сохранить свои тайны, и криптография всегда была тем мощным инструментом, что помогал это делать.
Сегодня мы, команда проекта Большой математической мастерской (БММ) — уникального образовательного события, где школьники, студенты и педагоги работают над общими проектами — хотим поделиться нашим погружением в этот увлекательный мир. Мы не профессиональные криптографы, но наш проект «Как превратить математику в игру с шифрами» доказывает: математика — это не только «сухая наука», но и захватывающая игра, особенно когда дело касается шифров и секретных сообщений.
В рамках этого проекта мы создаем сборник криптографических задач для научно‑популярной книги, ориентированной на школьников 8–11 классов. Наш подход на БММ основан на непрерывном обучении, умении задавать правильные вопросы и создавать работающие, интересные решения, опираясь на авторитетные источники и консультации специалистов. Именно этим мы и занимались, исследуя мир шифров.
Мы надеемся, что статья будет интересна не только тем, кто уже знаком с криптографией, но и преподавателям, методистам, а также просто любопытным читателям, которые хотят взглянуть на математику под другим углом.
Стратифицированная система без нуля представляет собой иерархическую конструкцию формальных языков, построенную на принципе постепенного введения абстракций без использования нулевых элементов на начальных уровнях. Данный подход решает фундаментальную проблему дуализма нуля в основаниях математики и обеспечивает концептуальную чистоту формальных систем.
Мы привыкли воспринимать время и пространство как данность. Фазовый формализм униметрии предлагает посмотреть иначе: время и пространство — это производные от единого параметра, который мы называем фазой.
В этой концепции релятивистские эффекты — замедление времени, доплеровский сдвиг и т.д. — возникают как естественные проявления движения потоков в фазовом пространстве. Формализм не вводит новые законы физики, он лишь предлагает удобный язык и инструмент для их описания. Подобно лагранжевому и гамильтоновому подходу в классической механике, это попытка упростить структуру уже известных зависимостей и сделать явными причинно-следственные связи.
Если вы когда-нибудь перемешивали колоду игральных карт, то, скорее всего, создали тем самым уникальную колоду. То есть, вероятно, вы единственный человек, который когда-либо раскладывал карты именно в таком порядке. Хотя это утверждение звучит невероятно, оно прекрасно иллюстрирует, как быстро большие числа могут проникнуть в повседневные ситуации — иногда с серьёзными и неприятными последствиями, как обнаружили разработчики одного онлайн-покера в конце 1990-х годов.
Математику тасовки карт довольно просто объяснить. Чтобы рассчитать, сколько вариантов расстановки может быть у 52 игральных карт, необходимо пройти все возможные варианты тасовки. Логично, что одна из 52 карт кладётся сверху, и как только это определено, для карты под ней остаётся только 51 возможность. Следующая карта имеет только 50 возможных вариантов, и так далее. Таким образом, 52 карты в колоде можно расположить 52 × 51 × 50 × ... × 2 × 1 = 52! различными способами.
Недавно мне понадобилось сэмулировать работу с плавающей точкой только при помощи целочисленной арифметики, поскольку флоаты были недоступны. Полез я было в интернет за готовой библиотекой, и чуть не утонул. Мало того, что я не нашёл того, что искал, это бог с ним. Я обнаружил, что в интернете кто-то неправ. :)
Оказалось, что форумы кишат людьми, которые не до конца понимают, как компьютеры манипулируют числами. Например, мемасик с КПДВ я стянул с реддита (перечеркнул его я). Кто-то настолько был напуган страшными ошибками округления чисел с плавающей точкой, что даже смешную картинку смастерил. Только вот проблема в том, что 0.5 + 0.5 в точности равно 1.0.
Таким образом, я решил засучить рукава, и изобрести велосипед. То есть, написать самую неоптимизированную C++ библиотеку для эмуляции IEEE754 32-битных чисел с плавающей точкой при помощи исключительно 32-битной целочисленной арифметики. Библиотека уложится в несколько сотен строк кода, и в ней не будет никакого битхакинга. Задача написать понятный код, а не быстрый. А заодно хорошенько его документировать серией статей.
Итак, этим полукреслом мастер Гамбс начинает новую партию мебели, или статья первая: поговорим о числах и компьютерах.
Российские ученые из МФТИ, Сколтеха и Иннополиса провели теоретическое исследование и компьютерное моделирование новых методов оптимизации, основанных на использовании сравнений значений функции между собой без знания самих значений этой функции и ее производных. Им удалось построить более эффективные алгоритмы, чем традиционные, и открыть обсуждение использования концепции порядковых оракулов в вычислении. Работа опубликована в материалах конференции NeurIPS 2024.
В свежей статье, представленная на конференции NeurIPS 2024, авторы предлагают новые подходы. Они создали оптимизационный алгоритм, который использует порядковый оракул, и предложили способ ускорения этого алгоритма. Исследователи подтвердили теоретическую состоятельность предложенных методов через численные эксперименты, которые продемонстрировали их высокую производительность.
Российские физики-теоретики из МФТИ и Лаборатории теоретической физики им. Н. Н. Боголюбова Объединенного института ядерных исследований РАН провели ряд исследований в суперсимметричной теории полей высших спинов. Научная группа в составе Иосифа Бухбиндера, Евгения Иванова и Никиты Заиграева существенно продвинулась на пути построения теории полей высших спинов с расширенной суперсимметрией. Серия статей по результатам их исследований опубликована в течение нескольких последних лет в журнале Journal of High Energy Physics.
Хорошо известно, что классическая эйнштейновская Общая теория относительности великолепно объясняет макроскопические гравитационные явления, но ее описание методами квантовой теории поля приводит к существенным трудностям. Это может означать, что Общая теория относительности хоть и является эффективной теорией, но, скорее всего, требует модификации при высоких энергиях.
Суперсимметричная теория полей высших спинов может служить естественным развитием квантовой теории поля одновременно в двух фундаментальных направлениях: в ведении полей высших спинов как новых степеней свободы и их симметрий, важных при экстремально высоких энергиях, и введении суперсимметрии как принципа объединения бозонов и фермионов и их взаимодействий. В результате формируется новый подход к изучению гравитации на квантовом уровне.
Ученые из МФТИ и ОИЯИ в своей работе исследовали, как построить такую теорию, используя N = 2 гармоническое суперпространство, которое представляет собой специальный тип суперпространства, содержащего специальный набор антикоммутирующих координат и вспомогательные переменные, называемые гармониками, связанные с внутренними симметриями соответствующей теории поля.
Ученые из МФТИ применили новый подход численного моделирования механических напряжений при взаимодействии поезда с верхним строением пути. Они использовали сеточно-характеристические конечно-разностные схемы, исследовав движение двух нефте-бензиновых цистерн по балластному железнодорожному полотну. Работа опубликована в Lobachevskii Journal of Mathematics.
Кольца Барромео — это конструкция из трёх колец, обладающая интересным свойством: эти кольца не сцеплены попарно между собой, но полная конструкция из трёх колец неразделима. Ну или если перефразировать: вся конструкция неразделима, но если любое из колец магическим образом пропадает, то оставшиеся два можно разделить. Единственное известное мне практическое применение этих колец — использование в качестве логотипа пива Ballantine. В прошлом году в моей практике повстречался интересный алгоритмический баг, который у меня ассоциируется именно с этой конструкцией.
На прошлой неделе я опубликовал запутанный код на Python, который генерирует мозаику Пенроуза. Сегодня я объясню базовый алгоритм, лежащий в основе этого скрипта на Python, и поделюсь его не запутанной версией.
Дело не только во вдохновении и музе. Учёные доказали, что в основе творчества лежат предсказуемые математические модели. Всё сводится к одной простой формуле.
Татьяна Митина, руководитель подразделения C3D Labs в Нижнем Новгороде, рассказывает, как устроена многопоточность ядра C3D, какими механизмами обеспечивается потокобезопасность ядра, какие параллельные вычисления происходят в самом ядре. Особое внимание уделяется правилам использования ядра C3D в нескольких потоках.
Многопоточность — отличный повод заглянуть в параллельные миры!
Для начала уточним терминологию. Под потокобезопасностью мы понимаем безопасность использования данных в нескольких потоках. А многопоточность — это способность кода выполнять вычисления в нескольких потоках, используя потокобезопасность обрабатываемых данных.
Российские ученые использовали новый метод моделирования для исследования распространения ультразвука в композитных материалах. Работа опубликована в Lobachevskii Journal of Mathematics.
В последние годы композитные материалы завоевали признание в различных отраслях, включая авиацию и строительство, благодаря своим выдающимся свойствам. Однако обеспечение их структурной целостности и контроль качества представляют собой сложные задачи.
Исследование, проведенное учеными из МФТИ, направлено на улучшение понимания динамики распределения ультразвуковых волн в таких материалах, используя инновационные методы моделирования, которые обещают коренным образом изменить подход к неразрушающему контролю.
Приветствуем любителей компьютерных наук! Хотим рассказать про новую инициативу: 1 марта в Санкт-Петербурге запустился Computer Science Space — открытый научно-технологический клуб для всех заинтересованных в современных и классических областях CS.
В сегодняшней статье расскажу, как на стенде измеряется угол, чем обеспечивается защита от дурака, и как мне помог ChatGPT.
Наивные клеточные автоматы — плохое объяснение нашей Вселенной. Они полезны как инструмент моделирования и как «песочница» для идей, но фундаментальную физику они не воспроизводят. Чтобы стало похоже, нужно сменить почти всё — а это уже другая история.
Интересная короткая статья о ЛямбдаCDM модели. Можно сказать, что жанр — доступная философия науки на конкретном примере. Автор кратко описывает историю модели и ее достижения, а затем критически рассматривает несколько примеров критики модели. Вывод автора состоит в том, что модель очень успешна и открыта к разумным модификациям. И нельзя сказать, что какие-то данные смогли ее фальсифицировать.
Мы пытались закрыть пробелы в доказательстве в Lean 4. Но вместо решений получили 120 000 токенов объяснений и одно слово: sorry. Из этого вырос философский трактат о природе формальных доказательств.
