Где впервые встретится имя Даша в ряду натуральных чисел?
Даша пишет подряд натуральные числа:
123456789101112...
Каждую букву её имени заменили её номером в русском алфавите (с буквой Ё):
Д = 5, А = 1, Ш = 26, А = 1,
поэтому ДАША = 51261.
На каких местах, считая от начала, в первый раз будет стоять её имя, то есть число 51261?
Как «сухая» математика спасает технологии будущего: Объясняем на пальцах (и причем тут кипящий чайник)
Привет, Пикабу!
Недавно мы с коллегой опубликовали строгую математическую работу, но сегодня хочется отойти от формул и поговорить простым языком. Задумывались ли вы, почему современные суперкомпьютеры греются как бешеные, микросхемы иногда «подвисают», а обещания ученых создать «революционные сверхпроводники и вечные батарейки» годами упираются в тупик?
Ответ кроется в одной математической проблеме: мы до сих пор плохо умеем предсказывать скрытые «фазовые переходы» в сложных системах.
Давайте разберемся, как математика помогает решить эту проблему и что это даст каждому из нас уже завтра.
Что такое «фазовый переход» и почему компьютеры «врут»?
Все знают базовые фазовые переходы из школьной физики:
Лёд тает и превращается в воду.
Вода закипает и превращается в пар.
Здесь всё понятно. Но в микромире (в наноматериалах, квантовых процессорах, сверхпроводниках) существуют «топологические» фазовые переходы (в науке они называются переходами Березинского — Костерлица — Таулеса, или BKT).
Представьте себе спокойное море. Вдруг на нем возникают микроскопические водовороты. Пока их мало, море кажется спокойным. Но в один критический момент эти водовороты объединяются — и вся система мгновенно меняет свои свойства. Материал из проводника превращается в изолятор, или наоборот.
В чем проблема? Когда физики и инженеры пытаются смоделировать эти процессы на компьютере, компьютер часто дает сбой или «видит» то, чего на самом деле нет. В математике это называется «галлюцинациями алгоритма» или вычислительными артефактами. Инженеры тратят годы и миллионы долларов на создание нового материала, а в реальности он не работает, потому что симуляция «ошиблась».
Что придумали мы? (Коротко и без жесткой науки)
Мы разработали строгий математический фильтр-«детектор лжи» для компьютерных симуляций (протокол SPEC-BKT-10).
Если не вдаваться в уравнения, мы создали систему из 4 независимых «датчиков», которая проверяет математическую модель:
Проверка на устойчивость: Не просто ли это случайный шумок в системе?
Проверка энергии: Выгодно ли системе менять состояние?
Проверка «водоворотов»: Действительно ли в материале начался тот самый квантовый «вихревой» хаос?
Проверка на «обратимость»: Если мы вернем условия назад, вернется ли система в исходное состояние или произойдет сдвиг?
Если модель не проходит все проверки одновременно, система жестко выдает вердикт: «Критическая точка НЕ найдена, симуляция врет, не тратьте деньги на этот материал!»
Как это изменит будущее обычного человека?
Кажется, что это далекая теория. Но именно из таких математических «фильтров» строится прикладная инженерия будущего. Вот где это выстрелит:
1. Мощные и «холодные» смартфоны и ПК
Современные процессоры упираются в предел миниатюризации: они слишком сильно греются из-за сопротивления. Математика фазовых переходов помогает создавать топологические изоляторы — материалы, которые проводят ток по поверхности вообще без потерь на нагрев. Наш протокол позволяет точно находить такие состояния на этапе расчетов, ускоряя разработку электроники нового поколения.
2. Квантовые компьютеры, которые не ошибаются
Главная проблема квантовых компьютеров сегодня — они очень нестабильны («шумят» и теряют данные). Топологическая защита данных — главный кандидат на создание действительно надежного квантового ПК. Точный математический аудит позволяет моделировать устойчивые квантовые кубиты без риска получить ложный результат.
3. Лекарства и новые материалы за дни, а не годы
Формула фазовых переходов работает не только в физике твердого тела, но и при моделировании сложных белковых структур в биологии или при создании сверхпрочных гибких полимеров. Достоверный отсекатель «компьютерных галлюцинаций» экономит фармкомпаниям и лабораториям годы пустых экспериментов.
Главный вывод
Математика — это не просто абстрактные значки на доске. Это «глаза» инженеров. Чем точнее наши математические фильтры, тем меньше времени уходит на ошибку и тем быстрее технологии из научных лабораторий попадают в наши гаджеты, автомобили и медицину.
Строгая научная версия статьи и документация протокола зафиксированы в репозиториях открытой науки (Zenodo / Academia).
А как вы думаете, какие технологии из фантастических фильмов быстрее всего войдут в нашу жизнь благодаря прорывам в физике и математике? Давайте обсудим в комментариях!
SPEC-BKT-10: Протокол фальсифицируемости точки необратимости
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+).
1. Классификация базовых потенциалов (q-деформация)
Чтобы предотвратить нефизические численные артефакты, вызванные дискретизацией потенциала, фундаментальный потенциал V_q(F) = κ_q * [1 - cos(q * F)] строго разделяется на два непересекающихся структурных класса:
q = 1 (Базовый уровень U(1)): Канонический гладкий калибровочно-инвариантный базовый потенциал. Представляет чистую U(1)-симметрию без дискретной анизотропной деформации.
q ≥ 2 (Дискретная анизотропия): Деформированный потенциал, генерирующий Z_q-подобные дискретные вырожденные вакуумы внутри области фазовой переменной, что приводит в движение динамику конкурирующих топологических секторов.
2. Четырехслойный диагностический вектор I(Q, q, ε, T)
Для каждой конфигурации состояния системы-кандидата (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) не является ни необходимым, ни достаточным условием для истинного топологического перехода БКТ. Распад топологических дефектов может происходить и при наличии конечной локальной спектральной щели.
3. Устранение гистерезиса и аудит артефактов (Предельный аудит δ → 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+, любое наблюдаемое численное изменение наклона или скачок формально объявляется вычислительным артефактом и исключается из кандидатов на физические фазовые границы.
4. Определение точки необратимости (Определение через пересечение)
Истинная физическая критическая точка (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 } (Канонический скачок жесткости БКТ и разрастание дефектов)
5. Термодинамический предел и стандарт вывода No-Go (L → ∞)
Результаты, полученные на конечных вычислительных решетках (например, L = 6, L = 8), служат исключительно в качестве промежуточных ориентиров конечного масштабирования. Критическое состояние классифицируется как физически корректное тогда и только тогда, когда многообразие пересечения остается непустым при термодинамической экстраполяции:
lim_{L → ∞} P(L) ≠ ∅
Если для всех допустимых конфигураций в области параметров множество-кандидат удовлетворяет условию P(L) = ∅, ядро решателя ОБЯЗАНО завершить работу и выдать стандартизированный строгий журнал статуса No-Go:
СТАТУС: NO_CRITICAL_POINT_DETECTED
Причина: Глобальная энергетическая щель сохраняется в пределе L -> ∞; пересечение скачка БКТ не найдено.
6. Фиксация приоритета, соавторство и реестр Zenodo
Настоящий документ устанавливает неоспоримый интеллектуальный приоритет, происхождение математической формулировки и права на аудит протокола 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 чисел, каждое делит сумму остальных
Набор из 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).
Не упускаю ли я чего-нибудь?
Вычисление разрушений в реальном времени
Есть два способа показать в компьютере, как рушится стена. Первый - аниматор рисует, как кирпичи разлетаются: красиво, быстро, и физики там ноль. Второй - ты честно считаешь силы между каждой парой кирпичей и смотришь, что получится. Второй способ медленный, капризный и иногда выдаёт сюрпризы. Зато когда башня падает - она падает потому, что иначе не могла.
На видео - второй способ. Это модуль «Демонтаж» из моего симулятора физики: четыре постройки, шар-баба и больше ничего. Хочу рассказать, что происходит под капотом, потому что там интереснее, чем кажется.
Кирпичи спят
Каждый кирпич - твёрдое тело: масса, момент инерции, положение, поворот. Каждый контакт между соседями - маленькая задача: найти точку касания, направление, глубину, а потом подобрать такой импульс, чтобы тела не проваливались друг в друга и не проскальзывали сильнее, чем позволяет трение. На крепости это тысячи контактов, и решаются они не разом, а по очереди - каждый следующий учитывает предыдущий, и так десять кругов за один шаг времени. Шагов таких - 120 в секунду.
Хитрость номер один: стена, которую никто не трогает, не считается вообще. Кирпичи «спят» - движок помечает тела, которые давно не двигались, и перестаёт их обсчитывать. Каменщик кладёт стену осевшей, а не дрожащей, и мы кладём так же: все кирпичи рождаются спящими. Просыпаются они только от удара - и дальше волна пробуждения бежит по кладке через контакты, кирпич будит соседа. На видео это видно буквально: кирпичи подсвечиваются цветом по собственной скорости, и цветная волна бежит по стене на кадр раньше, чем стена отвечает движением.
Почему круглая башня - это сложно
Стену выложить просто: ряд, полкирпича сдвига, следующий ряд. Башню - нет.
Первый вариант я написал за пять минут: кирпичи по кругу, каждый повёрнут на свой угол. Прежде чем запускать это в движок, я проверил геометрию отдельным скриптом: он просто раскладывает те же кирпичи и ищет, не влезли ли два кирпича друг в друга. Влезли. На 119 миллиметров. Я перепутал знак поворота, и кирпичи легли не по касательной к кругу, а вдоль радиуса - ёжиком.
Исправил знак - осталось 15 мм. Это уже тоньше: если внутренние грани кирпичей ровно касаются по окружности, то углы кирпича (он же прямой, а окружность - нет) торчат внутрь и цепляют соседний. Реальные каменщики знают это тысячи лет: круглую башню кладут так, чтобы снаружи между кирпичами были клинья раствора. У меня раствора нет, поэтому радиус считается по внутренним граням, а второе кольцо внутрь отступает не на толщину кирпича, а чуть больше - ровно на столько, чтобы углы хорды не задевали.
Почему это важно? Если два тела при рождении пересекаются, движок честно пытается их растолкнуть. С силой, пропорциональной глубине. Башня в этом случае не стоит и не падает - она взрывается. Пятнадцати миллиметров хватает.
Крепость: перевязка углов
У квадратной крепости есть проблема, о которой не думаешь, пока не начнёшь класть: угол. Две стены сходятся, и чей кирпич занимает угловую клетку? Если всегда одной стены - вторая просто прислонена и отваливается при первом же ударе. Каменщики решают это чередованием: чётный ряд - угол за одной стеной, нечётный - за другой. Стены прошивают друг друга, как пальцы сложенных рук.
Побочный эффект, который я не планировал: разница в длине между «стеной с углом» и «стеной без угла» - полтора кирпича. Полтора - значит, швы соседних рядов автоматически сдвигаются на полкирпича. Перевязка получается сама, из геометрии угла. Каменщики это тоже знали.
Шар
Шар - чугунный, примерно в восемь раз плотнее кирпича. Он такое же тело в том же мире, как кирпичи, поэтому два шара сталкиваются между собой тем же кодом, что шар с кирпичом. Никаких специальных правил для шаров нет: бросьте три, они разлетятся, как разлетятся.
Что не получилось
Крепость тормозит. Когда шар просыпает тысячу кирпичей, движку надо проверить каждый проснувшийся кирпич против его соседей - а в плотной кладке соседей штук двадцать. Двадцать тысяч проверок за один шаг, два шага на кадр. Пришлось переписать эту часть так, чтобы проверки шли параллельно на всех ядрах, но в том же порядке, что раньше - потому что порядок здесь не эстетика: решаешь контакты снизу вверх - башня уползает на 30 см за 12 секунд, сверху вниз - на 8 мм. Это я не выдумал, это измерил.
И ещё честное: тест «спокойная сцена не должна выделять память» после переписывания покраснел, и я до сих пор ищу, кто выделяет 640 байт за шаг. Пять логов, пять срезов. Найду.
Программа доступна на Steam: https://store.steampowered.com/app/4861360/Makarov_Physics_S...
