Простое число 1072073074075076077078079071007
Ещё одно необычное простое число: 1072073074075076077078079071007
Ещё одно необычное простое число: 1072073074075076077078079071007
Двадцать лет, с 2004-го, я пишу физический симулятор - этим летом он наконец вышел в Steam (Makarov Physics Suite, 140 интерактивных 3D-сцен). По дороге накопились темы, которые к физике уже не относятся: узлы, четырёхмерные тела, гиперболическая плоскость, случайные блуждания. Я вынес их в отдельный проект - Makarov Math Suite.
Идея простая: взять теорему и дать на неё посмотреть. Не картинку из учебника, а живую сцену, которую можно вертеть, у которой можно крутить параметры - и где числа на экране измерены по самой сцене. Вот семь первых модулей.
Случайные блуждания (- walks)
Тысячи ходоков выходят из одной точки и шагают по решётке - каждое направление равновероятно. Облако растёт как корень из числа шагов, и стеклянная сфера ровно такого радиуса растёт вместе с ним. А кто хоть раз прошёл через дом, становится золотым. В одном и двух измерениях рано или поздно возвращаются почти все; в трёх - только каждый третий, около 34 %. Это теорема Пойи, и здесь она не рассказана, а измерена по рою: доля золотых стоит на экране и сходится к точному значению.
Узлы (Knots)
Торический узел T(p, q): кривая намотана p раз вокруг дыры тора и q раз вокруг его трубки. Трилистник, пятилистник, зацепление Соломона. Картинка сама считает свои пересечения при любом повороте камеры - и число никогда не опускается ниже известного минимума, как ни крути. Это и значит «инвариант». Поменяй p и q местами: картинка другая, узел - тот же самый, и числа это подтверждают.
Гиперболическая геометрия (Hyperbolic geometry)
Диск Пуанкаре: вся бесконечная гиперболическая плоскость уложена внутрь окружности, и до края - бесконечно далеко. Семиугольники по три в каждой вершине замощают её без зазоров и нахлёстов - в обычной плоскости такое невозможно. Замощение не расставлено руками: оно выращено отражениями одной центральной плитки. И оно течёт - мёбиусов сдвиг скользит узором, плитки всплывают от края и уходят обратно, и ни одно ребро при этом не меняет своей гиперболической длины. Рядом тот же узор поднят на гиперболоид - вторая модель той же геометрии.
Минимальные поверхности (Minimal surfaces)
Формы, в которые ложится мыльная плёнка: катеноид, геликоид, поверхности Эннепера и Шерка. У всех средняя кривизна в каждой точке равна нулю - изогнуто в одну сторону ровно настолько же, насколько в другую, - и панель меряет её вживую прямо на поверхности. Самое красивое: поворот одного угла перетекает катеноид в геликоид без единого растяжения - все расстояния на плёнке остаются прежними. Цвет показывает кривизну Гаусса: голубое - почти плоско, пурпурное - самое крутое седло.
Платоновы и архимедовы тела (Platonic and Archimedean solids)
Выпуклых тел, у которых все грани - одинаковые правильные многоугольники и все вершины устроены одинаково, ровно пять. Шестого нет и не будет. А дальше - срезание углов: каждое ребро отдаёт понемногу с обоих концов, угловые грани растут, старые сжимаются. При t = 1/3 из икосаэдра получается футбольный мяч - двенадцать пятиугольников и двадцать шестиугольников; при t = 1/2 старые грани встречаются серединами рёбер. Срезание в модуле идёт само и останавливается ровно там, где новые грани выходят правильными.
4D-политопы (4D polytopes)
Тень тессеракта - куб внутри куба. Поверни тело в плоскости xw, сквозь четвёртое измерение, - и внутренний куб разбухает, проходит сквозь внешний и встаёт на его место. Это «дыхание» и есть четвёртое измерение, увиденное своими глазами. Правильных выпуклых 4-политопов ровно шесть, и все они построены из координат, а не нарисованы: 120-ячейник, например, не вбит руками - его 600 вершин суть центры 600 тетраэдров другого тела, вывернутого наизнанку. Рёбра окрашены по четвёртой координате: тёплые ближе к «4D-глазу», холодные дальше.
L-системы (L-systems)
Линденмайер записал растения строками: аксиома, несколько правил замены и черепаха, которая читает результат - «нарисуй шаг», «повернись», «запомни, где началась ветка». Переписали строку один раз - веточка; пять раз - куст. Здесь растение растёт на глазах от ствола к листьям, кривая Гильберта штрих за штрихом пронизывает куб, дракон разворачивается - а когда рисунок дорисован, строка переписывается ещё глубже, и всё растёт заново. Числа порождает сама грамматика: у кривой Коха на n-м шаге 4^n отрезков и длина (4/3)^n - это видно и это сосчитано.
Это только начало. В работе уже есть ряды Фурье - эпициклы, которые рисуют кота суммой вращающихся окружностей, - векторные поля с теоремами Гаусса и Стокса, измеренными на живом рое частиц, и множества Жюлиа, где остров рассыпается в пыль ровно в тот миг, когда убегает одна-единственная орбита. Дальше по плану - перколяция, диаграммы Вороного, спираль простых чисел, гипотеза Коллатца, задача коммивояжёра.
Если есть математика, которую вы всегда хотели увидеть глазами, а не в формулах, - напишите в комментариях, какая. Список тем открыт.
Мой Комплекс Физических Программ доступен на Steam: https://store.steampowered.com/app/4861360/Makarov_Physics_S...
(Мой новый аккаунт взломан, пришлось вернуться к старому.)
Найдите наименьшее натуральное число, у которого произведение цифр, увеличенных на 3, равно 675.
Даша пишет подряд натуральные числа:
123456789101112...
Каждую букву её имени заменили её номером в русском алфавите (с буквой Ё):
Д = 5, А = 1, Ш = 26, А = 1,
поэтому ДАША = 51261.
На каких местах, считая от начала, в первый раз будет стоять её имя, то есть число 51261?
Привет, Пикабу!
Недавно мы с коллегой опубликовали строгую математическую работу, но сегодня хочется отойти от формул и поговорить простым языком. Задумывались ли вы, почему современные суперкомпьютеры греются как бешеные, микросхемы иногда «подвисают», а обещания ученых создать «революционные сверхпроводники и вечные батарейки» годами упираются в тупик?
Ответ кроется в одной математической проблеме: мы до сих пор плохо умеем предсказывать скрытые «фазовые переходы» в сложных системах.
Давайте разберемся, как математика помогает решить эту проблему и что это даст каждому из нас уже завтра.
Все знают базовые фазовые переходы из школьной физики:
Лёд тает и превращается в воду.
Вода закипает и превращается в пар.
Здесь всё понятно. Но в микромире (в наноматериалах, квантовых процессорах, сверхпроводниках) существуют «топологические» фазовые переходы (в науке они называются переходами Березинского — Костерлица — Таулеса, или BKT).
Представьте себе спокойное море. Вдруг на нем возникают микроскопические водовороты. Пока их мало, море кажется спокойным. Но в один критический момент эти водовороты объединяются — и вся система мгновенно меняет свои свойства. Материал из проводника превращается в изолятор, или наоборот.
В чем проблема? Когда физики и инженеры пытаются смоделировать эти процессы на компьютере, компьютер часто дает сбой или «видит» то, чего на самом деле нет. В математике это называется «галлюцинациями алгоритма» или вычислительными артефактами. Инженеры тратят годы и миллионы долларов на создание нового материала, а в реальности он не работает, потому что симуляция «ошиблась».
Мы разработали строгий математический фильтр-«детектор лжи» для компьютерных симуляций (протокол SPEC-BKT-10).
Если не вдаваться в уравнения, мы создали систему из 4 независимых «датчиков», которая проверяет математическую модель:
Проверка на устойчивость: Не просто ли это случайный шумок в системе?
Проверка энергии: Выгодно ли системе менять состояние?
Проверка «водоворотов»: Действительно ли в материале начался тот самый квантовый «вихревой» хаос?
Проверка на «обратимость»: Если мы вернем условия назад, вернется ли система в исходное состояние или произойдет сдвиг?
Если модель не проходит все проверки одновременно, система жестко выдает вердикт: «Критическая точка НЕ найдена, симуляция врет, не тратьте деньги на этот материал!»
Кажется, что это далекая теория. Но именно из таких математических «фильтров» строится прикладная инженерия будущего. Вот где это выстрелит:
1. Мощные и «холодные» смартфоны и ПК
Современные процессоры упираются в предел миниатюризации: они слишком сильно греются из-за сопротивления. Математика фазовых переходов помогает создавать топологические изоляторы — материалы, которые проводят ток по поверхности вообще без потерь на нагрев. Наш протокол позволяет точно находить такие состояния на этапе расчетов, ускоряя разработку электроники нового поколения.
2. Квантовые компьютеры, которые не ошибаются
Главная проблема квантовых компьютеров сегодня — они очень нестабильны («шумят» и теряют данные). Топологическая защита данных — главный кандидат на создание действительно надежного квантового ПК. Точный математический аудит позволяет моделировать устойчивые квантовые кубиты без риска получить ложный результат.
3. Лекарства и новые материалы за дни, а не годы
Формула фазовых переходов работает не только в физике твердого тела, но и при моделировании сложных белковых структур в биологии или при создании сверхпрочных гибких полимеров. Достоверный отсекатель «компьютерных галлюцинаций» экономит фармкомпаниям и лабораториям годы пустых экспериментов.
Математика — это не просто абстрактные значки на доске. Это «глаза» инженеров. Чем точнее наши математические фильтры, тем меньше времени уходит на ошибку и тем быстрее технологии из научных лабораторий попадают в наши гаджеты, автомобили и медицину.
Строгая научная версия статьи и документация протокола зафиксированы в репозиториях открытой науки (Zenodo / Academia).
А как вы думаете, какие технологии из фантастических фильмов быстрее всего войдут в нашу жизнь благодаря прорывам в физике и математике? Давайте обсудим в комментариях!
SPEC-BKT-10: Протокол фальсифицируемости точки необратимости Строгий аудиторский фреймворк для топологических фазовых переходов и фазовых границ решетки
Авторы: Максим Колесников, Брент Боргерс (Maxim Kolesnikov, Brent Borgers)
Статус: Верифицировано и готово к публикации / интеграции
Код протокола: SPEC-BKT-10 (Редакция 4.2)
Постоянные репозитории (Zenodo):
Основная запись: https://doi.org/10.5281/zenodo.22112083
Вторичный аудит и верификация: https://doi.org/10.5281/zenodo.22130842
Аннотация
Данный документ формализует Протокол Аудита SPEC-BKT-10, устанавливающий математически замкнутый, фальсифицируемый критерий для обнаружения топологических фазовых переходов Березинского — Костерлица — Таулеса (БКТ / BKT) на дискретных решетках конечного размера. Протокол обеспечивает строгое разделение между локальными бифуркациями спектрального размягчения и глобальным разрастанием топологических дефектов, требуя одновременного выполнения условий на продолженном, термодинамическом и топологическом многообразиях-кандидатах в термодинамическом пределе (L → ∞) и пределе нулевого гистерезиса (δ → 0+).
Чтобы предотвратить нефизические численные артефакты, вызванные дискретизацией потенциала, фундаментальный потенциал V_q(F) = κ_q * [1 - cos(q * F)] строго разделяется на два непересекающихся структурных класса:
q = 1 (Базовый уровень U(1)): Канонический гладкий калибровочно-инвариантный базовый потенциал. Представляет чистую U(1)-симметрию без дискретной анизотропной деформации.
q ≥ 2 (Дискретная анизотропия): Деформированный потенциал, генерирующий Z_q-подобные дискретные вырожденные вакуумы внутри области фазовой переменной, что приводит в движение динамику конкурирующих топологических секторов.
Для каждой конфигурации состояния системы-кандидата (Q, q, ε, T) оценка проводится одновременно по четырем независимым диагностическим каналам, представленным вектором:
I(Q, q, ε, T) = (ΔF, λ_min^phys, K_R - 2/π, β_RG)
где β_RG ≡ dy_R / dℓ обозначает логарифмическую скорость потока Ренормализационной группы (РГ / RG) для фугитивности вихрей y_R.
Диагностический каналФизический смыслУсловие срабатывания1. Спектральное размягчениеЛокальная вакуумная бифуркация / неустойчивость модыλ_min^phys = 02. Пересечение первого родаПересечение термодинамических ветвей / энергетический паритетΔF = 03. Универсальный скачок БКТРазрыв жесткости топологического модуля спиральностиK_R = 2/π4. Топологическое разрастаниеРаспад плазмы вихрь-антивихрь / уходящий потокβ_RG > 0
Методологическое аксиоматическое правило:
Возникновение спектрального размягчения (λ_min^phys = 0) не является ни необходимым, ни достаточным условием для истинного топологического перехода БКТ. Распад топологических дефектов может происходить и при наличии конечной локальной спектральной щели.
Чтобы исключить численное переобучение, шум продолжения с конечным шагом и калибровочные артефакты, калибровочно-инвариантный оператор наблюдаемой O_p = sin^2(F_p) отслеживается вдоль прямой (X^→) и обратной (X^←) ветвей продолжения. Мера обратимости D_rev определяется как:
D_rev = sqrt( (1 / N_p) * ∑_p (O_p^→ - O_p^←)^2 )
В адиабатическом пределе оцениваются два нулевых аудиторских функциональных метрических показателя:
B_0 = lim_{δ → 0+} [ D_rev(+δ) - D_rev(-δ) ]
B_1 = lim_{δ → 0+} [ (λ_min(+δ) - λ_min(-δ)) / (2δ) ]
Критерий фальсификационного аудита:
Если B_0 → 0 и B_1 → 0 в пределе δ → 0+, любое наблюдаемое численное изменение наклона или скачок формально объявляется вычислительным артефактом и исключается из кандидатов на физические фазовые границы.
Истинная физическая критическая точка (Q_★, q_★, ε_★, T_★) существует тогда и только тогда, когда конфигурация системы принадлежит непустому тройному пересечению трех независимых многообразий:
(Q_★, q_★, ε_★, T_★) ∈ ( M_continuation ∩ M_thermodynamic ∩ M_topological )
где входящие в состав многообразия-кандидаты строго определены как:
M_continuation: { (Q, q, ε, T) | lim_{δ → 0+} D_rev ≠ 0 } (Необратимая структурная фазовая перестройка)
M_thermodynamic: { (Q, q, ε, T) | ΔF ≤ 0 } (Термодинамическая глобальная стабильность / энтропийная выгода)
M_topological: { (Q, q, ε, T) | K_R → 2/π И β_RG > 0 } (Канонический скачок жесткости БКТ и разрастание дефектов)
Результаты, полученные на конечных вычислительных решетках (например, L = 6, L = 8), служат исключительно в качестве промежуточных ориентиров конечного масштабирования. Критическое состояние классифицируется как физически корректное тогда и только тогда, когда многообразие пересечения остается непустым при термодинамической экстраполяции:
lim_{L → ∞} P(L) ≠ ∅
Если для всех допустимых конфигураций в области параметров множество-кандидат удовлетворяет условию P(L) = ∅, ядро решателя ОБЯЗАНО завершить работу и выдать стандартизированный строгий журнал статуса No-Go:
СТАТУС: NO_CRITICAL_POINT_DETECTED
Причина: Глобальная энергетическая щель сохраняется в пределе L -> ∞; пересечение скачка БКТ не найдено.
Настоящий документ устанавливает неоспоримый интеллектуальный приоритет, происхождение математической формулировки и права на аудит протокола SPEC-BKT-10. Полный теоретический фреймворк, диагностические векторы и критерии фальсифицируемости разработаны в соавторстве Максимом Колесниковым и Брентом Боргерсом.
Для гарантии юридической и академической защиты от несанкционированного извлечения, изменения или искажения авторства, эта спецификация и связанные с ней вычислительные записи постоянно зарегистрированы и снабжены cryptographic timestamp (криптографической меткой времени) в открытом исследовательском репозитории Zenodo под следующими постоянными цифровыми идентификаторами (DOI):
DOI основной записи:https://doi.org/10.5281/zenodo.22112083
DOI вторичного аудита и верификации кода: https://doi.org/10.5281/zenodo.22130842
Любая внешняя интеграция, коммерческое развертывание или академическое цитирование Протокола SPEC-BKT-10 или его субкомпонентов должны явно указывать соавторов (Максим Колесников, Брент Боргерс / Maxim Kolesnikov, Brent Borgers) и цитировать оба зарегистрированных идентификатора Zenodo. Использование без указания авторства или удаление кредитов авторов является прямым нарушением стандартов научного приоритета.
Набор из 100 натуральных чисел обладает тем свойством, что каждое из этих чисел является делителем суммы остальных 99 чисел этого набора. Могут ли все эти числа быть попарно различными?
Моё решение.
Возьмём числа 1, 2, 3, а каждое следующее число будем брать равным сумме всех предыдущих. Получим:
1, 2, 3, 6, 12, 24, 48, ...
Остановимся, когда чисел станет 100.
Сумма первых трёх чисел равна 6 и делится на каждое из них. После добавления каждого следующего числа сумма удваивается. При этом каждое новое число само является одной из промежуточных сумм. Поэтому итоговая сумма делится на каждое из 100 чисел.
Следовательно, если из итоговой суммы вычесть любое число набора, полученная сумма остальных 99 чисел также будет делиться на это число.
Все числа попарно различны. Значит, ответ: да.
По ссылке приведено существенно более громоздкое решение:
http://zaba.ru/cgi-bin/tasks.cgi?tour=piter.gorod.1987.rayon...
(задача № 3).
Не упускаю ли я чего-нибудь?